On the singular sets of solutions to the Kapustin-Witten equations and the Vafa-Witten ones on compact K\"ahler surfaces

This article finds a structure of singular sets on compact Kahler surfaces, which Taubes introduced in the studies of the asymptotic analysis of solutions to the Kapustin-Witten equations and the Vafa-Witten ones originally on smooth four-manifolds. These equations can be seen as real four-dimensional analogues of the Hitchin equations on Riemann surfaces, and one of common obstacles to be overcome is a certain unboundedness of solutions to these equations, especially of the"Higgs fields". The singular sets by Taubes describe part of the limiting behaviour of a sequence of solutions with this unboundedness property, and Taubes proved that the real two-dimensional Haussdorff measures of these singular sets are finite. In this article, we look into the singular sets, when the underlying manifold is a compact Kahler surface, and find out that they have the structure of an analytic subvariety in this case.


Introduction
Two sets of gauge-theoretic equations that we consider in this article originated in N = 4 super Yang-Mills theory in Theoretical Physics; they appear after topological twists of the theory. However, we introduce these equations as 4-dimensional analogues of Hitchin's equations on Riemann surfaces, since many ideas and techniques for the Hitchin equations seem to be enhanced for the studies of these equations.
Hitchin's equations on compact Riemann surfaces. Let Σ be a compact Riemann surface with genus greater than one, and let E be a holomorphic vector bundle on Σ. Hitchin [Hi] introduced the following equations seeking for a pair (A, Φ) consisting of a connection A on E and a section Φ of End(E) ⊗ Λ 1,0 , where Λ 1,0 := (T * X ⊗ C) 1,0 . (1.1) (1. 2) The outcome of the studies of the Hitchin equations has been wonderfully abundant, so perhaps one may like to look at similar equations in higher dimensions, say, on a complex surface. In fact, the two sets of equations that we consider in this article are ones of them. In that case, since Λ 1,0 can be thought of as either the holomorphic cotangent bundle Ω 1 Σ or the canonical bundle K Σ on a Riemann surface, there could be at least two possibilities of analogues of the Hitchin equations for a complex surface X: one is obtained by looking at a section of End(E) ⊗ Ω 1 X ; and the other one considers a section of End(E) ⊗ K X . The former is the Kapustin-Witten equations, and the latter is the Vafa-Witten equations as described below.
The Kapustin-Witten equations on closed four-manifolds. Let X be a compact, oriented, Riemannian four-manifold, and let P → X be a principal SO(3) or SU (2) bundle over X. We denote by g P the adjoint bundle of P , and by A P the space of connections on P . By using the Riemannian metric, we decompose the space of two-forms as Ω 2 (X) = Ω + (X) ⊕ Ω − (X). We call elements in Ω + (X) self-dual two-forms, and ones in Ω − (X) antiself-dual two-forms.
We consider the following version of the Kapustin-Witten equations, that ask a pair (A, a) ∈ A P × Γ(X, g P ⊗ T * X) to satisfy d * A a = 0, (d A a) − = 0, (1.3) where F A is the curvature two-form of the connection A, and superscripts "-" and "+" indicate taking the anti-self-dual part or self-dual part respectively. These equations were introduced by Kapustin and Witten [KW] (see also [W]) in the context of the geometric Langlands programme from the viewpoint of N = 4 super Yang-Mills theory in four dimensions. See also a paper by Gagliardo and Uhlenbeck [GU]. Note that the equation d * A a = 0 makes (1.3) and (1.4) an elliptic system after a gauge fixing equation. Note also that there are no solutions to the equations (1.3) and (1.4) in the case when X is compact if the first Pontrjagin number of g P is positive (see [KW,§3.3], [Tau2, §2.b)]).
Remark 1.1. In [KW], Kapustin and Witten originally obtained the following family of equations parametrized by τ ∈ P 2 from a topological twist of N = 4 super Yang-Mills theory in 4 dimensions.
Taubes' analysis on SL(2, C) connections and the singular sets.
The analytic properties of solutions to the above equations were successfully revealed by Taubes. In [Tau2], Taubes studied the Uhlenbeck style compactness problem for SL(2, C)-connections, including solutions to the above equations, on four-manifolds (see also [Tau1], [Tau3]). One of the major difficulties to be overcome here was the lack of a priori boundedness of the "extra fields" a. However, Taubes introduces some real codimension two singular set, to be denoted Z, outside which a sequence of "partially rescaled" SL(2, C)-connections converges after gauge transformations except bubbling out at a finite set of points (see also [D], [Ha], [HW], [Mo], [MSWW1], [MSWW2], [Tak] and [Tan] for related problems). We describe this briefly in Section 2.1.
The Kapustin-Witten equations on compact Kähler surfaces and the singular sets. Our interest in this article is the structure of the above singular set Z. In fact, Taubes further studied the structure of the singular set Z in the general setting [Tau3] (see also [Tak]), however, we restrict ourselves to the Kähler surface case.
To state our observation in this article, let X be a compact Kähler surface with Kähler form ω, and let E be a Hermitian vector bundle on X with Hermitian metric h. We denote by A (E,h) the space of all unitary connections on E, and by u(E) = End(E, h) the bundle of skew-Hermitian endomorphisms of E. Then the equations (1.3) and (1.4) take the following form for a pair (A, φ) ∈ A (E,h) × Ω 1,0 (u(E)): where Λ is the adjoint of ∧ω. For the deduction of these, see [N, §6(iii)] or Section 2.2 to this article. These are the equations studied by Simpson in [S1]. (Simpson considered these in arbitrary dimensions.) We now assume the rank of E to be two. We consider a sequence {(A n , φ n )} of solutions to Simpson's equations (1.8) and (1.9), and apply the above Taubes analysis in [Tau2] to it, putting r n := ||φ n || L 2 and assuming that {r n } has no bounded subsequence. We then obtain a singular set, to be denoted by Z, outside which the sequence {(A n , φ n /r n } has an L 2 1 convergent subsequence after a suitable choice of gauge transformations except bubbling out at a finite set of points in X. In this article, we prove the following. Theorem 1.2 (Corollary 2.10). The singular set Z has the structure of an analytic subvariety of X. This can be done by a simple observation that a singular set is identified with the zero set of a section of the holomorphic bundle (Ω 1 X ) ⊗2 on X up to a finite set of points.
The Vafa-Witten equations on closed four-manifolds. We next consider another analogue of the Hitchin equations, called the Vafa-Witten equations [VW]. The Vafa-Witten equations look for a triple (A, B, Γ) consisting of a connection A on a principal G-bundle with G being a compact Lie group over a smooth oriented Riemannian four-manifold X; a section B of the associated bundle g P ⊗ Λ + ; and a section Γ of g P , where g P is the adjoint bundle of P and Λ + is the self-dual part of Λ 2 T * X. The exact form of the equations is as follows. (1.10) where F + A is the self-dual part of the curvature of the connection A, and [B.B] ∈ Γ(X, g P ⊗ Λ + ) is defined through the Lie brackets of g P and Λ + (see [Ma,§A.1.6] or [Tan,§2] for details).
Taubes [Tau4] proved an analogous theorem to the Kapustin-Witten equations also for the Vafa-Witen equations case. In addition, our observation on the singular sets holds for the Vafa-Witten equations case, namely, the singular set can be identified with the zero set of a section of the square of the canonical bundle of X, so it also has a structure of an analytic subvariety of X (Corollary 3.5).
The organization of this article is as follows. In Section 2, we deal with the Kapustin-Witten equations. Section 2.1 is a brief review of the results by Taubes in [Tau2]. In Section 2.2, we deduce that the Kapustin-Witten equations on a compact Kähler surface are the same as Simpson's equations. Then Theorem 1.2 is proved in Section 2.3. We treat the Vafa-Witten equations in Section 3. In Sections 3.1, we review results by Taubes [Tau4] on the Vafa-Witten equations on smooth four-manifolds. We then consider the equations on compact Kähler surfaces, and prove a similar statement to Theorem 1.2 for the Vafa-Witten case in Section 3.2.
Acknowledgements. I would like to thank Cliff Taubes for drawing my attention to the Kapustin-Witten equations and generously helpful suggestions about these. I have a huge debt to him for his insight and ingenious computations which had tremendously inspired this article. I am grateful to Mikio Furuta, Siqi He, Tomoyuki Hisamoto, Hiroshi Iritani and Sakura Schäfer-Nameki for useful discussions and valuable comments around the subject. I would also like to thank Ben Mares for helpful comments on the computations in Section 2.2. I am also grateful to Seoul National University, NCTS at National Taiwan  In this section, we briefly describe the work by Taubes on the Uhlenbeck style compactness for SL(2, C)-connections on closed four-manifolds [Tau2].
In [Tau2], Taubes proved the results described in this subsection in the framework of the equation (1.5), (1.6) and (1.7) for τ ∈ R ∪ {∞} on closed oriented Riemannian four-manifolds; and also on M × I, where M is a closed oriented Riemannian three-manifold, and I is a closed bounded interval. Our description here is in the style for the case τ = 0, namely, for the equations (1.3) and (1.4). Let X be a compact, oriented, Riemannian 4-manifold, and let P → X be a principal G-bundle over X. We take G to be SO(3) or SU (2) in the below. We denote by g P the adjoint bundle of P .
We consider a sequence {(A n , a n )} n∈N of solutions to the equation (1.3) and (1.4). We put r n := ||a n || L 2 , and take a n := a n /r n for each n ∈ N. Note that the pairs (A n , a n ) satisfy the following.
In the case that {r n } has a bounded subsequence, the Uhlenbeck compactness theorem with the Bochner-Weitzenböck formula deduces the following.
Proposition 2.1 ( [Tau2]). If {r n } has a bounded subsequence, then there exist a principal G-bundle P ∆ → X and a pair (A ∆ , a ∆ ), where A ∆ is a connection on P ∆ and a ∆ is a section of g P ⊗ T * X, which satisfies the equations (1.3) and (1.4), and a finite set Θ ⊂ X; a subsequence Ξ ⊂ N; and a sequence {g n } n∈Ξ of automorphisms of P ∆ | X\Θ such that the sequence Analysis for the case that {r n } has no bounded subsequence was the bulk of [Tau2]. Firstly, a subsequence of {|a n |} converges in L 2 1 , we denote the limit suggestively by |â ⋄ |. Moreover, Taubes proves the following.
Proposition 2.2 ( [Tau2]). There exists a finite set Θ ⊂ X such that the function |â ⋄ | is continuous on X \ Θ, and it is smooth at points in X \ Θ where |â ⋄ | is positive. Furthermore, the sequence {|a n |} n∈Λ⊂N converges to |â ⋄ | in the C 0 -topology on compact subsets in X \ Θ.
In the above proposition, the finite set Θ corresponds to "bubbling points" of the connections. We denote by Z the zero locus of the limit function |â ⋄ |. Then Taubes proves that a subsequence of {(A n , a n )} converges in L 2 1 -topology outside Θ ∪ Z. More precisely, Taubes proved the following. Tau2]). There exist a real line bundle I over X \{Θ ∪ Z}, a section ν of I ⊗ T * X| X\{Θ∪Z} with dν = d * ν = 0 and |ν| = |â ⋄ |, a principal G-bundle P ∆ over X \{Θ∪Z} and a connection A ∆ of P ∆ with d A ∆ * F A ∆ = 0, an A ∆ -covariantly constant homomorphism σ ∆ : I → g P ∆ and a sequence of isomorphisms {g n } from P ∆ to P | X\{Θ∪Z} such that {g n (A n ), g n (a n )} converges in L 2 1 -topology outside Θ ∪ Z. Furthermore, {g n (a n )} converges in C 0 -topology outside Θ.
As for the structure of the above Z, Taubes proved the following.
In Section 2.3, we prove that the set Z has a structure of an analytic set of X when the underlying manifold is a Kähler surface.

