Some reducible and irreducible Brill-Noether loci

A continuación presento un resumen técnico detallado del artículo "Some Reducible and Irreducible Brill–Noether Loci" (Algunos lugares de Brill–Noether reducibles e irreducibles) de Richard Haburcak y Montserrat Teixidor i Bigas.

1. Problema y Contexto

El artículo aborda la estructura geométrica de los lugares de Brill–Noether, denotados como $M^r_{g,d}$, que son subvariedades del espacio de móduli de curvas $\mathcal{M}_g$ que parametrizan curvas de género $g$ que poseen un sistema lineal de grado $d$ y dimensión $r$ (una $g^r_d$).

El problema central se divide en dos aspectos:

• Irreducibilidad vs. Reducibilidad: Se sabe que para curvas genéricas, el espacio de sistemas lineales es irreducible cuando el número de Brill–Noether $\rho(g, r, d) = g - (r+1)(g-d+r)$ es no negativo. Sin embargo, cuando $\rho < 0$ (el rango negativo), la existencia y estructura de estos lugares son menos claras. La pregunta es si $M^r_{g,d}$ es irreducible o si posee múltiples componentes.
• Conjetura de Farkas: Se investiga la existencia de curvas con características theta (fibrados lineales $L$ tales que $L^{\otimes 2} \cong \omega_C$) que tengan un número específico de secciones ($h^0(L) \geq r+1$). Farkas conjeturó que para $g \geq \binom{r+2}{2}$, el lugar $T^r_g$ de tales curvas tiene una componente de la codimensión esperada $\binom{r+1}{2}$.
• Esquemas de Hilbert: La reducibilidad de $M^r_{g,d}$ implica la existencia de componentes adicionales en el esquema de Hilbert de curvas en $\mathbb{P}^r$, desafiando la noción de que estos esquemas son bien comportados o irreducibles en ciertos rangos.

2. Metodología

Los autores emplean una técnica poderosa de la geometría algebraica moderna: series lineales límite en cadenas de curvas elípticas.

• Cadenas de Curvas Elípticas: Construyen curvas degeneradas formadas por una cadena de curvas elípticas $C_1, \dots, C_g$ unidas en puntos nodales.
• Correspondencia con Tablas de Young: Utilizan la teoría de Eisenbud-Harris de series lineales límite, donde las componentes del espacio de series lineales en estas cadenas se corresponden biyectivamente con rellenos admisibles de rectángulos (o cuadrados) de tamaño $(r+1) \times (g-d+r)$ con números enteros.
  • Las condiciones de admisibilidad (A1, A2, A3) garantizan que las series límite se extiendan a curvas no singulares cercanas.
  • La simetría en el relleno del rectángulo corresponde a series semicanónicas (relacionadas con características theta).
• Construcción de Ejemplos:
  • Para probar la existencia de características theta, modifican la cadena estándar reemplazando pares de curvas elípticas por una curva de género 2 con puntos de Weierstrass, resolviendo problemas de torsión que surgen en rellenos "naive".
  • Para demostrar reducibilidad, construyen dos familias distintas de rellenos admisibles para el mismo par $(g, d)$: uno simétrico (que da una característica theta) y otro asimétrico (que no).
  • Analizan la gonialidad (el grado de la aplicación a $\mathbb{P}^1$) de las curvas en estas componentes para distinguir entre ellas.

3. Contribuciones y Resultados Clave

El artículo presenta tres teoremas principales y varios resultados sobre irreducibilidad:

A. Existencia de Características Theta (Teorema 1)

• Resultado: Demuestran que si $g \geq \binom{r+2}{2}$, el lugar $T^r_g$ (curvas con una característica theta de dimensión $r$) es no vacío y posee una componente de la codimensión esperada $\binom{r+1}{2}$ en $\mathcal{M}_g$.
• Método: Proporcionan una nueva y más simple prueba de la conjetura de Farkas (anteriormente probada en [3] mediante criterios de suavizado) utilizando series límite en cadenas elípticas modificadas con curvas de género 2.
• Detalle técnico: El núcleo del mapa de Petri para un punto genérico en esta componente tiene dimensión $\binom{r+1}{2}$.

