Counting points on generic character varieties

Résumé Technique : Comptage de Points sur des Variétés de Caractères Génériques

Énoncé du Problème
Le document traite de l'énumération des points sur les variétés de caractères associées aux groupes de surfaces poncturées et aux classes de conjugaison semi-simples régulières dans des groupes réductifs arbitraires $G$ sur des corps finis. Alors que la géométrie et la topologie des variétés de caractères de $GL_n$ sont bien comprises — grâce aux travaux fondamentaux de Hausel, Letellier et Rodriguez-Villegas [HRV08, HLRV1les] — la compréhension des variétés de caractères pour les groupes réductifs généraux est limitée. Plus précisément, les auteurs cherchent à déterminer le nombre de points $\mathbb{F}_q$ pour les variétés de caractères multiplicatives (associées au groupe fondamental d'une surface poncturée) et leurs analogues additifs (associés à l'algèbre de Lie $\mathfrak{g}$). L'étude se concentre sur des tuples « génériques » de classes de conjugaison, une condition garantissant que les variétés sont lisses et équidimensionnelles.

Méthodologie
Les auteurs emploient une combinaison de la théorie des représentations des groupes finis de type Lie, de la théorie de Deligne-Lusztig et de l'analyse harmonique sur les algèbres de Lie.

1. Cas Multiplicatif :

   • Le point de départ est la Formule de Masse de Frobenius, qui exprime le nombre de points sur la variété de représentation en termes de caractères complexes irréductibles du groupe fini $G(\mathbb{F}_q)$.
   • En utilisant l'hypothèse que les classes de conjugaison sont génériques et contiennent des éléments fortement réguliers, les auteurs appliquent un théorème de Deligne et Lusztig [DL76]. Cela restreint les caractères contributifs aux représentations de la série principale.
   • La somme sur les caractères est réorganisée en regroupant les représentations par « types » $\tau = [L, \rho]$, où $L$ est un sous-groupe d'endoscopie standard (un sous-groupe pseudo-Levi) et $\rho$ est un caractère irréductible du groupe de Weyl de $L$.
   • Les sommes de caractères sont évaluées par inversion de Möbius sur le poset des groupes d'endoscopie. Une étape cruciale consiste à analyser les stabilisateurs de l'action de Frobenius sur le tore dual, ce qui nécessite un changement de base fini pour garantir que certains groupes de composantes se scindent.

2. Cas Additif :

   • La variété de caractères additive est définie via l'algèbre de Lie $\mathfrak{g}$ et les orbites adjointes. Le problème de comptage est abordé via un analogue additif de la Formule de Masse de Frobenius, qui implique les transformées de Fourier des fonctions caractéristiques des orbites adjointes.
   • Les auteurs utilisent les résultats de Kazhdan et Letellier [Let05] pour évaluer ces transformées de Fourier. La non-annulation de la transformée est liée aux éléments « partiels » (split) dans l'algèbre de Lie.
   • Similairement au cas multiplicatif, la somme est décomposée par « types » $\tau = [L, N]$, où $L$ est un sous-groupe de Levi et $N$ est une orbite nilpotente.
   • L'évaluation repose sur les propriétés des fonctions de Green et des fibres de Springer. Les auteurs notent que pour les groupes possédant un facteur $E_8$, un changement de base quadratique peut être nécessaire pour garantir que le comptage de points est un polynôme.

Contributions Clés et Résultats

1. Comptage Polynomial pour les Variétés Multiplicatives :

   • Théorème 2 : Les auteurs prouvent que pour une variété de caractères générique $X$ associée à un groupe réductif $G$, il existe un entier positif $r$ tel que le nombre de points $|X(\mathbb{F}_{q^{rm}})|$ est donné par un polynôme $f_X(q^{rm})$ pour tout $m \geq 1$.
   • Propriété Palindromique : Le polynôme de comptage $f_X(t)$ est montré comme étant palindromique (coefficients symétriques). Cela suggère que la variété satisfait une dualité de Poincaré « curieuse » et une propriété de Lefschetz difficile « curieuse », soutenant une conjecture $P=W$ pour ces variétés.
   • Composantes Connexes : Le nombre de composantes connexes de $X$ est déterminé comme étant $|\pi_0(Z(\check{G}))|$, où $\check{G}$ est le groupe dual de Langlands.
   • Indépendance : Le polynôme $f_X$ dépend uniquement du groupe $G$, du genre $g$ et du nombre de ponctions $n$, mais est indépendant des classes de conjugaison génériques spécifiques choisies.

2. Comptage Polynomial pour les Variétés Additives :

   • Théorème 6 : Les auteurs établissent que la variété de caractères additive $Y$ est également de comptage polynomial, spécifiquement après un changement de base quadratique (c'est-à-dire $|Y(\mathbb{F}_{q^{2m}})| = f_Y(q^{2m})$).
   • Coefficients Non-Négatifs : Bien qu'une preuve générale fasse défaut en raison de l'absence de lien direct avec les variétés de quivers (qui n'existe que pour $GL_n$), les preuves computationnelles pour les groupes de rang inférieur à 7 suggèrent que les coefficients de $f_Y$ sont non-négatifs. Cela soutient la conjecture selon laquelle la cohomologie de $Y$ est pure.
   • Connexité : La variété additive $Y$ est prouvée comme étant connexe.

3. Formules Explicites et Exemples :

   • Le papier fournit des formules explicites de fonctions rationnelles pour les polynômes de comptage $f_X$ et $f_Y$ en termes de données de systèmes de racines, de caractères du groupe de Weyl et de polynômes de Green.
   • La section 7 présente des tables détaillées et des polynômes explicites pour les groupes de rang faible ($GL_n, SO_5, G_2, B_3, C_3, D_4, F_4, E_6$) et des valeurs spécifiques de genre et de ponctions.

Signification et Revendications
Le papier prétend généraliser les résultats séminaux de Hausel, Letellier et Rodriguez-Villegas du type $A$ ($GL_n$) à des groupes réductifs arbitraires.

• Insight Structurel : La démonstration que les variétés de caractères génériques sont de comptage polynomial et palindromiques fournit une forte preuve de propriétés topologiques profondes (structure de Hodge-Tate, dualité de Poincaré, Lefschetz difficile) dans le cadre réductif, reflétant le comportement connu pour $GL_n$.
• Analogue Réductif des Polynômes de Kac : Les polynômes de comptage pour les variétés additives sont proposés comme les analogues réductifs des polynômes de Kac pour les quivers en forme de comète. La non-négativité de leurs coefficients est conjecturée, liant la géométrie des variétés de caractères additives à la théorie des représentations des algèbres de Borcherds.
• Fondement pour de Futures Conjectures : Les auteurs notent que leurs résultats fournissent les données nécessaires pour formuler des conjectures concernant les polynômes de Hodge mixtes dans le cadre réductif, analogues aux formules de polynômes de Macdonald connues pour $GL_n$. Ils soulignent que prouver la non-négativité des coefficients pour un $G$ général reste un problème ouvert non trivial en raison de l'absence de correspondance directe avec les variétés de quivers.

Le travail repose largement sur l'hypothèse que le centre $Z(G)$ est connexe et que la caractéristique du corps est « très bonne » pour $G$. Les auteurs reconnaissent que relâcher l'hypothèse de centre connexe compliquerait les formules en raison des centralisateurs déconnectés dans le groupe dual, et que l'hypothèse de généricité est cruciale pour la lissité et l'équidimensionnalité des variétés.