Smoothness results for the schemes of special divisors on general k-gonal curves

Resumen Técnico: Resultados de Suavidad para Esquemas de Divisores Especiales en Curvas k-gonales Generales

1. Planteamiento del Problema

El artículo aborda la geometría de los esquemas de Brill-Noether $W^r_d(C)$, que parametrizan haces de líneas (divisores) de grado $d$ con al menos $r+1$ secciones globales sobre una curva proyectiva suave e irreducible $C$ de género $g$.

El problema central se centra en curvas k-gonales generales (curvas que admiten un morfismo $f: C \to \mathbb{P}^1$ de grado $k$, donde $k < \lfloor \frac{g+3}{2} \rfloor$). En el caso de curvas generales (sin estructura k-gonal especial), el Teorema de Gieseker-Petri garantiza que el mapa de Petri es inyectivo y que la singularidad de $W^r_d(C)$ coincide exactamente con $W^{r+1}_d(C)$. Sin embargo, para curvas k-gonales generales:

1. El mapa de Petri de la línea $M$ asociada al morfismo $f$ no es inyectivo.
2. La estructura de los componentes irreducibles de $W^r_d(C)$ es más compleja y se describe mediante loci de descomposición de Brill-Noether ($\Sigma_{\vec{e}}(C, f)$) asociados a tipos de descomposición (splitting types) $\vec{e}$ del haz $f^*(L)$.
3. Existe una brecha en el conocimiento sobre la suavidad de estos esquemas más allá de los puntos donde la dimensión cae ($W^{r+1}_d$). Específicamente, ¿es $W^r_d(C)$ suave en los puntos de un componente irreducible que no pertenecen a otros componentes ni a $W^{r+1}_d$?

2. Metodología

El autor emplea una combinación de teoría de esquemas, teoría de degeneración de haces y el análisis del mapa de Petri.

• Estructura de Esquema y Ideales de Fitting: Se utiliza la definición de $W^r_d(C)$ y los loci de descomposición $\Sigma_{\vec{e}}(C, f)$ como intersecciones de esquemas definidos por ideales de Fitting de ciertas cohomologías ($R^1\pi_* \mathcal{P}_d$).
• Reducción de Ideales de Fitting (Proposición 2): Una contribución metodológica clave es demostrar que, localmente en ciertos puntos de los loci de descomposición, el número de ideales de Fitting necesarios para definir la estructura del esquema puede reducirse drásticamente. Esto se logra mediante una generalización del "truco del haz de lápiz sin puntos base" (base point free pencil trick) y el uso de secuencias exactas de haces localmente libres.
• Análisis del Mapa de Petri: Se establece una relación directa entre la inyectividad del mapa de Petri $\mu_L$ y la suavidad del esquema en un punto $L$. Si $\mu_L$ es inyectivo, el espacio tangente tiene la dimensión esperada.
• Estratificación: Se analiza la estratificación de $\text{Pic}_d(C)$ basada en el tipo de descomposición $\vec{e}$ de $f^*(L)$, utilizando el ordenamiento parcial de secuencias de descomposición.

3. Contribuciones Clave y Resultados Principales

El artículo presenta tres teoremas principales que refinan la comprensión de la suavidad en este contexto:

A. Teorema A: Inyectividad del Mapa de Petri
Para una curva k-gonal general $C$ y un haz de líneas $L$ con $h^0(L)h^0(K-L) \neq 0$:

• El mapa de Petri $\mu_L$ es inyectivo si y solo si $h^0(L-M) \cdot h^0(K-L-M) = 0$.
• Esto caracteriza completamente cuándo un haz especial tiene un mapa de Petri inyectivo en este contexto, generalizando resultados previos.

B. Teorema C: Suavidad de los Loci de Descomposición
Sea $\Sigma_{\vec{e}}(C, f)$ un componente irreducible de algún $W^r_d(C)$.

• El esquema $\Sigma_{\vec{e}}(C, f)$ es suave a lo largo de un subconjunto abierto naturalmente definido $V^r_{d,l}(C, f)$ (que contiene al locus de descomposición "estándar" $\Sigma_{\vec{e}}(C, f)$).
• Este resultado generaliza trabajos anteriores que solo cubrían casos especiales (como curvas en superficies K3) y lo extiende a curvas k-gonales generales en cualquier característica.

C. Teorema B y Teorema 3: Suavidad de $W^r_d(C)$ y Componentes Múltiples
Este es el resultado más profundo sobre la singularidad de $W^r_d(C)$:

• Para un punto $L$ en un componente irreducible $Z$ de $W^r_d(C)$, el esquema $W^r_d(C)$ es suave en $L$ si y solo si $L$ pertenece a un único componente irreducible de $W^r_d(C)$.
• Contraejemplo a la intuición clásica: El autor demuestra que existen puntos $L \in W^r_d(C) \setminus W^{r+1}_d(C)$ donde $W^r_d(C)$ es singular, incluso si $L$ pertenece a un único componente irreducible. Esto ocurre cuando la condición de inyectividad del mapa de Petri falla debido a la estructura interna del componente (relacionada con $h^0(L+M)$).
• Se identifica que el lugar singular de $W^r_d(C)$ no es simplemente la unión de $W^{r+1}_d(C)$ y las intersecciones de componentes distintos.

4. Significado e Impacto

1. Refinamiento de la Teoría de Brill-Noether: El trabajo demuestra que la teoría de Brill-Noether para curvas k-gonales es más rica y sutil que para curvas generales. La singularidad no está determinada únicamente por la intersección de componentes o la caída de dimensión ($W^{r+1}$), sino también por la estructura interna de los componentes irreducibles.
2. Clarificación de la Estructura de Esquema: Al reducir el número de ideales de Fitting necesarios para definir localmente los esquemas, el autor proporciona herramientas computacionales y teóricas más manejables para estudiar la geometría de estos espacios de móduli.
3. Conexión con la Geometría de la Curva: Los resultados vinculan explícitamente las propiedades locales de los esquemas de divisores (suavidad) con propiedades globales de la curva (el morfismo $f$ de grado $k$) y el comportamiento de las secciones de $L$ respecto a $M$.
4. Generalidad: Los resultados son válidos para curvas k-gonales generales en cualquier característica, resolviendo dudas sobre la validez de resultados previos que dependían de argumentos de característica cero o de superficies K3 específicas.

En resumen, el artículo establece que, aunque los componentes individuales de los esquemas de Brill-Noether en curvas k-gonales son suaves en grandes abiertos, la singularidad global del esquema $W^r_d(C)$ puede surgir de la "superposición" de componentes o de condiciones internas de inyectividad del mapa de Petri, incluso en ausencia de intersección con otros componentes o de la subvariedad $W^{r+1}_d(C)$.