Geometrization of summation formulae for quadrics

Technische Samenvatting: Geometrisering van Sommatieformules voor Kwadratische Variëteiten

Probleemstelling
Het artikel behandelt de Poisson-sommatieformule voor de nulset $X_\ell$ van een gesplitte kwadratische vorm in een even aantal variabelen ($2\ell$) over een getallenlichaam $E$. Hoewel een Poisson-sommatieformule eerder werd vastgesteld voor $\ell \ge 3$ (Stelling 1.1 in [Hsu21, Get25]), bevatte deze "randtermen" (residuen van gedegenereerde Eisenstein-reeksen) die niet expliciet in geometrische termen waren uitgedrukt. Specifiek was bekend dat de residuen bij $s = \pm 1$ en $s = \pm (\ell-1)$ verdwenen als en slechts als bepaalde randafbeeldingen op de Schwartz-functie nul waren, maar de niet-nul waarden van deze residuen misten een geometrische beschrijving.

In het geval van functievelden werd een volledige geometrische beschrijving van deze residuen bereikt in [GK24] met behulp van de automorfie van minimale representaties. Het geval van getallenlichamen presenteert echter afwijkende uitdagingen vanwege archimedische plaatsen. Een recente benadering door Getz [Get25] introduceerde een functieruimte $\tilde{S}(X_\ell(\mathbb{A}_E))$ gedefinieerd via theta-lifts en een lineaire afbeelding $I$ naar gladde functies op de gladde locus. Hoewel [Get25] een geometrische sommatieformule heeft vastgesteld voor functies van de vorm $I(f)$, bleef het onduidelijk of $I(f)$ daadwerkelijk tot de standaard Schwartz-ruimte $S(X_\ell(\mathbb{A}_E))$ behoort en of de formule naar beneden kan worden afgeleid zodat deze uitsluitend afhangt van de afbeelding $I(f)$.

Methodologie
De auteur lost deze ambiguïteiten op door een rigoureuze equivalentie te vestigen tussen twee verschillende constructies van Schwartz-ruimten op kwadratische variëteiten:

1. Braverman-Kazhdan Ruimten: De standaardconstructie van $S(X_\ell)$ via minimale representaties van de orthogonaal groep $O_{V_{\ell+1}}$, zoals ontwikkeld in [GHL25] en [Hsu21].
2. Theta Lift Ruimten: De ruimte $\tilde{S}(X_\ell)$ gedefinieerd via de co-invarianten van de Weil-representatie van $SL_2$ acterend op $S(V_\ell \oplus \mathbb{A}^2)$, zoals geïntroduceerd in [Get25].

De methodologie verloopt in drie hoofdfasen:

• Lokale Vergelijking: Het artikel analyseert de lokale theorie over zowel niet-archimedische als archimedische lokale velden. Het berekent expliciet het asymptotische gedrag van functies nabij de singulariteit (de oorsprong) voor beide constructies.
• Identificatie van Afbeeldingen: De auteur bewijst dat de afbeelding $I: \tilde{S}(X_\ell) \to C^\infty(X_\ell^\circ)$ een isomorfisme is naar de standaard Schwartz-ruimte $S(X_\ell)$. Cruciaal is dat dit isomorfisme de Fourier-transformaties gedefinieerd in beide theorieën ($\tilde{F}_{X_\ell}$ en $F_{X_\ell}$) en de randafbeeldingen (residuen en asymptotische coëfficiënten) onderling verbindt.
• Globale Afgeleide: Met behulp van de lokale identificaties leidt de auteur de sommatieformule vanuit de theta-lift-setting naar de standaard Schwartz-ruimte-setting. Dit omvat het zorgvuldig volgen van normalisatieconstanten, met name de discriminant $D$ van het getallenlichaam en de epsilon-factoren $\epsilon(s, \psi)$, om te waarborgen dat de adelische formule standhoudt.

Belangrijkste Bijdragen en Resultaten

1. Equivalentie van Schwartz-ruimten: Het artikel bewijst dat voor $\ell \ge 2$, de afbeelding van de theta-lift-afbeelding $I$ exact de standaard Schwartz-ruimte $S(X_\ell(\mathbb{A}_E))$ is (Stelling 7.1, Propositionen 5.2, 6.3). Dit bevestigt dat de theta-lift-constructie een geldige model vormt voor de Schwartz-ruimte in de getallenlichaam-setting.
2. Geometrisering van Residuen: Het primaire resultaat is Stelling 1.2, een "geometrische" Poisson-sommatieformule. Deze formule drukt de som van een Schwartz-functie over rationale punten op de kwadratische variëteit uit in termen van:
   • De som van zijn Fourier-transformatie.
   • Expliciete randtermen betrokken bij iteratieve randafbeeldingen $d_{\ell, i}$ en $c_i$.
   • Deze randafbeeldingen komen overeen met de asymptotische expansies van de functie nabij de oorsprong (germs).
3. Expliciete Residueformules: Door de nieuwe formule (Stelling 1.2) te vergelijken met de vorige analytische formule (Stelling 1.1), leidt de auteur expliciete geometrische expressies af voor de residuen van de gedegenereerde Eisenstein-reeksen:
   $$\text{Res}_{s=-(\ell-1)} \text{Eis}(f_s) = \kappa |D|^{\frac{\ell-3}{2}} \zeta(\ell-1) c_\ell(f)$$
   en een vergelijkbare expressie voor het residu bij $s=-1$ die een som bevat van termen gerelateerd aan $d_\ell$.
4. Afhandeling van $\ell=2$: Het artikel biedt een gedetailleerde analyse voor het geval $\ell=2$, waarbij de Eisenstein-reeks mogelijk een pool van orde 2 heeft. Het introduceert een extra randafbeelding $a_2$ om de coëfficiënt van de $(s+1)^{-2}$ term te vangen, die niet aanwezig was in de $\ell \ge 3$ casus.

Betekenis
Het artikel stelt dat de belangrijkste bijdrage het leveren van een geometrische expressie voor de randtermen in de Poisson-sommatieformule voor kwadratische variëteiten over getallenlichamen is. Door aan te tonen dat deze termen worden bepaald door de germs van functies bij de singulariteit (via de afbeeldingen $c_\ell$ en $d_\ell$), "geometriseert" dit werk de analytische residuen.

De auteur merkt op dat dit resultaat verwant is aan geregulariseerde Siegel-Weil identiteiten (verwijzend naar [Ich01, Ike96, KR94]). De significantie ligt in het aantonen dat dergelijke identiteiten gebruikt kunnen worden om randtermen voor Braverman-Kazhdan ruimten te geometriseeren. Het artikel suggereert dat deze benadering kan worden uitgebreid naar andere instellingen, zoals het geometrisch herformuleren van Poisson-sommatieformules op de Lagrangiaanse Grassmanniaan (zoals in [GL21]), hoewel het deze uitbreiding zelf niet uitvoert.

Samenvattend overbrugt het artikel de kloof tussen de analytische theorie van Eisenstein-reeksen en de geometrische theorie van Schwartz-ruimten op singuliere variëteiten, waarbij wordt bevestigd dat de theta-lift benadering van [Get25] volledig compatibel is met het Braverman-Kazhdan kader en een volledige, geometrische beschrijving geeft van de fouttermen in de sommatieformule.