Plancherel and Poisson summation formulae for a family of affine $\Psi$-bundles

Sintesi Tecnica: Formule di Plancherel e di Somma di Poisson per una Famiglia di $\Psi$-Bundles Affini

Problema e Contesto
Questo articolo affronta la congettura della somma di Poisson per una specifica famiglia di spazi singolari che emergono nel contesto delle funzioni $L$ di prodotto triplo. La congettura, originariamente formulata da Braverman e Kazhdan e perfezionata da Ngô e Sakellaridis, postula l'esistenza di uno spazio di Schwartz, di una trasformata di Fourier che soddisfi l'equivarianza ritorta, e di una formula di sommatoria di Poisson per varietà sferiche.

Gli autori si concentrano su una famiglia di $\Psi$-bundle affini su una specifica varietà sferica. Sia $F$ un campo numerico e $r \geq 3$. L'oggetto geometrico sottostante è lo spazio $X^\circ_r = N \backslash GL_r$, dove $N$ è il radicale unipotente di un sottogruppo parabolico standard. Questo è accoppiato con lo spazio $M^\circ$ delle matrici di rango 1 in $M_{r-2,2}$. Gli autori considerano il prodotto $X^\circ = X^\circ_r \times M^\circ$ e le sue fibre $X^\circ_\ell$ su punti $\ell \in \mathbb{P}^1(F)$. Su queste fibre, studiano fibrati lineari ermitiani $H$ ( $\Psi$-bundle affini) le cui sezioni soddisfano una specifica legge di trasformazione che coinvolge un carattere $\psi$ e un accoppiamento sulle componenti matriciali.

La motivazione primaria per questa specifica scelta dello spazio è la sua applicazione alla rappresentazione integrale delle funzioni $L$ di prodotto triplo esplorata in un articolo complementare degli autori e di Leslie [GGHL25]. In quel contesto, dimostrare la continuazione analitica di queste funzioni $L$ richiede una coppia di formule di sommatoria di Poisson: una per uno spazio vettoriale (nota) e una per lo spazio singolare $X^\circ_\ell$ qui studiato.

Metodologia
Gli autori impiegano un metodo spettrale, utilizzando proprietà note di rappresentazioni automorfe e funzioni $L$ per dedurre risultati geometrici. La strategia tecnica centrale prevede i seguenti passaggi:

1. Analisi Armonica Locale: Gli autori stabiliscono prima una formula di Plancherel per lo spazio di Harish-Chandra $C(X^\circ_\ell(F_v), H)$ in una collocazione locale $v$. Ciò comporta la definizione dello spazio delle funzioni, la costruzione di integrali zeta locali e la relazione con i modelli di Whittaker di rappresentazioni di $GL_{r,r-2}$.
2. Integrali Zeta e Coti: Una parte significativa del lavoro è dedicata alla dimostrazione della convergenza assoluta e all'instaurazione di coti precise per gli integrali zeta locali $Z(f, W, \chi)$. Questi integrali sono definiti utilizzando la struttura del $\Psi$-bundle e le funzioni di Whittaker. Gli autori dimostrano che questi integrali convergono per funzioni a decadimento rapido e ne stabiliscono la continuazione meromorfa.
3. Teorema di Plancherel Matriciale: Combinando la formula di Plancia locale per $GL_{r,r-2}$ con la struttura degli integrali zeta, gli autori derivano un teorema di Plancherel "matriciale" per lo spazio $X^\circ_\ell(F_v)$. Questo teorema fornisce un isomorfismo topologico tra lo spazio di Harish-Chandra del fibrato e uno spazio di sezioni sul spettro temprato di $GL_{r,r-2}$.
4. Costruzione della Trasformata di Fourier: Utilizzando l'isomorfismo di Plancherel, gli autori definiscono una trasformata di Fourier locale. Questa trasformata è costruita descrivendo la sua immagine sotto la mappa di Plancherel in termini di fattori $\gamma$ associati alle funzioni $L$ rilevanti.
5. Spazi di Schwartz Asintotici: Gli autori definiscono uno spazio di Schwartz asintotico $Sas(X_\ell(F_v), H)$ adattato alla geometria dello spazio. Dimostrano che la funzione base (una specifica funzione di test definita tramite le funzioni caratteristiche di sottogruppi compatti) appartiene a questo spazio ed è $\Xi$-rapidamente decrescente.
6. Unfolding Globale: Per dimostrare la formula globale di sommatoria di Poisson, gli autori scompongono (unfold) un integrale zeta globale che coinvolge una forma cuspidale e la funzione di Schwartz. Utilizzano la decomposizione spettrale del nucleo automorfo e le equazioni funzionali degli integrali zeta locali (derivate dalla trasformata di Fourier locale) per relazionare la somma sui punti razionali con la somma sulla trasformata di Fourier.

