Geometrization of summation formulae for quadrics

Resumo Técnico: Geometrização de Fórmulas de Somação para Quádricas

Enunciado do Problema
O artigo aborda a fórmula de somação de Poisson para o locus nulo $X_\ell$ de uma forma quadrática fendida em um número par de variáveis ($2\ell$) sobre um corpo numérico $E$. Embora uma fórmula de somação de Poisson tenha sido estabelecida anteriormente para $\ell \ge 3$ (Teorema 1.1 em [Hsu21, Get25]), ela envolvia "termos de contorno" (resíduos de séries de Eisenstein degeneradas) que não foram explicitamente expressos em termos geométricos. Especificamente, sabia-se que os resíduos em $s = \pm 1$ e $s = \pm (\ell-1)$ vanishiam se, e somente se, certos mapas de contorno aplicados à função de Schwartz fossem zero, mas os valores não nulos desses resíduos careciam de uma descrição geométrica.

No caso de corpos de funções, uma descrição geométrica completa desses resíduos foi alcançada em [GK24] utilizando a automorfia de representações mínimas. No entanto, o caso de corpos numéricos apresenta desafios distintos devido aos lugares arquimedianos. Uma abordagem recente por Getz [Get25] introduziu um espaço de funções $\tilde{S}(X_\ell(\mathbb{A}_E))$ definido via levantamentos theta e um mapa linear $I$ para funções suaves no locus suave. Embora [Get25] tenha estabelecido uma fórmula de somação geométrica para funções da forma $I(f)$, permanecia incerto se $I(f)$ realmente pertence ao espaço de Schwartz padrão $S(X_\ell(\mathbb{A}_E))$ e se a fórmula descendia para depender unicamente da imagem $I(f)$.

Metodologia
O autor resolve essas ambiguidades estabelecendo uma equivalência rigorosa entre duas construções distintas de espaços de Schwartz para quádricas:

1. Espaços de Braverman-Kazhdan: A construção padrão de $S(X_\ell)$ via representações mínimas do grupo ortogonal $O_{V_{\ell+1}}$, conforme desenvolvido em [GHL25] e [Hsu21].
2. Espaços de Levantamento Theta: O espaço $\tilde{S}(X_\ell)$ definido via os covariantes da representação de Weil de $SL_2$ agindo sobre $S(V_\ell \oplus \mathbb{A}^2)$, como introduzido em [Get25].

A metodologia procede em três estágios principais:

• Comparação Local: O artigo analisa a teoria local sobre corpos locais não arquimedianos e arquimedianos. Ele computa explicitamente o comportamento assintótico das funções próximo à singularidade (a origem) para ambas as construções.
• Identificação de Mapas: O autor prova que o mapa $I: \tilde{S}(X_\ell) \to C^\infty(X_\ell^\circ)$ é um isomorfismo para o espaço de Schwartz padrão $S(X_\ell)$. Crucialmente, este isomorfismo entrelaça as transformadas de Fourier definidas em ambas as teorias ($\tilde{F}_{X_\ell}$ e $F_{X_\ell}$) e os mapas de contorno (resíduos e coeficientes assintóticos).
• Descida Global: Utilizando as identificações locais, o autor eleva a fórmula de somação do cenário de levantamento theta para o cenário do espaço de Schwartz padrão. Isso envolve rastrear cuidadosamente as constantes de normalização, particularmente o discriminante $D$ do corpo numérico e os fatores epsilon $\epsilon(s, \psi)$, para garantir que a fórmula adelica seja válida.

Principais Contribuições e Resultados

1. Equivalência de Espaços de Schwartz: O artigo prova que, para $\ell \ge 2$, a imagem do mapa de levantamento theta é exatamente o espaço de Schwartz padrão $S(X_\ell(\mathbb{A}_E))$ (Teorema 7.1, Proposições 5.2, 6.3). Isso confirma que a construção de levantamento theta fornece um modelo válido para o espaço de Schwartz no cenário de corpos numéricos.
2. Geometrização de Resíduos: O principal resultado é o Teorema 1.2, uma fórmula de somação de Poisson "geometrizada". Esta fórmula expressa a soma de uma função de Schwartz sobre pontos racionais na quádrica em termos de:
   • A soma de sua transformada de Fourier.
     _ Termos de contorno explícitos envolvendo mapas de contorno iterados $d_{\ell, i}$ e $c_i$.
   • Estes mapas de contorno correspondem às expansões assintóticas da função próximo à origem (germes).
3. Fórmulas Explícitas de Resíduos: Ao comparar a nova fórmula (Teorema 1.2) com a fórmula analítica anterior (Teorema 1.1), o autor deriva expressões geométricas explícitas para os resíduos da série de Eisenstein degenerada:
   $$\text{Res}_{s=-(\ell-1)} \text{Eis}(f_s) = \kappa |D|^{\frac{\ell-3}{2}} \zeta(\ell-1) c_\ell(f)$$
   e uma expressão similar para o resíduo em $s=-1$ envolvendo a soma de termos relacionados a $d_\ell$.
4. Tratamento de $\ell=2$: O artigo fornece uma análise detalhada para o caso $\ell=2$, onde a série de Eisenstein pode ter um polo de ordem 2. Ele introduz um mapa de contorno adicional $a_2$ para capturar o coeficiente do termo $(s+1)^{-2}$, que não estava presente no caso $\ell \ge 3$.

Significância
O artigo afirma que sua principal contribuição é fornecer uma expressão geométrica para os termos de contorno na fórmula de somação de Poisson para quádricas sobre corpos numéricos. Ao mostrar que esses termos são determinados pelos germes das funções na singularidade (via os mapas $c_\ell$ e $d_\ell$), o trabalho "geometriza" os resíduos analíticos.

O autor observa que este resultado é semelhante às identidades de Siegel-Weil regularizadas (citando [Ich01, Ike96, KR94]). A significância reside em demonstrar que tais identidades podem ser usadas para geometrizar termos de contorno para espaços de Braverman-Kazhdan. O artigo sugere que esta abordagem poderia ser estendida para outros cenários, como reformular fórmulas de somação de Poisson no Grassmanniano Lagrangiano (como em [GL21]) de uma maneira geométrica, embora não realize essa extensão propriamente dita.

Em resumo, o artigo preenche a lacuna entre a teoria analítica de séries de Eisenstein e a teoria geométrica de espaços de Schwartz em variedades singulares, confirmando que a abordagem de levantamento theta de [Get25] é totalmente compatível com o arcabouço de Braverman-Kazhdan e produz uma descrição geométrica completa dos termos de erro da fórmula de somação.