Abstract
This is the second and final part of ‘Topological twists of massive SQCD’. Part I is available at Lett. Math. Phys. 114 (2024) 3, 62. In this second part, we evaluate the contribution of the Coulomb branch to topological path integrals for \(\mathcal {N}=2\) supersymmetric QCD with \(N_f\le 3\) massive hypermultiplets on compact four-manifolds. Our analysis includes the decoupling of hypermultiplets, the massless limit and the merging of mutually non-local singularities at the Argyres–Douglas points. We give explicit mass expansions for the four-manifolds \(\mathbb {P}^2\) and K3. For \(\mathbb {P}^2\), we find that the correlation functions are polynomial as function of the masses, while infinite series and (potential) singularities occur for K3. The mass dependence corresponds mathematically to the integration of the equivariant Chern class of the matter bundle over the moduli space of Q-fixed equations. We demonstrate that the physical partition functions agree with mathematical results on Segre numbers of instanton moduli spaces.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
This is the second and final part of ‘Topological twists of massive SQCD’. Part I is available as preprint at arXiv:2206.08943 [1]. The numbering of sections is consecutive to that of Part I, while each part contains its own reference list. Since Part II has developed to a larger text than anticipated, the following interlude provides a complementary and extended introduction to Part II. A combined document with part I and part II can be found on here.
1 Interlude
In this part II, we study topological partition functions for four-dimensional \(\mathcal {N}=2\) supersymmetric QCD with \(N_f=0,\dots , 3\) massive hypermultiplets. The low-energy theory in flat space has a rather rich structure: The \(2+N_f\) singular vacua move on the Coulomb branch smoothly as a function of the masses, which we denote by \({\varvec{m}}=(m_1,\dots , m_{N_f})\). The vacua can collide in two distinct ways, depending on the Kodaira type of the corresponding singular fibre in the Seiberg–Witten geometry. If r \(I_1\) singularities for r mutually local dyons merge, they form a new singularity of Kodaira type \(I_r\). When singularities corresponding to mutually non-local dyons collide, they rather lead to Kodaira type II, III or IV singularities, which give rise to superconformal Argyres–Douglas (AD) theories [2, 3]. In general, if two or more masses of the hypermultiplets align, the flavour symmetry enhances and a Higgs branch opens up.
It is an interesting question how this singularity structure is reflected in the topological theory. For the mass deformation of \(\mathcal {N}=4\) Yang-Mills, the \(\mathcal {N}=2^*\) theory, this has been analysed in [4, 5], which connects Vafa–Witten and Donaldson–Witten invariants. The structure for SQCD bears much resemblance to that case, yet the multiple masses and AD singularities give rise to richer structure with more intricacies. Before discussing our findings and results, we give an overview of previous literature, including part I.
1.1 Literature overview
For a generic compact four-manifold X, the topological partition function of SQCD takes the form of a sum of a u-plane integral \(\Phi _{\varvec{\mu }}^J\) and a Seiberg–Witten (SW) contribution [6],
The partition function depends on three distinct collections of parameters: The masses \({\varvec{m}}\), the metric J and a set of fluxes \({\varvec{\mu }}\) for the theory (such as a ’t Hooft flux for the gauge bundle and background fluxes for the flavour group). Geometrically, the mass dependence of \(Z_{\varvec{\mu }}^J({\varvec{m}})\) contains information on intersection numbers of Chern classes on gauge theoretic moduli spaces [7].
The u-plane integral \(\Phi ^J_{\varvec{\mu }}({\varvec{m}})\) vanishes for manifolds with \(b_2^+>1\) [6]. Manifolds with \(b_2^+=0,1\) are therefore of special interest, since they have the right topology to probe the full Coulomb branch. We will restrict to X with \(b_2^+\ge 1\). For \(b_2^+=1\), the SW contribution can be found from the u-plane integral by wall-crossing as a function of the metric J. While the u-plane integral depends on X only through its intersection form on \(H^2(X,\mathbb Z)\), the SW invariants can distinguish between homeomorphic manifolds with distinct smooth structures.
In part I, we have defined the u-plane integral \(\Phi _{\varvec{\mu }}^J({\varvec{m}})\) of massive SQCD. For fixed fluxes \({\varvec{\mu }}\) on a given four-manifold X, it is essentially determined by the SW solution for the Coulomb branch or u-plane of the theory. The fibration of the SW curve over the u-plane has been identified as a rational elliptic surface (RES) \(\mathcal {S}({\varvec{m}})\), which is also known as the Seiberg–Witten surface [8,9,10,11,12,13,14,15,16].Footnote 1 This geometry encodes much of the data of the supersymmetric low-energy effective theory. The analytical structure of the u-plane integral is therefore to a great extent determined by that of the surface \(\mathcal {S}({\varvec{m}})\). As explained in part I, the u-plane integral can be mapped to a fundamental domain \(\mathcal {F}({\varvec{m}})\) associated with the elliptic surface \(\mathcal {S}({\varvec{m}})\), and collapses to a finite sum over cusps, elliptic points and interior singular points of the fundamental domain (see (6.22)). In terms of the SW surface, we calculate the sum of the u-plane integrand over the singular fibres of \(\mathcal {S}({\varvec{m}})\), which fall into Kodaira’s classification. The possible configurations of singularities for rational elliptic surfaces have been classified as well [17, 18].
A notable intricacy for the evaluation is the fact that the mass dependence of the surface \(\mathcal {S}({\varvec{m}})\) is not globally smooth, which gives rise to branch points and branch cuts for \(N_f\ge 1\) [19]. This requires a careful regularisation of the fundamental domain: It must be chosen to not cross any branch points in the renormalisation of the integral. Moreover, as the masses are varied, the singular fibres in \(\mathcal {S}({\varvec{m}})\) can split or merge. In the limit where an Argyres–Douglas (AD) point emerges, the fundamental domain is ‘pinched’ at the AD point and it splits into two [19]. See, e.g. Fig. 10.
As mentioned above, the SW contribution \(Z_{\text {SW},j,{\varvec{\mu }}}\) can be determined by a wall-crossing argument from their corresponding cusps of the u-plane integral. Due to their application to Donaldson invariants in the pure \(N_f=0\) theory, they have been studied predominantly for singularities of type \(I_1\), corresponding to one massless monopole or dyon. The generalisation to SQCD proceeds analogously, since in such configurations all singularities are of type \(I_1\) as well [6]. Partition functions for the massless theories are determined in [20, 21].
The partition functions of Argyres–Douglas theories on four-manifolds have been studied from various perspectives [22,23,24,25,26,27,28,29,30,31,32]. While the u-plane integrand is regular at any smooth point on the Coulomb branch, it can diverge at the elliptic AD points. In contrast to the strong coupling singularities of type \(I_r\), their contribution to correlators exhibits continuous metric dependence rather than discrete wall-crossing. Besides, the expansion of the integrand at elliptic points has a very different flavour than at cusps, and has been largely unexplored in the literature. The study of such elliptic points is also of interest due to other types of singularities, such as the Minahan–Nemeschansky SCFTs [33, 34].
Other intriguing connections between theories can be realised by compactification, which relates invariants associated with geometries of different dimensions. This connects, for instance, the Donaldson invariants, Floer homology, Gromov-Witten invariants and K-theoretic versions [35,36,37,38,39,40,41], and allows to conjecture QFTs themselves as invariants [42, 43].
1.2 Summary of results
In order to study the analytical structure of topological partition functions explicitly, we focus on two manifolds: the complex projective plane \(\mathbb {P}^2\) and K3 surfaces. For \(\mathbb {P}^2\), only the u-plane integral contributes, while for K3 there is only the SW contribution. The dependence on the masses can be studied in various special limits, such as large and small masses, and limits to AD theories. In part I, we argued that the twisted theory can be coupled to background fluxes for the flavour group. In this part II, by explicit computation we demonstrate that this indeed provides a refined family of theories with nonzero partition functions.
As announced in part I, we evaluate u-plane integrals using mock modular forms and Appell–Lerch sums. For \(\mathbb {P}^2\), various choices of mock modular forms have appeared in the literature, which all differ by an integration ‘constant’, in this case a holomorphic modular form. Since the anti-derivative of the integrand must transform under all possible monodromies on the u-plane of SQCD with arbitrary masses, this singles out a specific \(\text {SL}(2,\mathbb Z)\) mock modular form: It is the q-series \(H^{(2)}\) of Mathieu moonshine [44, 45], which relates the dimensions of irreducible representations of the sporadic group \(M_{24}\) to the elliptic genus of the K3 sigma model with \({\mathcal {N}=(4,4)}\) supersymmetry. Including either surface observables or nontrivial background fluxes, this function generalises to an \(\text {SL}(2,\mathbb Z)\) mock Jacobi form, giving an interesting refinement.
For four-manifolds with \(b_2=1\), the weak coupling cusp contributes to all correlation functions, while the strong coupling cusps never contribute. For all four-manifolds with \(b_2^+>0\) that admit a Riemannian metric of positive scalar curvature, the SW invariants are zero due to a well-known vanishing theorem [35, 43, 46, 47]. Hence by SW wall-crossing, the strong coupling contributions to the u-plane integral are expected to vanish as well. We confirm this by an analysis of the u-plane integrand at the singularities for such manifolds, including the del Pezzo surfaces \(dP_n\). Furthermore, we prove that in the absence of background fluxes for the flavour group, the branch points never contribute to u-plane integrals.
Our calculations for \(\mathbb P^2\) agree with previous results in the literature, which were available for massless SQCD [20]. A consistency check available only for massive SQCD is the infinite mass decoupling limit, which precisely matches with that of the proposed form of correlation functions in the UV theory. The limit of the u-plane integral takes the form as given in (8.23), and we use it to check our explicit results for \(\mathbb P^2\): If all hypermultiplets are decoupled, one recovers the Donaldson invariants of \(\mathbb P^2\). Our results agree precisely with [48, 49] for \(N_f=0\) and [20] for massless \(N_f=2\) and \(N_f=3\). The UV formula provides another consistency check in the form of a selection rule for observables. For instance, correlation functions of point observables on \(\mathbb P^2\) with canonical ’t Hooft flux are valued in the polynomial ring of the masses, where the virtual rank and degree of the Chern class of the matter bundle as well as the virtual dimension of the instanton moduli space can be read off from the exponents of the masses and dynamical scale. The coefficients are then (rational) intersection numbers on the moduli space of solutions to the \(\mathcal {Q}\)-fixed equations.
Coupling the hypermultiplets to background fluxes for the flavour group allows to formulate the theory for arbitrary ’t Hooft fluxes. We determine the couplings to the background fluxes for \(N_f=1,2\) by integration of the SW periods, and evaluate the correlation functions on \(\mathbb P^2\). For nontrivial background flux, the results depend on the expansion point, i.e. small or large masses. This is due to the pole structure of the (elliptic) mock Jacobi form \(H^{(2)}\), which we determine precisely.
As discussed in part I, the superconformal Argyres–Douglas theories present themselves in the fundamental domain of massive SQCD as elliptic points. We expand the u-plane integrand around any singularity of type II, III and IV. The anti-derivative of the photon path integral is a non-holomorphic modular form, which we evaluate at elliptic points using the Chowla–Selberg formula. This formula expresses the value of modular forms at elliptic points as products of the Euler gamma function at rational numbers. Interestingly, elliptic points are all zeros of the function \(H^{(2)}\). Together with the holomorphic expansion of the measure factor, whose order of vanishing at any elliptic point we determine, we show that for four-manifolds with odd intersection form and canonical ’t Hooft flux the u-plane integrand is regular and thus there is no contribution from AD points in those cases. Our results for the expansion at elliptic points can be readily generalised to other u-plane integrals containing elliptic points.
Further, we derive the general form of SW contributions for SU(2) SQCD and evaluate correlation functions of point observables for \(X=K3\). If the masses are large, \(N_f\) singularities move on the u-plane to infinity, while two converge to \(\pm \Lambda _0^2\), giving the SW singularities of the pure \(N_f=0\) theory. This allows to attribute the \(N_f\) singularities at large |u| to the monopole component of the moduli space of \(\mathcal {Q}\)-fixed equations, while the union of the monopole, dyon and weak coupling contribution corresponds to the instanton component. See Fig. 9. Note the distinction between the monopole contribution to the instanton component and the monopole component.
The contributions of the ‘instanton’ singularities to point observables on K3 are Laurent series in the inverse mass \(\frac{1}{m}\), which turn out to be generating functions of Segre numbers. Segre classes first appeared in the context of moduli of vector bundles in an article by Tyurin [50]. They were later generalised for higher-rank bundles over projective surfaces in [51]. Recently, the correspondence between higher-rank Segre numbers on moduli spaces of stable sheaves on surfaces and their Verlinde numbers [7, 37, 52] has been proven [53]. We establish the relation between the physical partition functions and these geometric invariants by an explicit mapping using the SW geometry. The coefficients of the ‘monopole’ contribution lack such a mathematical interpretation. However, combining it with the instanton contribution eliminates the (infinite) principal part of the series, resulting in a polynomial in the masses. See for instance Table 12.
For \(I_r\) singularities with \(r\ge 2\), the SW invariants are not readily well defined, since the moduli space can be non-compact and the integrals require regularisation [43, 47, 54]. The SW invariants for \(I_r\) singularities with \(r>1\) are invariants for the multi-monopole equations, and require higher-order corrections in the local variables [21]. The SW invariants are in this case nonvanishing for nonzero \(\text {Spin}^c\) structures. We calculate the simplest nontrivial case, which is an \(I_2\) singularity in \(N_f=2\) with equal masses on K3. An apparent feature is the potentially divergent behaviour of the SW partition function near the superconformal Argyres–Douglas points. We propose that these divergences are rendered finite by sum rules for the \(I_r\) SW invariants for different r (see (12.49)), generalising earlier results for sum rules for \(I_1\) SW invariants [26, 27, 29]. A calculation in \(N_f=3\) with the same type III AD point as in \(N_f=2\) reproduces the same sum rules for the \(I_1\) and \(I_2\) SW invariants. This suggests that the constraints on the topology from the regularity at any AD point are determined completely by the universality class of the superconformal theory. We note that the collision of \(I_1\) points to an \(I_r\) point also exhibits a mass singularity. This singularity is expected to be related to the appearance of a non-compact Higgs branch [43, 55], and therefore does not give rise to new sum rules.
Imposing the sum rules, in all cases we study the correlation functions are then polynomials in the masses. The type III AD point can also be approached away from the equal mass locus in \(N_f=2\), where three \(I_1\) singularities collide rather than an \(I_2\) and an \(I_1\). The two limits agree up to a divergent term \(\sim (m_1-m_2)^{-2}\), which is a consequence of a non-compact Higgs branch appearing as \(m_1\rightarrow m_2\) [7, 43, 55]. The \(I_2\) SW contribution thus naturally regularises the singular limit of colliding \(I_1\) singularities.
Organising the SW contributions of the pure \(N_f=0\) theory to a correlation function with exponentiated observables, the generating function in many cases satisfies an ordinary differential equation with respect to the point observable. Four-manifolds whose SW invariants enjoy this property are said to be of (generalised) simple type. An example are the K3 surfaces, where the corresponding generating functions for massless SQCD have been studied [21]. We generalise this analysis to the massive theories, and show that for generic masses the differential equation is determined by the physical discriminant associated with the massive theory (see (12.74)). When mutually local singularities collide (as is the case in massless \(N_f=2,3\)), zeros of the discriminant collide, and give rise to higher-order zeros of the characteristic polynomial of the ODE. Such general structure results on generating functions are also of interest regarding the asymptology of correlation functions for many fields [56]. Due to the rich phase structure of the SQCD Coulomb branch, it is not obvious if the generating function of correlation functions as a formal series is well defined, that is, if it defines an entire function on the homology ring \(H_*(X,\mathbb C)\).
1.3 Outline of part II
This part II is organised as follows. In Sect. 8, we discuss various aspects of the u-plane integral of massive SQCD, such as the contributions from singular points, the measure factor including gravitational couplings and the decoupling limit. In Sect. 9, we calculate auxiliary expansions of various Coulomb branch functions near special points, such as weak coupling, strong coupling cusps and branch points. In Sect. 10, we formulate u-plane integrals over fundamental domains in the presence of branch points, analyse the components of the integrand in detail and derive conditions on the cusps to contribute to correlation functions. In Sect. 11, we calculate u-plane integrals of massive SQCD on the complex projective plane \(\mathbb P^2\), with \(N_f\le 3\) arbitrary masses and with nontrivial background fluxes. In Sect. 12 we rederive the SW contributions for \(I_1\) singularities by a wall-crossing argument at the strong coupling cusps. We furthermore propose the form of SW contributions for \(I_2\) singularities, calculate point correlators on K3 and discuss the AD limit and the relation to Segre invariants. Finally, we propose generalised simple type conditions for generic as well as coincident masses. In Sect. 13, we discuss the contributions of AD points to the u-plane integral. We conclude with a brief discussion in Sect. 14. Various useful expansions, derivations, proofs and formulas can be found in the appendices D, E, F and G.
2 Further aspects of topological path integrals
This section discusses further aspects and preliminaries of topological path integrals. Section 8.1 discusses the different contributions to the topological path integral. Section 8.2 discusses the measure of the u-plane contribution. In Sect. 8.3, we study the behaviour of the path integral under decoupling of hypermultiplets in the infinite mass limit.
2.1 General structure
For a generic compact four-manifold, the topological partition function of SQCD takes the form (7.1). As discussed before, the u-plane integral \(\Phi ^J_{\varvec{\mu }}\) receives contributions from the weak coupling cusp, \(\tau \rightarrow i\infty \), and the \(N_f+2\) strong coupling singularities, such that we can express \(Z_{\varvec{\mu }}^J\) as
In Sects. 10 and 11, we will discuss and calculate the u-plane integral for generic and specific four-manifolds. In Sect. 12 we will derive the action \(Z_{\text {SW},j}\) for the theory near \(u_j^*\) from the u-plane integral using wall-crossing. The reason for this is that wall-crossing of the total partition function can only be due to the non-compact direction in field space, i.e. \(|u|\rightarrow \infty \) [6]. Thus, the wall-crossing of the strong coupling u-plane contributions \(\Phi ^J_{{\varvec{\mu }},j}({\varvec{m}})\) must cancel that of \(Z^J_{\text {SW},{\varvec{\mu }},j}({\varvec{m}})\).
If the masses are tuned to an AD point, the partition function naturally splits into a contribution from a small neighbourhood of the AD point, and its complement in the u-plane [29]. This works out rather nicely when lifted to domains in the \(\tau \)-plane. On the AD mass locus, the fundamental domain splits into a component including the original weak coupling regime, and a strong coupling component associated to the vicinity of the AD point in the u-plane [19]. The strong coupling singularities \(\{1,\dots ,2+N_f \}\) accordingly split in two sets S and \(S'\), with \(S\cup S'=\{1,\dots ,2+N_f \}\) and the singularities in \(S'\) merging in the AD point. Furthermore, the fundamental domains in \(\tau \)-space include the elliptic points e in S and its complement \(e'\) in \(S'\). Schematically, we arrive at the following
The limit on the right hand side occurs since each summand for fixed j can diverge. The sum over j may remain finite as a consequence of sum rules [26]. The terms on the second line correspond to the vicinity of the AD point in the u-plane,
where the tilde on \(\widetilde{\text {AD}}\) indicates that \(Z_{\widetilde{\text {AD}},{\varvec{\mu }}}^J\) is the contribution to the partition function of SQCD from the neighbourhood of the AD point, rather than the partition function of the intrinsic AD theory.
The \(2+N_f\) singularities of (8.1) are split up into the sum over j and \(j'\). We illustrate this in Fig. 10. In order for the limit \(Z_{\varvec{\mu }}^J({\varvec{m}}) \rightarrow Z_{\varvec{\mu }}^J({\varvec{m}}_{\text {AD}})\) to be smooth, it is natural to expect that \(\Phi _{{\varvec{\mu }},e}^J({\varvec{m}})=-\Phi _{{\varvec{\mu }},e'}^J({\varvec{m}})\). We will discuss the contributions from the AD points in detail in Sect. 13. It is an interesting question how to extract from \(Z_{\widetilde{\text {AD}},{\varvec{\mu }}}^J\) (8.3) the partition function \(Z_{\text {AD},{\varvec{\mu }}}^J\) of the superconformal AD theory based on the ‘zoomed in’ AD curve [2]. The latter partition function is determined, for instance, in [29]. Roughly, \(Z_{\text {AD},{\varvec{\mu }}}^J\) is the leading term of \(Z_{\widetilde{\text {AD}},{\varvec{\mu }}}^J\). We make some further comments in Sect. 12.3, and leave a more thorough analysis for future work [55].
We close this subsection with some further notation. We will often omit the mass \({\varvec{m}}\) from the argument of \(Z_{\varvec{\mu }}^J\). Moreover, we denote the insertion of observables by straight brackets,
and similarly for the terms on the rhs of (8.2). Two common observables are the exponentiated point and surface observables \(e^{2pu/\Lambda _{N_f}^2}\) and \(e^{I({\varvec{x}})}\). For these observables, we also use p and \({\varvec{x}}\) as arguments of \(Z_{\varvec{\mu }}^J\),
See Sec. 4.3 in part I for more details.
2.2 Measure factor
We recall that the metric-independent part of the path integral is the measure factor (5.2). It contains the topological couplings
of the theory to the Euler characteristic \(\chi \) and the signature \(\sigma \) of the four-manifold X. While the functions \(\alpha _{N_f}\) and \(\beta _{N_f}\) are independent on \(\tau \), they can be functions of other moduli such as the masses \({\varvec{m}}\) and the dynamical scale \(\Lambda _{N_f}\), or the UV coupling \(\tau _{\tiny {\text {UV}}}\) for \(N_f=4\) or \(\mathcal {N}=2^*\). The functions A and B essentially do not change in form by including matter because the kinetic terms of the hypermultiplets have no explicit \(\tau \)-dependence [6]. This suggests that \(\alpha _{N_f}\) and \(\beta _{N_f}\) do not have a strong dependence on \(N_f\).
Furthermore, \(\alpha _{N_f}\) and \(\beta _{N_f}\) cannot depend on any masses since otherwise the path integral would have additional global mass singularities, which are not physically motivated [26]. This argument includes the conformal fixed points [2, 3], as these singularities occur only for special values and not on the whole u-plane. Thus \(\alpha _{N_f}\) and \(\beta _{N_f}\) depend only on the scale \(\Lambda _{N_f}\). This furthermore agrees with the fact that the gravitational factors need to reproduce the anomaly associated to the fields that have been integrated out, which eliminates a possible dependence of \(\alpha \) and \(\beta \) on \({\varvec{m}}\) [26].
Since the couplings A and B are contained in the low-energy effective action as \(\chi \log A+\sigma \log B\), both A and B are necessarily dimensionless. With \(\left[ \frac{\textrm{d}u}{\textrm{d}a}\right] =1\) and \([\Delta _{N_f}]=2(N_f+2)\), this fixes the dimensionality
where \(\alpha _{N_f,0},\beta _{N_f,0}\in \mathbb C\) are dimensionless numbers. These gravitational couplings have been recently calculated for several families of theories [15, 57,58,59].
Using the decoupling limits, we find for the normalisation (5.2) and the constants \(\alpha \) and \(\beta \),
The phase in \(\beta _{N_f,0}\) originates from the decoupling of the discriminant, as we will discuss momentarily.
The effective gravitational couplings appear in the u-plane integrand as a product \(\mathcal {K}_{N_f}\alpha _{N_f}^\chi \beta _{N_f}^\sigma \). Due to the fact that \(\chi +\sigma =4\) for manifolds with \((b_1,b_2^+)=(0,1)\), there is a normalisation ambiguity [29]
giving the same result for any \(\kappa \in \mathbb C\). In particular, in the u-plane integral only the ratio
is fixed. This agrees with [57] for \(N_f=0,\dots 4\) and the general considerations in [26]. From our result (8.8), we find
For \(N_f=0\), the unambiguous ratio \( \frac{\beta _{0,0}}{\alpha _{0,0}}=2^{\frac{3}{4}}\) agrees with [56], and matches with explicit computations of Donaldson invariants.
Since the u-plane integral computes intersection numbers on the moduli space, it should be properly normalised to be dimensionless. With A and B dimensionless, the only dimensionful quantity in the measure factor is the Jacobian \(\frac{\textrm{d}a}{\textrm{d}\tau }\). Thus
produces a dimensionless u-plane integral, with \(\mathcal {K}_{N_f,0}\in \mathbb C\) the number in (8.8).
Combining all the scales fixed by dimensional analysis and using \(\chi +\sigma =4\), we have
This total normalisation factor \(\mathcal {N}_{N_f}\) will be important in the decoupling of the u-plane integral, as we will study in the subsequent subsection.
With the above analyses, we can now present the measure \(\nu (\tau ,\{{\varvec{k}}_j\})\) (5.2) in a more tangible fashion. Let us first consider \({\varvec{k}}_j=0\) for all j and set \(\nu (\tau ,\{\textbf{0}\})=\nu (\tau )\). Substituting Eq. (4.15) for A and B, and [19, Eq. (3.13)], we find
where the polynomials \(P^\text {M}_{N_f}\) appearing in generalisations of the Matone relation [60] are given in [19, Eq. (3.15)], and \(\mathcal {N}_{N_f}\) is given by (8.19). We can further substitute [19, Eq. (3.9)] for \(\Delta _{N_f}\), to express \(\nu (\tau )\) as
These substitutions significantly simplify explicit calculations.
2.3 Decoupling limit
This section will discuss the decoupling limit of the u-plane integral and compare with the decoupling (3.20) from the UV in Sect. 3.3. The u-plane integral (5.1) reads
where \({\varvec{z}}\) is given in (5.4). Here, we have combined the \(N_f\)-dependent normalisation factors in \(\mathcal {N}_{N_f}\) (8.13), which facilitates the decoupling analysis.
In the scaling limit (2.18), the curve (2.17) for given \(N_f\) flows to the curve with \(N_f-1\). The flow of some of the ingredients of the u-plane integrand has been determined in [19, 61, 62]. We summarise them in Table 1.
The formulation of the u-plane integral in the presence of background fluxes introduces the further couplings \(v_j\) and \(w_{jk}\), which we defined in (2.12) [1, 5]. While these are difficult to determine in general, we can study their behaviour under decoupling hypermultiplets using the semi-classical prepotential (2.7). If we send \(m_{N_f}\rightarrow \infty \) while keeping \(m_{N_f}\Lambda _{N_f}^{4-N_f}=\Lambda _{N_f-1}^{4-(N_f-1)}\) and a fixed, we find that
for all \(1\le j< N_f\) and \(1\le k\le N_f\). The off-diagonal components of \(w^{jk}\) only receive contributions from higher-order terms in the large a expansion of the prepotential, and we leave a determination of their decoupling limit for future work.
The point and surface observables p and \({\varvec{x}}\) are multiplying the dimensionless quantities \(\frac{u}{\Lambda _{N_f}^2}\) and \(G_{N_f}\). However, as is apparent from Table 1, they both rather need to be multiplied by \(\Lambda _{N_f}^2\) in order to enjoy a well-defined scaling limit. This can be achieved by multiplying p by \(\left( \tfrac{\Lambda _{N_f}}{\Lambda _{N_f-1}}\right) ^2\) and multiplying \({\varvec{x}}\) by \(\tfrac{\Lambda _{N_f}}{\Lambda _{N_f-1}}\).Footnote 2 Then, the resulting exponentials will simply flow to the ones for the theory with \(N_f-1\) flavours.
With the above kept in mind, it is now straightforward to decouple every term in the expression (8.16) separately. By multiplying it with the inverse normalisation \(\mathcal {N}_{N_f}^{-1}\), it becomes dimensionful; however, all components decouple as given in Table 1 and the result is \(\mathcal {N}_{N_f}^{-1}\Phi ^{N_f-1}\). The decoupling \(-m_{N_f}^{-2}\Delta _{N_f}\rightarrow \Delta _{N_f-1}\) tells us that we need to multiply \(\Phi ^{N_f}\) also by \((-m_{N_f}^{-2})^{\frac{\sigma }{8}}\), which combines with the discriminant \(\Delta _{N_f}^{\sigma /8}\) to have a well-defined limit. The minus sign is then absorbed in \(\beta _{N_f,0}\), see (8.8). Using the definition of the double scaling limit \(m_{N_f}\Lambda _{N_f}^{4-N_f}=\Lambda _{N_f-1}^{4-(N_f-1)}\), we find the useful relation which holds in the limit,
where the exponent on the rhs for general four-manifolds is \(3+\sigma =\frac{1}{4}(7\sigma +3\chi )\). This can be confirmed using the definition (8.13), with the numerical constants (8.8) inserted, giving the normalisation factor \(\mathcal {N}_{N_f}\) for all \(N_f\) and all \(\sigma \),
From (8.17), we also see that we have nontrivial decouplings of the couplings \(v_{N_f}\) and \(w_{N_f}^{jk}\). From the double scaling limit, we have another useful formula
which combined with the decoupling limits (8.17) tells us that, to leading order (\(C_{jk}=e^{-\pi iw_{jk}}\)),
The dependence on \(v^j\) is only through the elliptic variable of the theta function (4.11), and from (8.17) we see that we pick up an extra phase
in the decoupling of \(v_{N_f}^{N_f}\). In Sect. 11 and in particular in (5.30) we concluded that the u-plane integral is only well defined if the magnetic winding numbers \(n_j\) satisfy \(n_j\equiv -1\mod 4\). Using that \(n_{N_f}+1\equiv 0\mod 4\), one finds that the phase (8.22) equals 1, such that the decoupling does not introduce any additional phases in the theta function.
Combining everything, the decoupling limit of the full u-plane integral now reads
where we repeat the exponent
from (3.21). We see that the decoupling matches precisely with the UV calculation (3.20). In the case where all the \(c_1(\mathcal {L}_j)=0\), this reproduces the result [26, (2.10)].
2.3.1 Remarks about the phase of the partition function
Our convention (2.16) for the weak coupling limit is favourable since it is valid for all \(N_f\) [19]. On the other hand, it differs from previous literature. Notably for \(N_f=0\), u differs by a sign, such that the monopole and dyon singularity are interchanged. As a consequence, the partition functions determined here differ by a phase compared to the literature. In particular, \(Z_{{\varvec{\mu }}}[e^{2pu}]\) differs from \(\left\langle e^{p \mathcal {O}} \right\rangle _z\) of [46, Eq. (2.17)] by a phase,
with \(z=2{\varvec{\mu }}\), and \(\alpha _a=0\).
A related aspect is the choice of fundamental domain. Reference [19] described a framework for mapping out the fundamental domain for \(\mathcal {N}=2\) SQCD with generic masses. Yet there is some ambiguity in the choice of this domain. In this brief subsection, we study this ambiguity here for \(N_f=0\) and connect it to characteristic classes.
In the decoupling limit, it is important to choose a consistent frame for \(\tau \rightarrow i\infty \) such that the decoupling does not involve shifts. The frame found in [19] differs from the one in the broad literature by \(T^2\), or alternatively by the action of r, with r the generator of the unbroken \(\mathbb {Z}_4\) R-symmetry for nonvanishing a. Let us thus study the effect of this transformation on the u-plane integral.
Let us denote by \(I_{\varvec{\mu }}(\tau ,p,{\varvec{x}})\) the integrand of (8.16), such that we have \(\Phi _{\varvec{\mu }}(p,{\varvec{x}}) =\int _{\mathcal {F}_0}I_{{\varvec{\mu }}}(\tau ,p,{\varvec{x}})\). Assuming that we are integrating over the ’standard’ choice \(\mathcal {F}_0\) (see Fig. 2), we can simply determine the difference between \(I_{{\varvec{\mu }}}(\tau ,p,{\varvec{x}})\) and \(I_{{\varvec{\mu }}}(\tau +2,p,{\varvec{x}})\). Under \(T^2\), we have the following transformations for \(N_f=0\):
Then, using \(\chi +\sigma =4\) we find that the integrand \(I_{\varvec{\mu }}\) of the general u-plane integral (8.16) transforms as
Thus, the correlation function \(\Phi _{\varvec{\mu }}^J(p)\) computed with some frame \(\tau \) and \(\widetilde{\Phi }_{\varvec{\mu }}(p)=\int _{\mathcal {F}_0}I_{{\varvec{\mu }}}(\tau +2,p)\) computed with a frame \(\tau +2\) relative to the first, differ by a factor
with \(P_2\) the Pontryagin square, \(P_2:H^2(X,\mathbb {Z}_2)\rightarrow H^4(X,\mathbb {Z}_4)\). This is the mixed anomaly between the \(U(1)_R\) symmetry and the \(\mathbb {Z}_2\) 1-form symmetry of the \(N_f=0\) theory [63]. Equation (8.28) demonstrates that the shift \(\tau \rightarrow \tau +2\) in the integrand couples the theory to an invertible TQFT [64, 65]. It is straightforward to also include the dependence on the surface observable \({\varvec{x}}\) here. Its transformation is \({\varvec{x}}\rightarrow -i\,{\varvec{x}}\).
We note that for \(N_f>0\), the theories with fundamental matter do not have a \(\mathbb {Z}_2\) 1-form symmetry. Instead given the background fluxes for the flavour symmetry group, \(\{{\varvec{k}}_j\}\), the ’t Hooft flux \({\varvec{\mu }}\in (L/2)/L\) is fixed. A sum over \({\varvec{\mu }}\in (L/2)/L\) as occurred in gauging of the 1-form symmetry is thus not meaningful.
3 Behaviour near special points
This section collects various data of the ingredients of the u-plane integral near special points, such as weak coupling, strong coupling and branch points. Readers mainly interested in the results of the evaluation can skip this section.
3.1 Behaviour at weak coupling
The evaluation of u-plane integrals requires the expansion of various quantities at weak coupling. We will concentrate on either small or large mass expansions. In the large mass expansion, we express various quantities in terms of the order parameter \(u_0\) of the \(N_f=0\) theory, or \(u_{N_f}\) of the theory with \(N_f\) flavours.
For example, for \(N_f\) large and equal masses m, we can find the exact coefficients of \(u_{N_f}\) as functions of \(u_{0}\) by making an ansatz \(u_{N_f}=\sum _{n}f_n(u_{0})\,m^{-n}\) and iteratively find \(f_n\) by satisfying the relation \(\mathcal {J}_{N_f}(u_{N_f})=\mathcal {J}_{0}(u_{0})\) order by order in \(m^{-1}\). We list the results below and in Appendix E for \(N_f=1,2,3\). For the evaluation of the correlation functions in Sects. 11 and 12, higher-order terms than presented are required.
\(\varvec{N_f=1}\)
We can consider the q-expansion of \(u_1(\tau ,m)\) as in [19, Eq. (4.18)]. The coefficients of the q-series are polynomials in the mass. While they are easily determined to all orders, the modular properties are not manifest in this expansion. They are more apparent if we consider an expansion in the mass m. We find for the large mass expansion of \(u_1\),
with \(u_0\) as in (2.29). We observe that this expansion for \(u_1\) obviously reduces to \(u_0\) in the \(m\rightarrow \infty \) limit. The expression is left invariant under \(\Gamma ^0(4)\) transformations since \(u_0\) is a Hauptmodul for \(\Gamma ^0(4)\). Moreover, these terms are polynomial in \(u_0\), such that \(\mathbb {H}/\Gamma _0(4)\) with \(\text {Im}\, \tau \ll \infty \) is a good fundamental domain for this regime. Further subleading terms are given in Table 18 in Appendix E.2.
For \((\textrm{d}a/\textrm{d}u)_{N_f=1}\), we find using the definition (2.23) the following large mass expansion,
where \((\textrm{d}a/\textrm{d}u)_0\) is the corresponding period for \(N_f=0\). Further subleading terms are given in Table 21.
In the presence of background fluxes, we also need the couplings v and w. We determine expansions for these couplings from the prepotential \(\mathcal {F}(a, m)\). To this end, we determine using the Matone relation (2.24) expansions for \(a_1\) in terms of small \(q=e^{2\pi i\tau }\) and large m. The q-series for fixed powers of m can be identified with a quasi-modular form for the group \(\Gamma ^0(4)\). We find for the first few terms
The leading term corresponds to the one for \(N_f=0\) [6]. Using this expression, we can verify the identities of observables derived from the SW curve, and from the prepotential (2.7), such as Eq. (2.13). For the prepotential, we use the expansion of [62] up to \(a^{-18}\). As a result, expansions are valid up to about \(\mathcal {O}(q^{3})\).
Substitution of \(a_1(\tau ,m)\) in the couplings \(w_1\) and \(v_1\) provides large mass expansions for the couplings \(C=C_{11}=e^{-\pi i w_{11}}\) (4.10) and \(e^{2\pi i v_1}\) (2.12). For the coupling C, we find
For \(v_1\), we find
such that
Using modular transformations, these expansions also provide large mass expansions for the couplings near the strong coupling singularities.
Alternatively, we can make expansions for small m. Making only the m-dependence manifest, \(u_1(\tau ,m)\), we have
with \(u_1(\tau , 0)\) given in Eq. (2.30). Here, we see that this expansion is left invariant under the monodromy group which leaves \(u_1(0)\) invariant [19, 66]. On the other hand \(u_1(\tau , 0)\) vanishes for \(\tau =\alpha =e^{2\pi i/3}\), such that this expansion is not a good function on the full domain. It would be interesting to understand the nature of these poles, which we leave for future work.
\(\varvec{N_f=2}\)
For \(N_f=2\) with equal masses, \({\varvec{m}}=(m,m)\), we consider first the large mass expansion, relevant for the decoupling \(N_f=2\rightarrow 0\). From the exact expression for the order parameter (2.31), we find
Further subleading terms are listed in Table 19.
We can also consider the mass \({\varvec{m}}=(0,m)\), which is relevant for the decoupling limit from \(N_f=2\) to \(N_f=1\). For this choice, we find
This expansion is again singular for \(\tau =\alpha \) since \(u_1(\alpha ,0)=0\).
\(\varvec{N_f=3}\)
We can similarly determine large mass expansions for \(N_f=3\). For equal masses \({\varvec{m}}=(m,m,m)\), we have
Further subleading terms are given in Table 20. Finally, for the large m expansion of \({\varvec{m}}=(0,0,m)\), we find
3.1.1 Singularities for \(\varvec{N_f=1}\)
We also list expansions for the strong coupling singularities. For \(N_f=1\), these are the roots of the discriminant which is a cubic equation, and can be determined explicitly. Their large and small mass expansions are
The large mass expansions for \(u^*_1\) and \(u^*_2\) agree with the expansion (9.1) for \(u_0\rightarrow \pm \Lambda _0^2\).
These singularities have two special properties. First, by Vieta’s formula, \(u_1^*+u_2^*+u_3^*=m^2\). For general \(N_f=0,\dots , 3\), we have
More generally, if P is a polynomial, then \(\sum _{j=1}^{2+N_f}P(u_j^*)\) is a symmetric function in the \(u_j^*\), and by the fundamental theorem of symmetric polynomials can be written as a rational function of the coefficients of the polynomial \(\Delta _{N_f}\).
Furthermore, for \(N_f=1\) we have a special case that the curve depends only on \(\Lambda _1^3\). This means that the discriminant locus \(\{u_1^*,u_2^*,u_3^*\}\) can only depend on \(\Lambda _1^3\), while the individual \(u_j^*\) depends explicitly only on \(\Lambda _1\). This symmetry forces the \(u_j^*=u_j^*(\Lambda _1)\) to depend on \(\Lambda _1\) in a \(\mathbb Z_3\) symmetric fashion,
with \(\alpha =e^{2\pi i/3}\), and the labels j being modulo 3. This holds as long as the mass m is finite and generic. For instance, the expansions around \(m=0\) in (9.12) obey this symmetry. If we pick a specific mass, for instance, \(m=m_{\text {AD}}=\frac{3}{4}\Lambda _1\), this symmetry is broken. Furthermore, expanding around \(m=\infty \) singles out the singularity \(u_3^*\), which goes as \(u_3^*\sim m^2\), while \(u_1^*\) and \(u_2^*\) are related under \(\Lambda _1\mapsto \alpha \Lambda _1\). Thus, the infinite mass expansion (9.12) does not obey the \(\mathbb Z_3\) symmetry (9.14).
3.2 Behaviour near strong coupling singularities
We list various general formulas near the strong coupling singularities \(u_j^*\), \(j=1,\dots , N_f+2\). Similar formulas have also appeared, for example, in [26]. To analyse the behaviour of \(u_{N_f}\) near \(u_j^*\), we introduce a ‘local’ order parameter \(u_{N_f,j}\), which is a function of the local coupling \(\tau _j\). For example, for \(j=1\), \(u_{N_f,1}(\tau _1)=u_{N_f}(-1/\tau _1)\). We let \(u_1^*\) be the monopole singularity for \(\tau \rightarrow 0\), \(u_2^*\) the dyon singularity for \(\tau \rightarrow 2\), and \(j\ge 3\) label the additional hypermultiplet singularities.
From the invariant \(\mathcal {J}\) of the SW curve, we deduce that near a strong coupling singularity \(u_j^*\) of Kodaira type \(I_1\), \(u_{N_f,j}\) reads
where \(u_{N_f,j}(\tau _j)\rightarrow u_j^*\) as \(\tau _j\rightarrow i \infty \) (see [19] for details). The product in the denominator has \(N_f+1\) terms.
We define the coupling \((\textrm{d}a/\textrm{d}u)_{N_f,1}\) near \(u_1^*\) in terms of the weak coupling period \((\textrm{d}a/\textrm{d}u)_{N_f}\) as
and analogously near the other singularities. From (2.23), it follows that near the strong coupling singularity \(u_j^*\), the local expansion \((\textrm{d}a/\textrm{d}u)_{N_f,j}\) reads
where we introduced the phase \(s_j\) as
The period \(\frac{\textrm{d}a}{\textrm{d}u}\) evaluates thus to a constant at any \(I_n\) singularity \(u_j^*\).
The \(s_j\) are locally constant functions, with phase transitions at AD points. For \(N_f=1\), for instance, the phase changes depending on whether the ratio of \(g_2\) and \(g_3\) is calculated as a series with \(m<m_{\text {AD}}\) or \(m>m_{\text {AD}}\). More generally, this function is locally constant on \(\mathbb R^{N_f}\setminus \mathcal {L}^{\text {AD}}_{N_f}\), where \(\mathcal {L}^{\text {AD}}_{N_f}\) is the locus in mass space where AD points emerge on the u-plane (see [19, Section 2.3]). This is because \(g_2\) and \(g_3\) are strictly nonzero away from the AD locus \( \mathcal {L}^{\text {AD}}_{N_f}\), and \(s_j({\varvec{m}})^3=1\) by definition. Thus for any j,
is a smooth function on the finite union \(\mathbb R^{N_f}{\setminus } \mathcal {L}^{\text {AD}}_{N_f}=\bigcup _i U_i\) of open sets, valued in \(\mathbb Z_3\) and thus locally constant. For \(N_f=2\), for instance, this partitions the real mass space into three regions, on which the phases \(s_j\) (9.19) are constant. In Fig. 1 of Part I, these are the three regions separated by the AD locus (blue). We list values of the \(s_j\) in the Tables 2 and 3 for \(N_f=0,1\) and equal mass \(N_f=2\).
The local coordinate \(a_j=a-m_j/\sqrt{2}\) vanishes near the singularity \(u_j^*\). From (2.24) and (2.26), we obtain
Therefore \(a_j\) behaves as
Note that since \(s_j\) is a third root of unity, \(s_j^{3/2}=\pm 1\).
We can generalise this to \(u_j^*\) being an \(I_n\) singularity, where for SU(2) \(\mathcal {N}=2\) SQCD the four cases \(n=1,2,3,4\) are possible. Then we consider the expansions around \(u_j^*\). The discriminant reads
where \(\Delta ^{(n)}(u_j^*)=n!\prod _{l\ne j}(u_j^*-u_l^*)\). The expansion of \(u(\tau )\) we can read off from
with \(N_{N_f}=12^3(-1)^{N_f}\Lambda _{N_f}^{2(N_f-4)}\). It is
where we used (9.22). Note that the coefficient of \(q_j^{\frac{1}{n}}\) has an ambiguity by an n’th root of unity. We refrain from introducing another symbol for this ambiguity, but this should be kept in mind here and in the formulae below. The exact solution of the theory fixes the ambiguity, such as for \(N_f=2\) with equal masses.
The discriminant \(\Delta _{N_f}\) has leading term \(q_j^1\) near each strong coupling singularity \(u_j^*\), which can be read off form (9.23),
This holds for any value of n. In [19], we showed that \(\Delta _{N_f}/P^{\text{ M }}_{N_f}=\widehat{\Delta }_{N_f}/\widehat{P}^{\text{ M }}_{N_f}\), where if \(u_j^*\) is an n-th order zero of \(\Delta _{N_f}\) of multiplicity n, then its multiplicity in \(\widehat{\Delta }_{N_f}\) is 1. In \(P^{\text{ M }}_{N_f}\), it has multiplicity \(n-1\), and therefore it is not a root of \(\widehat{P}^{\text{ M }}_{N_f}\). Therefore, we can write \(P^{\text{ M }}_{N_f}(u)=(u-u_j^*)^{n-1}\widehat{P}^{\text{ M }}_{N_f}(u)\) as a polynomial.
Finally, the period \(\frac{\textrm{d}a}{\textrm{d}u}\) evaluates to a constant for any \(I_n\) singularity \(u_j^*\). Using Matone’s relation (2.24), we then compute
This agrees exactly with the earlier result (9.20) for \(n=1\). Instead of using Matone’s relation, we can also calculate \(\frac{\textrm{d}u}{\textrm{d}\tau }\) from (9.24) directly. This gives a simpler result,
Identifying both leading terms (9.26) and (9.27), we find the interesting relation
We checked this relation for various mass configurations with \(n=1,2,3,4\). It is important to stress that it only holds on the discriminant locus \(\Delta _{N_f}(u_j^*)=0\).
Using (9.27) and eliminating \(g_2(u_j^*)\) as above, this gives for the local coordinate
This agrees precisely with (9.21) for \(n=1\). It also agrees with an explicit calculation of the asymptotics at the \(I_2\) singularity in \(N_f=2\) with \({\varvec{m}}=(m,m)\), again keeping in mind the n’th root of unity ambiguity. The n-dependence of the leading term in (9.29) is in fact the same as that of \(u-u_j^*\), (9.24), as can be seen from the second line: Up to the \(g_3\) prefactor, \(a_j\sim u-u_j^*\).
This concludes our analysis of Coulomb branch functions near strong coupling singularities. Such expansions are relevant for the contributions of the singularities to the u-plane integral as well as the SW functions. For the latter, in some cases subleading corrections are required, for instance, for the SW contributions of \(I_n\) singularities, as we discuss in Sect. 12.2. These corrections can in principle be determined by a perturbative analysis similar to the above. In some examples, exact expressions of CB functions are available, and we can use the previous calculation for consistency checks.
3.3 Behaviour near branch points
The fundamental domain for \(N_f\) generic masses contains \(N_f\) pairs of branch points, connected by branch cuts [19]. In Sect. 6 of part I, we demonstrated that branch points do not contribute to the u-plane integral, based on the assumption (6.18) that the integrand is sufficiently regular near a given branch point.
In this subsection, we provide explicit evidence for this assumption, in the rather generic example of \(N_f=2\) with equal masses m. For this configuration, the full integrand (without the couplings to the \(\text {Spin}^c\) structure) can be expressed as a modular form, which facilitates the analysis. We assume in the following that \(m>0\) with \(m\ne m_{\text {AD}}=\frac{\Lambda _2}{2}\), such that we are strictly away from the AD locus where the branch points collide and annihilate each other.
After the exact analysis of the equal mass case, we then formulate the asymptotics of the general integrand near a generic branch point, and prove that the assumption (6.18) is always satisfied and thus branch points never contribute to the integrals.
3.3.1 Branch points of u
Consider the equal mass case in \(N_f=2\). We list the relevant modular forms in Appendix E.3. In [19], we found that the effective coupling of the branch point \(u_{\text {bp}}=2m^2-\frac{\Lambda _2^2}{8}\) is determined by \(f_{2\text {B}}(\tau _{\text {bp}})=0\), such thatFootnote 3
Then \(u(\tau _{\text {bp}})=u_{\text {bp}}\) is solved by
that is, we find all preimages of the branch point on the fundamental domain \(\mathcal {F}_2(m,m)\). Since \(f_{2\text {B}}\) is a Hauptmodul for the index 3 group \(\Gamma _0(2)\), inside the index 6 domain \(\mathcal {F}_2(m,m)\) there are consequently two distinct points \(\tau _{\text {bp}}\). Using (9.31), we can eliminate all but one of the Jacobi theta functions \(\vartheta _j\) from (E.13) to find
Since \(\vartheta _4\) is holomorphic and nowhere vanishing on \(\mathbb H\), \(\frac{\textrm{d}a}{\textrm{d}u}(\tau _{\text {bp}})\) is never zero or infinite.
From Matone’s relation (2.24), we see that \(\frac{\textrm{d}u}{\textrm{d}\tau }\) diverges as \(\mathcal {O}\left( (u-u_{\text {bp}})^{-1}\right) \), since \(\widehat{\Delta }(\tau _{\text {bp}})=4m^2(m^2-m_{\text {AD}}^2)^2\) remains finite. For \(\tau \) near \(\tau _{\text {bp}}\), we can integrate this equation to find
for \(\tau \rightarrow \tau _{\text {bp}}\). This is sufficient to study the u-plane integrand near \(\tau _{\text {bp}}\). From \(\frac{\textrm{d}a}{\textrm{d}\tau }=\frac{\textrm{d}a}{\textrm{d}u}\frac{\textrm{d}u}{\textrm{d}\tau }\) and \(\sigma +\chi =4\), we have that \(\nu =\frac{\textrm{d}u}{\textrm{d}\tau }\left( \frac{\textrm{d}a}{\textrm{d}u}\right) ^{-1+\frac{\sigma }{2}}\Delta ^{\frac{\sigma }{8}}\). The discriminant \(\Delta (\tau _{\text {bp}})=4m^2(m^2-m_{\text {AD}}^2)^3\) is regular and nonzero. Thus, the power series of \(\nu \) at \(\tau _{\text {bp}}\) readsFootnote 4
Regarding the photon path integral, let us assume that we can express \( \Psi (\tau ,\bar{\tau },{\varvec{z}},\bar{\varvec{z}})=\partial _{\bar{\tau }}\widehat{G}(\tau ,\bar{\tau },{\varvec{z}},\bar{\varvec{z}})\), then the function
provides an anti-derivative of the integrand, as required in Sect. 6. The other factors of the integrand are regular: Due to (9.32), \({\varvec{z}}(\tau _{\text {bp}})\) and thus \(\widehat{G}(\tau _{\text {bp}},{\varvec{z}}(\tau _{\text {bp}}))\) are regular. The contact term (4.20) becomes a constant as well, for the same reason. Thus, up to constants, we find
in the notation (5.1). This shows that the integrand \(\widehat{h}\) diverges at \(\tau _{\text {bp}}\); however, in a subcritical fashion \(\sim (\tau -\tau _{\text {bp}})^{-\frac{1}{2}}\). Equation (9.36) also suggests that the integrand is not single-valued at \(\tau _{\text {bp}}\). However, a small circular path around \(\tau _{\text {bp}}\) in \(\mathcal {F}_2(m,m)\) describes a curve of angle \(4\pi \) or winding number 2, as is clear, for example, from Fig. 5. Since \(\widehat{h}(\tau )\) has a Laurent series in \(\sqrt{\tau -\tau _{\text {bp}}}\), it is single-valued around such a path. Section 6 in part I then guarantees that the branch point does not contribute to the u-plane integral.
3.3.2 Branch points of \(\frac{\textrm{d}a}{\textrm{d}u}\)
Another potential source of branch points is the period \(\frac{\textrm{d}a}{\textrm{d}u}\). Even if the masses \({\varvec{m}}\) are such that \(u(\tau )\) is modular for a congruence subgroup, \(\frac{\textrm{d}a}{\textrm{d}u}\) is in general not modular. This is due to the square root \(\frac{\textrm{d}a}{\textrm{d}u}\sim \sqrt{\frac{g_2}{g_3}\frac{E_6}{E_4}}\) and the possible roots in u. Let us study if the square root in \(\frac{\textrm{d}a}{\textrm{d}u}\) introduces another branch point, in the example of \({\varvec{m}}=(m,m)\). From (E.13), we find that any solution to \(\vartheta _2^4+\vartheta _3^4+\sqrt{f_2}=0\) is a branch point of \(\frac{\textrm{d}a}{\textrm{d}u}\). Necessarily but not sufficiently, \((\vartheta _2^4+\vartheta _3^4)^2=f_2\), whose only solution is in fact independent on \(\tau \), it is \(m=m_{\text {AD}}\). Since we exclude the case \(m=m_{\text {AD}}\) to study the branch points, the denominator of \(\frac{\textrm{d}a}{\textrm{d}u}\) is never zero in \(\mathbb H\). This agrees with the observation [19] that zeros of \(\frac{\textrm{d}u}{\textrm{d}a}\) in \(\mathbb H\) are AD points, since there are none on \((0,\infty )\backslash \{m_{\text {AD}}\}\). The other radicand in \(\frac{\textrm{d}a}{\textrm{d}u}\) is \(f_2\), whose zeros are studied above. From (9.32) we know that \(\vartheta _2^4(\tau _{\text {bp}})+\vartheta _3^4(\tau _{\text {bp}})\) is nonzero, otherwise \(\frac{\textrm{d}a}{\textrm{d}u}\) would have a pole at \(\tau _{\text {bp}}\). We have shown that \(\tau _{\text {bp}}\) is the only branch point (of a square root) for \(\frac{\textrm{d}a}{\textrm{d}u}\), i.e. \(\frac{\textrm{d}a}{\textrm{d}u}\) has a regular series in \(\sqrt{\tau -\tau _{\text {bp}}}\).
3.3.3 Branch points of the integrand
With the intuition from the equal mass case, we can formulate the behaviour of the general u-plane integrand around a branch point. As pointed out in [19, Section 3.3], for \(N_f\) generic masses there are \(N_f\) pairs of branch points connected by branch cuts. The branch points correspond in all cases to a square root of \(u(\tau )\). Let us assume that \(u_{\text {bp}}=u(\tau _{\text {bp}})\) is a branch point that is not simultaneously an AD point.Footnote 5 The expansion of \(u(\tau )\) at \(\tau =\tau _{\text {bp}}\) thus reads
Then it is clear that
On the other hand, from \(\eta ^{24}\sim \left( \frac{\textrm{d}a}{\textrm{d}u}\right) ^{12}\Delta _{N_f}\) [19] it is clear from \(\eta (\tau _{\text {bp}})\ne 0\) and \(\Delta _{N_f}(u_{\text {bp}})\ne 0\) that \(\frac{\textrm{d}a}{\textrm{d}\tau }(\tau _{\text {bp}})\ne 0\) is a nonzero constant. Thus \(\frac{\textrm{d}a}{\textrm{d}\tau }=\frac{\textrm{d}a}{\textrm{d}u}\frac{\textrm{d}u}{\textrm{d}\tau }\) has the same asymptotics at \(\tau _{\text {bp}}\) as \(\frac{\textrm{d}u}{\textrm{d}\tau }\). Excluding the couplings to the background fluxes, from (5.2) it is then clear that
Since \(\frac{\textrm{d}u}{\textrm{d}a}(\tau _{\text {bp}})\ne 0\) we have \({\varvec{z}}(\tau _{\text {bp}})\ne 0\) and we thus expand the non-holomorphic modular form \( \widehat{G}\) at a regular point. It can accidentally vanish, but by varying \(\tau _{\text {bp}}\) slightly the value is generically nonzero. In either case, we have
This justifies the assumption made in Sect. 12 and demonstrates that branch points never contribute to u-plane integrals.
The bound \(n\ge -\frac{1}{2}\) is not sharp, indeed, as long as \(n>-1\) the branch point will not contribute. Consider, for instance, a theory which includes branch points of a k-th root of u, with \(k\in \mathbb N\). In that case, there is no contribution either, since \(n=\frac{1}{k}-1>-1\).
Finally, since we lack modular expressions for the extra couplings \(v_j\) and \(w_{jk}\), we leave it for future work to determine whether those couplings have branch points or singularities.
4 u-plane integrals and (mock) modular forms
We proceed by discussing the evaluation of the u-plane integrals near the different special points. Below we consider \(N_f\) generic masses, and in particular \({\varvec{m}}\not \in \mathcal {L}_{N_f}^{\text {AD}}\). To explicitly evaluate the u-plane integral, we make use of the theory of (mock) modular forms [56, 67,68,69,70], as discussed in Sect. 12. As before, we specialise to four-manifolds with \((b_1,b_2^+)=(0,1)\).
4.1 Fundamental domains
In the vicinity of special points, the fundamental domains simplify. We will consider here two cases, namely the large mass expansion and the small mass expansion.
Verifying the IR-decoupling limit (8.23) through the u-plane integral requires a precise definition of the integral (8.16). Specifically, the integrand as well as the integration domain must be determined in a region which is compatible with the decoupling limit. As found in [19], when \(m_{N_f}\rightarrow \infty \) there is always a branch point \(\tau _{\text {bp}}\) whose imaginary part \(y_{\text {bp}}=\text {Im}(\tau _{\text {bp}})\) grows as a function of \(m_{N_f}\). If \(m_{N_f}\) is large, we can take expansions of the Coulomb branch parameters in two regions. For \(\mathcal {N}=2\) SQCD, implicit, yet exact, expressions for \(\tau _{\text {bp}}\) have been determined in [19] (see (9.31) for an example). In the region with \(\text {Im}(\tau )>y_{\text {bp}}\), the order parameter \(u(\tau )\) has periodicity \(4-N_f\). For \(\text {Im}(\tau )<y_{\text {bp}}\) rather, the periodicity is that of the decoupled theory, which is \(4-(N_f-1)\). Since in the limit \(m_{N_f}\rightarrow \infty \) the periodicity at \(u=\infty \) is \(4-(N_f-1)\), we need to choose a cut-off \(Y_-<y_{\text {bp}}\) for the fundamental domain \(\mathcal {F}({\varvec{m}}_{N_f})\) in order to find the consistent limit.
In order to integrate over the whole fundamental domain, we must take the cut-off \(Y\rightarrow \infty \). If we choose \(y_{\text {bp}}> Y\rightarrow \infty \), then necessarily \(m_{N_f}\rightarrow \infty \). In other words, choosing the cut-off \(Y<y_{\text {bp}}\) is only a consistent choice in the decoupling limit. For a finite mass \(m_{N_f}\), we can choose \(Y>y_{\text {bp}}\), such that for \(Y\rightarrow \infty \) we do not cross the branch point(s). This is illustrated in Fig. 11 for the example of the decoupling in \(N_f=1\). In making a large mass expansion, we will assume that 1/m is infinitesimally small, such that \(y_{\text {bp}}\rightarrow \infty \), and disappears from the fundamental domain.
Let us denote the regulated fundamental region by
We can choose two different cut-offs \(Y_\pm \), with \(Y_+>y_{\text {bp}}\) or \(Y_-<y_{\text {bp}}\), which serve two different purposes. For any finite \({\varvec{m}}\), we define the integral (8.16) as (we suppress most variables for clarity)
and renormalise it as described in [71]. As reviewed in Sect. 6, the contribution from the arc at \(\text {Im}(\tau )=Y\rightarrow \infty \) is the constant term of the holomorphic part of the anti-derivative \(h(\tau )\),Footnote 6
In the decoupling limit rather, we make an expansion in \(1/m_{N_f}\) of the integrand, and integrate over \(\mathcal {F}_{Y_-({\varvec{m}})}\) with \(Y_-\rightarrow \infty \) term by term in the expansion. This results in
One can similarly make mass expansions near other special points in mass space, such as distinct small masses,
or AD mass \({\varvec{m}}\in \mathcal {L}^{\text {AD}}_{N_f}\). We will find that these prescriptions agree in many examples. However, in some cases they also lead to different results. To avoid cluttering, we have chosen not to add additional labels to \(\Phi ^{\infty }_{\varvec{\mu }}({\varvec{m}})\) to specify the evaluation prescription. We will rather specify this when we present the results.
For \(N_f>1\), there are of course generally \(N_f>1\) branch points \(\tau _{\text {bp},j}\), \(j=1,\dots , N_f\). The above analysis then proceeds with \(Y_+ > \max _j\text {Im}\, \tau _{\text {bp},j}\) and \(Y_- < \min _j\text {Im}\, \tau _{\text {bp},j}\).
4.2 Factorisation of \(\Psi _{{\varvec{\mu }}}^J\)
One can split the study of u-plane integrals into two classes of four-dimensional manifolds, depending on their intersection form being even or odd (see Sect. 3.1 for relevant aspects of four-manifolds). We can use the analysis of [56, Sec. 5] without much alteration and we simply outline the rough ideas. For simplicity, we only consider the odd lattices, and refer to [56] for the case of even lattices. The first important step is to factorise the indefinite theta function appearing in the u-plane integrand. For odd intersection form, we can diagonalise the quadratic form to
This implies that the components \(K_j\) of a characteristic vector K are odd for all \(j=1,\dots ,b_2\).Footnote 7 The lattice L can be factorised as \(L=L_+\oplus L_-\), where \(L_+\) is a one-dimensional positive definite lattice and \(L_-\) is a \((b_2-1)\)-dimensional negative definite lattice. The polarisation corresponding to this decomposition is \(J=(1,\varvec{0})\), where \(\varvec{0}\) is the \((b_2-1)\)-dimensional zero-vector. We will also employ the notation \({\varvec{k}}=(k_1,{\varvec{k}}_-)\in L\) where \(k_1\in \mathbb {Z}+\mu _1\), \({\varvec{k}}_-\in L_-+{\varvec{\mu }}_-\) and \({\varvec{\mu }}=(\mu _1,{\varvec{\mu }}_-)\).
The sum over fluxes (4.11) now factorises as [56, Eq.(5.45)]
where
If the elliptic variable \(\rho \) is zero, \(\Psi _{\varvec{\mu }}\) vanishes unless \({\varvec{\mu }}=(\tfrac{1}{2},{\varvec{0}})\mod \mathbb Z^{b_2}\) [56]. In that case, it evaluates to
We will also need the dual theta series
In order to write the integrand as a total anti-holomorphic derivative one can use the theory of mock modular forms and Appell–Lerch sums [5, 6, 56, 68, 70]. An important constraint is that the anti-derivative must be a well-defined function on the fundamental domain for \(\tau \), and thus transform appropriately under duality transformations of the theory.
As discussed in Sect. 9.1, in the large mass limit the duality group is \(\Gamma ^0(4)\), such that we can use results for the \(N_f=0\) theory [56]. We write \(f_\mu (\tau ,\bar{\tau },\rho ,\bar{\rho })\) as
with \(\widehat{F}_\mu \) a specialisation of the Appell–Lerch sum M and its completion, which we define in Appendix D.3. The holomorphic parts of \(\widehat{F}_{\mu }\) are given by [56, Eqs.(5.51) and (5.53)]
where \(w=e^{2\pi i \rho }\).
To evaluate the contributions from the strong coupling cusps, we introduce furthermore the ‘dual’ functions \(F_{D,\mu }\) [56, Equations (5.63) and (5.64)],
We note that \(F_{\frac{1}{2}}\) has a finite limit for \(\rho \rightarrow 0\),
If the subscript \(\mu \) is clear from the context, we will occasionally drop it and denote \(F=F_{\frac{1}{2}}\). The first terms of the q-series are
This q-series is proportional to the McKay–Thompson series \(H^{(2)}_{1A,2}\) [72]. See also the OEIS sequence A256209.
The duality groups are different for small masses, or other special points in the mass space. For such cases, other anti-derivatives are required. The most widely applicable anti-derivative will transform under \(\text {SL}(2,\mathbb Z)\). As we review in detail in Appendix D.3, anti-derivatives are not unique one can add an integration constant, i.e. a weakly holomorphic function of \(\tau \). There are in fact three well-known mock modular forms with precisely the same shadow \(\sim \eta ^3\), namely F, \(\frac{1}{24}H\) and \(\frac{1}{2} Q^+\).Footnote 8
Their completions are non-holomorphic modular functions for \(\Gamma ^0(2)\), \(\text {SL}(2,\mathbb Z)\) and \(\Gamma ^0(2)\), respectively. In [56], it was shown that for \(N_f=0\) either of these three functions can be used for the evaluation of u-plane integrals, and they give the same result. This is possible because all three functions transform well under the monodromies on the u-plane. For \(N_f=1\) and \(N_f=3\) on the other hand, F and \(Q^+\) do not have the right monodromy properties, since they do not transform under \(T^3\) or T. This singles out the function H, which transforms under all possible monodromies for all \(N_f\).
The function H is related to \(F_{\frac{1}{2}}\) as
with \(F_{\frac{1}{2}}\) as above. This function is well known as the generating function of dimensions of representations of the Mathieu group [44, 45],
and transforms under \(\text {SL}(2,\mathbb Z)\).
Including either surface observables or the coupling to the background fluxes requires an elliptic generalisation, which has to transform under \(\text {SL}(2,\mathbb Z)\) in order to be applicable to u-plane integrals with small masses. In Appendix D.4, we construct such an \(\text {SL}(2,\mathbb Z)\) mock Jacobi form \(H(\tau ,\rho )\), and discuss the relation to \(F_{\frac{1}{2}}(\tau ,\rho )\). Deriving a similar expression related to \(F_0\) which transforms under \(\text {SL}(2,\mathbb Z)\) is more involved, since \(F_0(\tau ,\rho )\) has a pole at \(\rho =0\) (due to the term \(n=0\) in the sum (10.12)). We leave it for future work to find such an elliptic generalisation of \(F_0\). In Appendix D.3, we study further properties of the above mock modular forms in great detail, while their elliptic generalisations including zeros and poles are discussed in Appendix D.4.
4.3 Constraints for contributions from the cusps
In this subsection, we consider the u-plane integrals with vanishing external fluxes, \({\varvec{k}}_j=0\). We consider the leading behaviour of the integrand near cusps, and determine selection rules for the cusps to have potential nonzero contributions.
4.3.1 Point observables
Let us first assume that the intersection form of X is odd. If we turn off the surface observable \({\varvec{x}}\), we can evaluate the u-plane integral (6.22) for generic masses. As found above, if \(J=(1,\varvec{0}_{b_2^-})\) then \(\Psi _{\frac{K}{2}}^J(\tau ,0)\) vanishes whenever \(b_2^->0\). This gives the result
Let us therefore proceed with \(b_2^-=0\), such that \(\sigma =1\) and \(\chi =3\). We calculate u-plane integrals for such manifolds in great detail in Sect. 11.
In this case, the Siegel–Narain theta function (10.9) becomes
We can use the fact that \(\frac{-i}{2\sqrt{2y}}\overline{\eta (\tau )}^3=\partial _{\bar{\tau }}\widehat{F}_{\frac{1}{2}}(\tau ,\bar{\tau })\) is the shadow of the mock modular form \(F{:}{=}F_{\frac{1}{2}}\), defined in (10.12).
As discussed in Sect. 6, the u-plane integral can then be expressed as a sum over \(q^0\)-coefficients of the integrand evaluated near the cusps, labelled by j,
Here, \(\alpha _j\in \text {SL}(2,\mathbb Z)\) give the cosets in the fundamental domain (2.28), and \(w_j\) is the width of the cusp j.
Let us study which cusps contribute to the sum (10.21). We have that \(H(\tau )=\mathcal {O}(q^{-\frac{1}{8}})\) for \(\tau \rightarrow i\infty \). One furthermore finds
in the weak coupling frame. Then the measure factor goes as
which holds for generic masses and \(b_2^+=1\). For \(\sigma =1\) the exponent is \(\frac{1}{8}-\frac{2}{4-N_f}\le -\frac{3}{8}\), where equality holds for \(N_f=0\). Combining with the exponent \(-\frac{1}{8}\) of H, the exponent of the leading term in the q-expansion of \(\nu H u^\ell \) (10.21) is
Since both \(4-N_f>0\) and \(2+\ell >0\), this exponent is strictly negative. We confirm through explicit calculations in Sect. 11 that indeed for generic masses also the \(q^0\) term is present. This shows that the cusp \(i\infty \) generally contributes to \(\Phi _{\frac{K}{2}}^{J,N_f}[e^{2 pu}]\) to all orders in p, for all \(N_f\le 3\).
This is not true for the strong coupling cusps, \(j\in \mathbb Q\). These cusps are in fact simpler to analyse, since the measure \(\nu \) at strong coupling becomes a constant. In order to see this, recall that \(u_D(\tau )=\mathcal {O}(1)\) and \(\left( \frac{\textrm{d}u}{\textrm{d}a}\right) _D=\mathcal {O}(1)\) (see Sect. 9.2 for more details). We also have \(\Delta _D(\tau )=\mathcal {O}(q)\), such that we are left with studying \(\frac{\textrm{d}a}{\textrm{d}\tau }=\frac{\textrm{d}a}{\textrm{d}u}\frac{\textrm{d}u}{\textrm{d}\tau }\). Near a singularity \(u_j^*\), the local coordinate reads \(u_D(\tau )-u_j^*=\mathcal {O}(q^{\frac{1}{n}})\), where n is the width of the cusp j (corresponding to an \(I_n\) singularity). For asymptotically free SQCD, the possibilities are \(n=1,2,3,4\). Therefore, we have that \(\left( \frac{\textrm{d}u}{\textrm{d}\tau }\right) _D=\mathcal {O}(q^{\frac{1}{n}})\) and thus
Since H is mock modular for \(\text {SL}(2,\mathbb Z)\), also \(H_D(\tau )=\mathcal {O}(q^{-\frac{1}{8}})\). Thus, we find that the lowest q-exponent of the contribution to an \(I_n\) cusp is
For our choice of period point \(J=(1,\varvec{0}_{b_2^-})\), we can set \(\sigma =1\). Then the leading exponent is \(\frac{1}{n}>0\), such that the \(q^0\) coefficient vanishes. Thus for manifolds with \(\sigma =1\), the strong coupling cusps never contribute to correlation functions \(\Phi _{\frac{K}{2}}^{J,N_f}[e^{2 pu}]\) of the point observable.
The correlation functions for the point observable on manifolds with odd intersection form then receive contributions only from weak coupling. Since the width of the cusp at infinity is \(w_{i\infty }=4-N_f\), we can simplify (10.21) substantially,
In [56], it is observed that for \(N_f=0\), correlation functions of point observables are (up to an overall dependence on the canonical class) universal for any four-manifold with odd intersection form and given period point J. The reason for this is that the topological dependence of the measure factor \(\nu \sim \vartheta _4^{-b_2}\) cancels precisely with the holomorphic part of the Siegel–Narain theta function \(\Psi _{\varvec{\mu }}^J\supset \vartheta _4^{b_2}\). This is not true for \(N_f>0\), which one may also see by comparing (10.19) with (10.27).
4.3.2 Surface observables
We can also consider correlation functions of surface observables \({\varvec{x}}\in H_2(M)\) supported on the compact four-manifold X. Following Sect. 10.2, \(\Psi _{\frac{K}{2}}^J\) for the choice \(J=(1,\varvec{0}_{b_2^-})\) factorises as
with \({\varvec{\mu }}=(\mu _+,{\varvec{\mu }}_-)\equiv (\frac{1}{2},\frac{1}{2},\dots ,\frac{1}{2}) \mod \mathbb Z^{b_2}\). Due to (10.8), we have that
where \({\varvec{\rho }}_-=(\rho _2,\cdots ,\rho _{b_2})\). The function \(f_{\frac{1}{2}}(\tau ,\rho )\) is the shadow of the mock modular form \(\tfrac{1}{24}H(\tau ,\rho )\), as in (D.50). This allows to evaluate (6.22), where we also include the point observable,
where we calculate the local \(q_j\) series around the cusps j and extract the constant term. Let us check that the case \({\varvec{x}}=0\) is consistent with the previous result. Consider thus that \({\varvec{\rho }}=0\) in above formula. If \(b_2^->0\) and consequently \(b_2\ge 2\), then all factors in the product vanish, since \(\vartheta _1(\tau ,0)\equiv 0\). This reproduces (10.19). If \(b_2^-=0\) on the other hand, then the product is over an empty set and therefore equal to 1. By construction \(H(\tau ,0)=H(\tau )\), and the limit to (10.21) is obvious.
4.3.3 When do strong coupling cusps contribute?
In (10.26), it was found that the contribution of strong coupling cusps to the u-plane integral depends on an intricate way on the four-manifold X and on the type of cusp. For instance, let \(u_j^*\) be an \(I_n\) singularity, such that the local expansion reads \(u_D(\tau )=u_j^*+\mathcal {O}(q^{\frac{1}{n}})\). Then, the smallest exponent in the q-series of the measure factor \(\nu _D\) whose coefficient is strictly nonzero is \(\tfrac{1}{n}+\tfrac{\sigma }{8}\), independent of the mass configuration \({\varvec{m}}\) giving rise to that \(I_n\) singularity. Consider now an SQCD mass configuration containing singularities of type \(I_n\) and \(I_m\) which can be merged by colliding some masses. If the signature \(\sigma \) is such that the smallest exponent of the q-series of the integrand is positive, then their individual contributions vanish. However, if the \(I_n\) and \(I_m\) singularities merge to an \(I_{n+m}\) singularity, the lowest exponent can become non-positive and there can be a contribution to the u-plane integral. The simplest example would be two \(I_1\) singularities colliding to an \(I_2\) singularity.
For the complex projective plane \(X=\mathbb P^2\), this does not occur, since for any \(I_n\) singularity and any \(N_f\) the smallest exponent is strictly positive, \(\frac{1}{n}\). This is in agreement with the theorem that for \(N_f=0\) and for four-manifolds with \(b_2^+(X)>0\) that admit a Riemannian metric of positive scalar curvature the Seiberg–Witten invariants vanish [35, 46].Footnote 9 The theorem has been shown to generalise also to \(N_f>0\) [43, 47]. See [75] for a survey on four-manifolds with positive scalar curvature.
To test whether this vanishing theorem also holds for the multi-monopole SW equations, we can calculate u-plane integrals for manifolds X of small signature that admit metrics with positive scalar curvature. Such a class of four-manifolds are the del Pezzo surfaces \(dP_n\). They are blow-ups of the complex projective plane at n points, where \(n=1,\dots , 8\). For \(n=9\), it is known as \(\frac{1}{2}\text {K3}\). These surfaces have \(b_2^+(dP_n)=1\) and signature \(\sigma (dP_n)=1-n\). The canonical class of \(dP_n\) is \(K=-3H+E_1+\cdots +E_n\), with \(E_i\) the exceptional divisors of the blow-up, and H the pullback of the hyperplane class from \(\mathbb P^2\). The intersection form can be brought to the form
with \(\mathbb {1}_n\) the \(n\times n\) identity matrix. From this it follows that \(K_{dP_n}^2=9-n\), which is the degree of \(dP_n\). As explained in Sect. 10.2, for manifolds with odd intersection form, the components \(K_j\) of the characteristic vector K are odd for all \(j=1, \dots , b_2\). Without external fluxes \({\varvec{k}}_j=0\), the u-plane integrals are well defined if \({\varvec{\mu }}=\frac{1}{2} K\mod L\). On the other hand, the Siegel–Narain theta function for \(J=(1,0,\dots ,0)\) vanishes identically unless \({\varvec{\mu }}=(\tfrac{1}{2},0,\dots , 0) \mod \mathbb Z^{b_2}\). This shows that without surface observables and without external fluxes, the u-plane integrals necessarily vanish for the del Pezzo surfaces \(dP_n\) with \(n\ge 1\).
If we include surface observables, the \(\theta _1(\tau ,\rho _k)\) in Eq. (10.30) transform to \(\theta _1(\tau _j,\rho _{k,j})\) with the leading term in the \(q_j\) expansion of \(\rho _{k,j}\) a nonvanishing constant (where we use \(\left( \frac{\textrm{d}u}{\textrm{d}a}\right) _D=\mathcal {O}(1)\) and the S-transformation (D.12)). The leading term of \(\vartheta _1\) is \(\theta _1(\tau _j,\rho _{k,j})\sim q_j^{1/8}\), such that the product over \(b_2-1\) of these gives \(q_j^{-(\sigma -1)/8}\). As a result, the \(\sigma \) dependence of the measure is cancelled by \(\Psi _{\varvec{\mu }}^J\), and the local asymptotics is \(\mathcal {O}(q^{\frac{1}{n}})\) for any \(\sigma \). We conclude that the strong coupling cusps do not contribute after inclusion of surface observables. It would be interesting to explore if nonvanishing background fluxes affect this conclusion.
4.4 Wall-crossing
An intrinsic feature of u-plane integrals for \(b_2^+=1\) is the metric dependence and the wall-crossing associated with it. The metric dependence of the Lagrangian is encoded in the period point \(J\in H^2(X,\mathbb R)\), which generates the space \(H^2(X,\mathbb R)^+\) of self-dual two-cohomology classes and is normalised as \(Q(J)=1\). It depends on the metric through the self-duality condition \(*J=J\). Using a period point J, we can project some vector \({\varvec{k}}\in L\) to the positive and negative subspaces \(H^2(X,\mathbb R)^\pm \) using \({\varvec{k}}_+=B({\varvec{k}},J)J\) and \({\varvec{k}}_-={\varvec{k}}-{\varvec{k}}_+\).
Even when including the background fluxes, the dependence of the u-plane integrand on the metric is only through the Siegel–Narain theta function \(\Psi _{\varvec{\mu }}^J\). The metric dependence is then captured through the difference \(\Phi _{{\varvec{\mu }}}^J-\Phi _{{\varvec{\mu }}}^{J'}\) for two period points J and \(J'\), which we aim to evaluate. To this end, we note that the difference
is a total derivative to \(\bar{\tau }\), with
and
a rescaled error function \(E:\mathbb {R}\rightarrow (-1,1)\). We have under the S- and T-transformations,
Since the couplings to the background fluxes are holomorphic, the inclusion of the latter is not affected by a total \(\bar{\tau }\) derivative. This allows to express \(\Phi _{{\varvec{\mu }}}^J-\Phi _{{\varvec{\mu }}}^{J'}\) as an integral of the form \(\mathcal {I}_f\) (defined in (6.1)) for some function f satisfying \(\partial _{\bar{\tau }}\widehat{h}=y^{-s}f\), where we can read off
Then, according to (6.3), we can write
which may be evaluated using the methods in Sect. 6. In particular, it can be evaluated using the indefinite theta function \(\Theta _{\varvec{\mu }}^{JJ'}\), which is the holomorphic part of \(\widehat{\Theta }_{\varvec{\mu }}^{JJ'}\). The contribution from the singularity at infinity is
where we left out the observables. The contributions from the strong coupling singularities follow from modular transformations and will be discussed in Sect. 12.
5 Example: four-manifolds with \(b_2=1\)
Let us study in detail the u-plane integrals (10.27) for the point observable on four-manifolds with \(b_2=1\).
The complex projective plane \(\mathbb P^2\) is the most well-known example. The complex projective plane has \(\sigma =1\), \(\chi =3\) and thus \(b_2=1\), furthermore \(K=K_1=3\). With the exact results from [1, 56], condensed in Sect. 10, it is straightforward to evaluate (10.27) for arbitrary masses.
In this section, we compute the vev \(\Phi _{\frac{1}{2}}^{N_f}[u^\ell ]\) for the point observable, which in the notation of [56] is related to the exponentiated observable as
If the background fluxes \({\varvec{k}}_j=0\) on \(X=\mathbb P^2\) are vanishing, in part I we argued that the theory is consistent only if we restrict to \(\bar{w}_2(X)\equiv \bar{w}_2(E) \mod 2L\). For \(N_f=1\) for instance, we can choose \(\mu =1/2\). For this flux, we can also turn on any integral background flux \(k_1\in \mathbb Z\). If we turn off the ’t Hooft flux \(\mu =0\) rather, the consistent formulation on \(\mathbb P^2\) requires half-integer background fluxes \(k_1\in \mathbb Z+1/2\).
In the following two subsections, we consider the large mass and small mass calculations for \(\Phi _{1/2}^{N_f}\) with \(k_j=0\), while in Sect. 11.3 we turn on nonvanishing background fluxes \(k_j\) for both \(\mu =0\) and \(\mu =1/2\).
5.1 Large mass expansion with vanishing background fluxes
We first consider the large mass expansion for equal masses \(m_i{=}{:}m\) for \(N_f=1,2,3\), in the absence of background fluxes. This allows to normalise the integral, by requiring that the decoupling limit \(m\rightarrow \infty \) for \(\Phi _{1/2}[1]\) reproduces the \(N_f=0\) result. We will demonstrate that with this normalisation, the decoupling limit of other observables also matches with \(N_f=0\) as expected. As shown in Sect. 10.3, there are no contributions from the strong coupling cusps for \(N_f\le 3\) and \(X=\mathbb {P}^2\). Since the holomorphic part of the integrand is a function of u, large m expansion of the latter can be determined as described in Sect. 9.1.
From (2.18), we find for the decoupling formula for equal masses
In the large m limit, the domain is a truncated \(\mathbb {H}/\Gamma ^0(4)\) domain for all \(N_f\), as discussed in Sect. 10.1. Combining the measure factor (8.15) applied to \(X=\mathbb {P}^2\) with (10.27) and (11.2), we find in the notation of (10.4),
Here, we have used the holomorphic part \(F_{\frac{1}{2}}\) of the anti-derivative \(\widehat{F}_{\frac{1}{2}}\). It is straightforward to check that other choices of anti-derivative, such as \(\frac{1}{24}\widehat{H}\) give the same result.
We first present the series in a form which makes the decoupling limit manifest. To this end, we list the coefficients of \((p/\Lambda _1^2)^\ell \) as function of \(\Lambda _0\) and m, up to the overall prefactor \((m/\Lambda _{N_f})^{N_f}\). For \(N_f=0\), we have
For \(N_f=1\), we then find
For \(N_f=2\), we find
Finally, for \(N_f=3\) we find
For the \(m\rightarrow \infty \) decoupling limit (8.23), we multiply by the factor \((\Lambda _0/\Lambda _{N_f})^\alpha \) with \(\alpha =-4\) for \(\mathbb {P}^2\). Eliminating \(\Lambda _0\) by (8.20), this removes precisely the prefactors in the expressions (11.5), (11.6) and (11.7). We thus find a consistent decoupling limit (8.23) to the \(N_f=0\) result (11.4) for all three cases.
To facilitate comparison of these results with the UV expression (3.19), we have presented the data in an alternative form in Tables 4, 5 and 6. Here, correlators \(\Phi _{1/2}[u^\ell ]\) are listed as functions of m and \(\Lambda _{N_f}\). The monomial in m and \(\Lambda _{N_f}\) is expressed as
The exponent of the mass m is the virtual rank (3.13) of the matter bundle, that is, the rank of the obstruction bundle \(W_k^j\). The exponent of the scale \(\Lambda _{N_f}\) can be identified with the (complex) virtual dimension (3.17) of the moduli space (see also (3.19)). The exponent r is the degree of the Chern class of the matter bundle. For \(N_f=1\), we have
With s the exponent of p, the data in Tables 4, 5 and 6 satisfy the selection rule (3.23). Moreover, since the integration is over the instanton moduli space, we have the selection rule \(4p+2r=\text {dim}_{\mathbb {R}}(\mathcal {M}_k^\text {i})\). If the obstruction bundle is a proper bundle rather than a sheaf, we have \(r\le -\sum _j \text {rk}(W^j_k)\). We find that this is the case for all data in these tables. Thus, even though the evaluation of the u-plane integral was performed in terms of a 1/m expansion, the results in the tables have a good \(m\rightarrow 0\) limit. We will discuss this in more detail in the following Sect. 11.2 on the small mass expansion. It is furthermore noteworthy that for fixed \(\ell \) the coefficients have the same sign. The results of the next few sections show only a few exceptions to this.
From the large powers of 2 in the denominators, we deduce that the normalisation is not precisely consistent with integral Chern classes in the large m expansion. We discuss this in more detail in the next subsection, where we give results for generic masses \(m_j\). Mathematically, these invariants are known as (virtual) Segre numbers of X [51]. We comment more on this connection in Sect. 12 on four-manifolds with \(b_2^+>1\).
5.2 Small mass expansion with vanishing background fluxes
For small masses, the integration domains are now naturally the small mass perturbations of the domains for the massless theories. See, e.g. Figure 3 and 6 for the massless \(N_f=1\) and \(N_f=2\) domains. The regularised integration domains suitable for the integration are described in Sect. 10.1, and the weak coupling cusps have width \(4-N_f\). For the anti-derivative of \(\Psi _{1/2}\), we take the \(\text {SL}(2,\mathbb Z)\) mock modular form \(H(\tau )\) (10.17), which transforms consistently on any of these domains.
With the normalisation determined above, we have for the small mass result
For the massless case, Table 7 gives the first 8 nonzero intersection numbers for massless \(N_f=0,1,2,3\). For \(N_f=0\), the results match precisely with [48]. The results for \(N_f=2,3\) are in agreement with the results for \(\Phi ^{N_f,H,1}_{k,m,n}\) in Ref. [20].Footnote 10 We observe that the intersection numbers grow quickly as function of \(\ell \). It would be interesting to study the asymptotic behaviour of these series similar to the case \(N_f=0\) in [56], and leave this for future work.
We notice that in the massless \(N_f=0,1,2\) theories there are constraints for \(\Phi _{\frac{1}{2}}^{N_f}[u^{\ell }]\) to be nonzero:
This matches with the virtual dimensions of the moduli space for \(\mathbb {P}^2\),
If \(\text {vdim}(\mathcal {M}^Q_{k})\) is even for \(\mu =1/2\), is precisely of the form in (11.11).
To treat generic masses, we introduce for \(N_f=2,3\) the mass combinations,
For \(N_f=2,3\), we then find Tables 8 and 9, which agree with the large mass calculation in Tables 5 and 6 by setting \(m_i=m\).
The negative powers of 2 can also be understood as follows. An insertion of \(u^\ell \), gives rise to a factor \(2^{3\ell }\) in the denominator since 2u corresponds to a 2nd Chern character. Then, the factors of 2 in the tables suggest that the class \(c_{l,j}\) in (3.19) is not an integral class, but that \(2^{3\,l/2} c_{l,j}\) is. Thus, each power of u gives rise to a factor of \(2^{-3}\), while that of the matter bundle is \(2^{-{3\, \mathrm rk}(W_k^{N_f})}\),
As a result, we find that in the massless case
where \(d_{N_f}\) is given byFootnote 11
In the massive cases, the vevs \(\Phi _{\frac{1}{2}}^{N_f}[(\tfrac{u}{\Lambda _{N_f}^2})^{\ell }]\) are dimensionless, and so can only depend on the dimensionless ratios \(\mu _j=m_j/\Lambda _{N_f}\). By the above argument, the negative powers of 2 are maximal for the top Chern class. Therefore,
are valued in the polynomial ring in the masses \(\mu _j\) over the integers, with the same denominators \(d_{N_f}(\ell )\) as in the massless case.
5.3 Nonvanishing background fluxes
As described in Part I and above, we can introduce nontrivial background fluxes \({\varvec{k}}_1,\dots , {\varvec{k}}_{N_f}\in H^2(X,\mathbb {Z}/2)\).
For \(X=\mathbb {P}^2\) and \(N_f=1\), the consistent formulation of the theory on \(\mathbb {P}^2\) requires that \(k_1\in \mathbb {Z}+1/2\) for \(\mu =0\), while \(k_1\in \mathbb {Z}\) for \(\mu =1/2\). We first determine the series for the large mass expansion, and using the mock Jacobi form \(F_\mu (\tau ,\rho )\) (10.12). The exponentiated point correlator then reads
For the couplings \(C{:}{=}C_{11}\) (4.10) and \(v{:}{=}v_1\) (2.12), we substitute the expansions (9.4) and (9.5) to sufficiently high order. The result for \(\Phi _0[u^\ell ]\) is listed in Table 10 and for \(\Phi _{1/2}[u^\ell ]\) in Table 11. The results are consistent with the decoupling limit (8.23).
As discussed in the previous section, a small or generic mass calculation requires an anti-derivative that transforms under \(\text {SL}(2,\mathbb Z)\) rather than under a subgroup. In Appendix F, we perform the calculation for \(N_f=1\) and \(N_f=2\) with generic masses, using the mock Jacobi form \(H(\tau ,\rho )\) (D.50) for \(\mu =\frac{1}{2}\) rather than \(F_{\frac{1}{2}}(\tau ,\rho )\). For specific choices of the background fluxes, the naive evaluation using this function gives different results depending on the evaluation point: For large masses, the point correlators have a well-defined \(m\rightarrow \infty \) limit, for small masses they have a good massless limit \(m\rightarrow 0\), while for generic masses, i.e. without expanding in the masses at all, the correlators do not have either of these limits. Possible obstructions for this involve a pole \(\tau _0\) of the anti-derivative \(H(\tau ,\rho (\tau ))\), which is not related to the branch point but rather due to solutions of \(v_j(\tau _0)=\frac{1}{2}\) inside the fundamental domain. In Appendix F, we analyse this issue in some detail and discuss possible resolutions.
6 Contributions from strong coupling singularities
In this section, we analyse the mass dependence of the contributions from strong coupling singularities, or SW contributions, by analysing the wall-crossing of the u-plane integral. The general form of these contributions was determined in [6], and studied in various cases, for instance, for the massless theories on specific manifolds in [21, 76] and for generic masses in [26, 31, 43].
The type of a strong coupling singularity is determined by the Kodaira classification of singular fibres (see Table 25). The monopole and dyon singularities of the pure \(N_f=0\) theory are examples of \(I_1\) singularities.Footnote 12 The collision of n mutually local \(I_1\) singularities gives rise to an \(I_n\) singularity. If rather \(n=2,3,4\) mutually non-local singularities collide, we get type II, III or IV Argyres–Douglas points. Both types of collisions can have nontrivial consequences for the partition functions in the limit.
Most of this section will deal with the \(I_1\) SW contributions for generic four-manifolds. Under various assumptions, we also generalise the arguments to \(I_2\) contributions. For K3, we calculate the SW contributions in various examples in \(N_f=1,2,3\), and study the limit to the AD mass locus in some detail. In Sect. 12.4, we relate the contributions from the instanton component in some examples to Segre numbers [51, 80]. In Sect. 12.5, we discuss the general structure of SW partition functions for arbitrary configurations, extending the notion of generalised simple type conditions familiar from the pure \(N_f=0\) case.
6.1 SW contributions of \(I_1\) singularities
Let us first study \(I_1\) singularities. This is the case for generic masses with arbitrary number \(N_f\) of flavours. The Seiberg–Witten contribution from the strong coupling cusp \(j=1,\dots ,N_f+2\) reads [6],
where n(c) is the complex dimension of the monopole moduli space
and the exponentiated action takes the form
where we specialise to \(N_f=1\) for simplicity. The general form for the contribution of the j-th singularity with general \(N_f\) contains a product \(\prod _{i,k=1}^{N_f}\mathcal {C}_{ik,j}^{B({\varvec{k}}_i,{\varvec{k}}_k)}\) and similar for \(\mathcal D_j\), as explained in part I. Here, \(\mathcal {F}_{{\varvec{\mu }},j}\) is short hand for the four couplings,
For four-manifolds with \(b_2^+=1\), SW invariants are metric dependent [46, 81]. If \(B(c,J^+)>0\) and \(B(c,J^-)<0\), then [82,83,84]
The SW invariant furthermore satisfies [46, 83]
with \(\chi _\text {h}=\frac{\chi +\sigma }{4}\) the holomorphic Euler characteristic.
Changing the known result [46] to our convention using (8.27), the result for \(N_f=0\) is
with \(\lambda =2\chi +3\sigma \).
For instance, for \(X=K3\), we have \(\sigma =-16\), \(\chi =24\), \(\chi _h=2\), \(K=0\) and thus \(\lambda =2\chi +3\sigma =0\). Furthermore, \(\text {SW}(c)=1\) for \(c=0\), and vanishes otherwise. The result for K3 and \(N_f=0\) is then [85, 86]
From the relation in Sect. 10.4 between the wall-crossing of the u-plane integral and SW contributions, we have for the j-th singularity,
We substitute \(\chi =4-\sigma \) in the right hand side, such that
6.1.1 Contribution from monopole cusp \(u_1^*\)
The left hand side is the contribution from the u-plane integral for \(j=1\), which is obtained using the substitution \(\tau =-1/\tau _1\). We introduce
The substitution brings the analogue of the integral (10.38) near singularity \(j=1\) to the form
where we substituted \(c=2{\varvec{k}}\) and \({\varvec{b}}_1={\varvec{k}}_1\,\text {Im}(v_1)\). We assume that \(v_1=\mathcal {O}(q_1)\) for \(\tau _1\rightarrow 0\). We hope to check this in the future.
Comparing (12.10) and (12.12), we can read off the couplings for singularity \(j=1\),
In the large mass expansion, the leading behaviour for \(\mathcal {C}_1\) and \(\mathcal {D}_1\) for \(N_f=1\) can be determined from (9.4) and (9.6) by letting \(\tau \rightarrow 0\). For the other couplings, we substitute (8.13),
Combining all the factors for \({\varvec{k}}_1=0\), we find assuming the simple type condition,
In order to fix \(\kappa _1\), we apply this to \(X=K3\) with \({\varvec{k}}_1=0\),
where we used that \(s_1\) is a third root of unity. Comparing with (12.8) for \(N_f=0\), we then find \(\kappa _1=-2\). This holds for generic \(N_f\) since this number is independent of the masses. Substitution in (12.15) and using (12.6) and \(s_1=1\) gives
This agrees for \(N_f=0\), with the well-known SW contribution at the monopole cusp [46, eq. (2.17)]. Using (9.28) for \(n=1\), this matches for any \(N_f\) with [6, 26].
6.1.2 Contribution from dyon cusp \(u_2^*\)
Let us also consider the contributions from the other cusps. The local coupling \(\tau _2\) reads in terms of the effective coupling \(\tau =2-1/\tau _2\), such that \(\tau \rightarrow 2\) for \(\tau _2\rightarrow i\infty \). We introduce the following couplings
Then, we find from the u-plane for wall-crossing
Following the same steps as for the monopole cusp, we find for the various couplings
This then gives for \({\varvec{k}}_1=0\) (which requires \({\varvec{\mu }}=K/2\) for \(N_f=1\)),
Applying this to \(X=K3\), we find
For \(N_f=0\), we have \(27g_3(u_2^*)=-1=e^{\pi i}\). With \(s_2=e^{4\pi i/3}\) (see Tables 2 and 3), we thus arrive at \(\kappa _2=-2\). The general contribution from this cusp is
6.1.3 Contribution from hypermultiplet cusp \(u_3^*\)
We will continue with the contribution from a singularity associated to one of the fundamental hypermultiplets. We label this singularity as \(u_3^*\), and we assume that this singularity is approached for \(\tau \rightarrow 1\in \mathbb {Q}\). This is case for the hypermultiplet singularity in the \(N_f=1\) theory. The contribution from hypermultiplet singularities in other theories, possibly at other points in \(\mathbb {Q}\), can be determined similarly.
The coupling \(\tau \) then reads \(\tau =1-1/\tau _3\) in terms of the local coupling \(\tau _3\) near the singularity \(j=3\). For simplicity, we fix \({\varvec{\mu }}=K/2\) such that we can choose vanishing background fluxes for the flavour symmetry. Then the wall-crossing of the u-plane integral at \(u_3\) reads
where we used that \(K^2=\sigma \mod 8\).
We then find for the various couplings
We assume that the normalisation \(\kappa _3\) equals \(\kappa _1=\kappa _2=-2\). We then arrive for the general expression at
We have thus derived the SW contributions (12.17), (12.23), (12.26) for singularities at the cusps \(\tau =0,2,1\), as is the case, for instance, in \(N_f=1\) with a generic mass.
6.2 SW contributions of \(I_2\) singularities
In the SW curves for \(N_f\ge 2\), \(I_r\) singularities with \(1<r\le 2N_f-2\) can occur for special values of the masses. Indeed, as shown in (2.22), such higher \(I_r\) singularities occur precisely if some of the \(N_f\) masses (anti-)align. In such cases, there is a singular point on the Coulomb branch where r mutually local dyons become massless. The ‘maximal’ \(I_{2N_f-2}\) singularity occurs precisely in the massless case.Footnote 13
Let us consider such a configuration with an \(I_{r> 1}\) singularity. The (complex) virtual dimension of the r-monopole equation reads [47]
For \(r>1\), the moduli spaces \(\mathcal {M}_r\) are non-compact. There is a global symmetry \(SU(r+1)\) which acts on the moduli space of r-monopole equations. The non-compactness can be mitigated by studying the equivariant cohomology of \(\mathcal {M}_r\) with respect to the \(SU(r+1)\) action [7]. This corresponds to deforming the \(I_r\) singularities to \(I_1\) singularities by making the masses generic, for which the spaces \(\mathcal {M}_1\) are compact.
We will proceed quite heuristically in the following by assuming the existence of well-defined numerical Seiberg–Witten invariants \(\text {SW}_r\) for \(I_r\) singularities, and a wall-crossing formula for these invariants similar to (12.5). We will then show for K3 that smoothness of the partition function as function of the mass implies sum rules for \(\text {SW}_2\) invariants in terms of ordinary \(\text {SW}_1\) invariants. The existence of a smooth limit is nontrivial, even with the freedom to fix \(\text {SW}_2(c)\) with \(n_2(c)\le 0\). We therefore consider it worthwhile to include it here.
We will consider \(r=2\) in what follows. We let the singularity \(u_3^*\) be of type \(I_2\). This makes the analysis suited for the case of \(N_f=2\) with \(m_1=m_2\), as can be seen from Fig. 5. Analogously to (12.1), the contribution from this singularity then reads
where \(\text {SW}_2(c;J)\) is a SW invariant for the r-monopole equations. These invariants are not expected to depend on the same four-manifold data as the \(I_1\) SW invariants. An alternative way to express this contribution is as the \(q_3^0\) term,
Moreover, in the absence of background fluxes, the effective action takes the form
In analogy with (12.5), we assume that these invariants change under wall-crossing as
The relation between the u-plane wall-crossing and the SW contributions then gives
By substitution of \(\chi +\sigma =4\), this becomes
To proceed, we assume that the \(I_2\) singularity is at \(\tau \rightarrow 1\) in the fundamental domain \(\mathcal {F}({\varvec{m}})\), and choose vanishing background fluxes for simplicity. As a result, the ’t Hooft flux is fixed \({\varvec{\mu }}=K/2\). We can determine the couplings \(\mathcal {A}_3,\dots , \mathcal {F}_{{\varvec{\mu }},3}\) by comparing (12.24) and (12.33). This gives
where
6.2.1 \(\varvec{I_2}\) singularity in \(\varvec{N_f=2}\)
We continue by sketching the determination of these couplings for the \(I_2\) singularity in the \(N_f=2\) theory with equal masses. The functions u and \(\textrm{d}a/\textrm{d}u\) are known exactly for this theory [19, Section 5.1], we recall them in (E.13),Footnote 14 It is then straightforward to determine couplings near the \(I_2\) singularity \(\tau =1-1/\tau _3\rightarrow 1\). For example, \((\textrm{d}a/\textrm{d}u)_3\) is given by (E.18), with leading terms in (E.19).
One similarly determines the first terms in the \(q_3-\)expansions of \(u_3\) (E.20), and \(a_3\) (E.21) at this singularity. Substitution in (12.34) then allows to the determine the contribution from the \(I_2\) singularity for the equal mass theory.
6.3 Results for K3
Using the above formulas, it is straightforward to explicitly calculate SW contributions for specific four-manifolds, for generic as well as specific masses. We focus in this subsection on evaluations for \(X=K3\), and discuss \(N_f=1,2,3\) separately.
6.3.1 \(\varvec{N_f=1}\)
For simplicity, we consider a vanishing background flux, \({\varvec{k}}_1=0\), such that \({\varvec{\mu }}=0\) necessarily. The full correlation function (8.4) then reads,
We can evaluate this for generic mass m using the topological data mentioned above Equation (12.8). This gives the results listed in Table 12.
Similarly to the case for the u-plane integral for \(\mathbb P^2\) without background fluxes, large mass and small mass expansions of the singularities \(u_j^*\) and their contributions give identical results, which demonstrates that these correlation functions are smooth functions of m. Given the intricate cubic roots (see discussion around (9.12)), it is remarkable that the mass expansions terminate at finite order.Footnote 15
The dimension of the moduli space and the rank of the matter bundle are
This is positive for small k, and as a result the dimension of the moduli space of non-Abelian monopoles is larger than the moduli space of instantons for these values. The point observable u is a 4-form on the moduli space \(\mathcal {M}^Q_k\) of non-Abelian SW equations.
Large mass limit and expansion
The decoupling limit \(m\rightarrow \infty \) (8.23) applied to \(Z_0[u^\ell ]\) does not exist, since the contribution of \(u_3^*\) diverges. There is thus no smooth decoupling limit to the \(N_f=0\) result as before for \(\mathbb {P}^2\). However motivated by the distinction between the monopole and instanton component, see Fig. 9 in Sect. 7, we can consider the partition function for the instanton component as the sum of the contribution of \(u_1^*\) and \(u_2^*\),
Then, the decoupling limit applied to \(Z^\text {i}_0(m)[u^\ell ]\) is consistent with the \(N_f=0\) result, that is to say, it vanishes in the limit. This is due to the dimension of the moduli space not being a multiple of 4 in this case, such that insertions of point observables give a vanishing answer.
We can consider the large mass expansion of \(Z_0^\text {i}\). In contrast to \(Z_0(m)[u^\ell ]\), this is an infinite series. The first few terms are,
The infinite series demonstrate that infinitely many instanton sectors contribute. For example, we deduce from \(Z^\text {i}_0[u^0]\) that the top Chern class has maximal degree \(2\dim (\mathcal {M}^\text {i}_k)\) and thus exceeds the rank of the matter bundle. In other words, it is actually a matter sheaf rather than a matter bundle.
Small mass expansion
Instead of a large mass expansion, one can also make a small mass expansion of the contributions of \(u_1^*\) and \(u_2^*\). The coefficients turn out to be complex numbers, obscuring their interpretation as intersection numbers. Moreover, the expansion involves negative powers of \(\Lambda _1\), which suggests that the terms arise from sectors with negative instanton numbers k. Altogether, the large m expansion thus seems more physical.
Limit to AD mass
In Sect. 8.1, we argued that in an AD limit \(m\rightarrow m_{\text {AD}}\), we can split the singularities into two sets S and \(S'\), where the singularities in \(S'\) collide in the AD point, while the ones in S are not involved in the limit. The contribution from \(S'\) we denote in (8.3) by \(Z_{\widetilde{\text {AD}}}\). In our notation, the singularities \(u_2^*\) and \(u_3^*\) then give the contribution \(Z_{\widetilde{\text {AD}}}\).
In the limit \(m\rightarrow m_{\text {AD}}=\tfrac{3}{4} \Lambda _1\) for \(N_f=1\), the contributions from \(u_2^*\) and \(u_3^*\) diverge individually as \((m-m_{\text {AD}})^{-\frac{1}{2}}\), where the coefficients for \(u_2^*\) and \(u_3^*\) differ by a minus sign. Their sum is correspondingly regular, and we find a finite limit \(Z_{\widetilde{\text {AD}}}\). The conditions for a smooth limit were studied in [26], and led to sum rules for SW invariants and the notion of superconformal simple type. For the type II AD point on K3, there is no such sum rule, which is indeed not necessary because the partition function itself is regular without any constraints.
More specifically, we calculate \(Z_{\widetilde{\text {AD}}}[1]=\frac{320}{9}\), while the contribution from \(u_1^*\) is \(\frac{4}{9}\). All together it reproduces the result in Table 12 at \(m=m_{\text {AD}}\). For \(\ell =1\), the first cusp contributes \(-\frac{5}{12} \Lambda _1^2\), and the sum of \(u_2^*\) and \(u_3^*\) is \(Z_{\widetilde{\text {AD}}}[u^1]=\frac{80}{3} \Lambda _1^2\). Their sum again agrees with the table. We can in fact calculate the AD contribution for any \(\ell \),Footnote 16
where \(u_{\text {AD}}=\frac{3}{4}\Lambda _1^2\). Clearly, all point correlators are nonzero. This is an indication that the selection rule associated with the SCFT is not valid in this case [28, 29, 87]. This selection rule reads \(3\ell =1\) for K3 in the absence of surface observables, and so it does not have any solutions for point observables only. We conclude that this selection rule is not valid for the AD point of the SQCD curve. Rather, it holds for the AD curve obtained by promoting the deformation parameters to operators and assigning scaling dimensions [2, 26, 29]. This explains our notation \(Z_{\widetilde{\text {AD}}}\), where we keep \(Z_{\text {AD}}\) for the partition function calculated from the AD curve.
Notably, from (12.40) it follows that
where \(\texttt {u} =u-u_{\text {AD}}\) is the Coulomb branch parameter with the AD point at its origin. That is, the 0-observable \(\texttt {u} \) is a null vector of the \(\widetilde{\text {AD}}\) theory, which is in agreement with the selection rule (see also [29]). We will discuss the relation to SW contributions of AD curves in a future work [55].
6.3.2 \(\varvec{N_f=2}\)
We continue with the \(N_f=2\) theory. For distinct masses, \({\varvec{m}}=(m_1,m_2)\) with \(m_1\ne m_2\), this theory has four strong coupling singularities of type \(I_1\). We find for the partition function,
The divergence is due to the monopole contributions of the singularities \(u_3^*\) and \(u_4^*\).
The singular behaviour near the equal mass limit, \({\varvec{m}}=(m,m)\), has an interesting interpretation in terms of vertex algebras [43]. The singularity is expected to be cancelled by a contribution from the Higgs branch (we will comment on this further below).
The equal mass limit is non-singular for the contributions from \(u_1^*\) and \(u_2^*\). For the partition function of the instanton component (12.38) with equal masses, we find
The equal mass case and multi-monopole SW invariants
Instead of taking the equal mass limit of \(Z_0({\varvec{m}})\), one can evaluate the partition function directly at \(m_1=m_2=m\). While this gives a finite answer, the theory now involves a strong coupling cusp of type \(I_2\). The Q-fixed equation is a multi-monopole equation, and will thus involve a generalisation of the SW invariant for \(I_1\) singularities as discussed in Sect. 12.2. Even though the limit \(m_1\rightarrow m_2\) is singular for the sum of the contributions from \(u_3^*\) and \(u_4^*\), one obtains a finite answer if one works directly in the equal mass theory \(m_1=m_2=m\). This was demonstrated for \(m=0\) in [21].
To this end, let us recall that for a nonvanishing contribution, the virtual dimension of the monopole moduli space (12.27) should be nonnegative, while at the same time \(c_+^2=0\). These two conditions have no solutions for a generic Kähler point J except for \(c=0\), but can have a finite number of solutions for special choices of J.
For K3, the requirement that (12.27) is nonnegative is \(c^2\ge 16(\frac{1}{r}-1)\). Together with the condition that \(c_+=0\) and that c is a \(\text {Spin}^c\) structure, this gives the following possibilities
The contributions from different c can have different signs, such that the total contribution can be metric independent, even if individual contributions are metric dependent.
Returning to the case \(r=2\), using the exact expressions in Appendix E.3, for the contribution from \(c=0\) we obtain
and for the contribution from \(c^2=-8\)
In the massless limit, these contributions (12.45) and (12.46) match with [21, Eq. (4.6)] (with \(c=2\lambda _{\text {KY}}\)). The total result then becomes
where we substituted the contribution from \(u_1^*\) plus \(u_2^*\) given in Eq. (12.43), and made the dependence on \(\text {SW}_1(0)\) explicit.
While this is finite for generic m, we notice a divergence for the individual contributions as the mass approaches the AD mass, \(m\rightarrow m_{\text {AD}}= \Lambda _2/2\). On the other hand, the previous discussion and results for \(N_f=1\) give an indication that the combined contribution of the three cusps may become a (Laurent) polynomial in m. In addition to (12.47), there is a contribution from the non-compact Higgs branch. It is unclear, however, how the Higgs branch dynamics could cancel the divergence for \(m\rightarrow m_{\text {AD}}= \Lambda _2/2\). Although heuristically, we are then led to the idea that the 2-monopole invariants \(\text {SW}_2\) satisfy special relations to ensure smoothness at \(m_{\text {AD}}= \Lambda _2/2\). This is similar to the constraints on the SW invariants from the AD mass locus in other theories [26].
To deduce the relations for \(\text {SW}_2\), note that both contributions from \(c=0\) (12.45) and \(c^2=-8\) (12.46) have a cubic singularity at \(m=m_{\text {AD}}\). Correspondingly, their sum is regular in the AD limit if three linear combinations of the invariants \(\text {SW}_2(c)\) vanish. Remarkably, there is a linear dependence among these three combinations, and the AD limit is regular ifFootnote 17
These vanishing combinations are reminiscent of the sum rules for the type II AD theory [26]. The unique solution to these equations, setting \(\text {SW}_1(0)=1\), is
We list correlation functions \(\left\langle u^\ell \right\rangle \) for small \(\ell \) in Table 13 for this solution. Since the correlation functions are polynomials in m, the AD limit \(m\rightarrow m_{\text {AD}}\) is smooth. More generally, we expect that the multi-monopole invariants \(\text {SW}_{r>1}\) can be deduced in this way from the \(I_1\) SW invariants.
We do stress though that the analysis of the multi-monopole suggests that \(\text {SW}_2(c)=0\), \(c\ne 0\), for generic metric since there are no solutions to \(c_+=0\). It is thus an interesting question whether (12.49) can be derived starting from the multi-monopole equations.
Comparing different limits
In [26, 27], the collision of two \(I_1\) singularities to a type II AD point has been considered, which is the only existing limit in \(N_f=1\). For \(N_f\ge 2\) on the other hand, higher type AD points appear, which allow for a larger variety of possible collisions. If we have two masses, for instance, we can form a type III AD point in three possible ways (see Fig. 12). Carefully calculating the three possible limits of partition functions should allow us to study the precise form of the contribution from the Higgs branch (see also [7, 43, 54, 88,89,90,91]).
We can now compare the calculation of the SW contribution from the type III Argyres–Douglas point, as illustrated in Fig. 12. As required, the limit \(m\rightarrow m_{\text {AD}}\) for the \(I_2+I_1\) contribution is smooth, and from Table 13 we find that it equals 32. Calculating the limit of \(I_1+I_1+I_1\) from any direction away from \(m_1=m_2\), we can use the expansion (12.42) for \(N_f=2\), where we expand all singularities around \(m_1=m_2\). This expansion agrees with setting say \(m_1=m_{\text {AD}}=\frac{1}{2}\Lambda _2\) and considering the limit \(m_2\rightarrow m_{\text {AD}}\), as in Fig. 12. In this limit, the constant part in (12.42) evaluates to 32 as well, such that the two limits \(I_1+I_1+I_1\rightarrow III\) and \(I_2+I_1\rightarrow III\) agree precisely, up to the divergent term \(32\Lambda _2^2/(m_1-m_2)^2\). Thus the \(\text {SW}_2\) invariant for the \(I_2\) contribution naturally regularises the singular limit of colliding two \(I_1\) singularities. This is another nontrivial constraint on the relations (12.49).
6.3.3 \(\varvec{N_f=3}\)
Another configuration suitable for studying \(I_2\) singularities is \({\varvec{m}}=(m,0,0)\) in \(N_f=3\), which for generic mass m is \((I_1^*,2I_2,I_1)\). See, for example, [19] for more details. The two \(I_2\) singularities \(u_\pm =\frac{1}{8} m\Lambda _3\) become the \(I_4\) singularity in the massless limit \(m\rightarrow 0\), while the \(I_1\) singularity \(m_*=m^2+\frac{1}{2^8}\Lambda _3^2\) collides with either \(u_+\) or \(u_-\) for \(m\rightarrow \pm m_{\text {AD}}{:}{=}\frac{1}{16}\Lambda _3\). We can calculate the sum over the two \(I_2\) SW contributions and the \(I_1\) SW contribution. For this, we solve the sextic equation associated with the SW curve [19] and calculate the local expansions a, \(\frac{\textrm{d}u}{\textrm{d}a}\), \(\frac{\textrm{d}a}{\textrm{d}\tau }\) and \(\Delta _3\) near the cusps \(u_\pm \) using either of the two respective solutions near the cusps. We find again that the AD limit \(m\rightarrow m_{\text {AD}}\) is regular if we impose sum rules on the SW invariants. With the expressions (12.34), we find that the AD limit is regular if and only if (12.49) holds. This may be viewed as a consequence of the fact that the SW curves for \({\varvec{m}}=(m,m)\) and \({\varvec{m}}=(m,0,0)\) are isogenous [92].
We list some values of \(Z_0[u^\ell ]\) in Table 14. The order 6 pole comes from the mass singularity, since for \(N_f=3\) we have \(\left( (m_1-m_2)(m_2-m_3)(m_3-m_1) \right) ^{\chi _h}\sim m^6\) for all masses vanishing. One qualitative difference to \(N_f=2\) is that the mass divergence for \(m\rightarrow 0\) disappears for larger \(\ell \), i.e. \(Z_0[u^\ell ]\) is regular as \(m\rightarrow 0\) for \(\ell \ge 5\). For the \(I_2\) singularity in \(N_f=2\), the leading term is always \(m^{-2}+\) regular, for any \(\ell \).
6.4 Relation to results for algebraic surfaces and Segre numbers
The coefficients in the mass expansions such as (12.39) and (12.43) are known in the mathematical literature as Segre numbers [80]. Yet, in the UV formulation (see Sect. 3.3), correlation functions are intersection numbers obtained by integrating Chern classes on the moduli space. In this Section, we aim to explain the connection between Chern classes and Segre classes, and provide a relation between SW partition functions and these geometric invariants.
6.4.1 Brief review of Segre classes of moduli spaces
The (total) Segre class s(E) of a vector bundle is a characteristic class, which is suitable for the analysis of intersection theory in singular settings.Footnote 18 In this context, the more familiar Chern classes are defined in terms of the Segre classes. To this end, one defines for a vector bundle E the following formal power series,
in terms of the Segre classes \(s_j(E)\). We refer for their definition to [93, Section 3.1]. The Chern classes \(c_j(E)\) are then defined by the inverse of \(s_t(E)\),
It can be shown that \(c_t(E)\) is a polynomial whose degree is bounded by \(\text {rk}(E)\).
Segre classes first appeared in the context of moduli of vector bundles in an article by Tyurin [50]. Lehn [94] put forward an algorithmic description for the evaluation of top Segre classes for Hilbert schemes of points, which corresponds physically to U(1) gauge theory. His conjecture was recently proven in [95]. Reference [96] gives proofs for various conjectures relating Segre and Verlinde numbers of Hilbert schemes. Segre classes were introduced in [51] for higher-rank bundles over projective surfaces. Reference [53] gives proofs for these higher-rank conjectures for K3 surfaces as well as for the Segre-Verlinde correspondence. Segre classes have also appeared in a series of work by Feehan and Leness on SW invariants for specific monopole moduli spaces [97,98,99,100]. See also [101] for a recent survey on recent conjectures on the various correspondences.
6.4.2 Comparison between Segre numbers and physical correlation functions
In order to demonstrate the correspondence between Segre numbers and physical partition functions, let us first give the mathematical presentation. For simplicity, we fix the gauge group to be SU(2), and will not consider surface observables. Then \(\rho =2\), \(s=N_f\) and \(L=0\) in [51, 80]). Conjecture 2.8 in [51] reads in terms of the universal functions \(V,W,\dots \),
where \(\alpha _\mathcal {M}\) is related to \(\alpha \) using the universal bundle, and we used that the SW basic class c is related to a by \(c=K_X-2a\). The functions V, W, X, T are explicitly determined in [51, 80] for arbitrary rank. This leads typically to an infinite series in the parameter z, which suggests that \(\alpha _\mathcal {M}\) is a sheaf rather than a vector bundle.
Clearly, the structure of (12.52) is very similar to that of (12.3), and we can relate the functions \(\mathcal {A}_1,\mathcal {B}_1,\dots \) to combinations of the functions \(V,W,\dots \).
We discuss in the following the agreement of some of the functions in both the physical and mathematical approach.
6.4.3 \(\varvec{N_f=1}\)
Let us begin with the case of only one mass. The expansion in z is expressed by introducing an auxiliary variable t through \(z=t(1+t/2)^{1/2}\). This relation can be inverted, which we denote by t(z).Footnote 19 The universal functions then read as function of t as [51],
By comparing (12.3) and (12.52), we deduce that X is proportional to \(\mathcal {A}_1^{12}/\mathcal {B}_1^8\). Using (12.14), we then find the relation
with the identification
Comparison of (12.3) and (12.52) also identifies T and \(u_1^*\). Indeed with the relation (12.55), we arrive at
This equivalence is due to the identity
where \(\Delta _1\) is the discriminant of \(N_f=1\). These identities are consequences of the SW geometry alone. For instance, we can prove the first identity using the definition (12.53) and reducing the sextic polynomial \(\Delta _1(-m^2T(t(z)))\) in t(z) using \(t^3+2t^2-2z^2=0\).
For \(N_f=1\), there is a \(\mathbb Z_3\) symmetry (9.14) that relates all three singularities \(u_j^*\) under \(\mathbb Z_3\) rotations of \(\Lambda _1\). This would suggest that if one singularity \(u_1^*\) is related to universal functions generating the Segre invariants (as in (12.57)), then it must be true also for the other singularities. This is, however, not the case, as can be seen by expanding t(z) as a series in z, which is a (regular) Taylor series at \(z=0\) (see footnote 19). If we rotate \(\Lambda _1\mapsto \zeta _3\Lambda _1\), the variable z (12.55) is mapped to \(-z\). Thus under the change of variables \(t\leftrightarrow z\) relating the SW invariants to Segre invariants, the \(\mathbb Z_3\) symmetry collapses to a \(\mathbb Z_2\) symmetry, relating the contributions \(u_1^*\), \(u_2^*\) constituting the instanton component. We find,
while \(u_3^*\) cannot be expressed through T.
If we expand at \(m=0\) rather, we have the full \(\mathbb Z_3\) symmetry \(u_j^*(\zeta _3\Lambda _1)=u^*_{j+1}(\Lambda _1)\) with \(j\mod 3\). Expanding t(z) (12.53) for large z gives a Laurent series in \(z^{\frac{2}{3}}\) at \(z=\infty \). Rotating \(\Lambda _1\mapsto \zeta _3\Lambda _1\) gives \(z\mapsto e^{\pi i}z\) and thus three different solutions t(z), and therefore
For large masses, the singularity \(u_3^*\) corresponds to the hypermultiplet that decouples, and thus is associated with the monopole component. For small masses on the other hand, the three singularities \(u_{1,2,3}^*\) are indistinguishable. This can also be seen from the fact that \(u_2^*\) and \(u_3^*\) merge as we increase the mass from \(m=0\) to \(m_{\text {AD}}=\frac{3}{4}\Lambda _1\). Thus, the labels of the singularities \(u_j^*\) are not meaningful throughout the whole parameter space of the masses. As a consequence, it is not possible to attribute either \(u_{1,2,3}^*\) to the monopole component, which enables the identification (12.59).
To include a background flux for \(N_f=1\), we identify \(c_1(\alpha )={\varvec{k}}_1\) and \(c_2(\alpha )=0\). Comparison of (12.3) and (12.52) relates W and \(\mathcal {C}_1\). Indeed, using the large mass expansion (9.4) in terms of modular forms, we can compare the first terms near \(u_1^*\), that is, in the limit \(\tau _1=-1/\tau \rightarrow i\infty \). This matches indeed with the relation
Returning to the specific K3 geometry, we have \(\chi _h=2\), while \(K_X=0\). The odd powers of z of (12.52) agree with the large mass expansions in Eq. (12.39) up to an overall power in z. In fact, we can express the contribution from the \(u_1^*\) singularity for K3 in terms of X, W and T,
6.4.4 \(\varvec{N_f=2}\)
Using the equal mass \(m_1=m_2=m\) theory for \(N_f=2\), we can also check the matching with Segre invariants. For simplicity, we consider the theory only in the absence of background fluxes.
The auxiliary variable t is equal to z in this case. With \(s=N_f=2\), one finds for X from [51],
Then with the identification
one finds the same expansion as for the contribution of the monopole cusp \(u_1^*\). On the other hand, we find a slightly different value when point observables are inserted, \(T(z)=2z\), whereas \(u_1^*=-\Lambda _2 m -\frac{\Lambda _2^2}{8}\). Of course, both insertions capture the same information.
6.5 Generalised simple type
To conclude this Section on SW partition functions for SU(2) SQCD, we study a generalisation of the simple type condition familiar from the pure SU(2) theory.
Let us define the generating functional of Seiberg–Witten invariants (\(b_2^+>1\))
where \(Z_{\varvec{\mu }}\) is the sum over the contributions of all the \(N_f+2\) strong coupling cusps. In the following, we drop labels such as ‘SW’ and \({\varvec{\mu }}\) to avoid cluttering the notation, and denote the functions by \(Z^{N_f}\).
General structure results about such generating functionals are known since the work of Kronheimer and Mrowka [102,103,104] (see also [83, 105]). For instance, a four-manifold is of generalised simple type if there exists an integer \(n\ge 0\) such that the generating function satisfies
where we focus on the dependence of \(Z^{N_f}(p){:}{=}Z^{N_f}[e^{2p u/\Lambda _{N_f}^2}]\) on p only. The order is the minimum of all n such that (12.65) holds. It has been shown that if \(b_2^+(X)>1\), then the order of generalised simple type manifolds does not depend on the choice of ’t Hooft flux \({\varvec{\mu }}\), that is, it only depends on the four-manifold. In fact, all four-manifolds with \(b_2^+>1\) are of finite type. A manifold is said to be of Donaldson simple type if it is of simple type with \(n=1\). While all four-manifolds with \(b_2^+>1\) are of generalised simple type, it is not known if there are simply-connected manifolds with \(b_2^+>1\) which are not of Donaldson simple type. Donaldson invariants for manifolds which are not of simple type have been studied in [106,107,108].
For instance, for X a K3 surface the result is
In the pure SU(2) case, acting with the operator \(\partial _p^2-4\) on correlation functions is analogous to an insertion of the discriminant \(\Delta \) into the u-plane integral [6]. Since at the monopole and dyon cusps, \(\Delta _D(\tau )= q+\mathcal {O}(q^2)\), this increases the overall q-exponent of the integrand by one. For arbitrary signature, inserting \(\Delta ^n\) with large enough n will annihilate the partition function.
In [21, 76, 109], it has been observed that the SW contribution in massless SQCD satisfies a similar, but higher-order differential equation. In the massless \(N_f=1\) theory, the generating functional satisfies [21]
which can be directly confirmed from the sum over (12.16). This differential equation has a three-dimensional solution space which is spanned by the functions \(e^{2p\texttt {u} _j^*}\), where \(\Delta _1(\texttt {u} _j)=0\) are the three roots of the massless \(N_f=1\) discriminant, and \(\texttt {u} {:}{=}u/\Lambda _1^2\). The three coordinates can in this case be easily determined, and are just proportional to \(\texttt {u} _j^*\). This gives [21]
In the massive case, to the best of our knowledge such a result is not known in the literature. By collecting the results for massive \(N_f=1\) on K3 (such as in Table 12) into a generating function, we obtain the relation
where \(\mu =m/\Lambda _1\) is the dimensionless mass. Solutions to this equation take a similar form to (12.68), with coefficients now more complicated functions of the dimensionless singular points \(\texttt {u} _j^*\).
6.5.1 \(\varvec{I_1}\) singularities
We can in fact easily find the simple type condition for SQCD with \(N_f\) generic masses. If we write the contribution from each cusp as (we again drop some dependence in the notation)
we resum it in (12.64) to find
Let us consider the function \(f_j(p)=e^{p \, \texttt {u} _j^*}\), where the \(\texttt {u} _j^*\) are roots of some polynomial, \(\Delta _{N_f}(\texttt {u} _j^*)=0\) (we consider \(\Delta _{N_f}\) as a polynomial in \(\texttt {u} _j=u/\Lambda _{N_f}^2\)). Then these \(2+N_f\) functions \(f_j\) form the basis of the \(2+N_f\)-dimensional \(\mathbb C\)-vector space of solutions to the \(2+N_f\)-order linear ODE \(\Delta _{N_f}(\partial _p)f(p)=0\). This is clear from the fact that
Indeed, \(\Delta _{N_f}\) is the characteristic polynomial of this differential equation. In order to apply this to (12.71), we need to multiply p again by 2, due to conventions. It follows that
This relation includes (12.66), (12.67) and (12.69) as examples, and it is expected to hold for any configuration only involving \(I_1\) singularities. Similar to the case \(N_f=0\), we can understand (12.74) as inserting the discriminant \(\Delta _{N_f}\) into the u-plane integral. Since \(\Delta _{N_f}^D(\tau )=q+\cdots \) for any cusp, this increases the exponent of the integrand q-series by one, and will thus eliminate the contribution from the strong coupling cusps to the partition function if applied sufficiently many times.
6.5.2 \(\varvec{I_2}\) singularities
From (12.74), it is possible to extract the behaviour of the generating function \(Z^{N_f}\) in the case where some of the singularities collide. Consider, for example, the case where all \(I_1\) singularities collide in an \(I_k\) singularity (this is not possible for the SW curves (2.17), we are merely illustrating the structure). When zeros of the characteristic polynomials merge, the basis of the space of solutions to the ODE seemingly collapses. However, the dimension of the solution space is independent of the coefficients of the characteristic polynomial, as it only depends on its degree. Let, for instance, \(\Delta (u)=(u-u_0)^k\) and we consider the equation \(\Delta (\partial _p)f(p)=0\). As an elementary calculation shows,Footnote 20 a basis of solutions is given by the functions \(f(p)=P_{k-1}(p)e^{pu_0}\), with \(P_{k-1}\) a polynomial of degree \(k-1\). This structure agrees with the results (4.6) and (4.10) in [21]. For the higher \(I_k\) singularities, there are contributions from subleading terms, and as mentioned above, only applies to \(\Delta _{N_f}^n\) for some power n. This follows necessarily also from the structure of the ODE, since the generating function (12.71) is never of the form \(f(p)=P_{k-1}(p)e^{pu_0}\) unless \(k=1\).
For \(I_n\) with \(n>1\), in particular massless \(N_f=2\) and 3 where \(n=2\) and \(n=4\) occur, the degree of the differential operator is known to in general exceed the degree of the discriminant. For \(X=K3\), it has been shown that in the massless case \(D_{N_f}(\tfrac{1}{2}\partial _p)Z^{N_f}(p)=0\), where \(D_{2}\) is a polynomial factor of \(\Delta _2^2\), and \(D_3\) is a factor of \(\Delta _3^7\) [21].
We can confirm this by an explicit calculation. Let \(m_1=m_2=m\) in \(N_f=2\), then there are two \(I_1\) singularities \(u_\pm \) and an \(I_2\) singularity \(u_*\), in the same notation as [19]. The physical discriminant accordingly reads \(\Delta _2(u)=(u-u_*)^2(u-u_+)(u-u_-)\). Using the results from Sect. 12.2 (in particular, resumming the values in Table 13), we can show that in this case the multiplicity of the \(I_2\) singularity increases to 3 in the differential equation,
In the massless limit \(m\rightarrow 0\), the singularities \(u_\pm \) merge to another \(I_2\) cusp \(u_0\). Calculating the \(I_2\) correlation functions for both \(u_*\) and \(u_0\), we find that
This matches precisely with [21, (4.8)]. Thus whenever two \(I_1\) singularities in the \(N_f=2\) theory collide, in the ODE the linear factors are enhanced to cubic factors.
We can get another similar result for the massive configuration \({\varvec{m}}=(m,0,0)\) in \(N_f=3\), which has discriminant \(\Delta _3(u)=(u-u_+)^2(u-u_-)^2(u-u_*)\). The point correlators are given explicitly in Table 14. Resumming all point observable correlators, we find that the generating functions satisfies
6.5.3 \(\varvec{I_n}\) singularities
Higher \(I_n\) contributions have also been studied in [21]. For the \(I_4\) cusp of massless \(N_f=3\), the multiplicity of the corresponding factor in the generalised simple type condition is 7. This motivates the following conjecture: Let \({\varvec{m}}\in \mathbb C^{N_f}\) be a mass configuration giving rise to a spectrum \({\varvec{n}}({\varvec{m}})=(n_1,n_2,\dots )\) of massless hypermultiplets at each singularity, i.e. the physical discriminant is \(\Delta _{N_f}(u)=\prod _j (u-u_j^*)^{n_j}\). Then the generating function of SW invariants satisfies
This in particular implies that \(\Delta _{N_f}(\tfrac{1}{2}\partial _p)^7Z^{N_f}(p)=0\) for all \(N_f=0,\dots , 4\) and all mass configurations, since \(n_j\le 4\) for \(\mathcal {N}=2\) SU(2) SQCD [19, 110].
The reason for the enhanced exponents is the fact that for \(n_j\ge 1\), the residues receive contributions from subleading terms in the expansion. For \(n_j=2\) in \(N_f=2\) in particular, next-to-next-to-leading order terms of all quantities involved are required for the calculation. Analogous to the above comment, we can thus always express the generating function as
where \(u_j^*\) are the singularities with multiplicities \(n_j\), and \(P_{2n_j-2}(p)\) are polynomials of degree \(2n_j-2\) in p with coefficients depending on the masses \({\varvec{m}}\).
7 Contribution from AD points
As discussed in part I, the superconformal Argyres–Douglas theories present themselves in the fundamental domain as elliptic points and can contribute to u-plane integrals. Partition functions of Argyres–Douglas theories have been studied in various contexts, such as in the \(\Omega \)-background [22,23,24,25] and in topological theories [26,27,28,29,30,31,32].
As demonstrated in, e.g. [5, 6, 29], the contribution from ‘interior’ points of the u-plane, i.e. AD points or the UV point in \(N_f=4\) or \(\mathcal {N}=2^*\), exhibits continuous metric dependence rather than discrete wall-crossing.Footnote 21 Unlike the evaluation of the contribution from the cusps, the contribution from the AD points for a specific choice of period point J of the metric will then not be constant in the whole chamber of J. Rather, under small deformations of J it is expected to vary continuously. Note that this can only occur for \(b_2>1\), since for \(b_2=1\) and \(\mathbb P^2\) in particular, the period point is unique.
In this section, we focus on the asymptotic behaviour of the u-plane integrand and derive conditions for the integral to be sufficiently singular near the AD point to pick up a contribution. We find that for a large class of manifolds, the contribution from any AD point in any theory vanishes.
While the following discussion can be applied to a large extent to general SW curves, we want to stress that in this part II we calculate only the contributions from the Coulomb branch of SU(2) SQCD, including the contribution from the AD points to SQCD partition functions. As discussed before in Sect. 8.1, this can differ from the Argyres–Douglas partition functions themselves, for which a similar analysis can be done using the curves in [2].
7.1 Expansion at AD point
For generic masses, the SW surface for \(N_f\) flavours is a rational elliptic surface with an \(I_{4-N_f}^*\) fibre at infinity corresponding to weak coupling, and \(2+N_f\) isolated \(I_1\) singularities at strong coupling.Footnote 22 For specific configurations of the masses, however, the singularities can collide. For instance, when \(m_{N_f}\) is large and the other masses are generic, one \(I_1\) fibre merges with the fibre \(I_{4-N_f}^*\) to form a new fibre \(I_{4-(N_f-1)}^*\) at infinity [19]. When \(m_i=\pm m_j\) for \(i\ne j\), two \(I_1\) singularities collide and become an \(I_2\) fibre [1] (see also (2.22)). Finally, there is a locus \(D^{\text {AD}}_{N_f}=0\) in mass space where fibres of the type \(I_n\) collide and become an additive fibre \(\mathscr {A}\in \{II, III, IV, IV^*, III^*, II^*\}\). For the SW surfaces, the only possibilities are \(\mathscr {A}\in \{II, III, IV\}\).
One important distinction has to be done between the SQCD curves (2.17) and the curves for the AD theories, discussed in [2] for instance. As recently reviewed in [15], the fibre at infinity essentially determines the field theory by giving it a ‘UV definition’: For SQCD with \(N_f\) hypermultiplets it is \(I_{4-N_f}^*\), while for the AD curves it is \(II^*\), \(III^*\) and \(IV^*\) for the II, III and IV AD theories (see, for instance, [14]). On the other hand, the singular types \(II^*\), \(III^*\) and \(IV^*\) themselves are associated with the Minahan–Nemeschansky (MN) SCFTs [33, 34]. These theories do not appear in SU(2) SQCD; however, the below analysis carries over to a large extent to such singularities. In this section, we focus on the SQCD curves, with masses tuned such that an AD point appears. We plan to discuss the topological theory for the AD curves in a future work [55].
When the SW surface contains such an additive fibre II, III, IV, the functional invariant \(\mathcal {J}\) becomes either 0 (for II and IV) or \(12^3\) (for III). As we identify it with the modular j-invariant, these correspond to points \(\tau _0\) in the fundamental domain with \(j(\tau _0)\) either 0 or \(12^3\), which means that \(\tau _0=\gamma \alpha \) or \(\tau _0=\gamma i\) for some \(\gamma \in \text {PSL}(2,\mathbb Z)\), where \(\alpha =e^{2\pi i/3}\) is a cube root of unity. Those are the elliptic points of \(\text {PSL}(2,\mathbb Z)\). In general, the fundamental domain \(\mathcal {F}({\varvec{m}})\) for some mass configuration \({\varvec{m}}\) is not modular; however, in some cases \(\mathcal {F}({\varvec{m}})\) is the fundamental domain for a subgroup of \(\text {PSL}(2,\mathbb Z)\) and then \(\tau _0\) is an elliptic point for that subgroup [15, 16, 19].
Let us study the behaviour of the u-plane integrandFootnote 23
of (5.1) near \(\tau _0\), where we drop some of the dependence for brevity. We also turn off the background fluxes for now. Recall from (5.4) that the elliptic variable then reads \( {\varvec{z}}=\frac{{\varvec{x}}}{2\pi \Lambda _{N_f}}\frac{\textrm{d}u}{\textrm{d}a}\). Let us assume that we can express \( \Psi (\tau ,\bar{\tau },{\varvec{z}},\bar{\varvec{z}})=\partial _{\bar{\tau }}\widehat{G}(\tau ,\bar{\tau },{\varvec{z}},\bar{\varvec{z}})\), then the function
is an anti-derivative of the integrand, as it satisfies \(\partial _{\bar{\tau }} \widehat{h}(\tau ,\bar{\tau })=\mathcal {I}(\tau ,\bar{\tau })\). Thus, \(-\mathrm d(\widehat{h} \,\textrm{d}\tau )=\textrm{d}\tau \wedge d\bar{\tau }\, \mathcal {I}\), such that we can apply Stokes’ theorem and find that the integral of \(\textrm{d}\tau \wedge d\bar{\tau }\, \mathcal {I}(\tau ,\bar{\tau })\) over \(\mathcal {F}({\varvec{m}})\) is given by \(-\int _{\partial \mathcal {F}({\varvec{m}})}\textrm{d}\tau \,\widehat{h}(\tau ,\bar{\tau })\).
As discussed in Sect. 6, near an elliptic point \(\tau _0\) the integrand \(\widehat{h}\) can be singular, and there can be a contribution from a small contour integral with radius \(\varepsilon \) as \(\varepsilon \rightarrow 0\). In order to find the contribution, we expand \(\widehat{h}\) around an elliptic point \(\tau _0\) as
Recall from part I that the contribution from the elliptic point \(\tau _0\) is then
where \(n_0\) and \(k_0\) are integers explained in Sect. 12.
It is crucial that \(\widehat{h}\) is analytic in \(\bar{\tau }\) near \(\bar{\tau }_0\), that is, the non-holomorphic expansion (13.3) only contains nonnegative powers of \(\bar{\tau }-\bar{\tau }_0\). As shown in [56], anti-derivatives of \(\Psi \) generally have poles in the elliptic variable. However, the poles can be avoided for a certain choice of anti-derivative.
Deriving the non-holomorphic expansion (13.3) of the anti-derivative of \(\widehat{h}\) of the u-plane integrand for a generic four-manifold with period point J, ’t Hooft flux \({\varvec{\mu }}\) and arbitrary AD configuration is a challenging task. Due to the product structure (13.2), we can study the expansion of the anti-derivative \(\widehat{G}\) separately from the measure \(\nu \). We discuss those expansions in the following subsections in as much generality as possible. Our primary interest is to determine in which cases the expansion (13.3) has a nonzero coefficient \(d_0(-1,0)\), which is why we mainly focus on the leading exponent rather than the precise (nonzero) leading coefficients.
7.2 Measure factor
In this subsection, we discuss the leading behaviour of the u-plane measure \(\nu \) in the absence of background fluxes. Recall from (5.2) that in this case the measure factor is proportional to
As noticed in [19, Section 3.1], AD points \(\tau _0\) are characterised by the property that \(\frac{\textrm{d}u}{\textrm{d}a}(\tau _0)=0\). In appendix G, we prove this rigorously for any elliptic surface containing a singular fibre of type II, III and IV.Footnote 24 In order to work without square roots (2.23), let us define
which is proportional to \(\frac{g_3}{g_2}\frac{E_4}{E_6}\). Then \(\omega \) has an expansion
at \(\tau \rightarrow \tau _0\). The value of \(\text {ord}\,\omega \) depends on the precise configuration of singular fibres in the elliptic surface; however, for the SQCD curves it is 1 in most cases. The value of \(d_\mathcal {T}\) can be determined exactly as well (see appendix G). However, here we are primarily interested in the leading behaviour, for which it is enough that \(d_\mathcal {T}\ne 0\).
In order to determine the expansion of \(\nu \) at \(\tau _0\), we define \(u_0=u(\tau _0)\), such that we have an expansion
where we have defined \(\texttt {u} =u-u_0\). This is because unless \(u_0=0\), u does not vanish at \(\tau _0\) and so does not have a positive order of vanishing.Footnote 25 Again, the order of vanishing \(\text {ord}\,\texttt {u} \) as well as the nonzero coefficient \(c_\mathcal {T}\) can be determined exactly given a singular elliptic surface. The value \(\text {ord}\,\texttt {u} \) turns out to partially characterise the type of AD point, i.e. type II, III or IV.
In the following, we focus only on the leading behaviour, such that it is enough to calculate the orders of vanishing of all holomorphic functions involved. From (13.8), we can determine the order of vanishing of \(\frac{\textrm{d}u}{\textrm{d}\tau }\), it is
On the other hand, from (13.6) it is clear that
Thus from \(\frac{\textrm{d}a}{\textrm{d}\tau }=\frac{\textrm{d}a}{\textrm{d}u}\frac{\textrm{d}u}{\textrm{d}\tau }\), it is clear that
The order of vanishing of the physical discriminant depends on the type of AD point as well. We can use the identity \(\eta ^{24}\propto \Delta /\omega ^{6}\) [19, Equation (3.9)], and using the fact that \(\eta (\tau _0)\ne 0\), we have
We have thus calculated the order of vanishing of the u-plane measure \(\nu \) (13.5) for any given elliptic point \(\tau _0\), it is
We can further use that \(\chi +\sigma =4\) for manifolds with \(b_2^+=1\), since otherwise the u-plane integral vanishes. Thus,
It is important to notice that \(\text {ord}\,\texttt {u} \) and \(\text {ord}\,\omega \) are not given uniquely for a type (II, III and IV) of AD point. Rather, they can differ depending on the configuration containing a given Kodaira singularity. The ‘degree of freedom’ is the undetermined order of vanishing of the Weierstraß invariant \(g_2\) or \(g_3\) on the base \(\mathbb P^1\). Since for the SQCD curves \(g_2\) and \(g_3\) are polynomials of degree 2 and 3, however, this order of vanishing is greatly restricted. Thus in practice, for the curves under consideration, both \(\text {ord}\,\texttt {u} \) and \(\text {ord}\,\omega \) can take at most two values for a given type II, III or IV. We summarise these values in the following Table 15.Footnote 26 We stress again that this result (13.14) is the order of vanishing for any measure factor (13.5) calculated from an arbitrary elliptic surface containing an additive fibre of type \(II^{(*)}\), \(III^{(*)}\) or \(IV^{(*)}\) (including the Minahan–Nemeschansky theories), and will be useful for the study of other u-plane integrals.
For the manifolds under consideration, the signature is bounded as \(\sigma \le 1\). Since \(\text {ord}\,\omega >0\), this implies that the measure can become arbitrarily singular for manifolds with large \(-\sigma \). Similarly, one can expect selection rules on the signature for the u-plane integrand to be sufficiently singular to have a nonzero residue.
Finally, if we include background fluxes in the theory, the path integral acquires couplings \(\prod _{i,j=1}^{N_f}C_{ij}^{B({\varvec{k}}_i,{\varvec{k}}_j)}\) which enter the measure factor in (5.2). For \(N_f=2\) with equal masses we have expressions of \(C_{ij}\) in terms of modular forms, see, for instance, (E.16). Since we do not know the coupling v analytically, however, it is difficult to study the behaviour of those couplings at a given elliptic point \(\tau _0\). We hope to come back to this point in future work.
7.3 Photon path integral
Having discussed the singular behaviour of the measure factor at any given elliptic AD point, we discuss in this subsection the series expansion of the anti-derivative \(\widehat{G}\) of the Siegel–Narain theta function. This function has been determined in [56] for a canonical choice of period point \(J\in H^2(X,\mathbb R)\), i.e. either \(J=(1,\varvec{0})\) for odd intersection forms on \(H^2(X,\mathbb Z)\), or \(J=\frac{1}{\sqrt{2}}(1,1,\varvec{0})\) for even intersection forms. Including surface observables (or elliptic arguments in general), \(\widehat{G}\) takes the form of a non-holomorphic completion of an Appell–Lerch sum.
7.3.1 Odd intersection form
Since it is rather involved to study the general expansion of \(\widehat{G}\) for all ’t Hooft fluxes \({\varvec{\mu }}\) and values or \(\sigma \) of \(b_2\) simultaneously, let us focus on manifolds X with odd intersection form and a fixed flux. Consider the Siegel–Narain theta function for \({\varvec{\mu }}=(\mu _+,{\varvec{\mu }}_-)\equiv (\frac{1}{2},\frac{1}{2},\dots ,\frac{1}{2}) \mod \mathbb Z^{b_2}\) with \(K=(3,1,\dots , 1)\), such that \(K^2=9-n\) with \(n=b_2^-\) and \({\varvec{\mu }}\equiv K/2\mod L\), as is the case for the del Pezzo surfaces \(dP_n\) for instance. From (10.28) and (10.29), we have
Then, \(\Psi _{{\varvec{\mu }}}^J(\tau ,{\varvec{\rho }})=\partial _{\bar{\tau }}\widehat{G}(\tau ,\bar{\tau },\rho ,\bar{\rho })\) with
where \(\widehat{H}(\tau ,\bar{\tau },\rho ,\bar{\rho })\) is defined in (D.49). Since \(\rho \rightarrow 0\) for \(\tau \rightarrow \tau _0\), we consider the limit of (13.16) for \(\rho \rightarrow 0\). As explained in detail in Appendix D.4, the function \(\widehat{H}(\tau ,\bar{\tau },\rho ,\bar{\rho })\) has a well-defined Taylor series in \((\rho ,\bar{\rho })\), and for \(\rho ,\bar{\rho }\rightarrow 0\) we have \(\widehat{H}(\tau ,\bar{\tau },\rho ,\bar{\rho })\rightarrow \widehat{H}(\tau ,\bar{\tau })\). On the level of the Siegel–Narain theta function \(\Psi _{\varvec{\mu }}^J(\tau ,\rho )\), the limit \(\rho \rightarrow 0\) exists since \(\Psi \) is a well-defined function on \(\mathbb H\times \mathbb C^{b_2}\) [70, 73, 111]: For \(\rho =0\), \(\Psi (\tau ,0)\) is a non-holomorphic vector-valued modular form for \(\text {SL}(2,\mathbb Z)\) of weight \((\frac{n}{2},0)\).
We can in fact study the Taylor series of the whole anti-derivative (13.16) in \(\rho \), while we focus on the leading contribution as \(\rho \rightarrow 0\). For the Taylor series of the elliptic Jacobi theta series (D.11),
we determine
In the limit \(\rho \rightarrow 0\), we are primarily interested in the first nonzero term,
The Taylor series of \(\widehat{G}\) at \(\rho =0\) then reads
7.3.2 Chowla–Selberg formula
Let us determine the holomorphic expansion of this function at \(\tau =\tau _0\). The function \(\widehat{H}(\tau ,\bar{\tau })\) is a non-holomorphic modular form. If its value at the elliptic point \(\tau _0\) is nonzero, it has a regular Taylor expansion in \(\tau -\tau _0\) starting with a constant term. If it vanishes at \(\tau _0\) on the other hand, it has a positive order of vanishing, shifting the holomorphic series of the remainder of the integrand. In order to find the leading term in the expansion, we thus have to evaluate it at \(\tau =\tau _0\).
In many cases, explicit values of holomorphic modular forms at the elliptic fixed points i and \(\alpha \) of \(\text {SL}(2,\mathbb Z)\) are specific combinations of powers of \(\pi \) and the Euler gamma function \(\Gamma \) evaluated at rational numbers. This is a consequence of the Chowla–Selberg formula, which describes the value of modular forms at complex multiplication points in terms of products of gamma functions.Footnote 27 The Chowla–Selberg formula expresses the value of any modular form f of weight k at a complex multiplication (CM) point \(\mathfrak {z}\in \mathbb H\) as
where \(\overline{\mathbb Q}\) is the field of all algebraic numbers,Footnote 28 and \(\Omega _K\in \mathbb C^*\) is a complex number that depends only on the imaginary quadratic field K containing \(\mathfrak {z}\). Any \(\tau _0\) in the \(\text {SL}(2,\mathbb Z)\)-orbit of the \(\text {SL}(2,\mathbb Z)\) elliptic points i or \(\alpha =e^{2\pi i/3}\) is a CM point, and the period \(\Omega \) is computed from the Chowla–Selberg formula (Theorem 1) as
where \(\mathbb Q(i)\) and \(\mathbb Q(\alpha )\) are the quadratic fields generated by the CM points i and \(\alpha \). Since the values (13.22) are known, the value \(f(\mathfrak {z})\) of some elliptic point \(\mathfrak {z}\) of a modular form f of weight k can now more easily be determined, since \(f(\mathfrak {z})\Omega _{\mathbb Q(\mathfrak {z})}^{-k}\) is an algebraic number. These can often be found using an integer relation algorithm such as the LLL-algorithm (see, for instance, [112]).
The Chowla–Selberg formula is generally stated to apply to holomorphic modular forms with algebraic Fourier coefficients for finite index subgroups of \(\text {SL}(2,\mathbb Z)\). Generalisations to non-holomorphic modular forms [113] and mock modular forms [114, 115] have been explored in the literature; however, the full range of validity of this formula is possiblly not determined yet.
A somewhat trivial example of the Chowla–Selberg formula concerns the anti-derivative \(\widehat{H}\). Its values at the elliptic points are
These can be found from the modular transformations of \(\widehat{H}\) (see (D.27)): As it is a non-holomorphic modular form for \(\text {SL}(2,\mathbb Z)\) of weight \((\frac{1}{2},0)\), one evaluates the modular S and ST transformation of \(\widehat{H}\) at their fixed points i and \(\alpha \), and the multipliers and weight factors differing from one results in \(\widehat{H}(i,\bar{i})\) and \(\widehat{H}(\alpha ,\bar{\alpha })\) vanishing. The coefficients of higher orders in the Taylor expansion can also be found, see Appendix D.4, and, for instance, (D.38) and Table 16. In particular, \(\widehat{H}\) has a non-holomorphic Taylor series at \((\tau ,\bar{\tau })=(\tau _0,\bar{\tau }_0)\) with nonzero coefficient of \((\tau -\tau _0)^1(\bar{\tau }-\bar{\tau }_0)^0\). Thus, the holomorphic order of vanishing is \(\text {ord}\,\widehat{H}=1\).
The property that anti-derivatives of the photon path integral vanishes at elliptic points is certainly not true in general. Indeed, anti-derivatives are only defined up to integration constants, which can change properties of distinct anti-derivatives drastically.
7.3.3 Integration constant
There are two obvious way in which an integration ‘constant’ can be added. First, we can add to \(\widehat{G}\) a weakly holomorphic modular function g of weight \(\frac{1}{2}\). Indeed, for this new anti-derivative \(\widehat{h}=f(\tau )(\widehat{G}(\tau ,\bar{\tau })+g(\tau ))\), it remains true that \(\partial _{\bar{\tau }} \widehat{h}(\tau ,\bar{\tau })=\mathcal {I}(\tau ,\bar{\tau })\). Regarding the functions H and F defined in Sect. 10.2, and their completions \(\widehat{H}\) and \(\widehat{F}\) defined in Appendix D.3, their difference is the weakly holomorphic modular form \((\vartheta _2^4+\vartheta _3^4)/\eta ^3\), as stated precisely in (10.17) and (D.29). By numerically evaluating the Eichler integral and using the Chowla–Selberg formula, we find the following values,Footnote 29
As is apparent, all coefficients of the Chowla–Selberg periods are algebraic numbers. For example, the coefficient of \( \widehat{F}(e^{\frac{2}{3}\pi i})\) has minimal polynomial \(2^{16}3^{12}x^{24}+1\). Since \(\widehat{F}\) is a non-holomorphic modular form of weight \(\left( \tfrac{1}{2},0\right) \) for \(\Gamma ^0(2)\) (which is of index 3 in \(\text {SL}(2,\mathbb Z)\)), these six values determine \(\widehat{F}(\tau _0)\) for any elliptic point \(\tau _0\) of \(\text {SL}(2,\mathbb Z)\). In contrast to the modular form \(\widehat{H}\), the holomorphic order of vanishing of \(\widehat{F}\) at any \(\text {SL}(2,\mathbb Z)\) elliptic point is zero.
Alternatively, we can also add a weakly holomorphic function of weight 2 to \(\widehat{h}\) directly. The difference between the two places where the holomorphic function is inserted is of course equivalent. The basis for the space of weakly holomorphic modular forms for \(\text {PSL}(2,\mathbb Z)\) is given by the derivatives of powers of j, \(\partial _\tau j^l\), \(j\in \mathbb N\). These are given by
with are holomorphic at i and \(\alpha \). In fact, they vanish at both i and \(\alpha \) (we have \(\text {ord}\,\partial _\tau j(\tau )^l=3l-1\) at \(\tau =\alpha \) and \(\text {ord}\,\partial _\tau j(\tau )^l=1\) at \(\tau =i\)). Thus, they do not alter the residue.
7.4 AD contribution
We can now combine the results from the above considerations regarding the leading behaviour of the anti-derivative \(\widehat{h}\) (13.20). Recall from (5.4) that \(\text {ord}\,\rho =\frac{1}{2}\text {ord}\,\omega \). The Dedekind eta-function \(\eta \) is nowhere vanishing in \(\mathbb H\). Thus from (13.20), we have
From the anti-derivative (13.2), we are missing the exponentiated observables, \(2pu(\tau )/\Lambda _{N_f}^2\) and \({\varvec{x}}^2 G_{N_f}(\tau )\). Of course, for \(\tau \) near \(\tau _0\) the first exponential is regular, since \(2pu(\tau )/\Lambda _{N_f}^2\rightarrow 2pu(\tau _0)/\Lambda _{N_f}^2\). For the surface observable, we need to study the contact term (4.20), which contains the three functions \(E_2\), \(\omega \) and u. In Lemma 2 in Appendix D, we prove that \(E_2(\tau _0)\ne 0\) for any elliptic point \(\tau _0\). Thus,
Since the contact term is exponentiated, \(e^{{\varvec{x}}^2 G_{N_f}(\tau )}\), however, becomes a constant as \(\tau \rightarrow \tau _0\).Footnote 30 This shows
Combining now (13.14) and (13.26) in (13.2) we have \(\text {ord}\,\widehat{h}=\text {ord}\,\nu +\text {ord}\,\widehat{G}\), which gives
Strikingly, the dependence on the signature of the manifold drops out. Moreover, this value is bounded from below,
as is clear from Table 15.Footnote 31 In fact, for any elliptic surface containing a singular fibre of type II, III or IV, the order of vanishing (13.29) is strictly positive.
We have shown that in the absence of background fluxes, for a fixed ’t Hooft flux on arbitrary four-manifolds with odd intersection form, the anti-derivative of the u-plane integrand has an expansion (13.3) with
That is, according to (13.4) the u-plane integrals for these manifolds do not acquire a contribution from any possible AD point in \(\mathcal {N}=2\) SQCD,
This result is not entirely unexpected, since this class of manifolds also includes the del Pezzo surfaces \(dP_n\), for which there is no SW contribution and thus also no contribution from the strong coupling \(I_r\) cusps of the u-plane. Of course, AD points are collisions of \(I_r\) and \(I_{r'}\) cusps, and it is conceivable that if there is no contribution from those singularities if they are separated, their collision does not produce a contribution either. See also Sect. 10.3 for the related discussion on the collision of mutually local \(I_r\) and \(I_r'\) singularities to an \(I_{r+r'}\) singularity.
8 Conclusion and outlook
In this part II, we formulated and evaluated topological partition functions for massive SQCD on compact four-manifolds.
As addressed in the introduction, topological correlators take the form of a continuous u-plane integral and a finite sum over the Coulomb branch singularities. In part I, we argued that the u-plane integral can itself be expressed as a sum over the CB singularities (see (6.22)). The SW curve fibered over the Coulomb branch constitutes an elliptic surface \(\mathcal {S}\), whose singular fibres correspond to the CB singularities. The possible singular fibres \(F_i\) of an elliptic surface fall into Kodaira’s classification. To any surface \(\mathcal {S}\), we can associate its configuration of singular fibres \(\{F_1, \dots , F_k\}\). We may therefore express topological correlation functions \( Z_{\varvec{\mu }}^X\) for fixed fluxes \({\varvec{\mu }}\) on a given manifold X as a sum \(Z_{\varvec{\mu }}^X[\mathcal {S}]= \sum _{i=1}^k \Phi _{{\varvec{\mu }},i}^J\), where \(\Phi _{{\varvec{\mu }},i}^J\) is the contribution from the singular fibre \(F_i\). This proposal is valid for massive SU(2) SQCD, as well as the topological \(\mathcal {N}=2^*\) theory [5].
An important consistency check of this formulation and of correlation functions in general is the invariance under reparametrisations of the theory. For a given 4d \(\mathcal {N}=2\) theory, there can be multiple SW curves describing the same local low-energy physics [5, 6, 64, 87, 116, 117].Footnote 32 Recently, the choice of SW curve has been identified with the choice of global structure of a rank one 4d \(\mathcal {N}=2\) theory, i.e. the spectrum of line operators [77]. The global forms of a given local theory are related by gauging 1-form symmetries. On the level of the SW curve, the relation is provided by compositions of isogenies [79]. An isogeny is given by a quotient \(\mathcal {S}/\alpha \) of the elliptic surface \(\mathcal {S}\) by an automorphism \(\alpha \) induced by the 1-form symmetry group, which is a particular subgroup of the Mordell–Weil group \(\text {MW}(\mathcal {S})\) [15]. The Mordell–Weil group sits in a larger group \(\text {Aut}(\mathcal {S})\) of automorphisms of the surface \(\mathcal {S}\) itself, which encodes the 1-form as well as the 0-form symmetries of the theory [13, 14, 79, 92]. Formulating \(\mathcal {N}=2\) theories on (especially non-spin) compact four-manifolds provides an ideal testing ground for the effects of such higher-form symmetries and their anomalies [63,64,65, 119,120,121,122]. It would thus be interesting and important to explore the action of \(\text {Aut}(\mathcal {S})\) on topological correlators.
Formulating superconformal field theories on four-manifolds has been proven to be a fruitful tool for understanding inherent features about the theories themselves, as well as the topological invariants of the underlying spacetime. An example of the former is the derivation of the conformal and flavour central charges of 4d \(\mathcal {N}=2\) SCFTs from the topological twist, by comparing the \(U(1)_R\) anomaly of the Coulomb branch measure with the conformal anomaly of the trace of the energy–momentum tensor generated by a background gravitational field [87]. Given these central charges of an SCFT, topological correlators satisfy a selection rule due to the \(U(1)_R\) anomaly [28, 29, 32, 87, 123,124,125]. For rank 1 \(\mathcal {N}=2\) SCFTs, this selection rule identifies the anomalous R-charge of the vacuum with the R-charge of the operator whose correlation function is evaluated.
Moreover, the existence of superconformal theories on a four-manifold X can give new structural insights on the invariants of X. For the simplest Argyres–Douglas SCFT \(H_0\), it was found that the regularity of topological partition functions in the critical limit imposes sum rules on the classical Seiberg–Witten invariants [26]. All other Argyres–Douglas theories, including the \(H_1\) and \(H_2\) theories appearing as critical points in SU(2) SQCD, are associated with non-compact Higgs branches. For those higher AD theories, postulating analogous sum rules is therefore more intricate. Nevertheless, identifying the hypermultiplet masses as equivariant deformation parameters, the Higgs branch singularities can be made precise [7, 43]. We plan to discuss the interplay between Higgs branch singularities, sum rules and selection rules in more detail in a future work [55].
While coupling SQCD to background fluxes for the flavour group makes the theory well defined on non-spin manifolds X with arbitrary ’t Hooft flux, it renders the evaluation of topological correlators more involved. One possible reason for this is that the structure of poles and zeros of the background couplings can interfere with the pole structure of the mock modular forms used in the evaluation. Another obstruction comes from the branch points of the integrand, which only in the absence of background fluxes are guaranteed to not affect the result. In Appendix F, we analyse the various issues and discuss possible resolutions. It would be desirable to have a more systematic treatment of this aspect.
The methods we employ to evaluate the topological partition functions of \(\mathcal {N}=2\) SQCD are largely independent on the specific form of the underlying SW curves. The SW curves for other 4d rank 1 \(\mathcal {N}=2\) theories are (generally non-modular) elliptic surfaces, where the ‘remaining’ Kodaira singularities absent in SQCD are the types \(II^*\), \(III^*\) and \(IV^*\), which are associated with the Minahan–Nemeschansky (MN) SCFTs [33, 34]. It would therefore be interesting to formulate topological partition functions of other 4d rank 1 \(\mathcal {N}=2\) theories, including all rank 1 \(\mathcal {N}=2\) SCFTs, which are classified [78, 126,127,128].
Another interesting avenue for future research is the 5-dimensional uplift of 4d \(\mathcal {N}=2\) theories, for instance, the 5-dimensional \(\mathcal {N}=1\) SU(2) gauge theory compactified on a circle [129, 130]. More generally, a family of 4d \(\mathcal {N}=2\) theories is represented by the Kaluza-Klein theories obtained by a circle compactification of the 5d \(\mathcal {N}=1\) SU(2) theory with fundamental flavours, which have \(E_n\) flavour symmetry [131, 132]. See [15, 41, 133, 134] for related recent works on 5d topological partition functions.
Data Availibility
Data sharing is not applicable to this article as no data sets were generated or analysed during the current study.
Notes
See [15] for a recent review on Seiberg–Witten geometry.
The definition of \(f_{2\text {B}}\) differs slightly from [19].
We ignore the constants \(\alpha _{N_f}\) and \(\beta _{N_f}\) here since they are irrelevant to the analysis.
This only excludes the case in \(N_f=3\) where the branch point is also an AD point of type IV. Our argument works regardless, as the integrand becomes less singular in that case.
We use the notation also developed in [41].
Proof: We have that \({\varvec{k}}^2+B(K,{\varvec{k}})=\sum _{j=1}^{b_2}(2\delta _{j,1}-1)k_j(k_j+K_j)\). Let \(k_j=0\) for \(j\ne m\). Then \(k_m(k_m+K_m)\in 2\mathbb Z\). If \(k_m\) is odd, then \(k_m+K_m\) must be even and therefore \(K_m\) is odd.
We may view the relation between H, F and \(Q^+\) as follows. Following [73, Section 5], there is a short exact sequence
$$\begin{aligned} 0\longrightarrow M_k^! \longrightarrow \mathbb M_k\overset{\mathscr {S}}{\longrightarrow }\ M_{2-k}, \end{aligned}$$(10.17)where \(M_k\) is the space of all classical modular forms of weight k, \(M_k^!\) is the larger space of weakly holomorphic modular forms of weight k, and \(\mathbb M_k\) is the space of mock modular forms of weight k. The ‘shadow map’ \(\mathscr {S}\) associates the shadow \(\mathscr {S}[h]\) to each mock modular form \(h\in \mathbb M_k\). This shadow map is surjective, but clearly not injective, since \(\mathscr {S}[F_{\frac{1}{2}}]=\mathscr {S}[\frac{1}{24}H]=\mathscr {S}[\frac{1}{2}Q^+]\propto \eta ^3\). We are thus considering the preimage \(\mathscr {S}^{-1}[\eta ^3]\), which contains \(F_{\frac{1}{2}}\), H and \(Q^+\). As we will discuss in more detail in Sect. 13.3, their differences can be understood as integration ‘constants’. Roughly speaking, we can understand \(\mathscr {S}^{-1}[\Psi ]\) as the space of anti-derivatives of \(\Psi \).
This is a consequence of the Bochner-Lichnerowicz-Weitzenböck formula, which relates the Dirac operator to the scalar curvature via the connection Laplacian. If a given metric has positive curvature, the kernel of the Dirac operator is empty. See [74] for an overview.
It turns out that \(d_{N_f}\) is not linear or quadratic in \(N_f\). One formula that fits all four values of \(N_f\) is
$$\begin{aligned} d_{N_f}(\ell )=3\ell +\frac{N_f}{2}(2+\ell )(N_f^2-2N_f+3). \end{aligned}$$(11.16)This viewpoint depends on the global form of the theory, in this case that of pure \(\mathcal {N}=2\) SYM with gauge algebra \(\mathfrak {su}(2)\) [77]. In particular, the SW curves for the various global forms are related by compositions of isogenies, which do not leave the type of \(I_n\) singular fibres invariant [78, 79]. We will comment on this further in the conclusions (Sect. 14).
For \(N_f=4\), in the massless limit the six singularities collide in an \(I_0^*\) singularity, rather than an \(I_6\).
This is possibly a consequence of Vieta’s formula (9.13): Both small and large mass expansions of the singularities \(u_j^*\) are infinite series, while their sum is \(\sum _{j=1}^3u_j^*=m^2\). By the fundamental theorem of symmetric polynomials, a similar statement can be made about sums \(\sum _{j=1}^{2+N_f}P(u_j^*)\) with P a polynomial. However, as is clear from the explicit expressions (12.17), (12.23), (12.26), the correlators \(Z_0[u^\ell ]\) are sums of such kind with P a rational function.
This implies that \(Z_{\widetilde{\text {AD}}}[e^{2pu}]=Z_{\widetilde{\text {AD}}}(1)e^{2pu_{\text {AD}}}\). This generating function \(Z_{\widetilde{\text {AD}}}^1(p){:}{=}Z_{\widetilde{\text {AD}}}[e^{2pu}]\) then satisfies \(\Delta (\frac{1}{2} \partial _p)Z_{\widetilde{\text {AD}}}^1(p)\) with \(\Delta (u)=u-u_{\text {AD}}\), similar to the structure result in Sect. 12.5.
If we eliminate \(\kappa _3\), we find \(\sum _{c:c^2=-8}\text {SW}_2(c)+264 \text {SW}_2(0) =0\). This condition alone is not sufficient for the regularity of the limit.
We refer the reader to [93] for definitions, in particular the Sects. 3.1 and 3.2.
The square of the relation \(z=t(1+t/2)^{1/2}\) is cubic in t, such that we find the solution
$$\begin{aligned} t(z)=\frac{1}{3} \left( \root 3 \of {27 z^2+3 \sqrt{3} \sqrt{27 z^4-16 z^2}-8}+\frac{4}{\root 3 \of {27 z^2+3 \sqrt{3} \sqrt{27 z^4-16 z^2}-8}}-2\right) , \end{aligned}$$(12.53)which can be expanded either at \(z=0\) or \(z=\infty \).
For instance, we have \(t(z)=z+\mathcal {O}(z^2)\) as \(z\rightarrow 0\), and \(t(z)=2^{\frac{1}{3}}z^{\frac{2}{3}}+\mathcal {O}(z^{-\frac{2}{3}})\) as \(z\rightarrow \infty \). In calculations, we must expand t(z) in z first in order to obtain the correct phases.
Let \(f_0(p)=P(p)e^{p u_0}\), then \((\partial _p-u_0)f_0(p)=P'(p)e^{pu_0}\) and thus \(0=\Delta (\partial _p)f_0(p)=P^{(k)}(p)e^{pu_0}\). Therefore, P is a polynomial of degree \(k-1\), and thus any solution to \(0=\Delta (\partial _p)f(p)\) is a linear combination of the functions \(f_0(p)=e^{pu_0}\sum _{n=0}^{k-1}a_np^n\).
We omit the measure \(\textrm{d}\tau \wedge d\bar{\tau }\) in the discussion here.
Many of the results easily carry over to singularities of type \(IV^*\), \(III^*\) and \(II^*\) as well.
In the following, we slightly abuse notation, and define \(\text {ord}\,f\) as a rational number such that \(f(\tau )\sim (\tau -\tau _0)^{\text {ord}\,f}+\cdots \) for \(\tau \rightarrow \tau _0\). This number can in particular also be negative. Furthermore, we distinguish this order of vanishing as a function of \(\tau \) from the order of vanishing of say the Weierstraß invariants \(g_2\) and \(g_3\) as a function of u, which we denote by \(o_2\), \(o_3\), etc., particularly in Appendix G.
We do not know if the second possibility for type III is realised, but are also not able to rule it out.
See Appendix D.1 for a survey on the Chowla–Selberg formula.
An algebraic number is a number which is a root of a nonzero polynomial in one variable with integer coefficients.
We omit the anti-holomorphic dependence in the notation.
This should be modified when the exponential is expanded and we study a particular coefficient in the series in \({\varvec{x}}\). Here, we are interested mainly in the generating function.
If we allow for other elliptic surfaces with type II, III and IV singular fibres, the value of \(\text {ord}\,\texttt {u} +\text {ord}\,\omega \) is only bounded from below by 0, since it converges to 0 for either \(o_2\rightarrow \infty \) or \(o_3\rightarrow \infty \), whichever is undetermined by the Kodaira classification. For rational elliptic surfaces, the Weierstraß invariants \(g_2\) and \(g_3\) are polynomials of degree at most 4 and 6, and thus \(\text {ord}\,\texttt {u} +\text {ord}\,\omega \) is bounded from below by a positive rational number.
A generalisation of the class numbers are the Hurwitz class numbers, which are class numbers weighted by the inverse of the order of the automorphism group in \(\Gamma _1\).
An algebraic number is a number which is a root of a nonzero polynomial in one variable with integer coefficients. The set of all algebraic numbers forms an algebraic field, commonly denoted by \(\overline{\mathbb Q}\).
They are periods in the sense of [147].
See also [56] for more details.
Typo in [45].
See [45] for a systematic study of poles of Jacobi forms.
We can confirm this directly from the q-series. It is also important to notice that at strong coupling, v rather than \(v-1\) transforms modularly [1].
References
Aspman, J., Furrer, E., Manschot, J.: Topological twists of massive SQCD. Part I. Lett Math Phys 114, 62 (2024). https://doi.org/10.1007/s11005-024-01803-1
Argyres, P.C., Plesser, M.R., Seiberg, N., Witten, E.: New \(\cal{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
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
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
Manschot, J., Moore, G.W.: Topological correlators of \(SU(2)\), \(\cal{N}=2^*\) SYM on four-manifolds. arXiv:2104.06492
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
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
Sen, A.: F-theory and orientifolds. Nucl. Phys. B 475, 562–578 (1996). https://doi.org/10.1016/0550-3213(96)00347-1. arXiv:hep-th/9605150
Banks, T., Douglas, M.R., Seiberg, N.: Probing F theory with branes. Phys. Lett. B 387, 278–281 (1996). https://doi.org/10.1016/0370-2693(96)00808-8. arXiv:hep-th/9605199
Minahan, J.A., Nemeschansky, D., Vafa, C., Warner, N.P.: E strings and N = 4 topological Yang–Mills theories. Nucl. Phys. B 527, 581–623 (1998). https://doi.org/10.1016/S0550-3213(98)00426-X. arXiv:hep-th/9802168
Eguchi, T., Sakai, K.: Seiberg–Witten curve for the \(E\)-string theory. JHEP 05, 058 (2002). https://doi.org/10.1088/1126-6708/2002/05/058. arXiv:hep-th/0203025
Malmendier, A.: The Signature of the Seiberg–Witten surface. Surv. Differ. Geom. 15, 255–278 (2010). https://doi.org/10.4310/SDG.2010.v15.n1.a8. arXiv:0802.1363
Caorsi, M., Cecotti, S.: Special arithmetic of flavor. JHEP 08, 057 (2018). https://doi.org/10.1007/JHEP08(2018)057. arXiv:1803.00531
Caorsi, M., Cecotti, S.: Homological classification of 4d \( \cal{N} \) = 2 QFT. Rank-1 revisited. JHEP 10, 013 (2019). https://doi.org/10.1007/JHEP10(2019)013. arXiv:1906.03912
Closset, C., Magureanu, H.: The \(U\)-plane of rank-one 4d \(\cal{N} =2\) KK theories. Sci. Post Phys. 12, 065 (2022). https://doi.org/10.21468/SciPostPhys.12.2.065. arXiv:2107.03509
Magureanu, H.: Seiberg–Witten geometry, modular rational elliptic surfaces and BPS quivers. JHEP 05, 163 (2022). https://doi.org/10.1007/JHEP05(2022)163. arXiv:2203.03755
Persson, U.: Configurations of Kodaira fibers on rational elliptic surfaces. Mathematische Zeitschrift 205, 1–47 (1990)
Miranda, R.: Persson’s list of singular fibers for a rational elliptic surface. Mathematische Zeitschrift 205, 191–211 (1990)
Aspman, J., Furrer, E., Manschot, J.: Cutting and gluing with running couplings in \(\cal{N} =2\) QCD. Phys. Rev. D 105, 025021 (2022). https://doi.org/10.1103/PhysRevD.105.025021. arXiv:2107.04600
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
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
Nishinaka, T., Rim, C.: Matrix models for irregular conformal blocks and Argyres–Douglas theories. JHEP 10, 138 (2012). https://doi.org/10.1007/JHEP10(2012)138. arXiv:1207.4480
Kimura, T., Nishinaka, T., Sugawara, Y., Uetoko, T.: Argyres–Douglas theories, S-duality and AGT correspondence. JHEP 04, 205 (2021). https://doi.org/10.1007/JHEP04(2021)205. arXiv:2012.14099
Fucito, F., Grassi, A., Morales, J.F., Savelli, R.: Partition functions of non-Lagrangian theories from the holomorphic anomaly. JHEP 07, 195 (2023). https://doi.org/10.1007/JHEP07(2023)195. arXiv:2306.05141
Fucito, F., Morales, J.F., Poghossian, R.: On irregular states and Argyres–Douglas theories. JHEP 08, 123 (2023). https://doi.org/10.1007/JHEP08(2023)123. arXiv:2306.05127
Marino, M., Moore, G.W., Peradze, G.: Superconformal invariance and the geography of four manifolds. Commun. Math. Phys. 205, 691–735 (1999). https://doi.org/10.1007/s002200050694. arXiv:hep-th/9812055
Marino, M., Moore, G.W., Peradze, G.: Four manifold geography and superconformal symmetry. arXiv:math/9812042
Gukov, S.: Trisecting non-Lagrangian theories. JHEP 11, 178 (2017). https://doi.org/10.1007/JHEP11(2017)178. arXiv:1707.01515
Moore, G.W., Nidaiev, I.: The partition function of Argyres–Douglas theory on a four-manifold. arXiv:1711.09257
Dedushenko, M., Gukov, S., Nakajima, H., Pei, D., Ye, K.: 3d TQFTs from Argyres–Douglas theories. J. Phys. A 53, 43LT01 (2020). https://doi.org/10.1088/1751-8121/abb481. arXiv:1809.04638
Moore, G.: On four-manifolds and \(\cal{N}=2\) supersymmetric field theory. Talk at String-Math, Tohoku University, Sendai. http://www.physics.rutgers.edu/gmoore/StringMath2018-Final.pdf (2018)
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
Minahan, J.A., Nemeschansky, D.: An N =2 superconformal fixed point with \(E_6\) global symmetry. Nucl. Phys. B 482, 142–152 (1996). https://doi.org/10.1016/S0550-3213(96)00552-4. arXiv:hep-th/9608047
Minahan, J.A., Nemeschansky, D.: Superconformal fixed points with \(E_n\) global symmetry. Nucl. Phys. B 489, 24–46 (1997). https://doi.org/10.1016/S0550-3213(97)00039-4. arXiv:hep-th/9610076
Taubes, C.H.: The Seiberg–Witten invariants and symplectic forms. Math. Res. Lett. 1, 809–822 (1994). https://doi.org/10.4310/mrl.1994.v1.n6.a15
Bershadsky, M., Johansen, A., Sadov, V., Vafa, C.: Topological reduction of 4D SYM to 2D \(\sigma \)-models. Nucl. Phys. B 448, 166–186 (1995). https://doi.org/10.1016/0550-3213(95)00242-K. arXiv:hep-th/9501096
Göttsche, L., Nakajima, H., Yoshioka, K.: K-theoretic Donaldson invariants via instanton counting. Pure Appl. Math. Q. (2006). https://doi.org/10.4310/PAMQ.2009.v5.n3.a5
Nakajima, H., Yoshioka, K.: Instanton counting on blowup. II. K-theoretic partition function. Transform. Groups 10, 489–519 (2005)
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
Donaldson, S.K.: Floer homology and algebraic geometry, pp. 119–138. London Mathematical Society Lecture Note Series. Cambridge University Press (1995)
Kim, H., Manschot, J., Moore, G.W., Tao, R., Zhang, X.: Path integral derivations of K-theoretic Donaldson invariants. arXiv: To appear
Gadde, A., Gukov, S., Putrov, P.: Fivebranes and 4-manifolds. Prog. Math. 319, 155–245 (2016). https://doi.org/10.1007/978-3-319-43648-7_7. arXiv:1306.4320
Dedushenko, M., Gukov, S., Putrov, P.: Vertex algebras and 4-manifold invariants. In Nigel Hitchin’s 70th Birthday Conference, vol. 1, pp. 249–318, 5 (2017). arXiv:1705.01645
Eguchi, T., Ooguri, H., Tachikawa, Y.: Notes on the K3 Surface and the Mathieu group \(M_{24}\). Exp. Math. 20, 91–96 (2011). https://doi.org/10.1080/10586458.2011.544585. arXiv:1004.0956
Dabholkar, A., Murthy, S., Zagier, D.: Quantum Black Holes, Wall Crossing, and Mock Modular Forms. arXiv:1208.4074
Witten, E.: Monopoles and four manifolds. Math. Res. Lett. 1, 769–796 (1994). https://doi.org/10.4310/MRL.1994.v1.n6.a13. arXiv:hep-th/9411102
Bryan, J., Wentworth, R.: The multi-monopole equations for Kähler surfaces. Turkish J. Math. 20, 119–128 (1996)
Ellingsrud, G., Göttsche, L.: Wall-crossing formulas, Bott residue formula and the Donaldson invariants of rational surfaces. Q. J. Math. Oxf. Ser. 49, 307–329 (1998). arXiv:alg-geom/9506019
Göttsche, L.: Modular forms and Donaldson invariants for 4-manifolds with \(b_2^+= 1\). J. Am. Math. Soc. 9, 827–843 (1996). arXiv:alg-geom/9506018
Tyurin, A.N.: Spin polynomial invariants of smooth structures on algebraic surfaces. Izvestiya Math. 42, 333 (1994). https://doi.org/10.1070/IM1994v042n02ABEH001540
Göttsche, L., Kool, M.: Virtual Segre and Verlinde numbers of projective surfaces. J. Lond. Math. Soc. 106, 2562–2608 (2022). https://doi.org/10.1112/jlms.12641
Losev, A., Moore, G.W., Nekrasov, N., Shatashvili, S.: Four-dimensional avatars of two-dimensional RCFT. Nucl. Phys. B Proc. Suppl. 46, 130–145 (1996). https://doi.org/10.1016/0920-5632(96)00015-1. arXiv:hep-th/9509151
Oberdieck, G.: Universality of descendent integrals over moduli spaces of stable sheaves on K3 surfaces. Symmetry Integr. Geom. Methods Appl. 18, 076 (2022). https://doi.org/10.3842/sigma.2022.076
Moore, G.W., Nekrasov, N., Shatashvili, S.: Integrating over Higgs branches. Commun. Math. Phys. 209, 97–121 (2000). https://doi.org/10.1007/PL00005525. arXiv:hep-th/9712241
Aspman, J., Furrer, E., Manschot, J., Moore, G.W.: To appear
Korpas, G., Manschot, J., Moore, G.W., Nidaiev, I.: Mocking the u-plane integral. Res. Math. Sci. 8, 43 (2021). https://doi.org/10.1007/s40687-021-00280-5
Manschot, J., Moore, G.W., Zhang, X.: Effective gravitational couplings of four-dimensional \( \cal{N} \) = 2 supersymmetric gauge theories. JHEP 06, 150 (2020). https://doi.org/10.1007/JHEP06(2020)150. arXiv:1912.04091
John, R.R., Mahato, S., Raman, M.: Effective gravitational couplings of higher-rank supersymmetric gauge theories. JHEP 09, 221 (2022). https://doi.org/10.1007/JHEP09(2022)221. arXiv:2208.00969
Ashok, S.K., John, R.R., Layon, T.J., Mahato, S., Raman, M.: Effective gravitational couplings of Kaluza–Klein Gauge Theories. arXiv:2306.05006
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
Ohta, Y.: Prepotentials of \(N=2\)\(SU(2)\) Yang–Mills theories coupled with massive matter multiplets. J. Math. Phys. 38, 682–696 (1997). https://doi.org/10.1063/1.531858
Ohta, Y.: Prepotential of \(N=2\)\(SU(2)\) Yang–Mills gauge theory coupled with a massive matter multiplet. J. Math. Phys. 37, 6074–6085 (1996). https://doi.org/10.1063/1.531764. arXiv:hep-th/9604051
Córdova, C., Dumitrescu, T.T.: Candidate phases for SU(2) adjoint QCD\(_4\) with two flavors from \(\cal{N}=2\) supersymmetric Yang–Mills theory. arXiv:1806.09592
Aharony, O., Seiberg, N., Tachikawa, Y.: Reading between the lines of four-dimensional gauge theories. JHEP 08, 115 (2013). https://doi.org/10.1007/JHEP08(2013)115. arXiv:1305.0318
Gaiotto, D., Kapustin, A., Seiberg, N., Willett, B.: Generalized global symmetries. JHEP 02, 172 (2015). https://doi.org/10.1007/JHEP02(2015)172. arXiv:1412.5148
Aspman, J., Furrer, E., Manschot, J.: Elliptic Loci of SU(3) Vacua. Annales Henri Poincare 22, 2775–2830 (2021). https://doi.org/10.1007/s00023-021-01040-5. arXiv:2010.06598
Donaldson, S.K., Kronheimer, P.B.: The geometry of four-manifolds. Clarendon Press Oxford University Press Oxford: New York (1990)
Malmendier, A., Ono, K.: Moonshine and Donaldson invariants of \({\mathbb{C}\mathbb{P}}^2\). arXiv:1207.5139
Griffin, M., Malmendier, A., Ono, K.: SU(2)-Donaldson invariants of the complex projective plane. Forum Math. 27, 2003–2023 (2015). https://doi.org/10.1515/forum-2013-6013. arXiv:1209.2743
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
Korpas, G., Manschot, J., Moore, G., Nidaiev, I.: Renormalization and BRST symmetry in Donaldson–Witten theory. Annales Henri Poincare 20, 3229–3264 (2019). https://doi.org/10.1007/s00023-019-00835-x. arXiv:1901.03540
Cheng, M.C., Duncan, J.F., Harvey, J.A.: Umbral moonshine. Commun. Num. Theor. Phys. 08, 101–242 (2014). https://doi.org/10.4310/CNTP.2014.v8.n2.a1. arXiv:1204.2779
Zagier, D.: Ramanujan’s mock theta functions and their applications (after Zwegers and Ono-Bringmann). Astérisque (2009) Exp. No. 986, vii–viii, 143–164 (2010)
Barrera-Yañez, E., Cisneros-Molina, J.L.: When does a manifold admit a metric with positive scalar curvature? Morfismos 7(2), 1–16 (2003)
Mantione, A., Torres, R.: Geography of 4-manifolds with positive scalar curvature. Expositiones Mathematicae 39, 566–582 (2021). https://doi.org/10.1016/j.exmath.2021.05.003
Labastida, J.M.F., Marino, M.: Polynomial invariants for SU(2) monopoles. Nucl. Phys. B 456, 633–668 (1995). https://doi.org/10.1016/0550-3213(95)00536-0. arXiv:hep-th/9507140
Argyres, P.C., Martone, M., Ray, M.: Dirac pairings, one-form symmetries and Seiberg–Witten geometries. JHEP 09, 020 (2022). https://doi.org/10.1007/JHEP09(2022)020. arXiv:2204.09682
Argyres, P., Lotito, M., Lü, Y., Martone, M.: Geometric constraints on the space of \( \cal{N} \) = 2 SCFTs. Part I: physical constraints on relevant deformations. JHEP 02, 001 (2018). https://doi.org/10.1007/JHEP02(2018)001. arXiv:1505.04814
Closset, C., Magureanu, H.: Reading between the rational sections: global structures of 4d \(\cal{N}=2\) KK theories. arXiv:2308.10225
Göttsche, L.: Blowup formulas for Segre and Verlinde numbers of Surfaces and higher rank Donaldson invariants. arXiv:2109.13144
Kronheimer, P.B., Mrowka, T.S.: The genus of embedded surfaces in the projective plane. Math. Res. Lett. 1, 797–808 (1994). https://doi.org/10.4310/mrl.1994.v1.n6.a14
Li, T.-J., Liu, A.: General wall crossing formula. Math. Res. Lett. 2, 797–810 (1995). https://doi.org/10.4310/MRL.1995.v2.n6.a11
Morgan, J.W.: The Seiberg–Witten Equations and Applications to the Topology of Smooth Four-Manifolds. Princeton University Press (1995). https://doi.org/10.1515/9781400865161
Park, J.: Non-Complex Symplectic 4-Manifolds with \(b_2^+=1\). Bull. Lond. Math. Soc. 36, 231–240 (2004). https://doi.org/10.1112/s0024609303002893
O’Grady, K.G.: Donaldson’s polynomials for \(K3\) surfaces. J. Differ. Geom. 35, 415–427 (1992)
Witten, E.: Supersymmetric Yang–Mills theory on a four manifold. J. Math. Phys. 35, 5101–5135 (1994). https://doi.org/10.1063/1.530745. arXiv:hep-th/9403195
Shapere, A.D., Tachikawa, Y.: Central charges of N = 2 superconformal field theories in four dimensions. JHEP 09, 109 (2008). https://doi.org/10.1088/1126-6708/2008/09/109. arXiv:0804.1957
Losev, A., Nekrasov, N., Shatashvili, S.: Testing Seiberg–Witten solution (1998)
Nakatsu, T., Ohta, K., Yokono, T., Yoshida, Y.: Higgs branch of N=2 SQCD and M theory branes. Nucl. Phys. B 519, 159–179 (1998). https://doi.org/10.1016/S0550-3213(98)00015-7. arXiv:hep-th/9707258
Martens, J.: Equivariant volumes of non-compact quotients and instanton counting. Commun. Math. Phys. 281, 827–857 (2008). https://doi.org/10.1007/s00220-008-0501-x. arXiv:math/0609841
Antoniadis, I., Pioline, B.: Higgs branch, hyperKahler quotient and duality in SUSY N = 2 Yang–Mills theories. Int. J. Mod. Phys. A 12, 4907–4932 (1997). https://doi.org/10.1142/S0217751X97002620. arXiv:hep-th/9607058
Aspman, J., Closset, C., Furrer, E., Magureanu, H., Manschot, J.: \(U\)-plane surgery: Galois covers, holonomy saddles and discrete symmetry gaugings. To appear (2023)
Fulton, W.: Intersection Theory. Ergebnisse der Mathematik und ihrer Grenzgebiete: a series of modern surveys in mathematics. Folge 3. Springer-Verlag (1984)
Lehn, M.: Chern classes of tautological sheaves on Hilbert schemes of points on surfaces. Inventiones mathematicae 136, 157–207 (1999). https://doi.org/10.1007/s002220050307
Marian, A., Oprea, D., Pandharipande, R.: Segre classes and Hilbert schemes of points. Ann. Sci. ENS 50, 239–267 (2017). https://doi.org/10.48550/arXiv.1507.00688. arXiv:1507.00688
Göttsche, L., Mellit, A.: Refined Verlinde and Segre formula for Hilbert schemes. arXiv:2210.01059
Feehan, P.M.N., Leness, T.G.: PU(2) monopoles. 2. Top level Seiberg-Witten moduli spaces and Witten’s conjecture in low degrees. arXiv:dg-ga/9712005
Feehan, P. M. N., Leness, T. G.: PU(2) monopoles and relations between four-manifold invariants. Topol. Appl. 88, 111–145 (1998). https://doi.org/10.1016/S0166-8641(97)00201-0. arXiv:dg-ga/9709022
Feehan, P.M.N., Leness, T.G.: SO(3) monopoles, level one Seiberg–Witten moduli spaces, and Witten’s conjecture in low degrees. Topol. Appl. 124, 221–326 (2002). https://doi.org/10.1016/S0166-8641(01)00233-4. arXiv:math/0106238
Feehan, P.M.N., Leness, T.G.: PU(2) monopoles. II: top-level Seiberg-Witten moduli spaces and Witten’s conjecture in low degrees. arXiv:dg-ga/9712005
Göttsche, L., Kool, M.: Sheaves on surfaces and virtual invariants. Surveys Differ. Geom. 24, 67–116 (2019). arXiv:2007.12730
Kronheimer, P.B., Mrowka, T.S.: Recurrence relations and asymptotics for four-manifold invariants. Bull. Am. Math. Soc. 30, 215–221 (1994)
Kronheimer, P.B., Mrowka, T.S.: Embedded surfaces and the structure of Donaldson’s polynomial invariants. J. Differ. Geom. 41 (1995). https://doi.org/10.4310/jdg/1214456482
Fintushel, R., Stern, R.J.: Donaldson invariants of 4-manifolds with simple type. J. Differ. Geom. 42 (1995). https://doi.org/10.4310/jdg/1214457550
Donaldson, S.: The Seiberg–Witten equations and 4-manifold topology. Bull. Am. Math. Soc. 33, 45–70 (1996). https://doi.org/10.1090/s0273-0979-96-00625-8
Kronheimer, P.B., Mrowka, T.S.: The structure of Donaldson’s invariants for four-manifolds not of simple type. Unpublished (1997)
Muñoz, V.: Basic classes for four-manifolds not of simple type. arXiv:math/9811089
Muñoz, V.: Donaldson invariants of non-simple type 4-manifolds. Topology 41, 745–765 (2002)
Labastida, J.M.F., Lozano, C.: Duality in the context of topological quantum field theory. In: Workshop on New Developments in Algebraic Topology, 7 (1998). arXiv:hep-th/9901161
Aspman, J., Furrer, E., Manschot, J.: Four flavours, triality, and bimodular forms. Phys. Rev. D 105, 025017 (2022). https://doi.org/10.1103/PhysRevD.105.025017. arXiv:2110.11969
Zwegers, S.: Mock theta functions. Ph.D. thesis, Utrecht (2008). arXiv:0807.4834
Cohen, H.: A Course in Computational Algebraic Number Theory. Springer Berlin Heidelberg (1993). https://doi.org/10.1007/978-3-662-02945-9
Bruinier, J.H., Ono, K., Sutherland, A.V.: Class polynomials for nonholomorphic modular functions. J. Number Theory 161, 204–229 (2016)
Guerzhoy, P., Kent, Z.A., Ono, K.: \(p\)-adic coupling of mock modular forms and shadows. Proc. Natl. Acad. Sci. 107, 6169–6174 (2010). https://doi.org/10.1073/pnas.1001355107
Choi, D., Lim, S.: Hecke structures of weakly holomorphic modular forms and their algebraic properties. J. Number Theory 184, 428–450 (2018). https://doi.org/10.1016/j.jnt.2017.08.029
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
Gaiotto, D., Moore, G.W., Neitzke, A.: Framed BPS states. Adv. Theor. Math. Phys. 17, 241–397 (2013). https://doi.org/10.4310/ATMP.2013.v17.n2.a1. arXiv:1006.0146
Seiberg, N., Witten, E.: Electric–magnetic duality, monopole condensation, and confinement in N = 2 supersymmetric Yang–Mills theory. Nucl. Phys. B426, 19–52 (1994). https://doi.org/10.1016/0550-3213(94)90124-4. https://doi.org/10.1016/0550-3213(94)00449-8arXiv:hep-th/9407087
Ang, J.P., Roumpedakis, K., Seifnashri, S.: Line operators of gauge theories on non-spin manifolds. JHEP 04, 087 (2020). https://doi.org/10.1007/JHEP04(2020)087. arXiv:1911.00589
Brennan, T.D., Cordova, C., Dumitrescu, T.T.: Line Defect Quantum Numbers & Anomalies. arXiv:2206.15401
Brennan, T.D.: Anomaly Enforced Gaplessness and Symmetry Fractionalization for \(Spin_G\) Symmetries. arXiv:2308.12999
Brennan, T.D., Intriligator, K.: Anomalies of 4d \(Spin_G\) Theories. arXiv:2312.04756
Aharony, O., Tachikawa, Y.: A holographic computation of the central charges of \(d= 4\), \(\cal{N} = 2\) SCFTs. J. High Energy Phys. 2008, 037–037 (2008). https://doi.org/10.1088/1126-6708/2008/01/037
Xie, D., Zhao, P.: Central charges and RG flow of strongly-coupled N = 2 theory. JHEP 03, 006 (2013). https://doi.org/10.1007/JHEP03(2013)006. arXiv:1301.0210
Witten, E.: On S duality in Abelian gauge theory. Selecta Math. 1, 383 (1995). https://doi.org/10.1007/BF01671570. arXiv:hep-th/9505186
Argyres, P.C., Lotito, M., Lü, Y., Martone, M.: Geometric constraints on the space of \( \cal{N} \) = 2 SCFTs, Part II: construction of special Kähler geometries and RG flows. JHEP 02, 002 (2018). https://doi.org/10.1007/JHEP02(2018)002. arXiv:1601.00011
Argyres, P., Lotito, M., Lü, Y., Martone, M.: Geometric constraints on the space of \( \cal{N} \) = 2 SCFTs. Part III: enhanced Coulomb branches and central charges. JHEP 02, 003 (2018). https://doi.org/10.1007/JHEP02(2018)003. arXiv:1609.04404
Argyres, P.C., Lotito, M., Lü, Y., Martone, M.: Expanding the landscape of \( \cal{N} \) = 2 rank 1 SCFTs. JHEP 05, 088 (2016). https://doi.org/10.1007/JHEP05(2016)088. arXiv:1602.02764
Nekrasov, N.: Five-dimensional gauge theories and relativistic integrable systems. Nucl. Phys. B 531, 323–344 (1998). https://doi.org/10.1016/s0550-3213(98)00436-2
Ganor, O.J., Morrison, D.R., Seiberg, N.: Branes, Calabi–Yau spaces, and toroidal compactification of the N=1 six-dimensional E(8) theory. Nucl. Phys. B 487, 93–127 (1997). https://doi.org/10.1016/S0550-3213(96)00690-6. arXiv:hep-th/9610251
Seiberg, N.: Five-dimensional SUSY field theories, nontrivial fixed points and string dynamics. Phys. Lett. B 388, 753–760 (1996). https://doi.org/10.1016/S0370-2693(96)01215-4. arXiv:hep-th/9608111
Morrison, D.R., Seiberg, N.: Extremal transitions and five-dimensional supersymmetric field theories. Nucl. Phys. B 483, 229–247 (1997). https://doi.org/10.1016/S0550-3213(96)00592-5. arXiv:hep-th/9609070
Chang, C.-M., Fluder, M., Lin, Y.-H., Wang, Y.: Spheres, charges, instantons, and bootstrap: a five-dimensional odyssey. JHEP 03, 123 (2018). https://doi.org/10.1007/JHEP03(2018)123. arXiv:1710.08418
Closset, C., Magureanu, H.: Partition functions and fibering operators on the Coulomb branch of 5d SCFTs. JHEP 01, 035 (2023). https://doi.org/10.1007/JHEP01(2023)035. arXiv:2209.13564
Bruinier, G.H. J.H., van der Geer, G., Zagier, D.: The 1-2-3 of Modular Forms. Springer-Verlag Berlin Heidelberg (2008). https://doi.org/10.1007/978-3-540-74119-0
Eriksson, D., Montplet, G.F.I., Mourougane, C.: On genus one mirror symmetry in higher dimensions and the BCOV conjectures. Forum Math. Pi 10, e19 (2022). https://doi.org/10.1017/fmp.2022.13. arXiv:1911.06734
Chowla, S., Selberg, A.: On Epstein’s Zeta Function (I). Proc. Natl. Acad. Sci. 35, 371–374 (1949). https://doi.org/10.1073/pnas.35.7.371
Shimura, G.: Arithmeticity in the Theory of Automorphic Forms. American Mathematical Society (2010). https://doi.org/10.1090/surv/082
D’Hoker, E., Kaidi, J.: Lectures on modular forms and strings. arXiv:2208.07242
Shimura, G.: On the derivatives of theta functions and modular forms. Duke Math. J. 44, 365–387 (1977)
Moreno, C.J.: The Chowla–Selberg formula. J. Number Theory 17, 226–245 (1983). https://doi.org/10.1016/0022-314X(83)90022-7
Lerch, M.: On some formulae related to the number of classes. Bull. Sci. Math. II. Sér. 21, 290–304 (1897)
Waldschmidt, M.: Transcendence of periods: The state of the art, Pure Appl. Math. Q. 2(04) (2006). https://doi.org/10.4310/PAMQ.2006.v2.n2.a3
Li, Y., Schwagenscheidt, M.: Mock modular forms with integral Fourier coefficients. Adv. Math. 399, 108264 (2022). https://doi.org/10.1016/j.aim.2022.108264
Bruinier, J.H., Schwagenscheidt, M.: Algebraic formulas for the coefficients of mock theta functions and Weyl vectors of Borcherds products. J. Algebra 478, 38–57 (2017). https://doi.org/10.1016/j.jalgebra.2016.12.034
Voight, J., Willis, J.: Computing power series expansions of modular forms. In: Computations with Modular Forms (G. Böckle and G. Wiese, eds.), (Cham), pp. 331–361. Springer International Publishing (2014)
Kontsevich, M., Zagier, D.: Periods, pp. 771–808. Springer, Berlin (2001)
Ono, K.: The Web of Modularity: Arithmetic of the Coefficients of Modular Forms and q-series, vol. 102. American Mathematical Society, CBMS regional conference series in mathematics ed (2004)
Basraoui, A.E., Sebbar, A.: Zeros of the Eisenstein Series \(E_2\). Proc. Am. Math. Soc. 138, 2289–2299 (2010)
Bringmann, K., Folsom, A., Ono, K., Rolen, L.: Harmonic Maass Forms and Mock Modular Forms: Theory and Applications. American Mathematical Society Colloquium Publications, vol. 64. American Mathematical Society, Providence, RI (2017)
Eguchi, T., Taormina, A.: On the unitary representations of N = 2 and N = 4 superconformal algebras. Phys. Lett. B 210, 125–132 (1988). https://doi.org/10.1016/0370-2693(88)90360-7
Eguchi, T., Ooguri, H., Taormina, A., Yang, S.-K.: Superconformal algebras and string compactification on manifolds with SU(N) holonomy. Nucl. Phys. B 315, 193–221 (1989). https://doi.org/10.1016/0550-3213(89)90454-9
Eguchi, T., Sugawara, Y.: SL(2, R) / U(1) supercoset and elliptic genera of noncompact Calabi–Yau manifolds. JHEP 05, 014 (2004). https://doi.org/10.1088/1126-6708/2004/05/014. arXiv:hep-th/0403193
Cheng, M.C.N.: K3 surfaces, N = 4 Dyons, and the Mathieu Group M24. Commun. Num. Theor. Phys. 4, 623–658 (2010). https://doi.org/10.4310/CNTP.2010.v4.n4.a2. arXiv:1005.5415
Eguchi, T., Hikami, K.: Note on twisted elliptic genus of \(K3\) surface. Phys. Lett. B 694, 446–455 (2011). https://doi.org/10.1016/j.physletb.2010.10.017. arXiv:1008.4924
Margolin, R.: A geometry for \(M_{24}\). J. Algebra 156, 370–384 (1993). https://doi.org/10.1006/jabr.1993.1079
Taormina, A., Wendland, K.: A twist in the \(M_{24}\) moonshine story. arXiv:1303.3221
Taormina, A., Wendland, K.: Symmetry-surfing the moduli space of Kummer K3s. Proc. Symp. Pure Math. 90, 129–154 (2015). https://doi.org/10.1090/pspum/090/01522. arXiv:1303.2931
Masuda, T., Suzuki, H.: Periods and prepotential of N=2 SU(2) supersymmetric Yang–Mills theory with massive hypermultiplets. Int. J. Mod. Phys. A 12, 3413–3431 (1997). https://doi.org/10.1142/S0217751X97001791. arXiv:hep-th/9609066
Brandhuber, A., Stieberger, S.: Periods, coupling constants and modular functions in N=2 SU(2) SYM with massive matter. Int. J. Mod. Phys. A 13, 1329–1344 (1998). https://doi.org/10.1142/S0217751X98000627. arXiv:hep-th/9609130
Poghosyan, H., Poghossian, R.: A note on rank 5/2 Liouville irregular block, Painlevé 1 and the \({\cal{H}}_0\) Argyres–Douglas theory. arXiv:2308.09623
Masuda, T., Suzuki, H.: On explicit evaluations around the conformal point in n = 2 supersymmetric Yang–Mills theories. Nucl. Phys. B 495, 149–171 (1997). https://doi.org/10.1016/S0550-3213(97)00199-5
Kodaira, K.: On compact analytic surfaces: II. Ann. Math. 77, 563–626 (1963)
Kodaira, K.: On compact analytic surfaces, III. Ann. Math. 78, 1–40 (1963)
Eguchi, T., Hori, K., Ito, K., Yang, S.-K.: Study of N = 2 superconformal field theories in four dimensions. Nucl. Phys. B 471, 430–444 (1996). https://doi.org/10.1016/0550-3213(96)00188-5. arXiv:hep-th/9603002
Caorsi, M., Cecotti, S.: Categorical webs and S-duality in 4d \(\cal{N}=2\) QFT. Commun. Math. Phys. 368, 885–984 (2019). https://doi.org/10.1007/s00220-019-03461-0. arXiv:1707.08981
Cecotti, S., Del Zotto, M., Martone, M., Moscrop, R.: The characteristic dimension of four-dimensional \({\cal{N}}\) = 2 SCFTs. Commun. Math. Phys. 400, 519–540 (2023). https://doi.org/10.1007/s00220-022-04605-5. arXiv:2108.10884
Acknowledgements
We thank Jim Bryan, Cyril Closset, Martijn Kool, Horia Magureanu, Greg Moore, Samson Shatashvili and Edward Witten for useful discussions and comments. JM was supported by the Laureate Award 15175 ‘Modularity in Quantum Field Theory and Gravity’ (2018-2022) of the Irish Research Council, and the Ambrose Monell Foundation (2022-2023). EF is supported by the EPSRC grant ‘Local Mirror Symmetry and Five-dimensional Field Theory’.
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
Modular forms II
In this Appendix, we discuss aspects of modular forms relevant for this Part II. It complements Appendix A of Part I. Section D.1 gives a review of the Chowla–Selberg formula, which is used in Sect. 13 in the expansion of the photon path integral around the AD points. In Sect. D.2, we discuss additional properties of modular forms, such as derivatives and special values. These are used in Sect. 13 for the expansion of modular forms around elliptic points, as well as in Sect. 10 in the study of anti-derivatives of the u-plane integrand. Finally, Sects. D.3 and D.4 list properties of mock modular forms and mock Jacobi forms relevant to the evaluation of u-plane integrals.
1.1 Chowla–Selberg formula
Explicit values of modular forms at the elliptic fixed points i and \(\alpha =e^{2\pi i/3}\) can often be expressed as specific combinations of powers of \(\pi \) and the Euler gamma function \(\Gamma \). This is a consequence of the Chowla–Selberg formula, which describes the value of modular forms at complex multiplication points in terms of products of gamma functions. In order to understand the final formula, we need to introduce some basic notions. We follow [135, \(\S 1\) Section 6]. Generalisations to non-holomorphic modular forms [113] and mock modular forms [114, 115] have been explored. In physics, it has been used in the context of the BCOV conjecture [136]. Further results can be found in [112, 137,138,139,140,141,142,143,144,145,146].
Elliptic curves over \(\mathbb C\) can be viewed as quotients \(E=\mathbb C /\Lambda \), with \(\Lambda \) a lattice in \(\mathbb C\). If \(E' = \mathbb C/\Lambda '\) is another curve and \(\lambda \) a complex number with \(\lambda \Lambda \subseteq \Lambda '\), then multiplication by \(\lambda \) induces an algebraic map from E to \(E'\). In particular, if \(\lambda \Lambda \subseteq \Lambda \), then we get a map from E to itself. Elliptic curves \(E=\mathbb C /\Lambda \) which satisfy \(\lambda \Lambda \subseteq \Lambda \) for some non-real value of \(\lambda \) are said to admit complex multiplication.
We can think of the upper half-plane \(\mathbb H\) as a moduli space for elliptic curves. Then the points in \(\mathbb H\) that correspond to elliptic curves with complex multiplication (from now on called CM points) are the numbers \(\mathfrak z\in \mathbb H\) which satisfy a quadratic equation over \(\mathbb Z\).
Examples of CM points are the \(\text {SL}(2,\mathbb Z)\)-images \(\gamma \tau _0\) of the \(\text {SL}(2,\mathbb Z)\) elliptic points \(\tau _0\). We can easily check that for any \(\gamma =\left( \begin{array}{cc} a&{}b\\ c&{}d\end{array}\right) \), the elliptic points \(\gamma i\) and \(\gamma \alpha \) satisfy
The equations are strictly quadratic, since \(c^2 + d^2=|ci+d|^2\) and \(c^2 - c d + d^2=|c\alpha +d|^2\).
Definition 1
(Discriminant of CM point) The discriminant of a CM point is the smallest discriminant of the quadratic polynomial over \(\mathbb Z\) of which it is a root.
For the elliptic points in (D.1), we can easily compute the discriminants \(-4\) for \(\mathfrak {z}=\gamma i\) and \(-3\) for \(\mathfrak {z}=\gamma \alpha \). Generally, discriminants of CM points are congruent to 0 or 1 modulo 4. For example, \(i=\frac{1}{2}\sqrt{-4}\) and \(\alpha =\frac{1}{2}(-1+\sqrt{-3})\).
There is a one-to-one relation between primitive positive definite binary quadratic forms of discriminant D and the set \(\mathfrak Z_D\) of CM points with discriminant D. For fixed D, there are only finitely many classes of such quadratic forms with discriminant D. Their number is the class number h(D) of the discriminant D.Footnote 33 Due to the bijection with \(\mathfrak Z_D\), the class number \(h(D)=|\Gamma _1\backslash \mathfrak Z_D|\) is given by the cardinality of the set of \(\Gamma _1\)-equivalent elements in \(\mathfrak Z_D\).
CM points \(\mathfrak {z}\) have many special properties. For instance, the value of \(j(\mathfrak {z})\) or that of any other modular function with algebraic coefficients evaluated at \(\mathfrak {z}\) is an algebraic number.Footnote 34 Furthermore, these singular moduli \(j(\mathfrak {z})\) give explicit generators of the class fields of imaginary quadratic fields.
Many results depend on the following
Proposition 1
Let \(\mathfrak {z}\in \mathbb H\) be a CM point. Then \(j(\mathfrak {z})\) is an algebraic number.
This is quite trivially true for the \(\text {SL}(2,\mathbb Z)\) elliptic points: \(j(\gamma i)=j(i)=12^3\) and \(j(\gamma \alpha )=j(\alpha )=0\), which are both roots of degree 1 polynomials over \(\mathbb Z\).
Proof
We can use the fact that if \(\mathfrak {z}\) is a CM point, it is fixed \(M\mathfrak {z}=\mathfrak {z}\) by some integer-valued matrix M with positive determinant. Then \(j(\tau )\) and \(j(M\tau )\) are both modular functions on the subgroup \(\Gamma _1\cap M^{-1}\Gamma _1 M\) of finite index in \(\Gamma _1\), so they are algebraically dependent and thus there is a polynomial P(X, Y) in two variables such that \(P(j(M\tau ),j(\tau ))=0\). Since the Fourier expansion of j has integer coefficients, the coefficients of P can be chosen to lie in \(\mathbb Q\). Since \(M\mathfrak {z}=\mathfrak {z}\), \(j(\mathfrak {z})\) is a root of the nonzero polynomial \(P(X,X)\in \mathbb Q[X]\). \(\square \)
The idea easily generalises to subgroups of \(\Gamma _1\):
Proposition 2
Let \(\mathfrak {z}\in \mathbb H\) be a CM point and f a modular function for a finite index subgroup of \(\text {SL}(2,\mathbb Z)\) with algebraic Fourier coefficients. Then, \(f(\mathfrak {z})\in \overline{\mathbb Q}\).
Interestingly, this statement is equivalent to the following
Proposition 3
Let \(\mathfrak {z}\in \mathbb H\) be a CM point and f a modular form of weight k for a finite index subgroup of \(\text {SL}(2,\mathbb Z)\) with algebraic Fourier coefficients. Then there is a complex number \(\Omega _{\mathfrak {z}}\) (depending on \(\mathfrak {z}\) only), such that \(f(\mathfrak {z})\in \overline{\mathbb Q}\cdot \Omega _{\mathfrak {z}}^k\).
Proposition 3 implies Proposition 2 by specialising to \(k=0\). Proposition 2 implies Proposition 3 on the other hand since if \(f\in M_k\) and \(g\in M_l\) then \(f^l/g^k\) is a modular function and is thus algebraic at \(\mathfrak {z}\), such that \(f(\mathfrak {z})^{\frac{1}{k}}\) and \(g(\mathfrak {z})^{\frac{1}{\,}l}\) are algebraically proportional.
The number \(\Omega _{\mathfrak {z}}\) is defined only up to an algebraic number, and does not change up to an algebraic number if \(\mathfrak {z}\) is mapped to \(M\mathfrak {z}\) with some positive determinant integer-valued matrix M. Thus, Proposition 3 lifts to arbitrary imaginary quadratic fields K,
Proposition 4
Let K be an imaginary quadratic field. Then there exists a number \(\Omega _K\in \mathbb C^*\) such that
for all \(\mathfrak {z}\in K\cap \mathbb H\), all \(k\in \mathbb Z\) and all modular forms f of weight k with algebraic Fourier coefficients.
To find \(\Omega _K\), we can compute \(f(\mathfrak {z})\) for any modular form. For instance, we can choose the non-holomorphic modular function \(\Phi (\tau )=y|\eta (\tau )|^4\). As described above, for general D we can look at CM points with discriminant D, of which modulo \(\Gamma _1\) there are h(D), the class number of K. Since there is no distinguished element of \(\mathfrak Z_D\), we take the product over \(\Gamma _1\backslash \mathfrak Z_D\) and take the \(h'(D)\)-th root, where \(h'(D)=h(D)/\frac{1}{2}w(D)\) is either \(\frac{1}{3}\), \(\frac{1}{2}\) or h(K) depending on the value \(D=-3\), \(D=-4\) or \(D<-4\) (these numbers take into account the multiplicities of the elliptic fixed points i and \(\alpha \)). Then we have the following
Theorem 1
(Chowla–Selberg formula) Let K be an imaginary quadratic field with discriminant D. Then,
where \(\chi _D(\cdot ){:}{=}\left( \frac{D}{\cdot }\right) \) (the Legendre symbol) is the quadratic character associated to K, and \(\Gamma \) is the Euler gamma function.
This formula was essentially found by Lerch [142] and rediscovered by Chowla and Selberg [137] in the study of Epstein’s \(\zeta \)-function.
Since \(\eta ^2\) is a weight 1 modular form for \(\Gamma _1\), we can find the number \(\Omega _K\).
Corollary 1
The number \(\Omega _K\) in Proposition 4 can be chosen to be
For the two CM points \(i\in \mathfrak Z_{-4}\) and \(\alpha \in \mathfrak Z_{-3}\) generating the quadratic imaginary fields \(\mathbb Q(i)\) and \(\mathbb Q(\alpha )\), we can now easily compute their corresponding Chowla–Selberg periods,Footnote 35
The fact that the periods for the quadratic fields \(\mathbb Q(i)\) and \(\mathbb Q(\alpha )\) can be written by powers of a single \(\Gamma \) function is a consequence of Euler’s reflection formula. For larger discriminant CM points, the periods are generally products of \(\Gamma \)-functions at multiple rational values.
Since the values (D.5) are known, the value \(f(\mathfrak {z})\) of some elliptic point \(\mathfrak {z}\) of a modular form f of weight k can now more easily be determined, since \(f(\mathfrak {z})\Omega _{\mathbb Q(\mathfrak {z})}^{-k}\) is an algebraic number, which often can be determined using an integer relation algorithm such as the LLL-algorithm [112, Section 2.6.1]. For instance, we have
where the algebraic coefficients are solutions to the linear and quadratic equations \(x=12\) and \(x^2=12^3\).
1.2 Derivatives and theta functions
Derivatives of modular functions are described by Ramanujan’s differential operator. It increases the holomorphic weight by 2 and it can be explicitly constructed using the theory of Hecke operators [148]. For the derivatives of the Jacobi theta functions (A.2), one finds
where \(D{:}{=}\frac{1}{2\pi i}\frac{\textrm{d}}{\textrm{d}\tau }=q\frac{\textrm{d}}{\textrm{d}q}\) and \(E_2\) is the quasi-modular Eisenstein series (A.7) of weight 2. The derivatives of \(\vartheta _j^2\) are given by \(D\vartheta _j^2=\frac{D\vartheta _j^4}{2\vartheta _j^2}\) and therefore also in the ring of quasi-modular forms.
All quasi-modular forms for \(\Gamma _1=SL(2,\mathbb Z)\) can be expressed as polynomials in \(E_2\), \(E_4\) and \(E_6\). Derivatives of modular forms are quasi-modular in a precise way:
Lemma 1
Let \(f\in M_k(\Gamma _1)\) be a modular form of weight k. Then the Serre derivative \(\vartheta _k f{:}{=}\frac{1}{2\pi i}f'-\frac{k}{12} E_2 f\) is a modular form \(\vartheta _k f\in M_{k+2}(\Gamma _1)\).
As a consequence, the quasi-modular forms for \(\Gamma _1\) form a ring \(\widetilde{M_*}(\Gamma _1)=\mathbb C[E_2,E_4,E_6]\). We have the following
Proposition 5
The ring \(\widetilde{M_*}(\Gamma _1)\) is closed under differentiation. Specifically, we have
In the main text, we use the property that \(E_2(\tau _0)\) is never zero for any \(\tau _0\) in the \(\text {SL}(2,\mathbb Z)\) orbit of an \(\text {SL}(2,\mathbb Z)\)-elliptic point (see also [149]):
Lemma 2
Let \(\alpha =e^{2\pi i /3}\). The second Eisenstein series \(E_2(\gamma i)\ne 0\) and \(E_2(\gamma \alpha ) \ne 0\) for all \(\gamma \in \text {PSL}(2,\mathbb Z)\).
Proof
Consider the transformation property
for \(\gamma =\left( \begin{array}{cc}a&{}b\\ c&{}d\end{array}\right) \in \text {SL}(2,\mathbb Z)\). From \(E_2(i)=\frac{3}{\pi }\) and \(E_2(\alpha )=\frac{2\sqrt{3}}{\pi }\) we can easily compute
None of the factors on the rhs are zero, since \(c,d\in \mathbb Z\). \(\square \)
1.2.1 Elliptic Jacobi theta functions
We use also the elliptic Jacobi theta functions \(\vartheta _i(\tau ,v)\), \(\vartheta _j:\mathbb {H}\times \mathbb {C}\rightarrow \mathbb {C}\), \(j=1,\dots ,4\), which we define as
The Jacobi theta functions defined in (A.2) of Part I are \(\vartheta _j(\tau )=\vartheta _j(\tau ,0)\) for \(j=2,3,4\). The S-transformation reads
The periodicity in v is
while the map \(v\mapsto v+\tau \) sends
Their zeros are
with \(m,n\in \mathbb Z\). The elliptic Jacobi theta functions satisfy various generalisations of the abstruse identity (A.4). We use the following identity,
1.3 Mock modular forms
In this Appendix, we introduce various mock modular forms and their relations that are useful for the evaluation of u-plane integrals. For more comprehensive treatments, we refer the reader to the available literature. See, for instance, [45, 73, 111, 150]. In the context of elliptic AD points, we are also interested in evaluating their modular completions at the elliptic fixed points in the fundamental domain.
1.3.1 The mock modular forms F and H
Following [111], we define the Appell–Lerch sum \(M(\tau ,u,v)\) asFootnote 36
The important property of the Appell–Lerch function is that if we add the function
the completion
where \(\nu =\mu -\frac{1}{2}\), \(w=e^{2\pi i \rho }\), transforms as a Jacobi form.
We study in the main text the mock modular form
and its non-holomorphic completion
which correspond to (D.19) with \(\mu =\frac{1}{2}\). The completion \(\widehat{F}\) transforms as a non-holomorphic modular form of weight \(\left( \tfrac{1}{2},0\right) \) for \(\Gamma ^0(2)\),
Since \(\widehat{F}\) does not transform under the full \(\text {SL}(2,\mathbb Z)\), it is useful to consider similar (mock) modular forms which do. The holomorphic function F is related to the q-series \(H^{(2)}{=}{:}H\) of Mathieu moonshine [44] in a simple way. We have [45, 56]Footnote 37
The q-series is the OEIS sequence A169717, and the Fourier coefficients are sums of dimensions of irreducible representations of the sporadic group \(M_{24}\). This function has been studied in detail in [151,152,153,154,155] and appears in the elliptic genus of the K3 sigma model with \(\mathcal {N}=(4,4)\) supersymmetry. It relates to F as [56]
which gives an alternative representation for F,
The completion
transforms as a non-holomorphic modular form for \(\text {SL}(2,\mathbb Z)\) of weight \((\tfrac{1}{2},0)\),
Using modular transformations which fix the \(\text {SL}(2,\mathbb Z)\) elliptic points \(\tau =i\) and \(\tau =\alpha \), we can readily evaluate
The completions \(\widehat{H}\) and \(\widehat{F}\) are of course not unrelated. By comparing (D.21) with (D.26) and using (D.24), we find
This is precisely the modular completion of (D.24). Since the correction
is already modular, its modular completion vanishes. It is in fact a modular form for \(\Gamma ^0(2)\) and transforms as
Another mock modular form with shadow \(\eta ^3\) is the function \(Q^+\) introduced by Malmendier and Ono [20, 68],
Its non-holomorphic completion
evaluates to
where \(\Omega _{\mathbb Q(i)}\) and \(\Omega _{\mathbb Q(\alpha )}\) are the Chowla–Selberg periods (D.5), which we introduced in Sect. D.1. It is related to F by
1.4 Laurent series of H
The Chowla–Selberg formula (Proposition 4) seems to be valid for the three completions \(\widehat{F}\), \(\widehat{H}\) and \(\widehat{Q^+}\) of mock modular forms of weight \(\frac{1}{2}\). See equations (13.23), (13.24) and (D.34). We can also use it to compute non-holomorphic Laurent/Taylor series around special points. Regarding the u-plane integrand, we are interested in expansions
around some point \((\tau _0,\bar{\tau }_0)\). It is clear that if f does not have poles in \(\mathbb H\), then the series is only over \(m\ge 0\). Furthermore, the Taylor coefficients are given by
For \(\widehat{H}\), we can compute some of these coefficients, which we give in Table 16.
For some coefficients, we find closed formulas,
where \(\Omega _{\mathbb Q(i)}\) is the Chowla–Selberg period (13.22), and \(m\in \mathbb N_0\). This is possible due to the fact that \(\partial _{\bar{\tau }}\widehat{H}\) is proportional to \(\overline{\eta (\tau )}^3/\sqrt{y}\), whose derivatives are straightforward to compute.
Similarly, for the expansion around \((\tau ,\bar{\tau })=(\alpha ,\bar{\alpha })\) we find
The coefficients for \(n=1\) and \(n=2\) for both i and \(\alpha \) are simply related by
From Table 16, it is clear that the smallest value of m in the expansion (D.36) of \(\widehat{H}\) at \(\tau =i\) is \(m=1\). At \(\tau =\alpha \), the same is true, as is clear from the nonzero constant \(d_\alpha ^{\widehat{H}}(1,1)\) in (D.39). However, we have
1.5 Mock Jacobi forms
We can generalise the function \(H=H^{(2)}\) to include an elliptic argument. For this, we need to find a suitable elliptic generalisation of the holomorphic modular form (D.30) which is the difference of \(\widehat{F}\) and \(\widehat{H}\). Recall the elliptic generalisation
We define the dual modular form
Then using the Jacobi identity (A.4), we have
The difference between \(\widehat{F}(\tau ,\bar{\tau })\) and \(\widehat{F}_D(\tau ,\bar{\tau })\) is a weakly holomorphic modular form of weight \(\frac{1}{2}\), since \(\widehat{F}\) and \(\widehat{F}_D\) have the same non-holomorphic part. This can be seen from (D.29) and the fact that \(\widehat{H}\) is \(\text {SL}(2,\mathbb Z)\)-invariant. This gives
Including the elliptic variables, we find
This again follows from the fact that both \(\widehat{F}(\tau ,\bar{\tau },\rho ,\bar{\rho })\) and \(F_D(\tau ,\bar{\tau },\rho ,\bar{\rho })\) have the same non-holomorphic part, and \(F(\tau ,\rho )-F_D(\tau ,\rho )\) must transform as a Jacobi form of weight \(\frac{1}{2}\) and for \(\rho =0\) give back (D.45). The holomorphic functions \(F(\tau ,\rho )\) and \(F_D(\tau ,\rho )\) are given in (10.12) and (10.13). The rhs of (D.46) is a specialisation of the Appell–Lerch sum \(M(\tau ,u,v)\) (D.17), which is another way to find it.
We are thus aiming for a function \(r(\tau ,\rho )\) such that
and such that \(r(\tau ,0)\) agrees with (D.30). This function is given by elliptically extending the arguments of some of the Jacobi theta functions of \(r(\tau )\),
A short calculation using the elliptic S-transformation (D.12) and the elliptic abstruse identity (D.16) confirms this. Then we know that
where the holomorphic part reads
with \(w=e^{2\pi i\rho }\). As far as checked, the w-dependent higher order terms in the q-expansion can be expressed as positive linear combinations of \(\mathfrak {su}(2)\) characters. In particular, the polynomials are palindromic. Their coefficients appear to asymptote to those of the series
It would be interesting to explore if the coefficients of this refined generating function also have an interpretation within Mathieu Moonshine. The analysis in [156,157,158] could be a possible avenue for this direction.
We have the following quasi-periodicity properties of the three elliptic functions F, H and r,
The mock Jacobi forms F and H are symmetric in \(\rho \), which gives a palindromic property of their Fourier coefficients,
1.5.1 Poles of F and H
Since the functions F and H are quasi-periodic on the lattice \(\mathbb Z\oplus \tau \mathbb Z\), it is sufficient to study its poles in the fundamental domain of the torus \(\mathbb C/\mathbb Z\oplus \tau \mathbb Z\).
The function \(H(\tau ,\rho )\) has (possible) poles at
which come from the zeros (D.15) of the Jacobi theta functions in the denominator of \(r(\tau ,\rho )\) (here, we can already exclude the cases where both m and n are even). Meanwhile, \(F(\tau ,\rho )\) has poles at \(\rho =(n+\tfrac{1}{2})\tau \), which follows from the definition (D.42). Restricting to the fundamental domain, the complete pole structure of both F and H are then \(\rho \in \{0,\frac{1}{2},\frac{\tau }{2},\frac{1}{2}+\frac{\tau }{2}\}\). Let us study which of these elliptic values are poles of r, F and H.
The zeros of the Jacobi theta functions \(\vartheta _i\) are listed in (D.15). By construction, the functions r, F and H have a smooth limit \(\rho \rightarrow 0\) and reduce to holomorphic functions with the same symbol. Thus by (D.52), there are no poles on the lattice \(\mathbb Z\oplus \tau \mathbb Z\).
The potential poles of r, F and H are thus on the half-lattice points. Consider first \(\rho =\frac{1}{2}\). We find
with a nonzero holomorphic function m.
Out of the four Jacobi theta functions, only \(\vartheta _2\) has a zero at \(\rho =\frac{1}{2}\). We easily calculate the Taylor expansions,
From (D.48), we then find
Combining with (D.50) and (D.55), we thus find that \(H(\tau ,\rho )\) has a simple pole at \(\rho =\tfrac{1}{2}\) with residue
At \(\rho =\tau \), both \(F(\tau ,\tau )\) and \(H(\tau ,\tau )\) are regular. At \(\rho =\frac{\tau }{2}\), F, r and H have a pole. We find
Regarding \(r(\tau ,\rho )\), we calculate
This gives
Combining (D.59) and (D.61), we find
Finally, consider \(\rho _0=\frac{1}{2}+\frac{\tau }{2}\). We find
The Jacobi theta functions have leading terms
This gives
and therefore
In Table 17, we summarise the residues of r, F and H at all possible poles of these functions. In particular, the poles of H are
Given the precise pole structure of H, we can study functions related to H which have no poles for real \(\rho \). To this end, we can add to \(H(\tau ,\rho )\) a meromorphic Jacobi form which cancels those poles of \(H(\tau ,\rho )\).Footnote 38 In this way, we arrive at
which does not have a pole at either \(\rho =0\) or \(\rho =\frac{1}{2}\). Indeed, \(\widetilde{H}(\tau ,0)=H(\tau )\) and the Taylor series at \(\rho =\frac{1}{2}\) reads
While \(\widetilde{H}\) does not have poles at \(\rho =0\) or \(\rho =\frac{1}{2}\), it has poles at \(\rho =\frac{\tau }{2}\) and \(\rho =\frac{1}{2}+\frac{\tau }{2}\). \(\widetilde{H}\) is periodic under \(\rho \rightarrow \rho +2\). The first few terms of the q-expansion of \(\widetilde{H}\) are
Similarly to the refinement \(H(\tau ,\rho )\) of \(H(\tau )\), it is an interesting question whether this refinement \(\widetilde{H}(\tau ,\rho )\) has an interpretation in the context of Mathieu moonshine.
Mass expansions
In this Appendix, we list various expansions of Coulomb branch functions required for the computation of topological correlation functions. In Sect. E.1, we comment on the calculation of the couplings \(v_j\) and \(w_{jk}\) to the background fluxes. In Appendix E.2, we give explicit series of the order parameter and the period \(\frac{\textrm{d}u}{\textrm{d}a}\) in a large mass expansion, which are relevant particularly in Sect. 11.1. Due to the modular structure, the equal mass \(N_f=2\) theory is the simplest massive case where many results can be obtained exactly. We study this configuration in detail in Sect. E.3.
1.1 Couplings to background fluxes
The background couplings \(v_j\) and \(w_{jk}\), defined in (2.12), can be calculated either directly from the prepotential [61, 62], or using the hypergeometric representation of the periods. For the latter case, from [159, 160] we have
where
Here, \(\mathcal {J}=12^3g_2^3/(g_2^3-27g_3^2)\) is the \(\mathcal {J}\)-invariant of the curve.
The periods can be in principle expanded around any point on the Coulomb branch, and by integration and comparison with the prepotential (2.7) they can be found by differentiation with respect to the masses \(m_j\). In practice, for generic masses this is straightforward only for the weak coupling limit (2.16). In the following, we give explicit expressions at weak coupling for \(N_f=1\) and \(N_f=2\).
1.1.1 \(\varvec{N_f=1}\)
For \(N_f=1\), we find in this way the couplings v and C,
which we list to order \(\mathcal {O}(q^{\frac{5}{2}})\). We have determined them up to order \(\mathcal {O}(q^{4})\).
Relating the q-expansion of v to that of the period \(\frac{\textrm{d}a}{\textrm{d}u}\), we can compare the normalisation in the weak coupling limit,
as \(\tau \rightarrow i \infty \).
One can similarly make a small mass expansion. For C, we find
For the small mass expansion of \(e^{2\pi i v_1}\), we have
We note that the small mass expansion commutes with the small q expansion in (E.3).
As observed in [37], the coupling v can also be expressed in terms of \(\frac{\textrm{d}u}{\textrm{d}a}\) and a power series in u. Since under the large u monodromy, v transforms to \(-v+1\), we can rather consider \(v-1\), which transforms to \(-(v-1)\) [1].Footnote 39 This is also true for \(\frac{\textrm{d}u}{\textrm{d}a}\rightarrow -\frac{\textrm{d}u}{\textrm{d}a}\), which has modular weight \(-1\) as well. This suggests that the quotient of \(v-1\) and \(\frac{\textrm{d}u}{\textrm{d}a}\) is invariant under any monodromy, and thus a function of u. A positive power series in u can be excluded, as it would generate an arbitrarily large principal part. For \(N_f=1\) we can make the ansatz
where the coefficients \(a_n\) depend on the mass \(\mu =m/\Lambda _1\). The first few coefficients are \(a_0=0\), \(a_1=8 \mu \), \(a_2=\frac{8 \mu ^3}{3}-1\), \(a_3=\frac{8 \mu ^5}{5}+2 \mu ^2\), \(a_4=\frac{8 \mu ^7}{7}+\mu ^4-\frac{3 \mu }{4} \) etc. In the massless case, we have the series (\(\Lambda _1=1\))
It would be interesting to express this series as a hypergeometric function, such as the periods \(\frac{\textrm{d}a}{\textrm{d}u}\) as given in (E.1). See also [159, 161, 162] for related formulae.
1.1.2 \(\varvec{N_f=2}\)
If we keep the masses in \(N_f=2\) distinct, we find
In the equal mass case, the couplings \(v_1=v_2=v\), and in particular the couplings \(C_{jk}\) can be found exactly. See the series (E.15) and (E.16) in Sect. E.3.
1.2 Large masses
In this Appendix, we list expansions of Coulomb branch functions in the large mass limit. We consider \(N_f\) hypermultiplets with equal masses \(m_i=m\), \(i=1,\dots , N_f\). When m is large, the scales \(\Lambda _{N_f}\) and \(\Lambda _0\) are related as
The order parameters \(u_{N_f}\) decouple precisely \(u_{N_f}\rightarrow u_0\). We can find the large m corrections by making the ansatz
and iteratively find \(c_n^{N_f}\) by satisfying the relation \(\mathcal {J}_{N_f}(u_{N_f})=\mathcal {J}_{0}(u_{0})\) order by order in \(m^{-2}\). The fact that there are only even powers on m follows by direct inspection. We list the coefficient functions \(c_n^{N_f}\) in Tables 18, 19 and 20 for \(N_f=1,2,3\).
Using the series (E.11), we can similarly compute \(\frac{\textrm{d}u}{\textrm{d}a}\) from the definition (2.23), and expand it for large m as
We list the coefficients functions \(d_n^{N_f}(u_0)\) in the following Table 21.
1.3 Equal mass \(N_f=2\)
For the case of \(N_f=2\) with equal masses, we can give explicit closed-form expressions for many Coulomb branch functions. For instance, we have [19] (see footnote 14)
where we defined \(f_2=16\frac{m^2}{\Lambda _2^2}\vartheta _2^4\vartheta _3^4+\vartheta _4^8\) and we suppress the dependence on \(\tau \). The physical discriminant is
where \((u_1^*,u_2^*)=(u_-,u_+)\) with \(u_\pm =\tfrac{\Lambda _2^2}{8}\pm m\Lambda _2\), and \(u_3^*=u_*=m^2+\tfrac{\Lambda _2^2}{8}\). Using the solution for u above we can easily express also the discriminant in terms of theta functions.
The fundamental domain was found in [19] and is shown in Fig. 5. Due to the square roots there will also be branch points present, the paths of these as we vary the mass are also indicated in the Figures.
In the equal mass case, the couplings \(v^j\) to the background \(\text {Spin}^c\)-structures are equal, \(v^1=v^2{=}{:}v\). Using the hypergeometric expressions for the periods and fixing the magnetic winding number \(n=-1\), it is given by
Furthermore, we have
We can see that, even though \(v\rightarrow \tfrac{1}{2}\) when \(m\rightarrow 0\), the couplings \(C_{ij}\) remain dependent on \(\tau \). In the massless limit, we find
where we denote \(\vartheta _j(\tau )=\vartheta _j(\tau ,0)\) as before.
In the decoupling limit to the pure theory, \(m\rightarrow \infty \), \(\Lambda _2\rightarrow 0\), we expect \(v\rightarrow 0\) and \(C_{jk}\rightarrow 1\). We see that this agrees with the behaviour of \(C_{12}\) (since then \(\vartheta _4(\tau ,0)=\vartheta _4(\tau ,0)\)), but not for \(C_{11}\), where we instead find zero.
Another important observation is that we have zeros and poles in \(C_{ij}\) for special values of v. Namely, we have a double zero for \(C_{11}\) when \(v=l_1+l_2\tau \) and a pole when \(v=l_1+l_2\tau +\tfrac{\tau }{2}\), where \(l_j\) are any integers. The value \(v=l_1+l_2\tau +\tfrac{\tau }{2}\) also corresponds to a simple zero of \(C_{12}\). We thus want to exclude these values from the domain of v. The pole structure of \(C_{ij}\) might be important for finding the correct modular completion as discussed in Appendix F. A similar story is occurs for the \(\mathcal {N}=2^*\) theory [5], where a stronger claim can be made due to a certain relationship on theta functions involving v.
1.3.1 Behaviour near \(I_2\) singularity
We finish this Appendix with some details of the behaviour near the \(I_2\) singularities. We can also determine the behaviour of the couplings near other singularities using (E.13). For \(\textrm{d}a/\textrm{d}u\) near the singularity \(u_3^*\), we obtain, for example,
This gives for the leading term in the q-series,
Similarly, we determine for the leading terms of \(u_3\),
Using integration of Matone’s relation (2.24), we find for the leading term of \(a_3\),
Comments on nonvanishing background fluxes for \(\mathbb P^2\)
In Sect. 11.3, we have studied point correlators on \(\mathbb P^2\) with nonvanishing background fluxes. Including background fluxes, for large masses we can use the mock Jacobi form \(F_\mu (\tau ,\rho )\), defined in (10.12), for any value of the background fluxes \(k_j\). For small masses however, this function does not have the right behaviour under \(\text {SL}(2,\mathbb Z)\) monodromies. For \(\mu =\frac{1}{2}\), we can rather use the mock Jacobi form \(H(\tau ,\rho )\) (D.50), and determine the u-plane integral in a small mass expansion,
Alternatively, we can also calculate the series for finite masses, without expanding first around \({\varvec{m}}=0\),
For \(N_f=1\), we use the expansions for \(C=C_{11}\) and \(v=v_1\) given in (E.5) and (E.6). These expansions commute with the expansion for small q in (E.3). We list the first few point correlators for small mass m, as in Eq. (F.1), in Table 22, while the ones for fixed mass m, as in Eq. (F.2), are listed in Table 23. We find that the small mass and fixed mass calculation agree for \(k_1\) even, and is different for \(k_1\) odd. We comment on this issue below.
We can perform a similar analysis for \(N_f=2\) with equal masses, where modular expressions are available (see Appendix E.3). See in particular (E.15) for v and (E.16) for \(C_{ij}\). We list the results in Table 24.
1.1 Discussion
Comparing Tables 22 and 23 for small and fixed mass in \(N_f=1\), we find that the point correlators agree if \(k_1\) is even, but are different when \(k_1\) is odd. In the remainder of this section, we discuss this obstruction in detail.
The previous results of correlation functions in the absence of background fluxes give polynomials in the masses, see Sect. 11. Such expressions have a well-defined small and large mass limit. This is a consequence of the SW curves having a smooth massless and infinite mass limit. If we include background fluxes, from Table 23 we can see that point correlators are polynomials in the mass if \(k_1\) is even, and Laurent polynomials if \(k_1\) is odd. As one can check, these expressions do not have a consistent small or large mass limit. Thus, it appears that odd background fluxes introduce discontinuities in the mass dependence.
Another possibility for the deviation is the branch point which could contribute to the u-plane integral. In Sect. 9.3, we proved that the branch point of the integrand does not contribute for \({\varvec{k}}_j=0\). Including the background fluxes, this argument needs to be revisited. However, it is not clear why this contribution would depend on the parity of \({\varvec{k}}_j\). A perhaps more evident explanation is that the anti-derivative used in the calculation is not valid for finite and small mass, for instance, due to the appearance of poles or branch cuts. Let us analyse this possibility.
In Appendix D.3, we study the modular and analytical properties of the mock Jacobi form \(H(\tau ,\rho )\). The pole structure is derived in Table 17, with the following result: For any value \(\rho =m+n\tau \) with \(m,n\in \mathbb Z\), the function \(H(\tau ,\rho )\) is regular. At the three half-lattice points \(\rho \in \{\frac{1}{2},\frac{\tau }{2},\frac{1}{2}+\frac{\tau }{2}\}\), the function H has simple poles with residues
For \(N_f=1\), we have \(z=k_1 v\), where v is given in (E.3). We thus find that for \(k_1\) odd there is a pole in \(H(\tau ,z)\) as \(q\rightarrow 0\). Thus near \(q=0\), we have the asymptotics
The sign comes from the quasi-periodicity (D.52) of H. Clearly, the pole introduces negative powers of the mass m, even if it is considered to be small.
By considering the smallest exponents of all factors in the integrand, we can derive a selection rule for the correlators \(\Phi _{\frac{1}{2}}[u^\ell ]\) with given \(k_1\) to not vanish. For \(N_f=1\) on \(X=\mathbb P^2\), we have
Then, \(\Phi _{\frac{1}{2}}[u^\ell ]\) can only be nonzero if the leading exponent of \(\nu (\tau ) H(\tau ,k_1v)u(\tau )^\ell \) is \(\le 0\). This gives the selection rule
These agree in particular with Table 23. A similar argument can be made also for \(N_f=2\), where some correlators vanish in Table 24. In particular, one can detect the selection rules for \(k_1\ge 3\). For instance, for \(N_f=1\) the partition function vanishes,
One possibility for the difference between small m and large m calculations is a pole of H due to a zero of v for odd \(k_1\). In Fig. 13 we sketch that this is indeed the case: We can numerically evaluate the function \(v(\tau )-\frac{1}{2}\) for \(N_f=1\) and a small mass m, and find zeros of this function inside the fundamental domain. For small mass \(m\ll m_{\text {AD}}\), there is a zero \(v(\tau _0)=\frac{1}{2}\) on the line \(\text {Re}\, \tau _0=\frac{3}{2}\). On the same line, one instance of the \(N_f=1\) branch point moves to infinity if the mass m is increased beyond \(m_{\text {AD}}\). For a small mass, the zero \(\tau _0\) and the branch point \(\tau _{\text {bp}}\) are thus well separated.
Based on this numerical evidence, let us assume that for a generic mass m, \(v(\tau )-\frac{1}{2}\) has a simple zero inside the domain \(\mathcal {F}_1(m)\). Assuming that v is holomorphic at \(\tau =\frac{1}{2}\), we can locally write a Taylor series
Combining this with (F.3), we find that for \(k_1=1\),
We thus see that the integrand has a pole at the point \(\tau _0\).
This gives an explanation for obtaining different results in a large and small mass calculation: For \(m\rightarrow 0\), we find \(\tau _0\rightarrow \frac{3}{2}+i\infty \). In the regularisation \(F_Y(m)\) of the fundamental domain we discuss in Sect. 10.1, we choose \(Y\ll \text {Im}\,\tau _0\), such that in the limit \(Y\rightarrow \infty \) we do not cross the pole \(\tau _0\) of \(H(\tau ,z(\tau ))\). For a finite mass m, \(\text {Im}\,\tau _0\) is finite and sending \(Y\rightarrow \infty \) picks up a contribution from the pole \(\tau _0\). For very large m, we can express the integrand as a Taylor series in 1/m, with leading term the \(N_f=0\) integrand. Thus, any possible pole \(\tau _0\) moves to infinity as well. We choose \(Y<\text {Im}\,\tau _0\) in this case, such that there is no contribution due to the pole. This discussion agrees with the observation that the large m calculation (Table 11) has a well-defined large m limit, the small mass calculation (Table 22) has a well-defined \(m\rightarrow 0\) limit, while the generic mass calculation (Table 23) does not have either limits.
A similar numerical study for the other two poles \(\rho \in \{\frac{\tau }{2},\frac{1}{2}+\frac{\tau }{2}\}\) of H—modulo the lattice \(\mathbb Z\oplus \tau \mathbb Z \)—does not result in such a zero: It seems that \(v(\tau )=\frac{\tau }{2}\) and \(v(\tau )=\frac{1}{2}+\frac{\tau }{2}\) do not have solutions in the fundamental domain \(\mathcal {F}_1(m)\).
Let us also briefly discuss the cases of \(N_f>1\). For equal mass \(N_f=2\), we have
and \(z=(k_1+k_2)v\). We thus see that for \((k_1+k_2)\in 2\mathbb {Z}+1\) there is again a pole in \(H(\tau ,z)\) for both \(m\rightarrow 0\) and \(q\rightarrow 0\). The values in Table 24 avoid these values. Interestingly, we see that the pole structure of \(C_{11}\) for equal mass \(N_f=2\), see (E.16), does not have any overlap with that of \(H(\tau ,z)\) for any \(k_1+k_2\).
For general \(N_f\), we have \(v_j-\frac{1}{2} \in \mathcal {O}(q^{-\frac{1}{2(4-N_f)}})\) for arbitrary masses. Then we have \(z=\sum _j v_jk_j=\frac{1}{2}(k_1+\cdots +k_{N_f})+\mathcal {O}(q^{-\frac{1}{2(4-N_f)}})\), such that \(H(\tau ,z)\) has a pole as \(q\rightarrow 0\) precisely if \(\sum _j k_j\) is odd. This agrees with the two previous cases. On the other hand, if \(\sum _j k_j\) is even, we expect there to not be any poles.
A possible way to cure the issue of the pole at \(\rho =\frac{1}{2}\) is to add to the anti-derivative \(H(\tau ,\rho )\) a holomorphic \(\text {SL}(2,\mathbb Z)\) Jacobi form of the same weight and index as H, which cancels precisely the pole of H but does not introduce any additional poles. As we discuss in Appendix D.4, \(\widetilde{H}(\tau ,\rho )\) (D.68) is such a function, and compatible with the monodromies as long as \(\sum _j k_j \in 2\mathbb {Z}\). For these cases, using \(\widetilde{H}\) we find the same point correlators as in Tables 22–24. These are, however, precisely the cases where the large mass and small mass calculations agree, rendering the various limits well defined. Meanwhile, for the cases \(\sum _j k_j\) odd where the two calculations disagree, using \(\widetilde{H}\) it is not possible to test if avoiding only the pole at \(\rho =\frac{1}{2}\) is sufficient to obtain point correlators with a suitable infinite mass limit, since \(\widetilde{H}\) is not applicable to those cases. We hope to clarify this issue in future work.
A Kodaira invariant
In Sect. 13, we studied the order of vanishing of the u-plane integral at an arbitrary elliptic AD point in an arbitrary configuration. See (13.14), for instance, for the order of vanishing of the measure factor \(\nu \) at any given AD point. In this Appendix, we determine the values \(\text {ord}\,\texttt {u} \) and \(\text {ord}\,\omega \) from the data of the singular fibres of the elliptic surface containing a singularity of a given type. Furthermore, we prove that these two orders of vanishing are not independent, the relation is fully determined by the type of AD point. We keep the discussion completely general, and the results are universal formulas for arbitrary elliptic surfaces.
We consider the parametrisation \(u(\tau )\in \mathbb P^{1}\) such that there is an elliptic point \(\tau _0\) with \(u(\tau _0)=u_0\), and we define \(\texttt {u} =u-u_0\). As a function of \(\tau \), we can then study the order of vanishing \(\text {ord}\,\texttt {u} \) as well as that of the holomorphic period
We then show that
does not depend on the configuration involving an AD point of Kodaira type \(\mathcal {T}\), but rather only on the Kodaira type \(\mathcal {T}\) itself. In this Appendix, we use the notation \(\text {ord}\,f\) for the order of vanishing of a function f of \(\tau \in \mathbb H\), while we reserve the symbol \(o_f\) for the order of vanishing if f is considered as a function on the base \(u\in \mathbb P^1\).
Recall Kodaira’s classification of singular fibres, as given in Table 25. Let \(\mathscr {C}=(\mathscr {A}, \dots )\) be a configuration containing an additive fibre
not being of type \(I_k^*\). For instance, in \(\mathcal {N}=2\) SU(2) SQCD with \(N_f\le 4\) hypermultiplets we consider the surfaces \(\mathscr {C}=(I_{4-N_f}^*,\mathscr {A}, \dots )\) with an AD point of Kodaira type \(\mathscr {A}\in \{II, III, IV\}\). As is clear from Table 25, when \(\mathscr {A}\in A_\alpha {:}{=}\{II, IV, IV^*, II^*\}\), then \(o_3\) and \(o_\Delta \) are fixed, while when \(\mathscr {A}\in A_i{:}{=}\{ III, III^*\}\) then \(o_2\) and \(o_\Delta \) are fixed, in both cases with the remaining \(o_j\) being bounded from below. When \(\mathscr {A}\in A_\alpha \), then the singular fibre corresponds to \(\tau _0\in \Gamma _1\cdot \alpha \), where \(\alpha =e^{\frac{2\pi i}{3}}\), while when \(\mathscr {A}\in A_i\) then \(\tau _0\in \Gamma _1\cdot i\), with \(\Gamma _1{:}{=}\text {PSL}(2,\mathbb Z)\). Since \(\mathcal {J}\) and j behave differently near those points i and \(\alpha \), these families \(A_\alpha \) and \(A_i\) of singular fibres thus need to be treated separately.
In order to compare the orders of vanishing of the various quantities, we use the following Taylor expansions of the modular j-invariant,
where crucially
are nonzero, with \(\Omega _{\mathbb Q(\alpha )}\) and \(\Omega _{\mathbb Q(i)}\) the Chowla–Selberg periods (D.5) associated with the elliptic points \(\alpha \) and i (see Appendix D.1 for a review). This is due to the fact that \(E_4\) has a simple zero at \(\tau =\alpha \) and \(E_6\) has a simple zero at \(\tau =i\), which follows from the valence formula for modular forms on \(\Gamma _1\) (see, for example, [135]).
1.1 The case \(\mathscr {A}\in A_\alpha \)
When \(\mathscr {A}\in A_\alpha \), then \(o_3\) and \(o_\Delta \) are fixed by \(\mathscr {A}\), while \(o_2\) can vary. We expand \(j(\tau )=\mathcal {J}(u)\) around \(\tau =\tau _0\) and \(u=u_0\), where \(u(\tau _0)=u_0\). From \(\mathcal {J}=12^3\frac{g_2^3}{\Delta }\), we have \(o_\mathcal {J}=3o_2-o_\Delta \). Comparing with \(\text {ord}\,j=3\) this gives
Regarding \(\omega \), we have that \(\text {ord}\,\frac{E_4}{E_6}=1\), while \(\frac{g_3}{g_2}\sim \texttt {u} ^{o_3-o_2}\). We can then insert (G.6), and find
Interestingly, the dependence of
on \(o_2\) drops out. Since for a fixed \(\mathscr {A}\in A_\alpha \) the only variable is \(o_2\), the ratio o is indeed an invariant \(o_{\mathscr {A}}\) of the singular fibre \(\mathscr {A}\in A_\alpha \) itself.
1.2 The case \(\mathscr {A}\in A_i\)
When \(\mathscr {A}\in A_i\) we have that \(j(\tau _0)=12^3\), such that we need to study the order of vanishing of \(\mathcal {J}-12^3=12^3 \frac{g_3^2}{\Delta }\). While \(\text {ord}\,(j-12^3)=2\), we can compare this to \( o_{\mathcal {J}-12^3}=2o_3-o_\Delta \). This gives the order of vanishing
on the \(\tau \)-plane. Now \(\text {ord}\,\frac{E_4}{E_6}=-1\), while \(\frac{g_3}{g_2}\sim \texttt {u} ^{o_3-o_2}\) where we insert (G.9). This gives
where both numerator and denominator are positive. We find
where again the only free variable \(o_3\) drops out. Thus also for a fixed \(\mathscr {A}\in A_i\), the ratio o is an invariant \(o_{\mathscr {A}}\) of the singular fibre \(\mathscr {A}\).
In Table 26, we compute \(o_{\mathscr {A}}\) for all additive fibres \(\mathscr {A}\) (G.3). This proves the above claim that \(o_\mathcal {T}\) is fixed for all given theories \(\mathcal {T}\) containing an equivalent AD point, and extends it to other rational elliptic surfaces as well, such as those describing the rank 1 \(E_n\) theories [15, 16, 131, 132] containing Minahan–Nemeschansky (MN) theories [33, 34], where \(\mathscr {A}\in \{IV^*, III^*, II^*\}\).
We can combine the results of the quotient o in both cases \(A_\alpha \) and \(A_i\): From Table 25 we find that for \(A_\alpha \), we have \(o_\Delta =2o_3\) and for \(A_i\) we have \(o_\Delta =3o_2\). Inserting these into (G.8) and (G.11) gives the much simpler formula
which holds for all cases G.3. This can be easily confirmed from the results in Table 26.
By comparing these ratios of orders of vanishing with the dimensions of Coulomb branch operators of the corresponding SCFT (see [14] for an overview), we find the relation
Similar formulas for the dimensions \(\Delta _{\mathscr {A}}\) in terms of the SW curve exist [165,166,167]. For instance, the dimension \(\Delta _{\mathscr {A}}\) is related to the order of vanishing \( o_\Delta \) of the discriminant on the base as [123]
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. & Manschot, J. Topological twists of massive SQCD, Part II. Lett Math Phys 114, 98 (2024). https://doi.org/10.1007/s11005-024-01829-5
Received:
Revised:
Accepted:
Published:
DOI: https://doi.org/10.1007/s11005-024-01829-5