Complete classification of irreducible components of the Brill-Noether locus of rank-$2$ vector bundles of degree $d$ and speciality $2$ on a general $ν$-gonal curve

Aquí presento un resumen técnico detallado del artículo "Complete Classification of Irreducible Components of the Brill-Noether Locus of Rank-2 Vector Bundles of Degree d and Speciality 2 on a General $\nu$-gonal Curve", realizado por Youngook Choi, Flaminio Flamini y Seonja Kim.

1. Planteamiento del Problema

El artículo aborda la teoría de Brill-Noether para fibrados vectoriales estables de rango 2 sobre curvas algebraicas complejas proyectivas suaves. Específicamente, el estudio se centra en:

• Objeto de estudio: Fibrados vectoriales $F$ de rango 2, grado $d$ y especialidad 2 (es decir, $h^1(C, F) = 2$).
• Contexto de la curva: La curva $C$ no es una curva general en el espacio de móduli $\mathcal{M}_g$, sino una curva $\nu$-gonal general de género $g$. Una curva $\nu$-gonal posee un morfismo de grado $\nu$ hacia $\mathbb{P}^1$. Se asume que $3 \le \nu < \lfloor \frac{g+3}{2} \rfloor$, lo que implica que la curva tiene una estructura especial (no es general en el sentido de moduli, ya que su gonialidad es menor que la gonialidad general).
• Rango de interés: El grado $d$ se considera en el rango $2g-2 \le d \le 4g-4$.
• Objetivo principal: Clasificar completamente los componentes irreducibles del locus de Brill-Noether $B^k_2(d) \cap U^s_C(d)$, donde $k = k_2 = d - 2g + 4$ (correspondiente a especialidad 2). A diferencia del caso de rango 1 (fibrados de línea), donde la teoría está bien establecida para curvas generales, el caso de rango 2 sobre curvas con moduli especiales presenta comportamientos más complejos, incluyendo la posible existencia de múltiples componentes y la superabundancia.

2. Metodología

Los autores emplean una combinación de técnicas geométricas avanzadas y teoría de extensiones:

1. Presentaciones Geométricas y Extensiones:

   • Utilizan el hecho de que cualquier fibrado estable especial de rango 2 puede presentarse como una extensión de fibrados de línea:
     $$0 \to N \to F \to L \to 0$$
     donde $L$ y $N$ son fibrados de línea adecuados.
   • Clasifican las componentes basándose en el tipo de presentación:
     • Tipo I: Donde la especialidad del cociente $L$ es $h^1(L)=2$.
     • Tipo II: Donde la especialidad del cociente $L$ es $h^1(L)=1$.

2. Espacios de Extensión Universales:

   • Construyen los componentes irreducibles como imágenes de espacios de extensión universales $\text{Ext}^1(L, N)$.
   • Analizan los lugares de degeneración de los mapas de coborde $\partial: H^0(L) \to H^1(N)$. La condición de especialidad $h^1(F)=2$ se traduce en condiciones de coranko sobre este mapa.

3. Teoría de Brill-Noether de Rango 1 sobre Curvas $\nu$-gonales:

   • Aprovechan resultados recientes (especialmente de H. Larson y otros) sobre la teoría de Brill-Noether para fibrados de línea en curvas $\nu$-gonales.
   • Utilizan la descomposición del fibrado directo $f_*(L)$ bajo el morfismo de gonialidad $f: C \to \mathbb{P}^1$ (tipos de descomposición o splitting types) para determinar la estructura de los fibrados de línea $L$ y $N$ que generan las extensiones.

4. Geometría de Superficies Regladas:

   • Interpretan los fibrados $F$ como superficies regladas (o scrolls) $S = \mathbb{P}(F)$.
   • Estudian las curvas unisecantes (secciones) en estas superficies para caracterizar la estabilidad y la rigidez de las presentaciones.
   • Utilizan invariantes como el invariante de Segre $s(F)$ para probar la estabilidad de los fibrados construidos.

5. Análisis de Mapas Modulares y Petri:

   • Definen mapas modulares racionales desde los espacios de construcción hacia el espacio de móduli $U^s_C(d)$.
   • Analizan la suavidad genérica de las componentes estudiando la inyectividad del mapa de Petri $\mu_F: H^0(F) \otimes H^0(\omega_C \otimes F^\vee) \to H^0(\omega_C \otimes F \otimes F^\vee)$.

