A boundedness theorem for principal bundles on curves

Resumen Técnico: Un Teorema de Acotación para Fibrados Principales sobre Curvas

Planteamiento del Problema
El artículo aborda la acotación de los espacios de módulos de fibrados principales $G$ sobre una curva proyectiva suave $C$, específicamente en el contexto de los cuasimapas hacia el stack cociente $[V/G]$, donde $G$ es un grupo reductivo que actúa sobre un esquema afín $V$. Se define una aplicación como un fibrado principal $G$ sobre $C$ equipado con una sección del fibrado vectorial asociado $P \times_G V$. El enfoque se centra en los "cuasimapas", donde el punto genérico de $C$ se mapea al lóbulo estable de GIT $V^s(\theta)$ para un carácter $\theta$.

Si bien la acotación de las curvas subyacentes y de las secciones de un fibrado fijo está bien comprendida, la acotación del conjunto de fibrados principales $P$ mismos —dado que admiten una sección que mapea el punto genérico al lóbulo estable— sigue siendo una brecha crítica, particularmente en el caso no abeliano. Los autores pretenden demostrar que, para un grado fijo del fibrado de línea inducido por un carácter $\theta$, el conjunto de tales fibrados principales es acotado. Este resultado es necesario para completar la prueba de acotación para cuasimapas $\epsilon$-estables y cuasimapas LG-$\Omega$-estables en el caso no abeliano, una tarea que quedó incompleta en el trabajo previo [CGL+23].

Metodología
Los autores emplean una estrategia basada en la teoría de reducciones canónicas (reducciones de Harder-Narasimhan) para fibrados principales, generalizando las técnicas utilizadas para fibrados vectoriales semiestables de pendiente.

1. Reducción a Formas Canónicas: En lugar de acotar los fibrados directamente, los autores analizan sus reducciones canónicas a subgrupos parabólicos. Para un fibrado principal $P$, existe una reducción canónica única a un subgrupo parabólico $P_i$ (que contiene un Borel fijo $B$) tal que el fibrado del factor de Levi asociado es semiestable, y el grado de la reducción satisface condiciones de positividad específicas respecto a combinaciones lineales no negativas de raíces simples.
2. Finitud Topológica: El núcleo de la prueba consiste en demostrar que el conjunto de tipos topológicos (grados) de estas reducciones canónicas es finito. Si los grados de las reducciones canónicas están acotados, la acotación del fibrado original de la familia de fibrados se sigue de la acotación de los fibrados semiestables y de la acotación de las extensiones entre ellos.
3. Restricciones de Estabilidad de GIT: La prueba aprovecha la existencia de una sección $\sigma$ que mapea el punto genérico al lóbulo estable $V^s(\theta)$. Al analizar los pesos de la representación $V$ y la acción de la sección sobre los fibrados vectoriales asociados, los autores derivan cotas inferiores para los grados de las reducciones canónicas.
4. Geometría Convexa: Los autores construyen un conjunto finito de caracteres $K$ en el dual de la álgebra de Lie del subgrupo parabólico. Demuestran que la envolvente convexa de $K$ contiene al origen en su interior. Esta propiedad geométrica, combinada con las cotas de grado derivadas, asegura que el conjunto de posibles grados sea finito.

Contribuciones Clave y Resultados

• Teorema 1.1 (Versión Simplificada): Para un entero fijo $d$, el conjunto de fibrados principales $G$ sobre $C$ tales que $\deg(P \times_G \mathbb{C}_\theta) = d$ y $P \times_G V$ admite una sección que envía el punto genérico a $V^s(\theta)$ es acotado.
• Teorema 1.2 (Versión General): El resultado se extiende a fibrados $\Gamma$ (donde $\Gamma$ encaja en una secuencia exacta $1 \to G \to \Gamma \xrightarrow{\epsilon} \mathbb{G}_m \to 1$) sobre familias de curvas torcidas. El conjunto de tales fibrados con grados fijos para los caracteres $\vartheta$ y $\epsilon$ en los componentes irreducibles es acotado.
• Acotación de Cuasimapas LG: Como corolario directo, el artículo establece la acotación de las cuasimapas LG-$\Omega$-estables en el caso no abeliano. Esto completa la teoría de módulos para estos objetos, que ya habían sido mostrados como separados y propios en el caso abeliano [CGL+23].
• Acotación de Cuasimapas Estables: El artículo también deduce la acotación de las cuasimapas estables hacia $[V/G]$ como un caso especial.

Significación y Reivindicaciones
El artículo afirma proporcionar el componente de acotación faltante para los módulos de las cuasimapas LG-$\Omega$-estables en el caso no abeliano, completando así la teoría fundamental para estos espacios de módulos tal como fueron introducidos en [CGL+23]. Los autores enfatizan que su enfoque generaliza la estrategia utilizada para los fibrados vectoriales (usando filtraciones de Harder-Narasimhan) a los fibrados principales (usando reducciones canónicas a subgrupos parabólicos).

La significación radica en permitir la construcción de espacios de módulos bien comportados para modelos de sigma lineal no abelianos y campos de spin mixto-P. Los autores señalan que, si bien las curvas subyacentes ya son conocidas por ser acotadas, la acotación de los fibrados principales mismos es el paso no trivial requerido para asegurar que el espacio de módulos sea de tipo finito. La prueba se apoya en argumentos estándar sobre la acotación de fibrados semiestables y extensiones, pero la contribución novedosa es la aplicación específica de las condiciones de estabilidad de GIT en el espacio objetivo $V$ para restringir los grados de las reducciones canónicas de los fibrados principales.