Bessel Distributions and Kloosterman Sums

Resumo Técnico: Distribuições de Bessel e Somas de Kloosterman

Enunciado do Problema
O artigo aborda a regularidade das distribuições de Bessel associadas a representações genéricas irredutíveis de um grupo redutivo bipartido $G$ sobre um corpo $p$-ádico $F$. Uma distribuição de Bessel $B_{\ell_1, \ell_2}$ é definida via funcionais de Whittaker $\ell_1$ e $\ell_2$ em uma representação $\pi$ e sua contragradiente $\pi^\vee$. O problema central é determinar se esta distribuição é "regular", o que significa que ela pode ser representada por uma função suave localmente integrável $j_\pi$ em $G$ tal que $B_{\ell_1, \ell_2}(f) = \int_G j_\pi(g)f(g)dg$ para todas as funções de Schwartz. Embora a regularidade seja estabelecida para $GL_2$ e $GL_3$ (Baruch) e a suavidade na célula de Bruhat aberta seja conhecida para grupos quase-partidos gerais, a integrabilidade local da função suave em todo o grupo permanece uma questão em aberto para grupos redutivos bipartidos gerais.

Metodologia
Os autores empregam uma estratégia que vincula as propriedades analíticas das distribuições de Bessel às propriedades aritméticas das somas de Kloosterman. A metodologia procede através dos seguintes passos:

1. Redução à Integrabilidade Local: Com base no trabalho de Baruch, Lapid-Mao e Chai, o artigo estabelece que a regularidade da distribuição de Bessel é equivalente à integrabilidade local de uma função específica $j_\pi$. Esta função é mostrada como sendo localmente expressável como uma integral de Kloosterman $I(g, f)$.
2. Expansão de Germes de Shalika: Os autores desenvolvem uma expansão de germes de Shalika para integrais de Kloosterman. Esta expansão expressa a integral $I(w_I^0 a, f)$ como uma convolução de "germes" $K_I^J$ (funções suaves em subconjuntos específicos de subgrupos de Levi) com funções de Schwartz. Crucialmente, o germe $K_\emptyset^J$ corresponde à soma de Kloosterman $Kl_d$ no subgrupo de Levi $M_J$ para níveis de filtração $d$ suficientemente grandes.
3. Estrutura Indutiva: A expansão de germes possui uma estrutura indutiva, permitindo que o estudo das somas de Kloosterman em $G$ seja reduzido àquelas em seus subgrupos de Levi.
4. Abordagem de Stevens para Limites: Para provar os limites necessários para as somas de Kloosterman, os autores adaptam a abordagem de Stevens. Isso envolve analisar a ação do toro bipartido $A_d$ sobre o conjunto de Kloosterman $X_d(\dot{w}_0 a)$. Ao decompor a soma de Kloosterman em produtos de somas de Kloosterman restritas em $GL_2$ (ou $Sp_2$), o problema é reduzido a um problema de contagem das fibras do conjunto de Kloosterman.
5. Limites de Weil e Contagem: Os autores aplicam o limite de Weil para somas de Kloosterman de $GL_2$ e realizam a contagem combinatória das fibras do conjunto de Kloosterman (usando coordenadas de Plücker para $Sp_4$ e métodos análogos para $GL_4$) para derivar limites superiores não triviais.

Principais Contribuições e Resultados

• Teorema 1.2 (Teorema 3.19): O principal resultado teórico afirma que, se o sistema de somas de Kloosterman para os subgrupos de Levi padrão $M_I$ de $G$ (com relação a uma terna específica envolvendo um caractere genérico e uma filtração) admite um "limite não trivial" (especificamente, $|Kl_d(a) \cdot \delta^{1/2-\epsilon}(a)| \leq C$), então a distribuição de Bessel para qualquer representação genérica irredutível em $G$ é regular. Isso reduz o problema global de regularidade ao estabelecimento de limites aritméticos em somas de Kloosterman para subgrupos de Levi.
• Teorema 1.5 (Teoremas 2.10 & 2.20): O artigo constrói um sistema único de germes de Shalika para integrais de Kloosterman. Ele prova que estes germes podem ser construídos de tal forma que o germe correspondente ao conjunto vazio seja igual à soma de Kloosterman no subgrupo de Levi relevante para um $d$ grande.
• Regularidade para $Sp_4$ e $GL_4$: Aplicando o teorema principal e a abordagem de Stevens, os autores provam a regularidade das distribuições de Bessel para $G = Sp_4$ (Teorema 4.9, Corolário 4.15) e $G = GL_4$ (Teorema 4.16, Corolário 4.17).
  • Para $Sp_4$, eles derivam um limite da forma $|Kl_d(a)| \leq C \cdot q^{\frac{7}{8}(r+s)}$, onde $r, s$ relacionam-se com a valuação do elemento do toro.
  • Para $GL_4$, eles derivam um limite da forma $|Kl_d(a)| \leq C \cdot q^{\frac{9}{10}(r+s+t)}$.
  • Estes limites são suficientes para satisfazer a condição de limite não trivial exigida pelo Teorema 3.19, pois os expoentes são estritamente menores que o expoente do limite trivial (que seria 1 no contexto normalizado).

Significância e Alegações
O artigo alega fornecer um arcabouço geral para provar a regularidade de distribuições de Bessel em grupos redutivos bipartidos, reduzindo o problema analítico a um problema aritmético referente a somas de Kloosterman. A significância reside em:

1. Unificação: Ele unifica o estudo das distribuições de Bessel com a teoria das somas de Kloosterman via a expansão de germes de Shalika, generalizando resultados anteriores conhecidos para $GL_n$ ($n \leq 3$).
2. Provas Explícitas: Fornece as primeiras provas explícitas de regularidade para $Sp_4$ e $GL_4$ no ambiente $p$-ádico geral (incluindo nível $d$ arbitrário), estendendo resultados anteriormente conhecidos apenas para $GL_2$ e $GL_3$.
3. Extensão Metodológica: Demonstra que a abordagem de Stevens, originalmente desenvolvida para $GL_n$, pode ser generalizada para quaisquer grupos redutivos bipartidos, especificamente lidando com a complexidade combinatória da contagem do conjunto de Kloosterman para grupos de posto superior como $Sp_4$.

Os autores observam que, embora tenham tratado $Sp_4$ e $GL_4$ como exemplos, o caso geral para quaisquer grupos redutivos bipartidos permanece como um objeto de trabalho futuro, dependente do estabelecimento de limites não triviais semelhantes para somas de Kloosterman nos subgrupos de Levi correspondentes. O artigo não pretende ter resolvido o problema da regularidade para todos os grupos redutivos bipartidos, mas sim tê-lo reduzido a um problema aritmético tratável e resolvê-lo para casos específicos de baixo posto.