Matsuki duality for loop groups

Résumé Technique : Dualité de Matsuki pour les Groupes de Boucles

Énoncé du Problème
L'article traite de l'extension de la dualité de Matsuki classique au cadre des groupes de boucles. Classiquement, pour un groupe réductif connexe complexe $G$ muni d'une forme réelle $G_{\mathbb{R}}$ et d'un sous-groupe symétrique $K$, la dualité de Matsuki établit une bijection entre les orbites de $K$ et les orbites de $G_{\mathbb{R}}$ sur la variété de drapeaux $B$. Les auteurs cherchent à établir une bijection analogue pour les groupes de boucles, reliant spécifiquement les orbites du groupe de boucles du sous-groupe symétrique, $K((t))$, et du groupe de boucles polynomial de la forme réelle, $L G_{\mathbb{R}}$, sur la grassmannienne affine ($Gr$) et la variété de drapeaux affine ($F\ell$).

Un défi central dans ce cadre est la présence d'involutions « tordues ». Les auteurs considèrent deux involutions sur le groupe de boucles $G(F)$ (où $F = \mathbb{C}((t))$) :

1. $\theta$ : Une involution tordue définie par $\theta(\gamma)(t) = \theta_0(\gamma(\epsilon t))$, où $\theta_0$ est une involution de Cartan complexe et $\epsilon \in \{1, -1\}$.
2. $\eta$ : Une involution tordue sur le groupe de boucles polynomial $G[t, t^{-1}]$ définie par $\eta(\gamma)(t) = \eta_0(\gamma(\epsilon \bar{t}^{-1}))$, où $\eta_0$ est la conjugaison définissant la forme réelle $G_{\mathbb{R}}$.

L'objectif est de classifier les orbites de $G(O)$ (groupe des arcs formels) et de $I$ (sous-groupe d'Iwahori) sous la conjugaison tordue par $\theta$ sur l'ensemble des points anti-fixes $G(F)^{\text{inv} \circ \theta}$, et de les relier aux orbites de $G[t]$ et de $I_p$ (Iwahori polynomial) sous la conjugaison tordue par $\eta$ sur $G[t, t^{-1}]^{\text{inv} \circ \eta}$.

Méthodologie
L'approche est entièrement combinatoire, inspirée par le travail de Nadler sur les grassmanniennes affines et par les travaux antérieurs des auteurs sur les singularités des fermetures d'orbites. La méthodologie procède par les étapes suivantes :

