Tropical methods for stable octic double planes

Resumen Técnico: Métodos Tropicales para Planos Dobles Ócticos Estables

Planteamiento del Problema
El artículo aborda la clasificación del espacio de módulos KSBA (Kollár–Shepherd-Barron–Alexeev) de superficies de tipo general con números de Chern fijos $K^2=2$ y $p_g=3$. Estas superficies suaves son planos dobles ócticos (recubrimientos dobles de $\mathbb{P}^2$ ramificados sobre una curva óctica suave). Si bien la compactificación KSBA incluye superficies singulares "estables", los estratos frontera correspondientes a singularidades no Gorenstein han permanecido en gran medida inexplorados. El trabajo previo de Anthes clasificó los límites Gorenstein y proporcionó ejemplos iniciales de límites no Gorenstein. Este artículo tiene como objetivo clasificar sistemáticamente todas las superficies normales KSBA-estables en este espacio de módulos que admiten un suavizado $\mathbb{Q}$-Gorenstein a un plano doble óctico suave, con un enfoque específico en el caso no Gorenstein.

Metodología
Los autores emplean técnicas de geometría tropical y simetría espejo, específicamente el marco desarrollado por Gross, Hacking, Keel y Kontsevich (GHK), para organizar el análisis de casos de degeneraciones de superficies.

1. Reducción a Superficies de Manetti: Los autores establecen que cualquier límite KSBA normal de un plano doble óctico es un recubrimiento doble de una degeneración de $\mathbb{P}^2$. Citando el trabajo de Bădescu, Manetti, Hacking y Prokhorov, restringen las superficies base a "superficies de Manetti"—degeneraciones de $\mathbb{P}^2$ con, a lo sumo, singularidades de cociente (específicamente singularidades de Wahl y singularidades elípticas simples). Demuestran que las singularidades elípticas simples no pueden ocurrir en la base de un recubrimiento doble óctico log-canónico, dejando solo superficies de Manetti con singularidades de Wahl.
2. Tropicalización Espejo: La geometría de estas superficies de Manetti se codifica mediante "tropicalizaciones espejo" (variedades afines integrales). Los autores utilizan la correspondencia entre las superficies de Manetti y las ternas de Markov $(a, b, c)$ que satisfacen $a^2+b^2+c^2=3abc$. Las superficies de Manetti toricas corresponden a planos proyectivos pesados $\mathbb{P}(a^2, b^2, c^2)$, mientras que las no toricas (denotadas $HP(S)$) corresponden a suavizados parciales de estas.
3. Enumeración de Secciones: Las curvas de ramificación de los recubrimientos dobles corresponden a secciones de un fibrado de línea específico. En la imagen tropical, estas secciones están en bijección con los puntos enteros dentro del polígono de la tropicalización espejo. Los autores enumeran estos puntos enteros para todas las ternas de Markov relevantes.
4. Cálculo de la Discrepancia: Utilizando los datos tropicales, los autores calculan las discrepancias de las singularidades de la pareja $(Y, \frac{1}{2}B)$, donde $Y$ es la superficie de Manetti base y $B$ es la curva de ramificación. Una condición necesaria para que el recubrimiento doble sea KSBA-estable es que la pareja sea log-canónica (discrepancias $\geq -1$).
5. Mutación e Inducción: Los autores utilizan "mutaciones" de los polígonos tropicales (análogas a las mutaciones de las ternas de Markov) para descartar inductivamente infinitos casos. Demuestran que para la mayoría de las superficies de Manetti, la curva de ramificación adquiere necesariamente un componente múltiple o singularidades que violan la condición log-canónica.

Contribuciones Clave y Resultados

