On equations of fake projective planes with automorphism group of order $21$

Cet article présente les équations explicites de deux nouvelles paires de plans projectifs factices admettant un groupe d'automorphismes d'ordre 21, achevant ainsi la classification de ces objets et incluant celui découvert par J. Keum.

L'essentiel

🌌 Le Chasse aux "Planètes Fakes" : Une aventure mathématique

Imaginez que vous êtes un architecte cosmique. Votre mission est de construire des univers (des surfaces mathématiques) qui, à première vue, semblent être des planètes parfaites et ordinaires (comme notre espace projectif habituel), mais qui, si vous les examinez de très près, révèlent des secrets étranges et des structures cachées.

Ces objets sont appelés des plans projectifs factices (ou fake projective planes). Ils sont "fakes" parce qu'ils ont exactement les mêmes propriétés de base (comme le nombre de trous ou de dimensions) que la planète standard, mais ils sont en réalité des mondes totalement différents et beaucoup plus complexes.

L'auteur de cet article, Lev Borisov, a réussi à faire quelque chose de très difficile : il a trouvé les recettes exactes (les équations mathématiques) pour construire deux de ces mondes secrets.

1. Le problème : Trouver la recette d'un gâteau invisible

Pendant des décennies, les mathématiciens savaient que ces "mondes factices" existaient, un peu comme on sait qu'il existe des îles inconnues sur une carte. Mais personne ne pouvait donner les coordonnées GPS précises pour y aller. On savait qu'elles étaient là, mais on ne pouvait pas les dessiner sur une feuille de papier.

L'objectif de cet article est de passer de la théorie ("ça existe") à la pratique ("voici comment le construire").

2. La méthode : Construire une maison avec des pièces défectueuses

Pour trouver ces mondes, l'auteur utilise une stratégie ingénieuse qui ressemble à la construction d'une maison très particulière :

• L'étape 1 : Le squelette (Les surfaces de Dolgachev).
  Au lieu de construire le monde final d'un coup, l'auteur commence par construire une structure intermédiaire, un peu comme un squelette ou une charpente. Il crée une famille de structures qui ont des caractéristiques très précises : elles sont comme des rubans (des fibrations) avec des nœuds spéciaux. Imaginez un ruban de Möbius qui a deux nœuds serrés (un double et un triple) et un ruban plus lâche.

  Il écrit d'abord une "recette générique" qui permet de créer des milliers de ces structures, avec 9 ingrédients variables (des paramètres). C'est comme avoir une recette de gâteau où vous pouvez varier la quantité de sucre, de farine, d'œufs, etc.

• L'étape 2 : Le tri sélectif (Chasser les erreurs).
  Parmi ces milliers de structures, la plupart sont "trop parfaites" ou "trop imparfaites". L'auteur cherche spécifiquement celles qui ont des défauts précis à des endroits précis. Il veut que certaines parties de la structure se plient d'une manière très spécifique (comme si deux murs se touchaient pour former un angle très particulier).

  Pour trouver ces structures rares, il utilise une technique de "pêche au filet" dans un océan de nombres. Il teste des millions de combinaisons d'ingrédients dans un petit monde numérique (un champ fini, comme un jeu vidéo avec un nombre limité de pixels) pour voir si la structure s'effondre d'une manière intéressante.

• L'étape 3 : Le saut vers la réalité (De l'approximation à la vérité).
  Une fois qu'il a trouvé une combinaison qui fonctionne dans ce petit monde numérique (par exemple, avec le nombre 79), il utilise un outil mathématique puissant (l'approximation p-adique) pour "remonter" vers les nombres réels et complexes. C'est comme si vous aviez trouvé une ébauche de statue en argile dans un jeu vidéo, et vous utilisiez cette ébauche pour sculpter la statue finale en marbre réel.

3. La découverte : Deux nouveaux mondes

Grâce à cette méthode, l'auteur a réussi à isoler deux structures spéciales :

1. Le monde de Keum : Il a retrouvé une surface qui avait déjà été découverte par un autre mathématicien (J. Keum), mais cette fois-ci, il a pu écrire son équation exacte. C'est comme redécouvrir une île perdue et enfin pouvoir en dessiner la carte précise.
2. Le nouveau monde (C20) : Il a trouvé un tout nouveau monde factice qui n'avait jamais été décrit avec des équations. C'est une découverte originale.

