Infinitesimal automorphisms and obstruction theory on the moduli of $L$-valued $G$-Higgs bundles

Resumen Técnico: Automorfismos Infinitesimales y Teoría de Obstrucciones en el Moduli de Bundles G-Higgs con Valores en L

Enunciado del Problema
El artículo aborda las propiedades geométricas y de teoría de deformaciones de los bundles principales G-Higgs con valores en $L$ sobre una variedad de Kähler compacta $X$, donde $G$ es un grupo algebraico lineal reductivo y $L$ es un fibrado vectorial holomorfo sobre $X$. Si bien la teoría de los bundles Higgs con valores en $\Omega^1_X$ (bundles Higgs estándar) está bien establecida, particularmente en lo concerniente a la estabilidad, los automorfismos infinitesimales y los espacios de moduli, la generalización a fibrados vectoriales $L$ arbitrarios requiere extender resultados estructurales clave. Específicamente, los autores tienen como objetivo:

1. Calcular el espacio de automorfismos infinitesimales para bundles G-Higgs con valores en $L$ estables.
2. Establecer la estabilidad del fibrado adjunto asociado a un bundle G-Higgs estable.
3. Determinar la naturaleza de pila (stack) del espacio de moduli de bundles G-Higgs con valores en $L$ estables.
4. Construir una teoría de obstrucciones perfecta simétrica para el caso en que $X$ es una superficie proyectiva suave y $L = K_X$ (el fibrado canónico), sentando las bases para definir invariantes de Vafa-Witten para grupos reductivos generales.

Metodología
Los autores emplean una combinación de técnicas geométricas diferenciales (correspondencia de Kobayashi-Hitchin) y métodos de geometría algebraica (condiciones de estabilidad, filtraciones de Harder-Narasimhan y teoría de obstrucciones).

• Correspondencia Generalizada de Kobayashi-Hitchin: El análisis se basa en la correspondencia entre la estabilidad y la existencia de métricas hermitianas que satisfacen la ecuación de vórtice de quiver. Para un bundle G-Higgs con valores en $L$ $(E_G, \phi)$, los autores utilizan resultados de Álvarez-Cónsul y García-Prada [2] sobre bundles de quiver torcidos. Establecen que un bundle estable admite una única métrica hermitiana admisible $h$ que satisface la ecuación:
  $$i\Lambda_\omega F^{1,1}_E + [\phi, \phi^*_h] = \tau \text{id}_E$$
  donde $E = \text{ad}(E_G)$ es el fibrado adjunto, $F^{1,1}_E$ es la curvatura de la conexión de Chern, y $\tau$ es una constante determinada por el grado.

• Técnica de Bochner para Automorfismos: Para calcular los automorfismos infinitesimales, los autores adaptan la fórmula de Bochner utilizada en el caso de $\Omega^1_X$ (Biswas [7]). Al considerar una sección holomorfa $s$ del fibrado de endomorfismos que conmuta con el campo de Higgs ($[s, \phi]=0$), derivan una desigualdad diferencial que involucra al laplaciano $\Delta_d$. Utilizando la ecuación de Yang-Mills-Higgs y la identidad de Jacobi, muestran que $|s|^2$ es una función subarmónica. En una variedad compacta, esto implica que $s$ es paralela, lo que conduce a restricciones sobre el grupo de automorfismos.

• Estabilidad de Fibrados Adjuntos: Los autores extienden los resultados de Biswas [4] al contexto con valores en $L$. Demuestran que si $(E_G, \phi)$ es estable, entonces el bundle Higgs adjunto asociado $(\text{ad}(E_G), \phi)$ es poliestable. Esto implica analizar la filtración de Harder-Narasimhan del fibrado adjunto y utilizar la forma de Killing (para $G$ semisimple) para relacionar los subobjetos desestabilizadores del fibrado adjunto con reducciones parabólicas del bundle principal.

• Construcción de la Teoría de Obstrucciones: Para la pila de moduli de bundles estables, los autores construyen una teoría de deformación-obstrucción. Utilizan el complejo universal sobre el espacio de moduli y aplican la dualidad de Serre. La simetría de la teoría de obstrucciones se deriva de la autodualidad del complejo bajo la condición $L=K_X$ y la anulación del grupo de automorfismos infinitesimales para $G$ semisimple.

