Scrollar invariants of singular curves on toric surfaces

Resumen Técnico: Invariantes de Scroll de Curvas Singulares en Superficies Tóricas

Planteamiento del Problema
El artículo investiga los invariantes de scroll de las cubiertas finitas $f: C^\nu \to \mathbb{P}^1$ inducidas por proyecciones monomiales desde curvas integrales singulares $C$ en superficies tóricas polarizadas $(S_\Delta, \mathcal{O}(\Delta))$. Dada una curva $C$ en un sistema lineal $|\mathcal{O}(\Delta)|$, su normalización $C^\nu$ admite un mapa de grado-$d$ hacia $\mathbb{P}^1$ mediante la proyección de la coordenada $x_1$. Los invariantes de scroll $e(C, f) = (e_1, \dots, e_{d-1})$ se definen por el tipo de división del fibrado vectorial $f_* \mathcal{O}_{C^\nu} = \mathcal{O}_{\mathbb{P}^1} \oplus \bigoplus_{i=1}^{d-1} \mathcal{O}_{\mathbb{P}^1}(-e_i)$.

Si bien los invariantes para curvas suaves fueron determinados por Castryck y Cools [CC17] mediante una fórmula combinatoria que involucra el ancho de red de $\Delta$, el comportamiento para curvas singulares es más complejo. En una variedad de Severi dada $V^{irr}_{g, \Delta}$ (que parametriza curvas íntegras de género geométrico $g$), los invariantes de scroll no son necesariamente constantes. La cuestión central es determinar los invariantes de scroll para una curva general en un componente irreducible de la variedad de Severi, particularmente para polígonos $h$-transversos, y comprender cómo varían estos invariantes a través de diferentes componentes.

Metodología
Los autores emplean la geometría tropical, específicamente el marco de curvas tropicales parametrizadas y diagramas de piso (floor diagrams) desarrollados en sus trabajos previos [CHT22, CHT23, CHT26a, CHT26b]. La estrategia de la prueba se basa en los siguientes pasos:

1. Semicontinuidad y Minimalidad: Los invariantes de scroll son semicontinuos respecto a la relación de especialización (un orden parcial sobre secuencias). Para probar que un conjunto específico de invariantes $e_{g, \Delta}$ es realizado por una curva general en un componente $V$, basta con encontrar una única curva $C \in V$ cuyos invariantes sean "mínimos" (es decir, $e(C, f) \preceq e_{g, \Delta}$).
2. Cálculo de Rango Tropical: Los autores construyen una curva tropical parametrizada específica $\Gamma$ (una curva simple estirada de descomposición de piso o ssfd curve) y un divisor $D_{trop}$ tales que el rango de Baker-Norine de los múltiplos de $D_{trop}$ está acotado por los valores prescritos por los invariantes objetivo. Esto establece un límite superior en los invariantes para cualquier curva algebraica que tropicalice a $(\Gamma, D_{trop})$.
3. Levantabilidad vía Enfoque Relativo: El desafío técnico central es levantar la curva tropical $(\Gamma, D_{trop})$ a una curva algebraica en la variedad de Severi. Los autores utilizan un enfoque relativo de levantabilidad [CHT26a, CHT26b]. Demuestran que la curva tropical construida es "sw-equivalente" (mediante modificaciones específicas de diagramas de piso) a una curva que es conocida por ser levantable.
   • Una innovación clave es la reformulación de las condiciones de levantabilidad en términos de diagramas de piso. Prueban que, para polígonos $h$-transversos, los diagramas de piso relevantes son mod-equivalentes a diagramas "primos a $p$" (donde las multiplicidades de las aristas no son divisibles por la característica del cuerpo base).
   • Por los resultados de Tyomkin [Tyo12], las curvas tropicales primas a $p$ son levantables a curvas algebraicas.
4. Tratamiento de Cubiertas No Primitivas: Los autores abordan los casos donde la proyección no es primitiva (es decir, factoriza a través de una cubierta intermedia). Muestran que si el polígono $\Delta$ carece de un lado horizontal, los invariantes de scroll pueden no ser mínimos en todos los componentes de la variedad de Severi, proporcionando contraejemplos explícitos.

Contribuciones Clave y Resultados

• Generalización de la Fórmula de Castryck-Cools: El artículo extiende la fórmula de Castryck-Cools [CC17] a curvas singulares y características arbitrarias, proporcionando un límite superior en los invariantes de scroll de $f: C^\nu \to \mathbb{P}^1$ en términos de los invariantes de ancho de red de $\Delta$ (Corolario 4.4).
• Teorema Principal (Teorema 5.4): Para un polígono $h$-transverso $\Delta$ de altura $d \ge 2$:
  1. Existe al menos un componente irreducible $V \subseteq V^{irr}_{g, \Delta}$ tal que los invariantes de scroll de una curva general en $V$ son iguales al elemento mínimo único $e_{g, \Delta}$ del conjunto de invariantes admisibles.
  2. Si $\Delta$ posee un lado horizontal, entonces cada componente irreducible $V \subseteq V^{irr}_{g, \Delta}$ tiene invariantes de scroll iguales a $e_{g, \Delta}$.
• Contraejemplos a la Universalidad: El artículo proporciona ejemplos (Ejemplo 5.1, Observación 5.2) que muestran que si $\Delta$ no tiene un lado horizontal, los invariantes de scroll pueden variar entre los componentes de la variedad de Severi, y los invariantes mínimos pueden no ser realizados en todos los componentes. Esto resalta la necesidad de la suposición de "lado horizontal" para la segunda parte del Teorema Principal. Los autores señalan que, aunque la segunda afirmación puede fallar sin un lado horizontal, no conocen ningún ejemplo donde la primera afirmación (existencia de al menos un componente con invariantes mínimos) falle.
• Realizabilidad: Como consecuencia, el artículo establece la realizabilidad de los invariantes de scroll mínimos $e_{g, \Delta}$, recuperando y extendiendo los resultados de realizabilidad de Vakil y Vemulapalli [VV26] a todas las características y curvas singulares.

Significancia
Este trabajo representa la primera aplicación de métodos tropicales para determinar los invariantes de scroll de curvas singulares generales en superficies tóricas. Cierra la brecha entre la comprensión combinatoria de las curvas suaves y la complejidad geométrica de las curvas singulares en variedades de Severi.

El artículo reclama significancia en áreas específicas:

• Extensión de Resultados Conocidos: Generaliza la fórmula de Castryck-Cools a curvas singulares y característica arbitraria, y extiende los resultados de Redigolo [Red26] sobre superficies de Hirzebruch a la clase más amplia de polígonos $h$-transversos.
• Marco de Levantabilidad Tropical: Demuestra el poder del "enfoque relativo" de la levantabilidad, mostrando que incluso en características pequeñas donde los resultados de realizabilidad previos (por ejemplo, [Tyo12], [ABBR15]) no se aplican, la levantabilidad puede establecerse vía sw-equivalencia a diagramas primos a $p$.
• Clarificación del Comportamiento de los Moduli: Clarifica el comportamiento de los loci de Maroni (loci de cubiertas con invariantes de scroll fijos) en el contexto de superficies tóricas, mostrando que mientras un invariante mínimo es siempre realizable, la uniformidad de los invariantes a través de toda la variedad de Severi depende de la geometría de la polarización (específicamente, la presencia de lados horizontales).

Los autores señalan que la interacción entre la estratificación por invariantes de scroll (loci de Maroni) y la estratificación por tipos de división de fibrados de línea (loci de Brill-Noether) sigue siendo una cuestión abierta, la cual este artículo aborda como un primer paso en una serie planificada.