On dual groups of symmetric varieties and distinguished representations of $p$-adic groups

1. Probleemstelling en Context

Het artikel richt zich op de theorie van sferische variëteiten over $p$-adische velden, met name symmetrische variëteiten van de vorm $X = H \backslash G$, waarbij $G$ een gesplitste reductieve groep is en $H$ de ondergroep is van de vaste punten van een $F$-involutie $\theta$ op $G$.

Het centrale probleem is het karakteriseren van $H$-onderscheiden representaties (H-distinguished representations) van $G$. Een irreducibele, toelaatbare representatie $(\pi, V)$ wordt $H$-onderscheiden genoemd als er een niet-nul lineaire vorm $\lambda: V \to \mathbb{C}$ bestaat die invariant is onder $H$ (d.w.z. $\text{Hom}_H(\pi, 1) \neq 0$).

Volgens de Local Langlands Correspondentie (LLC) wordt een representatie $\pi$ geassocieerd met een L-parameter $\phi_\pi: W_F \to {}^L G$. De vraag is hoe de eigenschap van "onderscheiden zijn" zich vertaalt naar de structuur van deze L-parameter.
Sakellaridis en Venkatesh ([SV17]) en later Knop en Schalke ([KS17]) hebben voorgesteld dat er een "duale groep" ${}^b G_X$ van de variëteit $X$ bestaat, samen met een homomorfisme ${}^b \phi_X: {}^b G_X \times SL_2(\mathbb{C}) \to {}^b G$. De conjectuur luidt dat de L-parameter $\phi_\pi$ van een $H$-onderscheiden representatie door dit homomorfisme moet factoriseren.

De constructie van Knop en Schalke is echter sterk combinatorisch en afhankelijk van de classificatie van sferische variëteiten, wat technisch zeer veeleisend is. Takeda's doel is om in het specifieke geval van symmetrische variëteiten een meer conceptuele en directe constructie te geven die uitsluitend gebruikmaakt van de involutie $\theta$ en de worteldata van $G$.

2. Methodologie

Takeda ontwikkelt een constructie die volledig gebaseerd is op de involutie $\theta$ op de worteldata van $G$. De methode omvat de volgende stappen:

1. Decompositie van de Torus:
   Gegeven een maximale gesplitste torus $T \subseteq G$, definieert Takeda twee deelgroepen:

   • $T^+ = \{t \in T : \theta(t) = t\}^\circ$ (de $\theta$-invariante torus).
   • $T^- = \{t \in T : \theta(t) = t^{-1}\}^\circ$ (de $\theta$-gesplitste torus).
     Deze definities leiden tot decomposities van de worteldata in $\theta$-invariante en $\theta$-gesplitste componenten.

2. Constructie van ${}^b G_+$ en ${}^b G_-$:

   • ${}^b G_+$: De groep geassocieerd met de $\theta$-invariante worteldata. Dit wordt geconstrueerd via een "folding" (vouwen) van de worteldata. De groep ${}^b G_+$ bevat de principale $SL_2$-homomorfisme $\phi_+: SL_2(\mathbb{C}) \to {}^b G_+$.
   • ${}^b G_-$: De groep geassocieerd met de $\theta$-gesplitste worteldata. Takeda definieert een nieuwe worteldata $\Phi(G, T^-)$ door restrictie van de wortels van $G$ tot $T^-$. Om problemen met niet-gereduceerde wortelsystemen (zoals type $BC_n$) op te lossen, worden de "korte wortels" verwijderd om een gereduceerde worteldata te verkrijgen. De bijbehorende groep is ${}^b G_-$.

3. Commutativiteit en Definitie van ${}^b \phi_X$:
   Een cruciaal technisch resultaat is het bewijs dat de beeld van de principale $SL_2$ in ${}^b G_+$ (namelijk $\phi_+(SL_2(\mathbb{C}))$) puntsgewijs commuteren met de groep ${}^b G_-$.
   Hierdoor kan een welgedefinieerd homomorfisme worden gedefinieerd:
   $${}^b \phi_X: {}^b G_X \times SL_2(\mathbb{C}) \to {}^b G$$
   waarbij ${}^b G_X := {}^b G_-$.

4. Analyse van Worteltypen:
   De auteur classificeert de niet-invariante eenvoudige wortels in drie typen (Type 1, 2 en 3) op basis van het gedrag van $\alpha - \theta\alpha$. Deze classificatie is essentieel om de commutativiteit te bewijzen en om specifieke uitzonderingsdiagrammen uit te sluiten die de constructie zouden verstoren.

3. Belangrijkste Bijdragen

