The parity of theta characteristics is preserved by infinitesimal deformations

1. Planteamiento del Problema

El trabajo se sitúa en el contexto de la geometría algebraica, específicamente en el estudio de familias de curvas y haces de líneas sobre ellas. El problema central aborda la invariancia de la paridad de las características theta bajo deformaciones infinitesimales.

• Contexto clásico: Se sabe (gracias a Mumford [Mu71] y Harris [Ha82]) que para una familia de curvas $\pi: X \to \Delta$ y un haz de líneas $L$ tal que $L^{\otimes 2} \cong \omega_{C_t}$ (una característica theta), la paridad de la dimensión de las secciones globales $h^0(C_t, L_t)$ es constante para toda la familia.
• La brecha: La pregunta abierta que motivó este trabajo es qué sucede cuando se restringe el haz de líneas no a una fibra genérica $C_t$, sino a un múltiplo de una fibra (es decir, a un esquema de soporte $kC_t$ para $k \in \mathbb{N}_{>0}$). Esto corresponde a estudiar deformaciones infinitesimales de la fibra.
• Motivación específica: Los autores surgieron de este estudio al analizar superficies de tipo general con aplicaciones canónicas de grado impar, donde la constancia simple de la paridad no era suficiente para descartar ciertos casos patológicos.

2. Metodología

Los autores emplean una combinación de técnicas de cohomología, teoría de deformaciones y álgebra conmutativa local.

A. Reducción a un problema algebraico local

El problema se localiza alrededor de un punto $\bar{t}$ en la curva base $\Delta$. Se trabaja en el anillo local $A = \mathcal{O}_{\Delta, \bar{t}}$ y sus cocientes $B_k = A/s^kA$, donde $s$ es un parámetro local. Esto permite traducir el problema geométrico sobre la fibra múltiple $kC$ a un problema sobre módulos sobre $B_k$.

B. Construcción de formas bilineales y subespacios isotrópicos

Siguiendo la línea de demostración de Mumford y Harris, los autores construyen:

1. Un haz vectorial libre $V$ de rango $2r$ sobre $A$.
2. Una forma bilineal simétrica no degenerada $Q: V \times V \to A$.
3. Dos submódulos libres $W_1, W_2 \subset V$ de rango $r$ que son totalmente isotrópicos respecto a $Q$ (es decir, $Q$ se anula en ellos).
4. La dimensión de la intersección $W_1 \cap W_2$ se relaciona con $h^0(C, L)$.

C. Lemas Algebraicos Clave

El núcleo de la prueba reside en dos lemas algebraicos que analizan el comportamiento de estas intersecciones al reducir módulo $s^k$:

• Lema 2.1: Establece que para una matriz antisimétrica $M$ sobre un anillo local, la dimensión de la imagen de la matriz inducida en $B_k$ forma una secuencia de enteros pares no decrecientes.
• Lema 2.2 (Versión infinitesimal): Demuestra que si $W_1$ y $W_2$ son isotrópicos, la secuencia $\{k \cdot q_1 - q_k\}_{k \in \mathbb{N}}$ es una secuencia no decreciente de números pares, donde $q_k = \dim_K((W_1 \otimes B_k) \cap (W_2 \otimes B_k))$.

D. Uso de Cohomología y Cambio de Base

Se utiliza el Teorema de Cambio de Base y resultados de Mumford ([Mu70]) para asegurar que los haces de cohomología directa superior ($R^i\pi_*L$) se comportan bien bajo tensorización con $B_k$, permitiendo identificar $h^0(kC, L|_{kC})$ con la intersección de los módulos algebraicos construidos.

3. Contribuciones y Resultados Principales

Teorema 1.1 (Preservación de la paridad infinitesimal)

Sea $\pi: X \to \Delta$ una morfismo proyectivo y plano con fibras curvas reducidas y conexas. Si $L$ es un haz de líneas tal que $L_t^{\otimes 2} \cong \omega_{C_t}$ para todo $t \in \Delta$, entonces:
$$h^0(kC_t, L|_{kC_t}) \equiv k \cdot h^0(C_t, L_t) \pmod 2$$
para todo $k \in \mathbb{N}_{>0}$ y todo $t \in \Delta$.

• Implicación: La paridad de las secciones globales en una fibra múltiple $kC$ está determinada linealmente por la paridad en la fibra reducida $C$. Además, la diferencia $k h^0(C_t, L_t) - h^0(kC_t, L|_{kC_t})$ forma una secuencia no decreciente de números pares.

Corolario 1.2 (Estructura del torsión en haces directos)

Bajo las mismas hipótesis, el subhaz de torsión del haz de cohomología directa superior $R^1\pi_*L$ es isomorfo a una suma directa de dos haces isomorfos:
$$\text{Tors}(R^1\pi_*L) \cong \mathcal{T} \oplus \mathcal{T}$$
donde $\mathcal{T}$ es un haz coherente en $\Delta$.

• Significado: Esto revela una estructura simétrica oculta en la torsión de los haces de cohomología, que no era evidente solo con la constancia de la paridad en fibras reducidas.

4. Significado e Impacto

1. Refinamiento de Teoremas Clásicos: El trabajo extiende el teorema clásico de invariancia de la paridad (válido para fibras reducidas) al contexto de esquemas infinitesimales (fibras múltiples), proporcionando una herramienta más fina para el análisis local de familias.
2. Aplicación en Clasificación de Superficies: El resultado es crucial para el estudio de superficies de tipo general con aplicaciones canónicas de grado impar. Los autores utilizan el Corolario 1.2 para descartar casos que no podían ser eliminados solo con la constancia de la paridad en fibras reducidas, cerrando así ciertas lagunas en la clasificación de tales superficies.
3. Interés Independiente: Más allá de su aplicación específica, el Teorema 1.1 y el Corolario 1.2 son resultados de interés propio en la teoría de deformaciones de haces de líneas y en la comprensión de la estructura de los haces directos superiores en geometría algebraica.

En resumen, el artículo demuestra que la "paridad" de las características theta es una propiedad robusta que se mantiene incluso al considerar deformaciones infinitesimales de orden superior, y explota esta propiedad para revelar una estructura de duplicidad en la torsión de los haces de cohomología asociados.