Abstract:The Hitchin-Simpson equations are first-order non-linear equations for a pair consisting of a connection and a Higgs field. In this paper, we study the behavior of sequences of solutions to the Hitchin-Simpson equations on closed Kähler manifolds with unbounded $L^2$ norms of the Higgs fields. We prove a compactness result for the connections and renormalized Higgs fields, which generalizes the work of Taubes and Mochizuki.
As applications, we prove that every $\mathbb{Z}/2$ harmonic 1-form on a Kähler manifold can be deformed into a sequence of solutions to the Hitchin-Simpson equations. Additionally, we solve the generalized Hitchin's WKB problem on any Kähler manifold.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the study of the behavior of the solution sequence of the Hitchin - Simpson equations. Specifically, the author studies the behavior of the solution sequence of the Hitchin - Simpson equations on a closed Kähler manifold when the $L^2$ - norm of the Higgs field is unbounded. The main contribution of the paper is to prove a compactness result, which generalizes the previous work of Taubes and Mochizuki in related fields.
### Main Problem
The core problem of the paper is to study the behavior of the solution sequence of the Hitchin - Simpson equations under specific conditions. The Hitchin - Simpson equations are a set of first - order nonlinear equations about connection and Higgs field, in the following form:
\[ F^{2,0}_A = 0, \quad \bar{\partial}_A \phi = 0, \quad \phi \wedge \phi = 0, \]
\[ \sqrt{-1} \Lambda (F^{1,1}_A + [\phi, \phi^\dagger]) = \gamma I_dE, \]
where $\Lambda : \Omega^{1,1}(\text{End}(E)) \to \Omega^0(\text{End}(E))$ is the contraction with the Kähler class, and $\gamma$ is defined as $\gamma=\frac{2\pi \text{deg}(E)}{(n - 1)! r}$.
### Compactness Theorem
The main result of the paper is a compactness theorem, which can be summarized as follows:
1. **Bounded Subsequence**: If the $L^2$ - norm of the solution sequence has a bounded subsequence, then there exists a singular set $Z_{Uh}$ of Hausdorff codimension 4, a Hermitian vector bundle $(E_\infty, H_\infty)$ of rank $r$, a unitary connection $A_\infty$ and a Hermitian 1 - form $\phi_\infty$ such that $(A_\infty, \phi_\infty)$ satisfies the Hitchin - Simpson equations on $X\setminus Z_{Uh}$. Moreover, by taking a subsequence and in the unitary gauge, $(A_i, \phi_i)$ converges to $(A_\infty, \phi_\infty)$ in the $C^\infty_{\text{loc}}$ topology on any compact subset.
2. **Unbounded Subsequence**: If the $L^2$ - norm of the solution sequence has no bounded subsequence, define $\hat{\phi}_i = r_i^{-1} \phi_i$ and $s_i=\kappa(\hat{\phi}_i)$, then $s_i$ converges smoothly to $s_\infty$. Let $Z_T\subset X$ be the discriminant subset defined by $s_\infty$, assume $Z_T\subsetneq X$ (automatically satisfied when $\text{rank} E = 2$), then:
- There exists a subset $Z_{Uh}\subset X\setminus Z_T$ of Hausdorff codimension 4, a unitary connection $A_\infty$ and a Hermitian 1 - form $\phi_\infty$ such that on $X\setminus (Z_{Uh}\cup Z_T)$, by taking a subsequence and in the unitary gauge, $(A_i, \hat{\phi}_i)$ converges to $(A_\infty, \phi_\infty)$ in the $C^\infty_{\text{loc}}$ topology.
- $A_\infty$ is a Hermitian - Yang - Mills connection, and $(A_\infty, \phi_\infty)$ satisfies the asymptotic Hitchin - Simpson equations.
- If $\