Sur les équations des plans projectifs faux avec groupe d'automorphismes d'ordre $21$

Informations fondamentales

• ID de l'article: 2109.02070
• Titre: Sur les équations des plans projectifs faux avec groupe d'automorphismes d'ordre $21$
• Auteur: Lev Borisov (Rutgers University)
• Classification: math.AG (Géométrie algébrique)
• Journal de publication: Épijournal de Géométrie Algébrique, Volume 7 (2023), Article No. 17
• Lien de l'article: https://arxiv.org/abs/2109.02070

Résumé

Cet article étudie les surfaces elliptiques de Dolgachev avec fibres doubles et triples, et trouve deux nouvelles paires d'équations explicites de plans projectifs faux possédant 21 automorphismes, complétant ainsi la recherche d'équations explicites pour les plans projectifs faux ayant ce groupe d'automorphismes. Cela inclut notamment le plan projectif faux découvert par J. Keum.

Contexte et motivation de la recherche

Contexte du problème

1. Origines de la théorie des plans projectifs faux: La théorie des plans projectifs faux provient de l'exemple célèbre de D. Mumford, qui a construit une surface de type général dont les nombres de Hodge sont identiques à ceux du plan projectif usuel $\mathbb{CP}^2$, mais la méthode de construction n'a pas fourni d'équations explicites.
2. Résultats de classification: Après les travaux de plusieurs chercheurs, D. Cartwright et T. Steger ont complété la classification de tous les plans projectifs faux, déterminant exactement 50 paires conjuguées de telles surfaces, réparties en 28 classes. Ces surfaces sont classifiées comme quotients libres de la boule complexe bidimensionnelle $B^2 = \{(z_1, z_2), |z_1|^2 + |z_2|^2 < 1\}$ par certains sous-groupes discrets arithmétiques.
3. Défi des équations explicites: Bien que la classification soit complète, elle ne conduit pas à des équations polynomiales, car il n'existe pas de méthode connue pour construire des formes automorphes explicites pour ces groupes.

Motivation de la recherche

1. Besoin d'explicitation: Récemment, l'auteur a participé à plusieurs projets collaboratifs visant à découvrir des équations polynomiales explicites définissant les plans projectifs faux et les surfaces connexes.
2. Rôle du groupe d'automorphismes: Les plans projectifs faux possédant un groupe d'automorphismes non trivial offrent une voie d'exploration, car la symétrie peut simplifier les calculs.
3. Achèvement de la classification: Selon la classification de Cartwright-Steger, l'ordre maximal du groupe d'automorphismes d'un plan projectif faux est 21, avec trois paires conjuguées de plans projectifs faux ayant un groupe d'automorphismes de cette taille. Cet article vise à trouver les équations explicites des deux paires restantes.

Contributions principales

1. Construction de deux nouvelles paires de plans projectifs faux: Découverte d'équations explicites pour deux paires de plans projectifs faux possédant 21 automorphismes
2. Achèvement de la classification du groupe d'automorphismes d'ordre 21: Incluant le plan projectif faux découvert par J. Keum, achèvement de la construction explicite de tous les plans projectifs faux avec groupe d'automorphismes d'ordre 21
3. Développement d'une nouvelle méthode de construction: Établissement d'un cadre de construction systématique par l'étude des surfaces elliptiques de Dolgachev
4. Fourniture d'équations polynomiales concrètes: Présentation explicite des plans projectifs faux définis dans $\mathbb{CP}^9$ par 84 équations cubiques

Explication détaillée de la méthode

Définition de la tâche

Recherche d'équations polynomiales explicites pour les plans projectifs faux avec groupe d'automorphismes d'ordre 21, en particulier:

• $(a = 7, p = 2, \{7\}, D_3^{27})$: Surface construite par Keum
• $(C_{20}, p = 2, \emptyset, D_3^{27})$: Troisième surface

Cadre de construction principal

1. Configuration géométrique

Pour tous les trois cas du groupe d'automorphismes d'ordre 21, le quotient minimal analytique $Y$ de $P^2_{fake}/C_7$ possède une structure géométrique spéciale:

