Neutral representations in dimension $\leq 3$ and fields of moduli

1. Problématique et Contexte

L'article s'inscrit dans le domaine de la géométrie arithmétique et de la théorie des champs (stacks), en se concentrant sur le problème classique du corps de modules (field of moduli).

• Le problème : Étant donné une variété $X$ (ou une paire $(X, \xi)$ avec structure additionnelle) définie sur une clôture algébrique $K$, on cherche à déterminer si elle peut être définie sur son corps de modules $k(X, \xi)$. Ce corps est l'intersection de tous les corps de définition possibles.
• L'obstruction : L'obstruction à ce que $(X, \xi)$ soit définie sur $k(X, \xi)$ réside dans la neutralité d'un champ de gerbes $G_{(X, \xi)}$ associé. Si ce gerbe est "neutre" (c'est-à-dire s'il possède un point rationnel $G_{(X, \xi)}(k) \neq \emptyset$), alors la variété est définissable sur son corps de modules.
• Le lien avec les représentations : Les auteurs établissent que l'existence de certains fibrés vectoriels sur un gerbe force ce gerbe à être neutre. Plus précisément, une représentation $V$ d'un groupe algébrique $G$ est dite neutre si, pour toute forme tordue de la représentation (c'est-à-dire tout fibré vectoriel sur un gerbe tordu de $BG$), le gerbe sous-jacent possède un point rationnel.

L'objectif principal est de classifier les représentations neutres pour les groupes finis en dimensions faibles ($d \le 3$) et d'établir des critères généraux pour les groupes abéliens, afin de produire de nouveaux exemples de variétés définissables sur leur corps de modules.

2. Méthodologie

Les auteurs développent un cadre théorique sophistiqué combinant la théorie des gerbes, la cohomologie galoisienne et la théorie des représentations.

• Gerbes et Formes Tordues : Ils utilisent la correspondance entre les formes tordues d'une représentation $V$ de $G$ et les fibrés vectoriels sur des gerbes. Une représentation est neutre si tout tel fibré vectoriel provient d'un gerbe neutre.
• Le Théorème de Lang-Nishimura pour les empilements (Stacks) : C'est un outil central. Il permet de relier l'existence de points rationnels sur un champ tordu à l'existence de points sur son espace de modules grossier, sous réserve de conditions de régularité et de "tame" (tame quotient singularities).
• Le concept de "Gate" (Porte) : Pour simplifier l'étude des représentations d'un grand groupe $\Gamma$, les auteurs introduisent la notion de sous-groupe "porte" $\Pi \subset \Gamma$. Si $\Pi$ est une porte pour $G$, toute forme tordue de $BG \to B\Gamma$ se factorise à travers $B\Pi$. Cela permet de réduire l'étude à des sous-groupes plus petits et plus maniables (par exemple, des sous-groupes diagonaux ou des normalisateurs).
• Normalisateur de morphismes de gerbes : Un résultat abstrait majeur (Appendice A) définit le normalisateur d'un morphisme de gerbes $G \to H$. Ils montrent que ce normalisateur ne dépend que du type géométrique du morphisme et permet de factoriser les formes tordues.
• Analyse des sous-groupes diagonaux : Pour les groupes abéliens, ils analysent l'action du groupe de permutation des espaces propres sur le groupe des caractères. Si ce module de caractères est un facteur direct d'un module de permutation, la représentation est neutre.

3. Résultats Principaux

L'article présente trois résultats majeurs :

A. Classification complète en dimension $\le 3$ (Théorèmes 1.4 et 1.5)

Les auteurs classifient entièrement les représentations fidèles et neutres des groupes finis en dimension 1, 2 et 3 (en caractéristique 0 pour la dimension 3).

• Dimension 1 : Toute représentation fidèle d'un groupe fini est neutre.
• Dimension 2 : Une représentation de $G \subset GL_2$ n'est pas neutre si et seulement si $G$ est conjugué à un sous-groupe spécifique de $SL_2$ (inverse image d'un sous-groupe cyclique de $PGL_2$ d'ordre pair) et que la caractéristique n'est pas 2.
• Dimension 3 : C'est le résultat le plus nouveau. Une représentation de $G \subset GL_3$ n'est pas neutre si et seulement si $G$ est conjugué à l'un des types suivants :
  1. L'image inverse dans $SL_3^{(c)}$ d'un sous-groupe abélien de $PGL_3$ généré par des matrices diagonales spécifiques (liées à des singularités de type $R$).
  2. L'image inverse dans un groupe de blocs $SL_{(2,1)}^{(c_1, c_2)}$ d'un sous-groupe abélien spécifique.
  3. L'image inverse de certains groupes non abéliens finis ($H_2$ et $H_3$) dans $PGL_3$, avec une condition dépendante du corps de base (présence ou non d'une racine cubique de l'unité).

Observation clé : Les représentations non neutres sont l'exception. La grande majorité des représentations fidèles sont neutres, ce qui implique que la plupart des variétés avec un groupe d'automorphismes fini sont définissables sur leur corps de modules.

B. Critère général pour les groupes abéliens (Théorème 1.6)

Pour les sous-groupes diagonaux finis de $GL_n$ avec des espaces propres de dimension 1, les auteurs donnent un critère computationnel simple. Si l'action du groupe de permutation des espaces propres sur le quotient du groupe des caractères satisfait une condition de décomposition en module de permutation, alors la représentation est neutre. Ce résultat s'applique en toute dimension.

C. Normalisateur de morphismes de gerbes (Théorème 1.7)

Ils établissent l'existence et l'unicité du "normalisateur" d'un morphisme de gerbes fidèle $f: G \to H$. Ce normalisateur $N$ permet de factoriser toute forme tordue de $f$.

• Conséquence : Si le quotient $N/G$ est un groupe "spécial" (au sens de Serre, par exemple un tore ou un groupe unipotent), alors il n'existe pas de formes tordues non triviales. Cela généralise des résultats sur les représentations projectives et les hypersurfaces.

4. Applications et Signification

Les résultats de cet article ont des implications profondes dans plusieurs domaines :

1. Corps de modules de variétés :

   • En utilisant les théorèmes de classification, les auteurs démontrent que de nombreuses variétés (courbes, surfaces, variétés de dimension 3) sont définies sur leur corps de modules.
   • Par exemple, cela permet de résoudre des conjectures sur les courbes planes de degré impair et de traiter des cas de courbes avec des automorphismes d'ordre premier.
   • Les exemples 1.1 et 1.2 montrent comment la neutralité de l'action sur la cohomologie $H^p(X, \mathcal{O}_X)$ ou sur l'espace tangent d'un point marqué garantit la définition sur le corps de modules.

2. Singularités de quotient :

   • Il existe une équivalence entre la neutralité d'une représentation $V$ et le fait que la singularité de quotient $(\mathbb{A}^n/G, [0])$ soit de "type R" (c'est-à-dire que tout point rationnel sur une forme tordue se relève sur une résolution des singularités).
   • La classification en dimension 3 fournit donc la classification complète des singularités de quotient tamées de type R en dimension 3 et caractéristique 0.

3. Catégories Tannakiennes :

   • L'étude des représentations non neutres est équivalente à l'étude des objets dans les catégories Tannakiennes non neutres. Ce travail fournit des contraintes fortes sur les objets de telles catégories, un sujet peu exploré jusqu'alors.

4. Méthodologie nouvelle :

   • L'introduction du concept de "Gate" et la formalisation du normalisateur de morphismes de gerbes offrent de nouveaux outils puissants pour l'arithmétique des empilements (stacks), permettant de traiter des problèmes de descente et de formes tordues de manière plus systématique.

Conclusion

Cet article représente une avancée significative dans la compréhension des obstructions arithmétiques à la définition des variétés sur leur corps de modules. En classifiant les représentations neutres en basse dimension et en fournissant des outils théoriques généraux (normalisateurs de gerbes, portes), les auteurs démontrent que la neutralité est la règle plutôt que l'exception pour les groupes finis, ouvrant la voie à de nombreuses applications en géométrie algébrique et en théorie des nombres.