Symplectic log Kodaira dimension $-\infty$, affine-ruledness and unicuspidal rational curves

Resumen Técnico: Dimensión de Kodaira Simpléctica Logarítmica $-\infty$, Reglamiento Afín y Curras Racionales Unipunctuales

Enunciado del Problema
El artículo aborda la versión relativa de la clasificación de 4-variedades simplécticas con dimensión de Kodaira simpléctica $\kappa_s = -\infty$. Mientras que el caso absoluto (variedades cerradas) está bien comprendido gracias al trabajo de Liu y Ohta-Ono —donde $[\omega] \cdot K_\omega < 0$ implica que la variedad es racional o reglada simpléctica—, los autores investigan la estructura del par $(X, \omega, D)$, donde $D$ es un divisor simpléctico (una configuración de superficies simplécticas embebidas con intersecciones normales).

Específicamente, el artículo busca caracterizar variedades simplécticas abiertas $X \setminus D$ donde la clase adjunta satisface $[\omega] \cdot (K_\omega + [D]) < 0$. En geometría algebraica, un teorema de Fujita, Miyanishi, Sugie y Russell establece que tales superficies algebraicas abiertas son "regladas afines", lo que significa que contienen un subconjunto abierto de Zariski isomorfo a $C \times \mathbb{A}^1$ (un producto de una curva y la línea afín). La pregunta central es si se cumple un análogo simpléctico de este teorema: ¿implica la condición $[\omega] \cdot (K_\omega + [D]) < 0$ que el complemento del divisor $X \setminus D$ está foliado por esferas simplécticas punteadas?

Metodología
Los autores emplean una combinación de la teoría de curvas pseudoholomorfas, invariantes de Seiberg-Witten y técnicas de reducción biracional adaptadas a la categoría simpléctica.

1. Reglamiento Afín Simpléctico: Los autores definen un par $(X, \omega, D)$ como reglado afín simpléctico si $X \setminus D$ contiene un subconjunto abierto denso difeomorfo a $\mathring{\Sigma}_g \times (S^2 \setminus \{pt\})$, donde las fibras son esferas simplécticas punteadas de área igual.
2. Reducción a Pares Cuasi-Mínimos: Para manejar la complejidad de divisores arbitrarios, el artículo introduce un procedimiento de reducción que involucra contracciones simplécticas. Clasifican los pares en tipos "cuasi-mínimos" basándose en la intersección del divisor con clases excepcionales de área simpléctica mínima.
   • Pares cuasi-mínimos de primera especie: La esfera excepcional de área mínima interseca al divisor en dos puntos (o en un punto con orden de contacto 2).
   • Pares cuasi-mínimos de segunda especie: Una componente del divisor es en sí misma la esfera excepcional de área mínima, intersecando a otras tres componentes.
3. Curvas Racionales Unipunctuales: Una innovación técnica clave es el uso de curvas racionales unipunctuales (curvas con una única singularidad de cúspide). Los autores utilizan la correspondencia establecida por McDuff y Siegel entre tales curvas singulares en $X$ y curvas embebidas en la resolución de intersecciones normales de $X$.
   • Construyen una clase $A$ en $H_2(X; \mathbb{Z})$ que representa una curva unipunctual con una cúspide ubicada en un punto de intersección de $D$.
   • Mediante una resolución de intersecciones normales (soplado de la cúspide), la curva singular se eleva a una esfera embebida $\tilde{C}$ con auto-intersección 0 en la variedad soplada.
4. Criterios de Existencia: La existencia de las curvas embebidas requeridas se establece utilizando:
   • Criterio de McDuff-Opshtein: Para encontrar esferas $J$-holomorfas embebidas en clases de homología específicas relativas al divisor.
   • Teorema del Cono de Curvas de Zhang: Para analizar la estructura de subvariedades $J$-holomorfas y reducir la configuración del divisor a modelos manejables (cadenas de esferas).
   • Teoría de Seiberg-Witten: Para asegurar que las clases de homología relevantes no se anulan y, por tanto, sean $J$-efectivas.