• Trois singularités de type $\frac{1}{3}(1,7)$, permutées par l'action du $C_3$ résiduel
• La résolution minimale contient trois chaînes disjointes: $S - B - C$, $S_1 - B_1 - C_1$, $S_2 - B_2 - C_2$
• $Y$ se fibrise sur $\mathbb{CP}^1$, avec deux fibres multiples, trois fibres nodales et une fibre de type $I_9$

2. Analyse de la structure d'anneau

Considération de l'anneau $R = \bigoplus_{a,b \geq 0} H^0(Y, \mathcal{O}(aF + bS))$, calcul de sa série de Hilbert graduée: $\sum_{a,b \geq 0} \dim H^0(Y, \mathcal{O}(aF + bS)) s^b t^a = \frac{1+2st^4 +2st^5 + s^2t^9}{(1-t^2)(1-t^3)(1-s)(1-st^3)}$

Ceci montre que $R$ possède une structure de module libre de rang 6 sur l'anneau $\mathbb{C}[u_0, u_1, v_1, v_2]$.

Étapes de construction

Étape 1: Construction d'une famille à neuf paramètres

Construction d'une famille à neuf paramètres de surfaces de Dolgachev $(2,3)$ possédant une 6-section rationnelle $S$. Les membres génériques possèdent, en plus des fibres doubles et triples, 12 fibres nodales singulières distinctes. Les équations sont définies par neuf formes quadratiques de poids $3 \times (2,8)$, $3 \times (2,9)$ et $3 \times (2,10)$.

Étape 2: Réduction des paramètres

Construction de sous-familles à sept, cinq et deux paramètres avec conditions supplémentaires:

• Sept paramètres: la fibre spéciale contient une droite
• Cinq paramètres: la fibre spéciale contient deux droites disjointes
• Deux paramètres: nœuds spécifiés sur deux droites disjointes

Étape 3: Réduction sur corps finis

Recherche sur corps finis des choix de paramètres pour la surface $Y_0$, vérification que la surface résultante possède des singularités plus graves que des nœuds en deux points spéciaux. Le plus petit nombre premier réussi est 79.

Étape 4: Relèvement aux nombres algébriques

Relèvement progressif des paramètres en résolvant les conditions modulo les puissances de 79, puis identification comme nombres algébriques, construction de $Y_0$ sur un corps de degré 12, finalement réalisé sur $\mathbb{Q}(\sqrt{-7})$.

Étape 5: Analyse géométrique et revêtement septuple

Étude des caractéristiques géométriques de $Y_0$, recherche des courbes $S_1$ et $S_2$ et de l'action birationnelle de $C_3$. Construction de $P^2_{fake}$ en adjoignant les racines septièmes de fonctions rationnelles, calcul de son système linéaire bicanonique.

Étape 6: Identification et vérification

Identification des plans projectifs faux concrets par recherche de fibrés en droites de torsion, vérification qu'il s'agit bien de $(C_{20}, p = 2, \emptyset, D_3^{27})$.

Configuration expérimentale

Outils de calcul

• Logiciel principal: Mathematica (majorité des calculs)
• Logiciels auxiliaires: Magma, Macaulay2, PARI/GP, langage C
• Ressources informatiques: Cluster Amarel de l'Université Rutgers

Défis de calcul clés

1. Résolution de grands systèmes d'équations: Résolution de relations de compatibilité avec plus de 1600 équations et 92 inconnues
2. Recherche sur corps finis: Recherche exhaustive sur $\mathbb{F}_p^5$, nécessitant des calculs parallèles
3. Vérification de calcul symbolique: Vérification de la lissité de 84 polynômes cubiques

Résultats expérimentaux

Réalisations principales

1. Premier plan projectif faux: $(C_{20}, p = 2, \emptyset, D_3^{27})$

• Domaine de définition: $\mathbb{Q}(\sqrt{-7})$
• Plongement: Défini dans $\mathbb{CP}^9$ par 84 équations cubiques
• Vérification: Confirmation par recherche d'éléments $C_3$-invariants non réduits possédant au moins 21 éléments de 2-torsion non triviaux

2. Deuxième plan projectif faux: Construction de Keum

