Oort's conjecture on automorphisms of generic supersingular abelian varieties

Ce papier démontre la conjecture de Oort selon laquelle le groupe d'automorphismes d'une variété abélienne supersingulière générique est réduit à $\pm 1$, sauf dans le cas particulier où $g=2$ ou $3$et$p=2$, tout en fournissant une description explicite du lieu$a=1$ dans l'espace de Rapoport-Zink correspondant.

L'essentiel

Voici une explication de ce papier mathématique complexe, traduite en langage simple et imagé pour le grand public.

Le Titre : Une Chasse aux "Super-Héros" Mathématiques

Imaginez que les mathématiques soient un immense univers rempli de créatures appelées variétés abéliennes. Ce sont des formes géométriques très complexes qui vivent dans un monde spécial appelé "caractéristique $p$" (un peu comme un univers où les nombres se comportent différemment, un peu comme dans un jeu vidéo avec des règles physiques bizarres).

Parmi ces créatures, il y a une catégorie très spéciale : les variétés supersingulières. Ce sont les "super-héros" de ce monde, extrêmement puissants et rares.

Le problème que pose l'auteure, Eva Viehmann, est le suivant : Qui sont les gardiens de ces super-héros ?

En mathématiques, un "groupe d'automorphismes" est l'ensemble des façons dont on peut tourner, retourner ou déformer une créature sans changer son essence. C'est comme demander : "Combien de façons puis-je tourner une sphère parfaite pour qu'elle ressemble exactement à elle-même ?" (La réponse est : une infinité !). Mais pour ces variétés supersingulières, la question est : "Est-ce qu'elles ont beaucoup de gardiens, ou juste deux gardiens très stricts ?"

Le Conjecture d'Oort : La Règle du "Deux Gardiens"

Il y a quelques années, un mathématicien nommé Frans Oort a émis une hypothèse (une conjecture) :

"Pour la plupart de ces super-héros (sauf dans quelques cas très spécifiques), il n'y a que deux gardiens possibles : le gardien qui ne fait rien (l'identité) et le gardien qui retourne tout (le moins un, -1)."

Autrement dit, ces formes géométriques sont si rigides et si uniques qu'elles ne tolèrent presque aucune transformation. Elles sont comme des sculptures de glace parfaites : si vous essayez de les toucher différemment, elles fondent ou changent de forme.

Le but du papier : Eva Viehmann prouve que cette règle est vraie pour presque tous les cas, sauf pour deux situations très précises (quand la dimension est 2 ou 3 et que le nombre premier $p$ est 2). C'est comme dire : "Oui, la plupart des châteaux de sable sont si fragiles qu'un seul souffle les détruit, sauf si vous avez construit un château très petit avec du sable mouillé."

Les Outils de l'Enquête : La Loupe et le Miroir

Pour prouver cela, l'auteure utilise des outils mathématiques très puissants qu'elle transforme en métaphores :

