Résumé technique : e-Polynômes des variétés de caractères

Énoncé du problème

Le document traite du calcul des invariants topologiques et géométriques pour les variétés de caractères, définies comme le quotient de la théorie du invariant géométrique (GIT) $X_G(\Gamma) = \text{Hom}(\Gamma, G)//G$, où $G$ est un groupe algébrique réductif complexe et $\Gamma$ est un groupe fini présenté. Bien que ces espaces soient bien compris lorsque $\Gamma$ est le groupe fondamental d'une surface de Riemann (en raison de la correspondance de Hodge non abélienne liant ces variétés aux fibrés de Higgs), ils deviennent hautement singuliers et difficiles à analyser lorsque $\Gamma$ est un groupe libre ou d'autres groupes généraux.

L'objectif principal est de calculer l'e-polynôme (une spécialisation du polynôme de Hodge mixte) pour ces variétés de caractères. L'e-polynôme encode les nombres de Hodge mixtes de la cohomologie à support compact, servant de pont entre la topologie (nombres de Betti) et la géométrie complexe. Une motivation significative de ces calculs est l'étude de la symétrie miroir topologique, une conjecture stipulant que les variétés de caractères associées à des groupes duals de Langlands (par exemple, $SL_n$ et $PGL_n$, ou $Sp_{2n}$ et $SO_{2n+1}$) possèdent des invariants égaux ou « miroirs ».

Méthodologie

Le manuscrit synthétise des techniques arithmétiques et géométriques pour calculer les e-polynômes, en s'appuyant sur les travaux fondamentaux de Hausel, Rodriguez-Villegas, Katz et d'autres.

1. Structures de Hodge mixtes et e-polynômes

Le document établit le cadre théorique en utilisant les structures de Hodge mixtes de Deligne pour les variétés singulières et non compactes.

• Définition : L'e-polynôme $e(X; u, v)$ est défini par $\sum (-1)^k h^{k,p,q}_c(X) u^p v^q$, où $h^{k,p,q}_c$ sont les nombres de Hodge mixtes à support compact.
• Connexion arithmétique : Suivant l'appendice de Katz dans [HR08], pour les variétés de « type polynomial », le nombre de points sur un corps fini $\mathbb{F}_q$ est donné par un polynôme $C_X(q)$ qui coïncide avec l'e-polynôme évalué en $x=uv$. Cela permet d'utiliser le comptage de points sur des corps finis pour déterminer les invariants topologiques.
• Propriétés : L'e-polynôme est additif sur les stratifications localement fermées et multiplicatif sous certaines fibrations (spécifiquement lorsque la base agit trivialement sur la cohomologie de la fibre).

2. Méthodes arithmétiques (Comptage de points)

Pour les groupes libres $\Gamma = F_r$, le document utilise des méthodes combinatoires impliquant des algèbres de Hall et des opérateurs pléthystiques (inspirés par [MR09; MR15]).

• Le nombre de représentations irréductibles sur $\mathbb{F}_q$ est lié au nombre total de représentations via l'exponentielle pléthystique ($PExp$) et le logarithme pléthystique ($PLog$).
• L'opérateur d'Adams $\Psi$ et son inverse sont utilisés pour manipuler les séries génératrices de comptages de représentations, permettant la dérivation de formules explicites pour les e-polynômes des variétés de caractères irréductibles $X^*_G(F_r)$.

3. Stratification géométrique

Pour traiter la variété de caractères complète (incluant les représentations réductibles), le document emploie une stratification par type de partition (généralisant la stratification de type Jordan).

