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

1. Probleemstelling

Het artikel behandelt de Lokale Gross–Prasad (GP) Vermoeden voor reële reductieve groepen, met name gericht op de epsilon-dichotomie (Deel 2) voor getempereerde lokale L-parameters.

• Context: Laat $F = \mathbb{R}$. Beschouw een paar niet-ontaarde kwadratische ruimten $(W, V)$ over $\mathbb{R}$ met $W \subset V$ en $W^\perp$ gesplitst van oneven dimensie. Laat $G = SO(W) \times SO(V)$ en $H = SO(W) \ltimes N$ (waarbij $N$ een unipotent radicaal is). Voor een irreducibele toelaatbare representatie $\pi$ van $G(\mathbb{R})$ wordt de multipliciteit gedefinieerd als $m(\pi) = \dim \text{Hom}_{H(\mathbb{R})}(\pi, \xi)$, waarbij $\xi$ een generisch karakter is.
• Het Vermoeden: Het GP-vermoeden voorspelt dat voor een generische lokale L-parameter $\phi$, de som van multipliciteiten over het relevante Vogan L-pakket 1 is (Deel 1), en het identificeert welke specifieke representatie in het pakket multipliciteit 1 heeft op basis van een karakter $\chi_\phi$ (Deel 2, de epsilon-dichotomie).
• Status:
  • Deel 1 (Som van multipliciteiten) werd bewezen voor getempereerde parameters over $\mathbb{R}$ door de tweede auteur (Luo) in [Luo21].
  • Deel 2 (Epsilon-dichotomie) was bekend voor $p$-adische velden (Waldspurger) en voor complexe velden, maar bleef open voor getempereerde parameters over $\mathbb{R}$.
• Doel: Bewijzen dat voor getempereerde lokale L-parameters over $\mathbb{R}$, de unieke representatie $\pi_\phi$ met $m(\pi_\phi)=1$ voldoet aan de karakterrelatie $\chi_{\pi_\phi} = \chi_\phi$.

2. Methodologie

De auteurs volgen de strategie die door Waldspurger is vastgesteld voor het $p$-adische geval ([Wal12b]), en passen deze aan voor de archimedese setting. Het bewijs verloopt via een reductie in drie stappen:

A. Reductie naar Goede Pariteit

Met behulp van resultaten uit [MR20] en [Ren24] reduceren de auteurs het algemene getempereerde geval tot parameters van goede pariteit.

• Mechanisme: Ze ontleden de standaardrepresentatie van de L-parameter in componenten met "goede pariteit" (O-type) en "slechte pariteit" (Sp-type en GL-type).
• Resultaat: Paraboolinductie vestigt een bijectie tussen de L-pakketten van de volledige groep en de groep beperkt tot het deel met goede pariteit, waarbij multipliciteiten en wortelgetallen behouden blijven. Dit reduceert het probleem tot parameters waarbij het beeld uitsluitend bestaat uit irreducibele componenten van O-type.

B. Endoscopische Reductie

Voor parameters van goede pariteit passen de auteurs gewone endoscopy toe om het probleem te reduceren tot gevallen waarbij de componentgroep $S_\phi$ klein is (triviaal of $\mathbb{Z}/2\mathbb{Z}$).

• Strategie: Voor een element $s \in S_\phi$ relateren ze de multipliciteit op $G$ aan stabiele geometrische multipliciteiten op endoscopische groepen $G^s = SO(V^+) \times SO(V^-) \times SO(W^+) \times SO(W^-)$.
• Kernidentiteit: Ze beogen de identiteit te bewijzen:
  $$\sum_{\pi \in \Pi_{rel}} \chi_\pi(s) m(\pi) = \chi_\phi(s)$$
  Dit wordt getransformeerd tot een identiteit die stabiele geometrische multipliciteiten ($m^S_{geom}$) omvat.

C. Archimedese Modificaties (De Kern Technische Bijdrage)

Het $p$-adische bewijs vertrouwt op verdraaide endoscopy en specifieke lemma's die niet direct vertaalbaar zijn naar $\mathbb{R}$. De auteurs introduceren twee kritieke modificaties:

1. Kottwitz-teken Organisatie: In tegenstelling tot het $p$-adische geval (waar er weinig inwendige vormen zijn), heeft $\mathbb{R}$ veel pure inwendige vormen. De auteurs organiseren het vereniging van regulier semisimpele conjugatieklassen over pure inwendige vormen door het Kottwitz-teken $e(G_\alpha)$ vast te leggen. Ze bewijzen Propositie 3.2.4, die de vereniging van deze klassen expliciet beschrijft in termen van de parameterdata.
2. Formule voor Geometrische Multipliciteit & Kiemen: Het bewijs vereist het terugwinnen van de "kiem" van een distributiekarakter uit het karakter zelf.
   • In het $p$-adische geval berustte dit op een vermoeden van Waldspurger.
   • Over $\mathbb{R}$ bewijzen de auteurs Lemma 4.2.2, een archimedese analoog van [Wal10b, Lem. 13.4 (ii)], met behulp van de formule van Rossmann [Ros78] voor orbitale integralen. Dit stelt hen in staat om de kiem $c_\Theta(x)$ uit te drukken als een limiet van het quasi-karakter $\Theta$.
   • Ze vestigen Corollarium 4.2.3, dat de stabiele geometrische multipliciteit koppelt aan de stabiele multipliciteit.

