Matsuki duality for loop groups

Technische Samenvatting: Matsuki-dualiteit voor Loopgroepen

Probleemstelling
Het artikel behandelt de uitbreiding van de klassieke Matsuki-dualiteit naar de setting van loopgroepen. Klassiek wordt voor een complexe, samenhangende, reductieve groep $G$ met een reële vorm $G_{\mathbb{R}}$ en een symmetrische ondergroep $K$, door Matsuki-dualiteit een bijectie vastgesteld tussen $K$-banen en $G_{\mathbb{R}}$-banen op de vlaggenvariëteit $B$. De auteurs streven naar het vaststellen van een analoge bijectie voor loopgroepen, specifiek met betrekking tot banen van de loopgroep van de symmetrische ondergroep, $K((t))$, en de polynoomloopgroep van de reële vorm, $L G_{\mathbb{R}}$, op de affiene Grassmanniaan ($Gr$) en de affiene vlaggenvariëteit ($F\ell$).

Een centrale uitdaging in deze setting is de aanwezigheid van "ge-twiste" involuties. De auteurs beschouwen twee involuties op de loopgroep $G(F)$ (waarbij $F = \mathbb{C}((t))$):

1. $\theta$: Een ge-twiste involutie gedefinieerd door $\theta(\gamma)(t) = \theta_0(\gamma(\epsilon t))$, waarbij $\theta_0$ een complexe Cartan-involutie is en $\epsilon \in \{1, -1\}$.
2. $\eta$: Een ge-twiste involutie op de polynoomloopgroep $G[t, t^{-1}]$ gedefinieerd door $\eta(\gamma)(t) = \eta_0(\gamma(\epsilon \bar{t}^{-1}))$, waarbij $\eta_0$ de conjugatie is die de reële vorm $G_{\mathbb{R}}$ definieert.

Het doel is om de banen van $G(O)$ (de formele booggroep) en $I$ (de Iwahori-ondergroep) onder $\theta$-ge-twiste conjugatie op de anti-vaste puntenset $G(F)^{\text{inv} \circ \theta}$ te classificeren, en deze te relateren aan de banen van $G[t]$ en $I_p$ (polynoom-Iwahori) onder $\eta$-ge-twiste conjugatie op $G[t, t^{-1}]^{\text{inv} \circ \eta}$.

Methodologie
De aanpak is uitsluitend combinatorisch, geïnspireerd door het werk van Nadler over affiene Grassmannia's en het eerdere werk van de auteurs over singulariteiten van baan-sluitingen. De methodologie verloopt via de volgende stappen:

1. Cartan-decompositie en Parametrizatie: De auteurs maken gebruik van de Cartan-decompositie om de anti-vaste puntensets te stratificeren in dubbelcosetten geïndexeerd door dominante koeigenwaarden $\lambda \in X^*(T)^+$.
2. Baan-classificatie: Voor elke stratum reduceren zij de classificatie van banen tot het bestuderen van specifieke deelruimten ($A_{\lambda,0}$ en $B_{\lambda,0}$) binnen Levi-ondergroepen $L_\lambda$. Zij bewijzen dat de banen in bijectie zijn met de samenhangende componenten van deze deelruimten, die verder worden gereduceerd tot banen onder compacte reële vormen ($L_{\lambda, c}$ of $T_c$).
3. Snedeanalyse: Een cruciaal technisch onderdeel is de analyse van de doorsnede tussen een $\theta$-ge-twiste baan en een $\eta$-ge-twiste baan. De auteurs demonstreren dat de doorsnede van corresponderende banen een enkele baan is van de compacte groep $G_c$ (voor sferische banen) of $T_c$ (voor Iwahori-banen).
4. Uniformisering en Twistor-geometrie: Het artikel verbindt deze baan-classificaties met de geometrie van vectorbundels op reële vormen van de projectieve lijn $\mathbb{P}^1$. Door de conjugatie $\eta$ op $\mathbb{P}^1$ te beschouwen, identificeren de auteurs de verzameling banen met isomorfieklassen van $G_{\mathbb{R}}$-bundels op de reële vorm $\mathbb{P}^1_\eta$ (die afhankelijk van $\epsilon$ ofwel de reële projectieve lijn of de "twistor-$\mathbb{P}^1$" is).
5. Kottwitz-sets: De resultaten worden gekoppeld aan de Kottwitz-set $B(G_{\mathbb{R}})$, waardoor een geometrische interpretatie van deze sets wordt geboden in termen van loopgroep-banen.

