Torus Equivariant Cohomology for the $\Delta$-Springer Fiber

1. Énoncé du problème

L'article traite du calcul de l'anneau de cohomologie équivariante de tore $H^*_U(Y_{n,\lambda,s})$ pour les fibrés de $\Delta$-Springer $Y_{n,\lambda,s}$.

• Contexte : Ces variétés, introduites par Griffin, Levinson et Woo, sont des sous-variétés de variétés de drapeaux partielles dépendant d'une partition $\lambda \vdash k \leq n$ et d'un entier $s \geq \ell(\lambda)$. Elles généralisent à la fois les fibrés de Springer classiques et les espaces de modules de configurations de lignes engendrant (liés aux anneaux coinvariants généralisés).
• Lacune : Bien que la cohomologie ordinaire $H^*(Y_{n,\lambda,s})$ ait été décrite précédemment par Griffin-Levinson-Woo en termes de modules de $\Delta$-Springer $R_{n,\lambda,s}$, une présentation de style Borel explicite (générateurs et relations) pour la cohomologie équivariante faisait défaut.
• Objectif : Construire un sous-tore naturel $U \subset T = (\mathbb{C}^\times)^K$ qui préserve $Y_{n,\lambda,s}$ et fournir une présentation explicite de $H^*_U(Y_{n,\lambda,s})$ comme quotient d'un anneau de polynômes, analogue à la présentation classique de Borel pour les variétés de drapeaux.

2. Méthodologie

L'auteur emploie une approche multi-étapes combinant géométrie algébrique, combinatoire et topologie équivariante :

A. Configuration géométrique et action du tore

• Définition de $U$ : L'auteur définit un sous-tore spécifique $U \cong (\mathbb{C}^\times)^s$ agissant sur l'espace ambiant $\mathbb{C}^K$. L'action est diagonale, avec des poids déterminés par les indices de ligne d'un "remplissage canonique" $P$ d'un diagramme de Young $\Lambda$ associé à $\lambda$ et $s$.
• Invariance : Il est démontré que ce tore $U$ préserve le fibré de $\Delta$-Springer $Y_{n,\lambda,s}$.
• Pavage affine : L'article utilise le pavage affine stable par $U$ de $Y_{n,\lambda,s}$ (établi par Griffin-Levinson-Woo) pour prouver que la variété est équivariante formelle. Cela garantit que $H^*_U(Y_{n,\lambda,s})$ est un module libre sur l'anneau de coefficients $H^*_U(\text{pt}) \cong \mathbb{Q}[u_1, \dots, u_s]$.

B. Harmoniques d'orbites et arrangements universels

• Philosophie : L'article utilise la technique des harmoniques d'orbites. La présentation ordinaire de Griffin découle de l'idéal gradué associé d'un lieu de points fini. L'auteur étend cela au cadre équivariant en définissant un arrangement universel de sous-espaces linéaires $X_{n,\lambda,s} \subset \mathbb{Q}^{n+s}$.
• Construction : Cet arrangement inclut des coordonnées pour les variables $x_1, \dots, x_n$ (coordonnées de drapeau) et $u_1, \dots, u_s$ (paramètres de tore). L'idéal d'annulation de cet arrangement est montré comme coïncidant avec l'idéal définissant la cohomologie équivariante.

C. Déduction des relations

La présentation est dérivée en identifiant deux familles de relations :

1. Famille 1 (Fibré projectif itéré) : En analysant le cas où $\lambda = \emptyset$ (la partition vide), la variété $Y_{n,\emptyset,s}$ est identifiée comme un fibré projectif itéré. Cela produit les relations :
   $$(x_i - u_1)\cdots(x_i - u_s) = 0 \quad \text{pour } 1 \leq i \leq n$$
2. Famille 2 (Polynômes de Tanisaki doubles) : Suivant la stratégie d'Abe-Horiguchi pour les fibrés de Springer classiques, l'auteur applique $Y_{n,\lambda,s}$ aux grassmanniennes. En identifiant l'image dans une variété de Schubert spécifique et en utilisant l'annulation des classes de Schubert disjointes, l'auteur dérive des "polynômes de Tanisaki doubles" :
   $$e_d(x_{i_1}, \dots, x_{i_m} \mid u_{\phi_\lambda(1)}, \dots, u_{\phi_\lambda(n)}) = 0$$
   où $d > m - p^{\lambda}_m(\lambda)$, et $\phi_\lambda$ est une application dérivée de l'action du tore sur les points fixes.