4. L'identification : Le test de l'empreinte digitale

Comment savoir si le monde qu'il a construit est bien celui qu'il pense ? Il utilise une sorte de test d'empreinte digitale.
Chaque monde factice a un "groupe d'automorphismes", ce qui est une façon mathématique de dire : "De combien de façons peut-on tourner ou retourner ce monde sans qu'il change d'apparence ?"

• Certains mondes peuvent être retournés de 21 façons différentes.
• L'auteur vérifie que son nouveau monde a exactement ces 21 façons de se retourner.
• Ensuite, il regarde les "torsions" (des pliages subtils) de l'espace. En trouvant trop de ces pliages, il prouve que son monde n'est pas l'ancien (celui de Keum) mais bien le nouveau (C20).

5. Le résultat final : Une carte au trésor

À la fin du processus, l'auteur a produit une liste de 84 équations cubiques (des formules mathématiques complexes) qui, si on les trace dans un espace à 10 dimensions, dessinent exactement ce monde factice.

C'est comme si, après des années de recherche, il avait enfin écrit la recette exacte d'un gâteau qui n'avait jamais été goûté, permettant à d'autres mathématiciens de le cuisiner et de l'étudier à leur tour.

En résumé

Cet article est le récit d'une chasse au trésor mathématique. L'auteur a utilisé des ordinateurs puissants, des astuces de "pêche" dans des mondes numériques et des techniques de reconstruction sophistiquées pour transformer des concepts abstraits en équations concrètes. Il a non seulement confirmé l'existence d'un monde connu, mais il en a découvert un nouveau, offrant ainsi une nouvelle fenêtre sur l'univers caché des géométries complexes.

Résumé technique

Voici un résumé technique détaillé de l'article « On equations of fake projective planes with automorphism group of order 21 » de Lev Borisov, publié dans l'Épijournal de Géométrie Algébrique.

1. Problématique et Contexte

Les plans projectifs faux sont des surfaces de type général possédant les mêmes nombres de Hodge que le plan projectif complexe $\mathbb{CP}^2$, mais qui ne sont pas isomorphes à celui-ci. Bien que la classification de tous ces plans (50 paires conjuguées réparties en 28 classes) ait été achevée par Cartwright et Steger, la plupart de ces surfaces n'avaient pas d'équations polynomiales explicites. La construction de Mumford, par exemple, était purement existentielle.

L'objectif de cet article est de fournir des équations polynomiales explicites pour deux nouvelles paires de plans projectifs faux possédant un groupe d'automorphismes d'ordre maximal, à savoir 21. Ce groupe est le produit semi-direct d'un sous-groupe normal $C_7$ et d'un sous-groupe non normal $C_3$. Les deux surfaces ciblées sont :

1. Le plan projectif faux découvert par J. Keum (classe $(a=7, p=2, \{7\}, D_{327})$).
2. Une nouvelle paire de plans projectifs faux (classe $(C_{20}, p=2, \emptyset, D_{327})$).

2. Méthodologie

L'auteur adopte une approche constructive basée sur la géométrie des surfaces de Dolgachev et l'utilisation intensive de l'informatique algébrique (Mathematica, Magma, Macaulay2, C). La stratégie se décompose en plusieurs étapes clés :

A. Analyse des surfaces de Dolgachev (2,3)

L'approche repose sur l'étude de surfaces $Y$ fibrées en courbes de genre 1 sur $\mathbb{CP}^1$, possédant :

• Une fibre double $2F_3$et une fibre triple$3F_2$.
• Une section rationnelle $S$ de degré 6.
• Une fibre spéciale de type $I_9$ (un cycle de 9 courbes rationnelles).
  Le quotient de la surface par le sous-groupe $C_7$ de son groupe d'automorphismes possède une résolution minimale $Y$ avec une géométrie spécifique (trois chaînes de courbes et une fibration particulière).

B. Construction de la famille paramétrée

L'auteur postule une structure de module libre pour l'anneau des sections $R = \bigoplus H^0(Y, \mathcal{O}(aF + bS))$.

• Il définit une famille à 9 paramètres de surfaces de Dolgachev (2,3) avec une section rationnelle.
• Les équations de cette famille sont données par 9 quadriques de poids spécifiques dans un espace projectif pondéré.
• En imposant des conditions de associativité sur les relations quadratiques (les quadriques), il résout un système de plus de 1600 équations avec 92 inconnues pour réduire la famille à 9 paramètres libres.

C. Réduction aux familles spéciales et recherche de singularités

Pour isoler les surfaces correspondant aux plans projectifs faux, l'auteur impose des conditions géométriques supplémentaires sur la fibre spéciale (présence de lignes disjointes, singularités nodales spécifiques) :

1. Réduction à une famille à 5 paramètres (deux lignes disjointes dans la fibre spéciale).
2. Imposition de conditions de singularité aux points d'intersection ($p_1, p_3, p_4$) pour obtenir une famille à 2 paramètres.
3. Recherche sur corps finis : Comme les équations directes deviennent trop complexes, l'auteur effectue une recherche sur des corps finis $\mathbb{F}_p$. Il cherche des paramètres tels que la surface réduite modulo $p$ présente des singularités "pires que nodales" (de type $\frac{1}{3}(1,2)$) aux points attendus. La première solution est trouvée pour $p=79$.

D. Relèvement et reconstruction

• Relèvement p-adique : Les solutions trouvées modulo 79 sont relevées vers des approximations $p$-adiques (jusqu'à $79^{101}$).
• Reconnaissance algébrique : Un algorithme de réduction de réseau est utilisé pour identifier les paramètres comme des nombres algébriques de degré 12, définis sur le corps $\mathbb{Q}(\sqrt{-7})$.
• Construction du revêtement : Une fois la surface $Y_0$ (modèle birationnel) construite, l'auteur calcule le revêtement galoisien de degré 7 (ramifié sur les courbes spéciales) qui donne le plan projectif faux $P^2_{fake}$.
• Identification : Pour distinguer entre les deux classes possibles (Keum vs la nouvelle classe), l'auteur étudie le groupe de torsion du groupe de Picard. En cherchant des éléments de torsion $C_3$-invariants dans le système linéaire bicanonique $|2K|$, il détermine la structure du groupe de torsion ($C_2^6$ pour la nouvelle classe, contrairement à $C_2^3$ pour Keum).

3. Résultats Principaux

1. Équations explicites : L'article fournit les équations polynomiales explicites pour deux nouvelles paires de plans projectifs faux.
   • La première paire correspond à la classe $(C_{20}, p=2, \emptyset, D_{327})$. Elle est définie par l'intersection de 84 équations cubiques dans $\mathbb{CP}^9$.
   • La seconde paire correspond au plan de Keum (classe $(a=7, p=2, \{7\}, D_{327})$), confirmant et explicitant sa construction antérieure.
2. Structure de l'anneau : Démonstration de la structure de module libre de l'anneau des sections pour les surfaces de Dolgachev associées, permettant la génération des équations via des relations quadratiques.
3. Méthode de détermination de la classe : Utilisation innovante de la recherche d'éléments de torsion non réduits modulo un nombre premier (ici 29) pour identifier la classe de Cartwright-Steger d'une surface construite explicitement.
4. Données annexes : Les équations complètes, trop volumineuses pour le corps du texte, sont disponibles dans un fichier de données externe ([Bor22+]), incluant les quadriques, les paramétrisations des courbes $S, S_1, S_2$ et les automorphismes d'ordre 3.

4. Signification et Impact

• Avancée vers Mumford : Bien que les équations du plan de Mumford lui-même ne soient pas encore trouvées, ce travail fournit un modèle crucial. Le plan de Keum est commensurable à celui de Mumford, et la compréhension de la structure de Keum ouvre la voie à la résolution du problème de Mumford (notamment via l'étude des revêtements non galoisiens de degré 7).
• Preuve de concept : L'article démontre qu'il est possible de passer de la classification arithmétique abstraite (Cartwright-Steger) à des équations polynomiales concrètes pour des surfaces de type général complexes, en combinant géométrie algébrique théorique et calcul intensif.
• Outils pour la communauté : La méthodologie développée (recherche sur corps finis, relèvement p-adique, identification de torsion) constitue une boîte à outils puissante pour l'étude d'autres surfaces de type général et de leurs quotients.

En résumé, cet article représente une percée majeure dans la géométrie algébrique effective, transformant des objets théoriques bien classifiés en objets calculables et vérifiables, tout en clarifiant la structure des plans projectifs faux à symétrie maximale.