Tropical methods for stable octic double planes

Résumé technique : Méthodes tropicales pour les plans doubles octiques stables

Énoncé du problème
L'article traite de la classification de l'espace de modules KSBA (Kollár–Shepherd-Barron–Alexeev) des surfaces de type général à nombres de Chern fixés $K^2=2$ et $p_g=3$. Ces surfaces lisses sont des plans doubles octiques (revêtements doubles de $\mathbb{P}^2$ ramifiés sur une courbe octique lisse). Bien que la compactification KSBA inclue des surfaces singulières « stables », les strates limites correspondant aux singularités non-Goren de n'ont été que peu explorées. Les travaux antérieurs d'Anthes ont classifié les limites Goren et fourni des exemples initiaux de limites non-Goren. Cet article vise à classifier systématiquement toutes les surfaces normales KSBA-stables de cet espace de modules qui admettent un lissage $\mathbb{Q}$-Goren vers un plan double octique lisse, avec un accent spécifique sur le cas non-Goren.

Méthodologie
Les auteurs emploient des techniques de géométrie tropicale et de symétrie miroir, spécifiquement le cadre développé par Gross, Hacking, Keel et Kontsevich (GHK), pour organiser l'analyse de cas des dégénérescences de surfaces.

1. Réduction aux surfaces de Manetti : Les auteurs établissent que toute limite KSBA normale d'un plan double octique est un revêtement double d'une dégénérescence de $\mathbb{P}^2$. Citant les travaux de Bădescu, Manetti, Hacking et Prokhorov, ils restreignent les surfaces de base aux « surfaces de Manetti » — des dégénérescences de $\mathbb{P}^2$ possédant au plus des singularités de quotient (spécifiquement des singularités de Wahl et des singularités elliptiques simples). Ils prouvent que les singularités elliptiques simples ne peuvent pas apparaître dans la base d'un revêtement double octique log canonique, ne laissant que les surfaces de Manetti avec des singularités de Wahl.
2. Tropicalisation miroir : La géométrie de ces surfaces de Manetti est encodée via des « tropicalisations miroirs » (variétés affines intégrales). Les auteurs utilisent la correspondance entre les surfaces de Manetti et les triplets de Markov $(a, b, c)$ satisfaisant $a^2+b^2+c^2=3abc$. Les surfaces de Manetti toriques correspondent aux plans projectifs pondérés $\mathbb{P}(a^2, b^2, c^2)$, tandis que les non-toriques (notées $HP(S)$) correspondent à des lissages partiels de ceux-ci.
3. Énumération des sections : Les courbes de branchement des revêtements doubles correspondent à des sections d'une ligne de faisceau spécifique. Dans le schéma tropical, ces sections sont en bijection avec les points entiers à l'intérieur du polygone de la tropicalisation miroir. Les auteurs énumèrent ces points entiers pour tous les triplets de Markov pertinents.
4. Calcul des écarts (discrepancies) : En utilisant les données tropicales, les auteurs calculent les écarts des singularités du couple $(Y, \frac{1}{2}B)$, où $Y$ est la surface de Manetti de base et $B$ est la courbe de branchement. Une condition nécessaire pour que le revêtement double soit KSBA-stable est que le couple soit log canonique (écarts $\geq -1$).
5. Mutation et induction : Les auteurs utilisent des « mutations » des polygones tropicaux (analogues aux mutations des triplets de Markov) pour exclure de manière inductive une infinité de cas. Ils démontrent que pour la plupart des surfaces de Manetti, la courbe de branchement acquiert nécessairement une composante multiple ou des singularités qui violent la condition de log canonique.

Contributions clés et résultats