D. Verificatie van Basisgevallen

Na de reducties wordt het probleem teruggebracht tot "basisgevallen" waarbij de L-parameter óf irreducibel is óf een som van een irreducibele en zijn contragredient (bijv. $SO(2,2) \times SO(2,1)$).

• De auteurs verifiëren deze laag-rang gevallen direct met behulp van theta-correspondentie en laag-rang coincidenties (bijv. $SO(2,2) \cong SL_2 \times SL_2 / \{\pm 1\}$).
• Ze maken gebruik van see-saw duale paren en het behoud van genericiteit onder theta-correspondentie om aan te tonen dat het onderscheiden lid inderdaad het generieke is.

3. Belangrijkste Bijdragen

1. Bewijs van de Epsilon-dichotomie over $\mathbb{R}$: Het artikel voltooit het bewijs van het Lokale Gross–Prasad-vermoeden voor getempereerde parameters over de reële getallen, en lost het laatste open geval van het vermoeden in de archimedese setting op.
2. Archimedese Formule voor Geometrische Multipliciteit: De auteurs passen de formule voor geometrische multipliciteit van Waldspurger succesvol aan voor het reële geval. Dit omvat:
   • Het bewijzen van de archimedese analoog van het cruciale lemma met betrekking tot speciale waarden van orbitale integralen (Lemma 4.2.2) met behulp van de formule van Rossmann.
   • Het vaststellen van de relatie tussen stabiele geometrische multipliciteiten en stabiele multipliciteiten (Corollarium 5.3.6).
3. Parametrering van Inwendige Vormen: Ze bieden een nauwkeurige beschrijving (Propositie 3.2.4) van de vereniging van regulier semisimpele conjugatieklassen over pure inwendige vormen met een vast Kottwitz-teken, een noodzakelijke stap voor het hanteren van de grotere set inwendige vormen in $\mathbb{R}$ in vergelijking met $p$-adische velden.
4. Endoscopische Reductie over $\mathbb{R}$: Ze tonen aan dat de strategie voor endoscopische reductie, die eerder succesvol was in het $p$-adische geval, succesvol kan worden aangepast aan $\mathbb{R}$ zonder verdraaide endoscopy, mits de geometrische input correct wordt behandeld.

4. Hoofdresultaten

• Stelling 1.0.2 / Stelling 2.3.2: Over $\mathbb{R}$ geldt Deel (2) van het Lokale Gross–Prasad-vermoeden voor getempereerde lokale L-parameters. Specifiek: als $\pi_\phi$ de unieke representatie is in het relevante Vogan L-pakket met multipliciteit 1, dan komt zijn karakter $\chi_{\pi_\phi}$ op de componentgroep $S_\phi$ overeen met het expliciete karakter $\chi_\phi$ gedefinieerd door Gross en Prasad.
• Propositie 3.2.4: Een classificatie van de vereniging van regulier semisimpele conjugatieklassen over pure inwendige vormen met vast Kottwitz-teken.
• Lemma 4.2.2 & Corollarium 4.2.3: De afleiding van de kiem van een distributiekarakter uit het karakter zelf in de archimedese setting, waardoor het gebruik van de formule voor geometrische multipliciteit mogelijk wordt.
• Propositie 5.3.4: De endoscopische identiteit die de som van multipliciteiten, gewogen door karakters, relateert aan het product van stabiele geometrische multipliciteiten op endoscopische groepen.

5. Betekenis

• Voltooiing van het GP-vermoeden: Dit werk, gecombineerd met eerdere resultaten (Luo [Luo21] voor Deel 1, Chen [Che21] voor generieke reductie, en Waldspurger voor $p$-adisch), vestigt het volledige Lokale Gross–Prasad-vermoeden voor getempereerde representaties over zowel $\mathbb{R}$ als $\mathbb{C}$.
• Brug tussen $p$-adisch en Archimedees: Het artikel toont aan dat de diepe structurele resultaten van het Langlands-programma (specifiek endoscopy en het Gross–Prasad-vermoeden) uniform gelden over lokale velden, ondanks de aanzienlijke technische verschillen in harmonische analyse (orbitale integralen, karakterformules) tussen $p$-adische en reële velden.
• Methodologische Vooruitgang: De succesvolle toepassing van de formule van Rossmann om het "kiem"-probleem in het reële geval op te lossen, biedt een sjabloon voor het behandelen van soortgelijke problemen met geometrische multipliciteit in andere archimedese contexten waar $p$-adische combinatorische hulpmiddelen falen.
• Fundament voor Toekomstig Werk: De hier ontwikkelde technieken, met name het hanteren van Kottwitz-tekens en stabiele geometrische multipliciteiten over $\mathbb{R}$, zijn essentieel voor het uitbreiden van deze resultaten naar generieke (niet-getempereerde) parameters en voor verdere onderzoeken naar het globale Gross–Prasad-vermoeden.