Cohomology of type $B$ real permutohedral varieties

1. Contexte et Problématique

Les variétés permutoédrales de type A et de type B sont des exemples classiques de variétés toriques lisses et compactes associées aux systèmes de racines des groupes de Weyl $A_n$ et $B_n$. Bien que leurs invariants topologiques (en particulier leurs nombres de Betti rationnels) soient bien compris, l'étude de leurs locus réels (les points fixes sous l'involution de conjugaison complexe), notés $X^R_{A_n}$ et $X^R_{B_n}$, présente des défis supplémentaires.

• État de l'art : Pour le type A, la structure multiplicative de l'anneau de cohomologie rationnelle $H^*(X^R_{A_n}; \mathbb{Q})$ a été décrite en termes de permutations alternées. Pour le type B, seuls les nombres de Betti rationnels étaient connus, exprimés via les nombres de Springer (ou « serpents B » ou B-snakes).
• Problème central : L'article vise à combler le manque de compréhension de la structure multiplicative de l'anneau de cohomologie rationnelle $H^*(X^R_{B_n}; \mathbb{Q})$ pour le type B. L'objectif est de fournir une description explicite de ce produit en termes combinatoires, spécifiquement en utilisant les serpents B (B-snakes).

2. Méthodologie

L'auteur adopte une approche combinatoire et topologique structurée en plusieurs étapes clés :

A. Cadre Géométrique et Algébrique

• Variétés de Coxeter réelles : La variété $X^R_{B_n}$ est déterminée par un couple $(K_{B_n}, \Lambda_{B_n})$, où $K_{B_n}$ est le complexe de Coxeter de type B et $\Lambda_{B_n}$ est la matrice caractéristique modulo 2.
• Réduction homotopique : En utilisant des résultats antérieurs (notamment [3]), l'auteur montre que le calcul de la cohomologie de $X^R_{B_n}$ se ramène à l'étude de sous-complexes simpliciaux $\widetilde{(K_{B_n})_I}$ associés à des sous-ensembles $I \subset [n]$. Ces sous-complexes sont homotopiquement équivalents à des bouquets de sphères.

B. Représentation par Permutations Signées

• Espace vectoriel de base : L'auteur introduit l'espace vectoriel $\mathbb{Q}\langle S^B_I \rangle$ engendré par les permutations signées sur un sous-ensemble $I$.
• Application linéaire $\Psi_I$ : Une application linéaire $\Psi_I : \mathbb{Q}\langle S^B_I \rangle \to \tilde{H}^*((K_{B_n})_I; \mathbb{Q})$ est définie en associant à chaque permutation signée un sous-complexe spécifique (une frontière d'un polytope croisé orienté).
• Identification du noyau : L'auteur définit un sous-espace $M_I \subset \mathbb{Q}\langle S^B_I \rangle$ engendré par des relations spécifiques ($H_1$ à $H_5$) qui correspondent à des identités géométriques dans le complexe simplicial. Il démontre que $M_I$ est contenu dans le noyau de $\Psi_I$.

C. Passage aux Serpents B (B-snakes)

• Ordre partiel : Une relation d'ordre partiel $\unlhd$ est définie sur l'ensemble des permutations signées $S^B_I$.
• Basis de serpents B : Les serpents B ($A^B_I$) sont des permutations signées satisfaisant une condition d'alternance spécifique ($0 < x_r > x_{r-1} < \dots$).
• Isomorphisme vectoriel : Le théorème principal de la section 4 établit que l'espace quotient $\mathbb{Q}\langle S^B_I \rangle / M_I$ est isomorphe à l'espace engendré par les serpents B $\mathbb{Q}\langle A^B_I \rangle$. Cela signifie que toute permutation signée peut être réduite à une combinaison linéaire de serpents B modulo les relations de $M_I$.

D. Structure Multiplicative

• Produit de convolution : L'auteur définit une opération de produit $\smile$ sur l'espace direct $\bigoplus_{I \subset [n]} \mathbb{Q}\langle A^B_I \rangle$.
• Règles de restriction : Pour deux serpents B $\alpha$ et $\beta$ sur des ensembles disjoints $I_1$ et $I_2$, le produit $\alpha \smile \beta$ est calculé en sommant sur les serpents B « restrictables » sur $(I_1, I_2)$.
• Coefficients et signes : Le coefficient de chaque terme dans le produit dépend de coefficients d'expansion ($C^\alpha_x$) et d'un signe $(-1)^{\kappa(I_1, I_2)(z)}$, où $\kappa$ compte les paires d'indices croisés entre les deux ensembles.

3. Résultats Principaux

1. Théorème 1.2 (Isomorphisme Vectoriel) : Pour tout sous-ensemble $I \subset [n]$, l'espace quotient des permutations signées par les relations $M_I$ est isomorphe à l'espace des serpents B. L'application $\Psi$ induit un isomorphisme d'espaces vectoriels entre $\bigoplus \mathbb{Q}\langle A^B_I \rangle$ et la cohomologie $H^*(X^R_{B_n}; \mathbb{Q})$.
2. Théorème 1.4 (Isomorphisme d'Algèbres) : La structure multiplicative définie par l'opération $\smile$ sur les serpents B rend l'espace $\bigoplus_{I \subset [n]} \mathbb{Q}\langle A^B_I \rangle$ isomorphe à l'anneau de cohomologie $H^*(X^R_{B_n}; \mathbb{Q})$ en tant qu'algèbre sur $\mathbb{Q}$.
3. Description Combinatoire Explicite : Le papier fournit une formule explicite pour le produit de deux classes de cohomologie représentées par des serpents B, généralisant ainsi les résultats connus pour le type A (permutations alternées) au type B.

4. Signification et Impact

• Complétude Théorique : Ce travail complète la théorie des variétés permutoédrales réelles en fournissant la première description complète de la structure multiplicative pour le type B, un domaine où seule la cohomologie additive (nombres de Betti) était connue.
• Lien Combinatoire-Topologique : Il établit un pont rigoureux entre la théorie des groupes de Coxeter (groupes hyperoctaédriques), la combinatoire des permutations signées et la topologie algébrique des variétés réelles.
• Outils pour l'Analyse : La description en termes de serpents B et la définition explicite du produit $\smile$ offrent un cadre calculatoire puissant pour étudier les invariants topologiques plus fins de ces variétés et potentiellement pour d'autres variétés toriques réelles associées à d'autres systèmes de racines.
• Généralisation : La méthode développée, combinant la réduction de complexes simpliciaux et l'analyse des permutations signées via des ordres partiels, pourrait être adaptable à d'autres contextes de géométrie torique réelle.

En résumé, l'article de Younghan Yoon résout un problème ouvert majeur en topologie algébrique en démontrant que l'anneau de cohomologie rationnelle des variétés permutoédrales réelles de type B est entièrement déterminé par la combinatoire des serpents B, offrant ainsi une formule de multiplication explicite et élégante.