B. Reducibilidad de $M^r_{g, g-1}$ (Teorema 2)

• Resultado: Para $r \geq 3$ y $g = \binom{r+2}{2}$, el lugar de Brill–Noether $M^r_{g, g-1}$ es reducible.
• Componentes:
  1. Una componente $ET^r_g$ compuesta por curvas que poseen una característica theta (relleno simétrico).
  2. Otra componente $N^r_{g, g-1}$ compuesta por curvas donde la $g^r_{g-1}$ no es una característica theta (relleno asimétrico).
• Implicación: Esto genera una segunda componente en el esquema de Hilbert de curvas suaves de género $g$ y grado $g-1$ en $\mathbb{P}^r$ para $r \geq 3$. El caso más bajo es $r=3, g=10$.

C. Existencia de Terceras Componentes (Teorema 3)

• Resultado: Para ciertos valores de $r$ ($r=3, 5, 7$ o $r \geq 8$) y $g = \binom{r+2}{2}$, el lugar $M^r_{g, g-1}$ tiene al menos tres componentes.
• Las tres componentes son:
  1. $ET^r_g$ (con característica theta).
  2. $N^r_{g, g-1}$ (sin característica theta).
  3. Una componente que contiene el lugar de curvas $k$-gonales ($M^1_{g, k}$), donde $k = \kappa(g, r, g-1)$.
• Distinción: Se demuestra que estas componentes son disjuntas analizando la gonialidad de las curvas generales en cada una (Lemas 4.4 y 4.5). Por ejemplo, las curvas en $ET^r_g$ tienen gonialidad alta ($> 2r-1$), mientras que las de la componente $k$-gonal tienen gonialidad baja.

D. Irreducibilidad para $r=2$ (Sección 5)

• Resultado Positivo: Establecen cotas óptimas para la irreducibilidad de $M^2_{g,d}$.
• Proposición 5.2: Si $\rho(g, 2, d) < 0$ y $d > \frac{g+4}{2}$ (o condiciones específicas para $d$ impar), entonces $M^2_{g,d}$ es irreducible (tiene una única componente con curvas que tienen una $g^2_d$ sin puntos base).
• Optimalidad: Muestran que esta cota es óptima mediante contraejemplos donde $M^2_{g,d}$ es reducible (ej. $M^2_{11,7}$, $M^2_{12,8}$, $M^2_{12,7}$). En estos casos, la reducibilidad surge de la inclusión de lugares de curvas con menor gonialidad ($M^1_{g,k} \subset M^2_{g,d}$) que tienen mayor dimensión que la componente esperada.

4. Significado e Impacto

1. Resolución de Conjeturas: La prueba simplificada de la existencia de características theta de alta dimensión refuerza la comprensión de la geometría de los espacios de móduli en rangos donde las curvas genéricas no tienen tales estructuras.
2. Geometría del Esquema de Hilbert: El trabajo proporciona ejemplos explícitos y sistemáticos de esquemas de Hilbert reducibles para $r \geq 3$, desafiando la intuición de que estos espacios son irreducibles en rangos de grado bajos. Esto conecta directamente con el "Ley de Murphy" de Vakil sobre la complejidad de los esquemas de Hilbert.
3. Método Constructivo: La técnica de usar cadenas elípticas con curvas de género 2 intercaladas para controlar las condiciones de torsión y simetría ofrece una herramienta versátil para construir contraejemplos y probar existencia en teoría de Brill–Noether.
4. Clasificación Completa: La distinción precisa entre componentes basadas en la presencia de características theta y la gonialidad de las curvas ofrece una visión más matizada de la topología de los lugares de Brill–Noether en el rango negativo.

En resumen, el artículo demuestra que, lejos de ser espacios simples, los lugares de Brill–Noether en rangos negativos pueden tener una estructura rica y compleja con múltiples componentes irreducibles, y proporciona las herramientas y ejemplos necesarios para clasificar estos comportamientos.