Contributi Chiave e Risultati

• Formula di Plancherel per $\Psi$-Bundles Affini: Il saggio dimostra una formula di Plancia per lo spazio di Harish-Chandra di una famiglia di $\Psi$-bundle affini su varietà sferiche singolari (Teorema 1.1, Teorema 8.6). Ciò è degno di nota poiché la decomposizione di Plancherel coinvolge rappresentazioni ammissibili di rango arbitrariamente elevato ($GL_{r,r-2}$), distinguendosi dai risultati precedenti su varietà sferiche che spesso coinvolgono gruppi di rango inferiore o monoidi specifici.
• Costruzione di Trasformate di Fourier: Gli autori costruiscono trasformate di Fourier locali e globali per questi spazi (Teorema 9.2, Teorema 10.2). Queste trasformate sono mostrate essere isomorfismi topologici sugli spazi di Schwartz asintotici.
• Formula di Sommatoria di Poisson: Sotto ipotesi adeguate (A1 e A2) riguardanti l'immagine cuspidale e il decadimento rapido delle funzioni di test, gli autori dimostrano la formula di sommatoria di Poisson:
  $$\sum_{x \in X^\circ_\ell(F)} f(x) = \sum_{x \in X^\circ_\ell(F)} \mathcal{F}(f)(x)$$
  (Teorema 1.2, Teorema 12.7).
• Stime Tecniche: Il saggio fornisce limiti rigorosi per le funzioni di Whittaker e gli integrali zeta sia in ambito archimedeo che non archimedio, incluse le stime per rappresentazioni non temperate e il comportamento della funzione base.

Significato e Rivendicazioni
Gli autori affermano che questo lavoro rappresenta il primo caso in cui la congettura della sommatoria di Poisson è stata dimostrata per spazi singolari la cui decomposizione di Plancherel coinvolge rappresentazioni ammissibili di rango arbitrariamente elevato.

Il saggio afferma esplicitamente che la tecnica di passare avanti e indietro tra dati spettrali e geometrici per dedurre risultati sui dati spettrali è onnipresente nella teoria delle rappresentazioni automorfe. In questo specifico contesto, gli autori utilizzano le proprietà note delle funzioni $L$ (specificamente la loro continuazione analitica e le equazioni funzionali) per dedurre la formula di sommatoria di Poisson. Essi notano che questo approccio è in un certo senso circolare, poiché la sommatoria di Poisson è spesso usata per dimostrare le proprietà delle funzioni $L$, ma sostengono che la tecnica sia valida e necessaria per la loro applicazione prevista in [GGHL25].

Gli autori riconoscono di non sapere come costruire la trasformata di Fourier o dimostrare la formula di sommatoria di Poisson senza utilizzare la formula di Plancherel e il metodo spettrale. Notano inoltre che, sebbene assumano che le funzioni di test soddisfino condizioni forti (A1 e A2) per semplificare la dimostrazione, credono che molte funzioni nello spazio di Schwartz soddisfino la condizione di decadimento rapido (A2), sebbene un teorema di Paley-Wiener completo per l'orbita aperta rimanga un obiettivo futuro.

In sintesi, il saggio fornisce un rigoroso quadro di analisi armonica per una specifica classe di spazi singolari, stabilendo gli strumenti di Plancherel e di sommatoria di Poisson necessari per avanzare nello studio delle funzioni $L$ di prodotto triplo tramite il metodo del fibrato.