Abstract
We compute the \(\mathcal{N}=2\) supersymmetric partition function of a gauge theory on a fourdimensional compact toric manifold via equivariant localization. The result is given by a piecewise constant function of the Kähler form with jumps along the walls where the gauge symmetry gets enhanced. The partition function on such manifolds is written as a sum over the residues of a product of partition functions on \(\mathbb {C}^2\). The evaluation of these residues is greatly simplified by using an “abstruse duality” that relates the residues at the poles of the oneloop and instanton parts of the \(\mathbb {C}^2\) partition function. As particular cases, our formulae compute the SU(2) and SU(3) equivariant Donaldson invariants of \(\mathbb {P}^2\) and \(\mathbb {F}_n\) and in the nonequivariant limit reproduce the results obtained via wallcrossing and blow up methods in the SU(2) case. Finally, we show that the U(1) selfdual connections induce an anomalous dependence on the gauge coupling, which turns out to satisfy a \(\mathcal {N}=2\) analog of the \(\mathcal {N}=4\) holomorphic anomaly equations.
1 Introduction, summary and open questions
The study of \({\mathcal {N}}=2\) supersymmetric YangMills gauge theories in four dimensions (SYM) led to many interesting and deep results which opened a new perspective in the understanding of nonperturbative effects in gauge theories [1, 2].
Major progresses in this respect have been obtained by making use of equivariant localization for the gauge theory in the socalled \(\Omega \)background [3]. This allowed for the exact computation of the supersymmetric path integral and low energy effective action on \({\mathbb R}^4\) [3,4,5] and its orbifolds by a discrete group \({\mathbb R}^4/\Gamma \) [6,7,8,9,10,11]. The first explicit computation of the gauge theory partition function on a compact manifold, using equivariant localization, was performed in [12] on the four sphere \(S^4\) and extended to the squashed case in [13]. These results were generalised to some nonorientable manifolds in [14, 15]. The extension of these results to toric compact manifolds was prompted by [16], and the \(S^2\times S^2\) and \({\mathbb P}^2\) cases were considered in [17,18,19]. The gauge partition function was formally written as a contour integral picking a specific set of poles associated to (semi)stable gauge bundles. For recent results see also [20, 21].
In this paper, building on the abovementioned results, we derive a localization formula valid for arbitrary compact toric manifolds and arbitrary rank of the gauge group for the topologically twisted theory. More in detail we tackle some cases which were left open in previous works: in the SU(2) case our formulae are applied for all values of the first Chern class to the \(\mathbb {F}_n\) manifolds where Donaldson invariants are subject to a non trivial wall crossing. New results are also obtained for the extension to the SU(3) gauge group for \({\mathbb P}^2\). Our work follows a gauge theory approach with the use of recursion formulae to establish the analytic properties of the partition function, alternative to wall crossing computations, in which the conditions for bundle stability come from the consistency of the computation.
The computation of the gauge theory partition function on compact manifolds presents a main additional difficulty with respect to the non compact case, namely one has to perform an integration over the Coulomb branch parameters, which are in this case integrable zero modes of the dynamical fields. After the topological twist, the \(\mathcal{N}=2\) gauge theory turns into a cohomological field theory [22] and therefore the correlators of BPS protected observables are expected to be independent both on the metric and on the gauge coupling. Indeed this is not trivial in cohomology, because of boundary effects in the field space. As we will show the integration over the zero modes induces an anomalous dependence in these parameters having two related important consequences: the first is to produce some constraints on the sum over the fluxes of the gauge field, which in turn induces a nontrivial wallcrossing behaviour of the partition function. The second is that the partition function acquires an anomalous dependence on the gauge coupling which can be characterised in terms of a holomorphic anomaly equation. Indeed, the Coulomb moduli space over which we integrate is non compact and this induces an anomaly arising from the boundary term. Moreover, in the topologically twisted \(\mathcal{N}=2\) theory the coupling appears in the gauge fixing term which is metric dependent. This in turn implies an induced anomalous dependence of the partition function on the metric of the manifold and the related wall crossing behaviour.
A careful analysis of the zero modes sector gives a prescription for the computation of the partition function. After gauge fixing the Weyl symmetry, the partition function is written as a sum over the residues characterised by an ordering of the fluxes of the gauge field along the Kähler twoform. This ordering is crucial in selecting the relevant contributions^{Footnote 1}. The integral over the zero modes turns out to be ill defined at the walls of marginal stability where two (or more) fluxes coincide. The resulting partition function is therefore piecewise dependent on the choice of Kähler twoform, with jumps at the walls where two (or more) fluxes of the gauge field curvature along the Kähler twoform get equal.
On the mathematical side, gauge theory correlators compute the Donaldson invariants of the four manifold [22]. More precisely, the supersymmetric partition function in the \(\Omega \)background computes equivariant Donaldson invariants [23]. The abovementioned jumps of the gauge theory partition function correspond to the wellknown wallcrossing behaviour in Donaldson theory, which in the framework of algebraic geometric is induced by changes in the stability conditions of the sheaves. The sum over gauge theory fluxes is shown to properly select the (semi)stable equivariant sheaves and to nicely reproduce their topological classification [24, 25]. The results we obtain for the partition function are tested against existing results in the mathematical literature for the SU(2) case, based on wall crossing and blow up formulae. Some new explicit predictions for the SU(3) case on \(\mathbb {P}^2\) will also be given.
The anomalous dependence on the gauge coupling discussed above is expected to be the UV ancestor of the holomorphic anomaly equations in the IR, closely connected to analogous results first found in string theory models [26] then in the case of the computation of the partition function of the \(\mathcal {N}=4\) SYM [27] and in the Donaldson invariants generating functions [28,29,30,31]. More recently, the derivation of the holomorphic anomaly for the twisted version of the \(\mathcal {N}=4\) SYM and its relation with the mock modular forms has been discussed in [32]. It would be also interesting to extend our approach to the topologically twisted theories considered in [33, 34] which generically localize both to pointlike instantons and antiinstantons configurations.
In this paper we mainly focus on the holomorphically decoupled sector of the theory and rely on equivariant localization. The path integral computing the partition function of a gauge theory on a toric manifold localizes on the fixed points of the torus action, namely on point like instantons sitting at the origin of each toric patch covering the manifold. The path integral is computed in terms of the residues of a product of partition functions, one for each toric patch. The residues are taken at the fixed points of the torus action and are specified by the fluxes of the gauge field along the Cartan subalgebra. To compute such residues we use a surprising “duality” relation between the residues computed at the poles of the oneloop and instanton part of the partition function. This duality is rooted in the so called AGT correspondence [35] which connects the partition functions of the \({\mathcal {N}}=2\) class S theories to the conformal blocks of a two dimensional conformal field theory (CFT). In the case of SU(2) SYM such “duality” between the residues is a direct consequence of the Zamolodchikov recursion relations for the conformal blocks [36]. In this paper we will present a generalization of such relation, valid for higher rank unitary gauge groups. Once again the gauge theory quantities can be put in correspondence with the twodimensional CFT ones: the poles of the oneloop and instanton partition functions can, in fact, be put in correspondence with the conformal dimensions of the null states of the reducible Verma module and the roots of the associated Kac determinant[37]^{Footnote 2}.
There are several open questions and aspects to be further analyzed, let us mention some of them. It would be interesting to extend the present computations to gauge theories with fundamental and adjoint matter fields and perform a more thorough analysis of the higher rank cases. The latter point would provide new results for the Donaldson invariants in the higher rank case for which very few results are known at the moment, with the notable exception of [39, 40]. Moreover, it would be useful for a large N analysis and for the study of holography for compact manifolds. Also, the insertion of defect operators would be an interesting aspect to investigate.
The results obtained in this paper are based on equivariant localization on the microscopic UV Lagrangian in the \(\Omega \)background. It would be very interesting to study the limit of vanishing \(\Omega \)background in order to establish a connection with the integration over the uplane [41] which is based on an IR analysis using the abelian effective gauge theory. This would possibly allow to make manifest the duality properties of the partition function and in particular to connect our results on the \(\mathcal {N}=2\) holomorphic anomaly to the theory of mock modular forms.
Further directions concern the uplift of our results to five and six dimensional gauge theories. In the case of the product manifolds \(M\times S^1\) and \(M\times T^2\) this would correspond on the mathematical side to Ktheoretic and elliptic Donaldson invariants respectively. More generally, one could try to extend the gluing techniques exploited in this paper to toric manifolds in higher dimensions.
The paper is organized as follows: in Sect. 2, we use the localization method to derive a formula for the gauge partition function on a compact manifolds. We describe the integration over the zero modes and the holomorphic anomaly in the gauge coupling. In Sect. 3 we discuss the properties of the localized partition function which will be relevant for the computations of the following sections and in particular we discuss a remarkable duality between the perturbative and the instanton part of the partition function which will greatly simplify our computations. In Sect. 4 we specialise the findings of the previous sections to the case of toric manifolds. In Sects. 5 and 6 we analyse the cases of SU(2) gauge theory on \({\mathbb P}^2\) and \(\mathbb {F}_n\) manifolds. In Sect. 7 we present some preliminary results for the SU(3) partition function on \({\mathbb P}^2\). Finally, several useful results are collected in the Appendices.
2 Localization on compact manifolds
It is well known that the \({\mathcal {N}}=2\) SYM with gauge group U(N) can be formulated on any differentiable Riemaniann fourmanifold by making use of twisted supersymmetry [22]. The bosonic content of the \({\mathcal {N}}=2\) gauge supermultiplet includes a gauge vector A, a complex scalar \(\Phi \) and a selfdual twoform \(B^+\) which is an auxiliary field. The fermionic components are a oneform \(\Psi \), a scalar \(\eta \) and a selfdual twoform \(\chi ^+\). Fields are paired by a scalar supersymmetry charge Q.
2.1 Equivariant localization
The supercharge Q can be viewed as an equivariant derivative acting on the supermanifold with coordinates the fields \(\mathfrak M=(A,\bar{\Phi },\chi ^+)\) and equivariant differentials \(\mathfrak d\mathfrak M=(\Psi ,\eta ,B^+)\). The supersymmetry action can be further deformed using an isometry \(\delta _V\) of M
where \(\iota _V\), \(\iota _\Phi \) is the contraction along the vector field V and \(\Phi \), i.e. \( i \,\iota _{\Phi } \mathfrak d\mathfrak M=\delta _{\Phi } \mathfrak M\), \( i \,\iota _{V} \mathfrak d\mathfrak M=\delta _{V} \mathfrak M\). The Vdeformation represents the \(\Omega \)deformation of the theory. In the toric case, it is a \(U(1)^2\) local Lorentz rotation which, for each toric patch, is the local \(\Omega \)background on \({\mathbb C}^2\) with the appropriate choice of weights (See Sect. 4 for details).
The scalar supercharge action is
with \( \mathcal {L}_V= (D\iota _V+\iota _V D) = \mathrm{i} \delta _V\) the covariant Lie derivative associated to the action of the vector field V and \(D=d+ [A,\cdot ]\) the covariant derivative. Notice that the consistency of the last line implies that the selfduality of the two forms is preserved by the Vaction, namely \(\mathcal{L}_V \star = \star \mathcal{L}_V\). This is equivalent to the statement that V generates an isometry of the four manifold.
The \(\mathcal{N}=2\) SYM Lagrangian can be written
where \(\tau \) is the complex coupling, the trace is in the fundamental representation and
Consistently, the action is gauge and \(\mathcal{L}_V\) invariant. In (2.4), after integrating out the auxiliary field \(B^+\), one gets
where \(\tau =\frac{\theta }{2\pi }+i\frac{4\pi }{g^2}\). In the topological theory \(\tau \) and \(\bar{\tau }\) are independent parameters. Indeed, at the quantum level, the real part of \(\tau \) is not a physical parameter, since it can be absorbed by an anomalous \(U(1)_R\) transformation.
2.1.1 SUSY fixed points
The path integral of the deformed gauge theory localizes around the fixed locus of the supersymmetry. To identify the set of fixed points of the twisted supersymmetry (2.2), we start by setting as usual all fermions to zero and then we impose the vanishing of their supersymmetric transformations
By applying \(\iota _V\) to the first equation and using \(\iota _V^2=0\) and the reality condition \(\Phi ^\dagger =\bar{\Phi }\) one finds
Using (2.7) into (2.6), we get
which projects the field \(\Phi \) onto the Cartan subalgebra. Finally acting with the covariant derivative on the l.h.s. of (2.6) one finds
where in the last equation we used the reality of F and (2.8). At the supersymmetric fixed points one then finds for the equivariant gauge field
The \(h_\alpha \)’s, \(\alpha =1,\ldots ,N1\) are the generators of the Cartan subgroup of the gauge group, satisfying
where \(G_{\alpha \beta }\) is the Lie algebra Cartan matrix.
The field components \(\mathfrak {F}_u\) can be further split as
where the first term describes the contributions of pointlike instantons sitting at the fixed points of the toric action while the second one specifies the topological contribution of the fluxes which can be expanded as
in a basis \(\{ w_\ell \}\), \(\ell =1,\ldots \chi \) of equivariant twoforms \(H^2_V(M;\mathbb {Z})\), \(\chi \) being the Euler characteristic of the manifold M and \(k_\alpha ^\ell \) a set of integers.
2.1.2 BPS observables
The BPS observables of the topologically twisted gauge theory are built by the equivariant version of the usual descent equations [18]. The supersymmetry transformations (2.2) can be succinctly rewritten as the equivariant Bianchi identity [42]
for the equivariant curvature
Indeed, (2.2) can be obtained from the above by expanding in the de Rham form degree.
In these variables the supersymmetric action takes the simple form
More generally, one can consider the intersections of the equivariant forms built out of \(\mathfrak {F}\) with elements of the equivariant cohomology of the manifold, \(\mathcal{T}\in H^\bullet _V(M)\) as
with \(\mathcal{P}\) a gauge invariant function of \(\mathfrak {F}\). In the following we will discuss the case in which \(\mathcal{P}\) is a quadratic polynomial, while for compact toric manifolds the source \(\mathcal{T}\) reads
Moreover, T is an arbitrary polynomial of order two in the equivariant parameters and \(X=\{ x^\ell \), \(x^{\ell \ell ' } \}\) are the variables of the Donaldson polynomials. Actually, these generate the equivariant extension of surface and local observables which are the relevant ones for the computation of Donaldson polynomials. Let us remark that the set of equivariant observables is richer than the nonequivariant ones and the equivariant Donaldson polynomials give a finer characterization of the differentiable manifolds. From the quantum field theory view point, this is because the \(\Omega \)background probes the gauge theory revealing a finer BPS structure.
2.2 Integrating around fixed points
After having written the fields of the theory as the classical solution plus its fluctuations, the computation of the partition function of the supersymmetric gauge theory with gauge group SU(N) on \(\mathbb {C}^2\) proceeds by integrating out the fluctuations^{Footnote 3}. The functional integral then reduces to an integration over the moduli of the classical solutions which can be performed using the localization formulae at the supersymmetric fixed points (2.12). The final result is given as a series in the supersymmetric gauge parameter q raised to the power k, the instanton winding number, parametrized in terms of the vacuum expectation values of the scalar fields, \(a_u\), \(u=1,\ldots ,N\), and of the deformations, \(\epsilon _1, \epsilon _2\), introduced to regularize the theory see [3,4,5] for a complete explanation. To move to the case of toric manifolds we observe that at the origins of the toric patches, which are fixed points under the toric action, the supersymmetry equations become exactly those of point like instantons sitting at the origin of \(\mathbb {C}^2\) after the replacement \(a\rightarrow a^\ell \), \(\epsilon _a \rightarrow \epsilon _a^\ell \) and \(q \rightarrow q^\ell \). Therefore the contribution of \(\mathfrak {F}_\mathrm{point}\) to the gauge theory partition function factorises in a product of local factors, each of them being given by the partition function \(Z_{\mathbb {C}^2} (a_\alpha ^\ell ,\epsilon _1^\ell ,\epsilon _2^\ell ,q^\ell )\) with scalar vevs \(a_\alpha ^\ell \), equivariant parameters \(\epsilon ^\ell \) and gauge couplings \(q^\ell \) determined by the nontrivial gluing of the charts.
The equivariant parameters \(\epsilon _a^\ell \) describe the transformation properties of the local coordinates \(z_a^\ell \) with respect to the \(U(1)^2\) isometry of the manifold. The parameters \(a_\alpha ^\ell \) describe the asymptotic values of the scalar field in the chart \(\ell \). They can be written in terms of the vev \(a_\alpha ^1\) and the integers \(r_\alpha ^s\), \(s=1,\ldots b_2=\chi 2\), \(b_2\) being the second Betti number, codifying the nontrivial gluing of the charts. Finally, the couplings \(q^\ell =q\, e^{\Omega _\ell }\), where \({\Omega _\ell }\) is the zero form part of \(\mathcal{T}\) evaluated at the fixed point in chart \(\ell \), take properly into account the contribution of surface and local observables.
On an open toric variety the final result would then be given just by the sum over all possibile gluings \(r^s_\alpha \), as a function of the asymptotic values of the scalar fields \(a^1_\alpha \) at the space boundary. On a compact manifold one has instead to further proceed to integrate over \(a_\alpha ^1\), which are in this case normalizable zero modes of the dynamical fields in the path integral. The integral can be written as an infinite sum over the residues labeled by a double sequence of integers \(\{k^1_\alpha ,k^2_\alpha \}\). One finds
with \(Z_\mathrm{full}\) given as a product of the contributions of point like instantons in each chart. Finally, the sum over \(r_\alpha ^s\) and \((k^1_\alpha ,k^2_\alpha )\) can be combined into a single sum over \(k_\alpha ^\ell \) bringing all poles to the origin
with
and
as follows from (2.10) and (2.13). It is important to observe that transitions between the charts, i.e. differences \(a^\ell _\alpha a^1_\alpha \) will depend only on \((\chi 2)\) (rather than \(\chi \)) intergers \(r^s_\alpha \) made out of \(k_\alpha ^\ell \), and parametrizing all possibile nontrivial gluings of the charts. One can therefore view (2.21) as the equivariant version of formula (2.19). Similarly, the quantities \( r_\alpha ^s\) can be viewed as the nonequivariant version of the gauge fluxes \(k_\alpha ^\ell \). The two are related via
where \(D_s\) are the divisors of M.
2.2.1 Integrating out the zero modes
The partition function of our theory is given by a functional integral. How to go from the functional integral to the integration over the zero modes takes the name of method of the collective coordinates in the physics literature. A recent review of this method for the supersymmetric case is [45]. We now proceed to perform the path integral over the zero modes of the fields. These zero modes are in the Cartan subalgebra of the SU(N) gauge as it follows from (2.8) and (2.2). Since we are considering compact toric surfaces, which are simply connected, there are no zero modes for the oneform fields A and \(\Psi \). Moreover after the topological twist the zero modes of \(B^+\) and \(\chi ^+\) are (1, 1) forms and can be expressed in terms of the Kahler form \(\omega \) of the manifold as
The indices are raised and lowered using (2.11). The zero modes are invariant configurations in the field space under the Visometry action, therefore \({\mathcal Q}^2=0\) in this sector and the coefficients in (2.24) are constant.
It is important to notice that the presence of bosonic and fermionic zero modes leads to an ambiguity in the definition of the path integral measure. Indeed the fermionic zero modes \(\chi ,\eta \) do not appear in the gauge theory action (2.3), moreover \(Z_\mathrm{full}(a_\alpha )\) is meromorphic in \(a_\alpha \) and if integrated over the zero modes \(a_\alpha ,\bar{a}_\alpha \) would yield a divergent result. To cure this ambiguity, we deform the action by adding the \(\mathcal{Q}\)exact term
where \(s\in {\mathbb R}\) is a real gaugefixing parameter^{Footnote 4}. Collecting the contributions from (2.4) and (2.25) one finds the zero modes action
where we normalise the volume as \(\int _M \omega \wedge \omega =1\) and we introduce the notation
with
2.3 The SU(2) case
Let us consider the SU(2) case. The integrals over \((\eta ,\chi ,b)\) can be easily performed
leading to
To perform the integral over a, we observe that the partition function \(Z_\mathrm{full}(a,r^s,\epsilon _a,q,X)\) is a meromorphic function of the moduli with poles at \(a= a^{(k_1,k_2)}=k^1 \epsilon _1+k^2\epsilon _2\) labeled by two integers \((k^1,k^2)\). Therefore, one can write
Since the theory is asymptotically free we expect that the regular part in a can be regularized out of the integral. All the poles are crucially along the real axis. The contribution of the more singular terms vanishes upon integration over \(\mathrm{Re} (a)\). The contribution of the second term leads to
where we wrote \(aa^{(k_1,k_2)}=x+iy\) and used \(\int _{{\mathbb R}}\frac{\mathrm{d}x}{x+iy}=(\pi i)\mathrm{sgn}(y)\) and \(\mathrm{Erf}(x)=\frac{2}{\sqrt{\pi }}\int _0^x e^{u^2}\mathrm{d}u\). Plugging the result of the integral into (2.30) one finds
The sum over \((k^1,k^2)\) can be grouped together with the sum over \(r^s\) into a sum over the equivariant fluxes \(k_\alpha ^\ell \) bringing the poles to the origin in the \(\mathfrak {a}\) variable
where, as usual, \(\tau _2\) is the imaginary part of \(\tau \).
2.3.1 Holomorphic decoupling limit
A decoupling limit of the gauge parameter can then be defined by tuning \(g\rightarrow 0\) keeping \(\tau \) finite^{Footnote 5}. In this limit, the Erffunction reduces to a \(\mathrm{sign} (\kappa )\) factor. Alternatively, the same result is obtained by performing first the limit \(g\rightarrow 0\) and then the integral over the zero modes. In this way, the integral (2.29) is replaced by
The integral over a reduces then to an integral over \(\mathrm{Re}(a)\) along the line \(\mathrm{Im}(a)=2\pi \kappa /s\) and it can be written as a sum over all the residues weighted by the sign of \(\kappa \)
We notice that the partition function depends on the choice of the Kahler form \(\omega \), only through the restriction \(\kappa =\beta _\ell k^\ell >0\) in the sum over the k’s with \(\beta _\ell \) the equivariant volumes defined in (2.28). This implies in particular, that the partition function is piecewise constant along the space of Kahler forms with jumps across the walls where a Kahler cone chamber vanishes (see Sects. 4 and 6 for details).
It is important to observe that the condition \(\kappa >0\) in the sum can be viewed as a restriction to slope stable gauge bundles. Moreover, we will later show that only stable and semistable sheafs contribute to the sum (2.36), since the contributions coming from the tuplets \(\{ k^\ell \}\) associated to unstable sheafs will always cancel against identical contributions with opposite signs coming from the tuplets in their Weyl orbit. This provides as highly nontrivial consistency check of the localization formula (2.36) and suggests a generalization to higher rank that we will briefly sketch in the next section.
2.4 The higher rank case
A localization formula for the higher rank case can be obtained following mutatis mutandis the same steps, but now the derivation involve a multiple integration over the Cartan modes \(a_\alpha \), \(\alpha =1,\ldots N1\). Again the integration over the real parts of \(a_\alpha \) picks the residues at \(\mathfrak {a}_\alpha =0\) (let us say in the order \(a_1>>a_2\)) while that over the imaginary parts will now produce a generalized error function. Again, one expects that in the limit \(g\rightarrow 0\), this error function should reduce to a piecewise constant signfunction with jumps in the moduli space of Kahler forms along the walls of marginal instability. A path integral derivation of this formula goes beyond the scope of this paper, but in analogy with the results for SU(2) we expect again a formula given in terms of a sum of residues of \(Z_\mathrm{full}\) over the tuplets \(\{ k^\ell _\alpha \}\) associated to slope stable gauge bundles or equivariantly equivalent stable sheafs.
In this section, we review the concept of slope stability for U(N) gauge bundles. We refer the reader to Appendix D for a review on sheaf stability.
A bundle E is said to be (semi) stable if for every proper subbundle \(G\subset E\) the slope
of the bundle is greater or equal than the slope \(\mu (G)\) of the subbundle. Here \(c_1(E)={1\over 2\pi } \mathrm{tr} F(E) \) is the first Chern class and r(E) is the rank. The semi stability of the bundle is equivalent to the hermitian YangMills equations via the HitchinKobayashi correspondence [43, 44]. Namely, for an holomorphic vector bundle E, we have
Actually, if the vector bundle E admits a subbundle G, then its gauge connection splits in blocks as^{Footnote 6}
and its curvature as
Inserting the last in the hermitian YangMills condition above and projecting on the subbundle G one finds that
Taking the trace, integrating over M, and using that \(\int \mathrm {Tr}\,(v\wedge v^\dagger ) \wedge \omega \ge 0\), we find the slope semi stability condition
Evaluating (2.42) for all possible subbundles and using (2.27), we find the \(N1\) inequalities
In particular for \(N=2,3\) one finds
As anticipated, the restriction \( \kappa >0\) in the localization formula sum (2.36), ensures that only slope semi (stable) bundes contribute to the partition function. Similarly for SU(3) we expect that the partition function should be given by a sum (with some signs determined by the path integral) restricted to bundles satisfying the slope stability condition (2.44).
The equivariant version of slope stability conditions has been worked out in [46]. Equivariant stability is again defined by the requirement that the slope \(\mu ( F)\) of an equivariant subsheaf F of the sheaf E is smaller than the slope of the sheaf itself \(\mu (E)\). For SU(2) and SU(3) on \(\mathbb {P}^2\) one finds (see Appendix for details)
with \( m\ne n\ne p \) is always understood. There are 3 conditions for SU(2) and 12 for SU(3) where the two lines arise from one and twodimensional subsheafs. The two notions of stability are equivalent, so one expect that only bundles satisfying these more restrictive conditions will contribute to the partition function.
In Sect. 7 we will apply these ideas to the SU(3) theory and evaluate the first instanton corrections to the Donaldson partition function on \(\mathbb {P}^2\).
2.5 Holomorphic anomaly equation
The anomalous dependence in the gauge fixing parameter g of the \(\mathcal{N}=2\) partition function can be physically understood as coming from the contribution of abelian antiinstantons. These are the fluxes of the gauge field along the Kähler form, contributing to the zeromode action as it follows from (2.5). The anomalous dependence can be obtained by taking the derivative of (2.33) with respect to the coupling g.
By using the fact that
one finds
The \(q^{\kappa ^2\over 2}\) term cancels against a similar contribution coming from the classical part^{Footnote 7}. This provides a generalization of the wellknown holomorphic anomaly equation in the \(\mathcal{N}=4\) SYM discussed in [32].
An alternative derivation of the above equation for SU(2) \(\mathcal {N}=2\) SYM can also be given by proceeding to the direct evaluation of the derivative of the partition function with respect to the gauge coupling g. This leads to the calculation of the v.e.v. of a \({\mathcal {Q}}\)exact operator which is nonetheless different from zero due to boundary effects. Indeed, by deriving with respect to g one gets the following integral over the zeromodes
where \(Z_\mathrm{full}\) is a meromorphic function of a (we omitted for simplicity its dependence on the other parameters which does not matter for the present argument). By using the fact that on the zero modes \({\mathcal {Q}}= \eta \frac{\partial }{\partial \bar{\mathfrak {a} }} + \chi \frac{\partial }{\partial b}\), we can absorb the fermionic zero modes \((\chi ,\eta )\) and reduce (2.48) to a boundary term
Now by using the analytic properties of \(Z_\mathrm{full}(\mathfrak {a})\) and \(\frac{\partial }{\partial \bar{\mathfrak {a}} }\frac{1}{\mathfrak {a}} = \pi \delta ^{(2)} (\mathfrak {a})\) we get
in agreement with (2.47). Alternatively one could evaluate the boundary term at infinity leading to the same result. Let us observe that the derivation we outlined here is valid for general \(\mathcal {N}=2\) gauge theories, the details of the theory depending on the explicit form of \(Z_\mathrm{full}\). The situation is very different from the \(\mathcal {N}=4\) theory because of the non renormalization of the gauge coupling and the corresponding vanishing of the \(U(1)_R\) anomaly. This is due to the appearance of extra zero modes. In this case it is the nonabelian sector of the Rsymmetry group which is anomalous, inducing a nontrivial bundle structure of the zeromodes over the fixed point locus. The boundary term is therefore obtained in terms of the nontrivial Chern classes of the Rsymmetry bundle. This more intricate structure has been analysed in detail in [32] from the viewpoint of the effective abelian theory in the IR.
3 The partition function on \(\mathbb {C}^2\)
In order to set the notation, let us briefly recollect here the results for the partition function of the SYM on \(\mathbb {C}^2 \) which are needed in the subsequent sections. For a pure U(N) SYM on \(\mathbb {C}^2 \) we have a product of the classical, one loop and instanton contributions
with a parametrizing the expectation value at infinity of the scalar field in the vector multiplet, \(\epsilon _a\) describing the \(\Omega \)background and \(q=e^{2\pi \mathrm{i} \tau }\) . The classical part is given by
with \(a_{uv}=a_ua_v\) with \(u=1,\ldots ,N\). The results for the SU(N) theory are recovered by imposing the traceless condition \(\sum _u a_u=0\). The oneloop partition function reads
with \(\Gamma _2(x)\) the Barnes Gamma function (see Appendix .1 for definitions and details). Finally the instanton partition function is given by a sum over the array \(Y=\{ Y_u \}\) of N Young diagrams
where
\(\{ l_{uj} \} \) and \( \{ \tilde{l}_{ui} \}\) denote the length of the rows and columns respectively of the diagram \(Y_u\), and Y counts the total number of boxes in Y. For instance in the case of the SU(2) theory one finds, setting \(a=a_{12}\)
More generally, the instanton partition function for SU(2) can be written in the Zamolodchikov’s form [36]
The instanton partition function can then be written in general as an infinite sum in \(q^k\) with coefficients given by rational functions with poles at \(a_u=\pm a_u^{(m,n)}\) where
with \(m_u,n_u\) some positive integers. On the other hand \(Z_\mathrm{oneloop}\) (see (.3) and (.5)) has zeros exactly at these locations for \(\epsilon _1 \epsilon _2>0\), so the full partition has no poles in this case.
Remark 1
The partition function \(Z_{\mathbb {C}^2}\) has poles if and only if \(\epsilon _1 \epsilon _2<0\).
3.1 An abstruse duality
In this section we show that the residues of the gauge partition function at the poles of its oneloop and instanton parts exactly coincide.
3.1.1 The SU(2) case
We start by considering the SU(2) case. We will show that the following identity holds
with
where m, n are arbitrary nonzero integers. Similar formulae exists in the case in which we flip the sign of m with \(\mathrm {sign}(\epsilon _1)\) replaced by \(\mathrm {sign}(\epsilon _2)\). To prove the duality relations we first observe that
that follows from (3.52). On the other hand, using (3.57) one finds that for \(m n >0 \)
Finally, let us consider the oneloop partition function. To this aim, it is convenient to use the representation
to write products/determinants as sums/traces. Using this representation one can write the oneloop partition function as
in terms of the character \(\chi _{\mathbb {C}^2}\)
counting the Lie valued holomorphic functions on \(\mathbb {C}^2\) and
The ratio between \(Z_\mathrm{oneloop,\mathbb {C}^2}(\mathfrak {a}+a^{mn})\) and \(Z_\mathrm{oneloop}(\mathfrak {a}+\hat{a}^{mn})\) can be computed in terms of the difference of the corresponding characters. For instance, for \(\epsilon _1,\epsilon _2>0\), the difference of the associated characters in the limit where \(\mathfrak {y} =e^{t\mathfrak {a}} \approx 1\) reduces to
One can recognize in the double sum of the right hand side of (3.68) the character associated to the product (3.58)
We conclude then that
Collecting (3.62), (3.63) and (3.70) one finds that the second line of (3.60) is verified. A similar analysis holds for \(\epsilon _1<0\) leading again to (3.68) with \(\mathfrak y ^{1} \) replaced by \(\mathfrak y \) contributing an extra minus sign.
3.1.2 The higher rank case
A generalization of the abstruse duality formula (3.60) holds for theories with unitary gauge groups of arbitrary rank. We have no proof of this duality but we checked its validity up to four instantons for SU(3) and SU(4) gauge theories. We claim that the expansions of the gauge partition functions around the poles of its oneloop and instanton parts are related by
with
and \((m_u,n_u)\) two ordered sequences of positive integers
Explicitly
with \(\hat{u}\) running from 2 to \(N1\).
Similar identities hold for any choice of SU(N) roots \(\alpha _{v v'}=(\delta _{u v}  \delta _{u v'} )\). For the classical part one finds
that follows from (3.52). As before, the ratio of oneloop contributions can be extracted from the difference of the oneloop characters
with \(y_u^{(m,n)}=e^{t \,a_u^{(m,n)} }\) , \(\hat{y}_u^{(m,n)}=e^{t\, \hat{a}_u^{(m,n)} }\), \(\mathfrak y_u=e^{t \mathfrak {a}_u} \).
Plugging these formulae into (3.76) one finds generically for \(\epsilon _1,\epsilon _2>0\) in the limit \(\mathfrak {y}_u \approx 1\)
leading to
with
In the case where \(m_{u1} n_{u1} = (m_um_1)(n_un_1) = 0\) for a given u, the corresponding term \(\mathfrak {a}_{1\hat{u}} \) in (3.78) is missing. For the ratio of the instanton contributions one finds
Collecting (3.75),(3.78) and (3.80) one finds
as claimed. For \(\epsilon _1<0\) the same results are found with a flipped overall sign.
For example for SU(3) taking \(m_1=m_2=n_1=n_2=1\), one finds from (3.78)
and
4 The partition function on M
The gauge theory partition function on a compact toric M (2.36) is given as a residue formula of the exact semiclassical integrand \(Z_\mathrm{full} \). This in turn can be written as a product of a classical, oneloop and instanton contribution
each one given as a product of contributions for each toric patch. In the case of SU(2), one can simply relabel the variables \((a_{12},k^\ell _{12}) \rightarrow (a,k^\ell )\). The formulae for \(Z_\mathrm{oneloop} (a_{uv}, k^\ell _{uv})\), \(\, Z_\mathrm{inst}(a_{uv}, k^\ell _{uv})\) SU(N) follow from those of SU(2) by sending \( (a,k^\ell )\) to \((a_{uv},k^\ell _{uv}) \) and taking the product over all pairs (u, v) with \(u\ne v\). Without loss of information we can then restrict to the SU(2) case. The classical part is given explicitly for the SU(N) case. In the following, after fixing the relevant data of the toric geometry, we compute the classical, oneloop and instanton contributions separately.
4.1 The toric data
As explained in Sect. 2, the function \(Z_\mathrm{full}(a, k^s,\epsilon _a,q)\) can be written as a product of partition functions \(Z_{\mathbb {C}^2} (a^\ell ,\epsilon _1^\ell ,\epsilon _2^\ell ,q^\ell )\) accounting for the contributions of instantons localized at the origins of each chart \(\ell =1,\ldots \chi \) covering the manifold M. The equivariant parameters \(\epsilon _a^\ell \) describe the transformation properties of the local coordinates \(z_a^\ell \) with respect to the action of the vector field V on the manifold. For a toric manifold, they can be determined recursively (see Appendix 1 for details) starting from \(( \epsilon _1^1,\epsilon _2^1) = ( \epsilon _1,\epsilon _2)\) via the relation
with \(C_{\ell \ell '}=D_\ell \cdot D_{\ell '}\) the intersection matrix between the equivariant divisors \(D_\ell \). We recall that only \(b_2=\chi 2\) divisors are homotopically independent, so we can take the subset \(\{ D_s \}\), \(s=1,\ldots b_2\) as a basis of homotopically independent cycles.
Similarly, the scalar vevs, which parametrise the solutions of (2.10), can be written as in (2.22). Finally, as anticipated in Sect.2, the Donaldson observables are characterised by the choice of an equivariant polyform (2.18). We normalise the two forms \(\{ w_\ell \}\) such that
As we said already, in presence of Donaldson observables, the induced gauge coupling in each chart is given by \(q^\ell = q \, e^{\Omega _\ell }\) with \({\Omega _\ell }\) given by the zero form part of \(\mathcal{T}\) evaluated at the fixed point, \(z_1^\ell =z_2^\ell =0\), in chart \(\ell \).
4.1.1 Classical term
The contribution of the classical action to the partition function on M can be written as
with \(c_1^2= \int _M c_1 \wedge c_1 = \frac{1}{(2 \pi )^2}\int _M \mathrm{tr} F \wedge \mathrm{tr} F\) and
We notice that the partition function does not depend on an overall U(1) shift of the fluxes \(k_u^\ell \rightarrow k_u^\ell +c^\ell \), so we can use this freedom for example to set \(c_1^2=0,1,..[N/2]\) in the case of SU(N) theory.
In deriving the right hand side of (4.88) we used the identities
following from (.11). Remarkably, the classical partition function on M without observables does not depend on the scalar vev \(\mathfrak {a}\).
4.1.2 One loop term
By making use of (3.53), the one loop partition function on M can be written as the product
We will first prove that, although each factor is given by an infinite product, the total result involves only a finite number of factors. To see this, it is convenient to consider the character representation of the oneloop contributions, so from (3.66) we get
It is easy to see that \(\chi _{M}(\mathbf{k}  y, t_1,t_2 )\) is a finite polynomial given that it is a rational function and that it has no poles in the limit where one of the \(t_a^\ell \) goes to one. For instance, for a given \(\ell \), in the limit where \(t_1^\ell \approx 1\), the two terms \(\ell \) and \(\ell +1\) in the sum lead to
where we used that \((t_1^{\ell +1},t_2^{\ell +1})=(t_2^\ell (t_1^{\ell })^{C_{\ell \ell }}, (t_1^\ell )^{1})\) as it follows from (4.85). Consequently, the oneloop partition function can be written as the finite product
with \(p=\pm \) and where \(d^\mathbf{k}_{mnp }\) are the expansion coefficients of the oneloop character.
4.1.3 Instanton term
The instanton contribution is
with \(Z_{\mathrm{inst}, \mathbb {C}^2}\) given as a sum over Young diagrams contributions (3.54).
4.2 The residue sum
In this section we study the residues of \(Z_\mathrm{full}\) in the SU(2) case. We start by focusing on the contribution of a single chart \(Z_{\mathbb {C}^2}(a^\ell ,\epsilon _a^\ell ,q^\ell )\). Near \(a\approx 0\) this function can have a zero or a pole depending on the relative signs of the \(\epsilon ^\ell \)’s and whether or not the \(k^\ell \),\(k^{\ell +1}\)s are zero. The different cases are listed in the following:

when \(k^\ell , k^{\ell +1} \ne 0\), the function \(Z_{\mathbb {C}^2}(a^\ell ,\epsilon _a^\ell ,q^\ell )\) has a pole if \(\epsilon _1^{\ell }\epsilon _2^{\ell }<0\) and is regular otherwise

when \(k^\ell =0\), the result is the same if \(\epsilon _2^{\ell }<0\) and gets suppressed by an extra factor of a if \(\epsilon ^{\ell }_2>0\). Similar suppression factors are obtained for \(k^{\ell +1}=0\) in the case of \(\epsilon _1^{\ell }<0\) and \(\epsilon _1^{\ell }>0\) respectively.
Using the fact that in a compact toric manifold there are two and only two patches with \(\epsilon _1^\ell \epsilon _2^\ell >0\) (see Remark 3 in Appendix), we conclude that
Remark 2
The pole of \(Z_\mathrm{full}\) associated to a tuplet of nonvanishing integers \(\{ k^\ell \}\) is always of order \(\chi 2\). On the other hand, since \(\epsilon _1^{\ell } \epsilon _2^{\ell +1}\) is always negative, every vanishing \(k^\ell \) in the tuplet reduces the order of the pole by one.
Now let us consider the sum over the residues of \(Z_\mathrm{full}\). It is convenient to introduce the following operator
that flips the sign of the \(\ell ^\mathrm{th}\) component of the vector \(\mathbf{k}\).
Then we state the following property
To prove this, we recall that for any k, the full partition function has at most \(\chi 2\) poles. Let us consider first the \(\chi =3\) case. In this case one has a single pole so each term in the product contributes with its residue. According to the abstruse duality (3.60), under a flip of the sign \(k^\ell \), this term picks up the sign \(\epsilon _1^{\ell } \epsilon _2^{\ell +1}=1\), so the two contributions cancel against each other. Similarly for \(\chi =4\) one can achieve a similar cancellation after flipping two signs in (4.95). A detailed derivation of the general case is presented in Appendix .2.
An important consequence of (4.96) is that the sum over all tuplets \(\{ k^\ell \}\) of the residues of \(Z_\mathrm{full}\) cancels, so that a nontrivial result is found for the sum (2.36) weighted by \(\mathrm {sign}(\kappa )\).
It is important to observe that the residue of \(Z_\mathrm{full}\) for a given \(\mathbf{k}\) gives in general a result involving negative powers of q and divergent contributions in the nonequivariant limit \(\epsilon _a\rightarrow 0\), while the partial sum
involving the residue of \(Z_\mathrm{full}\) and all its sign flips does not include the terms with negative powers of q, although it still can be divergent in the nonequivariant limit. Here \(\zeta _\mathbf{k}\) is the number of zero entries in \(\{ k^\ell \}\). This allows us to write the partition function as a sum over orbits labeled by tuplets \(\{ k^\ell \}\) of nonnegative integers
Moreover, the orbits of the vector \(\{ k^\ell \}\) with positive components only can be classified into three groups
It is easy to see that the contributions from unstable orbits exactly cancel. In this case one can write
where in the last line we used the fact that if \(\mathbf{k}\) belongs to an unstable orbit all the flips in signs of the \(k^{\ell \ne i}\) do not change the sign of \(\kappa \). The last equation follows then from (4.96).
Finally in the case of semistable orbits, some contributions are missing since \(\kappa =0\) for specific choices of signs. The contribution of the tuplet \(\{k^\ell \}\) from a semi stable orbit is two times less than that of the same tuplet for a stable orbit.
One can see a correspondence between the classification of tuplets of fluxes \(\{ k^\ell \}\) (4.994.101) and Klyachko’s classification of sheaves on a manifold (and therefore between the poles of the partition function and the sheaves on a manifold)[24, 46]. According to Klyachko every sheaf is characterized by \(\chi \) filtrations of vector spaces. If we identify the fluxes \(\{ k^\ell \}\) with the positions of the jumps in the filtrations, we will see that (4.101) corresponds to the filtrations defining only unstable sheaves, while (4.99) is the necessary condition to have a stable sheaf among all the sheaves described by corresponding filtrations. The intermediate condition (4.100) guarantees that there is a semistable sheaf among all of the sheaves described by the corresponding filtrations (see Appendix .3 for the details). The fact that the contribution of the unstable orbits vanish is in agreement with the known fact that unstable sheaves do not contribute to the Donaldson invariants. The correspondence between the poles of the partition function and the sheaves on a toric manifold was first noted in [18].
An interesting observation is that the contribution of an orbit \(Z_\mathrm{orbit}( \mathbf{k},\epsilon _a,q) \) changes exactly when some of the sheaves defined by the corresponding filtrations change their stability type.
4.3 Comparison against wallcrossing formulae
In this section we check that the localization formula for the Donaldson partition function agrees with the results obtained via wallcrossing. We focus on SU(2) SYM on a compact toric manifold with \(\chi >3\). Let us consider the difference between the partition functions for two different choices of the Kahler form, \(\omega \) and \(\omega '\). The localization formula for the difference can be written in the form
The sum with \(\kappa \kappa '<0\) can be alternatively written as twice the sum over those \(r^s\) satisfying \(\kappa >0\) and \(\kappa '<0\). This sum can be interpreted as the contribution of the jumps made by the partition function when crossing the walls \(\kappa =0\) in the space of Kähler forms.
We denote by \(\hat{r} =k^\ell \omega _\ell _\mathrm{2form} = [F] \in H^2(M)\) the nonequivariant class of the gauge field strength F. The twoform \(\hat{r}\) is determined by the coefficients \(r^s\). We notice that the condition \(\kappa \kappa ' \sim ( \int \omega \wedge \hat{r})( \int \hat{r}\wedge \omega ')< 0\) requires that \(\hat{r}\) is a spacelike form \(\int \hat{r} \wedge \hat{r} <0\) since \(\omega \), \(\omega '\) are timelike forms \(\int \omega \wedge \omega >0\), \(\int \omega ' \wedge \omega ' >0\)^{Footnote 8} and belong to the Kähler cone. Consequently
and therefore the difference (4.103) has a well defined weak coupling expansion given by truncating the sum over the \(r^s\) to a given value of \(\Delta _\mathbf{k }\). On the other hand for manifolds with \(\chi =3\), namely \(\mathbb {P}^2\), \(\kappa \kappa '=r^2>0\) so the difference vanishes and no walls are found as expected.
In the mathematical language, following [23], a wall is defined as follows.
Definition
For every class \(\xi \in H^2(M,\mathbb {Z})\setminus \{0\}\) such that \(\langle \xi \cdot \xi \rangle < 0\) there is a wall \(W^{\xi }:=\{ L \in H^2(M,\mathbb {R}) \,  \, \langle L \cdot \xi \rangle =0 \}\) of type \(c_1, \, c_2\)^{Footnote 9} if

1.
\(W^{\xi } \ne \emptyset \);

2.
\(\xi + c_1\) is divisible by 2 in \(H^2(M,\mathbb {Z})\);

3.
\(c_1^24c_2 \le \langle \xi \cdot \xi \rangle \).
As it is shown in [23] the difference between the equivariant Donaldson invariants \(\tilde{\Phi }\) in a chamber containing a polarization \(\omega \) and a chamber containing a polarization \(\omega '\) can be found as
where the sum goes over all classes \(\xi \) defining the walls of given \(c_1\) and arbitrary \(c_2\) such that \(\int \omega ' \cdot \xi< 0 < \int \omega \cdot \xi \) and the contribution from a class \(\xi \) is given by
with \(\Omega \) being a form defining the observable and \(\tilde{\xi }\) being any equivariant extension of the class \(\xi \). We identify the class \(\xi \) with the nonequivariant twoform \(\hat{r}\). Then taking into account that \(a^\ell a^{\ell 1}=i^*_{P_{\ell 1}}\tilde{\xi }  i^*_{P_\ell } \tilde{\xi }\) (see the localization theorem in [47]) we see that formulae (4.103) and (4.105) match up to an overall numerical coefficient in the definition of the Donaldson invariants.
5 Donaldson invariants for \(\mathbb {P}^2\)
In this section we consider SU(2) SYM on \(\mathbb {P}^2\). The results on \(\mathbb {P}^2\) are well known for any choice of \(c_1\), so one can use them to test our approach in Fig. 1.
5.1 Geometric data
The fan of \(\mathbb {P}^2\) is specified by the vectors (see Appendix 1 for a brief introduction on toric geometry):
The three vectors satisfy
Comparing with the general toric formula
we conclude that \(h_\ell =C_{\ell \ell }=1\). The nontrivial intersection numbers are
In addition, the relation (5.108) determines the weights of the homogeneous coordinates in the description of the toric manifold as the quotient of \(\mathbb {C}^{3} \setminus \{0\}\) by the equivalence relation
In table 1 we display the local coordinates \((z_1^\ell ,z_2^\ell )\) in each chart \(\ell \) and the corresponding equivariant parameters \((\epsilon _1^\ell ,\epsilon _2^\ell )\).
To each chart we associate an equivariant two form \(w_\ell \). The zero form part of \(w_{\ell }\) at the origin \(z_1^{\ell '}=z_2^{\ell '}=0\) of the chart \(\ell '\) is given by
We collect the geometric data in Table 1. Finally the Kähler form on \(\mathbb {P}^2\) is \(w=\alpha (w_1+w_2+w_3)\) with \(\alpha \) a real positive number giving the volume of the manifold which was normalized to 1 in Sect. 2.2.
5.2 Donaldson invariants
To compare with the existing literature we set the Donaldson variables to
or equivalently
The classical contribution to the partition function becomes
where
As we discussed before, for \(\mathbb {P}^2\) there are only poles of order one. Let us consider the contribution of an orbit defined by the triplets \(\{ k^1,k^2,k^3 \}\) of positive integers^{Footnote 10}. Such orbit contains 4 terms with \(\kappa \ge 0\). The types of orbits can be grouped as follows:

Unstable orbits: they are generated from a triplet \((k_1,k_2,k_3)\) violating one of the triangle inequalities, let us say \(k_1+k_2<k_3\). There are four contributions \((\pm k_1,\pm k_2,k_3)\) which cancel against each other in pairs.

Stable orbits: they are generated from a triplet, satisfying the triangle inequalities \(k_i+k_j>k_k\), and its flips. They contribute with a factor \(26=4\).

Semistable orbits: they are generated from a triplet \((k_1,k_2,k_3)\) saturating one of the triangle inequalities, let us say \(k_1+k_2=k_3\). A contribution is missing, so that their contribution is weighted by a factor \(24=2\).
If one of the \(k_i\)’s is zero, the number of flips is two times less, but it is compensated with the additional factor \(1/2^\zeta \) from (4.97).
In Fig. 2, we display the poles in the aplane for \(r=6\). Stable points are points inside the triangle, while semistable ones lie at the boundary of the triangle. The partition function can then be written as
The contributions of each orbit can be computed by using the abstruse duality (3.60). Indeed, since \(Z_\mathrm{full}\) has at most a single pole, its residue can be written as
with
with \(d^\mathbf{k}_{mnp }\) the expansion coefficients of the oneloop dual character
where the \(1\) removes the zero eigenvalue associated to the residue. It is interesting to observe that the stable orbits are characterised by polynomials with expansion coefficients \(d^\mathbf{k}_{m n }\) all positive, while semistable ones correspond to characters with all positive coefficients except one. The same pattern is observed for higher rank theories. We stress the fact that, although the two sides of equation (5.118) lead to the same results, the right hand side of (5.118) is easier to evaluate since \(\hat{\Delta }_k\) is always positive and the instanton part is regular at \(\hat{a}^{(mn)}\).
In order to compute the Donaldson invariants up to order \(q^2\), for instance, it is enough to take the sum over \(\mathbf{k} \) with \(k^\ell \le 3\). The nontrivial contributions come from the orbits
where the terms “+permutations” in the above formula are referred to the permutations of \(\mathbf{k}\). Setting
one finds
In the limit of \(\epsilon _1, \, \epsilon _2 \rightarrow 0\) one recovers the standard nonequivariant Donaldson invariants
6 Gauge theories on \(\mathbb {F}_n\)
In this section we consider SU(2) gauge theories on \(F_n\) depicted in Fig. 3.
6.1 Geometric data
The four vectors of the toric fan of \(\mathbb {F}_n\) satisfy the relations
leading to the identification
The nontrivial intersection numbers following from (6.127) are
To each chart we associate an equivariant two form \(w_\ell \). The zero form part of \(w_{\ell '}\) at the origin of chart \(\ell \) can be found to be
The coefficients of the nonequivariant curvature are
We collect the geometric data in Table 2.
6.2 The Donaldson invariants
We take the Kähler form to be \(\omega =\alpha w_1+\beta w_2\) with \(\alpha n \beta >0\), and set the parameters of the observables as
Or equivalently
The maximal order of a pole is \(\chi 2=2\) and any \(k^\ell \) becoming zero decreases its order by one, see Fig 4 for an example.
The classical contribution to the partition function is
where we choose the first Chern class to be \(c_1=(r \, \mathrm{mod \, }2 )w_3+(r' \, \mathrm{mod \,}2) w_4\), so that
In the following, we label the first Chern class \(c_1=p_3 \,w_3+p_4\, w_4\) by the pair of integers \((p_3,p_4)\) defined mod N.
6.3 Hirzebruch surface \(\mathbb {F}_0\)
In order to compute the Donaldson invariants up to \(q^2\) it is enough to take values up to \(k_i=2\). To be more precise, the nontrivial contributions come from the orbits
For the equivariant Donaldson invariants one gets
In the non equivariant limit \(\epsilon _1, \, \epsilon _2 \rightarrow 0\) one finds
The results for \(c_1=(0,1)\) and \(c_1=(1,1)\) perfectly match those obtained using the wall crossing formulae. Indeed, in these two cases, an empty room exists and the contribution of every orbit is equal to a contribution of its flip with \(r r' \le 0\) with an additional factor \((4)\) for the stable points and \((2)\) for the semistable ones in agreement with the wall crossing results. On the other hand, in the case \(c_1=(0,0)\) there is no empty room, and the contribution of the orbits \(\mathbf{k} =(1,1,1,1)\) is not proportional to a contribution of any of its flips satisfying the condition \(r r'\le 0\).
6.4 Hirzebruch surface \(\mathbb {F}_1\)
Again, in order to compute the Donaldson invariants up to \(q^2\) it is enough to take values of the gauge fluxes up to \(k_i=2\). The nontrivial contributions come from the orbits
For the equivariant Donaldson invariants one gets
In the nonequivariant limit \(\epsilon _1, \epsilon _2\rightarrow 0\) one finds
7 SU(3) gauge theory on \(\mathbb {P}^2\)
In this section we compute the first instanton corrections to the Donaldson partition function for a theory with gauge group SU(3) living on \(\mathbb {P}^2\). The sum over the gauge fluxes is spanned now by two triplets of integers \((k_1^\ell  k_2^\ell )\) with \(\ell =1,2,3\). Using the Weyl symmetry in each chart one can order the tuplet such that \(k_1^\ell>k_2^\ell >0\). A scan over all tuplets with \(k_\alpha ^\ell \le 2\) shows that the leading contributions arise at order \(q^2\), from the three tuplets
The three terms contribute at order \(q^2\), with a \(q^{\Delta _k+{1\over 3} }=q^{6}\) coming from the classical part and a factor \(q^{k_1^\ell k_1^\ell } =q^{2+2+4}\) coming from the instanton partition function in the three charts covering \(\mathbb {P}^2\). An explicit evaluation of the residues leads to
where the dots stands for higher instanton corrections.
The results (7.146) can be alternatively found by exploiting the abstruse duality. Indeed, since \(Z_\mathrm{full}(\mathfrak {a}_\alpha ,q)\) has a single pole in \(\mathfrak {a}_1=\mathfrak {a}_2=0\), the residue receives contribution only from the leading term near the pole in each chart. Consequently, these contributions can be related using the abstruse duality (3.71) in each chart to the residue of the partition function at \(\hat{\mathfrak {a}}_\alpha =0\). More precisely, one finds
Notice that this relation holds for any tuplet such that the partition function exhibit a single pole at the origin. Remarkably, the right hand side of (7.147) can be easily evaluated to all orders in q. The crucial simplification follows from the fact that for \(k^\ell _1>k_2^\ell >0\), the instanton partition function in the right hand side of (7.147) is regular at \(\mathfrak {a}_\alpha =0\), so one has to deal with a residue of the much simpler oneloop part. The result can be written as
where \(d^\mathbf{k}_{m n }\) follows from the dual oneloop character evaluated at \(\mathfrak {a}_\alpha =0\) (the residue of the oneloop partition function)
with the 2 taking care of the residue and
One finds:
Reading \(d^\mathbf{k}_{mn}\) from (7.151) and plugging them into (7.148) one reproduces the denominators of (7.146) while the numerators come from the classical part of the partition function. The instanton contributes as 1 at this order, but an exact formula follows from (7.148) if all instanton terms are kept.
Putting together all pieces, we find that that each contribution in (7.146) is divergent in the limit \(\epsilon _a\rightarrow 0\) but their sum is finite. Indeed, the sum of the three terms leads to
with dots denoting higher \(\epsilon \)’s and instanton contributions. Other contributions of tuplets in the Weyl orbits of these three terms will lead to the same results up to signs, so the total contribution of the three orbits will be again proportional to (7.152).
Finally we notice that the tuplets (7.145) with \((\kappa _{1},\kappa _{2} )=(5,3)\) satisfy the slope stable conditions (2.44) and (1, 2, 21, 1, 1), (2, 1, 21, 1, 1), (2, 2, 11, 1, 1) satisfy (2.45) as expected for a contributing term.
Notes
Notice that on non compact manifolds, like ALE spaces, the sum over all fluxes is unconstrained since the Weyl symmetry is explicitly broken by the choice of the scalar vev at infinity.
This generalization has been obtained in collaboration with R.Poghossian in an unpublished work. Later it has been applied to the SYM with gauge groups of rank two in [38].
see [45] for a modern review of this classical result.
We take s to be positive for the sake of simplicity. Actually the result of the zero modes integration does not depend on s.
We notice that we can tune the gauge fixing parameter g to any value independently from \(\tau \). Setting \(g=0\) corresponds to the \(\delta \)gauge.
Notice that the specific block diagonal decomposition is obtained by fixing the Weyl group symmetry.
Remember that \(\bar{\tau }\equiv \tau i\frac{8\pi }{g^2}\)
We remind that since \(b_2^+=1\) the space \(H^2(M)\) with scalar product \(\int a \wedge b \) has a Minkowskilike signature
\(c_2\) is the second Chern class.
Triplets involving a vanishing \(k^\ell \) lead to a regular \(Z_\mathrm{full}\) with vanishing residue.
References
Seiberg, N., Witten, E.: Electric  magnetic duality, monopole condensation, and confinement in N=2 supersymmetric YangMills theory. Nucl. Phys. B 426, 19 (1994). arXiv:hepth/9407087
Seiberg, N., Witten, E.: Monopoles, duality and chiral symmetry breaking in N=2 supersymmetric QCD. Nucl. Phys. B 431, 484 (1994). arXiv:hepth/9408099
Nekrasov, N.A.: SeibergWitten prepotential from instanton counting. Adv. Theor. Math. Phys. 7, 831 (2004). arXiv:hepth/0206161
Bruzzo, U., Fucito, F., Morales, J.F., Tanzini, A.: Multiinstanton calculus and equivariant cohomology. JHEP 0305, 054 (2003). arXiv:hepth/0211108
Flume, R., Poghossian, R.: An Algorithm for the microscopic evaluation of the coefficients of the SeibergWitten prepotential. Int. J. Mod. Phys. A 18, 2541 (2003). arXiv:hepth/0208176
Fucito, F., Morales, J.F., Poghossian, R.: Multi instanton calculus on ALE spaces. Nucl. Phys. B 703, 518 (2004). arXiv:hepth/0406243
Bonelli, G., Maruyoshi, K., Tanzini, A.: Instantons on ALE spaces and Super Liouville Conformal Field Theories. JHEP 1108, 056 (2011)
Bonelli, G., Maruyoshi, K., Tanzini, A.: Gauge theories on ALE space and super Liouville correlation functions. Lett. Math. Phys. 101, 103 (2012)
Bonelli, G., Maruyoshi, K., Tanzini, A., Yagi, F.: N=2 gauge theories on toric singularities, blowup formulae and Walgebrae. JHEP 1301, 014 (2013)
Bruzzo, U., Pedrini, M., Sala, F., Szabo, R.J.: Framed sheaves on root stacks and supersymmetric gauge theories on ALE spaces. Adv. Math. 288, 1175–1308 (2016)
Bruzzo, U., Sala, F., Pedrini, M.: Framed sheaves on projective stacks. Adv. Math. 272, 20–95 (2015)
Pestun, V.: Localization of gauge theory on a foursphere and supersymmetric Wilson loops. Commun. Math. Phys. 313, 71 (2012)
Hama, N., Hosomichi, K.: SeibergWitten theories on ellipsoids. JHEP 1209, 033 (2012)
Bawane, A., Benvenuti, S., Bonelli, G., Muteeb, N., Tanzini, A.: \(mathcal N =2\) gauge theories on unoriented/open fourmanifolds and their AGT counterparts. JHEP 07, 040 (2019)
B. Le Floch and G. J. Turiaci, AGT /\({\mathbb{Z}}_{2}\), JHEP 12 (2017) 099
N. Nekrasov, “Localizing gauge theories.” http://www.researchgate.net/publication/253129819_ Localizing_ gauge_ theories, 2003
Bawane, A., Bonelli, G., Ronzani, M., Tanzini, A.: \(mathcal N =2\) supersymmetric gauge theories on \(S^2\times S^2\) and Liouville Gravity. JHEP 07, 054 (2015)
Bershtein, M., Bonelli, G., Ronzani, M., Tanzini, A.: Exact results for \( mathcal N \) = 2 supersymmetric gauge theories on compact toric manifolds and equivariant Donaldson invariants. JHEP 07, 023 (2016)
Bershtein, M., Bonelli, G., Ronzani, M., Tanzini, A.: Gauge theories on compact toric surfaces, conformal field theories and equivariant Donaldson invariants. J. Geom. Phys. 118, 40 (2017)
G. Beaujard, J. Manschot and B. Pioline, [arXiv:2004.14466 [hepth]]
RodriguezGomez, D., Schmude, J.: Partition functions for equivariantly twisted N=2 gauge theories on toric Kähler manifolds. JHEP 05, 111 (2015)
Witten, E.: Topological quantum field theory. Commun. Math. Phys. 117, 353 (1988)
Gottsche, L., Nakajima, H., Yoshioka, K.: Instanton counting and Donaldson invariants. J. Diff. Geom. 80, 343 (2008)
Klyachko, A.A.: Moduli of vector bundles and numbers of classes. Funct. Anal. Appl. 25, 67 (1991)
M. Kool, Euler characteristics of moduli spaces of torsion free sheaves on toric surfaces, Geometriae Dedicata 176, 241–269 (2015)
Bershadsky, M., Cecotti, S., Ooguri, H., Vafa, C.: Holomorphic anomalies in topological field theories. AMS/IP Stud. Adv. Math. 1, 655 (1996)
Vafa, C., Witten, E.: A strong coupling test of S duality. Nucl. Phys. B 431, 3 (1994)
A. Malmendier and K. Ono, Moonshine and Donaldson invariants of CP2, Commun Number Theor Phys 6, 759–770 (2012)
Griffin, M., Malmendier, A., Ono, K.: SU(2)Donaldson invariants of the complex projective plane. Forum. Math. 27, 2003 (2015)
Korpas, G., Manschot, J.: DonaldsonWitten theory and indefinite theta functions. JHEP 11, 083 (2017)
G. Korpas, J. Manschot, G. W. Moore and I. Nidaiev, Mocking the \(u\)plane integral, arXiv:1910.13410 [hepth]
A. Dabholkar, P. Putrov and E. Witten, Duality and Mock Modularity, SciPost Phys. 9, 072 (2020)
Festuccia, G., Qiu, J., Winding, J., Zabzine, M.: Twisting with a flip (the Art of Pestunization). Commun. Math. Phys. 377, 341 (2020)
Festuccia, G., Zabzine, M.: Sduality and supersymmetry on curved manifolds, JHEP 09, 128 (2020)
Alday, L.F., Gaiotto, D., Tachikawa, Y.: Liouville correlation functions from fourdimensional Gauge theories. Lett. Math. Phys. 91, 167 (2010)
Poghossian, R.: Recursion relations in CFT and N=2 SYM theory. JHEP 0912, 038 (2009)
Watts, G.: Determinant formulae for extended algebras in twodimensional conformal field theory. Nucl. Phys. B 326, 648 (1989)
Poghossian, R.: Recurrence relations for the \( mathcal W _3 \) conformal blocks and \( mathcal N =2 \) SYM partition functions. JHEP 11, 053 (2017)
Marino, M., Moore, G.W.: The DonaldsonWitten function for gauge groups of rank larger than one. Commun. Math. Phys. 199, 25 (1998). arXiv:hepth/9802185
A. Daemi and Y. Xie, Sutured Manifolds and Polynomial Invariants from Higher Rank Bundles, arXiv eprints (2017) arXiv:1701.00571 [1701.00571]
Moore, G.W., Witten, E.: Integration over the u plane in Donaldson theory. Adv. Theor. Math. Phys. 1, 298 (1997). arXiv:hepth/9709193
Baulieu, L., Bossard, G., Tanzini, A.: Topological vector symmetry of BRSTQFT and construction of maximal supersymmetry. JHEP 0508, 037 (2005). arXiv:hepth/0504224
S. K. Donaldson and P. B. Kronheimer,The geometry of Four Manifolds, Oxford Mathematical Monographs, Clarendon Press, Oxford (1990)
Freed, D.S., Uhlenbeck, K.K.: Instantons and Fourmanifolds. Springer, New York (1984)
Dorey, N., Hollowood, T.J., Khoze, V.V., Mattis, M.P.: Phys. Rept. 371, 231–459 (2002)
Klyachko, A.A.: Equivariant bundles on Toral varieties. Math USSRIzvestiya 35, 337 (1990)
Goresky, R.M.M., Kottwitz, R.: Equivariant cohomology, Koszul duality and the localization theorem. Invent. math. 131, 25 (1998)
Allen Knutson, E.S.: Sheaves on toric varieties for physics. Adv. Theor. Math. Phys. 2, 873 (1998)
Acknowledgements
G.B. and A.T. would like to thank P. Putrov for interesting discussions and H. Nakajima for encouragement. The research of G.B., F.F. and F.M. is partly supported by the INFN Iniziativa Specifica ST&FI and by the PRIN project “Nonperturbative Aspects Of Gauge Theories And Strings”. The research of E.S. and A.T. is partly supported by the INFN Iniziativa Specifica GAST. The work of A.T. is partially supported by the PRIN project “Geometria delle varieta‘ algebriche”. The work of M.R. has been partially supported by the funds awarded by the Friuli Venezia Giulia autonomous Region Operational Program of the European Social Fund 2014/2020, project “HEaD  HIGHER EDUCATION AND DEVELOPMENT SISSA OPERAZIONE 3”, CUP G32F16000080009, by INFN via Iniziativa Specifica GAST and by National Group of Mathematical Physics (GNFMINdAM). MR would like to thank Université de Genève for hospitality during the early stage of this project. MR would like to thank the INFN Sezione di Roma “TorVergata” for hospitality during the early stage of this project.
Funding
Open access funding provided by Universitá degli Studi di Roma Tor Vergata within the CRUICARE Agreement.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Appendix
Appendix
1.1 Toric geometry
In this appendix we give a brief review of toric geometry. A toric variety M of complex dimension two is specified by a set of vectors \(\{ v_\ell \} \in \mathbb {Z}^2\). Each cone \(\sigma _\ell \) generated by \((v_\ell ,v_{\ell +1})\) is isomorphic to a copy of \(\mathbb {C}^2\), and the set of cones, the so called fan, defines a covering of M. The variety M defined by the fan \(\{ \sigma _\ell \}\) is compact if the fan covers the whole \(\mathbb {R}^2\), and the index \(\ell \) is understood mod \(\chi \), i.e \(v_{\chi +1}=v_1\). The variety is smooth if any point in \(\sigma _\ell \cup \mathbb {Z}^2\) can be written as a linear combination of \(v_\ell \) and \(v_{\ell +1}\) with positive integer coefficients. We restrict ourselves to compact smooth varieties. The manifold can be equipped with \(\chi \) global coordinates \((y_1,\ldots , y_\chi )\).
The vectors \(v_\ell \in \mathbb {R}^2\) satisfy the relations
We notice that only \(\chi 2\) of these relations are independent. To each ray \(v_\ell \) we associate a divisor \(D_\ell \sim \mathbb {P}^1\) defined as \(y_\ell =0\)
The integers \(h_\ell \) specify the selfintersection numbers of the divisors in the toric geometry. More precisely, the intersection pairing \( D_{\ell } \cdot D_{m}=C_{\ell m}\) is given by
Given a cone \(\sigma _\ell \), we define the dual cone \(\sigma ^*_\ell \) as a set of vectors \( v^* \in \mathbb {R}^2\) such that \(v^*\cdot w >0\) \( \forall w \in \sigma _\ell \). Equivalently, the generators \((v_{\ell +1}^*,v_\ell ^*)\) of the dual cone \(\sigma ^*_\ell \) are defined by the conditions
For a vector \(v_\ell =(v_\ell ^1,v_\ell ^2)^T\) one finds the dual vector \(v^*_\ell =(v_\ell ^2,v_\ell ^1)^T\). (.1) leads to the \(\chi 2\) equivalences
To each dual cone \(\sigma ^*_\ell \) one can associate a chart \(U_\ell \) isomorphic to \(\mathbb {C}^2\). Local coordinates in these charts can be taken to be
Using (.1) it is easy to see that \(z_a^\ell \) are invariant under the action (.4).
We introduce a \((\mathbb {C}^*)^2\) action acting on the homogenous coordinates \(y_\ell \) as
The action on the local coordinates can then be written as
with
The origin of a patch \(U_\ell \) \((z_1^\ell , z_2^\ell )=0\) is invariant under the toric action. We denote this fixed point as \(P_\ell \) and in terms of the global coordinates it can be written as \((y_\ell ,y_{\ell +1})=0\). Note that every divisor \(D_\ell \) contains two fixed points, namely \(P_{\ell 1}\) and \(P_\ell \).
Taking
one finds
The remaining \(\epsilon _a^\ell \) can be found from the recursive relations
following from (.1).
Remark 3
An important remark is that for any compact toric variety there are two and only two patches with \(\epsilon _1^{\ell }\epsilon _2^{\ell }>0\).
Indeed, as it follows from (.8) the signs of \(\epsilon _1^{\ell }, \epsilon _2^{\ell }\) depend only on which side of the line \(v^2 \epsilon _1  v^1 \epsilon _2\) the vectors \(v_{\ell +1},v_{\ell }\) lie. Since the cones are convex they cover the whole \(\mathbb {R}^2\) and \(\epsilon _1^{\ell }, \epsilon _2^{\ell }\) cannot be zero, the above statement follows.
Remark 4
\(\mathrm {sign}(\epsilon _1^{\ell }\epsilon _2^{\ell +1})=\mathrm {sign}((\epsilon _1^{\ell })^2)=1\).
An equivariant two form w on M is defined as a form satisfying
with \(i_\xi \mathrm{d}z_a=\epsilon _a z_a\) the contraction with respect to the action of the V vector field. To each divisor \(D_\ell \) one can associate a Poincaré dual equivariant form \(w^\ell \) such that
The zero form part of \(w^\ell \) evaluated at the origin of a patch \(U_k\), which we denote as \([w^\ell ]_k\), is the equivariant pullback \(\iota ^*_{P^k \hookrightarrow M}\omega ^\ell \) of the form \(\omega ^\ell \) via the embedding \(P^k \hookrightarrow M\). The precise form of \([w^\ell ]_k\) can be computed using localization. Let \(\alpha \) be an equivariant form. Then, with the help of the localization theorem one can write
The same integral can be computed as an integral over the dual divisor \(D_\ell \) of the equivariant pullback \(\iota ^*_{D^l \hookrightarrow M} \alpha \) via the embedding \(D^l \hookrightarrow M\) . The integral localizes around the fixed points \(P_{\ell 1}\) and \(P_\ell \) intersecting the divisor
Comparing ( .14) and ( .15) one finds
Consistently, one can also check that the intersection matrix computed with the localization theorem gives the expected result
1.2 The Barnes double gamma function
The Barnes double gamma function is defined via analytic continuation to the whole complex plane of the integral
in the region \( x >0 \) where the integral converges. Using the representation of the logarithm
the double gamma function can be written as an infinite product of zeros or poles according to the domain of definition. For example for \( \epsilon _1, \epsilon _2>0\) writing
one can represent the \(\Gamma _2(x)\) function as the infinite product of poles
Similarly in the region \( \epsilon _1>0> \epsilon _2\) one writes
and the \(\Gamma _2(x)\) admits a representation as the infinite product of zeros
1.3 Proof of (4.96)
Let us consider first a variety with \(\chi =3\) (for instance, \(\mathbb {P}^2\)). Every point \(\{ k^{\ell } \}\) contributes at most with a simple pole, so in order to compute the residue at the point \(a=0\), we have to take only the leading term in the Laurent expansion of the partition function in each chart. The abstruse duality relates the leading term in each chart to the one obtained from it by flipping the sign of a \(k^\ell \). Since every \(k^\ell \) appears twice in the product \(\prod _{\ell =1}^{3}Z^{\ell }\), once in the \(\ell \)th patch and once in the \((\ell 1)\)th patch, according to (3.60) one finds
where the last identity follows from (.11). So we conclude that
and so the residue is also zero. Now let us consider a variety with \(\chi =4\) (\(\mathbb {F}_n\), for example). We would like to prove that
If the tuplet\(\{ k^{\ell } \}\) contributes as a simple pole, the previous argument is applicable and (.3) follows. If the tuplet contributes a double pole, the residue results from taking the leading terms in the Laurent expansion of three of the charts and one subleading term. If the subleading term is taken from a chart different from \(\ell \), it is unaffected by the sign flips \(\mathcal{P}_\ell \) or \(\mathcal{P}_{\ell +1}\) and the identity (.3) follows.
Finally, let us consider the term where the subleading contribution comes from the \(\ell \)th patch. The flipping of \(k^{\ell }\) and \(k^{\ell +1}\) affects the subleading contribution. Let us note that if \(\epsilon _1^{\ell } \epsilon _2^{\ell }>0\), the \(\ell \)th patch contributes as a regular point \((\mathfrak {a}^{\ell })^0\) and hence the subleading term is an odd function of \(\mathfrak {a}^{\ell }\). If \(\epsilon _1^{\ell } \epsilon _2^{\ell }<0\) the patch contributes as a simple pole and so the subleading term is an even function of \(\mathfrak {a}^{\ell }\). All together, one can say that
Therefore one finds
Similar manipulations hold for \(\chi >4\), with \(\chi 2\) sign flips.
1.4 Klyachko’s classification of sheaves
Here we follow the identification between the fluxes and the positions of the jumps in Klyachko’s filtrations first suggested in [18] (see their Appendix A).
According to [24, 46] an equivariant reflexive sheaf on a smooth toric variety M can be defined by a tuple of \(\chi \) non increasing filtrations of vector spaces \(E_i^{(\ell )}\), \(\ell \in \{1 \ldots \chi \}\)
A sheaf is stable if and only if for any proper subspace \(F \subset E=\mathbb {C}^N\) the following inequality holds [48]
where \(w_\ell \) is a form dual to the divisor \(D^\ell \) and \(\omega \) is the Kahler form. A semistable sheaf is defined by the non strict inequality (.2). A strictly semistable sheaf is semistable but not stable. Indeed, a gauge bundle \(\mathcal{E}\) associated to the spaces \(E_i^{(\ell )}\) is stable if for any equivariant subbundle \(\mathcal{F}\) associated to the induced spaces \(F \cap E_i^{(\ell )}\) (.2) holds, or equivalently if the slope of the equivariant subbundle is smaller than that of the slope of the bundle itself
To understand the content of the stability conditions (.2) it is convenient to introduce the tuplets of integers \(\{ k^{(\ell )}_\alpha \}\) describing the positions along the iline in the \(\ell ^\mathrm{th}\)sequence of the jumps from \(\mathbb {C}^{\alpha }\) to \(\mathbb {C}^{\alpha 1}\). Here for simplicity we use the shift symmetry to set the location of the first jump in each sequence at the origin, i.e. \(k^{(\ell )}_N=0\).
1.4.1 SU(2) case
In this simple case there are at most two jumps in a filtration with one onedimensional intermediate space, which we will denote as \(P^{(\ell )}\). The only non trivial choice for F is \(F = P^{(\ell ')}\) for some \(\ell '\). Let us first take the sheaves characterised by a tuplet of filtrations with two jumps and \(P^{(\ell )}\ne P^{(\ell ')}\) for all \(\ell \ne \ell '\). Then (.2) reduces to
with
If the inequalities (.4) are strictly true for any \(\ell '\), then (.2) holds for any F and the sheaf is stable.
We notice that if the choice of the subspaces \(P^{(\ell )}\) is more degenerated, then (.4) is not a sufficient condition for a sheaf to be stable. For example, if \(P^{(\ell )}= P^{(\ell ')}\) for any \(\ell ,\ell '\in \{1,\ldots , \chi \}\), then (.2) is always false for \(F=P^{(\ell )}\), even if (.4) is still true. It means that the corresponding sheaf is unstable. Therefore we see that (.4) is only a necessary (but not sufficient) condition for a sheaf defined by the tuplet of filtrations with the positions of the jumps \(\{ k^\ell \}\) to be stable.
In the same way one can see that (4.100) guarantees that there are some strictly semistable sheaves among all of the sheaves corresponding to a tuplet of filtrations with the jumps at \(\{k^\ell \}\). If both (4.99) and (4.100) are not satisfied then the non strict version of (.2) cannot be satisfied and so (4.101) is a sufficient condition for all the corresponding sheaves to be unstable. Taking into account also the filtrations with one jump from \(\mathbb {C}^2\) directly to 0 one will end up with the same inequalities (4.99  4.101) with the corresponding \(k^{(\ell )}=0\).
1.4.2 SU(3) case
Now let us consider the SU(3) gauge theory. The information about the subspaces of the filtrations relevant for the stability conditions in this case can be represented by points and lines in the projective plane. Indeed, twodimensional subspaces of \(\mathbb {C}^3\) can either coincide or intersect at a onedimensional space; a onedimensional space either lies in a twodimensional space or has no nontrivial intersection with it; for any two noncoinciding onedimensional spaces there exist one and only one twodimensional subspace, which include them both (which is their direct sum). Lines and dots on the projective plane have similar properties. The projective plane is required to avoid the existence of parallel lines. The choices for F in this case are given by one and twodimensional subspaces of \(\mathbb {C}^3\), represented by points and lines respectively.
To each divisor \(D_\ell \) in the toric manifold one can associated a line \(L^{(\ell )} \). We denote by \(P^{(\ell )} \in L^{(\ell )}\) a generic point in this line and by \(V_{\ell \ell '}\) a vertex at the intersection of the lines. For \(\mathbb {P}^2\) the most nondegenerated choice of the subspaces corresponds to the diagram drawn in the following picture
There are now four relevant choices for F:

\(F=P^{(m)}\): A point intersects itself and the line that it contains it, so \(F \cap L^{(m)} = F \cap P^{(m)}=F\) leading to
$$\begin{aligned} \forall m \qquad k_1^{(m)} \le {1\over 3} \sum _{\ell =1}^3(k_1^{(\ell )}+k_2^{(\ell )}) \end{aligned}$$(.6) 
\(F=L^{(m)} \cap L^{(n)}=V_{mn} \): A vertex intersects two lines \(F = F \cap L^{(m)} = F \cap L^{(n)} \) leading to
$$\begin{aligned} \forall m\ne n \qquad k_2^{(m)}+k_2^{(n)} \le {1\over 3} \sum _{\ell =1}^3(k_1^{(\ell )}+k_2^{(\ell )}) \end{aligned}$$(.7) 
\(F=L^{(m)}\): A line intersects itself on a line, a point contained in it on a point, and any other line on a vertex, so: \(F \cap L^{(m)} = F\), \( F \cap P^{(m)}=P^{(m)}\), \(F \cap L^{(n)}=V_{mn}\), leading to
$$\begin{aligned} \forall m \qquad {\textstyle \frac{1}{2}}(k_1^{(m)}+ k_2^{(1)}+k_2^{(2)}+k_2^{(3)}) \le {1\over 3} \sum _{\ell =1}^3(k_1^{(\ell )}+k_2^{(\ell )}) \end{aligned}$$(.8) 
\(F=P^{(m)} \oplus P^{(n)} \): A line connecting two points intersects the two points and all the lines contained on a point, so \( F \cap L^{(m)}=F \cap P^{(m)} =P^{(m)}\), \( F \cap L^{(n)}=F \cap P^{(n)} =P^{(n)}\), \( F \cap L^{(3)} =\tilde{P}^{(p)}\), leading to
$$\begin{aligned} \forall m\ne n\ne p \qquad {\textstyle \frac{1}{2}}( k_1^{(m)}+k_1^{(n)} +k_2^{(p)}) \le {1\over 3} \sum _{\ell =1}^3(k_1^{(\ell )}+k_2^{(\ell )}) \end{aligned}$$(.9)
Like in the SU(2) case, the resulting 12 conditions are necessary but not sufficient conditions for stability, because they are given by the most nondegesnerated choice of the subspaces of the filtrations.
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
Bonelli, G., Fucito, F., Morales, J.F. et al. Gauge theories on compact toric manifolds. Lett Math Phys 111, 77 (2021). https://doi.org/10.1007/s11005021014199
Received:
Revised:
Accepted:
Published:
DOI: https://doi.org/10.1007/s11005021014199
Keywords
 Extended Supersymmetry
 Supersymmeetric gauge theory
 Differential and Algebraic geometry
 Topological field theories