The local Gross-Prasad conjecture over $\mathbb{R}$: Epsilon dichotomy

1. Enunciato del Problema

L'articolo affronta la Congettura di Gross–Prasad (GP) Locale per gruppi riduttivi reali, concentrandosi specificamente sulla dicotomia epsilon (Parte 2) per parametri L locali temperati.

• Contesto: Sia $F = \mathbb{R}$. Si consideri una coppia di spazi quadratici non degeneri $(W, V)$ su $\mathbb{R}$ con $W \subset V$ e $W^\perp$ di dimensione dispari e spezzato. Sia $G = SO(W) \times SO(V)$ e $H = SO(W) \ltimes N$ (dove $N$ è il radicale unipotente). Per una rappresentazione irriducibile ammissibile $\pi$ di $G(\mathbb{R})$, la molteplicità è definita come $m(\pi) = \dim \text{Hom}_{H(\mathbb{R})}(\pi, \xi)$, dove $\xi$ è un carattere generico.
• La Congettura: La congettura GP prevede che, per un parametro L locale generico $\phi$, la somma delle molteplicità sul pacchetto di L di Vogan rilevante sia 1 (Parte 1), e identifichi quale specifica rappresentazione nel pacchetto abbia molteplicità 1 basandosi su un carattere $\chi_\phi$ (Parte 2, la dicotomia epsilon).
• Stato dell'arte:
  • La Parte 1 (Somma delle molteplicità) è stata dimostrata per parametri temperati su $\mathbb{R}$ dal secondo autore (Luo) in [Luo21].
  • La Parte 2 (Dicotomia epsilon) era nota per i campi $p$-adici (Waldspurger) e per i campi complessi, ma rimaneva aperta per parametri temperati su $\mathbb{R}$.
• Obiettivo: Dimostrare che, per parametri L locali temperati su $\mathbb{R}$, l'unica rappresentazione $\pi_\phi$ con $m(\pi_\phi)=1$ soddisfa la relazione di carattere $\chi_{\pi_\phi} = \chi_\phi$.

2. Metodologia

Gli autori seguono la strategia stabilita da Waldspurger per il caso $p$-adico ([Wal12b]), adattandola al contesto archimedeo. La dimostrazione procede attraverso una riduzione in tre fasi:

A. Riduzione alla Parità Buona

Utilizzando i risultati di [MR20] e [Ren24], gli autori riducono il caso temperato generale a parametri di parità buona.

• Meccanismo: Decompongono la rappresentazione standard del parametro L in componenti di "parità buona" (tipo O) e "parità cattiva" (tipo Sp e tipo GL).
• Risultato: L'induzione parabolica stabilisce una biiezione tra i pacchetti L del gruppo completo e del gruppo ristretto alla parte di parità buona, preservando le molteplicità e i numeri di radice. Ciò riduce il problema a parametri il cui immagine consiste solo di costituenti irriducibili di tipo O.

B. Riduzione Endoscopica

Per parametri di parità buona, gli autori applicano l'endoscopia ordinaria per ridurre il problema a casi in cui il gruppo dei componenti $S_\phi$ è piccolo (banale o $\mathbb{Z}/2\mathbb{Z}$).

• Strategia: Per un elemento $s \in S_\phi$, relazionano la molteplicità su $G$ con le molteplicità geometriche stabili sui gruppi endoscopici $G^s = SO(V^+) \times SO(V^-) \times SO(W^+) \times SO(W^-)$.
• Identità Chiave: Mirano a dimostrare l'identità:
  $$\sum_{\pi \in \Pi_{rel}} \chi_\pi(s) m(\pi) = \chi_\phi(s)$$
  Questa viene trasformata in un'identità che coinvolge le molteplicità geometriche stabili ($m^S_{geom}$).

C. Modificazioni Archimedee (Il Contributo Tecnico Centrale)

La dimostrazione $p$-adica si basa sull'endoscopia twistata e su lemmi specifici che non si traducono direttamente su $\mathbb{R}$. Gli autori introducono due modifiche critiche:

1. Organizzazione del Segno di Kottwitz: A differenza del caso $p$-adico (dove ci sono poche forme interne), $\mathbb{R}$ ha molte forme interne pure. Gli autori organizzano l'unione delle classi di coniugazione semisemplici regolari sulle forme interne pure fissando il segno di Kottwitz $e(G_\alpha)$. Dimostrano la Proposizione 3.2.4, descrivendo esplicitamente l'unione di queste classi in termini dei dati del parametro.
2. Formula della Molteplicità Geometrica e Germi: La dimostrazione richiede il recupero del "germe" di un carattere di distribuzione dal carattere stesso.
   • Nel caso $p$-adico, ciò si basava su una congettura di Waldspurger.
   • Su $\mathbb{R}$, gli autori dimostrano il Lemma 4.2.2, un analogo archimedeo di [Wal10b, Lem. 13.4 (ii)], utilizzando la formula di Rossmann [Ros78] per gli integrali orbitali. Ciò permette loro di esprimere il germe $c_\Theta(x)$ come limite del quasi-carattere $\Theta$.
   • Stabiliscono il Corollario 4.2.3, collegando la molteplicità geometrica stabile alla molteplicità stabile.

