The $\rho$-Fourier transform

Sintesi Tecnica della "Trasformata di Fourier $\rho$"

Enunciato del Problema
Il lavoro affronta una congettura di Braverman, Kazhdan e Ngˆo riguardante l'esistenza di una trasformata di Fourier $\rho$ e di uno spazio di Schwartz $\rho$ associato per un gruppo riduttivo $G$ su un campo locale $F$. Sia $\rho: {}^L G \to \mathrm{GL}(V_\rho)$ una rappresentazione del gruppo $L$ di $G$. La congettura postula l'esistenza di un sottospazio denso e invariante sotto $G(F) \times G(F)$, $S_\rho \subset L^2(G(F))$, dotato di un operatore unitario $\mathcal{F}_\rho$ (la trasformata di Fourier $\rho$) che soddisfi specifiche proprietà di equivarianza e di equazione funzionale. Crucialmente, per le rappresentazioni temperate $\pi$, la trasformata deve soddisfare $\pi(\mathcal{F}_\rho(f)^\vee) = \gamma(1/2, \pi, \rho, \psi)\pi(f)$, dove $\gamma$ è il fattore $\gamma$ locale. Inoltre, lo spazio $S_\rho$ dovrebbe soddisfare condizioni analitiche riguardanti gli integrali zeta locali, inclusa la convergenza, la continuazione meromorfa e le equazioni funzionali che coinvolgono le funzioni $L$, nonché vincoli geometrici come essere "quasi a supporto compatto" nel caso non archimedeo.

Metodologia
Gli autori adottano un approccio spettrale, utilizzando il teorema di Plancherel di Harish-Chandra come strumento principale per la costruzione. Invece di costruire la trasformata tramite nuclei integrali direttamente sul lato del gruppo, definiscono la trasformata di Fourier spettralmente sullo spazio delle sezioni sul duale temperato.

1. Costruzione Spettrale: Gli autori definiscono la trasformata di Fourier $\rho$, $\mathcal{F}_\rho$, sullo spazio di Harish-Chandra $C(G(F))$ dichiarando che la sua azione sul lato spettrale (tramite la trasformata di Harish-Chandra $H_P$) è la moltiplicazione per il fattore $\gamma$, $\gamma_\rho(\pi)$. Nello specifico, $\mathcal{F}_\rho = (\cdot)^\vee \circ H_P^{-1} \circ (\gamma_\rho \cdot) \circ H_P$.
2. Corrispondenza di Langlands Locale: La costruzione si basa su una forma debole della corrispondenza di Langlands locale (LLC) che soddisfi specifici requisiti (LLC1–LLC8). Questi includono la compatibilità con la LLC per i tori e $\mathrm{GL}_n$, il comportamento rispetto ai contragredienti e specifiche proprietà analitiche dei fattori $\gamma$ e delle funzioni $L$. Gli autori verificano che queste condizioni valgano nei casi noti (ad esempio, $G=\mathrm{GL}_n$) e le assumono in generale.
3. Spazio di Schwartz Asintotico: Per gestire i vincoli analitici sugli integrali zeta, gli autori costruiscono prima uno "spazio di Schwartz $\rho$ asintotico" $S^{\mathrm{as}}_\rho(G(F))$. Questo spazio è definito come l'immagine inversa sotto $H_P$ delle sezioni $T$ tali che $L_\rho^{-1} T$ sia una sezione polinomiale (caso non archimedeo) o olomorfa (caso archimedeo), soggetta a specifici limiti di crescita che coinvolgono le funzioni $L$ associate a $\rho$.
4. Controllo Geometrico (Non Archimedeo): Nel caso non archimedeo, gli autori affinano $S^{\mathrm{as}}_\rho(G(F))$ per ottenere il vero spazio di Schwartz $\rho$, $S_\rho(G(F))$. Intersecano lo spazio asintotico con lo spazio delle funzioni lisce quasi a supporto compatto $C^\infty_{\mathrm{ac}}(G(F))$. Utilizzando il teorema di Paley-Wiener per $C^\infty_{\mathrm{ac}}(G(F))$ (dovuto a Bernstein e Heiermann) e il centro di Bernstein esteso, dimostrano che questa intersezione contiene un sottospazio massimale stabile sotto $\mathcal{F}_\rho$.
5. Limiti e Stime: Il lavoro dedica uno sforzo significativo all'instaurazione di limiti uniformi per i fattori $\gamma$ e le funzioni $L$ sul duale temperato, in particolare nel caso archimedeo, per garantire la convergenza e la continuità degli operatori costruiti.