• Teorema de Clasificación: El artículo proporciona una clasificación completa de las superficies normales KSAS-estables con $K^2=2, p_g=3$ que admiten un suavizado $\mathbb{Q}$-Gorenstein. Las superficies estables caen en cuatro categorías:

  1. Recubrimientos dobles de $\mathbb{P}^2$ ramificados sobre ócticas singulares (límites Gorenstein, clasificados previamente por Anthes).
  2. Recubrimientos dobles de $Y = \mathbb{P}(1, 1, 4)$ ramificados sobre una curva de grado pesado 16. Estas pueden poseer dos singularidades $\frac{1}{4}(1,1)$ o cestas específicas de singularidades que surgen de cocientes $\mathbb{Z}/2$ de singularidades elípticas simples o de cúspide.
  3. Recubrimientos dobles de $Y = \mathbb{P}(1, 4, 25)$ ramificados sobre una curva de grado pesado 80. Estas poseen una singularidad $\frac{1}{50}(1, 29)$ y una de las cestas listadas para $\mathbb{P}(1, 1, 4)$.
  4. Recubrimientos dobles de la superficie de Manetti no torica $HP(5)$ (un suavizado parcial de $\mathbb{P}(1, 4, 25)$). Estas poseen una singularidad $\frac{1}{50}(1, 29)$.

• Exclusión de Números de Markov Superiores: Un resultado significativo es la prueba de que las superficies de Manetti asociadas con números de Markov $c \notin \{1, 2, 5, 13, 29, 34\}$ (y sus variantes no toricas asociadas) no producen recubrimientos dobles log-canónicos. Los autores muestran que para estas superficies, la curva de ramificación debe contener un componente con multiplicidad $\geq 2$ o las singularidades resultantes fallan la condición log-canónica.

• Análisis Detallado de Singularidades: El artículo proporciona descripciones explícitas de las resoluciones mínimas para los casos no Gorenstein.

  • Para $Y=\mathbb{P}(1, 1, 4)$, los autores analizan los casos donde la curva de ramificación pasa por la singularidad. Identifican grafos duales para las resoluciones mínimas, que incluyen cocientes $\mathbb{Z}/2$ de singularidades elípticas simples y singularidades de cúspide.
  • Establecen límites para los parámetros de estas singularidades (por ejemplo, para el caso de la cúspide, $t \leq 19$ y $t_1 + t_2 \leq 38$, con una conjetura de que $t_1 + t_2 \leq 21$).
  • Construyen explícitamente la singularidad de Wahl $\frac{1}{50}(1, 29)$ que surge en los casos de $\mathbb{P}(1, 4, 25)$ y $HP(5)$.

• Estructura del Espacio de Módulos: Los autores calculan las dimensiones de los estratos en la frontera KSBA correspondientes a estas superficies singulares. Muestran que los estratos están anidados (por ejemplo, $D^{IIc}_Y \subset D^{IIb}_Y \subset D^{IIa}_Y \subset D^I_Y$) y determinan sus codimensiones relativas al espacio de módulos de 36 dimensiones de los planos dobles ócticos suaves.

Significado y Reivindicaciones
El artículo sostiene que la geometría tropical y la simetría espejo proporcionan un marco poderoso y sistemático para organizar el complejo análisis de casos requerido para estudiar los espacios de módulos KSBA cerca de la línea de Noether ($2p_g = K^2 + 4$). Al traducir el problema de clasificar las degeneraciones de superficies en el problema combinatorio de contar puntos enteros en polígonos tropicales y analizar sus mutaciones, los autores son capaces de dominar un problema de clasificación que de otro modo sería intratable.

El trabajo extiende la comprensión de las superficies KSBA-estables más allá del caso Gorenstein, proporcionando la primera lista exhaustiva de límites no Gorenstein para los planos dobles ócticos. Los autores señalan que, aunque sus técnicas están motivadas por el estudio de las superficies de Horikawa (que se encuentran en o cerca de la línea de Noether), la clasificación específica del caso $K^2=2, p_g=3$ sirve como un paso fundacional. Expresan explícitamente que no han estudiado todas las combinaciones de singularidades Gorenstein y no Gorenstein, ni han determinado qué combinaciones específicas de las cestas identificadas son realizables, aunque prueban la existencia de los estratos. El artículo también destaca que, si bien las superficies identificadas son KSBA-estables, la mayoría no son suavizables en el sentido de tener grupos de obstrucción local-a-global evanescentes, aunque pueden ser contraídas racionalmente a variedades de dimensión 4 suaves.