D. Verifica dei Casi Base

Dopo le riduzioni, il problema si riduce a "casi base" in cui il parametro L è o irriducibile o una somma di un irriducibile e il suo contragrediente (ad esempio, $SO(2,2) \times SO(2,1)$).

• Gli autori verificano direttamente questi casi di basso rango utilizzando la corrispondenza theta e le coincidenze di basso rango (ad esempio, $SO(2,2) \cong SL_2 \times SL_2 / \{\pm 1\}$).
• Utilizzano coppie duali see-saw e la preservazione della genericità sotto la corrispondenza theta per mostrare che il membro distinto è effettivamente quello generico.

3. Contributi Chiave

1. Dimostrazione della Dicotomia Epsilon su $\mathbb{R}$: L'articolo completa la dimostrazione della congettura di Gross–Prasad Locale per parametri temperati sui numeri reali, risolvendo l'ultimo caso aperto della congettura nel contesto archimedeo.
2. Formula Archimedea della Molteplicità Geometrica: Gli autori adattano con successo la formula della molteplicità geometrica di Waldspurger al caso reale. Ciò comporta:
   • Dimostrare l'analogico archimedeo del lemma cruciale riguardante i valori speciali degli integrali orbitali (Lemma 4.2.2) utilizzando la formula di Rossmann.
   • Stabilire la relazione tra le molteplicità geometriche stabili e le molteplicità stabili (Corollario 5.3.6).
3. Parametrizzazione delle Forme Interne: Forniscono una descrizione precisa (Proposizione 3.2.4) dell'unione delle classi di coniugazione semisemplici regolari sulle forme interne pure con segno di Kottwitz fisso, un passo necessario per gestire l'insieme più ampio di forme interne in $\mathbb{R}$ rispetto ai campi $p$-adici.
4. Riduzione Endoscopica su $\mathbb{R}$: Dimostrano che la strategia di riduzione endoscopica, precedentemente riuscita nel caso $p$-adico, può essere adattata con successo a $\mathbb{R}$ senza endoscopia twistata, purché gli input geometrici siano gestiti correttamente.

4. Risultati Principali

• Teorema 1.0.2 / Teorema 2.3.2: Su $\mathbb{R}$, la Parte (2) della congettura di Gross–Prasad Locale vale per parametri L locali temperati. Nello specifico, se $\pi_\phi$ è l'unica rappresentazione nel pacchetto di L di Vogan rilevante con molteplicità 1, allora il suo carattere $\chi_{\pi_\phi}$ sul gruppo dei componenti $S_\phi$ coincide con il carattere esplicito $\chi_\phi$ definito da Gross e Prasad.
• Proposizione 3.2.4: Una classificazione dell'unione delle classi di coniugazione semisemplici regolari sulle forme interne pure con segno di Kottwitz fisso.
• Lemma 4.2.2 e Corollario 4.2.3: La derivazione del germe di un carattere di distribuzione dal carattere stesso nel contesto archimedeo, che permette l'uso della formula della molteplicità geometrica.
• Proposizione 5.3.4: L'identità endoscopica che relaziona la somma delle molteplicità pesate dai caratteri al prodotto delle molteplicità geometriche stabili sui gruppi endoscopici.

5. Significato

• Completamento della Congettura GP: Questo lavoro, combinato con risultati precedenti (Luo [Luo21] per la Parte 1, Chen [Che21] per la riduzione generica, e Waldspurger per il caso $p$-adico), stabilisce l'intera congettura di Gross–Prasad Locale per rappresentazioni temperate sia su $\mathbb{R}$ che su $\mathbb{C}$.
• Ponte tra $p$-adico e Archimedeo: L'articolo dimostra che i risultati strutturali profondi del programma di Langlands (in particolare l'endoscopia e la congettura di Gross–Prasad) valgono uniformemente sui campi locali, nonostante le significative differenze tecniche nell'analisi armonica (integrali orbitali, formule dei caratteri) tra campi $p$-adici e reali.
• Avanzamento Metodologico: L'applicazione riuscita della formula di Rossmann per risolvere il problema del "germe" nel caso reale fornisce un modello per gestire problemi simili di molteplicità geometrica in altri contesti archimedei dove gli strumenti combinatori $p$-adici falliscono.
• Fondamento per Lavori Futuri: Le tecniche sviluppate qui, in particolare la gestione dei segni di Kottwitz e delle molteplicità geometriche stabili su $\mathbb{R}$, sono essenziali per estendere questi risultati a parametri generici (non temperati) e per ulteriori indagini sulla congettura di Gross–Prasad globale.