Contribuciones y Resultados Clave

1. Cálculo de Automorfismos Infinitesimales:
   El resultado principal (Teorema 3.4) establece que para un bundle principal G-Higgs con valores en $L$ estable $(E_G, \phi)$ sobre una variedad de Kähler compacta, el grupo de automorfismos infinitesimales $A(E)$ es isomorfo al centro del álgebra de Lie, $\mathfrak{z}(\mathfrak{g})$.

   • Significado: Esto extiende el resultado conocido para bundles con valores en $\Omega^1_X$ a $L$ arbitrario. Crucialmente, si $G$ es semisimple, $\mathfrak{z}(\mathfrak{g}) = 0$, lo que implica que el grupo de automorfismos es discreto.

2. Poliestabilidad del Fibrado Adjunto:
   El Teorema 4.8 establece que si $(E_G, \phi)$ es estable, entonces $(\text{ad}(E_G), \phi)$ es poliestable. Esto se basa en el hecho de que cualquier subobjeto desestabilizador del fibrado adjunto induciría una reducción parabólica del bundle principal, contradiciendo la estabilidad de $(E_G, \phi)$.

3. Pila de Moduli como Pila de Deligne-Mumford:
   La Proposición 5.4 demuestra que para un grupo semisimple $G$, la pila de moduli de bundles G-Higgs con valores en $L$ estables, denotada $\text{Higgs}^s_L(X)$, es una pila de Deligne-Mumford (DM).

   • Razonamiento: Una pila es DM si sus estabilizadores son finitos y reducidos. La anulación de los automorfismos infinitesimales ($\mathfrak{z}(\mathfrak{g})=0$) para $G$ semisimple asegura que los grupos estabilizadores son discretos. Se demuestra que la condición de estabilidad es una condición abierta (Proposición 5.1), asegurando la existencia del lugar estable como una subpila abierta.

4. Teoría de Obstrucciones Perfecta Simétrica:
   El Teorema 5.5 construye una teoría de obstrucciones perfecta simétrica para la pila de moduli $\text{Higgs}^s_{K_X}(X)$ cuando $X$ es una superficie proyectiva suave y $G$ es semisimple.

   • Mecanismo: La teoría de obstrucciones viene dada por un morfismo $\phi_H: T_{\text{Higgs}} \to E_H$. La simetría surge del isomorfismo $E_H \cong (E_H)^\vee[-1]$ en la categoría derivada, consecuencia de la dualidad de Serre y la elección específica $L=K_X$. La anulación de $H^{-1}(E_H)$ (automorfismos infinitesimales) y $H^2(E_H)$ (dual de los automorfismos) asegura que el complejo es perfecto y está soportado en grados $[0, 1]$.

Significado y Afirmaciones
El artículo afirma proporcionar un marco fundamental para el estudio de los invariantes de Vafa-Witten para grupos reductivos generales $G$.

• Fundamento para Invariantes: Los autores declaran explícitamente que la construcción de una teoría de obstrucciones perfecta simétrica en el lugar estable es un prerrequisito para definir invariantes de Vafa-Witten mediante la clase fundamental virtual equivariante.
• Generalización: El trabajo generaliza resultados anteriores restringidos a bundles con valores en $\Omega^1_X$ y grupos específicos (como grupos simplécticos u ortogonales) a grupos reductivos arbitrarios y bundles de torcimiento $L$ arbitrarios.
• Trabajo Futuro: Los autores señalan que estos resultados tienen la intención de generalizarse a haces G-Higgs estables en el sentido de Gieseker. Anticipan que, para una segunda clase de Chern mínima, el espacio de moduli resultante poseerá un lugar fijo compacto bajo $\mathbb{C}^*$ (mediante la escala del campo de Higgs), permitiendo la definición de invariantes de Vafa-Witten para $G$ de manera análoga a los casos simpléctico y ortogonal estudiados en [18].

El artículo no afirma calcular invariantes específicos ni proporcionar datos experimentales; más bien, establece la infraestructura geométrica y de pilas necesaria (rigidez infinitesimal, estructura DM y teoría de obstrucciones) requerida para definir y calcular dichos invariantes en trabajos futuros.