A note on the Nielsen realization problem for Enriques manifolds

1. Contexte et Problématique

Le problème de la réalisation de Nielsen pose la question suivante : étant donné un groupe fini $G$ de classes d'isotopie (mapping classes) d'une variété complexe, peut-on relever ce groupe en un groupe de difféomorphismes préservant la métrique et la structure complexe ? En termes de géométrie, cela revient à savoir si $G$ fixe un point dans l'espace de Teichmüller.

Bien que ce problème ait été résolu affirmativement pour les courbes complexes (Kerckhoff, 1983) et récemment pour les surfaces K3 et les variétés hyper-Kähler (Farb-Looijenga, Billi, Raman), son extension aux variétés d'Enriques de dimension supérieure reste ouverte.

Une variété d'Enriques $Y$ est une variété complexe dont le revêtement universel $X$ est une variété hyper-Kähler. Le groupe fondamental $\pi_1(Y)$ est cyclique d'ordre $d$ (l'indice de la variété), noté $D$. Le papier se concentre sur les cas où $Y$ est un quotient libre $X/D$ de variétés hyper-Kähler de type $K3^{[n]}$ ou $Kum_n$.

2. Méthodologie et Outils Théoriques

L'auteur s'appuie sur trois piliers théoriques récents pour établir un critère de réalisation :

1. Théorie de Birman-Hilden pour les variétés hyper-Kähler : Un résultat récent de Raman ([Ram25]) établit que le revêtement $p: X \to Y$ possède la propriété de Birman-Hilden. Cela induit un isomorphisme entre le groupe des classes d'isotopie symétriques de $X$ (centralisateur de $D$) modulo $D$ et le groupe des classes d'isotopie de $Y$ :
   $$\tilde{p}: SMod_D(X)/D \xrightarrow{\sim} Mod(Y)$$
   Cela permet d'étudier les groupes de classes d'isotopie de $Y$ via leurs relèvements $\tilde{G}$ dans $SMod_D(X)$.

2. Invariants de réseau et action sur la cohomologie : Pour une variété hyper-Kähler $X$, le groupe des classes d'isotopie $Mod(X)$ agit sur le réseau de cohomologie $H^2(X, \mathbb{Z})$ muni de la forme quadratique de Beauville-Bogomolov-Fujiki ($\Lambda_X$). L'auteur utilise la représentation $\rho_X: Mod(X) \to O^+(\Lambda_X)$.

3. Critère de point fixe dans l'espace de Teichmüller : Un groupe fini $\tilde{G}$ fixe un point dans l'espace de Teichmüller des métriques d'Einstein si et seulement s'il préserve un sous-espace positif de dimension 3 dans $\Lambda_X \otimes \mathbb{R}$. Cela implique des contraintes sur la décomposition en représentations irréductibles du réseau sous l'action de $\tilde{G}$.

3. Contributions Principales et Résultats

A. Critère Numérique de Réalisation (Théorème 0.1)

Le résultat central de l'article est un critère nécessaire et suffisant pour qu'un sous-groupe fini $G \le Mod(Y)$ soit réalisable comme groupe d'isométries d'une métrique d'Einstein (et même Kähler-Einstein).

Soit $\tilde{G}$ le relèvement de $G$ dans $SMod_D(X)$. $G$ est réalisable si et seulement si :

1. $\tilde{G}$ fixe une composante connexe $C$ de l'espace de Teichmüller des métriques d'Einstein $T_{Ein}(X)$.
2. Le réseau orthogonal $L_{\tilde{G}}^\perp$ (défini à partir des sous-représentations irréductibles de $\tilde{G}$ dans $\Lambda_X$) contient la représentation triviale.
3. L'intersection $L_{\tilde{G}} \cap \Delta_C$ est vide, où $\Delta_C$ est l'ensemble des formes négatives indivisibles représentées par des courbes rationnelles irréductibles pour les métriques de la composante $C$.

Ce critère permet de déterminer concrètement la réalisabilité en analysant l'action cohomologique du relèvement.

B. Exemples de Réalisations et de Non-Réalisations

L'auteur applique ce critère aux exemples connus de variétés d'Enriques :

• Réalisations :

  • Pour les quotients de type $K3^{[n]}$ (indice 2), tout groupe fini $G$ contenu dans le sous-groupe de congruence $\Gamma_2^+(M)$ (noyau de la réduction modulo 2) est réalisable. Ces groupes se relèvent en automorphismes de la surface K3 sous-jacente.
  • Des groupes cycliques provenant de translations sur des surfaces abéliennes (cas $Kum_n$) sont réalisables et agissent trivialement sur le réseau de cohomologie torsion-free.

• Non-Réalisations :

  • L'article exhibe des involutions et des réflexions dans le réseau $\Lambda_Y$ qui sont des éléments de monodromie mais qui ne sont pas réalisables.
  • Exemple clé : Une involution agissant par $(-1)$ sur le générateur d'un facteur $[-(n-1)]$ du réseau. Bien que ce soit une isométrie de monodromie, le relèvement $\tilde{G}$ ne satisfait pas la condition $L_{\tilde{G}} \cap \Delta_C = \emptyset$ (le générateur appartient à $\Delta_C$), empêchant la réalisation par des isométries d'Einstein.
  • Ces éléments correspondent potentiellement à des twists de Dehn (difféomorphismes d'ordre infini dont le carré est isotrope à l'identité), similaires au cas des surfaces.

C. Extension Centrale Non Triviale (Proposition 0.2)

L'auteur répond partiellement négativement à une question de Raman concernant la structure du groupe des classes d'isotopie.

• Il démontre l'existence de variétés d'Enriques $Y$ (quotients de $Kum_n$ avec un indice $d$ composé, par exemple $d=4$) pour lesquelles l'extension centrale :
  $$1 \to D \to SMod_D(X) \to Mod(Y) \to 1$$
  n'admet pas de section.
• Cela implique que le groupe de cohomologie $H^2(Mod(Y), D)$ est non nul. La structure du groupe de classes d'isotopie de $Y$ n'est donc pas simplement le produit direct $Mod(Y) \times D$ dans ces cas.

4. Signification et Impact

Ce travail est significatif pour plusieurs raisons :

1. Généralisation dimensionnelle : Il étend la théorie de la réalisation de Nielsen, jusqu'alors principalement confinée aux surfaces (courbes, K3, Enriques classiques), aux variétés de dimension supérieure (variétés d'Enriques).
2. Outil de calcul : Le critère numérique fourni (Théorème 0.1) offre une méthode pratique pour tester la réalisabilité de groupes sans avoir à construire explicitement les métriques, en se basant uniquement sur l'algèbre linéaire du réseau de cohomologie.
3. Nuance structurelle : La découverte d'extensions centrales non triviales (Proposition 0.2) révèle une complexité structurelle inattendue dans les groupes de classes d'isotopie des variétés d'Enriques de dimension supérieure, reliant la topologie du groupe fondamental à la structure du groupe de mapping class.
4. Distinction entre topologie et géométrie : L'article met en lumière des éléments de $Mod(Y)$ qui sont topologiquement réalisables (comme des difféomorphismes) mais qui ne peuvent pas être réalisés par des isométries d'Einstein, soulignant la rigidité de la géométrie Kähler-Einstein par rapport à la topologie différentielle.

En résumé, Simone Billi fournit une caractérisation complète et calculable de la réalisation de Nielsen pour les variétés d'Enriques, tout en identifiant des obstructions subtiles liées à la structure du réseau de cohomologie et aux extensions de groupes.