Variétés de Hessenberg régulières semi-simples dont les anneaux de cohomologie sont engendrés en degré deux

Informations fondamentales

• ID de l'article: 2301.03762
• Titre: Regular semisimple Hessenberg varieties with cohomology rings generated in degree two
• Auteurs: Mikiya Masuda, Takashi Sato
• Classification: math.AG (géométrie algébrique), math.AT (topologie algébrique), math.SG (géométrie symplectique)
• Date de publication: 11 novembre 2025 (version arXiv v4)
• Lien de l'article: https://arxiv.org/abs/2301.03762

Résumé

Les variétés de Hessenberg régulières semi-simples $\mathrm{Hess}(S,h)$ sont des sous-variétés lisses de la variété de drapeaux, déterminées par une matrice carrée $S$ possédant des valeurs propres distinctes et une fonction de Hessenberg $h$. L'anneau de cohomologie $H^*(\mathrm{Hess}(S,h))$ est indépendant du choix de $S$, mais n'a pas été explicitement décrit sauf dans quelques cas particuliers. Cet article caractérise les fonctions de Hessenberg $h$ pour lesquelles $H^*(\mathrm{Hess}(S,h))$ en tant qu'anneau est engendré en degré deux, montrant que ces fonctions $h$ sont précisément les fonctions dites de type « (double) sucette ».

Contexte et motivation de la recherche

1. Problème de recherche

