Brauer group of moduli of stable parabolic $\text{SL}(r,\mathbb{C})$ and $\text{PGL}(r,\mathbb{C})$-connections and Higgs bundles over a curve

A continuación presento un resumen técnico detallado del artículo "Brauer Group of Moduli of Stable Parabolic SL(r, C) and PGL(r, C)-Connections and Higgs Bundles over a Curve" (Grupo de Brauer de los Espacios de Módulos de Conexiones y Bundles de Higgs Parabólicos Estables sobre una Curva), escrito por Pavan Adroja y Sujoy Chakraborty.

---

1. Planteamiento del Problema

El objetivo central del artículo es calcular los grupos de Brauer de ciertos espacios de módulos geométricos asociados a curvas de Riemann compactas. Específicamente, los autores se enfocan en:

1. El espacio de módulos de conexiones parabólicas estables para el grupo $SL(r, \mathbb{C})$.
2. El espacio de módulos de bundles de Higgs parabólicos fuertemente estables para el grupo $SL(r, \mathbb{C})$.
3. La relación entre el grupo de Brauer del stack de módulos de conexiones parabólicas estables para el grupo $PGL(r, \mathbb{C})$ y el de su espacio de módulos grueso (coarse moduli space).

Contexto y Motivación:

• El grupo de Brauer cohomológico de una variedad algebraica $Y$, denotado $Br(Y)$, se define como el subgrupo de torsión de $H^2_{\text{ét}}(Y, \mathbb{G}_m)$.
• Este invariante mide la obstrucción a la existencia de un bundle universal sobre el espacio de módulos.
• Además, juega un papel crucial en problemas de racionalidad de variedades.
• Los autores extienden resultados previos (como los de [BBS, BD] para bundles parabólicos y conexiones logarítmicas) al contexto de conexiones parabólicas y bundles de Higgs parabólicos, considerando curvas de género $g \geq 3$.

2. Metodología y Herramientas Técnicas

El enfoque metodológico combina geometría algebraica, teoría de representaciones y topología algebraica:

• Estructura de los Espacios de Módulos:

  • Se definen bundles vectoriales parabólicos con datos $(m, \alpha)$ (multiplicidades y pesos) sobre un conjunto finito de puntos $S \subset X$.
  • Se consideran conexiones logarítmicas con residuos semisimples que preservan la filtración parabólica y actúan como escalares en los cocientes de la filtración.
  • Se asume que el sistema de pesos $\alpha$ es genérico, lo que garantiza que la estabilidad parabólica y la estabilidad fuerte coinciden (evitando problemas de estabilidad semiestable).

• Análisis de Dimensiones y Codimensiones:

  • Se utiliza el teorema de Riemann-Roch y la dualidad de Serre parabólica para calcular dimensiones de espacios de cohomología relacionados con endomorfismos de traza cero.
  • Un paso crítico es demostrar que el subconjunto de conexiones cuyo bundle subyacente no es estable tiene una codimensión alta (al menos 2 o 3) dentro del espacio de módulos total. Esto permite aplicar la pureza cohomológica para el grupo de Brauer, que establece que si $U \subset Y$ es un abierto con codim($Y \setminus U$) $\geq 2$, entonces $Br(Y) \cong Br(U)$.

• Acción de Grupos y Quotientes:

  • Para el caso de $PGL(r, \mathbb{C})$, se estudia la acción del grupo de bundles de línea $r$-torsión $\Gamma \subset \text{Pic}(X)$ sobre el espacio de módulos de $SL(r, \mathbb{C})$.
  • Se analiza el lugar de puntos fijos de esta acción. Se demuestra que la unión de los lugares fijos para elementos no triviales de $\Gamma$ tiene una codimensión de al menos 3.
  • Se utiliza la teoría de stacks de Deligne-Mumford para relacionar el stack de módulos con su espacio de módulos grueso.

• Estructura de Fibrados:

  • Se establece que, sobre el locus estable, el espacio de conexiones es un torsor bajo el fibrado cotangente del espacio de módulos de bundles parabólicos estables. Esto permite reducir el cálculo del grupo de Brauer del espacio de conexiones al del espacio de bundles subyacentes.

