Tropical methods for stable octic double planes

Resumo Técnico: Métodos Tropicais para Planos Duplos Óticos Estáveis

Enunciado do Problema
O artigo aborda a classificação do espaço de moduli KSBA (Kollár–Shepherd-Barron–Alexeev) de superfícies de tipo geral com números de Chern fixos $K^2=2$ e $p_g=3$. Estas superfícies suaves são planos duplos óticos (coberturas duplas de $\mathbb{P}^2$ ramificadas sobre uma curva ótica suave). Embora a compactificação KSBA inclua superfícies singulares "estáveis", os estratos de fronteira correspondentes a singularidades não-Gorense têm sido amplamente inexplorados. O trabalho anterior de Anthes classificou os limites Gorense e forneceu exemplos iniciais de limites não-Gorense. Este artigo visa classificar sistematicamente todas as superfícies estáveis em KSBA normais neste espaço de moduli que admitem um suavizamento $\mathbb{Q}$-Gorense a um plano duplo ótico suave, com um foco específico no caso não-Gorense.

Metodologia
Os autores empregam técnicas de geometria tropical e simetria de espelho, especificamente o arcabouço desenvolvido por Gross, Hacking, Keel e Kontsevich (GHK), para organizar a análise de casos de degenerações de superfícies.

1. Redução a Superfícies de Manetti: Os autores estabelecem que qualquer limite KSBA normal de um plano duplo ótico é uma cobertura dupla de uma degeneração de $\mathbb{P}^2$. Citando o trabalho de Bădescu, Manetti, Hacking e Prokhorov, eles restringem as superfícies de base para "superfícies de Manetti"—degenerações de $\mathbb{P}^2$ com, no máximo, singularidades de quociente (especificamente singularidades de Wahl e singularidades elípticas simples). Eles provam que singularidades elípticas simples não podem ocorrer na base de uma cobertura dupla ótica log canônica, deixando apenas superfícies de Manetti com singularidades de Wahl.
2. Tropicalização de Espelho: A geometria destas superfícies de Manetti é codificada via "tropicalizações de espelho" (variedades afins integrais). Os autores utilizam a correspondência entre superfícies de Manetti e triplas de Markov $(a, b, c)$ satisfazendo $a^2+b^2+c^2=3abc$. Superfícies de Manetti toricas correspondem a planos projetivos ponderados $\mathbb{P}(a^2, b^2, c^2)$, enquanto as não-toricas (denotadas $HP(S)$) correspondem a suavizações parciais destes.
3. Enumeração de Seções: As curvas de ramificação das coberturas duplas correspondem a seções de um fibrado de linha específico. Na imagem tropical, estas seções estão em bijeção com pontos inteiros dentro do polígono da tropicalização de espelho. Os autores enumeram estes pontos inteiros para todas as triplas de Markov relevantes.
4. Cálculo de Discrepância: Usando os dados tropicais, os autores calculam as discrepâncias das singularidades do par $(Y, \frac{1}{2}B)$, onde $Y$ é a superfície de base de Manetti e $B$ é a curva de ramificação. Uma condição necessária para que a cobertura dupla seja estável em KSBA é que o par seja log canônico (discrepâncias $\geq -1$).
5. Mutação e Indução: Os autores utilizam "mutações" dos polígonos tropicais (análogas a mutações de triplas de Markov) para excluir indutivamente infinitos casos. Eles demonstram que, para a maioria das superfícies de Manetti, a curva de ramificação necessariamente adquire um componente múltiplo ou singularidades que violam a condição log canônica.

Principais Contribuições e Resultados