• Identification: Confirmation par élimination comme $(a = 7, p = 2, \{7\}, D_3^{27})$
• Construction: Utilisation de la deuxième famille à cinq paramètres, par méthode de recherche exhaustive
• Vérification: Même procédure de vérification confirmant qu'il s'agit d'un plan projectif faux

Réalisations techniques

1. Complexité de calcul: Traitement réussi de calculs symboliques extrêmement complexes, certaines formules intermédiaires dépassant plusieurs centaines de mégaoctets
2. Précision numérique: Réalisation d'une identification de nombres algébriques de haute précision par relèvement $p$-adique et algorithmes de réduction de réseau
3. Complétude de vérification: Vérification de la correction de la construction par plusieurs méthodes indépendantes

Travaux connexes

Développement historique

1. Mumford (1979): Premier exemple de plan projectif faux
2. Cartwright-Steger (2011): Théorie de classification complète
3. Série de travaux de Borisov et al.: Étude systématique des équations explicites

Position de cet article

• Achèvement de la construction explicite pour le cas du groupe d'automorphismes d'ordre 21
• Fondation pour la recherche d'équations du plan projectif faux de Mumford
• Développement d'une méthode générale de construction via surfaces elliptiques de Dolgachev

Conclusion et discussion

Conclusions principales

1. Découverte réussie d'équations explicites pour les trois paires de plans projectifs faux avec groupe d'automorphismes d'ordre 21
2. Développement d'une méthode de construction systématique basée sur les surfaces elliptiques de Dolgachev
3. Démonstration de l'efficacité de la méthode des corps finis dans les constructions explicites en géométrie algébrique

Limitations

1. Complexité de calcul: La méthode dépend de calculs symboliques massifs et de recherches numériques
2. Difficultés de généralisation: La généralisation directe de la méthode à d'autres cas de groupes d'automorphismes n'est pas évidente
3. Compréhension théorique: Manque d'explication théorique profonde de pourquoi cette construction spécifique fonctionne

Directions futures

1. Plan de Mumford: Utilisation des connaissances sur le plan de Keum pour rechercher les équations explicites du plan projectif faux de Mumford
2. Optimisation de la méthode: Recherche de variables plus simples permettant de simplifier les équations des surfaces de Dolgachev
3. Théorie générale: Développement d'un cadre théorique de construction explicite plus général

Évaluation approfondie

Avantages

1. Innovation technique: Combinaison ingénieuse de théorie de géométrie algébrique, algèbre computationnelle et méthodes numériques
2. Complétude: Achèvement d'une construction explicite d'un problème de classification important
3. Contribution méthodologique: Fourniture d'une méthode systématique pour traiter des problèmes similaires
4. Techniques de calcul: Démonstration de la puissance des outils informatiques modernes dans la recherche mathématique pure

Insuffisances

1. Profondeur théorique: Davantage une démonstration de techniques de calcul, manquant d'intuitions théoriques profondes
2. Lisibilité: L'abondance de détails techniques rend l'article difficile à comprendre
3. Généralité: Degré limité de généralisation de la méthode

Impact

1. Valeur académique: Fourniture d'exemples explicites importants pour la théorie des plans projectifs faux
2. Géométrie computationnelle: Avancement du développement de la géométrie algébrique computationnelle
3. Méthodologie: Fourniture d'un modèle pour les problèmes de construction explicite similaires

Domaines d'application

Cette méthode est particulièrement adaptée à:

1. Construction explicite de variétés algébriques possédant une symétrie riche
2. Problèmes géométriques nécessitant une combinaison d'analyse théorique et de calculs massifs
3. Recherche sur les plans projectifs faux et surfaces connexes

Références bibliographiques

L'article cite les références clés du domaine, incluant:

• La construction originale de Mumford
• Les travaux de classification de Cartwright-Steger
• Les recherches de Keum sur des plans projectifs faux spécifiques
• La série de travaux antérieurs de l'auteur sur les constructions explicites

Résumé: Cet article, par une analyse théorique ingénieuse et des calculs massifs, complète avec succès la construction d'équations explicites pour les plans projectifs faux avec groupe d'automorphismes d'ordre 21, fournissant une réponse complète à ce problème important de géométrie algébrique. Bien que la méthode soit complexe, son innovation technique et sa complétude en font une contribution importante au domaine.