🔢 mathematics

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

This paper computes infinitesimal automorphisms for $L$ -valued $G$ -Higgs bundles on arbitrary reductive groups to prove that their stable moduli stack is Deligne-Mumford and to construct a symmetric perfect obstruction theory on smooth projective surfaces, thereby laying the groundwork for defining Vafa-Witten invariants.

Original authors: Sanghyeon Lee, Sang-Bum Yoo

Published 2026-05-14

📖 5 min read🧠 Deep dive

CC BY 4.0

Original authors: Sanghyeon Lee, Sang-Bum Yoo

Original paper licensed under CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ This is an AI-generated explanation of the paper below. It is not written or endorsed by the authors. For technical accuracy, refer to the original paper. Read full disclaimer

Imagine you are an architect trying to organize a massive, complex city. This city is your mathematical "manifold" (a smooth, curved space). In this city, you have special structures called G-Higgs bundles. Think of these as intricate, multi-layered buildings (principal bundles) that have a special "wind" or "field" flowing through them (the Higgs field).

The paper by Sanghyeon Lee and Sang-Bum Yoo is about understanding the tiny, invisible movements of these buildings and how to build a perfect "map" (moduli space) to organize all possible versions of these buildings.

Here is a breakdown of their work using everyday analogies:

1. The Goal: Counting the "Tiny Wiggles"

In mathematics, when you have a complex object, you often want to know: "If I nudge this object just a tiny bit, does it stay the same, or does it change?" These tiny nudges are called infinitesimal automorphisms.

The Analogy: Imagine a spinning top. If you nudge it slightly, it might wobble. The "infinitesimal automorphisms" are the specific ways that top can wobble without falling over or changing its fundamental shape.
The Discovery: The authors calculated exactly how these "wobbles" work for a very general type of building (called an $L$ -valued G-Higgs bundle).
The Result: They found that for a "stable" (well-balanced) building, the only allowed wobbles are the ones that come from the very center of the structure's design (the center of the Lie algebra).
- Simple translation: If the building is perfectly stable, it is so rigid that it can't wiggle in any complicated way. It can only wiggle in the most basic, central way allowed by its blueprint. If the group $G$ is "semisimple" (a specific type of rigid group), there are zero wobbles at all. It is completely still.

2. The "Stability" Test

To do this calculation, the authors had to define what it means for these buildings to be "stable."

The Analogy: Imagine a tower of blocks. If the tower is "unstable," a small wind will knock it over. If it is "stable," it can withstand the wind.
The Paper's Claim: They proved that if the main building (the principal G-bundle) is stable, then the "shadow" it casts (the adjoint bundle, which is a related mathematical object) is also stable, just in a slightly different way (polystable). This was a crucial step to prove that the "wobbles" are limited to the center.

3. Building the Map (The Moduli Stack)

Mathematicians love to make maps of all possible shapes of a certain type. This map is called a moduli space.

The Analogy: Imagine a giant catalog where every single possible version of your "Higgs building" is listed.
The Problem: Sometimes these catalogs are messy. They might have "fuzzy" points where you can't tell one building from another, or the catalog might be too big to handle.
The Result: Because the authors proved that stable buildings have no extra "wobbles" (zero infinitesimal automorphisms), they could prove that their catalog is a Deligne-Mumford (DM) stack.
- Simple translation: This is a fancy way of saying the map is "well-behaved." It's not a messy, fuzzy blob; it's a clean, organized structure where every point is distinct and manageable. This is a huge relief for mathematicians trying to study these objects.

4. The "Perfect Obstruction Theory" (The 2D Special Case)

The paper goes a step further when the city is a surface (like a sheet of paper, 2-dimensional) and the "wind" is the "canonical wind" (related to the geometry of the surface itself).

The Analogy: Imagine you are trying to count the number of ways to arrange furniture in a room, but there are hidden rules (obstacles) that prevent certain arrangements. A "perfect obstruction theory" is like a master blueprint that perfectly accounts for every single rule and obstacle, allowing you to count the arrangements accurately.
The Result: The authors constructed a symmetric perfect obstruction theory.
- Simple translation: They built a mathematical tool that perfectly captures the "rules of the game" for these specific 2D buildings. This tool is "symmetric," meaning it has a beautiful balance in its structure.

