Brauer group of moduli stacks of parabolic principal bundles over a curve

1. Planteamiento del Problema

El objetivo central del trabajo es calcular y comprender la estructura del grupo de Brauer (tanto algebraico como analítico) de los stacks de móduli de haces principales parabólicos sobre una curva proyectiva suave $X$ definida sobre $\mathbb{C}$ (con género $g \geq 2$).

El grupo de Brauer, denotado como $Br(Y)$, es un invariante birracional estable crucial en geometría algebraica, utilizado para estudiar la racionalidad de variedades y obstrucciones a puntos racionales (teoría de Brauer-Manin).

El artículo aborda dos problemas específicos:

1. Haces principales $PGL(r, \mathbb{C})$: Determinar la relación entre el grupo de Brauer del stack de móduli de haces parabólicos estables y el grupo de Brauer de la parte suave del espacio de móduli grueso (coarse moduli space) correspondiente. El trabajo generaliza resultados previos que solo eran válidos para sistemas de pesos de "bandera completa" a sistemas de pesos genéricos arbitrarios.
2. Haces principales para grupos $G$ simplemente conexos: Investigar el grupo de Brauer para haces cuasi-parabólicos con grupo estructural $G$, donde $G$ es un grupo algebraico lineal complejo simple y simplemente conexo.

2. Metodología y Herramientas Técnicas

Los autores emplean una combinación de técnicas de geometría algebraica, teoría de representaciones y topología algebraica:

• Geometría de los Espacios de Móduli: Se utiliza la descripción de los espacios de móduli de haces vectoriales parabólicos estables ($M^{m,\alpha}_X(r, \xi)$) y su relación con los haces $PGL(r, \mathbb{C})$ mediante la acción del grupo de haces de línea de torsión $r$-ésima, $\Gamma = \{L \in \text{Pic}(X) \mid L^{\otimes r} \simeq \mathcal{O}_X\}$.
• Curvas Espectrales y Recubrimientos Étale: Para analizar los puntos fijos bajo la acción de $\Gamma$, se construyen curvas espectrales $Y \to X$ asociadas a haces de línea de torsión. Esto permite descomponer los haces estables en términos de haces sobre la curva recubridora.
• Análisis de Dimensiones y Codimensiones: Se realiza un cálculo detallado de las dimensiones de los subesquemas de puntos fijos. Se demuestra que la codimensión de la unión de los lugares de puntos fijos no triviales es al menos 3. Este es un paso crítico, ya que la eliminación de subvariedades de codimensión $\geq 3$ no altera el grupo de Brauer en variedades suaves o stacks de Deligne-Mumford.
• Teorema de Uniformización: Para el caso de grupos $G$ simplemente conexos, se utiliza el teorema de uniformización de Laszlo y Sorger ([LS]), que expresa el stack de móduli $M^{\text{par}}_G$ como un stack cociente $[L_X(G) \backslash Q^{\text{par}}_G]$, donde $Q^{\text{par}}_G$ es un producto de una ind-variedad de Grassmann y variedades bandera.
• Cohomología Singular y Secuencias Espectrales: Se emplea la cohomología singular $H^*_B$ y la secuencia espectral de Leray para relacionar la cohomología del stack de móduli con la del espacio de base y el grupo de estructura. Se utiliza el teorema de comparación entre el grupo de Brauer algebraico y el grupo de cohomología de Čech analítica bajo ciertas condiciones de "buen comportamiento" (propiedades de line bundles holomórficos).

3. Contribuciones Clave y Resultados Principales

A. Caso de $PGL(r, \mathbb{C})$ (Teorema 1.1 / Teorema 4.2)

El resultado principal establece que para un sistema de pesos genérico $\alpha$:
$$\text{Br}(\mathcal{N}^{m,\alpha}_X(r, \delta)) \simeq \text{Br}(\mathcal{N}^{m,\alpha}_X(r, \delta)^{\text{sm}})$$
Donde:

• $\mathcal{N}^{m,\alpha}_X(r, \delta)$ es el stack de móduli de haces principales $PGL(r, \mathbb{C})$ parabólicos estables.
• $\mathcal{N}^{m,\alpha}_X(r, \delta)^{\text{sm}}$ es el lugar suave del espacio de móduli grueso correspondiente.

