Semiprojectivity of the moduli of principal $G$-bundles with $λ$-connections

Resumen Técnico: Semiproyectividad de Haces Principales G y λ-Conexiones

1. Planteamiento del Problema

El artículo aborda el estudio de la estructura geométrica y topológica de los espacios de móduli asociados a haces principales sobre una superficie de Riemann compacta y conexa $X$ de género $g \geq 2$. Específicamente, se centran en:

• $\mathcal{M}^d_{\text{Higgs}}(G)$: El espacio de móduli de haces $G$-de Higgs semiestables de tipo topológico fijo $d \in \pi_1(G)$.
• $\mathcal{M}^d_{\text{conn}}(G)$: El espacio de móduli de conexiones holomorfas $G$ semiestables.
• $\mathcal{M}^d_{\text{Hod}}(G)$: El espacio de móduli de Hodge principal, que unifica los anteriores mediante un parámetro $\lambda \in \mathbb{C}$.

El problema central: Estos espacios de móduli, en general, no son variedades suaves (presentan singularidades). Sin embargo, el artículo busca demostrar que poseen una propiedad geométrica fuerte llamada semiproyectividad, la cual permite aplicar herramientas poderosas de la teoría de acciones de grupos algebraicos (específicamente $\mathbb{C}^*$) para descomponer el espacio y entender su topología y motivicidad, incluso en presencia de singularidades (aunque las consecuencias cohomológicas profundas se derivan explícitamente para el caso suave).

2. Metodología

Los autores emplean una combinación de teoría de haces vectoriales, teoría de representaciones de grupos algebraicos y geometría algebraica avanzada. La metodología se basa en los siguientes pilares:

1. Acción $\mathbb{C}^*$: Se define una acción natural del grupo multiplicativo $\mathbb{C}^*$ sobre los espacios de móduli:

   • En haces de Higgs: $t \cdot (E_G, \phi) = (E_G, t\phi)$.
   • En el espacio de Hodge: $t \cdot (E_G, \lambda, \nabla) = (E_G, t\lambda, t\nabla)$.
     Esta acción preserva la semiestabilidad.

2. Mapa de Hitchin: Se utiliza el mapa de Hitchin $h: \mathcal{M}^d_{\text{Higgs}}(G) \to \mathcal{H}$, donde $\mathcal{H}$ es la base de Hitchin (suma directa de espacios de secciones de potencias del fibrado cotangente). Se demuestra que este mapa es equivariante bajo la acción $\mathbb{C}^*$.

3. Criterio de Propiedad (Valuative Criterion): Para probar la semiproyectividad, se verifica que:

   • Los límites $\lim_{t \to 0} t \cdot v$ existen en el espacio de móduli para todo punto $v$.
   • El subconjunto de puntos fijos bajo la acción $\mathbb{C}^*$ es propio (compacto) dentro del espacio.

4. Teorema de Bia lynicki-Birula: Una vez establecida la semiproyectividad (y asumiendo suavidad para la sección final), se aplica la teoría de Bia lynicki-Birula para descomponer la variedad en "conjuntos atractores" asociados a las componentes conexas del lugar de puntos fijos.

3. Contribuciones Clave y Resultados Principales

A. Demostración de Semiproyectividad (Teoremas 2.4 y 2.7)

• Resultado Principal: Se prueba que $\mathcal{M}^d_{\text{Higgs}}(G)$ y $\mathcal{M}^d_{\text{Hod}}(G)$ son variedades semiproyectivas.
• Mecanismo:
  • Se demuestra que para cualquier haz de Higgs semiestable $(E_G, \phi)$, el límite $\lim_{t \to 0} (E_G, t\phi)$ existe dentro del espacio de móduli. Esto se logra utilizando la propiedad propia del mapa de Hitchin y su equivariancia.
  • Se establece que el lugar de puntos fijos bajo la acción $\mathbb{C}^*$ está contenido en la fibra inversa $h^{-1}(0)$ (donde el campo de Higgs se anula) y es propio.
  • Para el espacio de Hodge, se demuestra que el límite de una $\lambda$-conexión cuando $t \to 0$ existe en la fibra $\pi^{-1}(0)$, que corresponde al espacio de haces de Higgs.

B. Descomposición de Bia lynicki-Birula (Sección 3)
Bajo la hipótesis adicional de que el espacio de móduli es suave (ej. cuando $G=GL_n(\mathbb{C})$ y $\gcd(n, d)=1$), el espacio admite una descomposición estratificada:
$$\mathcal{M}^d_{\text{Higgs}}(G) = \bigsqcup_{i \in I} S_i$$
Donde cada $S_i$ es un conjunto atractor asociado a una componente conexa $F_i$ del lugar de puntos fijos. Cada $S_i$ es un fibrado vectorial algebraico sobre $F_i$.

C. Consecuencias Cohomológicas (Teorema 3.1)
La semiproyectividad permite calcular la cohomología con soporte compacto del espacio total en términos de sus puntos fijos:
$$H^k_c(\mathcal{M}^d_{\text{Higgs}}(G), \mathbb{C}) \cong \bigoplus_{i \in I} H^{k-2n_i}_c(F_i, \mathbb{C})$$
Donde $n_i$ es la dimensión del subespacio de pesos positivos en el espacio tangente de Zariski en $F_i$. Esto implica que la topología del espacio de móduli está completamente determinada por la geometría de sus puntos fijos y la combinatoria de las celdas atractivas.

D. Consecuencias Motivicas (Teorema 3.2)
En el anillo de Grothendieck de variedades ($K(\text{Var}_{\mathbb{C}})$), la clase del espacio de móduli se expresa como una suma finita de potencias del motivo de Lefschetz ($\mathbb{L} = [\mathbb{A}^1]$) multiplicadas por las clases de los puntos fijos:
$$[\mathcal{M}^d_{\text{Higgs}}(G)] = \sum_{i \in I} \mathbb{L}^{n_i} [F_i]$$
Esto significa que el "motivo" del espacio de móduli se expresa enteramente en términos de su lugar fijo.

4. Significado e Impacto

• Unificación Geométrica: El trabajo demuestra que la semiproyectividad es una propiedad estructural fundamental que gobierna tanto la topología como la motivicidad de estos espacios de móduli, más allá de ser una mera propiedad formal de la acción de grupo.
• Herramienta de Cálculo: Proporciona un método sistemático para reducir problemas complejos sobre espacios de móduli de haces de Higgs y conexiones (que pueden ser de alta dimensión y tener singularidades) a problemas sobre el lugar de puntos fijos, que suelen ser más manejables y tener una estructura algebraica más simple (a menudo relacionados con haces de Higgs nilpotentes o reducciones de estructura).
• Generalización: Extiende resultados conocidos (como los de Simpson y Hitchin) a grupos reductivos generales $G$ y tipos topológicos arbitrarios $d$, no limitándose solo al caso de rango y grado coprimos donde los espacios son suaves.
• Aplicaciones Futuras: La descomposición de Bia lynicki-Birula obtenida es una herramienta crucial para el cálculo de polinomios de Poincaré, la teoría de cuantización geométrica y el estudio de la correspondencia de Hodge no abeliana en contextos más generales.

En resumen, el artículo establece que los espacios de móduli de haces de Higgs y $\lambda$-conexiones poseen una estructura semiproyectiva robusta, lo que permite descomponerlos geométricamente y calcular sus invariantes topológicos y motivicos a través de sus puntos fijos bajo la acción de escala.