• Théorème de classification : L'article fournit une classification complète des surfaces normales KSBA-stables avec $K^2=2, p_g=3$ admettant un lissage $\mathbb{Q}$-Goren. Les surfaces stables se répartissent en quatre catégories :

  1. Revêtements doubles de $\mathbb{P}^2$ ramifiés sur des octiques singulières (limites Goren, précédemment classifiées par Anthes).
  2. Revêtements doubles de $Y = \mathbb{P}(1, 1, 4)$ ramifiés sur une courbe de degré pondéré 16. Ceux-ci peuvent posséder deux singularités $\frac{1}{4}(1,1)$ ou des paniers spécifiques de singularités issues de quotients $\mathbb{Z}/2$ de singularités elliptiques simples ou de cusp.
  3. Revêtements doubles de $Y = \mathbb{P}(1, 4, 25)$ ramifiés sur une courbe de degré pondéré 80. Ceux-ci possèdent une singularité $\frac{1}{50}(1, 29)$ et l'un des paniers listés pour $\mathbb{P}(1, 1, 4)$.
  4. Revêtements doubles de la surface de Manetti non-torique $HP(5)$ (un lissage partiel de $\mathbb{P}(1, 4, 25)$). Ceux-ci possèdent une singularité $\frac{1}{50}(1, 29)$.

• Exclusion des nombres de Markov supérieurs : Un résultat significatif est la preuve que les surfaces de Manetti associées à des nombres de Markov $c \notin \{1, 2, 5, 13, 29, 34\}$ (et leurs variantes non-toriques associées) ne produisent pas de revêtements doubles log canoniques. Les auteurs montrent que pour ces surfaces, la courbe de branchement doit contenir une composante de multiplicité $\geq 2$ ou que les singularités résultantes ne satisfont pas la condition de log canonique.

• Analyse détaillée des singularités : L'article fournit des descriptions explicites des résolutions minimales pour les cas non-Goren.

  • Pour $Y=\mathbb{P}(1, 1, 4)$, les auteurs analysent les cas où la courbe de branchement passe par la singularité. Ils identifient des graphes duaux pour les résolutions minimales, qui incluent des quotients $\mathbb{Z}/2$ de singularités elliptiques simples et des singularités de cusp.
  • Ils établissent des bornes sur les paramètres de ces singularités (par exemple, pour le cas de cusp, $t \leq 19$ et $t_1 + t_2 \leq 38$, avec une conjecture que $t_1 + t_2 \leq 21$).
  • Ils construisent explicitement la singularité de Wahl $\frac{1}{50}(1, 29)$ apparaissant dans les cas $\mathbb{P}(1, 4, 25)$ et $HP(5)$.

• Structure de l'espace de modules : Les auteurs calculent les dimensions des strates dans la frontière KSBA correspondant à ces surfaces singulières. Ils montrent que les strates sont imbriquées (par exemple, $D^{IIc}_Y \subset D^{IIb}_Y \subset D^{IIa}_Y \subset D^I_Y$) et déterminent leurs codimensions par rapport à l'espace de modules de dimension 36 des plans doubles octiques lisses.

Signification et revendications
L'article affirme que la géométrie tropicale et la symétrie miroir fournissent un cadre puissant et systématique pour organiser l'analyse de cas complexe requise pour étudier les espaces de modules KSBS près de la ligne de Noether ($2p_g = K^2 + 4$). En traduisant le problème de la classification des dégénérescences de surfaces en un problème combinatoire de comptage de points entiers dans des polygones tropicaux et en analysant leurs mutations, les auteurs sont capables de maîtriser un problème de classification autrement insoluble.

Le travail étend la compréhension des surfaces KSBA-stables au-delà du cas Goren, fournissant la première liste complète des limites non-Goren pour les plans doubles octiques. Les auteurs notent que bien que leurs techniques soient motivées par l'étude des surfaces de Horikawa (qui se situent sur ou près de la ligne de Noether), la classification spécifique du cas $K^2=2, p_g=3$ sert de étape fondamentale. Ils déclarent explicitement qu'ils n'ont pas étudié toutes les combinaisons de singularités Goren et non-Goren, ni déterminé quelles combinaisons spécifiques des paniers identifiés sont réalisables, bien qu'ils prouvent l'existence des strates. Le papier souligne également que bien que les surfaces identifiées soient KSBA-stables, la plupart ne sont pas lissables au sens où les groupes d'obstruction local-global ne s'annulent pas, bien qu'elles puissent être rabotées rationnellement en variétés de dimension 4 lisses.