Relative Character Asymptotics Beyond Stability for $\mathrm{PGL}_2 \times \mathrm{GL}_1$

Titolo: Asintotici dei Caratteri Relativi Oltre la Stabilità per PGL2 × GL1

1. Il Problema e il Contesto

Il lavoro si inserisce nel campo della teoria delle rappresentazioni dei gruppi di Lie reali e p-adici, focalizzandosi sull'asintotica dei caratteri relativi.

• Contesto: Per i gruppi di Lie reali, Nelson e Venkatesh hanno studiato l'asintotica dei caratteri relativi per coppie di rappresentazioni $(\pi, \sigma)$ associate a coppie Gan-Gross-Prasad (G, H). Hanno dimostrato che, quando il conduttore della funzione L di Rankin-Selberg associata $L(\pi \boxtimes \sigma^\vee)$ si trova in una "posizione stabile" (lontano dal "conductor dropping", ovvero quando i conduttori non collassano), l'asintotica è governata da orbite co-aggiunte relative.
• La Sfida: Quando la stabilità fallisce (ad esempio, quando i conduttori di $\pi$ e $\sigma$ sono tali da creare singolarità geometriche o un numero infinito di orbite), la teoria classica si degrada. In particolare, l'orbita co-aggiunta relativa può diventare singolare (es. una croce con una singolarità nell'origine) o non essere un torsore sotto l'azione di $H$.
• Obiettivo del Paper: Estendere l'analisi degli asintotici dei caratteri relativi al caso non archimedeo per la coppia $(G, H) = (PGL_2(F), GL_1(F))$, superando l'ipotesi di stabilità e permettendo un significativo "conductor dropping" (caduta del conduttore).

2. Metodologia e Strumenti Matematici

L'autore sviluppa una nuova metodologia che combina l'analisi microlocale non archimedea con la teoria delle rappresentazioni locali.

• Definizione degli Oggetti:
  • $G = PGL_2(F)$ e $H = GL_1(F)$ (incorporato diagonalmente).
  • Si studiano l'operatore integrale $Op(a)$ e il funzionale lineare $\ell_\chi$ definito tramite il modello di Whittaker.
  • Il carattere relativo è definito come la distribuzione $H_{\pi, \chi}(a) = \sum_{v \in B(\pi)} \ell_\chi(Op(a)v)\ell_\chi(v)$.
