Geometrization of summation formulae for quadrics

Sintesi Tecnica: Geometrizzazione delle Formule di Somma per le Quadriche

Enunciato del Problema
Il saggio affronta la formula di sommatoria di Poisson per il luogo di zeri $X_\ell$ di una forma quadratica debole (split) in un numero pari di variabili ($2\ell$) su un campo numerico $E$. Sebbene una formula di sommatoria di Poisson fosse stata precedentemente stabilita per $\ell \ge 3$ (Teorema 1.1 in [Hsu21, Get25]), essa coinvolgeva "termini di bordo" (residui di serie di Eisenstein degenerate) che non erano esplicitamente espressi in termini geometrici. Nello specifico, si sapeva che i residui in $s = \pm 1$ e $s = \pm (\ell-1)$ venivano meno se e solo se determinati mappe di bordo applicate alla funzione di Schwartz erano nulle, ma i valori non nulli di questi residui mancavano di una descrizione geometrica.

Nel caso dei campi di funzioni, una completa descrizione geometrica di questi residui è stata ottenuta in [GK24] utilizzando l'automatismo delle rappresentazioni minimali. Tuttavia, il caso dei campi numerici presenta sfide distinte dovute alle placche archimidee. Un recente approccio di Getz [Get25] ha introdotto uno spazio di funzioni $\tilde{S}(X_\ell(\mathbb{A}_E))$ definito tramite sollevamenti theta e una mappa lineare $I$ verso funzioni lisce sul locus liscio. Sebbene [Get25] avesse stabilito una formula di sommatoria geometrica per le funzioni della forma $I(f)$, rimaneva poco chiaro se $I(f)$ appartenesse effettivamente allo spazio di Schwartz standard $S(X_\ell(\mathbb{A}_E))$ e se la formula scendesse a dipendere unicamente dall'immagine $I(f)$.

Metodologia
L'autore risolve queste ambiguità stabilendo un'equivalenza rigorosa tra due diverse costruzioni di spazi di Schwartz su quadriche:

1. Spazi di Braverman-Kazhdan: La costruzione standard di $S(X_\ell)$ tramite rappresentazioni minimali del gruppo ortogonale $O_{V_{\ell+1}}$, come sviluppato in [GHL25] e [Hsu21].
2. Spazi di Sollevamento Theta: Lo spazio $\tilde{S}(X_\ell)$ definito tramite i coinvarianti della rappresentazione di Weil di $SL_2$ su $S(V_\ell \oplus \mathbb{A}^2)$, come introdotto in [Get25].

La metodologia procede in tre fasi principali:

• Confronto Locale: Il saggio analizza la teoria locale sia su campi locali non archimedei che archimedei. Calcola esplicitamente il comportamento asintotico delle funzioni vicino alla singolarità (l'origine) per entrambe le costruzioni.
• Identificazione delle Mappe: L'autore dimostra che la mappa $I: \tilde{S}(X_\ell) \to C^\infty(X_\ell^\circ)$ è un isomorfismo sul lo spazio di Schwartz standard $S(X_\ell)$. Fondamentalmente, questo isomorfismo intreccia le trasformate di Fourier definite in entrambe le teorie ($\tilde{F}_{X_\ell}$ e $F_{X_\ell}$) e le mappe di bordo (residui e coefficienti asintotici).
• Discesa Globale: Utilizzando le identificazioni locali, l'autore eleva la formula di sommatoria dal contesto del sollevamento theta al contesto dello spazio di Schwartz standard. Ciò comporta il tracciamento accurato delle costanti di normalizzazione, in particolare il discriminante $D$ del campo numerico e i fattori epsilon $\epsilon(s, \psi)$, per garantire che la formula adelica sia valida.

Contributi Chiave e Risultati

1. Equivalenza degli Spazi di Schwartz: Il saggio dimostra che per $\ell \ge 2$, l'immagine della mappa di sollevamento theta $I$ è esattamente lo spazio di Schwartz standard $S(X_\ell(\mathbb{A}_E))$ (Teorema 7.1, Proposizioni 5.2, 6.3). Ciò conferma che la costruzione tramite sollevamento theta fornisce un modello valido per lo spazio di Schwartz nell'ambito dei campi numerici.
2. Geometrizzazione dei Residui: Il risultato primario è il Teorema 1.2, una formula di sommatoria di Poisson "geometrizzata". Questa formula esprime la somma di una funzione di Schwartz sui punti razionali sulla quadrica in termini di:
   • La somma della sua trasformata di Fourier.
   • Termini di bordo espliciti che coinvolgono mappe di bordo iterate $d_{\ell, i}$ e $c_i$.
   • Queste mappe di bordo corrispondono alle espansioni asintotiche della funzione vicino all'origine (germi).
3. Formule Esplicite per i Residui: Confrontando la nuova formula (Teorema 1.2) con la precedente formula analitica (Teorema 1.1), l'autore deriva espressioni geometriche esplicite per i residui delle serie di Eisenstein degenerate:
   $$\text{Res}_{s=-(\ell-1)} \text{Eis}(f_s) = \kappa |D|^{\frac{\ell-3}{2}} \zeta(\ell-1) c_\ell(f)$$
   e una espressione simile per il residuo in $s=-1$ che coinvolge la somma dei termini legati a $d_\ell$.
4. Gestione di $\ell=2$: Il saggio fornisce un'analisi dettagliata per il caso $\ell=2$, dove la serie di Eisenstein può presentare un polo di ordine 2. Introduce una mappa di bordo aggiuntiva $a_2$ per catturare il coefficiente del termine $(s+1)^{-2}$, che non era presente nel caso $\ell \ge 3$.

Significatività
L'autore afferma che il suo contributo principale è fornire un'espressione geometrica per i termini di bordo nella formula di sommatoria di Poisson per le quadriche su campi numerici. Dimostrando che tali termini sono determinati dai germi delle funzioni alla singolarità (tramite le mappe $c_\ell$ e $d_\ell$), il lavoro "geometrizza" i residui analitici.

L'autore nota che questo risultato è simile alle identità di Siegel-Weil regolarizzate (citando [Ich01, Ike96, KR94]). La significatività risiede nel dimostrare che tali identità possono essere utilizzate per geometrizzare i termini di bordo per gli spazi di Braverman-Kazhdan. Il saggio suggerisce che questo approccio potrebbe essere esteso ad altri contesti, come la riformulazione delle formule di sommatoria di Poisson sul Grassmanniano Lagrangiano (come in [GL21]) in modo geometrico, sebbene non esegua tale estensione.

In sintesi, il saggio colma il divario tra la teoria analitica delle serie di Eisenstein e la teoria geometrica degli spazi di Schwartz su varietà singolari, confermando che l'approccio del sollevamento theta di [Get25] è pienamente compatibile con il quadro di Braverman-Kazhdan e fornisce una descrizione geometrica completa dei termini di errore della formula di sommatoria.