Complete simplicial fans, Stanley--Reisner rings, and equivariant h-polynomials

Résumé technique : Éventails simpliciaux complets, anneaux de Stanley–Reisner et polynôme h équivariant

Énoncé du problème
L'article aborde l'étude combinatoire et algébrique de l'action de groupes finis sur la cohomologie des variétés toriques et de leurs structures algébriques associées. Plus précisément, il se concentre sur le cas où un groupe fini $G$ agit linéairement sur un espace vectoriel $V$, en préservant un éventail simplicial complet $\Sigma$. Alors que la cohomologie des orbifolds toriques compacts (associés à des éventails simpliciaux complets rationnels) est bien comprise via l'anneau de Stanley–Reisner $A(\Sigma)$ et sa réduction artinienne, le caractère gradué de l'action du groupe sur cet anneau n'avait pas été entièrement caractérisé pour des éventails généraux. De plus, l'article examine la structure combinatoire des invariants de ces anneaux sous l'action de groupes de réflexion finis, cherchant un objet combinatoire qui encode la topologie de l'espace quotient.

Méthodologie
L'auteur emploie une synthèse d'algèbre commutative, de théorie des représentations et de géométrie convexe :

1. Cadre algébrique : L'étude utilise l'anneau de Stanley–Reisner $A(\Sigma)$ d'un éventail simplicial complet $\Sigma$, défini comme un quotient d'un anneau de polynômes par un idéal monomial sans carré. L'anneau est traité comme un module gradué sur un anneau de polynômes $A = \text{Sym}(V^*)$. La « réduction artinienne » $\overline{A(\Sigma)}$ est obtenue en quotientant $A(\Sigma)$ par un système linéaire de paramètres, ce qui correspond à la cohomologie usuelle de la variété torique associée lorsque $\Sigma$ est rationnel.
2. Théorie des caractères équivariants : L'article dérive une formule de caractère gradué pour l'action d'un élément $g \in G$ sur $\overline{A(\Sigma)}$. Cela implique de décomposer l'anneau en sous-espaces indexés par les cônes, d'analyser les ensembles de points fixes de l'action du groupe sur l'éventail, et d'utiliser les représentations quotient induites $\psi_\sigma: G_\sigma \to \text{GL}(V/V_\sigma)$.
3. Analyse des groupes de réflexion : Pour le cas spécifique où $G$ est un groupe de réflexion fini $W$, l'auteur introduit un nouvel objet combinatoire appelé « éventail hybride » $\Sigma_W$. Cette construction, attribuée à Colin Crowley et Connor Simpson, encode l'action de $W$ en combinant les rayons du domaine fondamental de $W$ avec les racines simples négatives.
4. Représentations induites et réciprocité de Frobenius : Les preuves reposent fortement sur la théorie des représentations induites, la réciprocité de Frobenius et les propriétés des sous-groupes paraboliques au sein des groupes de réflexion pour relier les invariants de l'éventail d'origine à la combinatoire de l'éventail hybride.

Contributions et résultats clés

• Formule du polynôme h équivariant (Théorème 1.1) :
  Le résultat principal est une formule de caractère gradué pour l'action de tout groupe fini $G$ sur la réduction artinienne $\overline{A(\Sigma)}$. La série de Hilbert équivariante $R_{A(\Sigma)}(t)$ est donnée par :
  $$R_{A(\Sigma)}(t) = \sum_{\sigma \in \Sigma} \frac{|G_\sigma|}{|G|} \text{Ind}_{G_\sigma}^G (\det(tI - \psi_\sigma))$$
  où $G_\sigma$ est le stabilisateur d'ensemble d'un cône $\sigma$, et $\psi_\sigma$ est la représentation induite sur l'espace quotient $V/V_\sigma$. Cette formule généralise le polynôme $h$ classique (récupéré lorsque $g=\text{id}$) et retrouve les résultats connus pour les groupes de Weyl agissant sur les permutoèdres (Procesi, Dolgachev–Lunts, Stembridge, Lehrer).

• Palindromie (Proposition 3.2) :
  L'article démontre que le caractère gradué $P_G(t, g)$ est palindromique, satisfaisant $P_G(t, g) = t^d P_G(t^{-1}, g)$, où $d = \dim(V)$. Ceci est établi en montrant que la composante de degré maximal de la réduction artinienne porte la représentation triviale, conséquence de la propriété de Gorenstein de l'anneau de Stanley–Reisner et de la préservation d'un élément de volume sous l'action du groupe.

• Éventail hybride et invariants (Théorème 1.2) :
  Lorsque $W$ est un groupe de réflexion fini, le polynôme de Poincaré des invariants $W$ de $\overline{A(\Sigma)}$ est montré égal au polynôme $h$ d'un nouvel « éventail hybride » $\Sigma_W$ défini. L'éventail hybride est construit en prenant les rayons dans le domaine fondamental et en ajoutant les rayons engendrés par les racines simples négatives, avec des structures de cônes déterminées par les orbites de l'éventail d'origine.

• Cohomologie des quotients (Théorème 1.3) :
  Comme application directe, si $\Sigma$ est un éventail simplicial complet rationnel, le polynôme de Poincaré de la cohomologie de l'orbifold torique quotient $X_\Sigma/W$ est égal au polynôme de Poincaré de l'orbifold torique $X_{\Sigma_W}$ associé à l'éventail hybride. Cela généralise les résultats précédents de Horiguchi–Masuda–Shareshian–Song et Crowley–Gong–Simpson concernant les quotients de polytopes et leurs éventails normaux.

Signification et affirmations
L'article prétend fournir un cadre combinatoire unifié pour comprendre la cohomologie équivariante des variétés toriques sous l'action de groupes finis, s'étendant au-delà du cas rationnel vers des éventails simpliciaux complets généraux.

• Il établit que le « polynôme $h$ équivariant » sert d'invariant complet pour la représentation graduée du groupe sur la cohomologie de la variété torique associée (dans le cas rationnel).
• Il démontre que le problème complexe du calcul de la cohomologie d'un espace quotient $X_\Sigma/W$ peut être réduit au calcul combinatoire du polynôme $h$ de l'éventail hybride $\Sigma_W$, même lorsque l'éventail d'origine est non rationnel.
• Le travail comble le fossé entre la combinatoire des éventails et la topologie des espaces quotients, suggérant que l'éventail hybride est le modèle combinatoire correct pour le quotient.

Questions ouvertes et orientations futures
L'article conclut en posant plusieurs problèmes ouverts :

1. Isomorphisme d'anneaux : L'existence d'un isomorphisme d'anneaux gradués explicite entre les invariants $\overline{A(\Sigma)}^W$ et l'anneau de Stanley–Reisner de l'éventail hybride $\overline{A(\Sigma_W)}$.
2. Isomorphisme de variétés (Conjecture 5.2) : Si la variété torique quotient $X_\Sigma/W$ est isomorphe à la variété torique $X_{\Sigma_W}$ pour tout éventail rationnel. L'article note que cela est connu pour les éventails polytopaux et les cônes uniques, mais reste ouvert pour les éventails généraux.
3. Cohomologie d'intersection : L'existence d'une formule de caractère équivariant similaire pour la cohomologie d'intersection combinatoire des éventails généraux (non simpliciaux), impliquant potentiellement des polynômes équivariants de Kazhdan–Lusztig–Stanley.
4. Cohomologie d'intersection du quotient : Si les invariants de la cohomologie d'intersection combinatoire d'un éventail sont égaux à la cohomologie d'intersection de l'éventail hybride, notant que les singularités dans le quotient peuvent compliquer cette relation.