$\mathbb{A}^1$--connectedness of moduli stack of semi-stable and parabolic semi-stable vector bundles over a curve

Resumen Técnico: A1-Conectividad de Módulos de Bundles Vectoriales Semiestables

1. Planteamiento del Problema

El artículo aborda la cuestión de la conectividad $\mathbb{A}^1$ (A1-connectedness) de ciertos moduli stacks (pilas de móduli) en geometría algebraica sobre una curva proyectiva suave e irreducible $C$ de género $g \geq 2$ definida sobre un cuerpo algebraicamente cerrado $k$.

El problema central es determinar si los siguientes espacios modulares son conexos en el sentido de la homotopía $\mathbb{A}^1$ (donde dos puntos están conectados si pueden unirse mediante una familia parametrizada por la línea afín $\mathbb{A}^1$):

1. El stack de móduli de bundles vectoriales semiestables $M^{ss}_C(n, L)$ de rango $n$ y determinante fijo $L$.
2. El stack de móduli de bundles vectoriales cuasi-parabólicos $P^{e,m}_C(n, L)$ con datos parabólicos fijos.
3. El stack de móduli de bundles parabólicos $\alpha$-semiestables $P^{\alpha-ss,e,m}_C(n, L)$ para ciertos pesos $\alpha$.

Contexto previo: En trabajos anteriores (específicamente [HY]), se demostró que el stack de todos los bundles vectoriales $M_C(n, L)$ es $\mathbb{A}^1$-conexo. Sin embargo, la restricción a la subpila abierta de bundles semiestables ($M^{ss}_C$) o estables ($M^s_C$) presenta dificultades significativas. Los métodos anteriores, que utilizaban cadenas de concordancias a través de extensiones de bundles, fallaban en el caso semiestable porque las variedades intermedias en la cadena a menudo caían fuera del locus semiestable (en el locus inestable), especialmente para rangos $n > 2$.

2. Metodología y Herramientas Técnicas

Los autores desarrollan una nueva estrategia que evita las cadenas de concordancias indirectas y construye conexiones directas, apoyándose en las siguientes herramientas:

• Concordancia $\mathbb{A}^1$ Directa: Se define la noción de que dos bundles $E_0$ y $E_1$ son directamente $\mathbb{A}^1$-concordantes si existe un bundle sobre $C \times \mathbb{A}^1$ que los interpola.
• Criterio de Valuación y Universalidad Cerrada (Teorema de Langton): Se utiliza el resultado clásico de Langton [L], que garantiza que el locus semiestable es universalmente cerrado. Esto implica que cualquier familia de bundles definida sobre el cuerpo de fracciones de un anillo de valoración discreta se puede extender a una familia semiestable sobre el anillo completo.
• Construcción de Cocientes Semiestables (Proposición 2.11): Se demuestra un lema técnico crucial: para un bundle $E$ y un $m$ suficientemente grande, existe una sobreyección $E(m) \twoheadrightarrow F$ hacia un bundle semiestable $F$ de rango $n-1$. Esto permite construir extensiones controladas.
• Estrategia de "Conexión Directa":
  1. Se toman dos bundles semiestables $E_0$ y $E_1$.
  2. Se construyen extensiones de ambos hacia un mismo bundle semiestable $F$ (mediante twists y sobreyecciones).
  3. Esto genera dos clases de extensión en un espacio afín $\text{Ext}^1$.
  4. La línea recta en este espacio afín conecta las dos clases, proporcionando una familia sobre $\mathbb{A}^1$.
  5. Punto clave: Gracias al teorema de Langton, se demuestra que esta familia puede ajustarse para permanecer enteramente dentro del locus semiestable, evitando el locus inestable.
• Fibrados de Bandera (Flag Bundles): Para el caso parabólico, se utiliza la estructura de fibrado de bandera iterado sobre el stack de bundles subyacentes. Se prueba que si la base es $\mathbb{A}^1$-conexa y la fibra es una variedad de bandera (que es racional y $\mathbb{A}^1$-conexa), entonces el total también lo es.

3. Contribuciones Clave

1. Resolución del problema para el locus semiestable: A diferencia de enfoques previos que no podían garantizar que las trayectorias intermedias permanecieran en el locus semiestable, los autores construyen una concordancia $\mathbb{A}^1$ directa que se mantiene completamente dentro de $M^{ss}_C(n, L)$.
2. Generalización a Bundles Parabólicos: Extienden la conectividad $\mathbb{A}^1$ al contexto de bundles cuasi-parabólicos y $\alpha$-semiestables, un área activa de investigación iniciada por Mehta y Seshadri.
3. Prueba alternativa para el caso estable: Proporcionan una prueba alternativa y más robusta para la conectividad del stack de bundles estables $M^s_C(n, L)$ cuando $\gcd(n, \deg L) = 1$, evitando depender únicamente de la racionalidad del espacio de móduli grueso.
4. Independencia del cuerpo base: Las demostraciones se realizan bajo suposiciones generales sobre el cuerpo base (cuerpos infinitos), asegurando la validez de los resultados en contextos amplios.

4. Resultados Principales

• Teorema 2.16: El stack de móduli de bundles vectoriales semiestables $M^{ss}_C(n, L)$ sobre una curva $C$ es $\mathbb{A}^1$-conexo.
  • Corolario: Si $\gcd(n, \deg L) = 1$, el stack de bundles estables $M^s_C(n, L)$ es $\mathbb{A}^1$-conexo.
• Teorema 3.7: El stack de móduli de bundles cuasi-parabólicos $P^{e,m}_C(n, L)$ es $\mathbb{A}^1$-conexo.
• Teorema 4.3: Para pesos $\alpha$ pequeños y genéricos (donde la semiestabilidad coincide con la estabilidad) y $\gcd(n, \deg L) = 1$, el stack de bundles parabólicos $\alpha$-semiestables $P^{\alpha-ss,e,m}_C(n, L)$ es $\mathbb{A}^1$-conexo.

5. Significado e Impacto

Este trabajo es significativo por varias razones:

• Superación de obstáculos técnicos: Resuelve la dificultad de conectar puntos en el locus semiestable sin "caer" en el locus inestable, un problema que había impedido la aplicación directa de métodos de homotopía $\mathbb{A}^1$ a subpilas abiertas importantes.
• Unificación de conceptos: Conecta la teoría de bundles vectoriales clásica con la teoría de bundles parabólicos bajo el marco de la homotopía $\mathbb{A}^1$, mostrando que la estructura de fibrado de bandera preserva la conectividad.
• Herramientas para futuros estudios: La construcción de concordancias directas mediante extensiones y el uso del criterio de valuación de Langton ofrecen una metodología que podría aplicarse a otros problemas de conectividad en espacios de móduli donde la estabilidad es una condición abierta pero delicada.
• Fundamento para la clasificación: Al establecer que estos espacios son $\mathbb{A}^1$-conexos, se confirma que, desde la perspectiva de la homotopía $\mathbb{A}^1$, no existen "obstrucciones topológicas" para deformar un bundle semiestable en otro del mismo rango y determinante, lo cual es fundamental para entender la estructura global de estos espacios modulares.

En resumen, el artículo demuestra que, a pesar de la complejidad introducida por las condiciones de estabilidad, la estructura geométrica subyacente de estos stacks de móduli es suficientemente flexible para permitir conexiones continuas a través de la línea afín, consolidando así propiedades homotópicas fundamentales en la geometría algebraica moderna.