Surface quartique, ses bitangentes et points rationnels

Informations fondamentales

• ID de l'article: 2010.08623
• Titre: Surfaces quartiques, leurs bitangentes et points rationnels
• Auteurs: Pietro Corvaja, Francesco Zucconi (Université d'Udine, Italie)
• Classification: math.NT (Théorie des nombres)
• Date de publication: 2023, Épijournal de Géométrie Algébrique, Volume 7, Article No. 3
• Lien de l'article: https://arxiv.org/abs/2010.08623

Résumé

Soit X une surface quartique lisse sans droites définies sur un corps de nombres κ. Cet article démontre que X ne possède qu'un nombre fini de bitangentes définies sur κ. Ce résultat peut s'interpréter comme l'existence d'un nombre fini de points rationnels sur une certaine surface d'irrégularité nulle. Dans la preuve, les auteurs utilisent la géométrie des droites de la double couverture quartique associée à X. Dans la direction opposée, les auteurs démontrent que pour toute surface quartique X sur un corps de nombres κ, l'ensemble des points algébriques de X(κ̄) qui sont de degré deux sur une certaine extension finie κ' de κ est Zariski-dense.

Contexte et motivation de la recherche

Contexte du problème

1. Géométrie arithmétique des surfaces quartiques: Les surfaces quartiques lisses sont des surfaces K3, qui occupent une position importante en géométrie algébrique. Comprendre la distribution des points rationnels est un problème central de la géométrie diophantienne.
2. Signification géométrique des bitangentes: Les bitangentes sont des droites tangentes à la surface quartique en deux points distincts. Elles forment une surface algébrique S dont les propriétés géométriques sont étroitement liées à celles de la surface quartique originale.
3. Conjecture de Bombieri-Lang: Cette conjecture prédit que les points rationnels sur une variété de type général sont en nombre fini. Cet article fournit des preuves de cette conjecture dans des cas particuliers.

Motivation de la recherche

1. Combinaison de l'arithmétique et de la géométrie: Comprendre les propriétés arithmétiques en étudiant les propriétés géométriques de la surface des bitangentes
2. Points rationnels sur les surfaces K3: Bien que les surfaces K3 soient considérées comme des « variétés spéciales » dont les points rationnels devraient être potentiellement denses, cela n'a pas été prouvé dans le cas général
3. Application de la double couverture quartique: Utiliser la géométrie des droites de la double couverture quartique Q→P³ pour étudier le problème original

Contributions principales

1. Théorème principal A: Pour toute surface quartique lisse X sur un corps de nombres κ, il existe une extension finie κ'/κ telle que l'ensemble des points algébriques de X(κ̄) qui sont de degré deux sur κ' est Zariski-dense.
2. Théorème principal B: Pour une surface quartique lisse X sans droites, le nombre de bitangentes définies sur κ est fini.
3. Théorème principal C: La surface des paramètres de bitangentes S ne contient pas de courbes de genre géométrique ≤1, fournissant une preuve d'une forme forte de la conjecture de Bogomolov.
4. Construction de contre-exemples: Un exemple de surface quartique de Schur montre que lorsqu'une surface quartique contient des droites, il peut exister une infinité de bitangentes rationnelles.

Explication détaillée des méthodes

Définition de la tâche

Étudier les propriétés arithmétiques des bitangentes de surfaces quartiques lisses X⊂P³ définies sur un corps de nombres, en particulier:

• Entrée: une surface quartique lisse X sur un corps de nombres κ
• Sortie: résultats de finitude/infinitude concernant la rationalité des bitangentes
• Contraintes: X est lisse et (pour le théorème B) ne contient pas de droites

Construction géométrique centrale

1. Surface des paramètres de bitangentes

Définition de la surface des bitangentes: $S := \{[l] \in G(2,4) | X|_l = V(f_l) \text{ où } f_l \text{ est biquadratique}\}$

où G(2,4) est la variété de Grassmann paramétrant les droites de P³.

2. Double couverture quartique

Construction d'un revêtement 2:1 π_Q: Q → P³ ramifié sur X, où:

• Q est la double couverture quartique, possédant la propriété de Fano
• Les droites de Q constituent le schéma de Hilbert S_X
• Il existe un revêtement 2:1 étale f: S_X → S

3. Variété des points de contact

Définition de la variété des points de contact: $Y := \{([l],p) \in S \times X | p \in X|_l\}$

Ceci donne un revêtement 2:1 π: Y → S, ramifié sur les courbes hyperflexibles.

Points techniques innovants

1. Application de l'application d'Albanese

• Utilisation du résultat de Welters: l'irrégularité q(S_X) = 10 > dim(S_X) = 2
• Obtention de la dégénérescence des points rationnels via le théorème de Faltings
• Utilisation de l'injectivité de l'application d'Albanese α: S_X → Alb(S_X)

2. Isomorphisme de la Jacobienne intermédiaire

Résultat clé: L'application d'Abel-Jacobi Alb(S_X) → J(Q) est un isomorphisme de variétés abéliennes, où J(Q) est la Jacobienne intermédiaire de la double couverture quartique.

3. Géométrie des diviseurs spéciaux

Pour l ∈ S_X, définition: $D_l := \{[m] \in S_X | m \cap l \neq \emptyset, m \neq l\}$

Les propriétés géométriques de ces diviseurs (genre 70, degré 20) jouent un rôle clé dans la preuve.

Configuration expérimentale

Analyse d'exemples concrets

Surface quartique de Schur: Équation: x⁴ - xy³ = z⁴ - zw³

Pour chaque point (s₀ : s₁) ∈ P¹, la droite: $\begin{cases} s₀³x = s₁³z \\ s₀w = s₁z \end{cases}$ est une quadritangente à X, en particulier une bitangente.

Ceci montre que lorsqu'une surface quartique contient des droites (cet exemple en contient 64, avec nombre de Picard égal à 20), il peut exister une infinité de bitangentes rationnelles.

Résultats principaux

Stratégie de preuve du théorème A

1. Utilisation du théorème 2.1: toute surface quartique lisse contient une famille 1-dimensionnelle de courbes de genre 1
2. Choix d'une telle courbe C ayant une infinité de points rationnels sur une extension de corps appropriée
3. Pour chaque point rationnel p ∈ C, considération de la section par le plan tangent X_p
4. X_p est une courbe quartique avec nœuds, admettant une application hyperelliptique X_p → P¹
5. Les points rationnels de P¹ donnent des points de degré deux sur X_p

Stratégie de preuve du théorème B

1. Dégénérescence: Via le théorème de Chevalley-Weil, transformation en preuve de finitude des points rationnels sur S_X
2. Application du théorème de Faltings: Puisque q(S_X) = 10 > dim(S_X) = 2, l'application d'Albanese est une immersion fermée, donnant la dégénérescence des points rationnels
3. Exclusion des courbes de bas genre: Via le théorème C, exclusion des familles infinies de points rationnels sur les courbes de genre ≤1

Points clés de la preuve du théorème C

1. Supposition de l'existence d'une courbe E ⊂ S de genre 1
2. Relèvement à S_X donnant une courbe elliptique, plongée dans une variété abélienne 10-dimensionnelle via l'application d'Albanese
3. Construction d'un morphisme h: S_X → Pic⁰(E), utilisant l'équivariance de l'involution
4. Obtention d'une contradiction: q(S) = 0 mais existence d'une surjection vers la Jacobienne d'une courbe elliptique

Travaux connexes

Contexte historique

1. Welters (1981): Établissement des fondations théoriques de la géométrie des bitangentes et de la double couverture quartique
2. Tikhomirov (1981): Étude du schéma de Hilbert des droites de la double couverture quartique
3. van Luijk (2007): Preuve que les surfaces K3 de nombre de Picard 1 ont une infinité de points rationnels

Relation avec les travaux existants

1. Arithmétique des surfaces K3: Cet article fournit une forme faible de résultats sur la densité des points rationnels sur les surfaces K3
2. Conjecture de Bombieri-Lang: Fournit de nouvelles preuves de la finitude des points rationnels sur les variétés de type général
3. Conjecture de Bogomolov: Preuve d'une forme forte de finitude des courbes de bas genre

Conclusions et discussion

Conclusions principales

1. Les surfaces quartiques sans droites ne possèdent qu'un nombre fini de bitangentes rationnelles
2. Toute surface quartique possède des points rationnels de degré deux qui sont Zariski-denses
3. La surface des paramètres de bitangentes satisfait une forme forte des conjectures géométriques

Limitations

1. Condition linéaire: Le théorème B exige que la surface quartique ne contienne pas de droites, condition qui ne peut pas être complètement supprimée
2. Extension de corps: Le théorème A nécessite une extension finie appropriée
3. Constructivité: La preuve est existentielle et ne fournit pas de bornes effectives explicites

Directions futures

1. Étude de la distribution des bitangentes pour les surfaces quartiques contenant des droites
2. Amélioration des résultats de densité des points de degré deux, recherche de constructions plus directes
3. Généralisation de la méthode à d'autres types de surfaces

Évaluation approfondie

Avantages

1. Innovation méthodologique: Transformation ingénieuse du problème des bitangentes en géométrie des droites de la double couverture quartique
2. Profondeur théorique: Application synthétique de la géométrie algébrique, de la géométrie arithmétique et de la théorie de Hodge
3. Complétude des résultats: Résultats de finitude et de densité formant une image complète
4. Maîtrise technique: Application approfondie de l'application d'Albanese et de la Jacobienne intermédiaire

Insuffisances

1. Restrictions de conditions: Les résultats principaux nécessitent des conditions géométriques fortes (absence de droites)
2. Effectivité: Absence de bornes effectives explicites sur le nombre de bitangentes rationnelles
3. Complexité algorithmique: La détermination pratique de la rationalité des bitangentes d'une surface quartique donnée est difficile

Impact

1. Contribution théorique: Fournit de nouvelles preuves et méthodes pour plusieurs conjectures importantes
2. Valeur méthodologique: Les techniques de double couverture quartique peuvent s'appliquer à d'autres problèmes
3. Interdisciplinarité: Connexion des structures profondes entre géométrie algébrique et théorie des nombres

Domaines d'application

1. Étude des propriétés arithmétiques des surfaces K3 et autres surfaces spéciales
2. Problèmes de distribution des points rationnels sur les variétés de type général
3. Problèmes de rationalité en géométrie birationnelle

Références

1. Welters, G.E.: Abel-Jacobi isogenies for certain types of Fano threefolds (1981)
2. Tikhomirov, A.S.: The geometry of the Fano surface of double covers (1981)
3. Faltings, G.: Diophantine Approximation on Abelian Varieties (1991)
4. van Luijk, R.: K3 surfaces with Picard number one and infinitely many rational points (2007)

Par une analyse géométrique approfondie et un traitement technique ingénieux, cet article réalise des progrès importants dans l'étude de la géométrie arithmétique des surfaces quartiques, offrant de nouvelles perspectives et méthodes pour comprendre la distribution des points rationnels sur les surfaces K3.