Abstract
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.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Two sets of gauge-theoretic equations that we consider in this article originated in \({\mathcal {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 \(\Sigma \) be a compact Riemann surface with genus greater than one, and let E be a holomorphic vector bundle on \(\Sigma \). Hitchin [8] introduced the following equations seeking for a pair \((A, \Phi )\) consisting of a connection A on E and a section \(\Phi \) of \(\text {End}(E) \otimes \Lambda ^{1,0}\), where \(\Lambda ^{1,0} := ( T^* X \otimes \mathbb {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 \(\Lambda ^{1,0}\) can be thought of as either the holomorphic cotangent bundle \(\Omega ^1_{\Sigma }\) or the canonical bundle \(K_{\Sigma }\) 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 \(\text {End}(E) \otimes \Omega ^1_X\); and the other one considers a section of \(\text {End}(E) \otimes 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 \rightarrow X\) be a principal SO(3) or SU(2) bundle over X. We denote by \({\mathfrak {g}}_{P}\) the adjoint bundle of P, and by \({\mathcal {A}}_{P}\) the space of connections on P. By using the Riemannian metric, we decompose the space of two-forms as \(\Omega ^2 (X) = \Omega ^{+} (X) \oplus \Omega ^{-} (X)\). We call elements in \(\Omega ^{+} (X)\)self-dual two-forms, and ones in \(\Omega ^{-}(X)\)anti-self-dual two-forms.
We consider the following version of the Kapustin–Witten equations, that ask a pair \((A, {\mathfrak {a}}) \in {\mathcal {A}}_{P} \times \Gamma ( X, {\mathfrak {g}}_{P} \otimes 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 \({\mathcal {N}}=4\) super Yang–Mills theory in four dimensions. See also a paper by Gagliardo and Uhlenbeck [1]. Note that the equation \(d_{A}^{*} {\mathfrak {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 Eqs. (1.3) and (1.4) in the case when X is compact if the first Pontrjagin number of \({\mathfrak {g}}_{P}\) is positive (see [10, §3.3], [24, §2.b)]).
Remark 1.1
In [10], Kapustin and Witten originally obtained the following family of equations parametrized by \(\tau \in {\mathbb {P}}^2\) from a topological twist of \({\mathcal {N}}=4\) super Yang–Mills theory in 4 dimensions.
The Eqs. (1.3) and (1.4) are the case for \(\tau =0\) in the above. The set of Eqs. (1.5), (1.6) and (1.7) for \(\tau = \{ \infty \}\) is the “orientation reversed” one to the Eqs. (1.3) and (1.4). Kapustin and Witten deduced that there are no solutions to the Eqs. (1.5), (1.6) and (1.7) for \(\tau \in \mathbb {R}{\setminus } \{ 0 \}\) on a compact 4-manifold with the first Pontrjagin class of \({\mathfrak {g}}_{P}\) being non zero; and for these cases solutions to the Eqs. (1.5), (1.6) and (1.7) on compact four-manifolds are flat \(SL(2, \mathbb {C})\) connections. Note that, if \(\tau \) is not real, the Eqs. (1.5), (1.6) and (1.7) are overdetermined. Kapustin and Witten presented the relevance of the values \(\tau = \pm \,1, \pm \,i\) to the geometric Langlands programme in [10]. For the recent progress for the equations for \(\tau = -\,1\) with the Nahm pole boundary conditions, see [5,6,7, 13, 14] and [11].
Taubes’ analysis on\(SL(2, \mathbb {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,\mathbb {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” \({\mathfrak {a}}\). However, Taubes introduces some real codimension two singular set, to be denoted Z, outside which a sequence of “partially rescaled” \(SL(2,\mathbb {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 \(\omega \), and let E be a Hermitian vector bundle on X with Hermitian metric h. We denote by \({\mathcal {A}}_{(E,h)}\) the space of all unitary connections on E, and by \({\mathfrak {u}} (E) = \text {End}(E,h)\) the bundle of skew-Hermitian endomorphisms of E. Then the Eqs. (1.3) and (1.4) take the following form for a pair \((A,\phi ) \in {\mathcal {A}}_{(E,h)} \times \Omega ^{1,0} ({\mathfrak {u}} (E)) \):
where \(\Lambda \) is the adjoint of \(\wedge \omega \). 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 , \phi _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 := || \phi _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 , \phi _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 \((\Omega _{X}^1)^{\otimes 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, \Gamma )\) 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 \({\mathfrak {g}}_{P} \otimes \Lambda ^{+}\); and a section \(\Gamma \) of \({\mathfrak {g}}_{P}\), where \({\mathfrak {g}}_{P}\) is the adjoint bundle of P and \(\Lambda ^+\) is the self-dual part of \(\Lambda ^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] \in \Gamma (X, {\mathfrak {g}}_{P} \otimes \Lambda ^+)\) is defined through the Lie brackets of \({\mathfrak {g}}_{P}\) and \(\Lambda ^+\) (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]. In Sect. 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 Sect. 2.3. We treat the Vafa–Witten equations in Sect. 3. In Sect. 3.1, we review results by Taubes [26] 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 Sect. 3.2.
2 The singular sets of solutions to the Kapustin–Witten equations
2.1 Results by Taubes
In this section, we briefly describe the work by Taubes on the Uhlenbeck style compactness for \(SL(2, \mathbb {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 \(\tau \in \mathbb {R}\cup \{ \infty \}\) on closed oriented Riemannian four-manifolds; and also on \(M \times {\mathbb {I}}\), where M is a closed oriented Riemannian three-manifold, and \({\mathbb {I}}\) is a closed bounded interval. Our description here is in the style for the case \(\tau =0\), namely, for the Eqs. (1.3) and (1.4).
Let X be a compact, oriented, Riemannian 4-manifold, and let \(P \rightarrow X\) be a principal G-bundle over X. We take G to be SO(3) or SU(2) in the below. We denote by \({\mathfrak {g}}_{P}\) the adjoint bundle of P.
We consider a sequence \(\{ (A_{n} , {\mathfrak {a}}_{n}) \}_{n \in \mathbb {N}}\) of solutions to the Eqs. (1.3) and (1.4). We put \(r_{n} := || {\mathfrak {a}}_{n}||_{L^2}\), and take \(a_{n} := {\mathfrak {a}}_{n} / r_{n}\) for each \(n \in \mathbb {N}\). Note that the pairs \((A_{n} , a_{n})\) satisfy the following.
where \(r_n >0\).
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
([24]) If \(\{ r_{n} \}\) has a bounded subsequence, then there exist a principal G-bundle \(P_{\Delta } \rightarrow X\) and a pair \((A_{\Delta } , {\mathfrak {a}}_{\Delta })\), where \(A_{\Delta }\) is a connection on \(P_{\Delta }\) and \({\mathfrak {a}}_{\Delta }\) is a section of \({\mathfrak {g}}_{P} \otimes T^{*} X\), which satisfies the Eqs. (1.3) and (1.4), and a finite set \(\Theta \subset X\); a subsequence \(\Xi \subset \mathbb {N}\); and a sequence \(\{ g_{n} \}_{n \in \Xi }\) of automorphisms of \(P_{\Delta }|_{X {\setminus } \Theta }\) such that the sequence \(\{ (g_{n}^{*} A_{n} , g_{n}^{*} {\mathfrak {a}}_{n})\}_{ n \in \Xi }\) converges to \((A_{\Delta } , {\mathfrak {a}}_{\Delta })\) in the \(C^{\infty }\)-norm on compact subsets in \(X {\setminus } \Theta \).
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 \(|{\hat{a}}_{\diamond }|\). Moreover, Taubes proves the following.
Proposition 2.2
([24]) There exists a finite set \(\Theta \subset X\) such that the function \(| {\hat{a}}_{\diamond } |\) is continuous on \(X {\setminus } \Theta \), and it is smooth at points in \(X {\setminus } \Theta \) where \(| {\hat{a}}_{\diamond }|\) is positive. Furthermore, the sequence \(\{ | a_{n} | \}_{n \in \Lambda \subset \mathbb {N}}\) converges to \(| {\hat{a}}_{\diamond } |\) in the \(C^{0}\)-topology on compact subsets in \(X {\setminus } \Theta \).
In the above proposition, the finite set \(\Theta \) corresponds to “bubbling points” of the connections. We denote by Z the zero locus of the limit function \(| {\hat{a}}_{\diamond }|\). Then Taubes proves that a subsequence of \(\{ (A_{n} , a_{n} )\}\) converges in \(L^2_1\)-topology outside \(\Theta \cup Z\). More precisely, Taubes proved the following.
Theorem 2.3
([24]) There exist a real line bundle \({\mathcal {I}}\) over \(X {\setminus } \{ \Theta \cup Z \}\), a section \(\nu \) of \({\mathcal {I}} \otimes T^*X |_{X {\setminus } \{ \Theta \cup Z \}}\) with \(d \nu = d^* \nu =0\) and \(| \nu | = |{\hat{a}}_{\diamond }|\), a principal G-bundle \(P_{\Delta }\) over \(X {\setminus } \{ \Theta \cup Z \} \) and a connection \(A_{\Delta }\) of \(P_{\Delta }\) with \(d_{A_{\Delta }} * F_{A_{\Delta }}=0\), an \(A_{\Delta }\)-covariantly constant homomorphism \(\sigma _{\Delta } : {\mathcal {I}} \rightarrow {\mathfrak {g}}_{P_{\Delta }}\) and a sequence of isomorphisms \(\{ g_n \}\) from \(P_{\Delta }\) to \(P|_{X {\setminus } \{ \Theta \cup Z \} } \) such that \(\{ g_n (A_n), g_n (a_n) \}\) converges in \(L^2_1\)-topology outside \(\Theta \cup Z\). Furthermore, \(\{ g_n (a_n) \}\) converges in \(C^0\)-topology outside \(\Theta \).
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.
2.2 The equations on compact Kähler surfaces
From here, we take X to be a compact Kähler surface with Kähler form \(\omega \), and E to be a Hermitian vector bundle with Hermitian metric h on X. We assume that \(c_1 (E) =0\). We denote by \({\mathcal {A}}_{(E,h)}\) the space of all connections on E which preserve the metric h, and by \({\mathfrak {u}} (E) = \text {End}(E,h)\) the bundle of skew-Hermitian endomorphisms of E.
In these setting, we have \(d_{A} = \partial _{A} + {\bar{\partial }}_{A}\), \(d_{A}^{*} = \partial _{A}^{*} + {\bar{\partial }}_{A}^{*}\) and \({\mathfrak {a}} = \phi - \phi ^{*}\), where \(\phi \in \Gamma (X, {\mathfrak {u}} (E) \otimes \Omega ^{1}_{X} ) = \Omega ^{1 ,0} ( {\mathfrak {u}} (E))\) with \(\Omega ^{1}_{X}\) being the holomorphic cotangent bundle of X. In addition, the space of complexified two-forms is decomposed as \(\Omega ^{2} (X) \otimes \mathbb {C}= \Omega ^{2,0} (X) \oplus \Omega ^{1,1} (X) \oplus \Omega ^{0,2} (X)\), and we have the following identifications.
where \(\Omega ^{1,1}_{0} (X)\) denotes the orthogonal subspace in \(\Omega ^{1,1} (X)\) to \(\Omega ^{0} (X)\omega \). Thus, the Eq. (1.4) has the following form on a compact Kähler surface.
where \(\Lambda \) denotes the adjoint of \(\wedge \omega \)
Furthermore, we have the following.
Proposition 2.5
On a compact Kähler surface, the Eqs. (1.3) and (1.4) have the following form that asks \((A, \phi ) \in {\mathcal {A}}_{(E,h)} \times \Omega ^{1,0 } ({\mathfrak {u}} (E))\) to satisfy
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
Footnote 1 The proof consists of the following three steps. Step 1: As \(d_{A}^{*} = \partial _{A}^{*} + {\bar{\partial }}_{A}^{*}\) and \({\mathfrak {a}} = \phi - \phi ^{*}\) with \(\phi \in \Omega ^{1 ,0} ( {\mathfrak {u}} (E))\), from the first equation \(d_{A}^{*} {\mathfrak {a}} = 0\) in (1.3), we have \( \partial _{A}^{*} \phi - {\bar{\partial }}_{A}^{*} \phi ^{*} =0 \). From this with the Kähler identities: \(i \partial _{A}^{*} = [ {\bar{\partial }}_{A} , \Lambda ]\) and \(i {\bar{\partial }}_{A}^{*} = - [ \partial _{A} , \Lambda ]\), we obtain \(i \Lambda ( {\bar{\partial }}_{A} \phi + \partial _{A} \phi ^{*} ) =0\). Hence, the equations in (1.3) take the following form when X is a compact Kähler surface.
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 \(\partial _{A}\), we get the following.
Here we used the Kähler identities at the third equality, and the fact that the multiplication by \(\omega \) is an isometry from 1-forms to 3-forms and the \(\Lambda \) is the adjoint of it at the last equality above. Then the \(L^2\) inner product of this with \(\phi \) yields
Similarly, acting on the left hand side of (2.8) by \({\bar{\partial }}_{A}\), we obtain
Then from the \(L^2\) inner product of this with \(\phi ^*\) we get
Then adding (2.9) and (2.10), we obtain
Thus \({\bar{\partial }}_{A} \phi - \partial _{A} \phi ^{*} =0\). Substituting this to the first term of (2.8), we get \( (\Lambda {\bar{\partial }}_{A} \phi ) \omega - ( \Lambda \partial _{A} \phi ^{*} ) \omega = 0\). Thus from this and the first equation in (2.6), we obtain \( \Lambda {\bar{\partial }}_{A} \phi = \Lambda \partial _{A} \phi ^{*} = 0\).
Step 3: We now prove that \({\bar{\partial }}_{A} \phi =0\) and \([ \phi \wedge \phi ] = 0\); and consequently \(F_{A}^{0,2}=0\).
Acting on the first equation in (2.7) by \({\bar{\partial }}_{A}^*\), we get
Taking the \(L^2\) inner product of this with \(\phi \), 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 \(\Lambda \partial _{A} \phi ^* =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. \(\square \)
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.
2.3 The structure of singular sets in the Kähler case
From here, we assume the rank of E to be two. Let \(\{ (A_n , \phi _n) \}_{n \in \mathbb {N}}\) be a sequence of solutions to the Eqs. (2.4) and (2.5), and put \(r_{n} := || \phi _{n} ||_{L^2}\) and \(\varphi _{n} := \phi _{n} / r_n\) for each \(n \in \mathbb {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 \(\Theta \), a closed nowhere dense subset Z, a real line bundle \({\mathcal {J}}\) on \(X {\setminus } \{ \Theta \cup Z \}\), a section \(\mu \) of the bundle \({\mathcal {J}} \otimes \Omega ^{1}_{X}\), a Hermitian vector bundle \(E_{\Delta }\) with hermitian metric \(h_{\Delta }\) on \(X {\setminus } \{ \Theta \cup Z \}\), a connection \(A_{\Delta }\) of \(E_{\Delta }\), and a isometric bundle homomorphism \(\tau _{\Delta } : {\mathcal {J}} \rightarrow {\mathfrak {u}} (E_{\Delta })\). In addition, there exist a subsequence \(\Xi \in \mathbb {N}\) and a sequence of isomorphism \(\{ g_{i} \}_{i \in \Xi }\) from \(E_{\Delta }\) to \(E|_{X {\setminus } \{ \Theta \cup Z\}} \) such that \(\{ g_{i}^* \varphi _{i} \} \) converges to \(\tau _{\Delta } \circ \mu \) in the \(L^2_1\) topology on compact subsets in \(X {\setminus } \{ \Theta \cup Z \} \); and in the \(C^{0}\) topology on \(X {\setminus } \Theta \), and \(\{ g_{i} ^* A_{i} \} \) converges on compact subsets of \(X {\setminus } \{ \Theta \cup Z \}\) to \(A_{\Delta }\) in the \(L^2_1\) topology. Here Z is the zero set of the \(L^2_1\) limit \(|{\hat{\varphi }}_{\diamond }|\) of a subsequence \(\{ |\varphi _{i}| \}\), which is obtained in the same way to \(|{\hat{a}}_{\diamond }|\) 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 considerFootnote 2 a section \(\text {tr} ( \varphi _i \otimes \varphi _i)\) of \(( \Omega _{X}^{1})^{\otimes 2} \) for each \(\varphi _{i} \in \Gamma ({\mathfrak {u}} (E) \otimes \Omega _{X}^{1})\). 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 \(\Lambda \subset \mathbb {N}\) such that \(\{ \text {tr} ( \varphi _i \otimes \varphi _i) \}_{i \in \Lambda }\) converges in \(C^{\infty }\)-topology to a holomorphic section, which we denote by \(\text {tr} ( {\hat{\varphi }}_{\diamond } \otimes {\hat{\varphi }}_{\diamond })\), of the holomorphic bundle \( ( \Omega _{X}^1 )^{\otimes 2}\).
Proof
From the definitions of \(\varphi _{i}\) and \(\text {tr} ( \varphi _i \otimes \varphi _i)\), we get
Thus, \(\{ \text {tr} ( \varphi _i \otimes \varphi _i)\}_{i \in \mathbb {N}}\) has a convergent subsequence. The regularity follows since \({\bar{\partial }} ( \text {tr} ( \varphi _i \otimes \varphi _i) ) = 0\) as \({\bar{\partial }}_{A_{i}} \varphi _{i} =0\) for each \(i \in \mathbb {N}\). \(\square \)
Remark 2.8
The map \(\text {tr} ( \varphi _i \otimes \varphi _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 \(\text {tr} ( {\hat{\varphi }}_{\diamond } \otimes {\hat{\varphi }}_{\diamond })\). We then prove the following.
Proposition 2.9
\(Z = T {\setminus } \Theta '\), where \(\Theta ' \subset \Theta \).
Proof
We obviously have \( Z \subset T\). In order to prove the opposite inclusion, we assume that there exists a point \(p \in T {\setminus } \{ \Theta \cup Z\} \). We then recall the following inequality in [8], which holds for \(2 \times 2\) trace free matrices \(\Phi \).
With the above inequality in mind, we prove that \(p \in Z = | {\hat{\varphi }}_{\diamond }|^{-1} (0)\). We take a local orthonormal coframe \(\{ {\hat{e}}^1 , {\hat{e}}^2 \}\) of \(\Omega _{X}^{1}\) around p to write \( \varphi _{i} = {\mathfrak {c}}_{i,1} {\hat{e}}^{1} + {\mathfrak {c}}_{i, 2} {\hat{e}}^2\). We view \({\mathfrak {t}}_{i} := \text {tr} ( \varphi _{i} \otimes \varphi _{i} ) \) as a symmetric matrix with components \(\{ {\mathfrak {t}}_{i, \alpha \beta } \}_{\alpha , \beta = 1, 2}\). The \({\mathfrak {t}}_{i, 11}\) component is \(\text {tr} ( {\mathfrak {c}}_{i,1} {}^2)\). Since \(\text {tr} ( {\mathfrak {c}}_{i, 1}) =0\), we have \({\mathfrak {t}}_{i ,11} = -2 \det ({\mathfrak {c}}_{i,1})\). As \(p \in T {\setminus } \{Z \cup \Theta \}\), there exists a number \(N_{1} \in \Lambda \) such that for \(i \ge N_{1}\), we have \( | 2 \det ({\mathfrak {c}}_{i,1} )| (p) < \varepsilon \) for a given \(\varepsilon >0\).
Next, as described in Sect. 2.1, \(\{ \varphi _{i} \}\) converges in \(L^2_1\) topology on compact subsets of \(X {\setminus } \{ \Theta \cup Z \}\) to \(\tau _{\Delta } \circ \mu \) after gauge transformations. Furthermore, this convergence is in \(C^{0}\) topology on compact subsets of \(X {\setminus } \Theta \). This implies in particular \(\Lambda [ \varphi _{i} , \varphi _{i}^{*}]\) converges to 0 in \(C^{0}\) topology on compact subsets of \(X {\setminus } \{ \Theta \cup Z \}\), since \(\tau _{\Delta } \circ \mu \) is abelian in \({\mathfrak {u}} (E_{\Delta } )\). We take a compact subset B of \(X {\setminus } \{ \Theta \cup Z \}\), which contains the point p. Then one concludes that the limit \( \Lambda [ {\hat{\varphi }}_{\diamond }, {\hat{\varphi }}_{\diamond }^{*} ] \) is identically zero on the whole of B. Thus, for a given \(\varepsilon >0\), there exists a number \(N_2 \in \Lambda \) such that \(| \Lambda [ \varphi _{i} , \varphi _{i}^{*} ] | (p) = | [ {\mathfrak {c}}_{i,1} , {\mathfrak {c}}_{i,1}^{*} ] + [ {\mathfrak {c}}_{i,2} , {\mathfrak {c}}_{i,2}^{*} ] | (p) < \varepsilon \) for \(i \ge N_2\). On the other hand, from the second equation in (2.4), we have \([ {\mathfrak {c}}_{i,1} , {\mathfrak {c}}_{i,2} ] =0\), and both \({\mathfrak {c}}_{i,1}\) and \({\mathfrak {c}}_{i,2}\) are trace free, we obtain that \({\mathfrak {c}}_{i,2} = \alpha {\mathfrak {c}}_{i,1}\) with \(\alpha \) being a complex number. Thus we have \( | ( 1 + |\alpha |^2) [ {\mathfrak {c}}_{i,1} , {\mathfrak {c}}_{i,1}^{*} ] | (p) < \varepsilon \) for \(i \ge N_{2}\).
Summarizing these above with the inequality (2.12), we find an \(N' \in \Lambda \) for a given \(\varepsilon >0\) such that \(|{\mathfrak {c}}_{i,1} | (p) < \varepsilon \) for all \(i \ge N'\). A similar argument does for \({\mathfrak {c}}_{i ,2}\). Hence \(p \in Z = |{\hat{\varphi }}_{\diamond }|^{-1} (0)\). Thus the assertion holds. \(\square \)
Since \(\text {tr} ( {\hat{\varphi }}_{\diamond } \otimes {\hat{\varphi }}_{\diamond })\) is a holomorphic section of the holomorphic bundle \(( \Omega ^1_{X})^{\otimes 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= {\mathbb {P}}^1 \times {\mathbb {P}}^1\), there are no non-trivial \(\phi \in \Gamma ( {\mathfrak {u}} (E) \otimes \Omega ^{1}_{X})\) satisfying the equations from the beginning. (ii) When \(X = {\mathbb {P}}^1 \times T^2\), then \(\Omega ^{1}_{X} \cong \Omega ^{1}_{{\mathbb {P}}^1} \oplus \Omega ^{1}_{T^2} \cong K_{{\mathbb {P}}^1} \oplus {\underline{\mathbb {C}}}\). Thus, the holomorphic section \(\text {tr} ( {\hat{\varphi }}_{\diamond } \otimes {\hat{\varphi }}_{\diamond })\) of \(( \Omega ^{1}_{X} )^{\otimes 2}\) has the form \(( {\underline{0}} \oplus {\underline{a}} ) \otimes ( {\underline{0}} \oplus {\underline{b}} )\), where \(a, b \in \mathbb {C}\) with either a or b being non-zero. Since \(a \ne 0\) or \(b \ne 0\), thus \(Z = \emptyset \). (iii) If \(X = {\mathbb {P}}^1 \times \Sigma _{g}\) then \(\Omega _X^1 \cong \Omega _{{\mathbb {P}}^1} ^1 \oplus \Omega _{\Sigma _g}^1 \cong K_{{\mathbb {P}}^1} \oplus K_{\Sigma _g}\); and \(\text {tr} ( {\hat{\varphi }}_{\diamond } \otimes {\hat{\varphi }}_{\diamond } )\) of \((\Omega _X^1)^{\otimes 2}\) has the form \(({\underline{0}} \oplus s ) \times ({\underline{0}} \oplus t )\), where \(s,t \in \Gamma ( \Sigma _{g})\). Hence \(Z = ( {\mathbb {P}}^1 \times s^{-1} (0) ) \cap ( {\mathbb {P}}^1 \times t^{-1} (0))\). This is generically an empty set. (iv) For the case that \(X = T^2 \times T^2\), \(\text {tr} ( {\hat{\varphi }}_{\diamond } \otimes {\hat{\varphi }}_{\diamond })\) has the form \(( {\underline{a}} \oplus {\underline{b}}) \otimes ( {\underline{c}} \oplus {\underline{d}})\), where \(a, b, c ,d \in \mathbb {C}\). Since at least one of a, b, c, d can not be zero, so \(Z = \emptyset \). (v) When \(X = T^2 \times \Sigma _{g}\), where \(\Sigma _{g}\) is a Riemann surface with genus \(g > 1\), then \(\text {tr} ( {\hat{\varphi }}_{\diamond } \otimes {\hat{\varphi }}_{\diamond })\) has the form \(( {\underline{a}} \oplus s ) \otimes ( {\underline{b}} \oplus t)\), where \(a, b \in \mathbb {C}\) and \(s, t \in \Gamma (K_{\Sigma _{g}})\). Thus, if \(a=0\) and \(b=0\), \(Z = (T^2 \times s^{-1} (0) ) \cap (T^2 \times t^{-1} (0) )\); and otherwise \(Z = \emptyset \). (vi) When \(X = \Sigma _{g} \times \Sigma _{h}\) with \(g, h >1\), then \(\text {tr} ( {\hat{\varphi }}_{\diamond } \otimes {\hat{\varphi }}_{\diamond })\) has the form \((s \oplus t) \otimes (v \oplus w)\), where \(s, v \in \Gamma (K_{\Sigma _{g}} )\), \(t , w \in \Gamma (K_{\Sigma _{h}})\). Then Z is \((s^{-1} (0) \times t^{-1} (0) ) \cap ( v^{-1}(0) \times w^{-1}(0))\). For instance, if s and t are identically zero; and one of v or w is identically zero, then Z is either \(\Sigma _g \times w^{-1} (0)\) or \(v^{-1} (0) \times \Sigma _h \). Or, if v and w are identically zero; and one of s and t is identically zero, then Z is either \(\Sigma _g \times t^{-1} (0)\) or \(s^{-1} (0) \times \Sigma _h\). \(\square \)
3 The singular sets of solutions to the Vafa–Witten equations
3.1 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.
Proposition 3.1
([26]) Let \(\{ (A_n , B_n ) \}\) be a sequence of solutions to the Vafa–Witten equations. Assume that \(|| B_n ||_{L^2}\) diverges as n goes to the infinity. We rescale \(B_n\) by \(|| B_n ||_{L^2}\), namely, put \(\beta _n := B_n / || B_n||_{L^2}\) for each \(n \in {\mathbb {N}}\). Then \(\{ \beta _n \}\) has a converging subsequence in \(L^2_1\) and \(C^0\) topologies on compact subsets of X.
We denote by \(| {\hat{\beta }}_{\diamond }|\) the limit and define a closed subset \(Z'\) of X by the zero set of \(| {\hat{\beta }}_{\diamond }|\). 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 \({\mathcal {I}}\) on \(X {\setminus } Z'\); a section \(\nu \) of \({\mathcal {I}} \otimes \Lambda ^+\) with \(d \nu =0\) and \(|\nu | = |{\hat{\beta }}_{\diamond }|\); and a sequence of isometric homomorphisms \(\{ \sigma _n \}\) from \({\mathcal {I}}\) to \({\mathfrak {g}}_P |_{X {\setminus } Z'}\) such that \(\{ \beta _n - \sigma _n \circ \nu \}\) converges to zero in \(C^0\)-topology on compact subsets of X.
3.2 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 \rightarrow 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, \phi )\) consisting of a connection A of E and a section \(\phi \) of \({\mathfrak {u}} (E) \otimes K_X\), where \(K_X\) is the canonical bundle of X.
Note that \([\phi \wedge \phi ]=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 , \phi _n) \}_{n \in \mathbb {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 \(|| \phi ||_{L^2}\) diverges as n goes to the infinity. So put \(r_n := || \phi _n ||_{L^2}\) for each \(n \in {\mathbb {N}}\) and suppose that \(\{ r_n \}_{n \in \mathbb {N}}\) has no converging subsequence. We then put \(\varphi _n := \phi _n / || \phi _n ||_{L^2}\) for each \(n \in \mathbb {N}\) and consider, in this case, the determinant \(\det \varphi _n\), which is a section of \(K_{X}^{\otimes 2}\) for the rank two case. As in the case of the Kapustin–Witten equations, we firstly get the following.
Lemma 3.3
There exists \(\Lambda \subset \mathbb {N}\) such that \(\{ \det \varphi _i \}_{i \in \Lambda } \) converges in \(C^{\infty }\)-topology to a holomorphic section \(\det \varphi _{\diamond }\) of \(K_X^{\otimes 2}\).
We denote by D the zero set of \(\det \varphi _{\diamond }\). Then we have the following.
Proposition 3.4
\(Z' = D\).
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
for \(2 \times 2\) trace free matrices \(\Phi \) again. For the Vafa–Witten case, we can directly use this inequality to obtain a bound on \(| \varphi _i|\) in terms of those on \(| \det \varphi _i |\) and \([\varphi _{i} , \varphi _{i}^{*}]|\). We omit the repetition of following the argument in the proof of Proposition 2.9 here. \(\square \)
Hence we obtain the following.
Corollary 3.5
\(Z'\) has the structure of an analytic subvariety of X.
References
Gagliardo, M., Uhlenbeck, K.: Geometric aspects of the Kapustin–Witten equations. J. Fixed Point Theory Appl. 11, 185–198 (2012)
Doan, A.: Seiberg–Witten monopoles with multiple spinors on a surface times a circle. arXiv:1701.07942v2
Daskalopoulos, G., Dostoglou, S., Wentworth, R.: On the Morgan–Shalen compactification of the \(SL(2, {\mathbb{C}})\) character varieties of surface groups. Duke Math. J. 101, 189–207 (2000)
Haydys, A.: The infinitesimal structure of the blow-up set for the Seiberg–Witten equation with multiple spinors. arXiv:1607.01763
He, S.: Rotationally invariant singular solutions to the Kapustin–Witten equations. arXiv:1510.07706
He, S.: A gluing theorem for the Kapustin–Witten equations with a Nahm pole. arXiv:1707.06182v1
He, S., Mazzeo, R.: The extended Bogomolny equations and generalized Nahm pole boundary condition. arXiv:1710.10645
Hitchin, N.J.: The self-duality equations on a Riemann surface. Proc. Lond. Math. Soc. 55, 59–126 (1987)
Haydys, A., Walpuski, T.: A compactness theorem for the Seiberg–Witten equation with multiple spinors in dimension three. Geom. Funct. Anal. 25, 1799–1821 (2015)
Kapustin, A., Witten, E.: Electric-magnetic duality and the geometric Langlands program. Commun. Number Theory Phys. 1, 1–236 (2007)
Leung, N.C., Takahashi, R.: Energy bound for Kapustin–Witten solutions on \(S^3 \times {{\mathbb{R}}}^{+}\). arXiv:1802.04412
Mares, B.: Some Analytic Aspects of Vafa–Witten Twisted \({\cal{N}}=4\) Supersymmetric Yang–Mills Theory. Ph.D Thesis, M.I.T. (2010)
Mazzeo, R., Witten, E.: The Nahm pole boundary condition. In: The Influence of Solomon Lefschetz in Geometry and Topology. Contemporary Mathematics, vol 621, pp. 171–226. American Mathematical Society, Providence, RI (2014)
Mazzeo, R., Witten, E.: The KW equations and the Nahm pole boundary condition with knots. arXiv:1712.00835
Mazzeo, R., Swoboda, J., Weiss, H., Witt, F.: Limiting configurations for solutions of Hitchin’s equation. Semin. Theor. Spectr. Geom. 31(2012–2014), 91–116 (2015)
Mazzeo, R., Swoboda, J., Weiss, H., Witt, F.: Ends of the moduli space of Higgs bundles. Duke Math. J. 165, 2227–2271 (2016)
Mochizuki, T.: Asymptotic behaviour of certain families of harmonic bundles on Riemann surfaces. J. Topol. 9, 1021–1073 (2016)
Nakajima, H.: Towards a mathematical definition of Coulomb branches of 3-dimensional \({\cal{N}}=4\) gauge theories, I. Adv. Theor. Math. Phys. 20, 595–669 (2016)
Simpson, C.T.: Constructing variation of hodge structure using Yang–Mills theory and applications to uniformization. J. Am. Math. Soc. 1, 867–918 (1988)
Simpson, C.T.: Higgs bundles and local systems. Inst. Hautes Études Sci. Publ. Math. 5, 5–95 (1992)
Takahashi, R.: The moduli space of \(S^1\)-type zero loci for \({\mathbb{Z}}/2\)-harmonic spinors in dimension 3. arXiv:1503.00767v6
Tanaka, Y.: Some boundedness properties of the Vafa–Witten equations on closed four-manifolds. Q. J. Math. 68, 1203–1225 (2017)
Taubes, C.H.: \(PSL(2;{\mathbb{C}})\)- connections on 3-manifolds with \(L^2\) bounds on curvature. Camb. J. Math. 1, 239–397 (2013)
Taubes, C. H.: Compactness theorems for \(SL(2;{\mathbb{C}})\) generalizations of the 4-dimensional anti-self-dual equations. arXiv:1307.6447v4
Taubes, C.H.: The zero loci of \({\mathbb{Z}} /2\) harmonic spinors in dimension 2, 3 and 4. arXiv:1407.6206
Taubes, C.H..: The behavior of sequence of solutions to the Vafa–Witten equations. arXiv:1702.04610v2
Taubes, C. H.: private communications
Vafa, C., Witten, E.: A strong coupling test of \(S\)-duality. Nucl. Phys. B 431, 3–77 (1994)
Witten, E.: Fivebranes and knots. Nucl. Phys. B 432, 484–550 (1994)
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 Sect. 2.2. I am also grateful to Seoul National University, NCTS at National Taiwan University, Kyoto University, BICMR at Peking University and Institut des Hautes Études Scientifiques for support and hospitality, where part of this work was done during my visits in 2015–2017. This work was partially supported by JSPS Grant-in-Aid for Scientific Research Nos. 15H02054 and 16K05125; and a Simons Collaboration Grant on ‘Special holonomy in Geometry, Analysis and Physics’.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Tanaka, Y. On the singular sets of solutions to the Kapustin–Witten equations and the Vafa–Witten ones on compact Kähler surfaces. Geom Dedicata 199, 177–187 (2019). https://doi.org/10.1007/s10711-018-0344-3
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10711-018-0344-3