Neutral representations of finite diagonalizable group schemes and fields of moduli

1. Problématique et Contexte

L'article s'inscrit dans la théorie des champs de modules (fields of moduli), un concept introduit par Matsusaka et clarifié par Shimura, qui vise à déterminer si un objet géométrique $X$ (variété, courbe, etc.) défini sur une clôture algébrique $\bar{k}$ est défini sur son corps de modules $k$.

• Le problème fondamental : Soit $X$ une variété propre avec un groupe d'automorphismes fini. Il existe un gerbe résiduel $G_X \to \text{Spec } \ell$ (où $\ell$ est le corps de modules). La question est de savoir si ce gerbe est neutre, c'est-à-dire si $G_X(\ell) \neq \emptyset$. Si le gerbe est neutre, alors $X$ est défini sur $\ell$.
• Limites des travaux précédents : Dans un article antérieur [BV24b], les auteurs ont résolu ce problème en utilisant la notion de singularité R (R-singularity), reliant l'existence de points rationnels sur une résolution de singularités à la neutralité du gerbe. Cependant, cette approche ne couvre pas toutes les classes d'exemples, en particulier pour les groupes d'automorphismes cycliques d'ordre supérieur à 2 dans certaines configurations.

L'objectif de cet article est d'introduire une nouvelle notion, celle de représentation neutre, permettant d'élargir considérablement les classes de variétés définissables sur leur corps de modules, en se concentrant sur les groupes diagonisables finis.

2. Méthodologie et Concepts Clés

La méthodologie repose sur l'interaction entre la théorie des gerbes, la théorie des représentations et la cohomologie galoisienne.

A. Définition de la Représentation Neutre

Soit $G$ un schéma de groupe fini sur un corps $K$ et $V$ une représentation de $G$.

• On considère un gerbe $G$ (forme de la pile classifiante $BG$) et un fibré vectoriel $V \to G$ qui est une "forme" de $V$.
• Définition 2.1 : La représentation $V$ est dite neutre si, pour toute telle forme $(G, V)$, le gerbe $G$ est neutre (c'est-à-dire qu'il possède une section rationnelle).
• L'idée centrale est que si une représentation intrinsèque à une variété (comme $H^i(X, \mathcal{O}_X)$ ou l'espace tangent) est neutre, alors la variété elle-même est définie sur son corps de modules.

B. Décomposition "Blended" (Fusionnée)

Pour analyser les représentations de groupes diagonisables, les auteurs introduisent une décomposition fine :

• Soit $\hat{G}$ le groupe des caractères de $G$. Le groupe d'automorphismes $\text{Aut}_V G$ agit sur $\hat{G}$.
• Les orbites de cette action définissent des sous-espaces propres fusionnés (blended eigenspaces) $V_\omega = \bigoplus_{\chi \in \omega} V_\chi$.
• Cette décomposition est cruciale car elle est préservée par descente de Galois sur n'importe quelle forme du gerbe. Elle permet de réduire l'étude de la neutralité à l'étude de la descente de certains caractères.

C. Critères de Neutralité via la Cohomologie

Les auteurs établissent un lien entre la neutralité et les périodes et indices des classes de cohomologie associées aux gerbes.

• Une représentation est neutre si et seulement si elle n'a pas de primes critiques (primes $p$ divisant la période du gerbe).
• Théorème 6.4 & 6.5 : Ils fournissent des critères pour garantir qu'un caractère $\chi$ descend à une extension de corps de degré premier à $p$. Si les caractères descendants engendrent le groupe des caractères du $p$-Sylow de $G$, alors $p$ n'est pas critique.

3. Résultats Principaux

A. Critères Généraux pour les Groupes Diagonisables

• Théorème 6.4 : Donne une condition générale pour la neutralité basée sur la génération du groupe des caractères du $p$-Sylow par des caractères descendants.
• Corollaire 6.7 : Si $V$ est fidèle et que $|G|$ est premier avec $(\dim V)!$, alors $V$ est neutre.
• Corollaire 6.10 (Cas Cyclique) : Si $G$ est cyclique d'ordre $n$, $V$ est neutre si et seulement si pour tout diviseur premier $p$ de $n$, la différence $\dim V - \dim V^{H_p}$ n'est pas divisible par $p$, où $H_p$ est le sous-groupe d'ordre $p$.

B. Lien avec les Singularités R

• Théorème 3.2 : Établit une équivalence forte (sous certaines conditions d'absence de pseudo-réflexions) entre les représentations neutres et les singularités de type quotient $(V/G, [0])$ qui sont des singularités R.
• Cela permet de classifier de nouvelles singularités R en dimension 2 et 3 (travaux futurs cités [BY26]).

C. Applications Géométriques (Courbes et Variétés Pointées)

Les résultats sont appliqués pour prouver que certaines variétés sont définies sur leur corps de modules :

1. Courbes Projectives Lisses (Théorème 8.2) :
   Soit $X$ une courbe de genre $g \ge 2$ avec un groupe d'automorphismes cyclique d'ordre $n$ (premier à la caractéristique).

   • Condition : Pour tout diviseur premier $p$ de $n$, la différence entre le genre de $X$ et le genre de $X/H_p$ n'est pas divisible par $p$.
   • Conclusion : $X$ est défini sur son corps de modules.
   • Note : Ce résultat généralise les cas connus pour les courbes hyperelliptiques ($p=2$).

2. Variétés Pointées (Théorème 8.1) :
   Soit $(X, x_0)$ une variété propre avec un point lisse $x_0$ et un groupe d'automorphismes cyclique $\mu_n$.

   • Condition : Pour tout diviseur premier $p$ de $n$, la différence entre la dimension de $X$ en $x_0$ et la dimension du lieu fixe $X^{H_p}$ en $x_0$ n'est pas divisible par $p$.
   • Conclusion : Le couple $(X, x_0)$ est défini sur son corps de modules.

4. Signification et Impact

• Généralisation des résultats existants : Ces résultats étendent considérablement ceux de [BV24b]. Là où la méthode précédente nécessitait des conditions sur les singularités R (souvent restrictives), la méthode des représentations neutres fournit des critères numériques simples (basés sur les dimensions et les genres) pour des groupes cycliques.
• Nouvelle approche technique : L'introduction de la notion de "représentation neutre" et de la "décomposition fusionnée" offre un outil puissant pour étudier la descente de fibrés vectoriels sur des gerbes, indépendamment de la géométrie spécifique de la variété sous-jacente.
• Classification des singularités : Le lien établi avec les singularités R permet de classifier de nouvelles classes de singularités quotients qui sont "liftables" (possèdent une résolution avec un point rationnel), un problème central en géométrie algébrique.
• Portée : Bien que l'article se concentre sur les groupes diagonisables (et donc abéliens), la méthode ouvre la voie à l'étude de groupes non abéliens et à des dimensions supérieures, comme le suggèrent les travaux futurs mentionnés ([BY26]).

En résumé, cet article résout de manière élégante et générale le problème de la définition sur le corps de modules pour une large classe de variétés à symétries cycliques, en transformant un problème géométrique complexe en une condition algébrique vérifiable sur les dimensions des espaces propres de la représentation d'automorphismes.