Explicit desingularisation of Kummer surfaces in characteristic two via specialisation

Résumé technique : Désingularisation explicite des surfaces de Kummer en caractéristique deux via la spécialisation

Énoncé du problème
Les surfaces de Kummer, définies comme le quotient d'une surface abélienne par l'involution $P \mapsto -P$, sont des exemples classiques de surfaces K3. Leur géométrie sur les corps de caractéristique différente de deux est bien comprise — spécifiquement, l'existence de modèles explicites pour leur désingularisation comme intersection de trois quadriques dans $\mathbb{P}^5$ — mais la situation en caractéristique deux est nettement plus complexe. En caractéristique deux, le sous-groupe de 2-torsion de la surface abélienne est plus petit (isomorphe à $(\mathbb{Z}/2\mathbb{Z})^r$ où $r \le 2$), ce qui conduit à moins de points singuliers mais de complexité supérieure (par exemple, des singularités de type $D_4$, $D_8$, ou elliptiques). Les tentatives précédentes pour construire des modèles explicites pour ces surfaces en caractéristique deux, telles que celles de Müller, ont échoué à générer des modèles désingularisés lisses via l'intersection standard de quadriques. De plus, le comportement des surfaces de Kummer en caractéristique deux diffère fondamentalement des autres caractéristiques, soulevant la question de savoir si les constructions classiques peuvent être adaptées et si des exemples de surfaces de Kummer possédant une réduction bonne partout existent sur des corps de nombres.

Méthodologie
L'auteur emploie une stratégie de spécialisation de la caractéristique zéro vers la caractéristique deux. La méthodologie centrale comprend :

1. Plongements explicites : Calculer un plongement projectif du jacobien $J$ d'une courbe de genre deux $C$ comme l'intersection de 72 quadriques dans $\mathbb{P}^{15}$. Ceci est réalisé en construisant une base du système linéaire $|2(\Theta_+ + \Theta_-)|$, où $\Theta$ représente les diviseurs thêta.
2. Construction de base via la forme normale de Smith : Pour gérer la réduction modulo deux, l'auteur adapte une base de fonctions impaires de caractéristique zéro. Puisque la réduction directe mène souvent à une dépendance linéaire due à l'effondrement des valeurs propres $\pm 1$ en $1$, un algorithme (Algorithme 1) est utilisé pour calculer la forme normale de Smith de la matrice de relation. Cela produit une base modifiée qui se réduit bien en caractéristique deux, garantissant que les éléments résultants restent linéairement indépendants.
3. Désingularisation partielle : En utilisant la base réduite, l'auteur construit un morphisme rationnel d'une surface de Kummer singulière $X \subset \mathbb{P}^3$ vers une surface $Y \subset \mathbb{P}^5$. Cette surface $Y$ est définie comme l'intersection complète de trois quadriques. Le morphisme est un isomorphisme en dehors du lieu singulier de $X$ et agit comme une désingularisation partielle.
4. Analyse géométrique par rang-$p$ : La géométrie de $Y$ et de ses singularités est analysée séparément pour les trois cas du rang-$p$ du jacobien : ordinaire ($r=2$), presque ordinaire ($r=1$), et supersingulier ($r=0$). L'auteur utilise la théorie des « tropes » (coniques spéciales sur la surface de Kummer) et leur comportement sous spécialisation pour décrire les diviseurs exceptionnels et les singularités résultantes de $Y$.
5. Critère de bonne réduction : Pour traiter l'existence de surfaces de Kummer avec une réduction bonne partout, l'article applique un critère de Lazda et Skorobogatov. Cela implique l'analyse de l'action du groupe de Galois absolu sur les points de 2-torsion du jacobien sur un corps de nombres quadratique, en vérifiant spécifiquement si la suite exacte des modules de 2-torsion se scinde lors de la réduction.

Contributions clés et résultats

• Modèles explicites en caractéristique deux : L'article fournit les premières équations du jacobien d'une courbe de genre deux générale en caractéristique deux comme l'intersection de 72 quadriques dans $\mathbb{P}^{15}$ (Théorème 4.1).
• Désingularisation partielle : Il construit un modèle pour une désingularisation partielle de la surface de Kummer comme l'intersection de trois quadriques dans $\mathbb{P}^5$ (Théorème 3.1). L'article classifie les singularités de ce modèle selon le rang-$p$ :
  • Ordinaire : $Y$ possède 12 singularités de type $A_1$.
  • Presque ordinaire : $Y$ possède 2 singularités de type $D_4^0$ et 2 de type $A_3$.
  • Supersingulier : $Y$ possède une singularité elliptique de type $A^*_{0} + A^*_{0} + A^*_{0} + A^*_{0} + A^*_{0}$ (dans la notation de Laufer).
• Description géométrique des tropes : L'article étend la description classique des tropes à la caractéristique deux, détaillant comment ils se spécialisent et comment leurs intersections avec les diviseurs exceptionnels déterminent la structure de singularité du modèle désingularisé.
• Existence de réduction bonne partout : L'article prouve l'existence de surfaces de Kummer avec une réduction bonne partout sur un corps de nombres (Théorème 1.2). Plus précisément, il construit un exemple explicite sur le corps quadratique $\mathbb{Q}(\sqrt{353})$ où la surface de Kummer associée possède une bonne réduction pour tous les idéaux premiers, y compris ceux situés au-dessus de 2. Ceci est réalisé en vérifiant que l'action de Galois sur les points de 2-torsion est compatible avec la réduction, permettant la scission de la suite exacte pertinente sans nécessiter d'extension de corps pour l'exemple spécifique fourni.
• Limitations et extensions : L'article note que si une bonne réduction en 2 est possible, elle n'est pas garantie pour toutes les courbes ayant une réduction bonne partout. Pour les cas « presque ordinaires », l'extension minimale requise pour obtenir une bonne réduction peut être de degré plus élevé (par exemple, degré 12), et pour les cas supersinguliers, l'existence d'un modèle de bonne réduction est garantie par le théorème de Matsumoto, mais l'extension explicite n'est pas fournie.

Signification
L'article démontre que les constructions géométriques classiques des surfaces de Kummer et de leurs désingularisations, traditionnellement restreintes à la caractéristique zéro ou à la caractéristique impaire, peuvent être adaptées avec succès à la caractéristique deux via la spécialisation. Cela comble une lacune dans la compréhension des surfaces K3 en caractéristique positive, ce qui est particulièrement pertinent pour les applications cryptographiques impliquant des protocoles basés sur les isogénies (comme SIDH) qui rencontrent souvent des difficultés en caractéristique deux. En fournissant des équations explicites et une classification géométrique complète des singularités, ce travail permet la vérification computationnelle et l'étude approfondie de ces surfaces. De plus, la construction d'une surface de Kummer avec une réduction bonne partout sur un corps quadratique résout une question ouverte concernant l'existence de telles surfaces K3, contrastant avec la non-existence de variétés abéliennes avec une réduction bonne partout sur $\mathbb{Q}$. L'article souligne que ces résultats sont constructifs, appuyés par un code permettant le calcul des équations explicites pour les variétés décrites.