3. Contribuciones Clave y Resultados Principales

A. Cálculo del Grupo de Brauer para $SL(r, \mathbb{C})$

El resultado principal (Teoremas 1.1, 4.4 y 5.2) establece que, para una curva de género $g \geq 3$ y pesos genéricos $\alpha$, los grupos de Brauer de los espacios de módulos de conexiones parabólicas estables ($M_{pc}^{m,\alpha}(r, \xi)$) y de bundles de Higgs parabólicos estables ($M_{Higgs}^{m,\alpha}(r, \xi)$) son isomorfos al mismo grupo cíclico finito:

$$Br(M) \cong \mathbb{Z}/\nu\mathbb{Z}$$

Donde el orden $\nu$ viene dado por:
$$\nu = \gcd(r, d, m_1^1, m_1^2, \dots, m_{\ell_1}^1, \dots, m_{\ell_n}^n)$$

• $r$: rango del bundle.
• $d$: grado del determinante fijo $\xi$.
• $m_j^i$: multiplicidades de los pesos en los puntos parabólicos.

Implicación: Esto generaliza resultados conocidos para bundles vectoriales y conexiones logarítmicas, mostrando que la adición de la estructura de conexión o campo de Higgs no altera la obstrucción de Brauer, la cual depende únicamente de los datos topológicos y de multiplicidad.

B. Relación entre Stack y Espacio Grueso para $PGL(r, \mathbb{C})$

El Teorema 1.2 (Teorema 7.3) establece una igualdad fundamental para el caso del grupo $PGL(r, \mathbb{C})$:

$$Br(\mathcal{N}_{pc}^{m,\alpha}(r, i)) \cong Br(\mathcal{N}_{pc}^{m,\alpha}(r, i)^{sm})$$

Donde:

• $\mathcal{N}_{pc}^{m,\alpha}(r, i)$ es el stack de módulos de conexiones parabólicas estables.
• $\mathcal{N}_{pc}^{m,\alpha}(r, i)^{sm}$ es el lugar suave del espacio de módulos grueso asociado.

Significado de la prueba:

1. Se demuestra que la acción del grupo de torsión $\Gamma$ sobre el espacio de $SL(r, \mathbb{C})$ es libre fuera de un subconjunto de codimensión $\geq 3$.
2. Debido a esta alta codimensión, el grupo de Brauer del stack es isomorfo al del espacio de módulos suave (ya que la singularidad y la acción de grupo no afectan la cohomología en dimensión 2).
3. Esto confirma que, bajo condiciones de genericidad, el grupo de Brauer del stack coincide con el de su espacio de módulos suave, extendiendo resultados previos de [BCD] y [BC] al contexto de conexiones.

4. Significado e Impacto

• Unificación de Invariantes: El trabajo unifica el entendimiento de las obstrucciones de Brauer en diferentes tipos de objetos geométricos (bundles, conexiones, Higgs) sobre curvas parabólicas, mostrando que el invariante es robusto frente a deformaciones (como la deformación de Hodge entre conexiones y Higgs).
• Herramientas para la Racionalidad: Al determinar explícitamente el grupo de Brauer, se proporciona información crucial para estudiar la racionalidad de estos espacios de módulos. Un grupo de Brauer no trivial es una obstrucción fuerte a la racionalidad.
• Avance en la Teoría de Stacks: El resultado sobre la igualdad entre el grupo de Brauer del stack y el del espacio suave para $PGL(r, \mathbb{C})$ es un paso importante en la comprensión de cómo las singularidades y las acciones de grupo afectan los invariantes cohomológicos en geometría algebraica moderna.
• Generalización: Los resultados se aplican a rangos arbitrarios $r$ y sistemas de multiplicidades generales, no limitándose a casos de bandera completa, lo que amplía significativamente el alcance de la literatura previa.

En resumen, el artículo proporciona una descripción completa y precisa de la estructura de torsión del grupo de Brauer para espacios de módulos de conexiones y Higgs parabólicos, resolviendo problemas abiertos sobre la relación entre stacks y espacios de módulos en este contexto específico.