1. Le "Locus a=1" (La zone de haute tension) :
   Imaginez que vous cherchez ces gardiens dans une immense forêt (l'espace de moduli). La plupart des arbres sont trop denses pour voir quoi que ce soit. Mais il y a une zone spéciale, appelée "locus a=1", où la forêt s'éclaircit. C'est ici que les règles sont les plus claires. L'auteure dit : "Si on trouve la réponse dans cette zone claire, on l'a trouvée pour toute la forêt." C'est comme chercher un trésor dans une grotte où la lumière du soleil pénètre directement.

2. Les Modules de Dieudonné (Les cartes au trésor) :
   Au lieu d'étudier les formes géométriques directement (ce qui est dur), elle les transforme en "cartes" mathématiques appelées modules de Dieudonné. C'est comme traduire une langue compliquée en une autre plus simple pour pouvoir la décoder. Elle étudie les "grilles" (lattices) sur ces cartes.

3. Le Groupe J (Les gardiens potentiels) :
   Elle imagine un grand groupe de gardiens potentiels (le groupe $J$). Elle doit montrer que, pour la plupart des points de la carte, seul le gardien "neutre" et le gardien "inversé" restent debout. Tous les autres gardiens sont éliminés parce qu'ils ne respectent pas les règles de la carte.

La Méthode : Comment elle a gagné la partie

L'auteure procède par étapes, comme un détective :

• Étape 1 : Réduire le problème. Elle montre qu'il suffit de regarder une seule "îlot" (une composante irréductible) de la forêt. Si la règle fonctionne ici, elle fonctionne partout.
• Étape 2 : Construire la carte. Elle décrit précisément comment sont faites ces cartes (les modules) dans cette zone spéciale. Elle utilise des équations pour dire : "Voici comment les gardiens doivent se comporter."
• Étape 3 : La preuve par l'absurde. Elle dit : "Supposons qu'il y ait un gardien bizarre qui fait des choses étranges." Ensuite, elle montre que si ce gardien existait, il faudrait que des nombres très spécifiques (des coordonnées sur sa carte) obéissent à des règles impossibles à satisfaire en même temps. C'est comme essayer de faire tenir un carré dans un cercle parfait : ça ne marche pas.
• Étape 4 : Le résultat. Elle prouve que pour presque tous les cas, le seul moyen de satisfaire les règles est d'avoir un gardien qui ne fait rien ou qui inverse tout.

Pourquoi c'est important ?

Ce papier est important car il ferme une porte dans le monde des mathématiques pures. Pendant des années, les mathématiciens se demandaient si ces formes géométriques "supersingulières" avaient des secrets cachés (des symétries cachées). Eva Viehmann dit : "Non, pour la plupart d'entre elles, elles sont simples et solitaires."

Elle a aussi étendu ce travail aux cas où il n'y a pas de "polarisation" (une sorte de règle de symétrie supplémentaire). C'est comme si elle disait : "Même si on enlève les barrières de sécurité, la règle reste la même : ces formes sont si uniques qu'elles ne tolèrent pas d'autres gardiens que les deux essentiels."

En résumé

Imaginez un grand bal où des milliers de danseurs (les variétés) tentent de danser. Oort a dit : "La plupart du temps, chaque danseur ne peut danser qu'avec son propre reflet (±1)." Eva Viehmann a pris une loupe, a étudié la piste de danse la plus étrange, a prouvé mathématiquement que les autres danseurs (les automorphismes complexes) ne pouvaient pas entrer dans la danse, sauf dans deux cas très particuliers. Elle a ainsi confirmé que la simplicité règne en maître dans ce monde complexe.

Résumé technique

Voici un résumé technique détaillé de l'article "Oort's Conjecture on Automorphisms of Generic Supersingular Abelian Varieties" d'Eva Viehmann, rédigé en français.

1. Contexte et Problématique

L'article traite d'une conjecture formulée par Frans Oort en 2001 concernant le groupe d'automorphismes des variétés abéliennes génériques situées sur le lieu supersingulier.

• Cadre : Soit $g \ge 1$ un entier et $p$ un nombre premier. On considère l'espace de modules $\mathcal{A}_g$ des variétés abéliennes principalement polarisées de dimension $g$ sur $\mathbb{F}_p$.
• Le lieu supersingulier ($S_g$) : C'est le stratifié de Newton fermé de $\mathcal{A}_g$, correspondant aux variétés dont le $p$-groupe divisible est isogène à un produit de $g$ copies du $p$-groupe divisible d'une courbe elliptique supersingulière.
• La Conjecture d'Oort : Pour $g \ge 2$, le groupe d'automorphismes $\text{Aut}(A_x, \lambda_x)$ d'une variété abélienne $(A_x, \lambda_x)$ générique sur le lieu supersingulier $S_g$ est réduit à $\{\pm 1\}$, sauf dans le cas exceptionnel où $(g, p) = (2, 2)$ ou $(3, 2)$.
• État des connaissances avant cet article : La conjecture avait déjà été démontrée pour plusieurs cas spécifiques (notamment $g=2, p>2$ ; $g=3, p>2$ ; $g=4$ ; et $g$ pair avec $p \ge 5$). L'objectif de ce travail est de prouver la conjecture pour tous les cas restants, couvrant ainsi toutes les dimensions $g$ et tous les caractéristiques $p$.

2. Méthodologie

La preuve repose sur une réduction géométrique et arithmétique sophistiquée, transformant le problème géométrique sur les variétés abéliennes en un problème algébrique sur les modules de Dieudonné.

A. Réduction aux $p$-groupes divisibles et uniformisation

1. Injection des automorphismes : Le groupe d'automorphismes d'une variété abélienne polarisée s'injecte dans celui de son $p$-groupe divisible associé. Il suffit donc d'étudier les automorphismes du $p$-groupe divisible générique.
2. Théorème d'uniformisation de Rapoport-Zink : L'auteur utilise l'uniformisation du lieu supersingulier par un espace de Rapoport-Zink formel $\mathcal{M}_g$. Cela permet de ramener l'étude du lieu générique à l'étude d'un composant irréductible spécifique de cet espace.
3. Réduction au cas $a=1$ : Le lieu où le nombre $a$ (défini par $\dim \text{Hom}(\alpha_p, X)$) vaut 1 est ouvert et dense dans $\mathcal{M}_g$. L'étude se concentre donc sur ce sous-ensemble $\mathcal{M}_g^\circ$.

B. Analyse des Modules de Dieudonné

Le problème est reformulé en termes de modules de Dieudonné $M$ sur l'anneau de Witt $\breve{\mathbb{Z}}_p$.

• Structure du module : Pour un point générique de $a=1$, le module $M$ est engendré par un seul élément $v$ sur l'anneau de Dieudonné $D$.
• Condition de dualité : La polarisation impose que le module $M$ soit auto-duel par rapport à un produit symplectique.
• Réduction à un réseau fixe : En utilisant le lemme de Zink, l'auteur associe à chaque $M$ un réseau $\tau$-stable $\Lambda_0 = M_\tau$ (le plus petit réseau stable par $\tau = p^{-1}F^2$ contenant $M$). Le groupe d'automorphismes de $M$ est un sous-groupe de celui de $\Lambda_0$.
• Paramétrisation explicite : L'article fournit une description coordonnée explicite des générateurs $v$ qui définissent des réseaux auto-duels. Cela implique de résoudre des systèmes d'équations non linéaires sur les coefficients $a_{i,l}$ du vecteur $v$ pour satisfaire la condition de dualité $\langle v, F^j v \rangle \in \breve{\mathbb{Z}}_p$.

C. Stratégie de preuve par induction sur la filtration

L'auteur démontre que pour tout automorphisme $j$ d'ordre fini stabilisant un réseau générique $M$, $j$ doit agir trivialement (à $\pm 1$ près) sur des quotients successifs $\Lambda_0 / \Pi^s \Lambda_0$.

• On procède par étapes pour $s=1, 2, 3$.
• Cas $s=1$ : On montre que l'action sur $\Lambda_0/\Pi \Lambda_0$ est un scalaire. L'indépendance linéaire des coordonnées génériques force ce scalaire à être invariant par le Frobenius, donc $\pm 1$.
• Cas $s=2$ et $s=3$ : On analyse les déviations par rapport à l'identité. En utilisant la liberté de choix des coefficients $a_{i,l}$ (sous réserve des contraintes de dualité), on montre que toute déviation non triviale briserait la stabilité du module $M$ pour un choix générique de paramètres. Cela repose sur l'analyse de déterminants de matrices de type Vandermonde généralisé et sur des propriétés de l'algèbre des divisions $D$.

3. Résultats Principaux

Théorème Principal (Théorème 1.1)

Pour tout couple $(g, p)$ différent de $(2, 2)$ et $(3, 2)$, il existe un sous-schéma ouvert dense $Y \subset S_g$ tel que pour tout point $x \in Y(\mathbb{F}_p)$, le groupe d'automorphismes de la variété abélienne polarisée $(A_x, \lambda_x)$ est exactement $\{\pm 1\}$.

Ce résultat complète la preuve de la conjecture d'Oort pour toutes les dimensions et toutes les caractéristiques.

Résultats Secondaires et Extensions

1. Description du lieu $a=1$ : L'article fournit une description explicite et complète du lieu $a=1$ dans l'espace de Rapoport-Zink pour les $p$-groupes divisibles supersinguliers polarisés de dimension arbitraire $g$. Cela inclut une paramétrisation précise des générateurs des modules de Dieudonné auto-duels (Proposition 3.16).
2. Cas non polarisé (Théorème 5.1) : L'auteur étend l'analyse aux $p$-groupes divisibles sans polarisation (correspondant au lieu de base d'une variété de Shimura unitaire de signature $(g, g)$).
   • Pour $g \ge 5$, le groupe d'automorphismes générique d'ordre fini est réduit aux scalaires dans $\mathbb{Z}_p^\times$.
   • Pour $g = 4$, le groupe est $\mathbb{Z}_p^\times + p\mathcal{O}_D$, où $\mathcal{O}_D$ est un ordre maximal dans l'algèbre de division sur $\mathbb{Q}_p$ d'invariant $1/2$.

4. Signification et Impact

• Résolution d'un problème ouvert : Ce travail clôt définitivement la conjecture d'Oort, un problème central dans la géométrie arithmétique des variétés abéliennes supersingulières.
• Outils nouveaux : La méthode développée, combinant l'analyse fine des coordonnées sur les composantes irréductibles des espaces de Rapoport-Zink et l'algèbre des modules de Dieudonné, offre un cadre puissant pour étudier les groupes d'automorphismes génériques.
• Généralisation : La preuve ne se limite pas au cas polarisé mais fournit des résultats analogues pour le cas non polarisé, éclairant la structure des lieux de base des variétés de Shimura unitaires.
• Précision des exceptions : L'article confirme rigoureusement pourquoi les cas $(2,2)$ et $(3,2)$ sont des exceptions (liés à la structure spécifique des groupes d'automorphismes en petite dimension et petite caractéristique), tandis que pour $g \ge 4$ (ou $g=2,3$ avec $p>2$), le comportement générique est "rigide" (seuls $\pm 1$).

En résumé, Eva Viehmann établit que, sauf pour de très petites dimensions et caractéristiques spécifiques, les variétés abéliennes supersingulières génériques n'admettent aucune symétrie supplémentaire au-delà de l'inversion, confirmant ainsi leur rigidité générique.