• Stratification par partition : L'espace de représentation est décomposé en strates $X^{[k]}_G(\Gamma)$ indexées par des partitions $[k]$ de $n$ (pour $GL_n$). Chaque strate correspond à des représentations qui sont polystables avec une structure de stabilisateur spécifique (isomorphe à une somme directe de représentations irréductibles de dimensions plus petites).
• Réduction aux cœurs : Une innovation géométrique clé implique le concept de pseudo-quotients et de cœurs (tirés de [Gon24]). Le document prouve que la classe motivique (et donc l'e-polynôme) d'une strate $X^{[k]}_G(\Gamma)$ peut être réduite au quotient d'une sous-variété « cœur » par un groupe fini (le groupe de Weyl du sous-groupe de Levi).
• Généralisation aux groupes réductifs : Cette stratification est étendue de $GL_n$ aux groupes réductifs complexes généraux $G$ en utilisant les données de racines. La stratification est indexée par des sous-ensembles de racines simples (sous-groupes paraboliques), réduisant le calcul de $X_G(\Gamma)$ à une somme d'e-polynômes de variétés de caractères de sous-groupes de Levi $L_I$ modulo leurs normalisateurs $N_I$.

Contributions clés et résultats

1. Calcul explicite pour $GL_3$

Le document fournit un calcul complet, étape par étape, de l'e-polynôme de la variété de caractères de $GL_3$ pour le groupe libre $F_r$.

• Étape 1 : Calcule les e-polynômes des strates irréductibles $X^*_{GL_1}, X^*_{GL_2}, X^*_{GL_3}$ en utilisant la méthode arithmétique/pléthystique.
• Étape 2 : Calcule l'e-polynôme de la strate abélienne (correspondant à la partition $[1^3]$), qui est isomorphe à la variété de caractères de l'abélianisation $\mathbb{Z}^r$.
• Étape 3 : Combine ces éléments en utilisant la formule de stratification pour dériver l'e-polynôme explicite de $X_{GL_3}(F_r)$.
• Résultat : Le polynôme résultant confirme que la variété est irréductible (le coefficient dominant est 1) et possède une dimension complexe de $9r-8$.

2. Stratification générale pour les groupes réductifs

Le manuscrit généralise la stratification par partition à n'importe quel groupe réductif complexe $G$ (Types A, B, C, D).

• Il établit une décomposition de la variété de caractères $X_G(\Gamma)$ en strates indexées par des sous-groupes paraboliques.
• Il prouve que l'e-polynôme de la variété entière est la somme des e-polynômes de ces strates, où chaque strate est exprimée en termes de variétés de caractères irréductibles de sous-groupes de Levi modulo des groupes de Weyl finis.
• Cela réduit le problème du calcul des invariants pour des groupes de rang élevé à des calculs récursifs impliquant des groupes de rang inférieur et des actions de groupes finis.

3. Symétrie miroir topologique

Le document applique cette stratification à la conjecture de symétrie miroir topologique pour les paires duales de Langlands.

• Réduction : Il démontre que prouver $e(X_G(\Gamma)) = e(X_{^L G}(\Gamma))$ revient à vérifier l'égalité strate par strate.
• Type A ($SL_n$ vs $PGL_n$) : La stratification retrouve les résultats connus, confirmant la symétrie miroir pour ces groupes.
• Types B et C ($Sp_{2n}$ vs $SO_{2n+1}$) : Le document dérive des formules de décomposition explicites pour les deux groupes. Il montre que la symétrie miroir est vérifiée si et seulement si elle l'est pour les composantes irréductibles et les strates mixtes spécifiques impliquant des produits de $GL$ et de groupes symplectiques/orthogonaux.
• Exemple : Pour $Sp_6$ et $SO_7$, le document identifie explicitement les strates où les sous-groupes de Levi diffèrent ($GL_1 \times Sp_4$ vs $GL_1 \times SO_5$) et note que prouver la symétrie miroir pour la variété entière revient à prouver qu'elle l'est pour ces composantes spécifiques de rang inférieur.

Signification et affirmations

Le document prétend fournir un cadre unifié pour calculer les e-polynômes des variétés de caractères pour des groupes réductifs arbitraires, dépassant les limites des méthodes antérieures uniquement arithmétiques ou géométriques de faible rang.

• Unification : Il combine avec succès le comptage arithmétique (efficace pour les représentations irréductibles) avec la stratification géométrique (nécessaire pour gérer les singularités et les représentations réductibles).
• Faisabilité computationnelle : En introduisant les concepts de « cœur » et de « pseudo-quotient », le document réduit des quotients GIT complexes de dimension infinie à des quotients finis gérables de variétés de dimension inférieure.
• Symétrie miroir : Ce travail offre une voie concrète pour tester les conjectures de symétrie miroir topologique. Plutôt que de tenter de calculer directement les invariants de tout l'espace de modules, le problème est réduit à la vérification de l'égalité sur des strates spécifiques de dimension inférieure. Le document précise explicitement que si la symétrie miroir est prouvée pour le Type A et certains cas de Type B/C, le cas général pour des rangs plus élevés reste un problème ouvert, nécessitant spécifiquement la vérification de l'égalité pour les composantes irréductibles des groupes duals.

Le manuscrit sert à la fois de guide technique pour effectuer ces calculs (incluant un exemple complet pour $GL_3$) et d'extension théorique des techniques de stratification aux groupes réductifs généraux, offrant une approche structurée pour la recherche future dans ce domaine.