Surfaces K3 avec deux involutions et nombre de Picard faible

Informations fondamentales

• ID de l'article: 2210.14623
• Titre: K3 surfaces with two involutions and low Picard number
• Auteurs: Dino Festi, Wim Nijgh, Daniel Platt
• Classification: math.AG (géométrie algébrique), math.DG (géométrie différentielle), math.NT (théorie des nombres)
• Date de publication: 13 février 2024 (v2)
• Lien de l'article: https://arxiv.org/abs/2210.14623

Résumé

Cet article étudie les surfaces K3 algébriques complexes possédant deux involutions, l'une holomorphe et l'autre antiholomorphe. Pour une surface K3 X de degré 2d et nombre de Picard ρ, les auteurs établissent que si d=1 alors ρ≥1, et si d≥2 alors ρ≥2. Ils construisent de nouveaux exemples explicites de surfaces K3 définies sur le corps des rationnels, réalisant le nombre de Picard minimal ρ=2 pour d=2,3,4. De plus, ils démontrent que les surfaces quartiques avec nœuds peuvent réaliser le nombre de Picard minimal ρ=2 pour une infinité de valeurs distinctes de d. Enfin, ils renforcent un résultat de Morrison en prouvant que pour tout réseau pair N de rang 1≤r≤10 et signature (1,r-1), il existe une surface K3 Y définie sur le corps des réels telle que Pic Y_C = Pic Y ≅ N.

Contexte et motivation de la recherche

Contexte du problème

