K3 surfaces over $\mathbb{Q}$ of degree $10$that have Picard rank$1$

Cet article présente des exemples de surfaces K3 définies sur $\mathbb{Q}$, de degrés 10 et 6, dont le rang du groupe de Picard géométrique est égal à 1.

L'essentiel

🌟 Le Résumé : Chasser les "Surfaces Magiques"

Imaginez que vous êtes un architecte qui construit des formes géométriques très complexes, appelées surfaces K3. Ces surfaces sont comme des objets mathématiques parfaits : elles sont lisses, sans trous bizarres, et possèdent des propriétés très spéciales.

Le but de l'auteur, Victor de Vries, est de construire une de ces surfaces spécialement pour les nombres rationnels (les fractions comme 1/2, 3/4, etc., que nous utilisons tous les jours).

Le défi ? Il veut construire une surface qui a un "degré" (une mesure de sa complexité) de 10, et qui possède une propriété très rare : un rang de Picard égal à 1.

Qu'est-ce que ça veut dire ?

• Pensez au rang de Picard comme au nombre de "plans de construction" ou de "règles de symétrie" que vous pouvez dessiner sur cette surface.
• Si le rang est élevé (par exemple 20), la surface est très ordonnée, prévisible et facile à comprendre. C'est comme une maison avec beaucoup de fenêtres et de portes : on sait exactement où tout est.
• Si le rang est 1, c'est comme une maison avec une seule fenêtre. C'est très mystérieux, difficile à prédire, et c'est là que les mathématiciens trouvent les choses les plus intéressantes (et les plus difficiles à étudier).

L'auteur dit : "J'ai réussi à construire une surface de degré 10 avec une seule fenêtre, et je l'ai faite avec des nombres rationnels."

---

🛠️ Comment a-t-il fait ? (L'Analogie du Puzzle et du Filtre)

Pour construire cette surface, l'auteur n'a pas pu la dessiner directement dans le monde réel. Il a utilisé une méthode astucieuse en deux étapes, un peu comme si vous vouliez construire un château de sable parfait, mais que vous ne pouviez pas le faire directement sur la plage.

Étape 1 : Le test en "Petite Échelle" (Les Modèles Modulo p)

Au lieu de travailler avec des nombres infinis, l'auteur a d'abord construit deux versions simplifiées de sa surface dans des mondes très petits, appelés champs finis (comme un monde où il n'y a que 2 ou 3 nombres possibles).

1. Le Modèle "2" (S2) : Il a construit une surface dans un monde à 2 nombres. Il a vérifié qu'elle était "saine" (pas de fissures) et qu'elle avait une propriété très stricte : si vous la coupez avec un plan, les morceaux restants sont très "solides" et ne se cassent pas facilement.
2. Le Modèle "3" (S3) : Il a construit une autre surface dans un monde à 3 nombres. Celle-ci avait un rang de Picard de 2 (deux fenêtres). Il a calculé précisément combien de points elle avait pour s'assurer qu'elle était bien de ce type.

L'analogie : Imaginez que vous voulez prouver qu'un nouveau type de voiture est très économe en carburant. Vous ne pouvez pas tester la voiture sur l'autoroute tout de suite. Alors, vous la testez d'abord sur un circuit de 2 kilomètres (Modèle 2) et sur un circuit de 3 kilomètres (Modèle 3). Si elle passe les deux tests avec brio, vous savez qu'elle a un bon potentiel.

Étape 2 : L'Ascension vers l'Infini (Le Relèvement)

Maintenant, l'auteur prend ces deux petits modèles (le 2 et le 3) et essaie de les "fusionner" pour créer une seule grande surface dans le monde des nombres rationnels (le monde infini).

C'est comme si vous preniez les plans de la voiture testée sur le circuit de 2 km et ceux du circuit de 3 km, et que vous essayiez de construire la vraie voiture.

• Si la vraie voiture avait 2 fenêtres (rang 2), elle devrait ressembler à la fois au modèle 2 et au modèle 3.
• Mais il y a un problème : le modèle 2 et le modèle 3 ont des structures de "fenêtres" qui ne s'accordent pas parfaitement si on essaie de les fusionner en gardant 2 fenêtres. C'est comme essayer de faire tenir deux clés différentes dans la même serrure en même temps.

La conclusion : L'auteur prouve mathématiquement que si sa surface finale avait 2 fenêtres, cela créerait une contradiction impossible entre les règles du monde "2" et du monde "3". Donc, la seule option logique est qu'elle n'ait qu'une seule fenêtre (rang 1).

---

🎁 La Surprise : Le Cas du Degré 6

À la fin du papier, l'auteur ajoute une petite note de fin. Il dit : "Oh, et au fait, j'ai aussi réussi à faire la même chose pour une surface de degré 6 !".
C'est comme si, après avoir construit son château de sable complexe, il avait dit : "Tiens, voici aussi un petit château plus simple que j'ai réussi à faire avec la même méthode."

---

🏆 Pourquoi c'est important ?

Dans le monde des mathématiques, plus une surface a un rang de Picard bas (comme 1), plus son comportement est sauvage et imprévisible.

• Les surfaces avec beaucoup de rangs sont comme des livres de recettes : on sait exactement ce qui va se passer.
• Les surfaces avec un rang de 1 sont comme des énigmes non résolues. Elles sont difficiles à comprendre, mais c'est là que se cachent les secrets les plus profonds des nombres.

Victor de Vries nous donne donc un exemple concret de cette "bête sauvage" (rang 1, degré 10) que nous pouvons manipuler avec des nombres rationnels. C'est une victoire pour comprendre comment ces formes mystérieuses se comportent dans notre monde quotidien.

En résumé : L'auteur a utilisé des tests sur de petits mondes (2 et 3) pour prouver qu'il existe une forme géométrique complexe et mystérieuse (rang 1) dans notre monde des fractions, ce qui était très difficile à faire avant.

Résumé technique

Voici un résumé technique détaillé de l'article « K3 SURFACES OVER Q OF DEGREE 10 THAT HAVE PICARD RANK 1 » de Victor De Vries, rédigé en français.

1. Problématique et Contexte

L'article s'inscrit dans l'étude arithmétique des surfaces K3 définies sur un corps de nombres (ici $\mathbb{Q}$). L'invariant central considéré est le rang du groupe de Picard géométrique, noté $\rho(S) = \text{rk Pic}(S)$.

• Contraintes : Pour une surface K3, $1 \le \rho \le 20$.
• Enjeu arithmétique : Il est établi (Bogomolov-Tschinkel) que si $\rho \ge 5$, les points rationnels sont potentiellement denses. À l'inverse, un rang $\rho = 1$ rend l'arithmétique de la surface particulièrement complexe et difficile à comprendre.
• État de l'art : Des exemples de surfaces K3 sur $\mathbb{Q}$ avec $\rho=1$ existaient déjà pour les degrés $2d \in {2, 4, 8}$(van Luijk, Elsenhans-Jahnel, etc.). Pour les degrés$2d \le 8$, l'existence est garantie par des résultats non constructifs (Terasoma). Cependant, pour les degrés supérieurs, et spécifiquement pour le **degré 10**, aucun exemple explicite n'était connu avant ce travail. Le degré 10 correspond à l'intersection d'une quadrique et de trois hyperplans dans l'image de l'embedding de Plücker de la Grassmannienne$Gr(2, 5) \subset \mathbb{P}^9$.

L'objectif principal de l'article est de construire explicitement une surface K3 sur $\mathbb{Q}$ de degré 10 avec un rang de Picard égal à 1. En passant, l'auteur comble une lacune en fournissant également un exemple de degré 6.

2. Méthodologie

La méthode employée s'inspire de l'approche de van Luijk, basée sur la réduction modulo $p$ et le remonter (lifting) :

1. Modélisation sur $\mathbb{Z}$ : La Grassmannienne $Gr(2, 5)$ possède un modèle canonique sur $\mathbb{Z}$ défini par les relations de Plücker. Une surface K3 de degré 10 est obtenue comme intersection complète de type $(1, 1, 1, 2)$ dans cette Grassmannienne (trois formes linéaires et une forme quadratique).
2. Construction modulo $p$ : L'auteur utilise le logiciel Magma pour générer aléatoirement des surfaces K3 sur des corps finis $\mathbb{F}_2$ et $\mathbb{F}_3$ jusqu'à trouver deux surfaces, notées $S_2$ et $S_3$, satisfaisant des conditions techniques spécifiques :
   • $S_2$ (sur $\mathbb{F}_2$) : Toute section hyperplane est géométriquement réduite, et ses composantes irréductibles de degré élevé sont contrôlées (Lemme 2.2).
   • $S_3$ (sur $\mathbb{F}_3$) : Sa fibre générique est une fibration elliptique, permettant un comptage efficace des points. Son rang de Picard est calculé comme étant 2.
3. Lifting simultané : On relève les équations définissant $S_2$ et $S_3$ vers des formes à coefficients entiers ($\mathbb{Z}$) pour obtenir une surface $S$ sur $\mathbb{Q}$.
4. Preuve du rang 1 par contradiction :
   • Le lemme de spécialisation (Lemme 1.1) assure que $\text{Pic}(S) \hookrightarrow \text{Pic}(S_3)$. Puisque $\rho(S_3)=2$, on a $\rho(S) \le 2$.
   • On suppose $\rho(S) = 2$. Cela impliquerait que $\text{Pic}(S) \cong \text{Pic}(S_3)$ (grâce à un résultat d'Elsenhans et Jahnel sur la torsion).
   • Cette isomorphie impose des contraintes fortes sur la structure du réseau de Picard de $S_2$ (notamment l'existence de diviseurs effectifs spécifiques).
   • L'auteur montre que ces contraintes contredisent les propriétés géométriques de $S_2$ (réductibilité et degrés des composantes), prouvant ainsi que $\rho(S)$ ne peut être 2. Il doit donc être 1.

3. Résultats Clés

A. Surface K3 de degré 10

• Théorème 0.1 / Théorème 3.3 : Il existe une surface K3 $S$ définie sur $\mathbb{Q}$, intersection de $Gr(2, 5)$, de trois hyperplans et d'une quadrique, telle que $\text{rk Pic}(S) = 1$.
• Construction : Les équations explicites sont données en termes de relevés d'équations modulo 2 et 3.
• Preuve technique : La contradiction repose sur l'analyse des orbites de Galois des classes de Picard modulo 2 et l'impossibilité de réaliser certaines sections hyperplanes effectives sur $\mathbb{F}_2$ si le rang était 2.

B. Surface K3 de degré 6

• Théorème 4.5 : L'auteur construit également une surface K3 de degré 6 (intersection d'une quadrique et d'un cubique dans $\mathbb{P}^4$) sur $\mathbb{Q}$ avec $\text{rk Pic}(S) = 1$.
• Méthode : Similaire à celle du degré 10, mais utilisant une contradiction basée sur les discriminants des réseaux de Picard.
  • $\text{disc}(\text{Pic}(X_2)) = -16$ (modulo 2).
  • $\text{disc}(\text{Pic}(X_3)) = -9$ (modulo 3).
  • Si le rang sur $\mathbb{Q}$ était 2, le discriminant devrait diviser les deux, ce qui est impossible car $\text{pgcd}(16, 9) = 1$ (ou plus précisément, l'isométrie imposée par le théorème d'Elsenhans-Jahnel contredit les discriminants).

4. Contributions et Signification

• Exemples explicites : C'est la première construction explicite de surfaces K3 sur $\mathbb{Q}$ de degré 10 avec rang de Picard 1. Cela comble un vide dans la littérature pour les degrés $2d \ge 10$.
• Complétude des degrés : L'article montre que des exemples existent pour les degrés $2d \in {2, 4, 6, 8, 10}$. L'auteur conjecture que la méthode peut s'étendre aux degrés 12, 14, 16, 18, tant que les calculs modulo$p$ restent faisables.
• Limites de la méthode : L'article souligne que cette approche de "lifting" devient difficile lorsque la surface K3 générale n'est plus une intersection complète (cas des grands degrés), ce qui est lié à la conjecture de Shafarevich sur la finitude des réseaux de Picard possibles.
• Outils computationnels : L'usage intensif de Magma pour le comptage de points et la vérification de la lissité et de la réductibilité démontre la puissance des méthodes computationnelles en géométrie arithmétique moderne.

En résumé, cet article fournit des contre-exemples constructifs cruciaux à la densité potentielle des points rationnels pour des surfaces K3 de haut degré et de faible rang de Picard, tout en affinant les techniques de preuve par réduction modulo $p$.