1. Décomposition de Cartan et Paramétrisation : Les auteurs utilisent la décomposition de Cartan pour stratifier les ensembles de points anti-fixes en doubles classes d'orbites indexées par les poids de coracine dominants $\lambda \in X^*(T)^+$.
2. Classification des Orbites : Pour chaque strate, ils réduisent la classification des orbites à l'étude de sous-espaces spécifiques ($A_{\lambda,0}$ et $B_{\lambda,0}$) au sein des sous-groupes de Levi $L_\lambda$. Ils démontrent que les orbites sont en bijection avec les composantes connexes de ces sous-espaces, qui sont ensuite réduites à des orbites sous des formes réelles compactes ($L_{\lambda, c}$ ou $T_c$).
3. Analyse des Intersections : Un composant technique crucial est l'analyse de l'intersection entre une orbite tordue par $\theta$ et une orbite tordue par $\eta$. Les auteurs démontrent que l'intersection d'orbites correspondantes est une unique orbite du groupe compact $G_c$ (pour les orbites sphériques) ou $T_c$ (pour les orbites d'Iwahori).
4. Uniformisation et Géométrie des Twistors : L'article relie ces classifications d'orbites à la géométrie des fibrés vectoriels sur les formes réelles de la droite projective $\mathbb{P}^1$. En considérant la conjugaison $\eta$ sur $\mathbb{P}^1$, les auteurs identifient l'ensemble des orbites avec les classes d'isomorphisme de fibrés $G_{\mathbb{R}}$ sur la forme réelle $\mathbb{P}^1_\eta$ (qui est soit la droite projective réelle, soit le « twistor-$\mathbb{P}^1$ » selon $\epsilon$).
5. Ensembles de Kottwitz : Les résultats sont liés à l'ensemble de Kottwitz $B(G_{\mathbb{R}})$, offrant une interprétation géométrique de ces ensembles en termes d'orbites de groupes de boucles.

Contributions et Résultats Clés

• Théorème Principal (Dualité de Matsuki pour les Groupes de Boucles) : L'article établit une bijection entre :

  • Les orbites de $G(O)$ sur $G(F)^{\text{inv} \circ \theta}$ et les orbites de $G[t]$ sur $G[t, t^{-1}]^{\text{inv} \circ \eta}$.
  • Les orbites de $I$ sur $G(F)^{\text{inv} \circ \theta}$ et les orbites de $I_p$ sur $G[t, t^{-1}]^{\text{inv} \circ \eta}$.
    La correspondance est caractérisée par la propriété que l'intersection d'orbites correspondantes est une unique orbite du groupe compact $G_c$ (ou $T_c$). De plus, il existe une bijection entre les systèmes locaux équivariants sur les orbites correspondantes.

• Grassmannienne Affine et Variétés de Drapeaux : En se restreignant à l'orbite passant par le point de base, les auteurs déduisent une dualité de Matsuki pour la grassmannienne affine ($Gr$) et la variété de drapeaux affine ($F\ell$). Cela généralise le résultat de Nadler pour le cas non tordu ($\epsilon = 1$) au cas tordu ($\epsilon = -1$) et étend la dualité aux variétés de drapeaux affines, un cadre non couvert précédemment même pour $\epsilon = 1$.

• Fibrés Vectoriels et Géométrie des Twistors : Les auteurs fournissent un théorème d'uniformisation identifiant les ensembles d'orbites avec :

  • Les classes d'isomorphisme de fibrés $G_{\mathbb{R}}$ sur la forme réelle $\mathbb{P}^1_\eta$.
  • Les classes d'isomorphisme de tels fibrés équipés de réductions de Borel en des points spécifiques.
    Cela relie les données combinatoires des orbites à la géométrie des structures de twistors réels « circulaires » ou « antipodales » (au sens de Simpson).

• Ensembles de Kottwitz : L'article identifie l'ensemble des orbites de $G[t]$ avec l'ensemble de Kottwitz $B(G_{\mathbb{R}})$, offrant une nouvelle perspective géométrique sur ces ensembles via les orbites de groupes de boucles.

• Exemples : La théorie est explicitement développée pour les formes réelles de $GL_2$, incluant $GL_2(\mathbb{R})$, $GL_1(\mathbb{H})$, $U(2)$ et $U(1, 1)$. Ces exemples illustrent la paramétrisation des orbites et la structure des fibrés vectoriels correspondants, y compris des cas où les ensembles de paramétrage sont vides ou non triviaux.

Signification et Revendications
Les auteurs affirment que ce travail fournit un cadre combinatoire fondamental pour comprendre la géométrie des groupes de boucles réels. La signification réside dans :

1. Unification : Il traite toutes les formes réelles au sein d'une même classe intérieure pure simultanément.
2. Nouvelles Connexions Géométriques : Il établit un lien direct entre les intersections d'orbites de groupes de boucles et les fibrés vectoriels sur les espaces de twistors, faisant le pont entre la théorie des représentations et la géométrie algébrique.
3. Fondement pour les Équivalences Dérivées : L'article note que ces résultats servent de précurseur à un travail à paraître ([CNY]) qui utilisera des interprétations de type théorie de Morse pour élever cette dualité en une équivalence de catégories dérivées équivariantes. Ceci est présenté comme un ingrédient clé pour relier le programme de Langlands géométrique pour les groupes réels à la dualité de Langlands relative.

L'article ne revendique pas résoudre la conjecture complète de Langlands géométrique pour les groupes réels, mais positionne ses résultats combinatoires comme une étape nécessaire vers un tel programme, spécifiquement en clarifiant les structures d'orbites qui sous-tendent les équivalences dérivées.