Abstract
We revisit the low-energy effective U(1) action of topologically twisted \({\mathcal {N}}=2\) SYM theory with gauge group of rank one on a generic oriented smooth four-manifold X with nontrivial fundamental group. After including a specific new set of \(\mathcal Q\)-exact operators to the known action, we express the integrand of the path integral of the low-energy U(1) theory as an anti-holomorphic derivative. This allows us to use the theory of mock modular forms and indefinite theta functions for the explicit evaluation of correlation functions of the theory, thus facilitating the computations compared to previously used methods. As an explicit check of our results, we compute the path integral for the product ruled surfaces \(X=\Sigma _g \times \mathbb {CP}^1\) for the reduction on either factor and compare the results with existing literature. In the case of reduction on the Riemann surface \(\Sigma _g\), via an equivalent topological A-model on \(\mathbb {CP}^1\), we will be able to express the generating function of genus zero Gromov–Witten invariants of the moduli space of flat rank one connections over \(\Sigma _g\) in terms of an indefinite theta function, whence we would be able to make concrete numerical predictions of these enumerative invariants in terms of modular data, thereby allowing us to derive results in enumerative geometry from number theory.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction, summary and plan
The role of topological quantum field theory in modern physics and mathematics is unambiguously important. One example is Donaldson–Witten (DW) theory, which is a topological formulation of the \({\mathcal {N}}=2\) supersymmetric Yang–Mills theory on an oriented smooth four-manifold X. Its equivalent IR (long distance) counterpart is an abelian theory where Seiberg–Witten (SW) geometry dictates the physics [1]. Due to an electric–magnetic duality in the IR, characteristic functions of the theory enjoy powerful modular properties [2]. In the seminal paper [3], the solution of the IR theory was derived using the technique of lattice reduction for simply connected X. In the same paper, the famous relation
was found, where \(Z_{\mathrm{SW}}\) denotes the generating function of SW invariants of the four-manifold [4], while \(Z_u\) denotes the contribution to \(Z_{\mathrm{DW}}\) from the Coulomb branch of the low-energy effective U(1) theory, the so-called u-plane. The u-plane and its contribution to the path integral were studied in detail in [3, 5,6,7]. The u-plane integral \(Z_u\) is of particular interest since it is non-vanishing only for four-manifolds with \(b_2^+(X) \in \{0,1\}\). In turn, such four-manifolds are of particular interest since they are the only candidate topologies that probe the Coulomb branch \({\mathcal {B}}\) of the theory.
Recently, interest in DW theory and in particular the u-plane integral was revived due to observations relating the latter for special four-manifolds to the theory of mock theta functions and harmonic Maass forms [8, 9]. For more generic, but simply connected, compact four-manifolds it was later reformulated in terms of the modular completion of a mock modular form [10,11,12]. In this series of papers, the possibility to add \({\mathcal {Q}}\)-exact operators to the action without affecting the correlation functions was studied in detail. In particular, a specific new \({\mathcal {Q}}\)-exact operator related to the 2-cycles of the background geometry was added to the action of the low-energy U(1) theory, which makes the connection to mock modular forms apparent and elegant [10, 12]. This technique circumvents the cumbersome method of lattice reduction and allows to evaluate correlation functions efficiently. To the best of our knowledge, all of the recent results relating \(Z_u\) and mock modular forms are restricted to the case where the low-energy U(1) theory is formulated on simply connected four-manifolds.
Taking inspiration from [7], we ask the natural question how these recent results carry over to the case when the four-manifold X has a non-trivial fundamental group and nonzero first Betti number \(b_1(X)\). When the four-manifold is non-simply connected, the theory is more complicated. This is due to the fact that the manifold now admits more structures, in the form of 1-form fields and 1- and 3-cycles, which are not present in the simply connected case. These cycles give rise to further contact terms in the low-energy U(1) action [5, 7]. As a result, we consider more general \({\mathcal {Q}}\)-exact operators related to these cycles. Below, we give a summary of the paper highlighting our results.
Summary of the paper
In this paper, we present a natural extension of the recent results [10, 12] to the case of non-simply connected four-manifolds with \(b_2^+=1\). Specifically, we introduce a number of new \({\mathcal {Q}}\)-exact operators in the low-energy effective U(1) theory that allow us to express the integrand of the u-plane integral elegantly as the non-holomorphic completion of a mock modular form. This further allows us to derive a closed-form expression for the u-plane integral for any such four-manifold and for arbitrary period point J, as is evident from the result of this paper, Eq. (52). This solution depends on \(H_1(X)\), a fact that is easily seen in the case of product ruled surfaces where it manifests as a genus dependence, while when \(H_1(X)\) is trivial, (52) reduces to Eq. (4.10) of [10]. As a byproduct of our computations, we present a complete classification of all \({\mathcal {Q}}\)-exact operators that the theory admits.
DW theory on product ruled surfaces \(X={\mathbb {C}}{\mathbb {P}}^1\times \Sigma _g\), with \(\Sigma _g\) a genus g Riemann surface, has been argued to be equivalent to a 2d topological A-model on \({\mathbb {C}}{\mathbb {P}}^1\) in the limit of vanishing volume for \(\Sigma _g\) [5, 13, 14]. In this paper, we present a concrete derivation of this equivalence and in turn show that due to the relation between DW theory and its low-energy U(1) effective theory as given by Eq. (1), a connection between Gromov–Witten (GW) theory (realised physically by the A-model) and mock modular forms (appearing in the low-energy effective action) exists, such that one can compute GW invariants using modular data originating from the 4d theory, thereby deriving results in enumerative geometry from number theory. As an example, we make concrete numerical predictions of the genus zero GW invariants of the moduli space of flat SU(2)-connections on \(\Sigma _2\) via their relation to an indefinite theta function. The GW invariants studied here involve local and non-local operators which, as far as we know, have not been studied.
Plan of the paper
The plan of the paper is as follows. In Sect. 2, we review the effective DW theory and the low-energy SW geometry. We further discuss the new specific \({\mathcal {Q}}\)-exact operators that we add to the action.
In Sect. 3, we rederive the u-plane integral \(Z_u\) by including the \({\mathcal {Q}}\)-exact operators and show how \(Z_u\) can be written in terms of a mock modular form.
In Sect. 4, we apply our results to the two possible reductions of the product ruled surfaces \(X=\mathbb {CP}^1 \times \Sigma _g\) and check them towards existing literature [7, 15]. The second reduction, where the volume of \(\Sigma _g\) shrinks, will be related to the genus zero GW invariants realised by the correlation functions of the A-model on \(\mathbb {CP}^1\).
In Sect. 5, we discuss the A-model on \(\mathbb {CP}^1\), and perform the computations that produce the generating function of GW invariants. Together with the findings of Sect. 4, we make concrete numerical predictions of the genus zero GW invariants of the moduli space of flat SU(2)-connections on \(\Sigma _2\) via modular data.
In Sect. 6, we conclude our paper, where useful appendices follow thereafter.
2 Effective DW theory
DW theory is the topologically twisted formulation of the pure \({\mathcal {N}}=2\) supersymmetric Yang–Mills theory with gauge group G of rank \(r_G=1\) on a smooth four-manifold X [1]. In the IR, the theory becomes a U(1) gauge theory that depends on the complexified effective gauge coupling \( \tau =\frac{\theta }{\pi } +\frac{8\pi i}{g^2} \in {\mathbb {H}}\), where \({\mathbb {H}}\) denotes the Poincaré half-plane. DW theory contains a scalar fermionic BRST operator \({\mathcal {Q}}:=\epsilon ^{\dot{A}\dot{B}}{\overline{{\mathcal {Q}}}}_{\dot{A}\dot{B}}\) that obeys \({\mathcal {Q}}^2 =0\).Footnote 1 The field content of the theory is a collection of bosonic and fermionic degree 0, 1 and 2 operator valued differential forms on X, where the degree of the differential form is equal to the ghost number of the physical operator. In Table 1 we summarise the field content of the DW theory.
The BRST transformations on these fields are
The physical observables of the theory belong to the \({\mathcal {Q}}\)-cohomology. We are interested in computing the path integral of the theory, the u-plane integral or Coulomb branch integral, when evaluated on a non-simply connected four-manifold. To this end, let us first introduce some notation.
Let \(b_j:=b_j(X) = \mathrm{dim}\, H^j(X)\) be the Betti numbers of the smooth, closed and oriented four-manifold X with \(b_2(X)= b_2^+(X) + b_2^{-}(X)\), where the first (second) summand corresponds to the number of positive (negative) eigenvalues of the quadratic form Q of X. For \(a\in H^i(X)\) and \(b\in H^{4-i}(X)\) we define
For \(a \in H^2(X)\) the quadratic form Q of X corresponds to
Furthermore, the signature of X is defined as \(\sigma (X)= b_{2}^+(X)-b_{2}^{-}(X)\). Hereafter we consider four-manifolds with \(b_2^+(X)=1\). By Poincaré duality, we have that \(b_0=b_4\), \(b_1=b_3\). We can assume \(b_1\) to be even, since the correlation function of the theory are known to vanish unless \(1-b_1+b_2^+\) is even [3].
The Coulomb branch integral is the path integral of the low-energy U(1) theory with the insertion of the observables arising from the descent formalism as well as contact terms and \({\mathcal {Q}}\)-exact operators. It takes the form
where \(\Phi =\{a,{{\bar{a}}}, A,\eta ,\psi ,\chi ,D\}\) is the collection of fields of the theory (as in Table 1).
Below, Sects. 2.1–2.5 are devoted to reviewing and explaining in detail all the ingredients of the u-plane integral (5). Finally, in Sect. 2.6 we introduce the new \({\mathcal {Q}}\)-exact operators \(I_S\) following [10] as well as its generalisation I(S, Y) that will allow us to reformulate \(Z_u\) as an integral over a mock modular form.
2.1 Seiberg–Witten geometry
In the seminal papers [2, 16], Seiberg and Witten found the exact low-energy solution of \({\mathcal {N}}=2\) supersymmetric Yang–Mills with gauge group SU(2). The \({\mathcal {N}}=2\) vector multiplet consists of a gauge field A, a scalar \(\phi \) and Weyl fermions \(\lambda \) and \(\psi \), all in the adjoint representation. The potential of the theory is \(V(\phi )=\tfrac{1}{g^2}\text {Tr}[\phi ,\phi ^\dagger ]^2\) and we are interested in the moduli space of flat directions. These are found by setting \(\phi =a\sigma ^3\), with \(\sigma ^3\) the third Pauli matrix and a a complex parameter. However, note that the Weyl group of SU(2) acts on a by \(a\mapsto -a\). We can then construct a gauge invariant parameter as
This serves as a good coordinate on the moduli space.
There are two strong coupling singularities in the gauge theory, located at \(u=\pm \Lambda ^2\), where a monopole and a dyon become massless, respectively [2]. Here, \(\Lambda \) is the dynamical scale of the theory, which is generated by the renormalisation group flow. This will be set equal to one later in the paper. The central charge of a dyonic state with electric and magnetic charges \((n_e, n_m)\) is given by
where \(a_D\) is the magnetic dual of a, \(a_D=\frac{\partial {\mathcal {F}}}{\partial a}\), with \({\mathcal {F}}\) the prepotential of the theory.
The quantum moduli space of the gauge theory can be described in terms of a certain family of elliptic curves, the so-called Seiberg–Witten (SW) curves,
The complex structure of the curve is identified with the complex coupling \(\tau \) of the gauge theory. The fields a and \(a_D\) can be determined from the SW differential \(\lambda _{\text {SW}}\) as
where A and B are the canonical basis of homology cycles on the elliptic curve.
By relating the j-invariant of the SW curve (8) to that of the Weierstraß curve, we can solve for u in terms of Jacobi theta functions,
where \(q=e^{2\pi \mathring{\imath }\tau }\). See Appendix A for the definitions of the theta functions. Using this formula it is straightforward to show that u is a modular function for the congruence subgroup \(\Gamma ^0(4)\subset \mathrm {SL}(2,{\mathbb {Z}})\). The fundamental domain of this group is shown in Fig. 1. The cusp at \(\tau =\mathring{\imath }\infty \) corresponds to weak coupling, while the cusps at \(\tau =0\) and \(\tau =2\) correspond to the monopole and dyon singularities, respectively.
From the curve (8) we can directly find other quantities that will be important for the analysis in the paper, such as \(\frac{{\mathrm {d}}u}{{\mathrm {d}}a}\) or \(\frac{{\mathrm {d}}u}{{\mathrm {d}}\tau }\). See for example [17] for a more detailed discussion on how these quantities can be retrieved from the curve. These expressions and their transformation properties under \(\Gamma ^0(4)\) are collected in Appendix A.2.
The u-plane integral can also be formulated for theories other than pure \({\mathcal {N}}=2\) SYM with gauge group SU(2). For pure \({\mathcal {N}}=2\) SYM with gauge group SU(N) and \(N>2\), integrals over the respective Coulomb branches have been performed in [18]. The modular structure for those theories is, however, much more involved, as was recently elaborated in [19]. More tractable Coulomb branches are rank one theories with matter hypermultiplets, such as \({\mathcal {N}}=2^*\) (with one adjoint hypermultiplet) and \({\mathcal {N}}=2\) supersymmetric QCD (with \(N_f\le 4\) fundamental hypermultiplets), both with gauge group SU(2) [16]. Rank 1 Argyres-Douglas theories are non-Lagrangian examples of \({\mathcal {N}}=2\) theories with 1-dimensional Coulomb branches [20, 21]. The partition function has been studied only for the simplest of those, the \((A_1,A_2)\) theory [22]. The extension of such Coulomb branch integrals to manifolds with \(b_1(X)>0\) is interesting because the ghost number selection rule admits the possibility of an infinite number of non-vanishing correlation functions, in sharp contrast to the case \(b_1(X)=0\). The u-plane integral for \({\mathcal {N}}=2^*\) theory has been formulated in [23] and evaluated in [24], based on the Coulomb branch geometry found in [25]. The modular structure of \({\mathcal {N}}=2\) QCD on the other hand has been established much more recently [17]. Integration over those Coulomb branches has yet to be completed [26].
2.2 Effective Lagrangian
The low-energy U(1) effective Lagrangian \({\mathcal {L}}\) of the twisted theory is given in [3, (2.15)]. The \({\mathcal {Q}}\)-exact terms as well as the kinetic terms do not contribute since the zero modes are constant in DW theory on a four-manifold X with \(b_2^+(X)=1\). For such manifolds there is a useful fact stating that for any \(\beta _1,\beta _2, \beta _3,\beta _4\in H^1(X,{\mathbb {Z}})\), we have [27]
We will make extensive use of this fact below.
Let us define \({\mathcal {L}}'\) as the part of the zero-mode low-energy U(1) effective Lagrangian that contributes to the u-plane integral. It is given by [3]
where \(F_\pm =4\pi k_\pm \) and for any two-form x we abbreviate \(B(x,x)=x^2\) as defined in Eq. (3). In \({\mathcal {L}}'\), we disregard any summands of \({\mathcal {L}}\) containing \({\mathcal {Q}}\)-exact terms, exact differential forms and \(\wedge \)-products of four 1-forms. Here and throughout the rest of the paper we use units where the dynamical scale \(\Lambda \) of the low-energy effective U(1) theory is equal to one. The gravitational contributions to \({\mathcal {L}}'\) are described in the following section.
2.3 Measure factors
Assuming X is connected, the (holomorphic) measure factor [3, 28] is
Here we used \(\chi (X)+\sigma (X)=4-2b_1\) to eliminate the Euler character of X, \(\chi (X)\). This expression reduces to Eq. (2.9) in [10] if we take \(b_1=0\). For the simply connected theory one can use the microscopic definition of the theory to determine the effective gravitational couplings (e.g. by considering expansions of the Nekrasov partition function) [29, 30].
The zero modes of the one-forms \(\psi \) live in the tangent space of a \(b_1\)-dimensional torus \({\mathbb {T}}^{b_1}=H^1(X,{\mathbb {R}})/H^1(X,{\mathbb {Z}}) = H^1(X, {\mathcal {O}}^*_X)\) which corresponds to isomorphism classes of invertible sheaves (for X a smooth complex variety that is holomorphic line bundles) on X which are topologically trivial. We can expand \(\psi \) in zero modes as \(\psi =\sum _{i=1}^{b_1} c_i\beta _i\) with \(\beta _i\) an integral basis of harmonic one-forms, and \(c_i\) Grassmann variables. We then have the measure
The photon partition function will also include an integration over \(b_1\) zero modes of the gauge field corresponding to flat connections [7]. These zero modes span the tangent space of \({\mathbb {T}}^{b_1}\). As a consequence of this, the photon partition function will have an overall factor of \(y^{\frac{1}{2}(b_1-1)}\) [31]. Combining this with the measure factor (14) we see that in the end there will only be a factor of \(y^{-1/2}\) surviving.
We can also consider the \(c_j\) in the expansion of \(\psi \) as a basis of one-forms \(\beta _j^{\#}\in H^1({\mathbb {T}}^{b_1},{\mathbb {Z}})\), dual to \(\beta _j\), such that
A useful fact about four-manifolds with \(b_2^+=1\) is that the image of the map
is generated by a single rational cohomology class, which we denote as W [27].Footnote 2 This means that we can write \(\beta _i\wedge \beta _j=a_{ij}W\), \(i,j=1,\dots ,b_1\), where \(a_{ij}\) is an anti-symmetric matrix. This further implies that the two-form on \({\mathbb {T}}^{b_1}\) can be written as
where \(\beta _i^{\#}\in H^1({\mathbb {T}}^{b_1},{\mathbb {Z}})\), such that
Below, we will study four-manifolds of the type \(X={\mathbb {C}}{\mathbb {P}}^1\times \Sigma _g\) with \(\Sigma _g\) a genus g Riemann surface. For these manifolds we have that \(W=[{\mathbb {C}}{\mathbb {P}}^1]\) and \(\text {vol}({\mathbb {T}}^{b_1})=1\) [7].
Using the analysis above we can now write \(\psi \wedge \psi = 2(W\otimes \Omega )\) [7]. This will be very useful later on when we want to perform the integral over \({\mathbb {T}}^{b_1}\) for the product ruled surfaces.
2.4 Observables
\({\mathcal {Q}}\)-invariant observables can be constructed using the celebrated descent formalism. By starting with the zero-form operator \({\mathcal {O}}^{(0)}=2u\), we find all k-form valued observables \({\mathcal {O}}^{(k)}\) for \(k=1,2,3,4\) that are \({\mathcal {Q}}\)-invariant modulo exact forms by solving the descent equations
inductively. This ensures that for a k-cycle \(\Sigma ^{(k)}\in H_k(X)\) in X, the integrals \(\int _{\Sigma ^{(k)}}{\mathcal {O}}^{(k)}\) are \({\mathcal {Q}}\)-invariant and only depend on \(\Sigma ^{(k)}\). Fortunately, there is a canonical solution to the descent equations: Due to the fact that the translation generator is \({\mathcal {Q}}\)-exact, there is the one-form valued descent operator K, which satisfies \({\mathrm {d}}=\{{\mathcal {Q}},K\}\) [3]. This implies that (19) can be solved by \({\mathcal {O}}^{(j)}=K^j {\mathcal {O}}^{(0)}\), where the iterated (anti)-commutators are implicit. The action of the operator K can be inferred from the BRST transformations (2) as [3]
Let us study the insertion of all possible observables. For ease of notation, let us denote \(p=\Sigma ^{(0)}\) a point class, \(\gamma =\Sigma ^{(1)}\) a 1-cycle, \(S=\Sigma ^{(2)}\) a 2-cycle and \(Y=\Sigma ^{(3)}\) a 3-cycle. The cycles \(\gamma \), S and Y can be expanded in formal sums as
where \(\gamma _i\), \(S_i\) and \(Y_i\) are a basis of one-, two- and three-cycles, respectively, \(\lambda _i\) are complex numbers, while \(\zeta _i\) and \(\theta _i\) are Grassmann variables. By the common abuse of notation, we use the same notation for the 3-, 2- and 1-forms Poincaré dual to the cycles and use the convention
The most general \({\mathcal {Q}}\)-invariant observable we can add is then
where \(a_2=\frac{\mathring{\imath }}{\sqrt{2}\pi }\) is fixed from matching with the mathematical literature [3] andFootnote 3
2.5 Contact terms
The existence of the canonical solution to the descent equations allows to map an observable of the UV theory to the low-energy U(1) effective theory on the u-plane. For instance, the operator \(I(S)=\int _S K^2 u\) of the UV theory is mapped to the same observable \({\tilde{I}}(S)=\int _S K^2u\) in the IR. This is not quite true for products \(I(S_1)I(S_2)\cdots I(S_n)\) of such operators for distinct Riemann surfaces \(S_i\in H_2(X,{\mathbb {Z}})\). At the intersection of the surfaces, contact terms will appear [3, 5]. When mapping a product of surface operators to the IR, the product is corrected by a sum over the intersection points. Due to the \({\mathcal {Q}}\)-invariance, the inserted operator is holomorphic and the point at which it is inserted is irrelevant.
Such contact terms appear for all cycles in X that can intersect. They have been classified and the corresponding contact terms have been found in [7, Equations (2.8)–(2.12)],
Here \(\tau _0\) is the deformation parameter of the prepotential, related to the dynamical scale by \(\Lambda ^4=e^{\pi \mathring{\imath }\tau _0}\). The coefficient functions can all be expressed as quasi-modular functions on the u-plane. For instance, the contact term for \(S\cap S\) is
In terms of the prepotential \({\mathcal {F}}\), it is given by \(T(\tau )=\frac{4}{\pi \mathring{\imath }}\frac{\partial ^2{\mathcal {F}}}{\partial \tau _0^2}\) [32]. It furthermore satisfies the identities [7]
We can use the action (20) to find
The intersection constants can be obtained from duality invariance [7]
Due to the identity (11), the two last terms in (25) vanish and we can disregard them. Thus, from (25) and (28) we see that all terms in \(I_\cap \) except for one are only integrated over \(\psi \) and \(\tau \), which we do in a later step. The remaining term
is to be integrated over D, \(\chi \) and \(\eta \).
2.6 \({\mathcal {Q}}\)-exact operators
As we will later see, the photon path integral combines with the insertion of the surface observable to a Siegel–Narain theta function \(\Psi _\mu ^J(\tau ,z)\). See (47) for the definition. This function can be expressed as a total derivative to a non-holomorphic modular completion of an indefinite theta function, as has been previously shown in the simply connected case [10, 12]. To facilitate the calculation further the authors of those papers add the \({\mathcal {Q}}\)-exact operator \(I_S\).Footnote 4 In this section we will generalise this operator insertion to simplify the calculations also in the case of non-simply connected manifolds. This then allows us to evaluate correlation functions efficiently using mock modular forms [10,11,12].
Since our computations should be valid for any \(b_1\ge 0\) and in particular \(b_1=0\), this suggests that it is instructive to add the same \({\mathcal {Q}}\)-exact operator [10, (2.11) and (2.12)]
The u-plane integrand (5) with \(I_S\) inserted can also in the case where \(b_1\ne 0\) be written as an anti-holomorphic derivative. However, it does not give the same kind of Siegel–Narain theta function as in the simply connected case. The reason is that the putative elliptic argument z of \(\Psi _\mu ^J\) does not couple to \(H^2_-(X)\) symmetrically to how its conjugate \({{\bar{z}}}\) couples to \(H^2_+(X)\). The insertion of \(I_S\) in the case \(b_1=0\) can be viewed as the unique correction to the path integral that symmetrises the couplings to \(H^2_\pm (X)\). Without such an insertion, the resulting theta functions are not symmetric, see for instance [3, Equation (3.18)].
As we demonstrate below, for \(b_1\ne 0\) this issue can be cured by introducing additional \({\mathcal {Q}}\)-exact operators. More precisely, the new observables and related contact terms require three new \({\mathcal {Q}}\)-exact terms. The first two
compensate the observables (23). From the collection of contact terms (25), only the one from the intersection \(Y\cap Y\) gives a term (30) that is integrated over D, \(\eta \) and \(\chi \). This term requires the addition of the \({\mathcal {Q}}\)-exact operator
We can note that, according to (29), \({{\bar{a}}}_{33}=-a_{33}\). The sum of these additional \({\mathcal {Q}}\)-exact terms can be compactly written as
where we introduced the 2-form
This 2-form has the property that \(y\omega \) is holomorphic and thus \(y{\bar{\omega }}\) is anti-holomorphic. The form of (32) is derived in Appendix C, where we furthermore show that its one-point function evaluates to zero, such that it is safe to include it into the path integral, following the analysis in [11, 12]. We furthermore find it useful to follow [10] and introduce the notation
Anticipating the result as a Siegel–Narain theta function, the elliptic variable will turn out to be \(z=\rho +2\mathring{\imath }y \omega \), which is a 2-form with holomorphic coefficients. In terms of this variable, the sum of all \({\mathcal {Q}}\)-exact insertions (31), (32) and (33) combine nicely as
It is clear that this is purely anti-holomorphic. The operator I(S, Y) is then included into the path integral, as in (5).
3 The u-plane integral for \(\pi _1(X) \ne 0\)
The u-plane integral (5) can be expressed as
where \(\int _{\mathrm{Pic}(X)}\) denotes a sum over isomorphism classes of line bundles, equivalent to a sum over \(H^2(X,{\mathbb {Z}})\), followed by an integration over \({\mathbb {T}}^{b_1}\).Footnote 5 The \(\psi \) zero modes are tangent to \(\mathrm {Pic}(X)\), so the integral over these modes is understood as the integral of a differential form on \(\mathrm {Pic}(X)\) [3]. At this point let us make a remark. The \({\mathcal {Q}}\)-exact operator I(S, Y) is not strictly required in order to derive our end result (52). As a matter of fact, as shown in [12] this operator can be added freely as \(\alpha I(S,Y)\), with \(\alpha \) any number.Footnote 6 However, the case of \(\alpha =1\) makes the analysis simpler and more elegant, why we choose to include it.
Let us perform the integrals above in steps, using an economical notation. We integrate first over the auxiliary field D, and then over the fermionic 0- and 2-forms, \(\eta \) and \(\chi \).
3.1 Integration over D, \(\eta \) and \(\chi \)
Using (35) and (36), we can expand the terms in the exponential of (38) that are affected by the integrals over D, \(\eta \) and \(\chi \) as (ignoring the remaining terms for now)
At any point we discard terms that vanish identically, such as 4-fermion terms or any instance of (11) such as \(\psi \wedge \psi \wedge \psi \wedge \psi \), \(\psi \wedge \psi \wedge \psi \wedge Y\) or \(\omega \wedge \omega \). The exponential (39) is Gaussian in D with saddle point
This can be found by differentiating (39) with respect to D and setting it to zero. Inserting D in (39) givesFootnote 7
The third line are the only terms involving \(\eta \) and \(\chi \), which we will integrate over next. Before, we can combine those terms in the expression
Integrating over \(\eta \) and \(\chi \), we can rewrite this in a compact way as a total anti-holomorphic derivative times an overall factor that, as we discuss below, cancels with contributions from the rest of the measure,
where \(\partial _{{\bar{\tau }}}\) acts on everything to its right and \({\underline{J}} = J/\sqrt{Q(J)}\in H^2_+(X)\) is the normalised self-dual harmonic form on X. This result follows directly from the identities
As previously discussed, the photon path integral together with the measure for the zero modes of \(\psi \) contains a sum over all fluxes times a factor of \(1/\sqrt{y}\) and additionally contributes \((-1)^{B(k,K)}\), where K is the canonical class of X [31]. The \(1/\sqrt{y}\) factor is thus absorbed by the \(\sqrt{y}\) on the rhs of (43).
Using the change of variables
provided by (10), we can further integrate over \({\mathrm {d}}\tau \wedge {\mathrm {d}}{\bar{\tau }}\) rather than over \({\mathrm {d}}a\wedge {\mathrm {d}}{{\bar{a}}}\). This motivates the definition of the transformed measure
such that \({\mathrm {d}}a\wedge {\mathrm {d}}{{\bar{a}}}\,\nu ={\mathrm {d}}\tau \wedge {\mathrm {d}}{\bar{\tau }} \frac{{\mathrm {d}}{{\bar{a}}}}{{\mathrm {d}}{\bar{\tau }}}\,{\tilde{\nu }}\). The factor \(\frac{{\mathrm {d}}{{\bar{a}}}}{{\mathrm {d}}{\bar{\tau }}}\) cancels with the \(\frac{{\mathrm {d}}{\bar{\tau }}}{{\mathrm {d}}{{\bar{a}}}}\) of (43).
3.2 Siegel–Narain theta function
Let us demonstrate that the u-plane integrand for \(\pi _1(X)\ne 0\), as in the simply connected case [10], evaluates to a Siegel–Narain theta function. To this end, let us define
with \(q=e^{2\pi \mathring{\imath }\tau }\) and \(\beta =\frac{\text {Im}z}{y}\in L\otimes {\mathbb {R}}\), where \(L=H^2(X,{\mathbb {Z}})\).
For the elliptic variable \(z=\rho +2\mathring{\imath }y \omega \), we have \(\beta =b+\omega +{\bar{\omega }}\) (here, we use that \(y\omega \) is holomorphic). Both variables appear naturally in (41) and (43). In fact, we can combine everything to find
Here,
and
are the (holomorphic) remainders of the collections of \(0,\dots ,3\)-form observables and their contact terms that has not yet been integrated over, and we eliminated all terms that do not contribute.
Let us check that (48) is indeed true from the computations in Sect. 3.1. Aside from the \(\psi \wedge \psi \) term, the exponential of the first two lines in (41) immediately combine into the definition (47) with said parameters, \(z=\rho +2\mathring{\imath }y \omega \) and \({{\bar{z}}}={\bar{\rho }}-2\mathring{\imath }y{\bar{\omega }}\). Everything not exponentiated is given by the \({\bar{\tau }}\) derivative term in (43), which precisely gives the derivative term in (47). This proves (48).
The expression (48) generalises the result of the u-plane integral [12, (4.32)] to four-manifolds X with \(b_1(X)>0\) by giving a decomposition of the integrand into a holomorphic and metric-independent measure \({\tilde{\nu }}\, e^{I_{\mathcal {O}}'+I_\cap '}\) and a metric-dependent, non-holomorphic component \(\Psi _{\mu }^J(\tau ,z)\). Therefore, the evaluation techniques of [12] apply. Namely, we can express the integrand of the u-plane integral as an anti-holomorphic derivative,
The holomorphic exponential \(e^{I_{\mathcal {O}}'+I_\cap '}\) does not affect the anti-holomorphic derivative, and thus, the extension to \(\pi _1(X)\ne 0\) is simply through the elliptic argument \(z=\rho +2\mathring{\imath }y\omega \).
Once \(\widehat{{\mathcal {H}}}_\mu ^J(\tau ,{\bar{\tau }})\) is found, we can use coset representatives of \(\mathrm {SL}(2,{\mathbb {Z}})/ \Gamma ^0(4)\) to map the six images of \({\mathcal {F}}=\mathrm {SL}(2,{\mathbb {Z}})\backslash {\mathbb {H}}\) back to \({\mathcal {F}}\) (see Fig. 1). The regularisation and renormalisation of such integrals originating from insertions of \({\mathcal {Q}}\)-exact operators has been rigorously established in [11], and we review it in Appendix B. This then allows to evaluate the partition function as
where by \({}\vert _{q^0}\) we denote the \(q^0\) coefficient of the resulting Fourier expansion, and the \(\tau \)-integrand of (48) is given byFootnote 8
The prefactors in (52) can be recognised as the widths of the cusps \(\mathring{\imath }\infty \), 0 and 1 of the modular curve \(\Gamma ^0(4)\backslash {\mathbb {H}}\).
To derive a suitable anti-derivative \(\widehat{{\mathcal {H}}}_\mu ^J(\tau ,{\bar{\tau }})\), it is auxiliary to choose a convenient period point J. The u-plane integral for a different choice \(J'\) is then related to the one for J by a wall-crossing formula, given explicitly in [7]. It is shown in [12] that for convenient choices of J, \(\Psi _\mu ^J(\tau ,z)\) factors into holomorphic and anti-holomorphic terms, and the anti-derivative \({\widehat{{\mathcal {H}}}}_\mu ^J\) can be found for both L even and odd. Furthermore, the u-plane integral can be evaluated using mock modular forms for point observables \(p\in H_0(X)\) and Appell–Lerch sums for surface observables \(z\in H_2(X)\) [12].
In [11] it is furthermore shown that in the above mentioned renormalisation, any \({\mathcal {Q}}\)-exact operator (such as I(S, Y)) decouples in DW theory. However, it is clear that the insertion of I(S, Y) crucially changes the integrand, making the Siegel–Narain theta function symmetric. Instead of inserting I(S, Y), we can contemplate adding \(\alpha I(S,Y)\) for an arbitrary constant \(\alpha \). It was noticed in [12] that the Siegel–Narain theta function \(\Psi _{{\varvec{\mu }},\alpha }^J\) for \(b_1=0\) with the insertion \(\alpha I_S\) remains finite at weak coupling \((\text {Im} \tau \rightarrow \infty )\) if and only if \(\alpha =1\). This can be seen from the exponential prefactor in (47), whose exponent is negative definite if and only if \({{\bar{z}}}\) (which we suppress in the notation) is the complex conjugate of z.
3.3 Single-valuedness of the integrand
An essential requirement, for the consistency of the theory, is that the path integral (48) is single-valued. For this it is advantageous to first change variables in the \(\psi \)-integral as
This is because the coefficient function of \(\psi \wedge \psi \) in \(y\omega \) is modular, while the \(\psi \wedge Y\) and \(Y\wedge Y\) coefficients of \(y\omega \) are only quasi-modular. Such shifts (54) leave the measure of \(\int [{\mathrm {d}}\psi ]\) invariant, as \({\mathrm {d}}\psi ={\mathrm {d}}\psi '\). Due to the order of integration in (48), the change of variables (54) is well-defined. Since Y is also Grassmann-odd, \(\psi \) and Y \(\wedge \)-commute. Using (29) and (27), this gives
Let us use the notation of Appendix A.2. It is argued in [7] that \(\psi '\) transforms as \((-1,1)^{(1,0)}\). Using (112), one then finds that \(y\omega =(-1,1)^{(-1,0)}\) transforms precisely as \(\rho =(-1,1)^{(-1,0)}\), such that \(z=\rho +2\mathring{\imath }y \omega =(-1,1)^{(-1,0)}\) is a modular form and transforms exactly as in the \(\pi _1(X)=0\) case.
Furthermore, it is auxiliary to define [7, (2.14)]
It is well-defined, as \(S'=(1,1)^{(0,0)}\) is fully invariant. In contrast to (54), this is not a change of variables or a redefinition, but rather a substitution to simplify some expressions. For instance, the elliptic variable now reads
which takes the same form (36) as in the simply connected case.
By incorporating the shift of \(\psi \rightarrow \psi '\) together with (56), we find that the contact terms and observables in (49) and (50) can be written as
All terms but \(S'^2T\) are modular functions with trivial multipliers. Due to (57), the quasi-modular shift of T combines precisely with the one of \(\Psi (\tau ,z)\).
3.3.1 Measure factor
Since \(\Delta \propto \frac{\vartheta _4^8}{\vartheta _2^4\vartheta _3^4}\), \(\frac{{\mathrm {d}}a}{{\mathrm {d}}\tau }=\frac{\pi }{8\mathring{\imath }}\frac{\vartheta _4^8}{\vartheta _2\vartheta _3}\) and \(\frac{{\mathrm {d}}a}{{\mathrm {d}}u}=\frac{1}{2}\vartheta _2\vartheta _3\), from (13) we have that \( \nu \propto \frac{\vartheta _4^\sigma }{(\vartheta _2\vartheta _3)^{2-b_1}}\) and therefore
We find that under the generators of \(\Gamma ^0(4)\), \({\tilde{\nu }}=(-1,e^{-\pi \mathring{\imath }\sigma /4})^{(2-\frac{b_2}{2}+b_1,0)}\). For this we have used that \(\sigma +b_2=2\) and that \(b_1\) is even.
We also need to consider the fermion measure. As we have discussed earlier, this comes with an overall factor of \(y^{-\frac{b_1}{2}}\) which gets absorbed by a similar factor coming from the photon partition function. This leaves us with \(\prod _{i=1}^{b_1}dc_i\), which has weight \((-b_1,0)\), since \(\psi \) has weight (1, 0) [31]. So after the integration over D, \(\eta \) and \(\chi \), and after changing integration variables from \(da\wedge d{{\bar{a}}}\) to \({\mathrm {d}}\tau \wedge {\mathrm {d}}{\bar{\tau }}\), the measure of the integral will have weight \((-2-b_1,-2)\), and we thus need the rest of the integrand to have weight \((2+b_1,2)\). Finally, the transformations of the Siegel–Narain theta function \(\Psi _\mu ^J(\tau ,z)\) can be found in Appendix A.3.
The integrand of the u-plane integral (48) reads
Since it is integrated over the fundamental domain of \(\Gamma ^0(4)\), in order to check whether the integral is well-defined \({\mathcal {J}}_\mu ^J\) must transform as a modular function for \(\Gamma ^0(4)\) with no phases. In Table 2 we collect the phases and weights of the individual factors as discussed above. This shows that the integral is indeed well-defined.
4 Computation for product ruled surfaces
As an interesting application of our results we can study the u-plane integral for a four-manifold of the type \(X={\mathbb {C}}{\mathbb {P}}^1\times \Sigma _g\), where \(\Sigma _g\) is a genus g Riemann surface. This is a product ruled surface with \(b_2^+(X)=1\) (see Appendix D.1).Footnote 9 The DW theory for these manifolds was worked out in [7, 15] and we can use these results as a check of our formula. By shrinking the size of the Riemann surface \(\Sigma _g\) we get a topological \(\sigma \)-model, more specifically the topological A-model, on \({\mathbb {C}}{\mathbb {P}}^1\) [13]. By calculating certain correlation functions on both sides, we will be able to make an indirect connection between mock modular forms and the topological \(\sigma \)-model on \({\mathbb {C}}{\mathbb {P}}^1\) in Sect. 5.
The product ruled surfaces that we consider have \(b_1=2g\), \(b_2=2\), \(b_2^+=1\), \(K_X=0\), which in turn means that \(\sigma =0\) and \(\chi =4(1-g)\) [7]. We consider a general period point
where \([{\mathbb {C}}{\mathbb {P}}^1]\) and \([\Sigma _g]\) are the cohomology classes that generate \(H^2(X,{\mathbb {Z}})\) [7].Footnote 10 For these manifolds we further have that the rational cohomology class W, discussed in Sect. 2.3, is simply given by \(W=[{\mathbb {C}}{\mathbb {P}}^1]\) [27]. The intersection matrix is
such that indeed \(J(\theta )^2=1\). Natural representatives of \([{\mathbb {C}}{\mathbb {P}}^1]\) and \([\Sigma _g]\) are found by choosing coordinates \(z\in {\mathbb {C}}\) for \([{\mathbb {C}}{\mathbb {P}}^1]\) and representing \([\Sigma _g]\) (for \(g>1\)) as a quotient of the Poincaré disk, \({\mathcal {D}}=\{w: \vert w\vert <1\}\) with a Fuchsian group. This gives [7]
The scalar curvature for this metric is \(8\pi (e^\theta -e^{-\theta }(g-1))\). We see that this is positive for \(e^{2\theta }>g-1\), such that we do not get any contributions from the Seiberg–Witten invariants in these chambers. In particular, this is true when the volume of \({\mathbb {C}}{\mathbb {P}}^1\) is small, since this has \(\theta \) large and positive.
The connection to the topological \(\sigma \)-model is made in the chamber where we shrink the volume of \(\Sigma _g\) [13]. For completeness, we will calculate the u-plane integral in both chambers, where either of the factors shrink. The calculations are similar in both cases and we will start with the chamber where the volume of \({\mathbb {C}}{\mathbb {P}}^1\) is small.
From Eq. (13) we find that the measure factor for these manifolds simplifies to
For these manifolds we also have that the \(\Psi _\mu ^J\) of (48) can be written as a total derivative
of the indefinite theta function [34]
where \(k^2 = k_+^2+k_-^2\), \(J'\) is a reference vectorFootnote 11 lying in the negative cone such that \(Q(J')<0\), and
is a reparametrisation of the error function. See also Appendix A.4 for more details on these indefinite theta functions. This means that we can take as \(\widehat{{\mathcal {H}}}_\mu ^J(\tau ,{\bar{\tau }})\) in (53)
For the evaluation of the u-plane integral using this \({\widehat{{\mathcal {H}}}}_\mu ^J\), one may replace \({\widehat{\Theta }}_\mu ^{JJ'}\) in (68) after the modular transformations as in (52) with the mock modular form \(\Theta _\mu ^{JJ'}\) defined in Appendix A.4. This is also in line with the approach in [10].
4.1 Shrinking \({\mathbb {C}}{\mathbb {P}}^1\)
Let us start by analysing the chamber where the volume of \({\mathbb {C}}{\mathbb {P}}^1\) is small. In this chamber we fix the primitive null vector to be \(J'=[{\mathbb {C}}{\mathbb {P}}^1]=W\). Due to (62), with this choice we have that \(B(\psi \wedge \psi ,J' )=0\), and in particular \(B(S',J')= B(S,W)\). As above, we denote \(z=\rho +2\mathring{\imath }y\omega \) and \(\beta =b+\omega +{\bar{\omega }}\). We can introduce the split \(k = m+nW\), with m chosen such that
With this split the mock modular form \(\Theta _\mu ^{JJ'}\) coming from (68) can be written as
where, in the second equality, we performed the sum over n. This is an Appell–Lerch sum [34]. The u-plane vanishes in chambers where \(w_2(E)\cdot [{\mathbb {C}}{\mathbb {P}}^1]\ne 0\) [3]. This means that we only have solutions for \(w_2(E)=0\) or \(w_2(E)=W\), implying that \(B(\mu ,W)\in {\mathbb {Z}}\). The only solutions for the conditions on m are then \(m=0\) for \(w_2(E)=0\) and \(m=\frac{1}{2} W\) for \(w_2(E)=W\), this means that the contributions from the theta function are
We note that these are independent of \(\psi \). The u-plane integral in this chamber can now be written as
with \(\Theta _\mu ^{JW}\) as above. If we only include point and surface observables it is straightforward to do the integral over the torus. The final result is
where we also defined \(S=s[\Sigma _g]+t[{\mathbb {C}}{\mathbb {P}}^1]\).Footnote 12
4.2 Shrinking \(\Sigma _g\)
We now go on to discuss the chamber where we instead shrink the volume of \(\Sigma _g\). For this chamber we pick the primitive null vector to be \(J'=[\Sigma _g]\). The procedure is similar to the above. However, note that now \(B(\psi \wedge \psi ,J')\ne 0\). We start as before by splitting \(k=m+n\Sigma _g\) with m chosen such that
Let us start by looking at the contribution from infinity. After performing the sum over n we find that the indefinite theta function becomes
This is again an Appell–Lerch sum [34]. Following [15] we now pick \(\omega _2(E)=[{\mathbb {C}}{\mathbb {P}}^1]+\epsilon [\Sigma _g]\), with \(\epsilon =0,1\). For this flux there is no contribution from infinity, as can be seen from the above by realising that there are now no solutions to the conditions on m. We therefore turn to the other cusps.
For the monopole cusp at \(\tau =0\) we can use the formulas in the appendix to define the dual indefinite theta function as
where we used that \(K_X=0\) and \(b_2(X)=2\) together with the transformation formulas of the appendix. Following the procedure from above, splitting and summing over n, and simplifying by only including point and surface observables, we eventually find that
Here we have used that \(B(\mu ,\Sigma _g)=\frac{1}{2}\) and that \(\psi \wedge \psi =2W\otimes \Omega \) together with the explicit expressions for \(\omega \) when only including points and surfaces as observables. We also continue to denote dual functions with a subscript D. The explicit expressions for these are given in the appendix, Eq. (115).
Next, we want to integrate over the torus. If we only write down the parts that are actually dependent on \(\psi \), or equivalently \(\Omega \), the integral over the torus is
A neat trick we can use is to realise that
where \(\text {Li}_{n}(y)\) is the polylogarithm [15]. Using this and again splitting \(S=s[\Sigma _g]+t[{\mathbb {C}}{\mathbb {P}}^1]\) we find that the integral over the torus evaluates to
where we dropped the first term coming from (79) since this does not contribute to the u-plane integral (it will give a term whose q-series starts with a positive exponent). Combining this with the other terms in the u-plane integral, we find that the contribution from the cusp at \(\tau =0\) is given by
The contribution from the other cusp is easily calculated using the same procedure. The result is
The full u-plane integral in this chamber is then the sum of these two terms.Footnote 13
4.2.1 Genus one
For \(g=1\) the Seiberg–Witten contributions vanish and the only contributions comes from the u-plane integral [15]. The above expressions can be simplified to
where we introduced \(f_D=\left( \tfrac{{\mathrm {du}}}{{\mathrm {da}}}\right) _D\) to keep the expressions shorter. We can make various expansions for this. For example, if \(s=t=0\) we get
For \(p=0\) we instead find (expanding in small t)
4.2.2 Genus two
For \(g=2\) we find
where by \(a_D\) we actually mean \(\frac{\mathring{\imath }}{\pi }\left( \frac{{\mathrm {da}}}{{\mathrm {d}}\tau }\right) _D\left( \frac{{\mathrm {d}}^2u}{{\mathrm {d}}a^2}\right) _D\), by use of the relation (114) [35]. For \(s=t=0\) we simply get zero, but for \(p=0\) we get
For \(g=2\) there will also be the Seiberg–Witten contributions given by [15, Eq.(3.33)],
The first few terms in the expansion for small s and t, and \(p=0\), are
and
5 Revisiting the A-model computations
The previous discussion is focused on the low-energy U(1) effective action of DW theory on a generic oriented and non-simply connected four-manifold X, i.e. the u-plane formalism. There were indications that for X a product ruled surface, the correlation functions calculated in the previous section are related to Gromov–Witten invariants [13,14,15, 36,37,38], that correspond to correlation functions of an \({\mathcal {N}}=(2,2)\) topological A-model in two dimensions, at the limit where the volume of one of the factors of X vanishes. The aim of this section is to obtain Gromov–Witten invariants, i.e., values of correlation functions of an \({\mathcal {N}}=(2,2)\) topological A-model in two dimensions, by direct comparison with results obtained from the previous section. There, an explicit calculation was carried out in the case of a product four-manifold, \(X={\mathbb {C}}{\mathbb {P}}^1\times \Sigma _g\) with \(g=2\), where both the u-plane and Seiberg–Witten terms contribute, shown in (87), (89) and (90). These expressions are the ones we shall use to obtain Gromov–Witten invariants.
Using the fact that the twisted \({\mathcal {N}}=2\) gauge theory is topological, we are free to shrink \(\Sigma _g\). We thus obtain an effective 2d theory on \({\mathbb {C}}{\mathbb {P}}^1\): the \({\mathcal {N}}=(2,2)\) topological A-model on worldsheet \({\mathbb {C}}{\mathbb {P}}^1\), with the target space being the moduli space \({\mathcal {M}}_{\mathrm{flat}}(\Sigma _g)\) of flat SU(2) connections on \(\Sigma _g\). As a consequence, flat SU(2) connections along the directions tangent to \(\Sigma _g\) are required to prevent the effective 2d action from blowing up when the limit of small \(\Sigma _g\) is taken. This result is rederived in Appendix E, following [13].
There is, however, a subtle point about the relation of the 2d A-model to both 4d theories, in that the relation should hold only within the limit of \(\Sigma _g \rightarrow 0\). More will be said about this further on. Nevertheless, what we can achieve with this relation are predictions for Gromov–Witten invariants via coefficients from the expansion of a 4d low-energy U(1) effective theory. This also offers an alternative approach in the calculation of Gromov–Witten invariants from 4d theories via physical principles, as illustrated in Fig. 2.
We will now proceed to obtain Gromov–Witten invariants in a similar fashion to the steps in the previous sections in obtaining the u-plane integral. The \({\mathcal {N}}=(2,2)\) topologically twisted A-model has the action
with z, \({\bar{z}}\) as worldsheet coordinates and \(i, {\bar{i}}\) etc, are coordinates on \({\mathcal {M}}_{\mathrm{flat}}(\Sigma _g)\) for the map \(\varphi : {\mathbb {C}}{\mathbb {P}}^1\rightarrow {\mathcal {M}}_{\mathrm{flat}}(\Sigma _g)\). In Eq. (91), e denotes the gauge coupling and \(\theta \) the instanton theta angle. The last term is a pullback of a Kähler form \(\omega \) that directly descends from the instanton term of \(\int F \wedge F\) in 4d. The bosonic field is the worldsheet scalar \(\varphi \), and fermionic fields are the scalar \(\chi \) and 1-form \(\rho \). The covariant derivative on the worldsheet is defined as \(\nabla _{z}\chi ^{{\bar{i}}}=\partial _{z}\chi ^{{\bar{i}}}+\chi ^{{\bar{j}}} \Gamma _{{\bar{j}}{\bar{k}}}^{{\bar{i}}}\partial _{z}\varphi ^{{\bar{k}}}\) and \( R_{i{\bar{j}}k{\bar{l}}}\) is the Riemann curvature tensor on \({\mathcal {M}}_{\mathrm{flat}}(\Sigma _g)\). The BPS condition of the A-model localises (91) to a moduli space of holomorphic maps
with the condition coming directly from that of the 4d theory, namely \(F^{+}=0\). Here, \(\beta \) is the homology class of the map \(\varphi \) into the moduli space of flat connections on \(\Sigma _g\):
The class \(\beta \) can be further indexed as \(\beta _I\) according to the dimension of each stratum of \({\mathcal {M}}_{\mathrm{flat}}\) that is
where \(I = \mathrm {dim}({\mathcal {M}}_{\mathrm{flat}})\).
Since we wish to obtain the Gromov–Witten invariants by comparison with coefficients from (87), (89) and (90) as obtained via calculations in the u-plane from the previous sections, only the dimensionally reduced version of the 4d surface operators on \(\Sigma _g \times {\mathbb {C}}{\mathbb {P}}^1\) as \(S=s[\Sigma _g]+t[{\mathbb {C}}{\mathbb {P}}^1]\) will be considered in this section. Note that surface operator insertions on \(\Sigma _g\) are non-local operators in 4d (on \(\Sigma _g\)), but get reduced to local point operators in 2d on \({\mathbb {C}}{\mathbb {P}}^1\) as \(\Sigma _g \rightarrow 0\).
The surface operator inserted is Tr\(\int _{s} (\psi _{\mu }\psi _{\nu }+\phi F_{\mu \nu }){\mathrm {d}}x^{\mu }\wedge {\mathrm {d}}x^{\nu }\). When inserted on \(S \in \Sigma _g\), it becomes a point operator on \({\mathbb {C}}{\mathbb {P}}^1\), as mentioned:
Here \(F_{w{\bar{w}}}=0\) was used, where w, \({\bar{w}}\) are complex coordinates on \(\Sigma _g\), and \(\omega _{ij}\) is the Kähler form (see Appendix E). Note that \({\mathcal {O}}^{(0)}\) is consistent with the features required for being a point operator on the worldsheet, since it does not contain worldsheet indices. The presence of worldsheet indices requires a contraction with the worldsheet metric \(g_{z{\bar{z}}}\), thereby making the operator \({\mathcal {Q}}\)-exact. Hence, this operator is indeed \({\mathcal {Q}}\)-closed. The ghost number of \({\mathcal {O}}^{(0)}\) is two, reflecting the fact that it is a 2-form on \({\mathcal {M}}_{\text {maps}}\).
On the other hand, when inserted into \(S' \in {\mathbb {C}}{\mathbb {P}}^1\), it remains as a surface operator:
Here the \(\psi _{z}, \psi _{{\bar{z}}}\) drop out since they do not survive the reduction, while \(F_{z{\bar{z}}}\) contains the components of the gauge field \(A_{z}\), \(A_{{\bar{z}}}\) on \({\mathbb {C}}{\mathbb {P}}^1\) which are auxiliary fields (see Eq. (187)). The fermionic parts of \(A_{z}\), \(A_{{\bar{z}}}\) do not contribute since there are no \(\rho \) zero modes, to be explained below). Using \(F_{\mu \nu }=\partial _{\mu }A_{\nu }-\partial _{\nu }A_{\mu }+[A_{\mu },A_{\nu }]\), \(F_{z{\bar{z}}}\) can then be written in terms of \(\varphi ^{i}, \varphi ^{{\bar{i}}}\).
Next, we have to look at which fermionic zero modes exist in the 2d theory after dimensional reduction. The self-dual 2-form fermions \(\chi _{\mu \nu }\) descend down to \(\rho ^{i}_{{\bar{z}}}\), \(\rho ^{{\bar{i}}}_{z}\), which are one-forms over \({\mathbb {C}}{\mathbb {P}}^1\). This dimensional reduction is coming from the high energy theory, in which the gauge group SU(2) is still left unbroken. Connections in this regime then remain irreducible and regular [1], and hence, we should not expect \(\rho \) zero modes. The only other fermionic zero modes are from the \(\chi \) fields from the vertex operators, which can be absorbed by the measure of the fermionic zero modes in the path integral. The path integral that generates the GW invariants takes the form
where \(\Phi \) represents all fields we integrate over and we also perform a discrete sum over \(\beta \). This is equivalent to summing over the 4d instanton numbers k.
In the evaluation of Eq. (97), all fields will have both zero and fluctuating modes. However, due to the independence of (97) on the coupling, we are free to take the weak coupling limit. The functional integral over the fluctuating modes in the action then equals \(\pm 1\) and zero modes for both bosons and fermions are annihilated in the kinetic terms in the action when we take the quadratic approximation. With this approximation, fluctuating modes in the operators \({\mathcal {O}}^{(0)}\) and \({\mathcal {O}}^{(2)}\) can be suppressed, and we are then left with fields in terms of zero modes only. These shall henceforth be labelled as \({\mathcal {O}}^{(0)}\) and \({\mathcal {O}}^{(2)}\) as well. It is necessary to have fields only in terms of zero modes since both bosonic and fermionic zero modes correspond to tangent vectors in \({\mathcal {M}}_{\text {maps}}\).
The resulting fields should then correspond to differential forms in this moduli space which, when combined together to obtain the correct index for the absorption of fermionic zero modes give us a top form on \( {\mathcal {M}}_{\text {maps}}\) to be integrated over. In particular, recall that the ghost numbers of \({\mathcal {O}}^{(0)}\) and \({\mathcal {O}}^{(2)}\) are two, reflecting their degree as differential forms in \({\mathcal {M}}_{\text {maps}}\). To achieve that, we expand the vertex operators in powers of \({\mathcal {O}}^{(i)}\) from the vertex to soak up the extra zero modes of \(\chi ^{i}\) and \(\chi ^{{\bar{i}}}\) in the measure. We then obtain correlation functions, for each \(\beta \), that localises on \({\mathcal {M}}_{\text {maps}}\). Only the terms which allow for the correct absorption of fermionic zero modes give a nonzero contribution to Eq. (97). In the end, we obtain the usual Gromov–Witten invariants associated with a 2d topological A-model. From the relation in dotted lines in Fig. 2, we are able to conclude, in the limit of small \(\Sigma _g\):
On both sides of Eq. (98), we have generating functions which contain terms that are graded by the instanton numbers. This is because the instanton term in the 4d action also descends down to a corresponding term in the 2d effective action. One can thus identify terms on both sides of (98) and we can then see that modular forms appearing in the u-plane integral can play an indirect (computation facilitating) role in Gromov–Witten invariants for holomorphic maps to the moduli space of flat connections on a Riemann surface.
With regard to wall-crossing, despite the condition of \(b_2^+=1\), where wall-crossing phenomena are expected in \(Z_{u}+Z_{\mathrm{SW}}\), we should not expect to see wall-crossing behaviour for \(Z_{\mathrm{GW}}\). This is due to the fact that in shrinking \(\Sigma _g\), we are restricting ourselves to the chamber of small \(\Sigma _g\) and we should not expect any walls within a chamber, by definition. Hence the relation (98) should only be understood to hold within this particular chamber.
We can make a further comparison of (98) in another way: looking at how the operators \({\mathcal {O}}^{(0)}\) and \({\mathcal {O}}^{(2)}\) in 2d were derived, we see that they come from dimensional reduction of the operators in the four-dimensional high-energy theory. As mentioned, we consider only surface operators on \(\Sigma _g \times {\mathbb {C}}{\mathbb {P}}^1\) as \(S=s[\Sigma _g]+t[{\mathbb {C}}{\mathbb {P}}^1]\). The Gromov–Witten generating functional Eq. (97) with only (4d) surface operators inserted will then be
where \(S=S_{0}+B(\omega ,\beta )\) and \(B(\omega ,\beta )\) as the instanton contribution to the action.
Expanding the generating function (99), we can then compare Gromov–Witten invariants with \( Z_{u}+Z_{\mathrm{SW}}\) for different powers of s and t. In the genus two caseFootnote 14 where we have \(\varphi : {\mathbb {C}}{\mathbb {P}}^1 \rightarrow {\mathcal {M}}_{\text {flat}}(\Sigma _2)\) and we have to include both the u-plane and Seiberg–Witten contributions, we can compare (99) with (87), (89) and (90). Performing the procedure mentioned above of taking the weak coupling limit and integrating out fluctuating modes in the action, we are left with \({\mathcal {O}}^{(0)}\) and \({\mathcal {O}}^{(2)}\) insertions in the path integral. The operators in the vertex will just be expanded and collected to match the different index numbers for the absorption of the correct number of fermionic zero modes. For example, for a map of index 0, where \(\mathcal {M_{\text {maps}}}={\mathcal {M}}_{\text {flat}}(\Sigma _{2})\), we can have an invariant with the usual point operators that are inserted at \(x_i\in \mathbb {CP}^1\). These are identified with the pullback of \(\omega _i\in H^{*}({\mathcal {M}}_{\text {flat}})\) by the evaluation map \(\text {ev}_i: {\mathcal {M}}_{\text {maps}} \rightarrow {\mathcal {M}}_{\text {flat}}\) at \(x_i\).
In the \(s^3\) term, we have
We can also look at the less commonly studied non-local surface operators. Collecting the \(s^{3}t^2\) terms, we require terms from (99) to have a total of index 10:
In (100) and (101), \(\beta _{6}\) and \(\beta _{10}\) are the homology classes for terms of index 6 and 10, respectively. We can identify \(\beta _I\) with d, the degree of the map. From [36, 37, 39], the given formula for the index \(I=\text {dim}({\mathcal {M}}_{\text {maps}})\) and degree \(d\ge 0\) of \(\varphi : {\mathbb {C}}{\mathbb {P}}^1 \rightarrow {\mathcal {M}}_{\text {maps}}(\Sigma _2)\) is \(I=6+4d\). This formula relates \(\text {dim}({\mathcal {M}}_{\text {maps}})\) to the instanton number (degree of the map). The example in (101) then corresponds to an invariant \((H^0_{{\mathbb {C}}{\mathbb {P}}^1})^{\otimes 3}\otimes (H^2_{{\mathbb {C}}{\mathbb {P}}^1})^{\otimes 2}\otimes \Omega ^{10}_{{\mathcal {M}}_{\text {maps}}}\) of a degree 1 map. The prescription for comparison is thus simple: since \({\mathcal {O}}^{(0)}\) and \({\mathcal {O}}^{(2)}\) are labelled by s and t, respectively, we just have to insert the relevant number of \({\mathcal {O}}^{(0)}\)’s and \({\mathcal {O}}^{(2)}\)’s based on the corresponding powers in the polynomial.
Hence, for an index 14 term, we can have
of \((H^0_{{\mathbb {C}}{\mathbb {P}}^1})^{\otimes 3}\otimes (H^2_{{\mathbb {C}}{\mathbb {P}}^1})^{ \otimes 4}\otimes \Omega ^{14}_{{\mathcal {M}}_{\text {maps}}} \) of a degree 2 map. And an index 18 term as
for \((H^0_{{\mathbb {C}}{\mathbb {P}}^1})^{\otimes 5}\otimes (H^2_{{\mathbb {C}}{\mathbb {P}}^1})^{\otimes 4}\otimes \Omega ^{18}_{{\mathcal {M}}_{\text {maps}}} \) of a degree 3 map. At first glance, the existence of a negative sign in (102) might be a surprise, since these numbers actually represent values of correlation functions between operators, i.e. scattering amplitudes. The A-model considered, however, is non-unitary [40], implying the existence of negative norm states.
As a consistency check, we can see that the lowest dimension of \(\mathcal {M_{\text {maps}}}\) is 6, which agrees with (87), (89) and (90) since the lowest combined power of s and t is cubic, which have an index of \(I=6\). This is because terms with \(I< 6\) (equivalently, maps of negative degree \(d<0\)) vanish. In fact, a quick examination of the combined powers of s and t of various terms in (87), (89) and (90) show that the index of all terms obey the formula. This thus provides further evidence of having a direct correspondence between values obtained via computations in the 4d low-energy regime from previous sections and that of the 2d A-model.
6 Conclusions
In this paper, we studied the low-energy U(1) path integral of DW theory evaluated on non-simply connected four-manifolds. Following the analysis of [10, 11], we derived the full solution for the correlation functions of the theory in terms of the modular completion of a mock modular form. The result can be readily extended to the case with surface defects [41] or theories with matter hypermultiplets [3, 5, 16, 17, 24, 26, 42, 43] and even class \({\mathcal {S}}\) theories [44, 45], although we leave this for future work.
We also presented a concrete reduction of the theory on \(\mathbb {CP}^1 \times \Sigma _g\) over \(\Sigma _g\), whence we obtained a topological A-model on \(\mathbb {CP}^1\), thereby demonstrating a novel connection between mock modular forms and genus zero Gromov–Witten invariants.
We can also consider four-manifolds of the form \(X=M_3\times M_1\) with suitable topological numbers that allow probing the Coulomb branch. We expect that the mock modular form reformulation of \(Z_u\) can be applied in this case too, whence relations between mock modular forms and topological invariants of 3-manifolds \(M_3\) can be precisely formulated, thereby allowing us to derive results in geometric topology from number theory. We will leave this for future work as well.
Data Availability
Data sharing not applicable to this article as no datasets were generated or analysed during the current study.
Notes
Across the literature, this operator is often denoted as \({\overline{{\mathcal {Q}}}}\) instead.
We find two small typos in [7]: \(F_+\) should be replaced with \(F_-\), and the third term in \(K^3u\) misses a factor of \(\frac{1}{2}\). The contribution from \(K F_-\) cancels.
\(\mathrm{Pic(X)}\) corresponds to the analytic Picard group of X. When X is a smooth projective variety, we do not differentiate between the analytic and the algebraic Picard groups since they are isomorphic by GAGA [33].
In particular, we can have \(\alpha =0\).
If we integrate over D instead of inserting the equations of motion we get an additional factor of \(2\pi \mathring{\imath }\sqrt{\frac{2}{y}}\) in front of the integral [11]. The result of the integration does not change otherwise since both methods agree for Gaußian integrals up to an overall factor of \(\sqrt{\frac{\pi }{a}}\mathring{\imath }\), if we integrate \(e^{aD^2}\) over D. It is the same factor as in the simply connected case because the quadratic D-term is the same. According to [3, p. 68] the D determinant should be ignored because it cancels in any case with the fermionic determinants.
One could alternatively consider products \(\Sigma _g\times \Sigma _h\) of Riemann surfaces; however, those have \(b_2^+=1\) if and only if either \(g=0\) or \(h=0\), such that for \(g,h\ge 1\) the u-plane integral vanishes.
Sometimes we will be sloppy and write simply \({\mathbb {C}}{\mathbb {P}}^1\) and \(\Sigma _g\) for these classes and hope that this does not confuse the reader.
The reason for picking \(J'\) in the negative cone is to assure that it does not contribute to Eq. (65). Had we picked J in the positive cone, we would end up with the wall-crossing contributions from the chambers where J and \(J'\) live, respectively.
There is a small discrepancy between this result and that of [7], namely they differ by an overall phase \(\mathring{\imath }^g\). This is most likely due to a known discrepancy in the literature for the normalisation of \(\psi \).
These expressions again differ from that of the older literature [15] by an overall phase \((-1)^\epsilon \left( -\mathring{\imath }\right) ^g\).
Gauge equivalent classes of flat G-connections on a manifold M correspond to equivalence classes of homomorphisms \(f: \pi _{1}(M) \rightarrow G\) for a gauge group G, up to conjugation. The number of homology cycles on M minus the number of restrictions and redundancy of conjugations determine the number of solutions for a linearisation of the flat connection equations, which then determine the dimension of \({\mathcal {M}}_{\text {flat}}\). For \(g=0\) we require at least 3 punctures on \(\Sigma _0\) for \({\mathcal {M}}_{\text {flat}}(\Sigma _0)\) to be well-defined. For \(g=1\), though \({\mathcal {M}}_{\text {flat}}(\Sigma _1)\) can be well-defined with 1 puncture, it is still possible to define a \({\mathcal {M}}_{\text {flat}}(\Sigma _1)\) without punctures, albeit with certain complications that we wish to avoid. Since there are no punctures being considered on \(\Sigma _g\), we shall only consider cases of \(g \ge 2\). The formula for dim\({\mathcal {M}}_{\text {flat}}(\Sigma _g)\) is dim\({\mathcal {M}}_{\text {flat}}(\Sigma _g)=\text {rank}(G)(2g-2)\) and rank\((G)=3\) for gauge group \(G=SU(2)\).
For brevity we list in \(\Psi ^J_\mu \) only the holomorphic arguments \(\tau \) and z, even though the function does also depend on \({\bar{\tau }}\) and \({{\bar{z}}}\).
This is certainly true if \(f_4\) and \(f_5\) can be varied. It is possible in principle that for specific functions \(f_4\) and \(f_5\) the \(\pi _1(X)=0\) integral does not change.
Another possibility would be to choose h to be holomorphic and cancelling the \(\omega \) inside the derivative. This is possible, however, the \(\omega \) dependence does not drop from the SN theta function.
Sketch of the proof: From (162) we have that
$$\begin{aligned} H_2(X\times Y)=H_0(X)\otimes H_2(Y)\oplus H_1(X)\otimes H_1(Y)\oplus H_2(X)\otimes H_0(Y). \end{aligned}$$(167)Since \(H_2(X\times Y)\) is symmetric in X and Y, the intersection form \(H^2(X\times Y,{\mathbb {R}})\times H^2(X\times Y,{\mathbb {R}})\rightarrow {\mathbb {R}}\) has equally many positive as negative eigenvalues, \(b_2^+(X\times Y)=b_2^-(X\times Y)\). Therefore, \(\sigma (M)=b_2^+(M)-b_2^-(M)=0\).
References
Witten, E.: Topological quantum field theory. Commun. Math. Phys. 117, 353 (1988). https://doi.org/10.1007/BF01223371
Seiberg, N., Witten, E.: Electric–magnetic duality, monopole condensation, and confinement in N=2 supersymmetric Yang–Mills theory. Nucl. Phys. B 426, 19–52 (1994). arXiv:hep-th/9407087 [hep-th]. https://doi.org/10.1016/0550-3213(94)90124-4, https://doi.org/10.1016/0550-3213(94)00449-8. [Erratum: Nucl. Phys. B 430, 485(1994)]
Moore, G.W., Witten, E.: Integration over the u plane in Donaldson theory. Adv. Theor. Math. Phys. 1, 298–387 (1997). arXiv:hep-th/9709193 [hep-th]
Witten, E.: Monopoles and four manifolds. Math. Res. Lett. 1, 769–796 (1994) arXiv:hep-th/9411102 [hep-th]. https://doi.org/10.4310/MRL.1994.v1.n6.a13
Losev, A., Nekrasov, N., Shatashvili, S.L.: Issues in topological gauge theory. Nucl. Phys. B 534, 549–611 (1998). https://doi.org/10.1016/S0550-3213(98)00628-2. arXiv:hep-th/9711108 [hep-th]
Lossev, A., Nekrasov, N., Shatashvili, S.L.: Testing Seiberg–Witten solution. NATO Sci. Ser. C 520, 359–372 (1999). arXiv:hep-th/9801061
Marino, M., Moore, G.W.: Donaldson invariants for nonsimply connected manifolds. Commun. Math. Phys. 203, 249 (1999). https://doi.org/10.1007/s002200050611. arXiv:hep-th/9804104 [hep-th]
Malmendier, A., Ono, K.: SO(3)-Donaldson invariants of \(\mathbb{P}^2\) and mock theta functions. Geom. Topol. 16, 1767–1833 (2012). https://doi.org/10.2140/gt.2012.16.1767. arXiv:0808.1442 [math.DG]
Malmendier, A., Ono, K.: Moonshine and Donaldson invariants of \(\mathbb{P}^2\) (2012). arXiv:1207.5139 [math.DG]
Korpas, G., Manschot, J.: Donaldson-Witten theory and indefinite theta functions. JHEP 11, 083 (2017). https://doi.org/10.1007/JHEP11(2017)083. arXiv:1707.06235 [hep-th]
Korpas, G., Manschot, J., Moore, G., Nidaiev, I.: Renormalization and BRST symmetry in Donaldson-Witten theory. Ann. Henri Poincare 20(10), 3229–3264 (2019). https://doi.org/10.1007/s00023-019-00835-x. arXiv:1901.03540 [hep-th]
Korpas, G., Manschot, J., Moore, G.W., Nidaiev, I.: Mocking the \(u\)-plane integral (2019. arXiv:1910.13410 [hep-th]
Bershadsky, M., Johansen, A., Sadov, V., Vafa, C.: Topological reduction of 4d sym to 2d \(\sigma \)-models. Nucl. Phys. B 448(1–2), 166–186 (1995)
Harvey, J.A., Moore, G.W., Strominger, A.: Reducing S-duality to T-duality. Phys. Rev. D 52, 7161–7167 (1995). https://doi.org/10.1103/PhysRevD.52.7161. arXiv:hep-th/9501022
Lozano, C., Marino, M.: Donaldson invariants of product ruled surfaces and two-dimensional gauge theories. Commun. Math. Phys. 220, 231–261 (2001). https://doi.org/10.1007/s002200100442. arXiv:hep-th/9907165 [hep-th]
Seiberg, N., Witten, E.: Monopoles, duality and chiral symmetry breaking in N=2 supersymmetric QCD. Nucl. Phys. B 431, 484–550 (1994). https://doi.org/10.1016/0550-3213(94)90214-3. arXiv:hep-th/9408099 [hep-th]
Aspman, J., Furrer, E., Manschot, J.: Cutting and gluing with running couplings in \(\cal{N}=2\) QCD (2021). arXiv:2107.04600 [hep-th]
Marino, M., Moore, G.W.: The Donaldson-Witten function for gauge groups of rank larger than one. Commun. Math. Phys. 199, 25–69 (1998). https://doi.org/10.1007/s002200050494. arXiv:hep-th/9802185 [hep-th]
Aspman, J., Furrer, E., Manschot, J.: Elliptic loci of SU(3) vacua. Ann. Henri Poincaré 22(8), 2775–2830 (2021). https://doi.org/10.1007/s00023-021-01040-5. arXiv:2010.06598 [hep-th]
Argyres, P.C., Douglas, M.R.: New phenomena in SU(3) supersymmetric gauge theory. Nucl. Phys. B 448, 93–126 (1995). https://doi.org/10.1016/0550-3213(95)00281-V. arXiv:hep-th/9505062 [hep-th]
Argyres, P.C., Plesser, M.R., Seiberg, N., Witten, E.: New N=2 superconformal field theories in four-dimensions. Nucl. Phys. B 461, 71–84 (1996). https://doi.org/10.1016/0550-3213(95)00671-0. arXiv:hep-th/9511154 [hep-th]
Moore, G.W., Nidaiev, I.: The partition function of Argyres-Douglas theory on a four-manifold (2017). arXiv:1711.09257 [hep-th]
Labastida, J., Lozano, C.: Mass perturbations in twisted n = 4 supersymmetric gauge theories. Nucl. Phys. B 518, 37–58 (1998). https://doi.org/10.1016/S0550-3213(98)00135-7
Manschot, J., Moore, G.W.: Topological correlators of \(SU(2)\), \(\cal{N}=2^*\) SYM on four-manifolds (2021). arXiv:2104.06492 [hep-th]
Huang, M.-X., Kashani-Poor, A.-K., Klemm, A.: The \(\Omega \) deformed B-model for rigid \(\cal{N} =2\) theories. Ann. Henri Poincare 14, 425–497 (2013). https://doi.org/10.1007/s00023-012-0192-x. arXiv:1109.5728 [hep-th]
Aspman, J., Furrer, E., Manschot, J.: To appear (2021)
Muñoz, V.: Wall-crossing formulae for algebraic surfaces with \(q>0\). arXiv e-prints (1997). arXiv:alg-geom/9709002 [math.AG]
Labastida, J., Marino, M.: Topological Quantum Field Theory and Four Manifolds. Springer, Berlin (2005)
Nakajima, H., Yoshioka, K.: Lectures on instanton counting (2003)
Manschot, J., Moore, G.W., Zhang, X.: Effective gravitational couplings of four-dimensional \( \cal{N}= 2\) supersymmetric gauge theories. J. High Energy Phys. (2020). https://doi.org/10.1007/jhep06(2020)150
Witten, E.: On S duality in Abelian gauge theory. Sel. Math. 1, 383 (1995). https://doi.org/10.1007/BF01671570. arXiv:hep-th/9505186 [hep-th]
Marino, M., Moore, G.: Integrating over the Coulomb branch in \(\cal{N} = 2\) gauge theory. Nucl. Phys. B Proc. Suppl. 68(1), 336–347 (1998). https://doi.org/10.1016/S0920-5632(98)00168-6. (Strings ’97)
Serre, J.-P.: Géométrie algébrique et géométrie analytique. Annales de l’Institut Fourier 6, 1–42 (1956). https://doi.org/10.5802/aif.59
Zwegers, S.: Mock theta functions. arXiv e-prints, 0807–4834 (2008). arXiv:0807.4834 [math.NT]
Matone, M.: Instantons and recursion relations in N=2 SUSY gauge theory. Phys. Lett. B 357, 342–348 (1995). https://doi.org/10.1016/0370-2693(95)00920-G. arXiv:hep-th/9506102 [hep-th]
Muñoz, V.: Quantum cohomology of the moduli space of stable bundles over a Riemann surface. Duke Math. J. 98(3), 525–540 (1999)
Muñoz, V.: On the Gromov–Witten invariants of the moduli of bundles on a surface (2002)
Donaldson, S.: Floer homology and algebraic geometry. In: Hitchin, N., Newstead, P., Oxbury, W. (eds.) Vector Bundles in Algebraic Geometry, London Mathematical Society Lecture Note Series, pp. 119–138. Cambridge University Press, Cambridge (1995). https://doi.org/10.1017/CBO9780511569319.006
Hori, K., Katz, S., Klemm, A., Pandharipande, R., Thomas, R., Vafa, C., Vakil, R., Zaslow, E.: Mirror Symmetry. Clay Mathematics Monographs, vol. 1. AMS, Providence (2003)
Witten, E.: Topological sigma models. Commun. Math. Phys. 118(3), 411–449 (1988)
Korpas, G.: Donaldson-Witten theory, surface operators and mock modular forms (2018). arXiv:1810.07057 [hep-th]
Kanno, H., Yang, S.-K.: Donaldson-Witten functions of massless N=2 supersymmetric QCD. Nucl. Phys. B 535, 512–530 (1998). https://doi.org/10.1016/S0550-3213(98)00560-4. arXiv:hep-th/9806015
Labastida, J.M.F., Lozano, C.: Duality in twisted N=4 supersymmetric gauge theories in four-dimensions. Nucl. Phys. B 537, 203–242 (1999). https://doi.org/10.1016/S0550-3213(98)00653-1. arXiv:hep-th/9806032 [hep-th]
Gaiotto, D.: N=2 dualities. JHEP 08, 034 (2012). https://doi.org/10.1007/JHEP08(2012)034. arXiv:0904.2715 [hep-th]
Gaiotto, D., Moore, G.W., Neitzke, A.: Wall-crossing, Hitchin systems, and the WKB approximation (2009). arXiv:0907.3987 [hep-th]
Matone, M.: Koebe 1/4 theorem and inequalities in N=2 supersymmetric QCD. Phys. Rev. D 53, 7354–7358 (1996). https://doi.org/10.1103/PhysRevD.53.7354. arXiv:hep-th/9506181
Zagier, D.: Ramanujan’s mock theta functions and their applications (after Zwegers and Ono-Bringmann). Astérisque (326), 986–1431642010 (2009). Séminaire Bourbaki, vol. 2007/2008
Vignéras, M.-F.: Séries thêta des formes quadratiques indéfinies. Springer Lecture Notes 627, 227–239 (1977)
Harvey, J.A., Strominger, A.: String theory and the Donaldson polynomial. Commun. Math. Phys. 151, 221–232 (1993). https://doi.org/10.1007/BF02096766. arXiv:hep-th/9108020
Ashwinkumar, M., Png, K.-S., Tan, M.-C.: Boundary N=2 theory, Floer homologies, affine algebras, and the Verlinde formula. Adv. Theor. Math. Phys. 25, 1–58 (2021). arXiv:1909.04058 [hep-th]
Acknowledgements
We are happy to thank Robin Karlsson, Jan Manschot and Gregory Moore for correspondence and discussions, and the two referees for their helpful comments and remarks. JA is funded by the Irish Research Council under Award Number GOIPG/2020/910. GK acknowledges support of the OP RDE funded Project CZ.02.1.01/0.0/0.0/16_019/0000765 “Research Center for Informatics”. EF is supported by the TCD Provost’s PhD Project Award. MC-Tan is supported by the MOE Tier 2 Grant R-144-000-396-112.
Funding
Open Access funding provided by the IReL Consortium
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
On behalf of all authors, the corresponding author states that there is no conflict of interest.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Appendices
Automorphic forms
In this appendix, we collect some important aspects of modular and automorphic forms.
1.1 Modular forms
The Jacobi theta functions \(\vartheta _j:{\mathbb {H}}\rightarrow {\mathbb {C}}\), \(j=2,3,4\), are defined as
with \(q=e^{2\pi i\tau }\). They transform under \(\mathrm {SL}(2,{\mathbb {Z}})\) in the following way:
Under the generators \(T^4\), \(ST^{-1}S\) of \(\Gamma ^0(4)\), they transform as
The Eisenstein series \(E_k:{\mathbb {H}}\rightarrow {\mathbb {C}}\) for even \(k\ge 2\) are defined as the q-series
with \(\sigma _k(n)=\sum _{d\vert n} d^k\) the divisor sum. For \(k\ge 4\), \(E_{k}\) is a modular form of \({\text {SL}}(2,{\mathbb {Z}})\) of weight k. On the other hand \(E_2\) is a quasi-modular form, which means that the \({\text {SL}}(2,{\mathbb {Z}})\) transformation of \(E_2\) includes a shift in addition to the weight,
1.2 Ingredients of the u-plane integrand
In this section, we give explicit modular expressions for the ingredients of the u-plane integrand. The integrand transforms under the duality group \(\Gamma ^0(4)\), which is generated by \(T^4\) and \(S^{-1}T^{-1}S\). Let us introduce the shorthand \(f=(\phi _1,\phi _2)^{(k,l)}\) if a function f is a non-holomorphic modular form of weight (k, l) for \(\Gamma ^0(4)\) with multipliers, i.e. transforms as
It is clear that
since \(\vert \phi _i\vert =1\). The functions
transform as
The derivative \(\frac{{\mathrm {d}}^2u}{{\mathrm {d}}a^2}\) is invariant under \(T^4\) but quasi-modular,
We will also need what we call the dual expressions for the above quantities. These are the expressions for the dual variable \(\tau _D=-1/\tau \), disregarding the modular weights. They are
as well as
1.3 Siegel–Narain theta function
Siegel–Narain theta functions form a large class of theta functions of which the Jacobi theta functions are a special case (see [10]) . We restrict here to a specific Siegel–Narain theta function for which the associated lattice L is a uni-modular lattice of signature \((1,n-1)\) (or a Lorentzian lattice). We denote the bilinear form by B(x, y) and the quadratic form \(B(x,x)\equiv Q(x)\equiv x^2 \). Let K be a characteristic vector of L, such that \( Q(k) + B(k, K) \in 2{\mathbb {Z}}\) for each \(k\in L\).
Given an element \(J\in L\otimes {\mathbb {R}}\) with \(Q(J)>0\), we may decompose the space \(L\otimes {\mathbb {R}}\) in a positive definite subspace \(L_+\) spanned by J, and a negative definite subspace \(L_-\), orthogonal to \(L_+\). Let \({\underline{J}}=J/\sqrt{Q(J)}\) be the normalisation of J. The projections of a vector \(k\in L\) to \(L_+\) and \(L_-\) are then given by
Given this notation, we can introduce the Siegel–Narain theta function of our interest \(\Psi ^J_\mu :{\mathbb {H}}\times {\mathbb {C}}\rightarrow {\mathbb {C}}\). Let J be as discussed above (117) and \(\mu \in L\otimes {\mathbb {R}}\). Then \(\Psi ^J_\mu \) is defined byFootnote 15
where \(b=\mathrm {Im}(z)/y\in L \otimes {\mathbb {R}}\).
One finds for the modular transformations of \(\Psi ^J_\mu \) under the generators of SL\((2,{\mathbb {Z}})\) the following identities
For \(\mu \in L/2\) one can show that \(\Psi ^J_\mu \) is a modular form of the congruence subgroup \(\Gamma ^0(4)\). The action of the generators of \(\Gamma ^0(4)\) on \(\Psi ^J_\mu \) with \(\mu \in L/2\) is given by
Notice that for \(\ell =4\) we can use that \(2\mu ^2+B(\mu , K)\in {\mathbb {Z}}\).
1.4 Indefinite theta functions
In this appendix we present various aspects of indefinite theta functions and their modular completions. We assume that the associated lattice L is unimodular and of signature \((1,n-1)\).
To define the indefinite theta function, we choose two positive definite vectors J and \(J'\in L\otimes {\mathbb {R}}\) with \(B(J,J')>0\), such that they both lie in the same positive cone of L. Let \({\underline{J}}\) and \({\underline{J}}'\) be their normalisations as before. The arguments of theta function are \(\tau \in {\mathbb {H}}\), \(z\in L \otimes {\mathbb {C}}\) and \(\mu \in L\otimes {\mathbb {R}}\). We let \(b=\mathrm {Im}(z)/y\in L \otimes {\mathbb {R}}\). In terms of this data, the indefinite theta function \(\Theta _\mu ^{JJ'}\) is defined as
It is possible to show that the sum over L is convergent [34]. However, \(\Theta ^{JJ'}_{\mu }\) does only transform as a modular form after the addition of certain non-holomorphic terms. References [34, 47] explain that the modular completion \({\widehat{\Theta }}^{JJ'}_\mu \) of \(\Theta ^{JJ'}_\mu \) is obtained by substituting (rescaled) error functions for the sgn-functions in (123). The completion \({\widehat{\Theta }}^{JJ'}_\mu \) then transforms as a modular form of weight n/2 and is explicitly given by
where E is a reparametrisation of the error function (67). Note that in the limit \(y\rightarrow \infty \), E in (124) approaches the original \(\mathrm {sgn}\)-function of (123),
If we analytically continue E to a function with complex argument, then this limit is only convergent for \(-\frac{\pi }{4}<\mathrm {Arg}(u)<\frac{\pi }{4}\).
The transformation properties under SL\((2,{\mathbb {Z}})\) follow from chapter 2 of Zwegers’ thesis [34] or Vignéras [48]. One finds for the action of the generators on \(\widehat{\Theta }^{JJ'}_{\mu +K/2}(\tau ,z)\)
For our application, the \({\bar{\tau }}\)-derivative of \({\widehat{\Theta }}^{JJ'}_\mu \) is of particular interest. This gives the “shadow” of \(\Theta ^{JJ'}_\mu \), whose modular properties are easier to determine than those of \(\Theta ^{JJ'}_\mu \). We obtain here
with \(\Psi ^J_\mu \) defined in (118). The modular properties of \(\Psi ^J_\mu \) are given in (119) and can be obtained using standard Poisson resummation.
The completion (124) may simplify if the lattice L contains vectors \(k_0\in L\) with norm \(k_0^2=0\). For such lattices J and/or \(J'\) can be chosen to equal such a vector, and careful analysis of the limit shows that the error function reduces to the original sgn-function [34]. We assume now that \(J'\in L\) such that \((J')^2=0\). To ensure convergence of the sum, one needs to require furthermore that \(B(k+b,J')\ne 0\) for any \(k\in L+K/2+\mu \), except if one also has \(B(k+b,J)=0\). Then the completion \({\widehat{\Theta }}^{JJ'}_\mu \) is given by
with shadow
Regularising the u-plane integral
The u-plane integrand can diverge at the cusps. We therefore need to be careful about regularising the integral. This procedure was worked out in detail in [11] for the simply connected case, but the analysis goes through without alteration when allowing for \(\pi _1(X)\ne 0\). For completeness, we summarise the important steps and refer the reader to [11] for more details.
We are interested in evaluating integrals on the form (52) or (161). To make the analysis simpler, we map these integrals over the fundamental domain \({\mathbb {H}}/\Gamma ^0(4)\) to integrals over the ordinary key-hole domain \({\mathcal {F}}\) of \(\text {SL}(2,{\mathbb {Z}})\) by mapping the six copies of \({\mathcal {F}}\) in \({\mathbb {H}}/\Gamma ^0(4)\) back to \({\mathcal {F}}\) (see Fig. 1). This means that the integrals now take the form
where \(f(\tau ,{\bar{\tau }})\) is a non-holomorphic modular form for \(\text {SL}(2,{\mathbb {Z}})\) of weight \((2-s,2-s)\), and it corresponds to the sum of the six transformations of the corresponding integrands by the elements of \(\text {SL}(2,{\mathbb {Z}})/\Gamma ^0(4)\). It has a Fourier expansion
with c(m, n) only nonzero for \(m-n\in {\mathbb {Z}}\). These coefficients are bounded
for some constant \(K>0\) and the sum over m and n is therefore absolute convergent for \(y<\infty \). The integral does, however, diverge when \(m+n\le 0\). Which is the domain of our integrals when considering addition of the \({\mathcal {Q}}\)-exact operators. To deal with this we start by compactifying \({\mathcal {F}}\) to a domain \({\mathcal {F}}_Y\) by introducing a cut-off \(Y\ge y\) for \(\tau \rightarrow \mathring{\imath }\infty \) and some \(Y\gg 1\) and defining the integral
We can now regularise our integrals by using the generalised exponential integral \(E_l(z)\), defined by
where for non-integral l, the branch of \(t^{-l}\) is fixed by restricting the argument of any complex number \(\rho \in {\mathbb {C}}^*\) to lie in the domain \((-\pi ,\pi ]\). The regularised integral is
Now, to evaluate the integrals we can make use of Stokes theorem. Since in our case we have \(\partial _{{\bar{\tau }}}{\hat{h}}=y^{-s}f\) for some \({\hat{h}}\) a modular form of weight 2 and f as in the above. This can be integrated using \(E_l(z)\) to give
for \(s\ne 1\) and when \(s=1\) we need to change the terms with \(n=0\) in the sum to
Here, h is a (weakly) holomorphic function with Fourier expansion
and \(h(\tau )\) is uniquely determined by the coefficients d(m) with \(m<0\). We can now use Stokes theorem and the integral over \({\mathcal {F}}_Y\) becomes
and regularising this as in (134) we find that the only contribution of the regularised integral is the constant term of \(h(\tau )\),
In Appendix C.3 we demonstrate that the correlation function of the \({\mathcal {Q}}\)-exact operator I(S, Y) that we add can be written as
where
We then have that
which in the above prescription allow us to identify \(F_I\) with some \(\hat{h}_1+{\hat{h}}_2\), where both \({\hat{h}}_1\) and \({\hat{h}}_2\) are of the form (135) but with s replaced by \(s+1\) in the later case. But, since \(F_I\) is a modular form of weight 2 the sum \(h_1+h_2\) should vanish, as there is no such holomorphic modular form, and in particular the sum of the constant terms \(d_1(0)+d_2(0)=0\), which in term shows us that \(\langle I(S,Y)\rangle = 0\). We can thus safely add this operator to the action.
Construction of I(S, Y)
In this appendix, we explain the construction of the \({\mathcal {Q}}\)-exact operator I(S, Y) in (37), which aids the evaluation of the u-plane integral using mock modular forms. A constructive approach is to classify all \({\mathcal {Q}}\)-exact operators in DW theory, add all of them to the path integral, evaluate the path integral and solve for all coefficient functions that lead to the desired properties. For two reasons, this is fortunately not necessary. First, it is convenient that most such operators do not even alter the u-plane integrand after integrating out the fermions and the auxiliary field. Second, the path integral can be performed without insertions of any additional operators, or with the insertion of just \(I_S\) as was done in the case that \(b_1(X)=0\) [10]. Such calculations lead to integrands that do not contain the Siegel–Narain theta function \(\Psi _\mu ^J(\tau ,z)\) for any z; however, only a few terms are missing with an educated guess of z. Only very specific \({\mathcal {Q}}\)-exact operators can provide the necessary terms for the new integrands to complete into \(\Psi _\mu ^J(\tau ,z)\).
In Sect. C.1, we classify all possible \({\mathcal {Q}}\)-exact operators that contribute to the u-plane integrand. In Sect. C.2 we demonstrate how the correct \({\mathcal {Q}}\)-exact operators can be selected, for the simplified example where the intersection \(Y\cap Y\) is empty (such that there is no intersection term for \(Y\cap Y\)). In Sect. C.3 we finally show that the \({\mathcal {Q}}\)-exact operators we add do not alter the u-plane integral.
1.1 \({\mathcal {Q}}\)-exact observables
Let us complete the result of [11] by computing the all \({\mathcal {Q}}\)-exact observables on a four-manifold X with \(\pi _1(X)\ne 0\). Let us first collect
These are all \(1\dots 4\)-forms that can be constructed out of the field content in Table 1. Since any operator must be gauge invariant, we do not use the 1-form A to construct operators but only \(F= {\mathrm {d}}A\). Furthermore, some operators are identically zero due to fermion saturation. The sets \({\mathcal {C}}_k\) are then generating sets for the spaces of k-form observables [11],
Here, \(f_{X,j}(a,{{\bar{a}}})\) are real-analytic functions without singularities away from strong and weak coupling. The most generic 0-form observable is \({\mathcal {O}}_0=f_0(a,{{\bar{a}}})+ f_1(a,{{\bar{a}}})\eta \). Let us restrict now to the \({\mathcal {Q}}\)-exact k-observables \([{\mathcal {Q}},{\mathcal {O}}_k\}^{\int }\) that survive integration. These do in particular either contain \(\eta \chi \) or neither, since otherwise they would not survive the fermionic integration, and they do not contain any derivative term \(\mathrm {d} X\), as we consider \(b_{2}^{+}(X)=1\) and thus their zero modes vanish. By the notation \([{\mathcal {Q}},{\mathcal {O}}\}\) we furthermore mean either \(\{{\mathcal {Q}},{\mathcal {O}}\}\) or \([{\mathcal {Q}},{\mathcal {O}}]\), depending on whether \({\mathcal {O}}\) is Grassmann odd or even.
Recall the action (2) of the supersymmetry generator \({\mathcal {Q}}\). It follows that \([{\mathcal {Q}},F_\pm ]=({\mathrm {d}}\psi )_\pm \). The identities
are helpful when computing (anti-)commutators. The action of \({\mathcal {Q}}\) on functions \(f(a,{{\bar{a}}})\) is given by
The general \({\mathcal {Q}}\)-exact observable \([{\mathcal {Q}},{\mathcal {O}}_k\}\) from (143) is very tedious to compute, luckily in \([{\mathcal {Q}},{\mathcal {O}}_k\}^{\int }\) generally not many terms survive. Furthermore, (143) has \(2\vert {\mathcal {C}}_k\vert \) terms; however, due to (2) and (144) we have \([{\mathcal {Q}},\eta {\mathcal {O}}\}=-\eta [{\mathcal {Q}},{\mathcal {O}}\}\) and for the terms with \(j=1\) it remains to multiply the \(j=0\) term by \(-\eta \). Then only one of \([{\mathcal {Q}},{\mathcal {O}}\}\) and \(-\eta [{\mathcal {Q}},{\mathcal {O}}\}\) is Grassmann even in the variables \(\eta \) and \(\chi \), such that only one of those can contribute to \([{\mathcal {Q}},{\mathcal {O}}\}^{\int }\). Lastly, if \({\mathcal {O}}=\prod _l {\tilde{{\mathcal {O}}}}_l\) is a composite operator, its \({\mathcal {Q}}\)-action \([{\mathcal {Q}}, {\mathcal {O}}\}\) is an alternating sum \(\sim \sum _{l} [{\mathcal {Q}},{\tilde{{\mathcal {O}}}}_l\}\prod _{k\ne l}{\tilde{{\mathcal {O}}}}_k\), and so if all such summands do not contribute (which can be easily checked) then the whole commutator does not either. With this, it is now slightly less work to extract those summands \({\mathcal {O}}_k^{\int }\) of (143) that contribute, \([{\mathcal {Q}},{\mathcal {O}}_k\}^{\int }=[{\mathcal {Q}},{\mathcal {O}}_k^{\int }\}\). They are
while \([{\mathcal {Q}},{\mathcal {O}}_0\}^{\int }=[{\mathcal {Q}},{\mathcal {O}}_1\}^{\int }=0\). Their \({\mathcal {Q}}\)-commutators give
These are all \({\mathcal {Q}}\)-exact operators in DW theory. The following \({\mathcal {Q}}\)-exact terms can then be added to the action
1.2 Solution for \(I_Y\)
By adding only \(I_S\) as suggested in [10, 11, 41], the u-plane integrand can be written as a total derivative; however, it does not complete to a Siegel–Narain theta function. Let us construct the operator \(I_Y\) such that this becomes true. For simplicity, we ignore the contact terms \(I_\cap \). This is possible since all contact terms other than the \(Y\cap Y\) are integrated over \(\psi \) and \(\tau \) only and therefore do not affect the path integral calculation. For simplicity and only in this section, we take the intersection \(Y \cap Y\) to be empty.
We therefore aim to find the functions \(f_1,\dots f_5\). In the case \(\pi _1(X)=0\), the total integrand must go back to (38). If \(f_4\) and \(f_5\) are nonzero, this is not the case since they alter the integral.Footnote 16 We therefore set \(f_4=f_5=0\). Thus, in the simply connected case, we have \(I_2= I_S\), which implies \(f_1=-\frac{1}{4\pi }\frac{{\mathrm {d}}{{\bar{u}}}}{{\mathrm {d}}{{\bar{a}}}}\). We shall therefore consider adding the correction
to the exponential in (38). The terms \(\psi \wedge Y\) and \(\psi \wedge \psi \) are precisely the terms that lead to the problems if only \(I_S\) is added. We can organise \(h:=f_3\psi \wedge \psi -f_2\psi \wedge Y\), such that
Inserting it into the path integral we find
After integrating out D, this produces new terms
to (41) (notice that \(\omega \wedge h=h\wedge h=0\)). The first term is only integrated over \(\psi \) and \(\tau \), so it will not play a role immediately. The second and third terms yield after the fermionic integration,
In view of (43) and the above discussion, we can aim this new contribution to give the missing factor
such that the Siegel–Narain theta function has an elliptic variable \(z=\rho +2\mathring{\imath }y \omega \) and \(\beta =b+\omega +{\bar{\omega }}\).Footnote 17 Motivated by the computation (44), we make the ansatz \(h=\mathring{\imath }c y {\bar{\omega }}\), with \(c\in {\mathbb {C}}\) some number. From this it follows that \(y\partial _{{\bar{\tau }}}{\bar{\omega }}=-\frac{\mathring{\imath }}{c}\partial _{{\bar{\tau }}}h -\frac{\mathring{\imath }}{2}{\bar{\omega }}\). Notice that h is purely anti-holomorphic, while \({\bar{\omega }}\) is not. We find that (153) equals (154) precisely for \(c=1\). From this, it is easy to find
In the simply connected case, the correction \(I_2=I_S\) is necessary in order for the surface observable \({\tilde{I}}_-(S)\) to combine into a Siegel–Narain function such that the u-plane integral is a total derivative. In the case \(\pi _1(X)\ne 0\), an analogous procedure is required for the 3-cycle Y, which combines to a 2-form as \(\psi \wedge Y\). In the \(\pi _1(X)\ne 0\) Lagrangian (12) there is a new term \(\psi \wedge \psi \) that is integrated over \(\eta \), \(\chi \) and D, such that the u-plane integral is a total derivative but does not contain a SN theta function. After the insertion of an anti-holomorphic \({\mathcal {Q}}\)-exact 4-form operator, the integrand indeed becomes a Siegel–Narain theta function.
1.3 Ward-Takahashi identity for \( I_Y\)
In [11] it was shown that the vacuum expectation value of any Q-exact operators vanish in the simply connected case. This then allows one to safely add such operators to the u-plane integral. In this appendix we only consider the operator insertion \(I_Y\), the analyses is similar for the other factors in I(S, Y). To this end, we will demonstrate that \(\langle I_Y\rangle \) can be written as an integral where the integrand can be written as a total derivative. We can then use the renormalisation procedure of [11], as discussed in Sect. B, to show that \(\langle I_Y\rangle =0\), such that the insertion of this operator does not change the u-plane integral.
To see that the one-point function can be written as a total derivative we start from
with \({\mathcal {L}}'\) as in (12) and \(\nu (\tau )\) as in (13).
The integration over D yields
where now
Next, we integrate over \(\eta \) and \(\chi \). This yields
where by \(k_+^2\) and \(\psi ^4\) we mean \(B(k_+,k_+)\) and \(B(\psi \wedge \psi ,\psi \wedge \psi )\) and we now have
and its now straightforward to recognise that we indeed can write the integrand as a total derivative
We can now use the renormalisation procedure of [11] to show that \(\langle I_Y\rangle \) in fact vanishes. The broad strokes are summarised in Sect. B, and further details can be found in [11, Sec. 5].
Classical topological invariants
Let X and Y be topological spaces, and consider the homology over a field \({\mathbb {K}}\). The Künneth theorem states that there exists an isomorphism
Written in terms of Poincaré polynomials \( p_X(z):=\sum _{k=0}^\infty b_k(X)z^k\), that is, generating functions of Betti numbers \(b_k(X) :=\text {rank} \, H_k(X)\), we have
The Betti numbers are then related as
Poincaré duality states that \( b_k(M)= b_{n-k}(M)\) for any oriented closed n-manifold M. The manifolds M under consideration satisfy \(b_2^+(M)=1\) and vanish unless \(b_1(M)\) is even. The topological invariants are then related as \(\sigma +b_2=2\) and \(\chi +\sigma =4-2b_1\).
Example. Note that \( p_X(-1) =\chi (X)\) gives the Euler characteristic of X.
Example. The circle \({\mathbb {S}}^1\) has Betti numbers \(b_0({\mathbb {S}}^1)=b_1({\mathbb {S}}^1)=1\) and all other zero. We therefore have \( p_{\,{\mathbb {S}}^1}(z)=1+z\) (more generally, \(p_{\,{\mathbb {S}}^n}(z)=1+z^n\)). For the torus \({\mathbb {T}}^n :=({\mathbb {S}}^1)^{{\times n}}\), it follows from (163) that
that is, \( b_k({\mathbb {T}}^n)=\left( {\begin{array}{c}n\\ k\end{array}}\right) \).
1.1 Classification of product four-manifolds with \(b_2^+=1\)
Let us study all decompositions of M into Cartesian products of smooth, closed, oriented, connected 1, 2, 3-manifolds such that \(b_2^+(M)=1\). The dimension 4 has five partitions, namely 4, \(3+1\), \(2+2\), \(2+1+1\) and \(1+1+1+1\). First, note that if \(M=X\times Y\), then \(\sigma (M)=0\).Footnote 18 The same is true for all decompositions of 4. Since \(\sigma (M)+b_2(M)=2b_2^+(M)\), we have that \(b_2^+(M)=\frac{1}{2} b_2(M)\) whenever M is a product.
Let us begin with \(4=1+1+1+1\). If X is a 1-manifold, then \(b_0(X)=1\), and by Poincaré duality also \(b_1(X)=1\), such that \(X\cong {\mathbb {S}}^1\). One easily computes \(b_2^+({\mathbb {S}}^1\times {\mathbb {S}}^1\times {\mathbb {S}}^1\times {\mathbb {S}}^1)=3\), and thus the u-plane integral vanishes.
For \(4=2+1+1\) the most general manifold is \(M=\Sigma _g\times {\mathbb {S}}^1\times {\mathbb {S}}^1\) with \(\Sigma _g\) a genus g Riemann surface. One finds that \(b_2^+(M)=1+2g\), such that only at genus \(g=0\) the u-plane integral is nonzero. This gives the manifold
with \(\chi =\sigma =0\) and \(b_1=2\).
For \(4=2+2\) the most generic 4-manifold is \(M=\Sigma _h\times \Sigma _g\), a product of genus g and h Riemann surfaces. It has \(b_2^+=1+2gh\), and w.l.o.g. we can take \(h=0\), such that \(\Sigma _h\) is a 2-sphere. Then the product ruled surface
has \(\sigma =0\), \(\chi =4(1-g)\) and \(b_1=2g\).
When \(4=3+1\) we have \(M= Y\times {\mathbb {S}}^1\), where \(b_1(Y)=b_2(Y)\) by Poincaré duality. It has \(b_2^+(M)=b_1(Y)\), such that for \(b_2^+(M)=1\) we have \(p_Y(z)=1+z+z^2+z^3=p_{\,{\mathbb {S}}^2}(z)p_{\,{\mathbb {S}}^1}(z)\) and therefore \(M\cong {\mathbb {S}}^2\times {\mathbb {S}}^1\times {\mathbb {S}}^1\), just as in (167).
Now (168) in fact includes (167) because \(\Sigma _1\cong {\mathbb {T}}^2={\mathbb {S}}^1\times {\mathbb {S}}^1\). This proves that the Betti numbers of any smooth, closed, oriented and connected product 4-manifold with \(b_2^+=1\) are given by those of (168). The simplest examples are at genus 0 and 1, which are \(\mathbb {CP}^1\times \mathbb {CP}^1\) and \(\mathbb {CP}^1\times {\mathbb {S}}^1\times {\mathbb {S}}^1\).
1.2 Gromov–Witten invariants as A-model correlation functions
For a smooth projective variety X, GW invariants essentially count, in a refined way, algebraic curves with certain incidence conditions. Physically, GW invariants are given in terms of specific correlation functions in the topological A-model and count specific holomorphic curves. This construction is well known [39] but we will provide a small review in this section.
The action of the A-model is written explicitly in (91) for our case of interest in the main body of the paper. For the purposes of this subsection, we can recast it as
with \(V = g_{i{{\bar{j}}}}( \rho _z^{{{\bar{i}}}}\partial _{{{\bar{z}}}}\varphi ^j + \partial _z \varphi ^{{{\bar{i}}}} \rho _{{{\bar{z}}}}^j )\) and \(\varphi : \Sigma \rightarrow X\) where \(\Sigma \) is the worldsheet and X is the target space. The second summand corresponds to the pullback of the Kähler form of X and it only depends on the cohomology class of \(\omega \) as well as the homotopy type of \(\varphi \) making it invariant under continuous deformations of \(g=g(\Sigma )\). As discussed in the main body of the paper, the correlation functions are given in the form:
The fixed loci of the supersymmetry transformations (see [39]) are given as
and \(\varphi \) that satisfy these equations are called worldsheet instantons. For an image of \(\varphi (\Sigma )\) in X, there is a class \(\beta \in H_2(X,{\mathbb {Z}})\) whose basis is given by \(\{c_1,\ldots ,c_m \}\), \(m=\mathrm{dim}(H_2(X,{\mathbb {Z}}))=b_2(X)\). Restricting to the bosonic part \(S_{\mathrm{bos}}\) of (169) for worldsheet instantons, it is possible to show that \(S_{\mathrm{bos}} = B(\omega ,\beta )\) which corresponds to the volume of the image of the worldsheet, where \(\omega \) is the Kähler form. Then
for weights \(n_i\) such that
Correlation functions vanish unless
where \(p_i\) and \(q_i\) are the holomorphic (chiral) and anti-holomorphic (anti-chiral) degrees of the operator \({\mathcal {O}}_i\). For example, a three-point function gives
where \(\exp (B(\omega ,\beta ))\) is the instanton contribution to the correlation function.
The correlation function essentially contains the information on the counts the number of holomorphic maps of genus g at n intersection points to the class \(\beta \) such that the operator insertions \({\mathcal {O}}_i\) are mapped into divisors \(D_i\) of X.
Reduction of DW theory to 2d
Using A, B and a, b to denote indices on the large and small Riemann surfaces, respectively, for a four-manifold \(M_4\) of the form \(\Sigma \times C\), where each factor is a real 2d surface, the metric can be written in a block diagonal form
Eventually, we want to let \(\epsilon \rightarrow 0\) in order to shrink C. The high energy DW action (after twisting) can be written as
Using (180), we have \(\sqrt{G_{C}}\rightarrow \epsilon \sqrt{G_{C}}\), \(g^{ab}\rightarrow \epsilon ^{-1} g^{ab}\). Thus, for the inner product of two 2-form terms \(O_{(2)}\), we have
Taking \(\epsilon \rightarrow 0\), we see that only the terms \(O_{{(2)Ab}}\) with mixed indices survive. Repeating the same process for the inner product of 1-forms gives us \(O_{{(1)a}}\), where only 1-forms with a small index survives. Note also that the scalar interaction terms \([\phi , \phi ^{\dagger }]^2\) and \(\eta [\phi , \eta ]\) in (181) do not survive when the metric is deformed.
Upon reduction on C for \(M_4=\Sigma \times C\), the fields \(\phi \), \(\phi ^{\dagger }\), \(\eta \) and \(A_{\Sigma }\) have no derivatives on \(\Sigma \), and become auxiliary fields which can be integrated out. What is left of the fermionic fields are \(\psi _{C}\) and \(\chi _{\Sigma C}\) which can be interpreted as a 0-form, 1-form on \(\Sigma \), respectively. The bosonic field left will be the gauge field \(A_{C}\). From (182), we see that deformation of the metric forces us to have \(O_{{(2)ab}}=0\). For the field strength \(F_{\mu \nu }\), we thus have
Since \(A_{C}\) is the only leftover bosonic field on \(\Sigma \), we must have configurations of \(A_C\) that gives us SU(2) flat connections on C. We can thus take \(A_C\) to be a map \(A_{C} : \Sigma \rightarrow {\mathcal {M}}_C\), where \({\mathcal {M}}_C\) is the moduli space of flat connections on C. We can express variations of \(A_C\) about configurations that give flat connections on C in terms of basis cotangent vectors \(\alpha _{IC}\) on \({\mathcal {M}}_C\) by
where \(E_I\) are connections on \({\mathcal {M}}_C\), and the indices \(i, {\bar{i}}\) etc, are for collective complex coordinates on \({\mathcal {M}}_C\), \(z, {\bar{z}}\) are complex coordinates on \(\Sigma \), and \(w, {\bar{w}}\) are complex coordinates on C. The connection \(E_i\) helps define a covariant derivative on \({\mathcal {M}}_C\),
The remaining fermionic fields \(\psi _{C}\) and \(\chi _{\Sigma C}\), being cotangent vectors on \({\mathcal {M}}_C\), can be expressed as linear combinations of \(\alpha _{i{\bar{w}}}\), \(\alpha _{{\bar{i}}w}\) :
Next, we integrate out the fields in 4d that do not depend on derivatives on \(\Sigma \), namely \(\phi \), \(\phi ^{\dagger }\), \(\eta \) and \(A_{z}\). The equation of motion for \(A_{z}\) gives [13, 49]
(and corresponding terms for \(A_{{\bar{z}}}\)) where \(\Phi _{i{\bar{j}}}\) is the curvature on \({\mathcal {M}}_C\), defined by
For \(\phi \) and \(\phi ^{\dagger }\), we obtain
Lastly, we obtain, for \(\eta \), the constraints \(D_w \psi _{{\bar{w}}} = D_{{\bar{w}}} \psi _{w} = D_{w} \chi _{{\bar{z}}{\bar{w}}} = D_{{\bar{w}}} \chi _{zw} = 0\).
Since the moduli spaces of flat connections on Riemann surfaces are Kähler manifolds, we introduce a metric (symmetric in its indices) and symplectic form on \({\mathcal {M}}_C\) as
respectively. Given these two objects, we can also obtain the connection coefficients and the Riemann tensor on \({\mathcal {M}}_C\)
These (and the conjugates with barred indices) are the only components of the connection and the Riemann tensor due to the fact that \({\mathcal {M}}_C\) is a Kähler manifold.
We now use (187) and the constraints from integrating \(\eta \) out to obtain the field strength as
where the relation \(D_{{\bar{w}}}\Phi _{i{\bar{j}}}=\nabla _{{\bar{j}}}\alpha _{i{\bar{w}}}\) has been used. Next, with the identity \([\alpha _{{\bar{w}}i}, \alpha _{w{\bar{k}}}]=\mathring{\imath }D_{{\bar{w}}}D_{w}\Phi _{i{\bar{k}}}\) and (189), we obtain
Dealing with the kinetic terms in the 4d theory, we can substitute (193) into \(D_{w}\phi D_{{\bar{w}}}\phi ^{\dagger }\), and together with the square of the second term in (192) that comes from \(F\wedge \star F\), we will obtain the Riemann tensor of \({\mathcal {M}}_C\) as shown in (191). Similarly, the square of the first term in (192) with the Kähler metric will give the kinetic term for the bosonic field in the 2d A-model.
The only fermionic kinetic term left in 4d after reduction on C is \(\chi _{zw}D_{{\bar{z}}}\psi _{{\bar{w}}}\) and \(\chi _{{\bar{z}}{\bar{w}}}D_{z}\psi _{w}\). Since there is a covariant derivative on \(\Sigma \), we make use of the expression for \(A_{z}\) in (187), and together with the cross terms of (192) from \(F\wedge \star F\), we obtain the kinetic terms for the fermion fields \(\chi ^{i}\), \(\chi ^{{\bar{i}}}\), \(\rho _{z}^{{\bar{i}}}\) and \(\rho _{{\bar{z}}}^i\). In particular, we obtain the covariant derivative on \(\Sigma \) as \(\nabla _{{\bar{z}}}\chi ^{i}=\partial _{{\bar{z}}}\chi ^{i}+\chi ^{j} \Gamma _{jk}^{i}\partial _{{\bar{z}}}\varphi ^{i}\).
One can also add an instanton term \(\frac{\mathring{\imath }\theta }{8\pi ^2}\int _{M_4} \mathrm{Tr}\left( F\wedge F \right) \) to the DW action in (181), which then translates to the pullback of the Kähler form in the A-model [50].
At the end, we obtain the A-model, whose action is
Explicitly, the pullback of the Kähler form goes as (with I, J as real coordinates on \({\mathcal {M}}_{C}\))
This term is the same as the corresponding one in the purely bosonic nonlinear sigma model, even after adding supersymmetry. There are no fermions despite it being supersymmetric. This is due to the fact that it is a topological term which does not change under small continuous variations of the fields. Hence, there are neither bosonic nor fermionic degrees of freedom which allows it to remain supersymmetric.
We can compare the fields from both theories in Table 3. Fields that become auxiliary after reduction are left out from the 2d side of the table. On the 2d side, the bosonic field is the map \(X : \Sigma \rightarrow {\mathcal {M}}_C \) and from the ghost charge, can be identified with the leftover gauge field \(A_C\). Similarly, we can identify the corresponding fermionic fields as well.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Aspman, J., Furrer, E., Korpas, G. et al. The u-plane integral, mock modularity and enumerative geometry. Lett Math Phys 112, 30 (2022). https://doi.org/10.1007/s11005-022-01520-7
Received:
Revised:
Accepted:
Published:
DOI: https://doi.org/10.1007/s11005-022-01520-7