Cet article étudie la structure de l'anneau de cohomologie des variétés de Hessenberg régulières semi-simples, en particulier caractérisant quelles fonctions de Hessenberg $h$ font que l'anneau de cohomologie $H^*(X(h))$ soit engendré en degré deux (c'est-à-dire que tous les générateurs proviennent de la cohomologie de degré deux).

2. Importance du problème

• Connexions profondes avec la combinatoire: Les variétés de Hessenberg sont liées au groupe symétrique $S_n$ via l'action ponctuelle de Tymoczko, et la conjecture de Shareshian-Wachs, résolue par Brosnan-Chow et Guay-Paquet, relie $H^*(\mathrm{Hess}(S,h))$ en tant que $S_n$-module aux fonctions symétriques du polynôme chromatique des graphes
• Conjecture de Stanley-Stembridge: L'étude de la géométrie et de la topologie des variétés de Hessenberg a ouvert la voie à la preuve de la célèbre conjecture de Stanley-Stembridge en théorie des graphes
• Caractère fondamental de la structure d'anneau: Comprendre quand l'anneau de cohomologie est engendré en degré deux constitue une base pour étudier ses structures algébriques plus complexes

3. Limitations des méthodes existantes

• Pour une fonction de Hessenberg générale $h$, la structure d'anneau de $H^*(X(h))$ n'a pas été explicitement décrite
• Les résultats connus se limitent à des cas particuliers:
  • Lorsque $h = (n,...,n)$, correspondant à la variété de drapeaux $\mathrm{Fl}(n)$
  • Lorsque $h = (2,3,...,n,n)$, correspondant à la variété du polytope de permutations (variété torique)
  • Lorsque $h = (h(1),n,...,n)$, les résultats de 2 montrent que l'anneau est engendré en degré deux uniquement si $h(1)=2$ ou $n$

4. Motivation de la recherche

Sur la base des modèles observés dans les cas particuliers connus, il est naturel de se demander: pour une fonction de Hessenberg générale $h$, quand $H^*(X(h))$ est-il engendré en degré deux? Cet article fournit une réponse complète en combinant systématiquement la théorie de Morse-Bott, la théorie GKM et les techniques de fibration.

Contributions principales

1. Théorème de caractérisation complète (Théorème principal 1.1): Pour les variétés de Hessenberg régulières semi-simples connexes (c'est-à-dire $h(j) \geq j+1$ pour tous $j \in [n-1]$), on prouve que $H^*(X(h))$ est engendré en degré deux si et seulement si $h$ a la forme « double sucette » suivante:a+1 & (1 \leq j \leq a) \\ j+1 & (a < j < b) \\ n & (b \leq j \leq n) \end{cases}$$ où $1 \leq a < b \leq n$
2. Preuve géométrique de la suffisance: On prouve que lorsque $h$ est de type double sucette, $X(h)$ est un fibré sur une variété torique compacte lisse, avec pour fibre un produit de variétés de drapeaux, d'où l'anneau de cohomologie est engendré en degré deux
3. Preuve topologique de la nécessité: Par des fonctions de Morse-Bott et la surjectivité des applications de restriction, en utilisant un argument par récurrence, on exclut tous les cas non de type double sucette
4. Contributions techniques:
   • Utilisation de la théorie GKM pour donner des générateurs explicites de la cohomologie de degré deux $H^2(X(h))$
   • Preuve par calculs fins de la série de Hilbert que dans certains cas l'anneau ne peut pas être engendré en degré deux
   • Établissement de relations de fibration entre variétés de Hessenberg

Explication détaillée des méthodes

Définition de la tâche

Entrée: Fonction de Hessenberg $h: [n] \to [n]$, satisfaisant la monotonie non-décroissante et $h(j) \geq j$

Sortie: Déterminer si l'anneau de cohomologie $H^*(X(h))$ en tant qu'anneau est engendré en degré deux

Contraintes: On suppose que $h(j) \geq j+1$ pour tous $j \in [n-1]$ (garantissant que $X(h)$ est connexe)

Cadre théorique

1. Théorie GKM et cohomologie équivariante

La variété de Hessenberg régulière semi-simple $X(h)$ est une variété GKM, avec le tore algébrique $T = (\mathbb{C}^*)^n$ agissant dessus, l'ensemble des points fixes étant: $X(h)^T = \mathrm{Fl}(n)^T \cong S_n$

La cohomologie équivariante $H^*_T(X(h))$ s'injecte par le théorème de localisation dans: $H^*_T(X(h)) \hookrightarrow \bigoplus_{w \in S_n} \mathbb{Z}[t_1,...,t_n]$

Son image est caractérisée par les conditions suivantes (cohomologie graphique): $\{f \in \mathrm{Map}(S_n, \mathbb{Z}[t_1,...,t_n]) \mid f(w) - f(w(i,j)) \in (t_{w(i)} - t_{w(j)}), \forall w \in S_n, j < i \leq h(j)\}$

2. Générateurs explicites de la cohomologie de degré deux

D'après les résultats d'Ayzenberg-Masuda-Sato 4, $H^2(X(h))$ est engendré par les éléments suivants:

• $x_k$ ($k \in [n]$): $x_k(w) = t_{w(k)}$, correspondant à la première classe de Chern des fibrés en droites tautologiques
• $y_{j,k}$ ($j \in \bot(h), k \in [n]$): $y_{j,k}(w) = \begin{cases} t_k - t_{w(j+1)} & k \in \{w(1),...,w(j)\} \\ 0 & \text{sinon} \end{cases}$ où $\bot(h) = \{j \in [n-1] \mid h(j-1) = h(j) = j+1\}$
• $\tau_A$ ($|A| \in L(h)$): $\tau_A(w) = \begin{cases} t_{w(|A|)} - t_{w(|A|+1)} & \{w(1),...,w(|A|)\} = A \\ 0 & \text{sinon} \end{cases}$ où $L(h) = \{j \in [n-1] \mid h(j-1) = j, h(j) = j+1\}$

Stratégie de preuve de la nécessité (Section 3)

Lemme clé 3.1 (Fonction de Morse-Bott)

On construit une application moment $f_h: X(h) \to \mathbb{R}$, dont les images inverses des points critiques sont respectivement $X(h_1)$ et $X(h_n)$, où $h_j$ est la fonction de Hessenberg obtenue en supprimant la $j$-ème ligne et la $j$-ème colonne de la configuration de $h$.

En utilisant la théorie de Morse-Bott (Tolman-Weitsman 19), on prouve que les applications de restriction: $H^*(X(h);\mathbb{Q}) \to H^*(X(h_1);\mathbb{Q}), \quad H^*(X(h);\mathbb{Q}) \to H^*(X(h_n);\mathbb{Q})$ sont toutes deux surjectives.

Corollaire 3.2: Si $h'$ est un mineur de $h$ (obtenu par répétition de prises de $h_1$ ou $h_n$), et si $H^*(X(h);\mathbb{Q})$ est engendré en degré deux, alors $H^*(X(h');\mathbb{Q})$ est aussi engendré en degré deux.

Proposition 3.3 (Caractérisation combinatoire)

$h$ est de type double sucette si et seulement si $h$ ne contient pas de mineur des types suivants:

• $(\alpha, \beta,...,\beta)$ ou $(\beta-1,...,\beta-1, \beta,...,\beta)$ ($\alpha$ fois), où $3 \leq \alpha < \beta$
• $(2, \gamma-1,...,\gamma-1, \gamma, \gamma)$, où $\gamma \geq 5$