Belangrijkste Bijdragen en Resultaten

• Hoofdstelling (Matsuki-dualiteit voor Loopgroepen): Het artikel vestigt een bijectie tussen:

  • $G(O)$-banen op $G(F)^{\text{inv} \circ \theta}$ en $G[t]$-banen op $G[t, t^{-1}]^{\text{inv} \circ \eta}$.
  • $I$-banen op $G(F)^{\text{inv} \circ \theta}$ en $I_p$-banen op $G[t, t^{-1}]^{\text{inv} \circ \eta}$.
    De correspondentie wordt gekenmerkt door het eigenschap dat de doorsnede van corresponderende banen een enkele baan is van de compacte groep $G_c$ (of $T_c$). Bovendien bestaat er een bijectie tussen equivariante lokale systemen op corresponderende banen.

• Affiene Grassmanniaan en Vlaggenvariëteiten: Door te restricteren tot de baan door het basispunt, leiden de auteurs een Matsuki-dualiteit af voor de affiene Grassmanniaan ($Gr$) en de affiene vlaggenvariëteit ($F\ell$). Dit generaliseert het resultaat van Nadler voor het niet-ge-twiste geval ($\epsilon = 1$) naar het ge-twiste geval ($\epsilon = -1$) en breidt de dualiteit uit tot affiene vlaggenvariëteiten, een setting die eerder niet was behandeld, zelfs niet voor $\epsilon = 1$.

• Vectorbundels en Twistor-geometrie: De auteurs leveren een uniformiseringstelling die de banenverzamelingen identificeert met:

  • Isomorfieklassen van $G_{\mathbb{R}}$-bundels op de reële vorm $\mathbb{P}^1_\eta$.
  • Isomorfieklassen van dergelijke bundels uitgerust met Borel-reducties op specifieke punten.
    Dit verbindt de combinatorische baangegevens met de geometrie van "cirkelvormige" of "antipodale" reële twistorstructuren (in de zin van Simpson).

• Kottwitz-sets: Het artikel identificeert de verzameling $G[t]$-banen met de Kottwitz-set $B(G_{\mathbb{R}})$, en biedt zo een nieuw geometrisch perspectief op deze sets via loopgroep-banen.

• Voorbeelden: De theorie wordt expliciet uitgewerkt voor de reële vormen van $GL_2$, waaronder $GL_2(\mathbb{R})$, $GL_1(\mathbb{H})$, $U(2)$ en $U(1, 1)$. Deze voorbeelden illustreren de parametrizatie van banen en de structuur van de corresponderende vectorbundels, inclusief gevallen waarbij de parametrizerende verzamelingen leeg of niet-triviaal zijn.

Betekenis en Aanspraken
De auteurs claimen dat dit werk een fundamenteel combinatorisch kader biedt voor het begrijpen van de geometrie van reële loopgroepen. De betekenis ligt in:

1. Unificatie: Het behandelt alle reële vormen binnen dezelfde pure innerlijke klasse simultaan.
2. Nieuwe Geometrische Verbindingen: Het vestigt een directe link tussen loopgroep-baandoorsnedes en vectorbundels op twisterruimten, en overbrugt zo representatietheorie en algebraïsche meetkunde.
3. Fundament voor Gekoppelde Equivalenties: Het artikel merkt op dat deze resultaten dienen als voorbode voor een naderend werk ([CNY]) dat Morse-theoretische interpretaties zal gebruiken om deze dualiteit te upgraden tot een equivalentie van equivariante afgeleide categorieën. Dit wordt gepresenteerd als een sleutelelement voor het relateren van de geometrische Langlands voor reële groepen aan de relatieve Langlands-dualiteit.

Het artikel claimt niet de volledige geometrische Langlands-vermoeden voor reële groepen op te lossen, maar positioneert zijn combinatorische resultaten als een noodzakelijke stap naar een dergelijk programma, specifiek door de baanstructuren te verduidelijken die de onderliggende afgeleide equivalenties dragen.