Contribuciones y Resultados Clave

• Teorema 1.7 (Reglamiento Afín Simpléctico): El resultado principal establece que si $(X, \omega, D)$ es un divisor simpléctico conexo con $[\omega] \cdot (K_\omega + [D]) < 0$, entonces el par es reglado afín simpléctico.
  • Caso Racional: Cuando $X$ es una variedad racional, la foliación está dada por curvas racionales unipunctuales de índice 1. Las cúspides de estas curvas están ubicadas en puntos de intersección de componentes de $D$.
  • Caso Reglado Irracional: Cuando $X$ es una variedad reglada irracional, el resultado se mantiene incluso si $D$ no es conexo. La foliación está dada por fibras suaves (o secciones en casos específicos).
• Clasificación Estructural de Divisores: El artículo proporciona un análisis estructural detallado de divisores en variedades racionales que satisfacen la condición de dimensión de Kodaira logarítmica. Los clasifica en pares cuasi-mínimos y demuestra que cualquier tal par puede reducirse a un modelo "parcialmente mínimo" consistente en una cadena de esferas (para la primera especie) o una configuración específica de "tridente" (para la segunda especie) que se reduce ulteriormente a casos de bajo $b_2$.
• Deformación a Pares Kähler (Teorema 1.8): Los autores prueban que cualquier tal par $(X, \omega, D)$ es equivalente por deformación simpléctica a un par Kähler $(X, \omega', D')$ con dimensión de Kodaira logarítmica $-\infty$.
  • Corolario 1.9: En consecuencia, el complemento del divisor $X \setminus D$ contiene un subconjunto abierto denso que es equivalente por deformación simpléctica al producto $\mathring{\Sigma}_g \times (S^2 \setminus \{pt\})$ equipado con la estructura simpléctica de producto estándar.
• Prueba de la Proposición 1.10: El artículo incluye una prueba de que cualquier forma simpléctica en una variedad racional o reglada irracional con $[\omega] \cdot K_\omega < 0$ es una forma Kähler (salvo deformación), extendiendo resultados conocidos para modelos mínimos a casos no mínimos utilizando técnicas de inflación compatibles con $J$ para $b_2^+=1$.

Significado y Afirmaciones
El artículo afirma establecer un análogo simpléctico del teorema de Fujita-Miyanishi-Sugie-Russell para superficies algebraicas abiertas. Al introducir la noción de reglamiento afín simpléctico y utilizar la teoría de curvas unipunctuales, los autores cierran la brecha entre la clasificación algebraica de superficies de dimensión de Kodaira logarítmica $-\infty$ y la topología simpléctica de 4-variedades.

El significado radica en:

1. Generalización: Extender la clasificación de variedades simplécticas con $\kappa_s = -\infty$ al contexto relativo con divisores.
2. Técnica: Adaptar exitosamente la correspondencia entre curvas singulares y curvas embebidas en resoluciones (McDuff-Siegel) para construir foliaciones en la categoría simpléctica, evitando la necesidad de estructuras casi complejas genéricas que son incompatibles con divisores singulares.
3. Equivalencia por Deformación: Demostrar que, a pesar de la falta de una estructura de producto global en la categoría simpléctica (a diferencia del caso algebraico), la geometría simpléctica local del complemento del divisor es lo suficientemente flexible para ser deformada en una estructura de producto estándar, siempre que se cumpla la condición de dimensión de Kodaira logarítmica.

Los autores señalan que, mientras que el subconjunto abierto de Zariski en el caso algebraico es isomorfo a un producto, el resultado simpléctico es ligeramente más débil, afirmando únicamente la equivalencia por deformación a un producto en un subconjunto abierto denso. También plantean la cuestión abierta de si cada tal par simpléctico es en realidad un par Kähler (es decir, admite una estructura compleja integrable compatible), lo que subsumiría completamente el resultado simpléctico bajo el teorema algebraico.