D. Action $S_n$ et surjectivité

• L'auteur construit une action du groupe symétrique $S_n$ sur $H^*_U(Y_{n,\lambda,s})$ en relevant l'action connue sur la cohomologie ordinaire.
• Cette action permet d'étendre les relations des segments initiaux de variables à des sous-ensembles arbitraires, garantissant que l'idéal est généré par l'ensemble complet des polynômes de Tanisaki doubles.
• Comparaison des rangs : La preuve conclut en montrant que l'anneau quotient proposé et l'anneau de cohomologie réel sont des modules $\mathbb{Q}[u_s]$-libres du même rang (indexés par les monômes en escalier partiel $(n, \lambda, s)$), prouvant que la surjection est un isomorphisme.

3. Contributions et résultats clés

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

L'anneau de cohomologie équivariante est isomorphe à un quotient spécifique d'un anneau de polynômes :
$$H^*_U(Y_{n,\lambda,s}) \cong \frac{\mathbb{Q}[x_1, \dots, x_n, u_1, \dots, u_s]}{J_{n,\lambda,s}}$$
où l'idéal $J_{n,\lambda,s}$ est généré par :

1. Type 1 : $\prod_{j=1}^s (x_i - u_j)$ pour tout $1 \leq i \leq n$.
2. Type 2 : Polynômes de Tanisaki doubles $e_d(x_I \mid u_{\phi_\lambda(J)})$ pour des sous-ensembles et degrés spécifiques.

Récupération de la cohomologie ordinaire

En spécialisant les paramètres de tore à zéro ($u_1 = \dots = u_s = 0$), la présentation récupère la présentation de Griffin-Levinson-Woo de la cohomologie ordinaire $H^*(Y_{n,\lambda,s}) \cong R_{n,\lambda,s}$. Ainsi, l'anneau équivariant est une déformation équivariante du module de $\Delta$-Springer.

Lien avec les harmoniques d'orbites (Proposition 3.9)

L'article démontre que l'idéal $J_{n,\lambda,s}$ est exactement l'idéal d'annulation de l'arrangement universel $X_{n,\lambda,s}$. Cela fournit une interprétation géométrique pour les paramètres de tore $u_i$ en tant que coordonnées dans un arrangement de points universel, généralisant la philosophie des harmoniques d'orbites au cadre équivariant.

Action $S_n$

L'article construit explicitement une action $S_n$ sur l'anneau de cohomologie équivariante qui permute les variables $x$ tout en fixant les variables $u$, relevant l'action de la cohomologie ordinaire.

4. Importance

• Unification : Le résultat unifie la théorie des représentations géométrique des fibrés de Springer avec la combinatoire algébrique des anneaux coinvariants de type $\Delta$ dans le cadre équivariant.
• Présentation explicite : Il fournit la première présentation de style Borel explicite pour la cohomologie équivariante de la famille complète de $\Delta$-Springer, révélant une structure invisible dans la cohomologie ordinaire.
• Avancement méthodologique : L'article adapte avec succès la technique des "harmoniques d'orbites" à la cohomologie équivariante, démontrant que les anneaux équivariants peuvent être vus comme des anneaux de coordonnées d'arrangements universels.
• Perspectives futures : L'article ouvre des voies pour l'étude des descriptions GKM non isolées et de la connexion théorique spectrale entre l'arrangement $X_{n,\lambda,s}$ et l'anneau de cohomologie, suggérant un lien plus profond entre la géométrie du lieu fixe et la structure algébrique de l'anneau.

En résumé, cet article établit un cadre algébrique rigoureux pour la cohomologie équivariante des fibrés de $\Delta$-Springer, reliant la topologie géométrique et l'algèbre combinatoire à travers le prisme des harmoniques d'orbites et des actions de tore.