Birational Geometry of Quot Schemes on smooth projective curves via Stable Pairs

Aquí presento un resumen técnico detallado del artículo "Birational Geometry of Quot Schemes on Smooth Projective Curves via Stable Pairs" de Chandranandan Gangopadhyay y Atsushi Ito.

1. Introducción y Problema de Investigación

El artículo aborda la geometría biracional de los esquemas de Quot sobre curvas proyectivas suaves. Sea $C$ una curva proyectiva suave de género $g \geq 2$ sobre $\mathbb{C}$ y $E_0$ un fibrado vectorial sobre $C$ de rango $r$ y grado $e$. El objeto de estudio es el esquema de Quot $Quot_C(E_0, k, n)$, que parametriza los cocientes de $E_0$ de rango $k$ y grado $n$.

El foco principal recae en el comportamiento de estos esquemas cuando el grado $n$ es suficientemente grande ($n \gg 0$). En este régimen, se sabe que el esquema es irreducible y genéricamente liso. El problema central es entender la estructura biracional de la fibra $Q_L$ del morfismo determinante:
$$\det: Quot_C(E_0, k, n) \to Pic^n(C)$$
donde $Q_L = \det^{-1}([L])$ para un fibrado de línea $L \in Pic^n(C)$.

El objetivo es demostrar que $Q_L$ es un espacio de sueños de Mori (Mori dream space) y describir explícitamente sus conos de clases de divisores (nef, movible y efectivo), así como la geometría de las modificaciones pequeñas $\mathbb{Q}$-factoriales (SQMs) que conectan diferentes modelos biracionales.

2. Metodología: Pares Estables

La herramienta fundamental utilizada por los autores es la teoría de pares estables (stable pairs), introducida originalmente por Bradlow y desarrollada posteriormente por Thaddeus, Braden-Drezet y otros.

En lugar de trabajar directamente con el esquema de Quot, los autores utilizan el espacio de móduli de pares $\delta$-semiestables:
$$M_{C, \delta}(E_0, s, d)$$
que parametriza clases de equivalencia de pares $(E, \alpha)$, donde $E$ es un fibrado vectorial de rango $s$ y grado $d$, y $\alpha: E_0 \to E$ es un homomorfismo no nulo. La estabilidad depende de un parámetro real $\delta > 0$.

La conexión clave:
Existe un isomorfismo para $\delta$ suficientemente grande:
$$Quot_C(E_0, k, n) \xrightarrow{\sim} M_{C, \delta}(E_0, r-k, n-e)$$
dado por $[E_0 \twoheadrightarrow B] \mapsto [E_0 \to (\ker q)^\vee]$.
Esto permite trasladar el estudio del esquema de Quot al estudio de los espacios de móduli de pares, donde la variación del parámetro de estabilidad $\delta$ induce transformaciones biracionales conocidas (flips y contracciones divisoriales).

3. Desarrollo Técnico y Resultados Principales

A. Variación de la Estabilidad (Wall-Crossing)

Los autores analizan cómo cambia el espacio de móduli $M_{C, \delta}$ al variar $\delta$. Existe una secuencia finita de valores críticos (paredes) $0 = \delta_0 < \delta_1 < \dots < \delta_N < \delta_{N+1} = \infty$ tales que:

1. Para $\delta \in (\delta_{i-1}, \delta_i)$, el espacio $M_{C, \delta}$ es constante.
2. Al cruzar una pared $\delta_i$, el espacio sufre una modificación biracional.
3. Para $n \gg 0$, se demuestra que estos espacios son irreducibles, normales, localmente completos intersección y localmente factoriales.

B. Modificaciones Pequeñas $\mathbb{Q}$-Factoriales (SQMs)

El artículo prueba que para $n$ suficientemente grande, la fibra $Q_L$ y sus modelos biracionales $M_{C, \delta}(E_0, s, d)_L$ están relacionados por una secuencia de SQMs. Esto implica que todos estos espacios comparten el mismo cuerpo de funciones y difieren solo en codimensión $\geq 2$ o mediante contracciones divisoriales controladas.

C. Descripción de los Conos de Divisores

