Scrollar invariants of singular curves on toric surfaces

Resumo Técnico: Invariantes de Scroll para Curvas Singulares em Superfícies Toricas

Enunciado do Problema
O artigo investiga os invariantes de scroll de coberturas finitas $f: C^\nu \to \mathbb{P}^1$ induzidas por projeções monoais por curvas integrais singulares $C$ em superfícies tóricas polarizadas $(S_\Delta, \mathcal{O}(\Delta))$. Dada uma curva $C$ em um sistema linear $|\mathcal{O}(\Delta)|$, sua normalização $C^\nu$ admite um mapa de grau-$d$ para $\mathbb{P}^1$ via a projeção da coordenada $x_1$. Os invariantes de scroll $e(C, f) = (e_1, \dots, e_{d-1})$ são definidos pelo tipo de decomposição do fibrado vetorial $f_* \mathcal{O}_{C^\nu} = \mathcal{O}_{\mathbb{P}^1} \oplus \bigoplus_{i=1}^{d-1} \mathcal{O}_{\mathbb{P}^1}(-e_i)$.

Embora os invariantes para curvas suaves tenham sido determinados por Castryck e Cools [CC17] via uma fórmula combinatória envolvendo a largura de rede de $\Delta$, o comportamento para curvas singulares é mais complexo. Em uma dada variedade de Severi $V^{irr}_{g, \Delta}$ (parametrizando curvas integrais de gênero geométrico $g$), os invariantes de scroll não são necessariamente constantes. A questão central é determinar os invariantes de scroll para uma curva geral em um componente irredutível da variedade de Severi, particularmente para polígonos $h$-transversos, e compreender como esses invariantes variam através de diferentes componentes.

Metodologia
Os autores empregam geometria tropical, especificamente o framework de curvas tropicais parametrizadas e diagramas de piso (floor diagrams) desenvolvidos em seus trabalhos anteriores [CHT22, CHT23, CHT26a, CHT26b]. A estratégia de prova baseia-se nos seguintes passos:

1. Semicontinuidade e Minimalidade: Os invariantes de scroll são semicontínuos superiormente em relação à relação de especialização (uma ordem parcial em sequências). Para provar que um conjunto específico de invariantes $e_{g, \Delta}$ é realizado por uma curva geral em um componente $V$, basta encontrar uma única curva $C \in V$ cujos invariantes sejam "mínimos" (ou seja, $e(C, f) \preceq e_{g, \Delta}$).
2. Cálculo de Rank Tropical: Os autores constroem uma curva tropical parametrizada específica $\Gamma$ (uma curva simples esticada com decomposição de piso ou ssfd curve) e um divisor $D_{trop}$ tal que o rank de Baker-Norine de múltiplos de $D_{trop}$ seja limitado pelos valores prescritos pelos invariantes alvo. Isso estabelece um limite superior nos invariantes para qualquer curva algébrica que tropicaliza para $(\Gamma, D_{trop})$.
3. Levantabilidade via Abordagem Relativa: O desafio técnico central é levantar a curva tropical $(\Gamma, D_{trop})$ para uma curva algébrica na variedade de Severi. Os autores utilizam uma abordagem relativa de levantabilidade [CHT26a, CHT26b]. Eles demonstram que a curva tropical construída é "sw-equivalente" (via modificações específicas de diagramas de piso) a uma curva que é conhecida por ser levantável.
   • Uma inovação chave é a reformulação das condições de levantabilidade em termos de diagramas de piso. Eles provam que, para polígonos $h$-transversos, os diagramas de piso relevantes são mod-equivalentes a diagramas "primos de $p$" (onde as multiplicidades das arestas não são divisíveis pela característica do corpo base).
   • Por resultados de Tyomkin [Tyo12], curvas tropicais primas de $p$ são levantáveis para curvas algébricas.
4. Tratamento de Coberturas Não Primitivas: Os autores abordam casos onde a projeção não é primitiva (ou seja, fatora através de uma cobertura intermediária). Eles mostram que se o polígono $\Delta$ carece de um lado horizontal, os invariantes de scroll podem não ser mínimos em todos os componentes da variedade de Severi, fornecendo contraexemplos explícitos.

Principais Contribuições e Resultados

• Generalização da Fórmula de Castryck-Cools: O artigo estende a fórmula de Castryck-Cools [CC17] para curvas singulares e características arbitrárias, fornecendo um limite superior nos invariantes de scroll de $f: C^\nu \to \mathbb{P}^1$ em termos dos invariantes de largura de rede de $\Delta$ (Corolário 4.4).
• Teorema Principal (Teorema 5.4): Para um polígono $h$-transverso $\Delta$ de altura $d \ge 2$:
  1. Existe pelo menos um componente irredutível $V \subseteq V^{irr}_{g, \Delta}$ tal que os invariantes de scroll de uma curva geral em $V$ são iguais ao elemento mínimo único $e_{g, \Delta}$ do conjunto de invariantes admissíveis.
  2. Se $\Delta$ possui um lado horizontal, então todo componente irredutível $V \subseteq V^{irr}_{g, \Delta}$ tem invariantes de scroll iguais a $e_{g, \Delta}$.
• Contraexemplos à Universalidade: O artigo fornece exemplos (Exemplo 5.1, Observação 5.2) mostrando que, se $\Delta$ não possui um lado horizontal, os invariantes de scroll podem variar entre os componentes da variedade de Severi, e os invariantes mínimos podem não ser realizados em todos os componentes. Isso destaca a necessidade da suposição de "lado horizontal" para a segunda parte do Teorema Principal. Os autores observam que, embora a segunda afirmação possa falhar sem um lado horizontal, eles não conhecem nenhum exemplo onde a primeira afirmação (existência de pelo menos um componente com invariantes mínimos) falhe.
• Realizabilidade: Como consequência, o artigo estabelece a realizabilidade dos invariantes de scroll mínimos $e_{g, \Delta}$, recuperando e estendendo os resultados de realizabilidade de Vakil e Vemulapalli [VV26] para todas as características e curvas singulares.

Significância
Este trabalho representa a primeira aplicação de métodos tropicais para determinar invariantes de scroll para curvas singulares gerais em superfícies tóricas. Ele preenche a lacuna entre a compreensão combinatória de curvas suaves e a complexidade geométrica de curvas singulares em variedades de Severi.

O artigo reivindica significância em áreas específicas:

• Extensão de Resultados Conhecidos: Ele generaliza a fórmula de Castryck-Cools para curvas singulares e característica arbitrária, e estende os resultados de Redigolo [Red26] sobre superfícies de Hirzebruch para a classe mais ampla de polígonos $h$-transversos.
• Framework de Levantabilidade Tropical: Demonstra o poder da "abordagem relativa" de levantabilidade, mostrando que mesmo em pequenas características onde resultados de realizabilidade anteriores (por exemplo, [Tyo12], [ABBR15]) não se aplicam, a levantabilidade pode ser estabelecida via sw-equivalência a diagramas primas de $p$.
• Clarificação do Comportamento de Moduli: Esclarece o comportamento dos loci de Maroni (loci de coberturas com invariantes de scroll fixos) no contexto de superfícies tóricas, mostrando que, embora um invariante mínimo seja sempre realizável, a uniformidade dos invariantes através de toda a variedade de Severi depende da geometria da polarização (especificamente a presença de lados horizontais).

Os autores observam que a interação entre a estratificação por invariantes de scroll (loci de Maroni) e a estratificação por tipos de decomposição de fibrados de linha (loci de Brill-Noether) permanece uma questão aberta, a qual este artigo aborda como um primeiro passo em uma série planejada.