Significado: Esto generaliza resultados anteriores ([BCD1]) que requerían sistemas de pesos de bandera completa. La demostración se basa en probar que el complemento del lugar suave en el espacio de móduli grueso tiene codimensión $\geq 3$, lo que implica que el grupo de Brauer no cambia al pasar del stack al espacio suave (debido a la propiedad de invariancia del grupo de Brauer bajo eliminación de subvariedades de alta codimensión).

B. Caso de Grupos Simples y Simply Conectados $G$ (Teorema 1.2 / Proposición 5.7 y Teorema 5.8)

Para cualquier grupo algebraico lineal complejo simple y simplemente conexo $G$, el grupo de Brauer del stack de móduli de haces cuasi-parabólicos $M^{\text{par}}_G(p, P)$ se anula:
$$\text{Br}(M^{\text{par}}_G(p, P)) = 0$$
y también el grupo de Brauer analítico:
$$H^2(M^{\text{par}}_G, (\mathcal{O}^{\text{an}}_{M^{\text{par}}_G})^*)_{\text{torsion}} = 0$$

Significado: Este es un resultado de anulación fuerte. A diferencia del caso $PGL(r, \mathbb{C})$ (donde el grupo de Brauer puede ser no trivial y depende del espacio de móduli suave), para grupos simplemente conexos, la estructura topológica y algebraica del stack es tal que no posee obstrucciones de Brauer.

4. Detalles Técnicos de las Demostraciones

• Para $PGL(r, \mathbb{C})$:

  1. Se define el grupo $\Gamma$ de haces de línea de torsión $r$-ésima.
  2. Se estudia la acción de $\Gamma$ sobre el espacio de móduli de haces vectoriales $M^{m,\alpha}_X(r, \xi)$.
  3. Mediante el uso de curvas espectrales y el empuje parabólico (parabolic push-forward), se demuestra que el lugar de puntos fijos de cualquier elemento no trivial de $\Gamma$ tiene codimensión $\geq 3$ (Lema 3.1, Proposición 3.3, Corolario 3.5).
  4. Dado que el stack de móduli $PGL$ es el cociente $[M^{m,\alpha}_X(r, \xi) / \Gamma]$, y la acción es libre fuera de un conjunto de codimensión alta, se concluye la isomorfía de los grupos de Brauer.

• Para $G$ simplemente conexo:

  1. Se utiliza la isomorfía de stacks $M^{\text{par}}_G \simeq [L_X(G) \backslash Q^{\text{par}}_G]$.
  2. Se calcula la cohomología singular $H^*_B(Q^{\text{par}}_G, \mathbb{Z})$ usando la fórmula de Künneth y propiedades de las variedades bandera y la ind-variedad de Grassmann, demostrando que $H^1$ y $H^3$ son nulos.
  3. Se verifica que $Q^{\text{par}}_G$ satisface las condiciones del Lema 5.6 (el grupo de Brauer analítico es cero).
  4. Mediante la secuencia espectral de Leray para el fibrado principal $Q^{\text{par}}_G \to M^{\text{par}}_G$, se demuestra que el grupo de Brauer analítico de $M^{\text{par}}_G$ también es cero.
  5. Finalmente, se verifica que $M^{\text{par}}_G$ satisface las condiciones de la Proposición 5.5 (relación entre Brauer algebraico y analítico), concluyendo que el grupo de Brauer algebraico es cero.

5. Significado e Impacto

• Generalización: El trabajo extiende significativamente el conocimiento sobre los grupos de Brauer de haces parabólicos, eliminando la restricción de "bandera completa" en los pesos, lo cual es esencial para aplicaciones en geometría de móduli más general.
• Distinción Estructural: El artículo destaca una diferencia fundamental entre los haces con grupo estructural $PGL(r, \mathbb{C})$ (que tienen un grupo de Brauer no trivial relacionado con la geometría del espacio de móduli suave) y los haces con grupos simplemente conexos (que tienen grupo de Brauer trivial).
• Herramientas para Futuras Investigaciones: Las técnicas desarrolladas, especialmente el uso de curvas espectrales para estimar codimensiones de puntos fijos y la aplicación del teorema de uniformización para calcular cohomología de stacks, proporcionan un marco robusto para estudiar invariantes cohomológicos en otros contextos de haces principales y stacks de móduli.

En resumen, el artículo proporciona una caracterización completa y rigurosa de los grupos de Brauer en dos contextos centrales de la teoría de haces parabólicos, resolviendo preguntas abiertas sobre la generalización de resultados previos y estableciendo resultados de anulación para grupos simplemente conexos.