Introduction to Dieudonné modules and supersingular abelian varieties revisited

Cette note expose la théorie des modules de Dieudonné et revisite les variétés abéliennes supersingulières en fournissant une démonstration simple de l'unicité des produits de courbes elliptiques supersingulières ainsi que du théorème d'Oort sur les variétés abéliennes superspéciales.

L'essentiel

Le Grand Puzzle des Courbes Magiques : Une Explication Simplifiée

Imaginez que vous êtes un architecte qui construit des structures mathématiques appelées variétés abéliennes. Ce sont des formes géométriques très complexes, un peu comme des tores (des formes de beignets) qui existent dans des dimensions supérieures.

L'auteur de cet article, Chia-Fu Yu, nous emmène dans le monde de ces formes, mais avec une règle très stricte : nous travaillons dans un univers où les nombres se comportent différemment, dans un monde de caractéristique $p$ (comme si on ne comptait que par paquets de 5, 7, 13, etc.).

Dans ce monde, il existe des formes spéciales appelées variétés "supersingulières". C'est le sujet principal de l'article.

1. La Boîte à Outils : Les Modules de Dieudonné

Pour étudier ces formes géométriques sans se perdre, les mathématiciens utilisent une "traduction". C'est là qu'intervient le concept de Module de Dieudonné.

• L'analogie : Imaginez que la forme géométrique (la variété) est un objet 3D complexe et lourd. Le Module de Dieudonné est comme une photographie en noir et blanc ou un plan d'architecte simplifié de cet objet.
• Pourquoi c'est utile ? Au lieu de manipuler la forme lourde et compliquée, on manipule le plan (le module). Ce plan est fait de briques mathématiques (des nombres entiers) et de deux règles de transformation magiques :
  • F (Frobenius) : Une règle qui "gèle" ou transforme l'objet d'une certaine manière.
  • V (Verschiebung) : L'opposé, qui "dé-gèle" ou inverse la transformation.
• La règle d'or : Si vous appliquez F puis V (ou l'inverse), vous obtenez toujours le nombre $p$. C'est comme une balance parfaite : tout ce qui est poussé d'un côté doit être ramené de l'autre.

Grâce à cette traduction, l'auteur montre qu'on peut classer ces formes géométriques en regardant simplement leur "plan".

2. Le Mystère des Courbes Supersingulières

Dans ce monde, il existe des courbes elliptiques (des beignets à une dimension) qui sont "supersingulières". C'est un état très spécial où la courbe a perdu une certaine capacité de mouvement (elle n'a pas de points d'ordre $p$).

L'auteur s'intéresse à ce qui se passe quand on assemble plusieurs de ces courbes pour créer des formes plus grandes (des variétés de dimension 2, 3, etc.).

La grande question : Si je prends deux courbes supersingulières différentes, disons $E_1$ et $E_2$, et que je les assemble pour faire $E_1 \times E_2$, est-ce que cela donne la même forme que si je prenais deux autres courbes $E_3$ et $E_4$ pour faire $E_3 \times E_4$ ?

3. La Révolution : "Tout se ressemble"