The equations on compact Kähler surfaces
From here, we take X to be a compact Kähler surface with Kähler form ω, and E to be a Hermitian vector bundle with Hermitian metric h on X. We assume that c 1 (E) = 0. We denote by A (E,h) the space of all connections on E which preserve the metric h, and by u(E) = End(E, h) the bundle of skew-Hermitian endomorphisms of E.
where Λ denotes the adjoint of ∧ω Furthermore, we have the following.
Proposition 2.5. On a compact Kähler surface, the equations (1.3) and (1.4) have the following form that asks (A, φ) ∈ A (E,h) ×Ω 1,0 (u(E)) to satisfȳ Namely, the Kapustin-Witten equations and Simopson's equations in [S1] are the same on a compact Kähler surface. Note that the above statement for the flat bundle case was proved by Simpson [S2] (in arbitrary dimensions).
Proof of Propositoin 2.5 * . The proof consists of the following three steps.
Step 1: Hence, the equations in (1.3) take the following form when X is a compact Kähler surface.

iΛ(∂
(2.6) Step 2: We next prove that To prove (2.7), we write the second equation in (2.6) in the following form. ( Acting on the left hand side of this by ∂ A , we get the following.
Here we used the Kähler identities at the third equality, and the fact that the multiplication by ω is an isometry from 1-forms to 3-forms and the Λ is the adjoint of it at the last equality above. Then the L 2 inner product of this with φ yields Similarly, acting on the left hand side of (2.8) by∂ A , we obtain Then from the L 2 inner product of this with φ * we get (2.10) Then adding (2.9) and (2.10), we obtain Substituting this to the first term of (2.8), we get (Λ∂ A φ)ω − (Λ∂ A φ * )ω = 0. Thus from this and the first equation in (2.6), we obtain Λ∂ A φ = Λ∂ A φ * = 0.
Step 3: We now prove that∂ A φ = 0 and [φ ∧ φ] = 0; and consequently F 0,2 A = 0. Acting on the first equation in (2.7) by∂ * A , we get Taking the L 2 inner product of this with φ, we obtain Here, the second term of the above can be computed as follows.
In the above, we used the Kähler identity at the first equality; the fact that Λ∂ A φ * = 0 from (2.8) at the second equality; and the conjugate of the first equation in (2.3) at the forth equality. Thus (2.11) becomes Hence the assertion holds.
Remark 2.6. Nakajima [N, §6(iii)] obtained the complex form of the equations described above in an elegant way even including the Vafa-Witten equations case.

The structure of singular sets in the Kähler case
From here, we assume the rank of E to be two. Let {(A n , φ n )} n∈N be a sequence of solutions to the equations (2.4) and (2.5), and put r n := ||φ n || L 2 and ϕ n := φ n /r n for each n ∈ N. Then the analysis by Taubes described in Section 2.1 to this article holds for solutions to the equations (2.4) and (2.5). In particular, if we assume that {r n } has no bounded subsequence, then there exist a finite set of points in X to be denoted by Θ, a closed nowhere dense subset Z, a real line bundle J on X \ {Θ ∪ Z}, a section µ of the bundle J ⊗ Ω 1 X , a Hermitian vector bundle E ∆ with hermitian metric h ∆ on X \ {Θ ∪ Z}, a connection A ∆ of E ∆ , and a isometric bundle homomorphism τ ∆ : J → u(E ∆ ). In addition, there exist a subsequence Ξ ∈ N and a sequence of isomorphism {g i } i∈Ξ from E ∆ to E| X\{Θ∪Z} such that {g * i ϕ i } converges to τ ∆ • µ in the L 2 1 topology on compact subsets in X \ {Θ ∪ Z}; and in the C 0 topology on X \ Θ, and {g * i A i } converges on compact subsets of X \ {Θ ∪ Z} to A ∆ in the L 2 1 topology. Here Z is the zero set of the L 2 1 limit |φ ⋄ | of a subsequence {|ϕ i |}, which is obtained in the same way to |â ⋄ | in Section 2.1.
As mentioned at the beginning of this section, the above singular set Z has the structure of an analytic subvariety in X in this case. To see that, we consider † a section tr(ϕ i ⊗ ϕ i ) of (Ω 1 X ) ⊗2 for each ϕ i ∈ Γ(u(E) ⊗ Ω 1 X ). Note that the connection on the bundle does not do anything to this as we take the trace. We then have the following.
proof. From the definitions of ϕ i and tr(ϕ i ⊗ ϕ i ), we get Thus, {tr(ϕ i ⊗ ϕ i )} i∈N has a convergent subsequence. The regularity follows since∂(tr(ϕ i ⊗ ϕ i )) = 0 as∂ A i ϕ i = 0 for each i ∈ N.
Remark 2.8. The map tr(ϕ i ⊗ϕ i ) is called the Hitchin map in the literature of the Higgs bundles, originally introduced in [Hi]. It also appears as the Hopf differential of a harmonic map such as in [DDW].
We denote by T the zero set of the section tr(φ ⋄ ⊗φ ⋄ ). We then prove the following.
proof. We obviously have Z ⊂ T . In order to prove the opposite inclusion, we assume that there exists a point p ∈ T \ {Θ ∪ Z}. We then recall the following inequality in [Hi], which holds for 2 × 2 trace free matrices Φ. (2.12) With the above inequality in mind, we prove that p ∈ Z = |φ ⋄ | −1 (0). We take a local orthonormal coframe {ê 1 ,ê 2 } of Ω 1 X around p to write ϕ i = c i,1ê 1 +c i,2ê 2 . We view t i := tr(ϕ i ⊗ϕ i ) as a symmetric matrix with components {t i,αβ } α,β=1,2 . The t i,11 component is tr(c i,1 2 ). Since tr(c i,1 ) = 0, we have t i,11 = −2 det(c i,1 ). As p ∈ T \ {Z ∪ Θ}, there exists a number N 1 ∈ Λ such that for i ≥ N 1 , we have |2 det(c i,1 )|(p) < ε for a given ε > 0. † The idea of taking this section was pointed out to the author by Clifford Taubes, also the proof of Proposition 2.9 below uses his ideas throughout.
Next, as described in Section 2.1, {ϕ i } converges in L 2 1 topology on compact subsets of X \ {Θ ∪ Z} to τ ∆ • µ after gauge transformations. Furthermore, this convergence is in C 0 topology on compact subsets of X \Θ. This implies in particular Λ[ϕ i , ϕ * i ] converges to 0 in C 0 topology on compact subsets of X \ {Θ ∪ Z}, since τ ∆ • µ is abelian in u(E ∆ ). We take a compact subset B of X \ {Θ ∪ Z}, which contains the point p. Then one concludes that the limit Λ[φ ⋄ ,φ * ⋄ ] is identically zero on the whole of B. Thus, for a given ε > 0, there exists a number On the other hand, from the second equation in (2.4), we have [c i,1 , c i,2 ] = 0, and both c i,1 and c i,2 are trace free, we obtain that c i,2 = αc i,1 with α being a complex number. Thus we have |(1 + |α| 2 )[c i,1 , c * i,1 ]|(p) < ε for i ≥ N 2 . Summarizing these above with the inequality (2.12), we find an N ′ ∈ Λ for a given ε > 0 such that |c i,1 |(p) < ε for all i ≥ N ′ . A similar argument does for c i,2 . Hence p ∈ Z = |φ ⋄ | −1 (0). Thus the assertion holds.
Since tr(φ ⋄ ⊗φ ⋄ ) is a holomorphic section of the holomorphic bundle (Ω 1 X ) ⊗2 on X, T has the structure of an analytic subvariety. We thus obtain the following.
Corollary 2.10. Z has the structure of an analytic subvariety of X.
We denote by |β ⋄ | the limit and define a closed subset Z ′ of X by the zero set of |β ⋄ |. Despite the fact that no obvious control of the curvature of connections, Taubes proved the following.
Theorem 3.2 ( [Tau4]). The Hausdorff dimension of Z ′ is at most two, and there exists a real line bundle I on X \ Z ′ ; a section ν of I ⊗ Λ + with dν = 0 and |ν| = |β ⋄ |; and a sequence of isometric homomorphisms {σ n } from I to g P | X\Z ′ such that {β n − σ n • ν} converges to zero in C 0 -topology on compact subsets of X.

The equation on compact Kähler surfaces and the singular sets
As in the case of the Kapustin-Witten equations, we have the complex form of the equations, when the underlying manifold is a compact Kähler surface (see [Ma,Ch.7] or [N, §6(iii)]). The exact form is as follows: Let X be a compact Kähler surface, and let E → X be a Hermitian vector bundle of rank r over X. Then the Vafa-Witten equations (1.10), (1.11) become the following equations seeking for a pair (A, φ) consisting of a connection A of E and a section φ of u(E) ⊗ K X , where K X is the canonical bundle of X.
Note that [φ ∧ φ] = 0 automatically holds as K X is a line bundle. Then almost the same argument works for the Vafa-Witten case as well, even in a simpler way. Let us consider a sequence of solutions {(A n , φ n )} n∈N to the equations (3.1), (3.2). We also assume here that the rank of E is two. We are interested in the case that ||φ|| L 2 diverges as n goes to the infinity. So put r n := ||φ n || L 2 for each n ∈ N and suppose that {r n } n∈N has no converging subsequence. We then put ϕ n := φ n /||φ n || L 2 for each n ∈ N and consider, in this case, the determinant det ϕ n , which is a section of K ⊗2 X for the rank two case. As in the case of the Kapustin-Witten equations, we firstly get the following.
Lemma 3.3. There exists Λ ⊂ N such that {det ϕ i } i∈Λ converges in C ∞topology to a holomorphic section det ϕ ⋄ of K ⊗2 X . We denote by D the zero set of det ϕ ⋄ . Then we have the following. proof. The proof goes in the same way as in the case of the Kapustin-Witten equations (Proposition 2.9). Namely, we use the inequality |Φ| 4 ≤ 4| det Φ| 2 + |[Φ, Φ * ]| 2 . (3.3) for 2 × 2 trace free matrices Φ again. For the Vafa-Witten case, we can directly use this inequality to obtain a bound on |ϕ i | in terms of those on | det ϕ i | and [ϕ i , ϕ * i ]|. We omit the repetition of following the argument in the proof of Proposition 2.9 here.
Hence we obtain the following.
Corollary 3.5. Z ′ has the structure of an analytic subvariety of X.