3. Contribuciones Clave y Resultados Principales

El Teorema 0.3 del artículo proporciona una clasificación completa y precisa de las componentes irreducibles de $B^{k_2}_d \cap U^s_C(d)$ para todo el rango de grados $d$. Los resultados se dividen según el valor de $d$ y la relación con $\nu$:

A. Rangos de Vacío y Unicidad (Componente Regular)

• Rango $4g-6 \le d \le 4g-4$: El locus es vacío.
• Rango $4g-4-2\nu \le d \le 4g-7$: El locus es irreducible y consiste en una única componente regular ($B_{reg,2}$).
  • Es de dimensión esperada $\rho^{k_2}_d = 8g - 11 - 2d$.
  • Es unirrueda y genéricamente suave.
  • Los fibrados generales en esta componente son de Tipo II y admiten una presentación minimal de la forma:
    $$0 \to \omega_C(-D) \to F \to \omega_C(-p) \to 0$$
    donde $D$ es un divisor efectivo general y $p$ un punto general.

B. Rangos de Reducibilidad (Componente Regular + Superabundante)

En ciertos rangos de $d$ (dependiendo de $\nu$), el locus se vuelve reducible, conteniendo dos componentes:

1. $B_{reg,2}$ (Regular): Similar a la descrita arriba, de dimensión esperada.
2. $B_{sup,2}$ (Superabundante): Una componente extra que es superabundante (su dimensión es estrictamente mayor que la dimensión esperada $\rho^{k_2}_d$).
   • Dimensión: $6g - 6 - d - 2\nu$.
   • Estructura: Es una variedad reglada (unirrueda).
   • Presentación: Los fibrados generales en $B_{sup,2}$ son de Tipo I y se construyen mediante extensiones de la forma:
     $$0 \to N \to F \to \omega_C \otimes A^\vee \to 0$$
     donde $A$ es el fibrado de línea único de grado $\nu$ que define el pencil $g^1_\nu$ de la curva $\nu$-gonal, y $N$ es un fibrado de línea general de grado $d-2g+2+\nu$.

C. Casos Específicos de Transición

• $d = 2g - 5 + 2\nu$: Ambas componentes ($B_{reg,2}$ y $B_{sup,2}$) existen y son regulares (tienen la misma dimensión esperada), pero son distintas.
• $2g - 2 \le d \le 2g - 6 + 2\nu$: El locus es irreducible y consiste únicamente en la componente regular $B_{reg,2}$. La componente superabundante $B_{sup,2}$, si se construye, queda contenida como un subesquema cerrado propio dentro de $B_{reg,2}$.

4. Significado e Impacto

1. Resolución de Problemas Abiertos: El artículo completa la clasificación de componentes irreducibles para fibrados de rango 2 con especialidad 2 en curvas $\nu$-gonales, un problema que permanecía abierto y parcialmente resuelto en trabajos anteriores (como los de Teixidor i Bigas o los propios autores en [12, 13]).
2. Corrección de Resultados Previos: El trabajo corrige errores en la literatura anterior (específicamente en [13]), demostrando que la componente superabundante es genéricamente suave y no no-reducida como se afirmaba erróneamente para ciertos grados ($d=3g-4, 3g-5$).
3. Geometría Biracional: Proporciona una descripción detallada de la estructura biracional de las componentes, demostrando que son unirruedas y describiendo explícitamente las presentaciones de los fibrados generales.
4. Generalización de Resultados: Extiende los teoremas de Teixidor i Bigas (válidos para curvas generales) al caso de curvas con moduli especiales ($\nu$-gonales), mostrando cómo la presencia de la estructura $\nu$-gonal introduce nuevas componentes (las superabundantes) que no existen en el caso general de moduli.
5. Consecuencias para Fibrados con Determinante Fijo: Como corolario, el artículo deriva resultados sobre los loci de Brill-Noether con determinante fijo ($B^k_M$), mostrando que estos pueden ser no vacíos incluso cuando la dimensión esperada es negativa, y describiendo su estructura en términos de las componentes $B_{reg,2}$ y $B_{sup,2}$.

En resumen, este trabajo establece un marco completo y riguroso para entender la geometría de los fibrados vectoriales de rango 2 en curvas con gonialidad especial, utilizando una síntesis efectiva de teoría de extensiones, geometría de superficies regladas y teoría de Brill-Noether de rango 1 refinada.