On the singular sets of solutions to the Kapustin–Witten equations and the Vafa–Witten ones on compact Kähler surfaces

This article finds a structure of singular sets on compact Kähler 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 Kähler 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 [8] B Yuuji Tanaka tanaka@maths.ox.ac.uk 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 .
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 ) anti-self-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 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 [10] (see also [29]) 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 [1].
Taubes' analysis on S L(2, C) connections and the singular sets The analytic properties of solutions to the above equations were successfully revealed by Taubes. In [24], Taubes studied the Uhlenbeck style compactness problem for SL(2, C)-connections, including solutions to the above equations, on four-manifolds (see also [23,25]). 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 [2,4,9,[15][16][17]21] and [22] for related problems). We describe this briefly in Sect. 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 [25] (see also [21]), 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 ( where is the adjoint of ∧ω. For the deduction of these, see [18, §6(iii)] or Sect. 2.2 to this article. These are the equations studied by Simpson in [19]. (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 [24] 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. 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 [28]. 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.
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 [12, §A.1.6] or [22, §2] for details).
Taubes [26] 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 Sect. 2, we deal with the Kapustin-Witten equations. Section 2.1 is a brief review of the results by Taubes in [24]

Results by Taubes
In this section, we briefly describe the work by Taubes on the Uhlenbeck style compactness for SL(2, C)-connections on closed four-manifolds [24]. In [24], Taubes proved the results described in this subsection in the framework of the Eqs. (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 Eqs. 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 Eqs. (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.  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 Eqs. (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 {(g * n A n , g * n a n )} n∈ converges to (A , a ) in the C ∞ -norm on compact subsets in X \ .
Analysis for the case that {r n } has no bounded subsequence was the bulk of [24]. 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 ([24])
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.

Theorem 2.3 ([24])
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.

Proposition 2.4 ([25]) Z has the Hausdorff dimension at most 2.
In Sect. 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.
In these setting, we have ) with 1 X being the holomorphic cotangent bundle of X . In addition, the space of complexified two-forms is decomposed as 2 (X ) ⊗ C = 2,0 (X ) ⊕ 1,1 (X ) ⊕ 0,2 (X ), and we have the following identifications.
where denotes the adjoint of ∧ω Furthermore, we have the following.
Namely, the Kapustin-Witten equations and Simopson's equations in [19] are the same on a compact Kähler surface. Note that the above statement for the flat bundle case was proved by Simpson [20] (in arbitrary dimensions).
Proof of Propositoin 2.5 1 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. (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 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 [18,§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 Eqs. (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 Sect. 2.1 to this article holds for solutions to the Eqs. (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 Sect. 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 2 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.

Proposition 2.7
Assume that {r n } has no bounded subsequence. Then there exists a subsequence ⊂ N such that {tr(ϕ i ⊗ ϕ i )} i∈ converges in C ∞ -topology to a holomorphic section, which we denote by tr(φ ⊗φ ), of the holomorphic bundle ( 1 X ) ⊗2 . 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 [8]. It also appears as the Hopf differential of a harmonic map such as in [3].
We denote by T the zero set of the section tr(φ ⊗φ ). We then prove the following.
Next, as described in Sect. 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 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 . Example 2. 11 We give simple examples of the above T for the case that X is the direct product of two Riemann surfaces. (i) When X = P 1 × P 1 , there are no non-trivial φ ∈ (u(E) ⊗ 1 X ) satisfying the equations from the beginning. (ii) When X = P 1 × T 2 , then t −1 (0)). This is generically an empty set. (iv) For the case that Since at least one of a, b, c, d can not be zero, so Z = ∅. (v) When X = T 2 × g , where g is a Riemann surface with genus g > 1, then tr(φ ⊗φ ) has the form (a ⊕s)⊗(b ⊕t), where a, b ∈ C and s, t ∈ (K g ). Thus, if a = 0 and b = 0, Z = (T 2 × s −1 (0)) ∩ (T 2 × t −1 (0)); and otherwise Z = ∅. (vi) When X = g × h with g, h > 1, then tr(φ ⊗φ ) has the form (s ⊕t)⊗(v⊕w), For instance, if s and t are identically zero; and one of v or w is identically zero, then Z is Or, if v and w are identically zero; and one of s and t is identically zero, then Z is either

Results by Taubes
The Vafa-Witten equations look similar to the Kapustin-Witten equations, but one of the crucial differences for us is that there is no good control of the curvatures of connections. However, Taubes managed to prove the convergence of the Higgs fields outside a singular set in a similar style to the case of the Kapustin-Witten equations. Here we briefly state some of his results. Firstly, in the same way to the Kapustin-Witten case Taubes obtained the following. Assume that ||B n || L 2 diverges as n goes to the infinity. We rescale B n by ||B n || L 2 , namely, put β n := B n /||B n || L 2 for each n ∈ N. Then {β n } has a converging subsequence in L 2 1 and C 0 topologies on compact subsets 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 ([26])
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 [12,Chapter 7] or [18, §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 Eqs. (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. 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 .