An obstruction to smoothing stable maps

Resumen Técnico: Una Obstrucción a la Suavización de Mapas Estables

Planteamiento del Problema
El artículo aborda el problema de determinar cuándo un mapa estable $f: C \to X$ desde una curva preestablecida hacia una variedad proyectiva suave $X$ es "suavizable" (smoothable). Un mapa estable se define como suavizable si pertenece al cierre del espacio de módulos de mapas con curvas de dominio no singulares. Los autores distinguen entre "suavizabilidad" y "suavizabilidad eventual", donde esta última permite la inserción de la variedad $X$ en una variedad proyectiva suave más grande $X'$. Si bien trabajos previos han establecido obstrucciones para casos específicos (por ejemplo, género 1, superficies o configuraciones de intersección específicas), faltaba una obstrucción general sensible a la interacción entre los componentes "fantasma" (donde el mapa es constante) y los componentes "efectivos" (donde el mapa no es constante) de la curva de dominio.

Metodología
Los autores emplean técnicas de geometría algebraica centradas en la teoría de deformación de mapas estables y la resolución de singularidades en familias.

1. Configuración y Definiciones: Los autores definen la "subcurva fantasma" como la unión de los componentes irreducibles donde el mapa es constante y la "subcurva efectiva" como el cierre de su complemento. El núcleo de la obstrucción reside en los puntos de intersección $C \cap E$ entre un componente fantasma $C$ y la subcurva efectiva $E$.
2. Familias de Suavización: Asumiendo que un mapa estable es eventualmente suavizable, los autores construyen una familia de mapas estables sobre un disco $\Delta$ donde la fibra central es el mapa dado y las fibras generales son suaves.
3. Resolución de Singularidades: Para analizar el comportamiento cerca de los nodos donde los componentes fantasma y efectivos se encuentran, los autores resuelven las singularidades del espacio total de la familia. Modelan la geometría local de los nodos utilizando singularidades $A_l$ ($xy = t^{m+1}$) y realizan una secuencia de extracciones (blow-ups) para obtener una superficie no singular $\tilde{S}$.
4. Construcción de Funciones Racionales: Al expandir el morfismo $F: \tilde{S} \to X$ como una serie de potencias en el parámetro local $t$, los autores construyen una función racional específica en el componente fantasma. La idea clave es que, si una suavización existe, esta función racional debe existir en la curva fantasma con polos simples prescritos y residuos determinados por las derivadas del mapa en los componentes efectivos.
5. Obstrucción Cohomológica: La existencia de tal función racional está obstruida por una clase de cohomología en $H^1(C, \mathcal{O}_C) \otimes T_{X,q}$. Los autores relacionan los residuos de esta función con los mapas de conexión $\delta_{C,p}$ (derivados de la secuencia exacta de cohomología de la curva) y las derivadas $d(f|_E)_p$.

Contribuciones Clave y Resultados

• Teorema 1.7 (Obstrucción Principal): Los autores establecen una condición necesaria para la suavizabilidad eventual. Si un mapa estable es eventualmente suavizable, un mapa lineal específico que involucra el producto tensorial de los espacios tangentes en los puntos de intersección debe tener un núcleo no trivial. Específicamente, el mapa:
  $$\bigoplus_{p \in C \cap E} \delta_{C,p} \otimes d(f|_E)_p : \bigoplus_{p \in C \cap E} T_{C,p} \otimes T_{E,p} \to H^1(C, \mathcal{O}_C) \otimes T_{X,q}$$
  debe fallar en ser inyectivo. Esta obstrucción surge de la no existencia de funciones racionales en los componentes fantasma con polos y residuos prescritos.
• Corolario 1.8 (Condición de Rango): Se deriva una obstrucción más fácilmente computable, aunque estrictamente más débil, que dice que para cualquier componente fantasma, existe un subconjunto de puntos de intersección $D$ tal que la suma de los rangos del mapa de la derivada y el mapa de evaluación en la capa dualizante es menor o igual a la cardinalidad de $D$.
• Ejemplos de Mapas No Suavizables: El artículo proporciona ejemplos concretos en la Sección 2 donde la nueva obstrucción detecta la no suavizabilidad en casos donde los criterios previos fallan:
  • Género 1: El resultado recupera las obstrucciones óptimas conocidas (consistente con [10, 12]).
  • Género Superior: Los autores construyen ejemplos donde un componente fantasma de género $h \ge 2$ se encuentra con la subcurva efectiva en múltiples puntos. En estos casos, el mapa (1.1) es un isomorfismo (implicando un núcleo trivial), demostrando la no suavizabilidad. Los argumentos previos de conteo de dimensiones o resultados restringidos al género 1 o 2 no podían detectar estas obstrucciones.
  • Curvas Hiperelípticas: Los ejemplos que involucran curvas hiperelípticas y permutaciones de componentes demuestran que las obstrucciones puramente numéricas (como los invariantes $\delta$) no pueden distinguir entre mapas suavizables y no suavizables que comparten la misma imagen y conteo de componentes.

Significado y Reivindicaciones
El artículo afirma proporcionar una obstrucción general a la suavizabilidad eventual de los mapas estables que es "insensible a la geometría global de $X$" pero sensible al comportamiento local cerca de los componentes fantasma. Esto se alinea con el "criterio local para la suavizabilidad eventual" establecido en el trabajo previo de los autores [8].

Los autores declaran explícitamente que su obstrucción generaliza los resultados conocidos, incluyendo aquellos para género 1 y 2, y para mapas donde los componentes fantasma encuentran la curva efectiva en a lo sumo dos puntos. Crucialmente, demuestran que su teorema principal (Teorema 1.7) es estrictamente más fuerte que su propio Corolario 1.8 y estrictamente más fuerte que las obstrucciones derivadas del conteo de dimensiones o de la literatura previa (citando específicamente [10, 11, 12, 6, 2, 3]). El trabajo representa un paso hacia la construcción de una compactificación natural del espacio de curvas suaves mapeando a una variedad que es más pequeña que el espacio de módulos completo de mapas estables.

El artículo no propone nuevas aplicaciones o direcciones experimentales futuras, sino que se centra en la caracterización teórica del límite del espacio de módulos de mapas suaves. Los resultados se presentan como condiciones necesarias; el fallo de la obstrucción no garantiza la suavizabilidad, pero el cumplimiento de la obstrucción (es decir, que el mapa sea inyectivo) descarta definitivamente la suavizabilidad eventual.