C'est ici que l'article apporte sa preuve simple et élégante (le cœur du travail de l'auteur).

• L'analogie du Lego : Imaginez que toutes les courbes supersingulières sont des briques Lego d'une couleur unique, mais avec des motifs légèrement différents.
• Le résultat surprenant : L'auteur prouve que si vous prenez deux courbes supersingulières et que vous les assemblez, le résultat final est identique à celui obtenu avec n'importe quelle autre paire de courbes supersingulières.
• En termes simples : Peu importe quelles briques vous choisissez dans la boîte "supersingulière", si vous en mettez deux ensemble, vous obtenez toujours le même château.

C'est ce qu'on appelle le théorème de Deligne, Ogus et Shioda, que l'auteur redémontre ici avec des outils plus simples et plus directs.

4. Le Cas Spécial : Les Variétés "Superspéciales"

Il y a un cas encore plus spécial, appelé superspéciale.

• L'analogie : C'est comme si votre château de Lego était parfaitement symétrique et que chaque brique était parfaitement alignée.
• Le critère : Si votre forme géométrique a un nombre de "trous" ou de symétries maximal (ce qu'on appelle le nombre $a$), alors elle est superspéciale.
• La conclusion : L'auteur montre que toute forme superspéciale n'est rien d'autre qu'une copie parfaite d'un assemblage de courbes supersingulières. C'est comme dire : "Si votre maison est parfaite, c'est qu'elle est construite exactement avec les mêmes briques que n'importe quelle autre maison parfaite."

5. Pourquoi est-ce important ?

Cet article ne crée pas de nouvelles formules compliquées, mais il réorganise la boîte à outils.

1. Il explique comment utiliser les "plans" (Modules de Dieudonné) pour comprendre les formes géométriques.
2. Il prouve que, dans le monde supersingulier, la diversité apparente est une illusion : tout se ramène à quelques structures de base.
3. Il aide les mathématiciens à classer ces formes et à comprendre comment elles se comportent dans des espaces de paramètres (comme si on cartographiait toutes les maisons possibles d'un quartier).

En Résumé

Imaginez un grand musée rempli de sculptures abstraites. Certains visiteurs pensent que chaque sculpture est unique et incomparable.
Cet article dit : "Attendez ! Si vous regardez les sculptures avec nos lunettes spéciales (les modules de Dieudonné), vous verrez que toutes les sculptures 'supersingulières' sont en fait faites du même bloc de base. Et si vous en assemblez deux, peu importe lesquelles, vous obtenez toujours la même œuvre d'art."

C'est une histoire de classification, de simplification et de la beauté cachée derrière la complexité mathématique.

Résumé technique

Voici un résumé technique détaillé de l'article « Introduction to Dieudonné Modules and Supersingular Abelian Varieties Revisited » de Chia-Fu Yu, rédigé en français.

1. Problématique et Contexte

L'article vise à fournir un compte rendu expositif et pédagogique de la théorie des modules de Dieudonné, en mettant l'accent sur leurs applications arithmétiques aux variétés abéliennes supersingulières. Bien que l'article ne présente pas de résultats fondamentalement nouveaux (à l'exception du Lemme 27 et de ses applications), il propose des preuves alternatives, plus élémentaires et auto-contenues, de théorèmes classiques.

Les problèmes centraux abordés sont :

• La classification des variétés abéliennes supersingulières sur un corps algébriquement clos de caractéristique $p$.
• L'unicité des produits de courbes elliptiques supersingulières (théorème de Deligne, Ogus et Shioda).
• La caractérisation des variétés abéliennes superspéciales (théorème d'Oort).
• La relation entre la structure du groupe de $p$-divisibilité d'une variété et son isomorphisme, en particulier via l'anneau des endomorphismes local.

2. Méthodologie

L'auteur utilise une approche structurée combinant la théorie des modules de Dieudonné, la géométrie algébrique et la théorie des nombres (algèbres de quaternions, adèles).

• Théorie des Modules de Dieudonné : L'article commence par introduire les modules de Dieudonné sur un corps parfait $k$ de caractéristique $p$, définis comme des modules $W(k)$-libres munis d'opérateurs de Frobenius ($F$) et de Verschiebung ($V$) satisfaisant $FV = VF = p$. L'auteur établit l'équivalence de catégories entre les groupes $p$-divisibles et ces modules (Théorème 3).
• Classification par les Polygones de Newton : L'article utilise le théorème de Manin-Dieudonné pour décomposer les modules de Dieudonné sur un corps algébriquement clos en sommes directes de modules simples $N^{\lambda}_{k}$, caractérisés par leurs pentes rationnelles $\lambda$.
• Preuves Élémentaires : Une partie significative de la méthodologie consiste à fournir des preuves directes et élémentaires du théorème de Manin-Dieudonné (Section 3), en utilisant des espaces $F$ et des algèbres cycliques, évitant ainsi des outils plus lourds.
• Déformations et Moduli : L'auteur utilise la théorie des déformations (théorème de Serre-Tate) pour étudier les lieux de nombre $a$ (a-number) dans les espaces de modules de variétés abéliennes polarisées.
• Théorie des Groupes Algébriques et Approximation Forte : Pour les résultats sur l'unicité des isomorphismes, l'auteur utilise la théorie des groupes algébriques, les adèles, et le théorème d'approximation forte pour relier les classes d'idéaux à des quotients de groupes multiplicatifs.

3. Contributions Clés et Résultats

A. Fondements Théoriques

• Preuve du Théorème de Manin-Dieudonné : L'article offre une preuve complète et accessible de la classification des modules de Dieudonné sur un corps algébriquement clos, montrant que tout module se décompose en composantes de pente rationnelle unique.
• Nombre $a$ et Déformations : Une analyse détaillée du nombre $a(X) = \dim \text{Hom}(\alpha_p, X)$ est fournie, montrant comment ce nombre contrôle la rigidité des déformations. Le Lemme 24 établit que le lieu où $a(X) = g$ (dimension de la variété) est fini et étale sur $\mathbb{F}_p$.

B. Variétés Abéliennes Supersingulières et Superspéciales

• Équivalence des Définitions : L'article prouve l'équivalence entre une variété abélienne ayant une pente unique $1/2$ et une variété isogène à un produit de courbes elliptiques supersingulières (Proposition 26).
• Théorème d'Oort (Théorème 22) : Une preuve nouvelle et élémentaire est donnée pour le théorème stipulant que toute variété abélienne de dimension $g$ avec $a(X)=g$ est isomorphe à un produit de $g$ courbes elliptiques supersingulières.
• Théorème de Deligne-Ogus-Shioda (Théorème 23) : L'auteur redémontre que tout produit de $g$ courbes elliptiques supersingulières est isomorphe à tout autre produit de $g$ courbes supersingulières (pour $g > 1$). La preuve repose sur l'observation que si deux produits ont le même groupe $p$-divisible, ils sont isomorphes.

C. Résultats Nouveaux et Généralisations (Lemme 27 et suivants)

• Lemme 27 (Contribution Majeure) : L'auteur établit une bijection naturelle entre trois ensembles finis pour une variété supersingulière $X$ de dimension $g > 1$ :
  1. Les classes d'isomorphisme des variétés $X'$ ayant le même groupe $p$-divisible que $X$.
  2. Les classes d'idéaux à droite localement libres de l'anneau des endomorphismes $\text{End}(X)$.
  3. Le quotient $Z_p^\times / \text{Nr}(O_p^\times)$, où $\text{Nr}$ est la norme réduite.
     Cette généralisation relie la géométrie (isomorphisme de variétés) à l'arithmétique (classes d'idéaux et normes).
• Cas des Surfaces Supersingulières (Proposition 31) : Pour une surface supersingulière avec $a(X)=1$, l'auteur distingue deux cas (I et II) basés sur le paramètre de l'isogénie minimale. Il calcule explicitement la taille de l'ensemble $\Lambda_X$ (classes d'isomorphisme) :
  • Cas (I) : $|\Lambda_X| = |F_p^\times / (F_p^\times)^2|$.
  • Cas (II) : $|\Lambda_X| = 1$ (unicité).
• Détermination par le Groupe $p$-divisible : Le Corollaire 33 caractérise quand une variété est déterminée uniquement par son groupe $p$-divisible : cela se produit si et seulement si $X$ est supersingulière et que l'image de la norme réduite sur l'anneau des endomorphismes locaux est égale à $Z_p^\times$.

D. Conjecture d'Oort

L'article discute la conjecture d'Oort concernant le groupe d'automorphismes générique des variétés abéliennes. Il mentionne les résultats récents (Théorème 35) prouvant que pour $g=4$ ou $g$ pair avec $p \ge 5$, le groupe d'automorphismes générique est $\{\pm 1\}$.

4. Signification et Impact

• Pédagogie et Accessibilité : L'article rend la théorie complexe des modules de Dieudonné et des variétés supersingulières plus accessible en fournissant des preuves élémentaires de résultats profonds, servant de complément utile aux notes de cours existantes.
• Unification Arithmético-Géométrique : En établissant le Lemme 27, l'article renforce le lien entre la géométrie des espaces de modules (via les groupes $p$-divisibles) et la théorie des nombres (via les algèbres de quaternions et les normes adéliques).
• Outils pour la Recherche : Les résultats sur la détermination des variétés par leurs groupes $p$-divisibles (Corollaire 33 et Proposition 34) offrent des critères précis pour étudier la géométrie des espaces de modules $S_g$, en particulier pour les dimensions $g=2$ et $g=3$.
• Résolution de Cas Spécifiques : La classification complète des surfaces supersingulières non superspéciales (Cas I et II) et la détermination de leur nombre d'isomorphismes constituent une avancée concrète dans la compréhension fine de ces objets.

En résumé, cet article est une contribution significative à la théorie des variétés abéliennes en caractéristique $p$, offrant à la fois une clarification pédagogique des fondements et de nouveaux résultats techniques reliant la structure locale des endomorphismes à la géométrie globale des variétés supersingulières.