• Decomposizione in "Wavepackets" (Pacchetti d'onda):
  • Le funzioni di prova $a$ sullo spazio duale dell'algebra di Lie $Lie(G)^*$ sono decomposte in "pacchetti d'onda" non archimedei. Questi sono funzioni caratteristiche di sfere (bump functions) centrate su elementi microlocalizzati $T\tau$.
  • L'operatore $Op(a)$ viene fattorizzato utilizzando la fattorizzazione di Iwahori del gruppo congruenziale $K(N) = K_- K_0 K_+$. Questo permette di scomporre l'operatore in componenti lungo le direzioni unipotenti negative, diagonali e positive: $Op(a) = Op_-(a_+) Op_0(a_0) Op_+(a_-)$.
• Modelli di Kirillov e Funzionali:
  • L'analisi viene condotta nel modello di Kirillov, che diagonalizza l'azione del sottogruppo unipotente $G_+$.
  • Si utilizza la formula funzionale locale per $GL_2 \times GL_1$ per gestire l'azione dell'elemento di Weyl $w = \begin{pmatrix} 0 & 1 \\ 1 & 0 \end{pmatrix}$, collegando le azioni sulle direzioni unipotenti positive e negative.
  • Un ruolo cruciale è svolto dai fattori epsilon e dalle somme di Gauss, che emergono naturalmente dall'applicazione della formula funzionale e dall'analisi delle fasi stazionarie non archimedee.

3. Risultati Principali

Il risultato centrale è il Teorema 1.3, che fornisce un'asintotica esplicita per il carattere relativo anche in regime non stabile.

• Ipotesi: $\pi$ è una rappresentazione unitaria della serie principale o supercuspidale di $PGL_2(F)$, e $\chi$ è un carattere unitario di $GL_1(F)$. Si assumono condizioni tecniche sui conduttori che permettono la caduta del conduttore (es. $|\lambda_{\pi} - \lambda_{\sigma}| \gg 1$ ma non necessariamente $\gg T$ come nel caso stabile).
• Affermazione del Teorema: Esiste un'iperbole $Hyp(\pi, \chi) \subset Lie(G)^*$ tale che:
  $$H_{\pi, \chi}(a) = \int_{Hyp(\pi, \chi)} a(\xi) d\xi$$
  dove l'integrale è calcolato rispetto alla misura di Haar moltiplicativa.
• Geometria dell'Orbita:
  • Nel caso stabile, l'orbita relativa è una varietà liscia.
  • Nel caso non stabile trattato (es. quando i conduttori coincidono o sono vicini), l'orbita relativa geometrica classica potrebbe degenerare in una "croce" con una singolarità. Tuttavia, il paper dimostra che l'asintotica è comunque governata da un'iperbole ben definita $Hyp(\pi, \chi)$, definita da equazioni del tipo $x = \alpha_\chi$ e $yz = \alpha_{\pi, \chi}$.
  • Il parametro $\alpha_{\pi, \chi}$ è legato ai conduttori e ai fattori epsilon delle rappresentazioni coinvolte (tramite la corrispondenza di Langlands locale).
• Calcolo Esplicito: L'autore calcola esplicitamente il prodotto scalare $\langle Op(a)\ell_\chi, \ell_\chi \rangle$ scomponendo l'operatore e valutando gli integrali sui coefficienti di Fourier. Il risultato mostra che il termine principale è dato dall'integrale sull'iperbole, con un errore controllato.

4. Contributi Chiave e Innovazioni

1. Superamento dell'Ipotesi di Stabilità: A differenza dei lavori precedenti (Nelson-Venkatesh) che richiedevano che le rappresentazioni fossero "stabili" (orbite regolari, nessun incrocio di autovalori infinitesimali), questo lavoro gestisce casi in cui la stabilità fallisce.
2. Gestione della Caduta del Conduttore: Il metodo è applicabile anche quando il conduttore della funzione L di Rankin-Selberg $L(s, \pi \times \chi)$ subisce una significativa riduzione (conductor dropping), una situazione critica per le applicazioni alla subconvessità.
3. Analisi Microlocale Non Archimedea: L'uso sistematico della fattorizzazione di Iwahori e dei pacchetti d'onda per isolare le componenti microlocali permette di trattare l'asintotica in modo preciso senza ricorrere alla formula delle tracce relative.
4. Connessione con la Geometria: Dimostra che, anche in presenza di singolarità geometriche (come la croce nell'esempio 1.2 o la degenerazione nel caso stabile), l'asintotica è ancora governata da una varietà geometrica specifica (l'iperbole), suggerendo che l'orbita "non chiusa con stabilizzatori finiti" è l'oggetto corretto da considerare.

5. Significato e Implicazioni

• Teoria dei Numeri e Subconvessità: Gli asintotici dei caratteri relativi sono uno strumento fondamentale per ottenere stime subconvexe per le funzioni L (problema della subconvessità). Le stime attuali spesso richiedono ipotesi di stabilità che limitano la loro applicabilità. Questo lavoro apre la strada a risultati di subconvessità in regimi più generali, dove i conduttori possono interagire in modo più complesso.
• Teoria delle Rappresentazioni: Fornisce una comprensione più profonda della struttura dei caratteri relativi per coppie simmetriche non archimedee, suggerendo che la "stabilità" non è una condizione necessaria per l'esistenza di un'asintotica geometrica, ma piuttosto una condizione per la semplicità della geometria dell'orbita.
• Metodologia: La tecnica sviluppata, che evita la formula delle tracce relative e si basa su analisi diretta degli operatori e dei modelli di Kirillov, potrebbe essere adattata ad altre coppie di gruppi $(G, H)$ in contesti non archimedei.

In sintesi, il paper di Hammonds rappresenta un passo significativo verso una teoria completa degli asintotici dei caratteri relativi, dimostrando che la geometria delle orbite co-aggiunte relative continua a governare il comportamento asintotico anche quando le condizioni di stabilità classica vengono meno.