• Conceptuele Constructie: In plaats van te vertrouwen op de zware classificatie van sferische variëteiten, biedt Takeda een directe constructie van de duale groep ${}^b G_X$ en het homomorfisme ${}^b \phi_X$ puur gebaseerd op de involutie $\theta$.
• Commutativiteitsbewijs: Het bewijs dat de "gesplitste" component ${}^b G_-$ commuteren met de "principale $SL_2$" component van de invariante groep is een fundamenteel technisch resultaat dat de definitie van ${}^b \phi_X$ mogelijk maakt.
• Verband met Relatieve Cuspidaliteit: Het artikel recast de theorie van Kato-Takano en Lagier over relatieve matrixcoëfficiënten (relatively cuspidal, square integrable, tempered) en koppelt deze direct aan de structuur van de L-parameter via ${}^b \phi_X$.

4. Resultaten en Conjecturen

Takeda formuleert een centrale conjectuur (Conjecture 1.1) die de relatie legt tussen de aard van de representatie $\pi$ en de afbeelding van zijn L-parameter $\phi_\pi$:

Conjecture 1.1: Laat $\pi$ een $H$-onderscheiden irreducibele representatie zijn.

1. Factorisatie: De L-parameter $\phi_\pi: W_F \to {}^b G$ factoriseert door ${}^b \phi_X: {}^b G_X \times SL_2(\mathbb{C}) \to {}^b G$. De $SL_2$-component wordt gegeven door de standaard afbeelding $w \mapsto \text{diag}(|w|^{1/2}, |w|^{-1/2})$.
2. Relatieve Eigenschappen:
   • Relatief Cuspidaal: Als het beeld van $W_F$ in ${}^b G_X$ niet in een echte Levi-subgroep zit en de $SL_2$-factor triviaal is.
   • Relatief Kwadratisch Integreerbaar: Als en slechts als het beeld van $W_F$ in ${}^b G_X$ niet in een echte Levi-subgroep zit.
   • Relatief Tempered: Als en slechts als het beeld van $W_F$ in ${}^b G_X$ begrensd is modulo het centrum.

Specifieke Resultaten:

• Triviale Representatie: Takeda bewijst (Theorem 8.2) dat de L-parameter van de triviale representatie van $G$ altijd door ${}^b \phi_X$ factoriseert voor elke symmetrische variëteit. Dit bevestigt een noodzakelijke voorwaarde voor de conjectuur.
• Validatie via Voorbeelden: De conjecturen worden getoetst aan talrijke bekende gevallen, waaronder:
  • De "Group Case" ($G = H \times H$), wat leidt tot de Chevalley-involutie.
  • Lineaire perioden van $GL_{2n}$ (gerelateerd aan symplectische typen).
  • Symplectische perioden van $GL_{2n}$ ($Sp_{2n} \backslash GL_{2n}$).
  • Orthogonale perioden.
    In deze gevallen blijken de conjecturen consistent met bestaande resultaten (zoals die van Prasad, Smith, Kato-Takano).

Nuances en Uitzonderingen:
De auteur merkt op dat de omgekeerde richting van de conjectuur niet altijd strikt geldt. Er zijn gevallen (zoals in de "group case" of bij specifieke L-pakketten) waar een parameter door ${}^b \phi_X$ factoriseert maar de representatie niet $H$-onderscheiden is. Dit wordt toegeschreven aan de complexiteit van L-pakketten die zowel supercuspidale als niet-supercuspidale discrete series kunnen bevatten.

5. Betekenis en Impact

Dit artikel is significant voor de volgende redenen:

1. Verduidelijking van de Dualiteit: Het biedt een heldere, algebraïsche constructie voor de duale groep van symmetrische variëteiten, wat de weg effent voor verdere onderzoek in de relatieve Langlands-programma's zonder de noodzaak van zware combinatorische classificaties.
2. Unificatie van Criteria: Het verbindt de abstracte theorie van duale groepen met concrete analytische criteria voor relatieve cuspidaliteit en temperatuur, die eerder door Kato, Takano en Lagier zijn ontwikkeld.
3. Richting voor Toekomstig Onderzoek: Door de specifieke contra-exemplen en de discussie over de omgekeerde implicaties, identificeert het artikel precies waar de huidige theorie nog verfijning nodig heeft, met name in de behandeling van L-pakketten en de rol van de centrale karakter.
4. Toepasbaarheid: De methode is specifiek ontworpen voor symmetrische variëteiten, wat de meest fundamentele en best bestudeerde klasse van sferische variëteiten vormt, en biedt een solide basis voor generalisaties.

Samenvattend presenteert Takeda een krachtig en conceptueel raamwerk dat de brug slaat tussen de structurele eigenschappen van involuties op reductieve groepen en de representatietheorie van $p$-adische groepen, met een sterke focus op het karakteriseren van onderscheiden representaties via hun Langlands-parameters.