Why Does This Matter? (According to the Paper)

The authors state that this work lays the foundation for defining Vafa-Witten invariants for general groups.

The Analogy: Think of Vafa-Witten invariants as a "score" or a "fingerprint" for these mathematical cities. Before this paper, we could only calculate this score for very specific types of buildings (like symplectic or orthogonal groups).
The Claim: Now that they have built the "well-behaved map" and the "perfect blueprint" (the obstruction theory), they can finally calculate this "score" for any reductive group $G$ .

Summary

They measured the wiggles: They proved that stable mathematical buildings are so rigid they can only wiggle in their center (or not at all).
They organized the catalog: Because the buildings don't wiggle weirdly, the map of all such buildings is clean and well-organized (a DM stack).
They built a perfect ruler: For 2D surfaces, they created a perfect mathematical tool to measure and count these buildings.
The Payoff: This allows mathematicians to define new "scores" (invariants) for a much wider variety of mathematical structures than was previously possible.

Technical Summary: Infinitesimal Automorphisms and Obstruction Theory on the Moduli of L-Valued G-Higgs Bundles

Problem Statement
The paper addresses the geometric and deformation-theoretic properties of $L$ -valued principal $G$ -Higgs bundles over a compact Kähler manifold $X$ , where $G$ is a reductive linear algebraic group and $L$ is a holomorphic vector bundle on $X$ . While the theory of $\Omega^1_X$ -valued Higgs bundles (standard Higgs bundles) is well-established, particularly regarding stability, infinitesimal automorphisms, and moduli spaces, the generalization to arbitrary vector bundles $L$ requires extending key structural results. Specifically, the authors aim to:

Compute the space of infinitesimal automorphisms for stable $L$ -valued $G$ -Higgs bundles.
Establish the stability of the adjoint bundle associated with a stable $G$ -Higgs bundle.
Determine the stack-theoretic nature of the moduli space of stable $L$ -valued $G$ -Higgs bundles.
Construct a symmetric perfect obstruction theory for the case where $X$ is a smooth projective surface and $L = K_X$ (the canonical bundle), laying the groundwork for defining Vafa-Witten invariants for general reductive groups.

Methodology
The authors employ a combination of differential geometric techniques (Kobayashi-Hitchin correspondence) and algebraic geometric methods (stability conditions, Harder-Narasimhan filtrations, and obstruction theory).

Generalized Kobayashi-Hitchin Correspondence: The analysis relies on the correspondence between stability and the existence of Hermitian metrics satisfying the quiver vortex equation. For an $L$ -valued $G$ -Higgs bundle $(E_G, \phi)$ , the authors utilize results from Álvarez-Cónsul and García-Prada [2] regarding twisted quiver bundles. They establish that a stable bundle admits a unique admissible Hermitian metric $h$ satisfying the equation:
$i\Lambda_\omega F^{1,1}_E + [\phi, \phi^*_h] = \tau \text{id}_E$
where $E = \text{ad}(E_G)$ is the adjoint bundle, $F^{1,1}_E$ is the curvature of the Chern connection, and $\tau$ is a constant determined by the degree.
Bochner Technique for Automorphisms: To compute infinitesimal automorphisms, the authors adapt the Bochner formula used in the $\Omega^1_X$ case (Biswas [7]). By considering a holomorphic section $s$ of the endomorphism bundle that commutes with the Higgs field ( $[s, \phi]=0$ ), they derive a differential inequality involving the Laplacian $\Delta_d$ . Using the Yang-Mills-Higgs equation and the Jacobi identity, they show that $|s|^2$ is a subharmonic function. On a compact manifold, this implies $s$ is parallel, leading to constraints on the automorphism group.
Stability of Adjoint Bundles: The authors extend the results of Biswas [4] to the $L$ -valued setting. They prove that if $(E_G, \phi)$ is stable, then the associated adjoint Higgs bundle $(\text{ad}(E_G), \phi)$ is polystable. This involves analyzing the Harder-Narasimhan filtration of the adjoint bundle and utilizing the Killing form (for semisimple $G$ ) to relate destabilizing subobjects of the adjoint bundle back to parabolic reductions of the principal bundle.
Obstruction Theory Construction: For the moduli stack of stable bundles, the authors construct a deformation-obstruction theory. They utilize the universal complex over the moduli space and apply Serre duality. The symmetry of the obstruction theory is derived from the self-duality of the complex under the condition $L=K_X$ and the vanishing of the infinitesimal automorphism group for semisimple $G$ .