El resultado más significativo es la descripción explícita de los conos de clases de divisores en $N^1(Q_L)_\mathbb{R} \cong \mathbb{R}^2$. Los autores definen una base $\{\lambda, \mu\}$ (donde $\lambda$ y $\mu$ están relacionados con clases de fibrados universales y el morfismo de determinante) y construyen clases $\theta_i$ dependientes de las paredes $\delta_i$.

• Cono Nef: Se describe como la unión de conos generados por clases semi-ample asociadas a cada región de estabilidad.
  $$\text{Nef}(Q_L) = \mathbb{R}_{\geq 0}\theta_N + \mathbb{R}_{\geq 0}\lambda$$
  (y análogos para los otros modelos $M_i$).
• Cono Movible: Es la unión de los conos nef de todas las SQMs.
  $$\text{Mov}(Q_L) = \bigcup_i \text{Nef}(M_i)$$
• Cono Efectivo: Se determina explícitamente, mostrando que está generado por un número finito de clases.

D. Espacios de Sueños de Mori (Mori Dream Spaces)

Basándose en la descripción finita de los conos y la existencia de un número finito de SQMs, los autores demuestran el Teorema Principal:

1. La fibra $Q_L$ es un Mori dream space.
2. El morfismo determinante $\det: Quot_C(E_0, k, n) \to Pic^n(C)$ es un morfismo de sueños de Mori (una versión relativa de la definición de Hu-Keel).

Esto significa que el programa de modelos mínimos (MMP) para estos espacios puede ejecutarse completamente, y todos los modelos intermedios tienen descripciones modulares naturales.

4. Casos Específicos y Dimensiones

El artículo distingue varios casos según el rango $s = r-k$ del fibrado en el espacio de móduli de pares:

• Caso $s=1$: El esquema es un fibrado proyectivo sobre la variedad de Jacobiana.
• Caso $1 \leq s \leq r$: Se estudian las paredes de estabilidad y se demuestra que las modificaciones son isomorfismos en codimensión 1 (SQMs) salvo en casos específicos donde ocurren contracciones divisoriales.
• Caso $s > r$: Se analizan las condiciones de inyectividad de $\alpha$ y se demuestra que para $\delta$ grande, el espacio es isomorfo a un espacio de móduli de fibrados estables. Se tratan casos especiales como $s = r+1$ donde ocurren contracciones divisoriales específicas.

Se proporcionan estimaciones precisas de las dimensiones de los espacios de móduli y de los lugares donde la aplicación de cambio de pared no es un isomorfismo, demostrando que estos lugares tienen codimension alta (generalmente $\geq 2$ o $\geq 4$) para $n$ grande, lo que garantiza la buena comportamiento de los espacios.

5. Significado e Impacto

Este trabajo es fundamental en la geometría algebraica moderna por varias razones:

1. Generalización de Resultados Clásicos: Extiende resultados conocidos sobre el caso $C = \mathbb{P}^1$ (donde los esquemas de Quot son variedades de Grassmannianas o espacios proyectivos) a curvas de género $g \geq 2$, un contexto mucho más complejo donde los esquemas pueden ser singulares y reducibles.
2. Unificación de Modelos: Proporciona un marco unificado que conecta los esquemas de Quot con los espacios de móduli de pares estables, mostrando que son diferentes "cáscaras" del mismo objeto geométrico subyacente.
3. Herramientas para la Teoría de Intersección: La descripción explícita de los conos nef y efectivos permite calcular invariantes geométricos, como números de intersección y clases de Chern, que son esenciales para la teoría de Gromov-Witten y la teoría de cuerdas topológicas.
4. Aplicabilidad del MMP: Al establecer que estos espacios son "Mori dream spaces", se garantiza que el Programa de Modelos Mínimos (MMP) es finito y efectivo para ellos, permitiendo clasificar todas las variedades biracionalmente equivalentes con buena estructura de fibrado.

En resumen, el artículo resuelve la estructura biracional de los esquemas de Quot sobre curvas de género alto para grados grandes, utilizando la variación de estabilidad de pares como mecanismo principal para navegar entre diferentes modelos geométricos, demostrando su naturaleza de "sueños de Mori".