1. Motivation géométrique: Les surfaces K3 jouent un rôle crucial en géométrie différentielle, particulièrement dans la construction de variétés G₂. Les constructions de Joyce-Karigiannis et Kovalev-Lee nécessitent des surfaces K3 possédant deux involutions — une involution holomorphe non-symplectique et une involution antiholomorphe.
2. Applications physiques: L'étude de l'espace des modules des métriques G₂ via le programme de Donaldson-Thomas nécessite de compter les instantons G₂, qui peuvent être construits à partir de fibrés stables sur les surfaces K3. La vérification de la stabilité des fibrés devient numériquement plus difficile à mesure que le nombre de fibrés en droites (c'est-à-dire le nombre de Picard) augmente.
3. Question théorique: Pour une surface K3 de degré donné, quel est le nombre de Picard minimal si l'on exige simultanément une involution holomorphe et une involution antiholomorphe? C'est la question théorique centrale de cet article.

Importance de la recherche

• Construction géométrique: Les exemples de surfaces K3 avec nombre de Picard faible sont essentiels pour construire des variétés G₂ et les instantons qui les habitent
• Efficacité computationnelle: Un nombre de Picard faible rend la vérification de la stabilité numériquement plus traitable
• Complétude théorique: Fournir une caractérisation complète des bornes inférieures du nombre de Picard pour les surfaces K3 avec involutions

Limitations des méthodes existantes

• Elsenhans-Jahnel (2008) ne fournissent que des exemples avec d=1 et ρ=1
• L'exemple de Kondō, bien qu'il réalise ρ=2 pour tous les d≥2, n'existe qu'en un seul exemplaire
• Absence de méthodes de construction explicites pour différents degrés
• Le résultat de Morrison s'applique uniquement aux surfaces K3 sur le corps des complexes

Contributions principales

1. Complétude théorique (Théorème 1.1): Réponse complète au problème du nombre de Picard minimal pour les surfaces K3 avec deux involutions:
   • Pour d=1: ρ≥1, avec existence d'exemples ρ=1 définis sur ℚ
   • Pour d>1: ρ≥2, avec existence d'exemples ρ=2 définis sur ℚ
2. Nouvelles constructions explicites:
   • Surfaces K3 de degré 4 et 8, réseau de Picard 4 5 2 (§6)
   • Surface K3 de degré 6, réseau de Picard 6 6 2 (§7)
   • Surfaces K3 de degré 2d (d>3), réseau de Picard 2 d+1 2d (§8)
3. Familles infinies d'exemples: Démonstration que les surfaces quartiques avec nœuds réalisent ρ=2 pour une infinité de valeurs distinctes de d (§4)
4. Résultat renforcé sur le corps des réels (Corollaire 8.3): Pour tout réseau pair N de rang 1≤r≤10 et signature (1,r-1), il existe une surface K3 Y définie sur ℝ satisfaisant Pic Y_C = Pic Y ≅ N
5. Ressources computationnelles: Code Magma fourni pour la construction et la vérification de ces exemples

Détail des méthodes

Formulation de la tâche

Étant donné un entier positif d, construire une surface K3 X de degré 2d et nombre de Picard 2 telle que:

1. X soit définie sur le corps des rationnels ℚ (ou le corps des réels ℝ)
2. X possède une involution holomorphe ι
3. X possède une involution antiholomorphe σ (fournie automatiquement par la définition sur ℝ)
4. Les deux involutions commutent

Observation clé (Remarque 1.3)

Équivalence fondamentale: Une surface K3 complexe possède des involutions holomorphe et antiholomorphe qui commutent si et seulement si la surface K3 algébrique sous-jacente peut être définie sur ℝ et possède un automorphisme d'ordre 2.

Stratégie de construction: Chercher une surface K3 définie sur ℝ possédant un diviseur ample D d'auto-intersection D²=2. Un tel diviseur fournira l'automorphisme d'ordre 2 requis (Lemme 3.1).

Méthode I: Revêtements doubles du plan (§3)

Rôle clé du Lemme 3.1: Si une surface K3 X possède un diviseur ample H d'auto-intersection H²=2, alors X est isomorphe à un revêtement double du plan ℙ² ramifié le long d'une courbe sextique lisse.

Involution du revêtement double: Pour une surface K3 définie par l'équation w²=f(x,y,z) dans l'espace projectif pondéré ℙ(1,1,1,3), l'involution est donnée par: $ι: (x:y:z:w) \mapsto (x:y:z:-w)$

Exemple 3.4: Construction d'un exemple avec réseau de Picard ⟨2⟩ et X₂ avec vérification que ρ=1 par réduction modulo des nombres premiers:

• Calcul du réseau de Picard réduit modulo 5 et modulo 13
• Utilisation de detPicX₂,₅ ≢ detPicX₂,₁₃ mod Q² pour déduire ρ(X₂)=1

Méthode II: Surfaces quartiques avec nœuds (§4)

Idée de construction:

1. Partir d'une surface quartique X ⊂ ℙ³ possédant un unique nœud
2. Obtenir un modèle lisse S par éclatement du nœud
3. Le réseau de Picard contient ⟨H,E⟩≅4 0 -2, où H est une section hyperplane et E est le diviseur exceptionnel

Technique clé (Proposition 4.4): Pour d>2 avec 2 résidu quadratique modulo d, il existe une classe primitive ample D∈PicS satisfaisant D²=2d.

Méthode de l'équation de Pell: Le problème se réduit à la résolution de l'équation de Pell $y² - 2x² = -d$ En utilisant le résultat de Lagrange, cette équation possède une solution si et seulement si y²-2x²=±1 possède une solution (ce qui est toujours vrai).

Argument du groupe de Weyl: Via l'action transitive du groupe de Weyl, les solutions du cône positif sont mappées dans le cône ample.

Exemple 4.7: Fourniture d'une surface quartique avec nœud explicitement définie sur ℚ, avec vérification que le modèle lisse possède un nombre de Picard égal à 2.

Méthode III: Surfaces quartiques lisses contenant des courbes spécifiques (§5-6)

Théorème 5.1 (Mori, Knutsen): Il existe une surface quartique lisse X contenant une courbe lisse C de degré e et genre g si et seulement si:

• g = e²/8 + 1, ou
• g < e²/8 et (e,g)≠(5,3)

Proposition 5.2: Si e>4, une surface quartique X contient une courbe lisse C de genre 2 et degré e avec PicX=⟨H,C⟩, alors C est ample et X possède une involution holomorphe induite par le système linéaire |C|.

Méthode de construction (Remarque 6.5):

1. Construire dans ℙ¹×ℙ¹ une courbe C' de bidegré (2,3) et genre 2, et une courbe D' de bidegré (2,1) et genre 0
2. Via l'application de Segre, mapper vers une surface quadrique Q⊂ℙ³
3. L'image C∪D de l'union est définie par un polynôme quartique
4. Vérifier la lissité et le nombre de Picard

Exemple 6.1 (X₄): Construction explicite d'une surface quartique de degré 4 contenant une courbe C de degré 5 et genre 2, avec réseau de Picard 4 5 2.

Formule explicite de l'involution (Remarque 6.6): L'involution ι est donnée par une expression polynomiale de degré 9 via le système linéaire |9H-5D|.

Autres modèles:

• |C| fournit un modèle de revêtement double de ℙ² noté X'₂
• |3H-C| fournit un modèle dans ℙ⁵ comme intersection de trois quadriques X₈

Méthode IV: Intersection d'une quadrique et d'une cubique (§7)

Stratégie de construction: Dans ℙ⁴, chercher une surface K3 définie par une quadrique x₄²=f et une cubique l₁g₁+l₂g₂+l₃g₃=0.

Exemple 7.1 (X₆): Fourniture explicite d'une surface K3 de degré 6 contenant une courbe C₆ de degré 6 et genre 2, avec réseau de Picard 6 6 2.

Argument de théorie des réseaux (Lemme 7.4): Le réseau 6 6 2 ne représente aucun nombre d≡4 mod 6, en particulier pas -2, donc ne contient pas de courbe rationnelle lisse, et le cône ample égale le cône positif.

Méthode V: Construction générale sur le corps des réels (§8)

Renforcement du résultat de Morrison (Proposition 8.2): Pour tout sous-réseau primitif N d'un réseau pair de rang r et signature (1,r-1), il existe une surface K3 X définie sur ℝ satisfaisant PicX=PicX_C≅N.

Étapes de construction:

1. Trouver un plongement primitif de N dans Λ:=U⊕²⊕E₈(-1)⊕²
2. Choisir w₋ dans N⊥⊗ℝ tel que w₋²>0
3. Choisir w₊ dans U⊗ℝ tel que w₊²=w₋²
4. Construire w:=w₊+iw₋ satisfaisant la condition de Riemann
5. Par surjectivité de l'application des périodes, obtenir une surface K3 Y
6. Définir l'involution τ=id⊕(-id) sur ΛK₃=U⊕Λ
7. Vérifier que τ satisfait les conditions du théorème 8.1, obtenant un modèle défini sur ℝ noté X

Existence de points réels: Via le calcul de la caractéristique d'Euler χ(X(ℝ))=-16≠0, on démontre X(ℝ)≠∅.

Application (Proposition 8.5): Pour d>3, il existe une surface K3 définie sur ℝ avec réseau de Picard 2 d+1 2d, engendré par deux classes amples.

Configuration expérimentale

Outils computationnels

Cet article utilise le système d'algèbre computationnelle Magma pour la vérification numérique et la construction. Tout le code est disponible publiquement sur: https://github.com/danielplatt/quartic-k3-with-involution

Méthodes de vérification

Calcul de la borne supérieure du nombre de Picard (§2.3):

1. Choisir des nombres premiers de bonne réduction p
2. Calculer le nombre de Picard de la surface réduite X_p
3. Utiliser le plongement PicX_C → PicX_{p,F̄_p} pour obtenir une borne supérieure
4. Utiliser le polynôme caractéristique du Frobenius et la conjecture de Tate (prouvée par Kim-Pera)

Implémentation concrète:

• Pour les surfaces K3 de degré 2: utiliser les fonctions Magma intégrées d'Elsenhans-Jahnel
• Stratégie de vérification: calculer pour différents nombres premiers, utiliser les différences de discriminants modulo Q² pour exclure les nombres de Picard élevés

Ensemble de données

Cet article ne concerne pas un ensemble de données au sens traditionnel, mais plutôt la construction d'objets géométriques algébriques spécifiques. Chaque exemple est vérifié par:

1. Définition des équations
2. Vérification de la lissité
3. Calcul du nombre de Picard
4. Vérification de l'existence des involutions

Résultats expérimentaux

Résultats principaux

Preuve complète du Théorème 1.1:

• d=1: l'exemple 3.4 fournit ρ=1 (réseau de Picard ⟨2⟩)
• d≥2: la surface K3 elliptique de Kondō X₆₆ réalise ρ=2 pour tous les d>1 (réseau de Picard U=0 1 0)

Vérification des nouveaux exemples:

1. Exemple 3.4 (X₂, degré 2):
   • Réseau de Picard: ⟨2⟩ (ρ=1)
   • Vérification: rank(PicX₂,₅)=rank(PicX₂,₁₃)=2, mais detPicX₂,₅≢detPicX₂,₁₃ mod Q²
   • Conclusion: ρ(X₂)=1
2. Exemple 4.7 (quartique avec nœud, degré 2d):
   • Réseau de Picard: 4 0 -2 (ρ=2)
   • Vérification: réduction modulo 5 montre ρ=2
   • Degrés réalisables: d∈{7,14,17,23,31,34,41,46,47,49,62,71,73,79,82,89,94,97,98,...} (2 est résidu quadratique modulo d)
3. Exemple 6.1 (X₄, degré 4):
   • Réseau de Picard: 4 5 2 (ρ=2)
   • Contient une courbe C de degré 5 et genre 2
   • Vérification: réduction modulo 2 montre ρ≤2
   • Involution: ι*(H)=-H+5C, ι*(C)=C
4. Exemple 7.1 (X₆, degré 6):
   • Réseau de Picard: 6 6 2 (ρ=2)
   • Contient une courbe C₆ de degré 6 et genre 2
   • Vérification: réduction modulo 7 montre ρ≤2
   • Non-représentabilité: d≡4 mod 6 (en particulier, ne peut pas être plongée comme intersection d'une quadrique et d'une cubique dans ℙ⁴)
5. Proposition 8.5 (degré 2d, d>3):
   • Réseau de Picard: 2 d+1 2d (ρ=2)
   • Domaine de définition: corps des réels ℝ
   • Ne contient pas -2 (quand d>3), donc cône ample = cône positif

Vérifications techniques

Résultat négatif de la Proposition 5.5: Si une surface quartique X⊂ℙ³ possède une involution linéaire ι:ℙ³→ℙ³ telle que ι(X)=X, alors ρ(X)≥8. Ceci montre que l'involution de l'exemple 6.1 ne peut pas être induite par une involution linéaire.

Lemme 5.6: Pour le cas de la Proposition 5.2, l'action de l'involution sur le réseau de Picard est:

• ι*(C)=C
• ι*(H)=-H+eC

Validité des méthodes de construction

Remarques 6.5 et 7.7: Fournissent des méthodes de construction systématiques permettant de générer davantage d'exemples aléatoirement. Les fichiers Magma ConstructionQuartic et ConstructionK3Degree6 implémentent ces constructions.

Travaux connexes

Fondements de la théorie des surfaces K3

1. Huybrechts 12: Manuel standard sur les surfaces K3, fournissant la théorie fondamentale des réseaux de Picard, domaines des périodes, théorème de Torelli, etc.
2. Kondō 18: Monographie sur les surfaces K3, particulièrement sur la classification des automorphismes et involutions

Classification des involutions

3. Nikulin 22, 24:
   • Théorème 2.6: les involutions symplectiques possèdent 8 points fixes isolés, ρ≥9
   • Classification des ensembles de points fixes des involutions non-symplectiques: ensemble vide, deux courbes elliptiques, ou courbes mixtes, conduisant à ρ≥10 ou ρ≥11-p_a(C)+k
4. Artebani-Sarti-Taki 1: Démonstration que le réseau L₊ associé à l'ensemble des points fixes est contenu dans le réseau de Picard

Calcul du nombre de Picard

5. Elsenhans-Jahnel 7, 8, 9:
   • Premiers exemples avec d=1, ρ=1
   • Développement de méthodes de calcul du polynôme de Weil pour les surfaces K3 de degré 2
   • Implémentation Magma pour calculer le nombre de Picard des réductions
6. van Luijk 34: Méthode pratique de calcul du polynôme caractéristique via le comptage de points
7. Charles 4, Kim-Pera 15: Preuve et raffinement de la conjecture de Tate

Courbes et surfaces quartiques

8. Mori 20, Knutsen 16: Théorème 5.1 sur l'existence de courbes sur les surfaces quartiques
9. Bini 3: Calcul du groupe des automorphismes des surfaces K3 avec réseau de Picard 4 0 -2 (Proposition 4.1)

Surfaces K3 réelles

10. Morrison 21: Preuve que tout réseau pair de rang ≤10 peut être réalisé comme réseau de Picard d'une surface K3 complexe
11. Silhol 33: Théorie des surfaces algébriques réelles, particulièrement le critère du Théorème 8.1
12. Nikulin-Saito 25, 26: Espace des modules des surfaces K3 réelles et classification des composantes connexes

Applications géométriques

13. Joyce-Karigiannis 14: Méthode d'éclatement pour construire des variétés G₂ utilisant les surfaces K3
14. Kovalev-Lee 19: Construction alternative de variétés G₂
15. Walpuski et al. 29, 35: Construction d'instantons G₂ à partir de fibrés sur les surfaces K3

Position relative de cet article

Avantages de cet article par rapport aux travaux existants:

1. Systématicité: Fournit des méthodes de construction explicites pour différents degrés, plutôt que des exemples isolés
2. Calculabilité: Fournit du code Magma rendant les constructions reproductibles
3. Renforcement théorique: Généralise le résultat de Morrison de ℂ à ℝ, garantissant Pic Y_C = Pic Y
4. Orientation applicative: Clairement motivé par les besoins de la géométrie G₂

Conclusions et discussion

Conclusions principales

1. Caractérisation complète: Le Théorème 1.1 répond complètement à la question du nombre de Picard minimal pour les surfaces K3 avec deux involutions, avec réalisation sur le corps des rationnels.
2. Bibliothèque riche d'exemples:
   • Degré 2: exemple avec ρ=1 (Exemple 3.4)
   • Degré 4: exemple avec ρ=2, réseau de Picard 4 5 2 (Exemple 6.1)
   • Degré 6: exemple avec ρ=2, réseau de Picard 6 6 2 (Exemple 7.1)
   • Degré 2d (d>3): exemple avec ρ=2, réseau de Picard 2 d+1 2d (Proposition 8.5)
   • Famille infinie: surfaces quartiques avec nœuds réalisant ρ=2 pour une infinité de valeurs de d (Proposition 4.4)
3. Renforcement théorique: Le Corollaire 8.3 généralise le résultat de Morrison du corps des complexes au corps des réels, garantissant Pic Y_C = Pic Y.
4. Ressources computationnelles: Code Magma public supportant la recherche et les applications ultérieures.

Limitations

1. Incomplétude de la couverture:
   • Pas d'exemples explicites sur ℚ pour les degrés 8, 10, 12, etc.
   • La méthode des quartiques avec nœuds dépend de la condition que 2 soit résidu quadratique modulo d, excluant de nombreuses valeurs de d
   • Absence de méthode systématique pour déterminer quelles paires (d,ρ) peuvent être réalisées sur ℚ
2. Caractère aléatoire de la construction:
   • Les méthodes des Remarques 6.5 et 7.7 nécessitent une génération et vérification aléatoires
   • Pas d'estimation de la probabilité de succès
   • Pour un degré et un réseau de Picard spécifiques, aucune garantie de trouver un exemple
3. Manque d'explicité des involutions:
   • À l'exception du cas des revêtements doubles, la plupart des involutions n'ont pas de formule explicite
   • La formule polynomiale de degré 9 donnée à la Remarque 6.6 est trop complexe pour une utilisation pratique
   • Description géométrique insuffisante de l'ensemble des points fixes des involutions
4. Connexion insuffisante avec la géométrie G₂:
   • Bien que la motivation provienne de la géométrie G₂, aucune construction concrète de variétés G₂ n'est donnée
   • Pas de discussion des instantons G₂ correspondants
   • Absence de lien avec la dégénérescence des métriques
5. Limitations de la partie expérimentale:
   • Vérification d'un nombre fini d'exemples seulement
   • Pas de statistiques sur les taux de succès des différentes méthodes de construction
   • Absence d'analyse de l'efficacité du calcul du nombre de Picard
6. Profondeur théorique:
   • La preuve du Corollaire 8.3 est principalement technique, manquant d'intuition géométrique profonde
   • Pas de discussion de la structure de l'espace des modules des réseaux de Picard
   • Absence d'explication sur pourquoi certains réseaux de Picard sont plus faciles à réaliser

Impact

1. Contribution à la géométrie algébrique:
   • Enrichissement de la bibliothèque d'exemples de surfaces K3
   • Renforcement du résultat classique de Morrison (Corollaire 8.3)
   • Introduction de nouvelles techniques de construction (comme la méthode de l'équation de Pell de la Proposition 4.4)
2. Contribution à la géométrie différentielle:
   • Fourniture de matière première pour la construction de variétés G₂
   • Les exemples avec nombre de Picard faible facilitent l'étude de la dégénérescence des métriques
   • Potentiel pour inspirer de nouvelles constructions d'instantons G₂
3. Contribution à la théorie des nombres computationnelle:
   • Code Magma utilisable pour des expériences computationnelles ultérieures
   • Démonstration de la puissance des techniques de réduction modulo pour les calculs de nombre de Picard
   • Peut servir de benchmark pour le développement d'algorithmes
4. Valeur pratique:
   • Pour les géomètres différentiels: surfaces K3 concrètes utilisables en géométrie G₂
   • Pour les géomètres algébristes: exemples pour l'étude des espaces de modules et des dégénérescences
   • Pour les mathématiciens computationnels: benchmarks pour les tests d'algorithmes
5. Reproductibilité:
   • Code public sur GitHub
   • Étapes de construction détaillées
   • Méthodes de vérification explicites
   • Facilite l'utilisation et l'extension par d'autres chercheurs

Domaines d'application

1. Construction de variétés G₂:
   • Méthode d'éclatement de Joyce-Karigiannis
   • Méthode de somme connexe tordue de Kovalev-Lee
   • Nécessite un nombre de Picard faible pour la calculabilité
2. Étude des instantons G₂:
   • Construction à partir de fibrés stables sur les surfaces K3
   • Le nombre de Picard faible simplifie la vérification de la stabilité
   • Utilisable pour l'étude de la compactification des espaces de modules
3. Espace des modules des surfaces K3:
   • Étude de l'espace des modules des surfaces K3 avec involutions
   • Classification des composantes connexes correspondant à différents réseaux de Picard
   • Étude du comportement des familles dégénérées
4. Géométrie arithmétique:
   • Étude des points rationnels
   • Étude de l'action de Galois
   • Étude des propriétés de réduction
5. Géométrie algébrique computationnelle:
   • Tests d'algorithmes
   • Benchmarks pour le calcul symbolique
   • Vérification des méthodes de calcul du nombre de Picard
6. Enseignement et apprentissage:
   • Exemples concrets de la théorie des surfaces K3
   • Illustration des relations entre involutions et réseaux de Picard
   • Démonstration des techniques de vérification computationnelle

Références (sélection)

12 D. Huybrechts, Lectures on K3 surfaces, Cambridge Studies in Advanced Mathematics, vol. 158, 2016.

17 S. Kondō, Automorphisms of algebraic K3 surfaces which act trivially on Picard groups, J. Math. Soc. Japan 44 (1992), no. 1, 75–98.

18 S. Kondō, K3 surfaces, EMS Tracts in Mathematics, vol. 32, 2020.

21 D. R. Morrison, On K3 surfaces with large Picard number, Invent. Math. 75 (1984), no. 1, 105–121.

22 V. V. Nikulin, Finite groups of automorphisms of Kählerian K3 surfaces, Trudy Moskov. Mat. Obshch. 38 (1979), 75–137.

23 V. V. Nikulin, Integer symmetric bilinear forms and some of their geometric applications, Izv. Akad. Nauk SSSR Ser. Mat. 43 (1979), no. 1, 111–177.

33 R. Silhol, Real algebraic surfaces, Lecture Notes in Mathematics, vol. 1392, Springer-Verlag, Berlin, 1989.

Résumé: Ceci est un article de haute qualité en géométrie algébrique étudiant systématiquement le problème du nombre de Picard minimal pour les surfaces K3 possédant deux involutions. Les principaux atouts de l'article résident dans sa complétude théorique, la diversité des méthodes de construction, la rigueur de la vérification computationnelle et l'attention portée aux applications. Les principales insuffisances concernent l'incomplétude de la couverture, le caractère aléatoire des constructions et la profondeur insuffisante de la connexion avec la géométrie G₂. L'article apporte des contributions importantes à la géométrie algébrique, la géométrie différentielle et la théorie des nombres computationnelle, et le code fourni ainsi que les exemples auront un impact durable sur les recherches ultérieures.