Contributi e Risultati Chiave

• Esistenza della Trasformata: Gli autori dimostrano che lo spazio di Harish-Chandra $C(G(F))$ ammette una trasformata di Fourier $\rho$ unitaria $\mathcal{F}_\rho$ che soddisfa l'equazione funzionale $\pi(\mathcal{F}_\rho(f)^\vee) = \gamma(1/2, \pi, \rho, \psi)\pi(f)$ per tutte le rappresentazioni temperate $\pi$. Questo conferma la Congettura 1.1 di Braverman-Kazhdan-Ngˆo.
• Costruzione dello Spazio di Schwartz:
  • Caso Archimedeo: Costruiscono lo spazio $S_\rho(G(F)) = S^{\mathrm{as}}_\rho(G(F))$, dimostrando che soddisfa i requisiti analitici (S1) e (S2) della Congettura 1.5.
  • Caso Non Archimedeo: Costruiscono $S_\rho(G(F))$ come il sottospazio massimale stabile sotto $\mathcal{F}_\rho$ di $S^{\mathrm{as}}_\rho(G(F)) \cap C^\infty_{\mathrm{ac}}(G(F))$. Dimostrano che questo spazio soddisfa tutte le condizioni della Congettura 1.5, inclusa l'esistenza di una funzione base $b_\rho$ (Congettura S3) e la proprietà di supporto quasi compatto (Congettura S4).
• Nucleo e Funzione Base: Il lavoro costruisce esplicitamente la distribuzione nucleare $J_\rho$ e la funzione base $b_\rho$ (nel caso non ramificato), mostrando che $b_\rho$ è un punto fisso della trasformata di Fourier e che il suo integrale zeta recupera la funzione $L$, $L(s, \pi, \rho)$.
• Uniformità: I metodi sono mostrati procedere in modo uniforme attraverso i diversi tipi di ramificazione e per tutti i posti di un campo di numeri, in contrasto con lavori precedenti che erano spesso limitati a casi specifici o contesti geometricizzati.

Significato e Affermazioni
Il lavoro afferma di dimostrare una "grande porzione" delle congetture di Braverman-Kazhdan-Ngˆo sugli spazi di Schwartz. Il significato principale risiede nel fornire una costruzione diretta e spettrale della trasformata di Fourier $\rho$, ponendo così la teoria su "terreno solido". Gli autori sottolineano che il loro approccio non fa affidamento sulle tecniche di geometricizzazione utilizzate in lavori precedenti (ad esempio, da Lafforgue o nel caso di caratteristica uguale), ma sfrutta invece la formula di Plancherel di Harish-Chandra e la corrispondenza di Langlands locale.

Gli autori sono modesti riguardo al caso archimedeo, notando che, sebbene costruiscano un'approssimazione (lo spazio asintotico) che soddisfa le condizioni analitiche, la costruzione di uno spazio di Schwartz costituito da funzioni quasi a supporto compatto nell'impostazione archimedea rimane poco chiara e richiede ulteriori lavori. Notano inoltre che i loro risultati sono condizionati alla validità di specifici requisiti per la corrispondenza di Langlands locale, che sono noti essere veri per $\mathrm{GL}_n$ e altri gruppi specifici.

Il lavoro conclude affermando che gli spazi costruiti soddisfano le congetture locali riguardanti gli integrali zeta e le equazioni funzionali, fornendo una base per potenziali applicazioni globali, come la costruzione di gruppi di modulazione, sebbene il lavoro stesso non sviluppi queste applicazioni globali.