A note on the moduli of stable sheaves on elliptic ruled surfaces

1. Planteamiento del Problema

El artículo aborda la geometría de los espacios de módulos de haces coherentes $\mu$-semiestables sobre superficies regladas elípticas (también conocidas como fibrados $\mathbb{P}^1$ sobre una curva proyectiva suave $C$).

• Contexto: Sea $\pi: X \to C$ un fibrado $\mathbb{P}^1$ sobre una curva de género $g$. Sea $C_0$ una sección mínima con auto-intersección $(C_0^2) = -e$, y $f$ una fibra. El divisor canónico es $K_X \equiv -2C_0 - (2-2g+e)f$.
• Trabajo Previo: Walter [7] estableció la irreducibilidad de estos espacios de módulos bajo la condición estricta $((K_X + f) \cdot H) < 0$. Esta condición implica que los haces son "prioritarios", lo que permite el uso de teorías de deformación específicas.
• La Brecha: El autor pretende generalizar estos resultados a la condición más amplia $(K_X \cdot H) < 0$.
  • Esta condición se cumple para cualquier divisor amplio $H$ si $g=0$ o $g=1$.
  • Específicamente, el autor se centra en los casos donde $g=1$ y $e=0$ o $e=-1$ (donde $-K_X$ es nef pero no necesariamente amplio en el sentido de la condición original de Walter).
• Preguntas Centrales:
  1. ¿Son los espacios de módulos $\mathcal{M}_H(e)^{\mu ss}$ irreducibles bajo la condición más débil $(K_X \cdot H) < 0$?
  2. ¿Cuáles son las condiciones necesarias y suficientes para la existencia de tales haces (no vacuidad)?
  3. ¿Cuáles son las propiedades de los miembros generales de estos espacios de módulos (por ejemplo, libertad local, estabilidad en las fibras)?

2. Metodología

Yoshio emplea una combinación de teoría de pilas, teoría de deformación y análisis de cruces de muros dentro del cono amplio.

• Pilas de Módulos: En lugar de utilizar la cohomología equivariante de esquemas Quot (como en trabajos anteriores), el autor utiliza pilas de módulos de haces coherentes ($M(e)$, $\mathcal{M}_H(e)^{\mu ss}$). Esto permite un manejo más directo de las familias y las condiciones de estabilidad.
• Pilas de Filtraciones: El autor introduce la pila de filtraciones $FH(e_1, \dots, e_s)$ para analizar las filtraciones de Harder-Narasimhan y Jordan-Hölder. Esto es crucial para el conteo de dimensiones y la comparación de componentes de espacios de módulos a través de diferentes polarizaciones.
• Análisis de Muros y Cámaras:
  • El cono amplio $\text{Amp}(X)$ se divide en cámaras separadas por muros definidos por $W_F = \{H \mid ((\mu(E) - \mu(F)) \cdot H) = 0\}$.
  • El autor analiza cómo cambia el espacio de módulos a medida que la polarización $H$ cruza estos muros.
• Herramienta Técnica Clave: Anulación de $Ext^2$:
  • Un lema central (Lema 1.4) demuestra que si $(K_X \cdot H) < 0$, entonces para cualesquiera dos haces $\mu$-semiestables $E, F$ con la misma pendiente, $\text{Ext}^2(E, F) = 0$.
  • Esta anulación implica que la pila de módulos es suave y permite la aplicación de la teoría de deformación para probar la irreducibilidad.
• Técnica de Explosión (Blow-up): Para probar la irreducibilidad del lugar estable, el autor utiliza un resultado de Nakashima que relaciona los espacios de módulos en $X$ con los de una explosión $\tilde{X}$, aplicando los teoremas de Beauville y Markman sobre superficies con $(K_X \cdot H) < 0$.

3. Contribuciones y Resultados Clave

A. Irreducibilidad (Teorema 0.1 y Proposición 2.7)

El artículo demuestra que bajo la condición $(K_X \cdot H) < 0$, la pila de módulos $\mathcal{M}_H(e)^{\mu ss}$ es irreducible para cualquier carácter de Chern $e = (r, \xi, \chi)$ que satisfaga $0 \le (\xi \cdot f) < r$.

• Esto generaliza el resultado de Walter al eliminar el requisito de que $((K_X + f) \cdot H) < 0$.
• La prueba se basa en demostrar que el lugar de haces estrictamente semiestables tiene estrictamente menor dimensión que el lugar estable (Lema 2.5), y que el lugar estable localmente libre es abierto y denso.

B. Condiciones de Existencia (Teorema 0.1 y Proposición 2.9)

El autor proporciona un criterio preciso para la no vacuidad del espacio de módulos:
$$\mathcal{M}_H(e)^{\mu ss} \neq \emptyset \iff r^2 \Delta(e) \ge r_1(r - r_1)(x - e/2)$$
donde:

• $H(x) = C_0 + xf$ es el divisor amplio.
• $r_1 = (\xi \cdot f)$.
• $\Delta(e)$ es el discriminante definido en (1.2).
• Para el caso específico de género $g=1$ y $e=0, -1$, la condición se simplifica a $x \le \frac{e}{2} + \frac{r_2}{r_1 r_2} \Delta(e)$.

C. Propiedades de los Miembros Generales (Teorema 0.1 (3))

Para $r > 1$, un miembro general $E$ del espacio de módulos es:

1. Un haz localmente libre $\mu$-estable.
2. Rígido en las fibras: La restricción $E|_{\pi^{-1}(t)}$ es un fibrado vectorial rígido para un punto general $t \in C$.
3. Esta rigidez implica $\text{Ext}^1(E|_{\pi^{-1}(t)}, E|_{\pi^{-1}(t)}) = 0$.

D. Corolario para Divisores Anticanónicos Nef (Corolario 0.2)

En el caso específico donde $-K_X$ es nef ($e=0, -1$), el espacio de módulos no es vacío si y solo si:

• $\Delta(e) > 0$, O
• $r \mid (\xi \cdot f)$ y $\Delta(e) = 0$.

4. Significado

• Generalización de la Irreducibilidad: El artículo extiende con éxito los resultados conocidos de irreducibilidad para espacios de módulos de haces en superficies regladas, desde una condición restrictiva que involucra la fibra $f$ hasta la condición más natural que involucra el divisor canónico $K_X$.
• Manejo del Género 1: Aborda específicamente el caso de superficies regladas elípticas ($g=1$) donde la geometría es más sutil (por ejemplo, cuando $e=0$ o $-1$), proporcionando criterios de existencia que previamente no estaban claros.
• Perspectiva Estructural: Al utilizar la pila de filtraciones y argumentos de cruce de muros, el artículo aclara la relación entre la estabilidad de los haces en la superficie y la estabilidad de sus restricciones a las fibras.
• Fundamento para Estudios Futuros: Los resultados sobre la no vacuidad y la irreducibilidad de estos espacios de módulos proporcionan una base sólida para estudiar la geometría de estas superficies, impactando potencialmente el estudio de invariantes de Donaldson o la clasificación de fibrados vectoriales en superficies elípticas.

En resumen, la nota de Yoshio refina la comprensión de los espacios de módulos en superficies regladas elípticas al demostrar su irreducibilidad bajo un conjunto más amplio de condiciones geométricas y establecer límites precisos para su existencia, utilizando un marco robusto de teoría de pilas y análisis de deformación.