Spectre de la cohomologie équivariante comme schéma de points fixes

Informations fondamentales

• ID de l'article: 2212.11836
• Titre: Spectrum of equivariant cohomology as a fixed point scheme
• Auteurs: Tamás Hausel, Kamil Rychlewicz (Institute of Science and Technology Austria)
• Classification: math.AG (géométrie algébrique), math.AT (topologie algébrique)
• Journal de publication: Épijournal de Géométrie Algébrique, Volume 9 (2025), Article No. 1
• Lien de l'article: https://arxiv.org/abs/2212.11836

Résumé

Cet article étudie la réalisation géométrique de l'anneau de cohomologie équivariante pour l'action d'un groupe réductif complexe G sur une variété projective lisse X. Lorsque l'action de G est régulière (c'est-à-dire que tous les éléments unipotents réguliers ont un nombre fini de points fixes), l'anneau de cohomologie équivariante complexe G est isomorphe à l'anneau de coordonnées d'un certain schéma de points fixes régulier. Les exemples principaux incluent les variétés de drapeaux partiels, les variétés de Schubert lisses et les variétés de Bott-Samelson. L'article démontre également que des versions plus générales du schéma de points fixes permettent une généralisation aux espaces GKM, tels que les variétés toriques.

Contexte et motivation de la recherche

1. Problème fondamental: Comment comprendre géométriquement la structure de l'anneau de cohomologie équivariante? Traditionnellement, la cohomologie équivariante est définie par des méthodes algébriques, manquant d'une interprétation géométrique intuitive.
2. Importance du problème: La cohomologie équivariante a des applications importantes en géométrie algébrique, théorie des représentations et physique mathématique, notamment dans l'étude des systèmes de Hitchin et de la symétrie miroir. Établir des liens directs entre la cohomologie équivariante et les objets géométriques aide à approfondir la compréhension de ces théories.
3. Limitations des approches existantes:
   • Le théorème de Carrell-Liebermann fournit des résultats partiels, mais s'applique uniquement à des actions de groupes spécifiques
   • Absence d'un cadre géométrique unifié pour comprendre la cohomologie équivariante des groupes réductifs généraux
4. Motivation de la recherche:
   • Les auteurs ont découvert, en étudiant l'application de Hitchin pour la Grassmannienne, qu'un certain schéma de points fixes infinitésimal est isomorphe au spectre de la cohomologie équivariante
   • Cela a inspiré la recherche d'une réalisation géométrique de la cohomologie équivariante dans des cas plus généraux

Contributions principales

1. Théorème principal: Démonstration que pour l'action régulière d'un groupe principalement apparié H sur une variété projective lisse X, l'anneau de coordonnées du schéma zéro $Z_S \subset S \times X$ (où S est la section de Kostant) est isomorphe à l'anneau de cohomologie équivariante H.
2. Cadre unifié: Établissement d'un cadre théorique unifié allant des groupes résolubles aux groupes réductifs et aux groupes principalement appariés généraux.
3. Réalisation géométrique: Concrétisation de l'anneau de cohomologie équivariante abstrait comme anneau de coordonnées d'un schéma affine, fournissant une interprétation géométrique intuitive.
4. Résultats de généralisation:
   • Démonstration que des résultats similaires restent valides pour les espaces GKM (tels que les variétés toriques)
   • Établissement de la relation entre le schéma zéro total et la cohomologie équivariante
5. Fonctorialité: Démonstration de la fonctorialité de la construction, c'est-à-dire que pour les applications équivariantes, les applications de schémas correspondantes sont compatibles avec les applications de retrait de la cohomologie équivariante.

Explication détaillée des méthodes

Formulation du problème

Étant donné un groupe principalement apparié H agissant sur une variété projective lisse X, construire un schéma affine dont l'anneau de coordonnées soit isomorphe à l'anneau de cohomologie équivariante H $H_H^*(X;\mathbb{C})$.

Concepts fondamentaux

1. Groupes principalement appariés (Principally Paired Groups)

Définition: Un groupe linéaire algébrique complexe H est appelé principalement apparié si son algèbre de Lie $\mathfrak{h}$ contient une paire $(e,h) \subset \mathfrak{h}$ satisfaisant:

• $[h,e] = 2e$ et e est un élément unipotent régulier
• Il existe un homomorphisme de groupes algébriques $\Phi: SL_2 \to H$ dont la différentielle envoie l'élément unipotent régulier sur e

Exemples:

• Groupes réductifs (via le théorème de Jacobson-Morozov)
• Sous-groupes paraboliques

2. Actions régulières (Regular Actions)

Définition: L'action d'un groupe principalement apparié H sur une variété projective lisse X est appelée régulière si l'élément unipotent régulier $u \in H$ possède un nombre fini de points fixes.

Puisque les éléments unipotents ont toujours un ensemble de points fixes connexe, l'action régulière implique que $X^u = \{o\}$ pour un certain $o \in X$.

3. Généralisation de la section de Kostant

Pour un groupe principalement apparié général H, on choisit un sous-groupe de Levi $L \subset H$ tel que $H = N \rtimes L$, où N est le radical unipotent de H. L'élément unipotent régulier $e \in H$ se décompose en $e = e_n + e_l$, où $e_n \in \mathfrak{n}, e_l \in \mathfrak{l}$.

La section de Kostant généralisée est définie par: $S := e + C_{\mathfrak{l}}(f_l) \subset \mathfrak{h}$

où $(e_l, f_l, h_l)$ est un triplet $sl_2$ dans $\mathfrak{l}$.

Architecture du modèle

1. Construction du champ vectoriel total

On définit sur $\mathfrak{h} \times X$ un champ vectoriel total $V_{\mathfrak{h}}$ tel que pour tout $y \in \mathfrak{h}$, sa restriction $(V_{\mathfrak{h}})_y$ à $\{y\} \times X$ est le champ vectoriel infinitésimal généré par y.

2. Définition du schéma zéro

Soit $V_S := V_{\mathfrak{h}}|_{S \times X}$ la restriction du champ vectoriel total à $S \times X$. Le schéma zéro $Z_S \subset S \times X$ est défini comme le schéma des zéros de $V_S$, c'est-à-dire le sous-schéma défini par le faisceau d'idéaux $V_S(\mathcal{O}_{S \times X}) \subset \mathcal{O}_{S \times X}$.

3. Action de $\mathbb{C}^*$

Via le sous-groupe $sl_2$ principal $\mathbb{C}^* \to H$, on définit une action $\mathbb{C}^*$ sur $S \times X$:

• Sur S: $t \cdot v = t^{-2}\text{Ad}_{H^t}(v)$
• Sur X: via l'action de $H^t$

Points d'innovation technique

1. Approche unifiée

En introduisant le concept de groupes principalement appariés, on unifie le traitement de divers cas allant des groupes résolubles aux groupes réductifs, évitant une analyse cas par cas.

2. Technique des champs vectoriels

Utilisation astucieuse du schéma des zéros des champs vectoriels pour encoder l'information de cohomologie équivariante, ce qui est plus intuitif que les méthodes algébriques traditionnelles.

3. Structure graduée

La structure graduée est obtenue naturellement via l'action $\mathbb{C}^*$, de sorte que l'isomorphisme algébrique préserve la graduation.

Théorèmes principaux

Théorème 1.2 (Théorème principal)

Soit H un groupe principalement apparié agissant régulièrement sur une variété projective complexe lisse X. Alors le schéma zéro $Z_S \subset S \times X$ est un schéma affine réduit dont l'anneau de coordonnées, en tant qu'anneau gradué, est isomorphe à la cohomologie équivariante H:

$\mathbb{C}[Z_S] \cong H_H^*(X;\mathbb{C}) \text{ sur } \mathbb{C}[S] \cong H_H^*$

En particulier, on a l'isomorphisme: $Z_S \cong \text{Spec}(H_H^*(X;\mathbb{C})), \quad S \cong \text{Spec}(H_H^*)$

Théorème 1.3 (Version du schéma zéro total)

Pour un groupe réductif G agissant régulièrement sur X, l'anneau des fonctions G-invariantes du schéma zéro total $Z_{\mathfrak{g}} \subset \mathfrak{g} \times X$ est isomorphe à la cohomologie équivariante:

$\mathbb{C}[Z_{\mathfrak{g}}]^G \cong H_G^*(X;\mathbb{C}) \text{ sur } \mathbb{C}[\mathfrak{g}]^G \cong H_G^*$

Théorème 1.4 (Espaces GKM)

Soit T un tore agissant sur une variété projective complexe lisse X, rendant X un espace GKM (c'est-à-dire ayant un nombre fini d'orbites de dimension 0 et 1). Alors:

$\mathbb{C}[Z_{\mathfrak{t}}] \cong H_T^*(X;\mathbb{C}) \text{ sur } \mathbb{C}[\mathfrak{t}] \cong H_T^*$

Stratégie de preuve

1. Cas des groupes résolubles (Section 3)

• Utilisation de la décomposition de Białynicki-Birula et de la formalité équivariante
• Démonstration que le schéma zéro est une intersection complète et réduit
• Établissement de l'isomorphisme via la localisation

2. Cas des groupes réductifs (Section 4)

• Réduction au cas du sous-groupe de Borel
• Utilisation de la structure de quotient par l'action du groupe de Weyl
• Application des propriétés de la section de Kostant

3. Groupes principalement appariés généraux (Section 4.5)

• Combinaison des techniques pour les groupes résolubles et réductifs
• Utilisation de la décomposition de Levi

Exemples importants

1. Espace projectif

Pour l'action de $SL_2$ sur $\mathbb{P}^n$: $H^*_{SL_2}(\mathbb{P}^n) \cong \mathbb{C}[t,x]/I$ où $I$ est engendré par le polynôme $x(x+2t)(x+4t)\cdots(x+2nt)$.

2. Grassmannienne

Pour l'action de $SL_2$ sur $Gr(2,4)$, l'anneau de cohomologie équivariante peut être calculé explicitement, le schéma correspondant ayant 6 familles à un paramètre de solutions.

3. Variétés de drapeaux

Pour la variété de drapeaux complète $F_3 = SL_3/B$, la réalisation géométrique de l'anneau de cohomologie équivariante fournit une structure combinatoire riche.

4. Variétés de Bott-Samelson

En tant que résolutions des variétés de Schubert, les variétés de Bott-Samelson fournissent des exemples importants de variétés B-régulières.

Applications et généralisations

1. Système de Hitchin

La réalisation géométrique de l'anneau de cohomologie équivariante fournit une nouvelle perspective pour comprendre le comportement du système de Hitchin sur diverses trajectoires lagrangiennes.

2. Généralisation aux variétés singulières

Moyennant des conditions appropriées (telles que la surjectivité de la cohomologie), les résultats peuvent être généralisés à certaines variétés singulières.

3. Théorie GKM

Pour les espaces GKM avec action torique, cela fournit une nouvelle interprétation géométrique de la cohomologie équivariante.

Outils techniques

1. Théorie des champs vectoriels

• Généralisation du théorème de Carrell-Liebermann
• Analyse des zéros des champs vectoriels

2. Théorie des groupes algébriques

• Décomposition de Jordan
• Décomposition de Levi
• Propriétés des sous-groupes de Borel

3. Cohomologie équivariante

• Théorème de localisation
• Formalité équivariante
• Version équivariante des classes de Chern

Conclusion et perspectives

Contributions principales

1. Établissement d'un lien direct entre l'anneau de cohomologie équivariante et les objets géométriques (schémas zéro)
2. Fourniture d'un cadre théorique unifié pour traiter diverses actions de groupes
3. Provision d'outils géométriques nouveaux pour les applications telles que les systèmes de Hitchin

Signification théorique

• Approfondissement de la compréhension de la nature géométrique de la cohomologie équivariante
• Fourniture de nouvelles méthodes pour la recherche interdisciplinaire entre géométrie algébrique et théorie des représentations
• Connexion entre la théorie des champs vectoriels et la topologie équivariante

Directions futures

1. Généralisation à des actions de groupes et des espaces plus généraux
2. Exploration des connexions avec la symétrie miroir
3. Développement d'une théorie analogue pour la K-théorie équivariante
4. Applications en physique mathématique

Cet article, par une construction géométrique ingénieuse, fournit une nouvelle perspective sur la théorie de la cohomologie équivariante et possède une importance significative dans le domaine interdisciplinaire de la géométrie algébrique, de la théorie des représentations et de la physique mathématique.