• Teorema de Classificação: O artigo fornece uma classificação completa de superfícies normais estáveis em KSBA com $K^2=2, p_g=3$ que admitem um suavizamento $\mathbb{Q}$-Gorense. As superfícies estáveis dividem-se em quatro categorias:

  1. Coberturas duplas de $\mathbb{P}^2$ ramificadas sobre óticas singulares (limites Gorense, previamente classificados por Anthes).
  2. Coberturas duplas de $Y = \mathbb{P}(1, 1, 4)$ ramificadas sobre uma curva de grau ponderado 16. Estas podem possuir duas singularidades $\frac{1}{4}(1,1)$ ou cestos específicos de singularidades decorrentes de $\mathbb{Z}/2$-quotientes de singularidades elípticas simples ou de cúspide.
  3. Coberturas duplas de $Y = \mathbb{P}(1, 4, 25)$ ramificadas sobre uma curva de grau ponderado 80. Estas possuem uma singularidade $\frac{1}{50}(1, 29)$ e um dos cestos listados para $\mathbb{P}(1, 1, 4)$.
  4. Coberturas duplas da superfície de Manetti não-torica $HP(5)$ (uma suavização parcial de $\mathbb{P}(1, 4, 25)$). Estas possuem uma singularidade $\frac{1}{50}(1, 29)$.

• Exclusão de Números de Markov Superiores: Um resultado significativo é a prova de que superfícies de Manetti associadas a números de Markov $c \notin \{1, 2, 5, 13, 29, 34\}$ (e as suas variantes não-toricas associadas) não produzem coberturas duplas log canônicas. Os autores mostram que, para estas superfícies, a curva de ramificação deve conter um componente com multiplicidade $\geq 2$ ou as singularidades resultantes falham a condição log canônica.

• Análise Detalhada de Singularidades: O artigo fornece descrições explícitas das resoluções mínimas para os casos não-Gorense.

  • Para $Y=\mathbb{P}(1, 1, 4)$, os autores analisam casos onde a curva de ramificação passa pela singularidade. Eles identificam grafos duais para as resoluções mínimas, que incluem $\mathbb{Z}/2$-quotientes de singularidades elípticas simples e singularidades de cúspide.
  • Eles estabelecem limites para os parâmetros destas singularidades (por exemplo, para o caso de cúspide, $t \leq 19$ e $t_1 + t_2 \leq 38$, com uma conjectura de que $t_1 + t_2 \leq 21$).
  • Eles constroem explicitamente a singularidade de Wahl $\frac{1}{50}(1, 29)$ que surge nos casos $\mathbb{P}(1, 4, 25)$ e $HP(5)$.

• Estrutura do Espaço de Moduli: Os autores calculam as dimensões dos estratos na fronteira KSBA correspondentes a estas superfícies singulares. Eles mostram que os estratos são aninhados (por exemplo, $D^{IIc}_Y \subset D^{IIb}_Y \subset D^{IIa}_Y \subset D^I_Y$) e determinam os seus codimensões em relação ao espaço de moduli de 36 dimensões de planos duplos óticos suaves.

Significância e Alegações
O artigo afirma que a geometria tropical e a simetria de espelho fornecem um arcabouço poderoso e sistemático para organizar a complexa análise de casos necessária para estudar espaços de moduli KSBA próximos da linha de Noether ($2p_g = K^2 + 4$). Ao traduzir o problema de classificar degenerações de superfícies no problema combinatório de contar pontos inteiros em polígonos tropicais e analisar as suas mutações, os autores são capazes de domar um problema de classificação de outra forma intratável.

O trabalho estende a compreensão das superfícies estáveis em KSBA para além do caso Gorense, fornecendo a primeira lista abrangente de limites não-Gorense para planos duplos óticos. Os autores observam que, embora as suas técnicas sejam motivadas pelo estudo das superfícies de Horikawa (que se situam na ou próxima da linha de Noether), a classificação específica do caso $K^2=2, p_g=3$ serve como um passo fundamental. Eles afirmam explicitamente que não estudaram todas as combinações de singularidades Gorense e não-Gorense, nem determinaram quais combinações específicas dos cestos identificados são realizáveis, embora provem a existência dos estratos. O artigo também destaca que, embora as superfícies identificadas sejam estáveis em KSBA, a maioria não é suavizável no sentido de possuir grupos de obstrução local-para-global nulos, embora possam ser racionalmente contraídas para variedades suaves de dimensão 4.