Quadratic one-forms on logarithmic Higgs moduli

Technical Summary: Quadratic One-Forms on Logarithmic Higgs Moduli

Problem Statement
The paper investigates the geometry of logarithmic $G$-Higgs bundles on a pointed compact Riemann surface $(C, D)$, where $G$ is a connected complex reductive group and $D$ is a reduced divisor. The central focus is on the specific case where the residues of the Higgs field $\Phi$ at the punctures are nilpotent. The author seeks to understand how the nilpotency of these residues affects the behavior of homogeneous invariant polynomials in the Higgs field, specifically regarding their pole orders. Furthermore, the paper aims to construct a logarithmic quadratic one-form over the pointed Teichmüller space and relate this form to the variation of energy for tame nilpotent harmonic bundles, extending previous results by Hitchin on compact surfaces to the logarithmic setting.

Methodology
The work employs a combination of algebraic geometry, representation theory, and analytic techniques:

1. Algebraic Construction: The author utilizes the Jacobson-Morozov theorem and properties of invariant polynomials on Lie algebras to analyze the local behavior of the Higgs field near punctures. By expanding the Higgs field $\Phi$ in local coordinates as $\Phi = (\frac{N_i}{z} + A_i(z))dz$, where $N_i$ is the nilpotent residue, the paper demonstrates how the vanishing of invariant polynomials on nilpotent elements reduces the order of poles in $p(\Phi)$.
2. Moduli Space Analysis: The study is conducted on the smooth stable locus of the moduli space of semistable logarithmic $G$-Higgs bundles with nilpotent residues ($M^{\text{nil}}_{\text{Dol}}(G)$). The author uses Serre duality to identify the cotangent space of the pointed Teichmüller space $T_{g,r}$ with the space of meromorphic quadratic differentials with simple poles, $H^0(C, K_C^2(D))$.
3. Analytic Estimates: To relate the algebraic construction to energy variation, the paper analyzes tame nilpotent harmonic bundles on the punctured curve $C^\circ = C \setminus D$. It relies on asymptotic estimates from Simpson and Mochizuki regarding the growth of the Higgs field near punctures. A crucial component is the assumption of "positive decay" for the infinitesimal complex gauge term in the cusp scale, which allows for the control of boundary terms during integration by parts.
4. Circle Action Averaging: The paper adapts Hitchin's method of averaging over the circle action $(P, \Phi) \mapsto (P, e^{i\theta}\Phi)$ to derive identities for the averaged connection on the moduli space.

Key Contributions and Results

• Pole Order Reduction (Theorem 1.1 / Theorem 5.2): The primary algebraic result establishes that for any homogeneous invariant polynomial $p$ of degree $d \ge 1$, if the residues of the Higgs field are nilpotent, then $p(\Phi)$ has a pole of order at most $d-1$ at the marked points, rather than the generic order $d$. Specifically, $p(\Phi) \in H^0(C, K_C^d((d-1)D))$.

  • Sharpness: For $G=GL(n, \mathbb{C})$ and $p(X) = \text{tr}(X^k)$, the paper proves that the pole order $k-1$ is sharp; there exist local Higgs fields where the pole is exactly of this order.
  • Pfaffian Refinement: For $G=SO(2m, \mathbb{C})$, the paper shows that if the rank of the residue is sufficiently small ($\le 2m-4$), the pole order of the Pfaffian invariant drops further to $m-2$.

• Construction of the Logarithmic Quadratic One-Form: Using the invariant bilinear form $B$, the author defines a quadratic one-form $\phi_{G, \log}$ on the pointed Teichmüller space.

  • The form is given by $\phi_{G, \log}(Y) = -\frac{1}{2} \langle B(\Phi, \Phi), Y \rangle$, where $Y$ is a tangent vector to Teichmüller space.
  • Due to the pole reduction result, $B(\Phi, \Phi)$ lies in $H^0(C, K_C^2(D))$, which is naturally isomorphic to the cotangent space $T^*_{(C,D)} T_{g,r}$.
  • The paper provides both an integral representation (using a Beltrami differential vanishing near $D$) and a Čech-Dolbeault representation involving residues:
    $$\phi_{G, \log}(Y) = -\frac{1}{2} \left[ \int_{C^\circ} B(\Phi, \Phi)\mu + \sum_{i=1}^r \text{Res}_{p_i}(B(\Phi, \Phi)\xi_i) \right]$$

• Energy Variation Formula (Theorem 7.4): Under the assumption of fixed Betti representation and fixed local monodromy conjugacy classes, and assuming the infinitesimal complex gauge term has positive decay in the cusp scale, the paper proves that the variation of the parabolic energy functional $f_{\text{par}}$ is the real part of the logarithmic quadratic one-form:
  $$Y(f_{\text{par}}) = \text{Re}(\phi_{G, \log}(Y))$$
  This generalizes Hitchin's result for compact surfaces to the logarithmic case with nilpotent residues.

• Averaged Connection Identities: The paper extends the averaged connection identities to the logarithmic setting, showing that the logarithmic quadratic one-form satisfies $d_A \phi_{G, \log} = 0$, $\{\phi_{G, \log}, \phi_{G, \log}\} = 0$, and a modified curvature equation involving the Poisson bracket.

Significance and Claims
The paper claims to provide a rigorous algebraic and analytic framework for understanding the geometry of logarithmic Higgs bundles with nilpotent residues. Its significance lies in:

1. Refining the Hitchin Base: It demonstrates that the nilpotent-residue condition forces the Hitchin map to factor through a smaller base, specifically reducing the pole orders of the invariant differentials.
2. Geometric Quantization of Energy: It establishes a direct link between the algebraic structure of the moduli space (via the quadratic one-form) and the analytic variation of energy for harmonic bundles, confirming that the "leading pole term" of the energy variation is captured by the logarithmic quadratic form.
3. Extension of Hitchin's Theory: It successfully adapts the machinery of nonabelian Hodge theory and energy variation from compact Riemann surfaces to pointed curves, specifically addressing the behavior of the Higgs field near singularities.

The author notes that the algebraic construction of the one-form is independent of the analytic decay assumption; the decay condition is strictly required only to ensure the vanishing of boundary terms in the energy variation proof. The paper leaves open the analytic problem of proving this positive-decay condition from a logarithmic slice theorem for the linearized tame harmonic metric equation.