Les deux premiers cas ont déjà été exclus par 2, le point clé est de traiter le troisième cas.

Preuve de la Proposition 3.4 (Noyau technique)

Pour $h = (2, n-1,...,n-1, n, n)$ ($n \geq 5$), on prouve par les étapes suivantes que $H^*(X(h);\mathbb{Q})$ n'est pas engendré en degré deux:

Étape 1: En utilisant le théorème 2.1(4), on calcule la formule de récurrence du polynôme de Poincaré (Lemme 3.7): $P_n(q) = (1+q)^2[n-2]_q! + (n-2)(q+q^2)[n-3]_q[n-3]_q! + \cdots$

Étape 2: On prouve que le coefficient de degré $n-3$ de $P_n(q)$ est (Lemme 3.8): $\binom{n}{2} + n(n-3)/2$

Étape 3: On calcule une borne supérieure pour la série de Hilbert du sous-anneau $R(h)$ engendré par $H^2(X(h))$:

• Introduction d'éléments auxiliaires $\rho_k$, réécriture des générateurs comme $x_k, \tau_k, \rho_k$
• Décomposition de $R(h)$ en somme directe $A(h) \oplus B(h) \oplus C(h) \oplus D(h)$ (en tant que $A(h)$-module)
• Calcul séparé des bornes supérieures de la série de Hilbert pour chaque partie (formules 3.23-3.27)

Étape 4: On prouve que le coefficient de degré $n-3$ de $\mathrm{Hilb}(R(h), \sqrt{q})$ est: $\binom{n}{2}$ strictement inférieur au coefficient correspondant de $P_n(q)$, contradiction!

Stratégie de preuve de la suffisance (Section 4)

Construction de fibration

Pour $h$ de type double sucette, on définit l'application: $\pi_{[a,b]}: \mathrm{Fl}(n) \to \mathrm{Fl}_{[a,b]}(n)$$\pi_{[a,b]}(V_1 \subset \cdots \subset V_n) = (V_a \subset V_{a+1} \subset \cdots \subset V_b)$

Observation clé: $V_\bullet \in X(h)$ si et seulement si $\pi_{[a,b]}(V_\bullet)$ satisfait $SV_k \subset V_{k+1}$ ($a \leq k \leq b-1$)

On définit: $Y_{[a,b]} = \{(V_a \subset \cdots \subset V_b) \mid SV_k \subset V_{k+1}, a \leq k \leq b-1\}$

Alors $\pi_{[a,b]}$ restreinte à $X(h)$ donne une fibration: $\mathrm{Fl}(a) \times \mathrm{Fl}(n-b) \to X(h) \xrightarrow{\pi_{[a,b]}} Y_{[a,b]}$

Lemme 4.1 (Structure de variété torique)

On prouve que $Y_{[a,b]}$ est une variété torique compacte lisse de dimension $n-1$:

• Par choix d'un vecteur spécial $g = (g_1,...,g_n) \in (\mathbb{C}^*)^n$, on construit une orbite $(\mathbb{C}^*)^n$
• En utilisant le déterminant de Vandermonde, on prouve que cette orbite a dimension $n-1$

Conclusion: Puisque l'espace de base $Y_{[a,b]}$ (variété torique) et la fibre $\mathrm{Fl}(a) \times \mathrm{Fl}(n-b)$ (produit de variétés de drapeaux) ont tous deux des anneaux de cohomologie engendrés en degré deux, par la suite spectrale de Serre de la fibration, $H^*(X(h))$ est aussi engendré en degré deux.

Configuration expérimentale

Cet article est un article de mathématiques pures théoriques et n'implique pas d'expériences numériques. Tous les résultats sont obtenus par des preuves mathématiques rigoureuses.

Vérification par calcul

• Pour de petites valeurs de $n$ (comme $n=3,4,5$), on a effectué des calculs explicites du polynôme de Poincaré pour vérification
• Par la théorie GKM, on a calculé les générateurs de cohomologie de degré deux pour des exemples concrets (Exemples 2.1, 2.2)

Résultats expérimentaux

Résultats principaux

Théorème 1.1 (Théorème principal): En supposant que $h(j) \geq j+1$ pour tous $j \in [n-1]$, $H^*(X(h))$ est engendré en degré deux si et seulement s'il existe $1 \leq a < b \leq n$ tel que: