Lines on K3-sextics with simple singularities

Résumé technique : Droites sur les K3-sextiques à singularités simples

Énoncé du problème
Ce travail traite de la classification des configurations de courbes rationnelles lisses de faible degré, spécifiquement les droites, sur des surfaces K3 complexes quasi-polarisées de degré 6 (K3-sextiques) plongées dans $\mathbb{P}^4$. Les auteurs se concentrent sur les surfaces présentant au pire des singularités de type $A$–$D$–$E$. Alors que les études précédentes ont classé de manière exhaustive les configurations de droites sur les K3-quartiques et les K3-octiques, la géométrie des K3-sextiques présente des défis et des phénomènes distincts. L'objectif principal est de déterminer le nombre maximal de droites qu'une telle surface peut contenir et de classifier toutes les configurations dépassant un certain seuil (spécifiquement, au moins 36 droites). De plus, l'article étudie les groupes d'automorphismes birationnels générés par des « translations de deck » associées à ces droites et analyse la géométrie de la classe spécifique des sextiques de Humbert.

Méthodologie
Les auteurs emploient une approche de théorie des réseaux, utilisant le réseau de Néron–Severi $NS(X)$ de la surface K3. La configuration des droites est encodée dans le graphe de Fano $Fn X$, où les sommets représentent les droites et les arêtes représentent les nombres d'intersection. La méthodologie repose sur plusieurs outils théoriques et algorithmiques clés :

1. Construction de réseaux et admissibilité : L'étude construit des réseaux polarisés $F_{2n}(\Gamma)$ générés par la classe d'hyperplan $h$ et les classes de droites d'un graphe $\Gamma$. Les auteurs vérifient l'$m$-admissibilité (spécifiquement la 2-admissibilité pour les surfaces lisses et la 3-admissibilité pour les sextiques spéciales) afin de garantir l'existence d'une surface K3 correspondante.
2. Algorithme de Vinberg : Pour déterminer l'ensemble complet des courbes rationnelles lisses (le graphe de Fano étendu) à partir d'un ensemble donné de droites, les auteurs appliquent l'algorithme de Vinberg pour calculer le polyèdre fondamental du groupe de réflexion agissant sur le réseau.
3. Extension droite par droite : La classification procède en partant d'un graphe de base et en l'étendant par l'ajout de sommets (droites) un par un ou par petits ensembles. Des contraintes sur l'« étoile » d'un sommet (l'ensemble des droites intersectant une droite donnée) et la non-existence de certains sous-graphes (comme de grands biquadrangles ou des configurations de Kummer spécifiques) sont utilisées pour élaguer l'espace de recherche.
4. Vérification computationnelle : Les auteurs utilisent le système logiciel GAP et ses paquets digraph et LLL pour calculer les groupes de discriminant, les sous-groupes isotropes et pour effectuer des recherches exhaustives de noyaux géométriques et d'extensions.
5. Analyse des translations de deck : Pour l'étude des automorphismes, les auteurs analysent l'action des translations de deck $\tau_\ell$ (induites par la projection depuis une droite $\ell$) sur le réseau. Ils calculent la composition de ces involutions pour déterminer si elles génèrent des groupes diédraux finis ou infinis.

Contributions clés et résultats

• Nombre maximal de droites : L'article prouve qu'une K3-sextique $X \subset \mathbb{P}^4$ contient au plus 42 droites. Si la surface présente des singularités ($Sing X \neq \emptyset$), le maximum descend à 36 droites.
• Classification des grandes configurations : Les auteurs fournissent une classification complète de tous les strata équilinéaires (configurations de droites avec un nombre de Milnor fixé) contenant au moins 36 droites. Il existe 30 de ces strata, détaillés dans la Table 1 de l'article. Ces configurations sont principalement caractérisées par des graphes de Fano « quadrangulaires » (liés aux diagrammes de Dynkin affines de type $\tilde{A}_3$), avec quelques exceptions « triangulaires ».
• Absence de configurations de Kummer : Contrairement aux K3-quartiques et aux K3-octiques, une K3-sextique ne peut pas contenir une configuration de Kummer de droites. Le nombre maximal de droites mutuellement disjointes (skew) sur une sextique est de 12. Ce résultat (Théorème 2.22) limite considérablement la pertinence des surfaces de type Kummer dans le cas des sextiques.
• Sextiques spéciales vs non-spéciales : L'article introduit une distinction géométrique entre les sextiques « spéciales » et « non-spéciales », caractérisée homologiquement par la présence d'un vecteur 3-isotrope dans le réseau de Néron–Severi.
  • Les sextiques non-spéciales peuvent contenir jusqu'à 42 droites.
  • Les sextiques spéciales sont limitées à un maximum de 36 droites.
  • La configuration maximale réalisable par les deux types possède 24 droites (la configuration de Humbert).
• Groupes d'automorphismes : Les auteurs caractérisent les groupes d'automorphismes birationnels générés par les translations de deck.
  • Théorème 1.3 : Pour une K3-sextique lisse, les translations de deck $\tau_i, \tau_{ii}$ associées à deux droites distinctes génèrent un groupe diédral infini, avec très peu d'exceptions explicites (classifiées dans les Lemmata 6.14 et 6.16).
  • Corollaire 1.4 : Si une K3-sextique lisse contient au moins deux droites, son groupe d'automorphismes birationnels est infini. Cela fournit plus de 9 000 exemples explicites de surfaces K3 avec des automorphismes d'entropie non triviale.
• Sextiques de Humbert : L'article fournit un compte complet de la stratification équilinéaire des sextiques de Humbert (qui possèdent une configuration $(126, 126)$ de droites). Il décrit les dégénérescences où les coniques se scindent en droites, menant à des configurations possédant jusqu'à 36 droites (spécifiquement le graphe $\Theta_{36}$). Il analyse également les lieux de ramification des projections depuis ces droites, identifiant deux familles topologiquement distinctes de courbes sextiques dans $\mathbb{P}^2$.

Signification et revendications
Les auteurs positionnent ce travail comme une avancée nécessaire pour comprendre la géométrie des surfaces K3 de degré 6, comblant une lacune laissée par les classifications précédentes des quartiques et des octiques.

• Robustesse méthodologique : L'article démontre que les techniques de théorie des réseaux développées pour les octiques sont adaptables aux sextiques, bien qu'elles nécessitent de traiter des structures de graphes « quadrangulaires » spécifiques plutôt que les obstructions de type « Kummer » dominantes dans le cas des octiques.
• Perspective géométrique : La découverte que la présence d'un vecteur 3-isotrope (définissant les sextiques spéciales) modifie radicalement le nombre maximal de droites est parallèle aux découvertes sur les octiques, mais révèle des contraintes uniques pour les sextiques, telles que l'impossibilité des configurations de Kummer.
• Dynamique des automorphismes : Une contribution significative est la preuve rigoureuse que les paires de droites sur les sextiques lisses génèrent presque toujours des groupes diédraux infinis d'automorphismes birationnels. Cela contraste avec les cas où les groupes d'automorphismes pourraient être finis, offrant une source riche d'exemples pour l'étude de l'entropie dans la dynamique des surfaces K3.
• Complétude : L'article prétend fournir la liste complète des configurations avec $\geq 36$ droites, résolvant ainsi le problème de classification pour ce degré et ce type de singularité.

Le travail est présenté comme une classification définitive pour les configurations à grand nombre de droites sur les sextiques, tout en servant de plateforme pour explorer des questions structurelles plus profondes concernant les automorphismes et la géométrie spécifique des surfaces de Humbert.