Key Contributions and Results

Computation of Infinitesimal Automorphisms:
The primary result (Theorem 3.4) states that for a stable $L$ -valued principal $G$ -Higgs bundle $(E_G, \phi)$ over a compact Kähler manifold, the group of infinitesimal automorphisms $A(E)$ is isomorphic to the center of the Lie algebra, $\mathfrak{z}(\mathfrak{g})$ .
- Significance: This extends the known result for $\Omega^1_X$ -valued bundles to arbitrary $L$ . Crucially, if $G$ is semisimple, $\mathfrak{z}(\mathfrak{g}) = 0$ , implying the automorphism group is discrete.
Polystability of the Adjoint Bundle:
Theorem 4.8 establishes that if $(E_G, \phi)$ is stable, then $(\text{ad}(E_G), \phi)$ is polystable. This relies on the fact that any destabilizing subobject of the adjoint bundle would induce a parabolic reduction of the principal bundle, contradicting the stability of $(E_G, \phi)$ .
Moduli Stack as a Deligne-Mumford Stack:
Proposition 5.4 proves that for a semisimple group $G$ , the moduli stack of stable $L$ -valued $G$ -Higgs bundles, denoted $\text{Higgs}^s_L(X)$ , is a Deligne-Mumford (DM) stack.
- Reasoning: A stack is DM if its stabilizers are finite and reduced. The vanishing of infinitesimal automorphisms ( $\mathfrak{z}(\mathfrak{g})=0$ ) for semisimple $G$ ensures the stabilizer groups are discrete. The stability condition is shown to be an open condition (Proposition 5.1), ensuring the existence of the stable locus as an open substack.
Symmetric Perfect Obstruction Theory:
Theorem 5.5 constructs a symmetric perfect obstruction theory for the moduli stack $\text{Higgs}^s_{K_X}(X)$ when $X$ is a smooth projective surface and $G$ is semisimple.
- Mechanism: The obstruction theory is given by a morphism $\phi_H: T_{\text{Higgs}} \to E_H$ . The symmetry arises from the isomorphism $E_H \cong (E_H)^\vee[-1]$ in the derived category, a consequence of Serre duality and the specific choice $L=K_X$ . The vanishing of $H^{-1}(E_H)$ (infinitesimal automorphisms) and $H^2(E_H)$ (dual of automorphisms) ensures the complex is perfect and supported in degrees $[0, 1]$ .

Significance and Claims
The paper claims to provide a foundational framework for the study of Vafa-Witten invariants for general reductive groups $G$ .

Foundation for Invariants: The authors explicitly state that the construction of a symmetric perfect obstruction theory on the stable locus is a prerequisite for defining Vafa-Witten invariants via the equivariant virtual fundamental class.
Generalization: The work generalizes previous results restricted to $\Omega^1_X$ -valued bundles and specific groups (like symplectic or orthogonal groups) to arbitrary reductive groups and arbitrary twisting bundles $L$ .
Future Work: The authors note that these results are intended to be generalized to Gieseker stable $G$ -Higgs sheaves. They anticipate that for a minimal second Chern class, the resulting moduli space will possess a compact $\mathbb{C}^*$ -fixed locus (via scaling of the Higgs field), allowing the definition of Vafa-Witten invariants for $G$ in a manner analogous to the symplectic and orthogonal cases studied in [18].

The paper does not claim to compute specific invariants or provide experimental data; rather, it establishes the necessary geometric and stack-theoretic infrastructure (infinitesimal rigidity, DM structure, and obstruction theory) required to define and compute such invariants in future work.