Surfaces with canonical map of odd degree

Aquí presento un resumen técnico detallado del artículo "Surfaces with Canonical Map of Odd Degree" (Superficies con Mapa Canónico de Grado Impar), escrito por Margarida Mendes Lopes, Rita Pardini y Roberto Pignatelli.

1. Planteamiento del Problema

El artículo se centra en el estudio de superficies complejas mínimas de tipo general $S$ con género geométrico $p_g(S) = h^0(K_S) \ge 4$. El objeto de estudio es el mapa canónico $\phi: S \to \Sigma \subset \mathbb{P}^{p_g-1}$.

El problema principal es entender el comportamiento de estas superficies cuando el mapa canónico es finito genéricamente de grado impar $d > 1$ (es decir, no es birracional).

• Contexto conocido: Resultados previos de Beauville y Xiao establecieron que para $p_g$ suficientemente grande, el grado del mapa canónico es a lo sumo 8. Se conocen series de ejemplos con grado par (especialmente grado 8) donde los invariantes de la superficie pueden ser ilimitados.
• La pregunta abierta: ¿Existen superficies con mapa canónico de grado impar $d > 1$ que tengan invariantes no acotados? Hasta ahora, solo se conocían ejemplos esporádicos y la clasificación completa para $d=3$ (bajo ciertas hipótesis).
• Hipótesis del trabajo:
  1. La curva canónica general $D \in |K_S|$ es suave.
  2. La imagen canónica $\Sigma$ está reglada por líneas (es decir, es una superficie reglada o un cono).

2. Metodología

Los autores emplean una combinación sofisticada de técnicas de geometría algebraica:

1. Geometría de Superficies y Teoremas de Acotación: Uso de la desigualdad de Bogomolov-Miyaoka-Yau y el Teorema del Índice para acotar los grados de las superficies imagen y los invariantes numéricos.
2. Estructura de los Pencilos (Haz de Curvas): Análisis del pencilo lineal $|C|$ inducido por el reglado de la imagen $\Sigma$. Se estudian las propiedades numéricas de las curvas $C$ (intersección $C^2$, género, intersección con $K_S$).
3. Puntos de Weierstrass y Brechas (Gaps): Se utiliza la teoría de puntos de Weierstrass en curvas Gorenstein para analizar la estructura de los sistemas lineales restringidos a las fibras del pencilo.
4. Paridad de las Características Theta: Este es el núcleo técnico más innovador. Los autores aplican el teorema de Harris sobre la constancia de la paridad de la característica theta en familias.
   • Utilizan una versión infinitesimal de este teorema (de [MPP26]) para estudiar cómo se comportan las dimensiones de los espacios de secciones $h^0$ bajo deformaciones, incluso cuando las fibras pueden tener singularidades o componentes no reducidas.
5. Construcciones de Cubrimientos Dobles: Para descartar casos específicos (especialmente el caso $d=5, p_g=5$), construyen cubrimientos dobles de superficies para transformar el problema en uno sobre una superficie con un pencilo de grado 1, permitiendo un análisis más fino de los invariantes.
6. Análisis de Sistemas Lineales en Curvas: Estudio detallado de los sistemas lineales $|mC|$y$|ap + bq|$ en las curvas generales del pencilo, utilizando secuencias exactas y cohomología.

3. Contribuciones Clave y Resultados Principales

El teorema principal (Teorema 3.1) establece las siguientes conclusiones bajo las hipótesis mencionadas:

1. Acotación del Género: El género geométrico está acotado por el grado del mapa:
   $$p_g(S) \le d + 2$$
2. Estructura de la Imagen: La imagen canónica $\Sigma$ es necesariamente un cono sobre la curva normal racional de grado $p_g(S) - 2$ en $\mathbb{P}^{p_g-1}$.
3. Restricción de Valores para $p_g = d+2$: Si se alcanza la cota superior ($p_g = d+2$), entonces el grado $d$ solo puede tomar los valores 3, 9 u 11.
   • Esto descarta la existencia de tales superficies para $d=5$ o $d=7$ cuando $p_g = d+2$.
4. Caso Específico $d=5$:
   • Si $d=5$, entonces $p_g \le 5$.
   • Si $p_g = 5$, la superficie posee un pencilo $|C|$ con $C^2 = 1$ y $K_S \cdot C = 5$.
   • Resultado crucial: Se descarta la posibilidad de $p_g=5$ con $C^2=2$ y $K_S \cdot C = 6$ (que parecía ser un caso "principal" basado en la analogía con $d=3$).

Corolario Importante (Corolario 3.3):
Si se elimina la hipótesis de que $\Sigma$ esté reglada por líneas, pero se asume que la curva canónica general es suave, se demuestra que:

• Si $d=7$, entonces $p_g \le 111$.
• Si $d=9$, entonces $p_g \le 15$.
• Si $d \ge 13$, entonces $p_g \le 2 + \frac{27}{d-9}$.
  Esto mejora significativamente los resultados anteriores de Xiao y Beauville, mostrando que los invariantes están fuertemente acotados para grados impares altos.

4. Análisis de Casos y Descarte

El trabajo dedica una gran parte a descartar casos que, numéricamente, parecían posibles:

• Descarte de $d=5, p_g=7$ y $d=7, p_g=9$: Se demuestra que si $p_g = d+2$, entonces $d$ no puede ser 5 ni 7. La prueba utiliza el teorema de invariancia de la paridad de las características theta para mostrar que la dimensión de los espacios de secciones crece más de lo permitido por la hipótesis de suavidad de la curva canónica.
• Descarte de $d=5, p_g=6$: Se analiza la estructura de la parte fija del sistema canónico y se utiliza la conexión numérica de las curvas para llegar a una contradicción con la suavidad de la curva general.
• Descarte de $d=5, p_g=5, C^2=2$: Este es el caso más difícil. Los autores construyen un cubrimiento doble y analizan la torsión en los haces directos de cohomología ($R^1\pi_* L$). Demuestran que la estructura de torsión requerida para que este caso exista contradice la paridad de las características theta en la familia de curvas.

5. Significado e Implicaciones

1. Respuesta a la Pregunta de Acotación: Los resultados sugieren fuertemente una respuesta afirmativa a la pregunta de si las superficies con mapa canónico de grado impar $d > 1$ tienen invariantes acotados. Esto contrasta drásticamente con el caso de grado par, donde existen series de ejemplos con invariantes ilimitados.
2. Rigidez de los Grados Impares: A diferencia del caso $d=3$ (que tiene una clasificación completa y varios ejemplos), para $d \ge 5$ (especialmente $d=5$), los autores encuentran una "rigidez" extrema: la mayoría de las configuraciones numéricas posibles se descartan, dejando muy pocos (o quizás ningún) ejemplo realizable más allá de los conocidos para $d=3$.
3. Técnicas Nuevas: El uso de la versión infinitesimal del teorema de paridad de características theta para estudiar superficies y sus fibraciones representa una herramienta potente que podría aplicarse a otros problemas de clasificación en geometría algebraica.
4. Limitación de la Hipótesis: Los autores reconocen que la suposición de que la curva canónica general sea suave es esencial para sus pruebas. Eliminar esta hipótesis y obtener resultados incondicionales sigue siendo un problema abierto y deseable.

En resumen, el artículo proporciona una clasificación casi completa y rigurosa de las superficies de tipo general con mapa canónico de grado impar bajo la hipótesis de suavidad, demostrando que tales superficies son extremadamente raras y poseen invariantes fuertemente acotados, a diferencia de sus contrapartes de grado par.