Geometrization of summation formulae for quadrics

Resumen Técnico: Geometrización de Fórmulas de Sumación para Cuádricas

Planteamiento del Problema
El artículo aborda la fórmula de sumación de Poisson para el lugar cero $X_\ell$ de una forma cuadrática partida en un número par de variables ($2\ell$) sobre un cuerpo numérico $E$. Si bien previamente se había establecido una fórmula de sumación de Poisson para $\ell \ge 3$ (Teorema 1.1 en [Hsu21, Get25]), esta involucraba "términos de frontera" (residuos de series de Eisenstein degeneradas) que no estaban expresados explícitamente en términos geométricos. Específicamente, se sabía que los residuos en $s = \pm 1$ y $s = \pm (\ell-1)$ se anulan si y solo si ciertos mapas de frontera aplicados a la función de Schwartz eran cero, pero los valores no nulos de estos residuos carecían de una descripción geométrica.

En el caso de los cuerpos de funciones, se logró una descripción geométrica completa de estos residuos en [GK24] utilizando la automorfía de representaciones mínimas. Sin embargo, el caso de los cuerpos numéricos presenta desafíos distintos debido a las plagas arquimedianas. Un enfoque reciente de Getz [Get25] introdujo un espacio de funciones $\tilde{S}(X_\ell(\mathbb{A}_E))$ definido mediante levantamientos theta y un mapa lineal $I$ a funciones suaves en el lugar suave. Aunque [Get25] estableció una fórmula de sumación geométrica para funciones de la forma $I(f)$, no estaba claro si $I(f)$ pertenece realmente al espacio de Schwartz estándar $S(X_\ell(\mathbb{A}_E))$ y si la fórmula desciende para depender únicamente de la imagen $I(f)$.

Metodología
El autor resuelve estas ambigüedades estableciendo una equivalencia rigurosa entre dos construcciones distintas de espacios de Schwartz en cuádricas:

1. Espacios de Braverman-Kazhdan: La construcción estándar de $S(X_\ell)$ vía representaciones mínimas del grupo ortogonal $O_{V_{\ell+1}}$, tal como se desarrolló en [GHL25] y [Hsu21].
2. Espacios de Levantamiento Theta: El espacio $\tilde{S}(X_\ell)$ definido vía las covariantes de la representación de Weil de $SL_2$ actuando sobre $S(V_\ell \oplus \mathbb{A}^2)$, como se introdujo en [Get25].

La metodología procede en tres etapas principales:

• Comparación Local: El artículo analiza la teoría local sobre cuerpos locales tanto no arquimedianos como arquimedianos. Computa explícitamente el comportamiento asintótico de las funciones cerca de la singularidad (el origen) para ambas construcciones.
• Identificación de Mapas: El autor demuestra que el mapa $I: \tilde{S}(X_\ell) \to C^\infty(X_\ell^\circ)$ es un isomorfismo sobre el espacio de Schwartz estándar $S(X_\ell)$. Crucialmente, este isomorfismo entrelaza las transformadas de Fourier definidas en ambas teorías ($\tilde{F}_{X_\ell}$ y $F_{X_\ell}$) y los mapas de frontera (residuos y coeficientes asintóticos).
• Descenso Global: Utilizando las identificaciones locales, el autor eleva la fórmula de sumación desde el entorno del levantamiento theta al entorno del espacio de Schwartz estándar. Esto implica rastrear cuidadosamente las constantes de normalización, particularmente el discriminante $D$ del cuerpo numérico y los factores épsilon $\epsilon(s, \psi)$, para asegurar que la fórmula adelica sea válida.

Contribuciones Clave y Resultados

1. Equivalencia de Espacios de Schwartz: El artículo demuestra que para $\ell \ge 2$, la imagen del mapa de levantamiento theta $I$ es exactamente el espacio de Schwartz estándar $S(X_\ell(\mathbb{A}_E))$ (Teorema 7.1, Proposiciones 5.2, 6.3). Esto confirma que la construcción de levantamiento theta proporciona un modelo válido para el espacio de Schwartz en el entorno de los cuerpos numéricos.
2. Geometrización de Residuos: El resultado principal es el Teorema 1.2, una fórmula de sumación de Poisson "geometrizada". Esta fórmula expresa la suma de una función de Schwartz sobre puntos racionales en la cuádrica en términos de:
   • La suma de su transformada de Fourier.
   • Términos de frontera explícitos que involucran mapas de frontera iterados $d_{\ell, i}$ y $c_i$.
   • Estos mapas de frontera corresponden a las expansiones asintóticas de la función cerca del origen (gérmenes).
3. Fórmulas de Residuos Explícitas: Al comparar la nueva fórmula (Teorema 1.2) con la fórmula analítica previa (Teorema 1.1), el autor deriva expresiones geométricas explícitas para los residuos de la serie de Eisenstein degenerada:
   $$\text{Res}_{s=-(\ell-1)} \text{Eis}(f_s) = \kappa |D|^{\frac{\ell-3}{2}} \zeta(\ell-1) c_\ell(f)$$
   y una expresión similar para el residuo en $s=-1$ que involucra la suma de términos relacionados con $d_\ell$.
4. Manejo de $\ell=2$: El artículo proporciona un análisis detallado para el caso $\ell=2$, donde la serie de Eisenstein puede tener un polo de orden 2. Introduce un mapa de frontera adicional $a_2$ para capturar el coeficiente del término $(s+1)^{-2}$, el cual no estaba presente en el caso $\ell \ge 3$.

Significancia
El autor afirma que su principal contribución es proporcionar una expresión geométrica para los términos de frontera en la fórmula de sumación de Poisson para cuádricas sobre cuerpos numéricos. Al demostrar que estos términos están determinados por los gérmenes de las funciones en la singularidad (vía los mapas $c_\ell$ y $d_\ell$), el trabajo "geometriza" los residuos analíticos.

El autor señala que este resultado es similar a las identidades de Siegel-Weil regularizadas (citando a [Ich01, Ike96, KR94]). La significancia radica en demostrar que tales identidades pueden utilizarse para geometrizar los términos de frontera para los espacios de Braverman-Kazhdan. El artículo sugiere que este enfoque podría extenderse a otros entornos, como reformular las fórmulas de sumación de Poisson en el Grassmanniano Lagrangiano (como en [GL21]) de una manera geométrica, aunque no realiza dicha extensión en sí mismo.

En resumen, el artículo cierra la brecha entre la teoría analítica de las series de Eisenstein y la teoría geométrica de los espacios de Schwartz en variedades singulares, confirmando que el enfoque de levantamiento theta de [Get25] es plenamente compatible con el marco de Braverman-Kazhdan y produce una descripción geométrica completa de los términos de error de la fórmula de sumación.