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: