Abstract
We discuss the theory of equivariant localization focussing on applications relevant for holography. We consider geometries comprising compact and non-compact toric orbifolds, as well as more general non-compact toric Calabi–Yau singularities. A key object in our constructions is the equivariant volume, for which we describe two methods of evaluation: the Berline–Vergne fixed point formula and the Molien–Weyl formula, supplemented by the Jeffrey–Kirwan prescription. We present two applications in supersymmetric field theories. Firstly, we describe a method for integrating the anomaly polynomial of SCFTs on compact toric orbifolds. Secondly, we discuss equivariant orbifold indices that are expected to play a key role in the computation of supersymmetric partition functions. In the context of supergravity, we propose that the equivariant volume can be used to characterize universally the geometry of a large class of supersymmetric solutions. As an illustration, we employ equivariant localization to prove the factorization in gravitational blocks of various supergravity free energies, recovering previous results as well as obtaining generalizations.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The theory of equivariant co-homology is a rich mathematical subject, with numerous applications in diverse areas of geometry and mathematical physics. A remarkable consequence of this theory is that quite generally, on manifolds endowed with a Hamiltonian action of a Lie group, there exist localization formulas that express certain integrals in terms of contributions arising from the fixed point sets of the group action, thus simplifying enormously their evaluation. A prime example of this feature is the classic result of Duistermaat–Heckmann [1]. More generally, such integrals involve equivariant characteristic classes and may arise in the evaluation of equivariant indices of transversally elliptic operators [2, 3]. See, for instance, the review articles [4, 5], or [6] for a discussion perhaps more accessible to physicists. In this paper, we will need an extension of these results to the setup of orbifolds [7], including spindles and other orbifolds with singularities in co-dimension less than two, that are not so often considered in the physics literature but have recently received attention in the context of holography.
A very general framework in which the ideas of equivariant localization are realized is that of symplectic toric geometry. In this case, one starts with a symplectic manifold \((M_{2m},\omega )\) in dimension 2m, equipped with an effective Hamiltonian action of the real torus \({\mathbb {T}}^m\). The image of the associated moment maps is a convex rational polytope \(\mathcal{P}\subset {\mathbb {Q}}^m\) [8]. Together with the angular coordinates on the torus, \(\phi _i\sim \phi _i+2 \pi \), the moment maps \(y_i\) can be used as “symplectic coordinates”, endowing the manifold with a natural coordinate system \((y_i,\phi _i)\) in which any metric can then be written in a canonical form in terms of combinatorial data of the polytope [9]. In the toric setting, the fixed points sets of the \({\mathbb {T}}^m\) action are always isolated singularities, so that the localization formulas take the form of sums over fixed points. The applications of the localization theorems in this context range from the quantization of symplectic manifolds to algorithms for computing the volumes of polytopes and counting integral points. See, e.g., [10, 11]. The extensions to symplectic toric orbifolds was discussed in [12] and that to non-compact toric cones in [13].
In theoretical physics, equivariant localization came to the fore in the work of Nekrasov as a technique for calculating partition functions counting instantons in supersymmetric field theories [14]. See, e.g., [15] for a review. Applications of toric geometry motivated by the AdS/CFT correspondence were first discussed in [16] and further developed in [17], where the volume functional of toric Sasakian manifolds was shown to be extremized by Sasaki–Einstein metrics. The extension to the more general equivariant setting and the relation to fixed point theorems and the index-character of the associated Calabi–Yau cone singularities was explored in [18]. From the viewpoint of holography, these results can be used to compute the volume and other properties of Sasaki–Einstein manifolds, without explicit knowledge of the metric, from which in turn one can infer properties of the dual field theories. Subsequent developments in geometry include results about: toric Sasaki–Einstein metrics [19, 20], Kähler–Einstein metrics [21], extremal Sasaki metrics [22, 23], conformally Kähler Einstein–Maxwell metrics [24].
Following on the steps of [17, 18], we take holography as a motivation for uncovering precise mathematical relationships between geometry and supersymmetric field theories. In particular, we provide new evidence that toric geometry and equivariant localization are well-suited mathematical frameworks for this purpose. In the context of supergravity, our aim is to develop a universal approach to study the geometry underlying supersymmetric solutions based on extremization problems analogous to those formulated in [17, 25]. We will argue that the functionals to be extremized can be calculated in each case using the technique of equivariant localization, generalizing the results appeared in [18, 26,27,28].Footnote 1 We will consider, in particular, the novel supergravity constructions featuring compact spaces with conical singularities, like spindles and other orbifolds [33,34,35,36,37,38,39,40,41,42,43,44,45,46,47,48,49,50,51,52,53]. These solutions imply that we should work in the orbifold setting from the outset, and indeed, from our results we will obtain a direct localization proof of the factorization in gravitational blocks [54] recently discussed in the literature [35, 40, 51, 55].
In the context of supersymmetric field theory, our motivation is that of extending to the orbifold realm some tools that are well-established for field theories compactified on smooth manifolds. Specifically, working with orbifold equivariant co-homology, we wish to put on a sounder mathematical footing the technique of integration of the anomaly polynomials of even-dimensional SCFTs compactified on orbifolds. Furthermore, following [56], where a new index for three-dimensional \(\mathcal{N}=2\) theories was computed exploiting the spindle index-character, we present a discussion of equivariant orbifold indices, that we expect to be key building blocks for computing supersymmetric partition functions of SQFTs on orbifolds, extending Pestun’s [57] approach to supersymmetric localization. When the underlying space is (the resolution of) a non-compact Calabi–Yau singularity the same objects have been employed previously to compute Hilbert series of the moduli spaces of supersymmetric field theories [58,59,60]. We expect that new insights can be gained from the study of equivariant indices and their relation to the equivariant volume. In this paper, however, we restrict our localization techniques to the evaluation of classical geometrical objects. We now summarize the structure of this paper.
In Sect. 2, we recall the symplectic geometry description of compact toric orbifolds, following [9, 12, 61, 62]. We introduce the equivariant volume of symplectic toric orbifolds, that is our main object of interest. We discuss two alternative methods for evaluating this, namely the Berline–Vergne fixed point formula and the Molien–Weyl integral formula, that exploits the presentations of the toric orbifolds as symplectic quotients, based on the Lerman and Tolman’s generalization [12] of Delzant’s construction [8]. Although the topics covered in this section are mainly not original, we consider an extension to non-compact toric orbifolds, which leads to localization formulas for odd-dimensional orbifolds, arising as the base of complex cones thus generalizing the results of [18, 63] for the Sasakian volume. Aspects of the equivariant volume of non-compact symplectic toric manifolds were recently studied in [64, 65]. In this section, we also discuss the equivariant orbifold index of the Dolbeault complex, twisted by a holomorphic line orbi-bundle. In the toric setting, the geometric interpretation of this object is that of counting integer lattice points inside a convex integral polytope (or polyhedral cone, in the non-compact case), corresponding to sections of the line bundle. It can then be thought of as the quantum (or K-theoretical) version of the equivariant volume, which is recovered in a limit in which the lattice spacing goes to zero. Besides this close relationship with the equivariant volume, equivariant orbifold indices are expected to provide fundamental building blocks for the construction of supersymmetric partition functions defined on orbifolds [56], with applications to black hole microstrate counting. We therefore present some examples of these indices in Appendix C.
In Sect. 3, we discuss in detail a number of examples of toric orbifolds and their associated equivariant volumes. We start with the complex projective line \(\mathbb{W}\mathbb{P}^1_{[n_1,n_2]}\), also known as the spindle. This is the simplest compact toric orbifold, which arises in complex dimension one. It has a prominent role in several recent supergravity constructions corresponding to various wrapped branes [33,34,35,36,37,38,39,40,41,42,43,44,45,46,47,48,49]. Moving to complex dimension two, we consider generic compact toric orbifolds, described by a rational convex polyhedron with an arbitrary number of vertices. We then consider in more detail triangles, namely weighted projective spaces \(\mathbb{W}\mathbb{P}^2_{[n_1,n_2,n_3]}\) and their quotients by discrete groups, as well as quadrilaterals. Examples of supergravity solutions comprising Hermitian (non-Kähler) metrics on quadrilateral toric orbifolds are discussed in [50,51,52,53]. As a warm-up for Sect. 5, we also describe the pecularities of the non-compact case in a few explicit examples.
Section 4 concerns the application of equivariant localization to the calculation of the anomaly polynomial of 4d and 6d SCFTs compactified on various orbifolds. Using this approach we prove the localized form of the anomaly polynomial for theories compactified on the spindle [33, 35,36,37], as well as on general four-dimensional toric orbifolds, for which one example was considered in [50]. Our approach leads to a uniform derivation for SCFTs compactified on different orbifolds and explains the localized form of the integrated anomaly polynomials that was previous observed in examples.
Finally, in Sect. 5 we discuss the application of equivariant localization in the context of supergravity. Firstly, we show that the results of [18] on the localized form of the Sasakian volume are immediately recovered from the equivariant volume of the associated non-compact Calabi–Yau singularity. Furthermore, we prove that also the master volume introduced in [66], in the context of GK geometry [67], can be extracted from the equivariant volume and as a corollary we derive the factorization in gravitational blocks of the supergravity free energies for D3 and M5 branes wrapped on the spindle, reproducing the results of [55] in the toric case. We then propose analogous constructions for other branes wrapped on the spindle from which, in each case, we can extract the localized form of the gravitational blocks, which was anticipated in [40]. This leads us to propose that equivariant localization is the common thread of the geometry of supersymmetric supergravity solutions, at least in setups with a holographic interpretation. In particular, we believe that the equivariant volume should be a key object for setting up extremal problems characterizing supersymmetric geometries, in different supergravity theories.
In Sect. 6, we discuss our findings and indicate some directions for future work. The paper contains three appendices with some complementary material.
2 The equivariant volume
2.1 The symplectic geometry description of toric orbifolds
In this section, we review the geometry of symplectic toric orbifolds following the general formalism developed in [9, 12, 61, 62]. We emphasize that although it appears that we are relying on symplectic geometry, we will be interested in computing topological quantities that do not depend on the existence of an integrable symplectic structures and it should be possible to reformulate our computations entirely in terms of complex geometry. In particular, our results are applicable also to situations in which one is interested in metrics that are not compatible with a symplectic structure, such as the Hermitian (non-Kähler) metrics on toric orbifolds constructed in [50,51,52,53].
We consider a symplectic toric orbifold \(({\mathbb {M}}_{2m},\omega )\) in dimension 2m equipped with an effective Hamiltonian action of the real torus \({\mathbb {T}}^m={\mathbb {R}}^m/2\pi {\mathbb {Z}}^m\). We introduce symplectic coordinates \((y_i,\phi _i)\) with \(i=1,\ldots ,m\) where \(\phi _i\) are angular coordinates on the torus, \(\phi _i\sim \phi _i+2 \pi \). In terms of these coordinates, the symplectic form is given byFootnote 2
By a generalization of Delzant’s theorem [8], compact symplectic toric orbifolds are classified by labelled polytopes which are the image of \({\mathbb {M}}_{2m}\) under the moment maps \(y_i\) associated with the toric action [12]. The image of \({\mathbb {M}}_{2m}\) is simply obtained by forgetting the angular coordinates \(\phi _i\), and it is a rational simple convex polytope \({\mathcal {P}}\) in \({\mathbb {R}}^m\). We can describe it by introducing a set of linear functionsFootnote 3
where \(v^a\) are vectors in \({\mathbb {R}}^m\). The convex polytope is the subset of \({\mathbb {R}}^m\) defined by
The linear equations
define the facets \({\mathcal {F}}_a\) of the polytope. We denote with \(d\) the number of facets of \({\mathcal {P}}\). The condition that \({\mathcal {P}}\) be rational is equivalent to the fact that the vectors \(v^a\) have integer entries. The condition that \({\mathcal {P}}\) be simple requires that each vertex p lies at the intersection of precisely m facets
and the corresponding m vectors \(\{v^{a_1},\dots ,v^{a_m}\}\) are a basis for \({\mathbb {R}}^m\). The polytope comes equipped with a label for each facet, a positive integer \(n_a\) such that the structure group of every point in the inverse image of \({\mathcal {F}}_a\) is \({\mathbb {Z}}_{n_a}\).
This construction exhibits \({\mathbb {M}}_{2m}\) as a torus fibration over the polytope \({\mathcal {P}}\) and generalizes the familiar construction for toric varieties. As in the latter case, the torus fibration is non-degenerate in the interior of \({\mathcal {P}}\). A particular one-cycle in \({\mathbb {T}}^m\), determined by the vector \(v^a\), collapses at the facet \({\mathcal {F}}_a\). Thus, each facet \({\mathcal {F}}_a\) defines a symplectic subspace of \({\mathbb {M}}_{2m}\) of real codimension two. In the complex case, this becomes a divisorFootnote 4 which we will denote \(D_a\). Similarly, at the intersection of q facets, more cycles in \({\mathbb {T}}^m\) degenerate and we have a symplectic subspace of \({\mathbb {M}}_{2m}\) of real codimension 2q. The intersection of m facets is a vertex of the polytope, and it corresponds to a fixed point of the \({\mathbb {T}}^m\) action. We denote with \(n\) the number of such fixed points. In particular, we can give an alternative definition of the polytope \({\mathcal {P}}\) as the convex hull of the images of the fixed points of \({\mathbb {M}}_{2m}\).
In the context of toric varieties, the vectors \(v^a\) define what is called the fan of \({\mathbb {M}}_{2m}\). We will use the same terminology but the reader should be aware that we are dealing with a generalization of the concept which allows for more general type of orbifold singularities. For toric varieties, the vectors \(v^a\) are primitive, while in the case of generic symplectic toric orbifolds they are not. We can always define for each \(v^a\) a primitive vector \({{\hat{v}}}^a\) and a positive integer \(n_a\) such that \(v^a= n_a {{\hat{v}}}^a\).Footnote 5 The integer \(n_a\) is precisely the label of the facet \({\mathcal {F}}_a\) defined above. In particular, each symplectic divisor \(D_a\) has a local \({\mathbb {Z}}_{n_a}\) singularity. This cannot happen for toric varieties which are normal and have no singularities of complex co-dimension less than two. Notice also that the local singularity at the fixed point given by the intersection of the m facets \({\mathcal {F}}_{a_i}\), with \(i=1 \ldots m\), has order \(d=|\det (v^{a_1},\ldots , v^{a_m})|\). \({\mathbb {M}}_{2m}\) is a smooth manifold if and only if all the labels \(n_a\) are one and for each vertex \(|\det (v^{a_1},\ldots , v^{a_m})|=1\).
We want to equip \({\mathbb {M}}_{2m}\) with a compatible complex structure. Any \({\mathbb {T}}^m\)-invariant Kähler metric on \({\mathbb {M}}_{2m}\) is of the form [61]
where \(G_{ij}\) is determined by a symplectic potential G(y) as
and \(G^{ij}=(G^{-1})_{ij}\) is the inverse matrix. Holomorphic coordinates are given by
The existence of a symplectic potential is equivalent to the integrability of the complex structure.
The canonical metric on \({\mathbb {M}}_{2m}\) is given by [9]
so that
Notice that \(G_{ij}\) has poles at the facets but the metric is smooth up to orbifold singularities. The inverse matrix \(G^{ij}\) has rank \(m-1\) at the facets, indicating that a one cycle in \({\mathbb {T}}^m\) is degenerate. With a change of coordinates, we obtain a smooth orbifold metric on \({\mathcal {F}}_a\). The structure of poles of (2.9) is compatible with the degeneration of \({\mathbb {T}}^m\) at the faces of \({\mathcal {P}}\), and it is precisely designed to obtain an orbifold metric on \({\mathbb {M}}_{2m}\). The most general Kähler metric on \({\mathbb {M}}_{2m}\) is discussed in [62], and it is obtained by replacing the symplectic potential G(y) for the canonical metric with \(G(y)+h(y)\), where h(y) is smooth on the whole \({\mathcal {P}}\). The topological quantities we will discuss in this paper do not depend on the metric, and we can safely set \(h(y)=0\). In our applications to holography, we will encounter metrics that are not Kähler and not even symplectic, but the underlying spaces are in fact symplectic toric orbifolds and we can therefore use the symplectic coordinates and the canonical metric to compute topological quantities that ultimately will not depend on the metric.
Each facet \({\mathcal {F}}_a\) defines a \({\mathbb {T}}^m\)-invariant divisor \(D_a\) and an associated line bundle \(L_a\). These objects will be important for our construction so we will spend some time discussing their properties. The first Chern class of \(L_a\) has been explicitly computed in [9, 62]Footnote 6
where with \([\alpha ]\) we denote the co-homology class of the differential form \(\alpha \). An explicit representative is given byFootnote 7
where
Notice that \(\mu _a^i\) can be seen as a moment map for the torus action
From \(G^{ij}G_{jk} =\delta ^i_k\), we find
We can relate the Chern classes of the divisors to the Kähler form \(\omega \) as follows. From
we obtain
so that
Using the degeneration of \(G^{ij}\) at the facets, one can check that \(\sum _a G^{ij} v_j^{a} \text {d}\phi _i\) is a well-defined one-form, so that the last term on the right-hand side of (2.19) is exact. Therefore, we obtain the important relation (see Theorem 6.3 in [9])
Notice that this equation holds only in co-homology. We see that the parameters \(\lambda _a\) defining the shape of the polytopes through (2.3) are parameterizing the Kähler moduli of the symplectic orbifold.
There are actually only \(d-m\) independent line bundles. Indeed, using (2.13) and (2.16), we find m relations among the Chern classes
that translate into the familiar m linear relations among the divisors
These relations imply that, if \(d\) is the number of vectors in the fan, there are \(d-m\) independent (\(2m-2\))-cycles in homology and therefore only \(d-m\) independent Kähler parameters. The d parameters \(\lambda _a\) are associated with the \({\mathbb {T}}^m\)-invariant divisors and provide an overparameterization of the Kähler moduli.
In this paper, we will also consider non-compact cases, in particular non-compact Calabi–Yau cones. In this case, the polytope is replaced by a rational convex polyhedral cone. Calabi–Yau cones have typically singularities worse than orbifold. This happens when more than m facets intersect at a vertex. To use the general formalism of this section, we will perform a partial resolution to have only orbifold singularities. In applications to holography, we will also encounter polytopes and polyhedral cones that are not convex. We will obtain results by performing a suitable extrapolation from the convex case.
2.2 The definition of the equivariant volume
In this section, we define the equivariant volume. In order to simplify the exposition, in this and the next two sections we assume that \({\mathbb {M}}_{2m}\) is compact. We will discuss the subtleties and necessary modifications for the non-compact case in Sect. 2.5.
We want to work equivariantly in the \({\mathbb {T}}^m\) action on \({\mathbb {M}}_{2m}\), which is generated by the m vector fields \(\partial _{\phi _i}\). Correspondingly, we introduce m equivariant parameters \(\epsilon _i\), with \(i=1,\ldots m\) and the vector field \(\xi = \epsilon _i \partial _{\phi _i}\). We can introduce a Hamiltonian \(H=\epsilon _i y_i\) for this vector field
and define an equivariant Kähler form
We similarly introduce equivariant Chern classes for the line bundles \(L_a\)
using the moment maps \(\mu ^a\). All these forms are equivariantly closed
with respect to the \({\mathbb {T}}^m\) action. Notice that these expressions are formal linear combinations of forms of different degrees.
Our main object of interest is the equivariant volume of \({\mathbb {M}}_{2m}\) [1],
which is sometimes referred in the literature to as “symplectic volume” or “equivariant symplectic volume”.
We can write the equivariant volume as
since the integrand over \({\mathbb {M}}_{2m}\) receives contribution only from the piece of degree 2m in the expansion of the exponential. In terms of the equivariant forms (2.24) and (2.25), we have
Notice also that the two integrands in (2.29) are not equal but they differ by an equivariantly exact form by (2.20) and the integrals are therefore equal. Notice that the last inequality strictly holds only if \({\mathbb {M}}_{2m}\) is compact. We will return to this point in Sect. 2.5.
A geometrical interpretation of the equivariant volume of compact orbifolds is that it is the generating functional for the integrals of the equivariant Chern classes
The equivariant intersection numbers
are polynomials in \(\epsilon _i\) and they are topological in nature. Notice that the integrand in (2.31) is a formal linear combination of forms of various degree and the integral selects the piece of degree 2m. In particular, the equivariant intersection numbers are different from zero for all \(p\ge m\).
The expression in (2.27) can be easily reduced to an integral over the polytope \({\mathcal {P}}\) by performing the angular integrations
Thus, we have another interpretation of the equivariant volume as the volume of the polytope \({\mathcal {P}}\) with measure \(\text {e}^{-H}\). Integrals of this type and their relation to equivariant localization are discussed in [11].
The equivariant volume satisfies some interesting identities. From the expression (2.29)
and the identities (2.21) and (2.16), we find that the identity
holds, for arbitrary \(\beta _i\in {\mathbb {R}}^m\). This formula reflects the fact that only \(d-m\) parameters \(\lambda _a\) are geometrically independent. A closely related and useful identity can be obtained by taking derivatives of (2.33) and using again (2.21) and (2.16)
Similarly, we have
In the next sections, we review two different methods to evaluate \(\mathbb {V}(\lambda _a,\epsilon _i)\), the fixed point and the Molien–Weyl formula. They are both discussed in the literature. Here we adapt them to our notations and we discuss the relations among them.
2.3 The fixed point formula
The equivariant volume can be computed using a fixed point formula. This can be obtained from (2.27) using the Duistermaat–Heckman theorem [1], the localization formula for equivariant co-homology [68, 69], or a direct evaluation of (2.32) [10, 11]. Here we use the localization approach and, for completeness, in “Appendix A” we report an explicit proof for \(m=2\).
Consider a symplectic toric orbifold \({\mathbb {M}}_{2m}\) with the properties discussed in Sect. 2.1. The torus action \({\mathbb {T}}^m\) acts on \({\mathbb {M}}_{2m}\) with \(n\) isolated fixed points corresponding to the vertices of the polytope \({\mathcal {P}}\). Consider an equivariantly closed form \(\alpha ^{{\mathbb {T}}}\) on \({\mathbb {M}}_{2m}\). The equivariant localization theorem for orbifolds applied to our situation states that
where the sum is over the fixed points \(y_A\) of the \({\mathbb {T}}^m\) action, \(e^{{\mathbb {T}}}\) is the equivariant Euler class of the tangent bundle at \(y_A\) and \(d_A\) are the orders of the orbifold singularity at the fixed point \(y_A\). In particular, applying this theorem to the computation of the equivariant volume (2.29) gives
To evaluate the localization formula, we need to compute the restriction \(c_1^{{\mathbb {T}}}(L_a) |_{y_A}\) of the equivariant Chern classes of \(L_a\) to the A-th fixed point. The fixed point \(y_A\) is defined by m linear equations
for a choice of m intersecting facets associated with the vectors \(\{v^{a_1},\ldots ,v^{a_m}\}\). The order of the orbifold singularity is given by
We will denote the A-th fixed point also with the m-tuples of indices \(A=(a_1,\ldots , a_m)\) defining the vertex. In the neighbourhood of the fixed point \(A=(a_1,\ldots , a_m)\)
up to regular pieces. This can be inverted to give
where the vectors \(u^{a_i}_A\) are constructed by taking the wedge product of the \(m-1\) vectors \(v^{a_j}\) with \(j\ne i\). The sign ambiguity is determined by requiring \(u^{a_i}_A \cdot v^{a_i} = d_A\). The vectors \(u^{a_i}_A\) have integer entries and satisfy
as well as
They have a dual geometrical interpretation as the inward normal vectors to the facets of the cone \((v^{a_1}, \ldots ,v^{a_m})\) in the fan or, equivalently, as integer vectors along the m edges of the polytope \({\mathcal {P}}\) meeting at \(y_A\). Notice that the m-tuplet of vectors \(u^{a_i}_A\) depends on the choice of vertex A.
The restriction of the moment maps (2.14) to the fixed points then gives
and therefore
Notice that the restriction of \(c^{{\mathbb {T}}}_1(L_a)\) to a fixed point is not zero only if the point belongs to the facet \({\mathcal {F}}_a\).
Finally the tangent bundle at a fixed point splits as a direct sum of the m line bundles \(L_{a_i}\) associated with \(A=(a_1,\ldots , a_m)\) and so we have [18]
Now the fixed point formula gives
where A runs over the n vertices of the polytope. This formula can be also obtained by computing the volume of the polytope \({\mathcal {P}}\), as discussed, for example, in [11].
We note on passing that the identities (2.34), (2.35) and (2.36) can be also derived from the fixed point formula. For example,
where we explicitly wrote all the sums to explain the derivation. In particular, we used (2.44) to perform the intermediate summation over i. The proof of (2.35) and (2.36) is similar.
2.4 The Molien–Weyl formula
The equivariant volume can be also computed using a Molien–Weyl integral formula following [64, 65].
The orbifold \({\mathbb {M}}_{2m}\) can be realized as a symplectic quotient. Consider the space \({\mathbb {C}}^d\), where \(d\) is the number of vectors in the fan, and the subgroup K of \({\mathbb {T}}^d\) of elements of the form
where
Then, \({\mathbb {M}}_{2m}\) is the symplectic reduction [12, 62]
generalizing a familiar result in toric geometry. Notice that, in general, the group K has a continuous part \(U(1)^{d-m}\)
which can be expressed in terms of the GLSM charges \(Q_a^A\in {\mathbb {Z}}\), with \(A=1,\ldots d-m\), satisfying
as well as a discrete part of more complicated characterization.
Consider first the case where there is no discrete part in the quotient and \({\mathbb {M}}_{2m}={\mathbb {C}}^d//U(1)^{d-m}\). The authors of [64, 65] derived a formula for the equivariant volume as a function of Kähler parameters \(t_A\) of the symplectic reduction and the equivariant parameters of \({\mathbb {C}}^d\). This is a Molien–Weyl formula obtained by averaging the equivariant volume of \( {\mathbb {C}}^d\) with respect to the \(U(1)^{d-m}\) action. The formula reads
A particular contour of integration should be used depending on the direction of the vector of Kähler parameters \(t_A\). A prescription based on the Jeffrey–Kirwan (JK) residue [70] has been proposed in [64, 65]. Formula (2.55) should be also divided by the order of the discrete group corresponding to the torsion part of K when this is present. We will discuss subtleties related to the choice of contour and discrete groups when illustrating examples.
Notice that \(\mathbb {V}_{MW}\) depends on \(d- m\) Kähler parameters \(t_A\), which is the right number of geometrically inequivalent parameters for \({\mathbb {M}}_{2m}\). It also depends on \(d\) equivariant parameters \({{\bar{\epsilon }}}_a\) associated with the \({\mathbb {T}}^d\) action on the ambient space, which is larger than the m parameters that we expect for \({\mathbb {M}}_{2m}\). However, \(d- m\) equivariant parameters can be eliminated by shifting the integration variables. Indeed, up to an exponential factor, the Molien–Weyl integral is invariant under the shift
for \(\eta _A\in {\mathbb {R}}\).
We thus have two expressions for the equivariant volume, \(\mathbb {V}(\epsilon _i,\lambda _a)\), depending on m equivariant parameters \(\epsilon _i\) and \(d\) Kähler parameters \(\lambda _a\) but with the "gauge" invariance (2.34), and \(\mathbb {V}_{MW}({{\bar{\epsilon }}}_a,t_A)\), depending on \(d\) equivariant parameters \({{\bar{\epsilon }}}_a\) and \(d- m\) Kähler parameters \(t_A\) but with the "gauge" invariance (2.56). The two expressions must agree with a suitable mapping between parameters. The two set of parameters can be related by comparing gauge-invariant quantities. Based on several examples, we find evidence that this mapping is given by
and we conjecture that the two expressions for the equivariant volume agree up to a multiplicative factor when expressed in terms of the over-redundant variables \((\lambda _a, {{\bar{\epsilon }}}_a)\), namelyFootnote 8
As a consistency check of this formula, we can apply to both sides the operator \(\sum _a v^a_i \frac{\partial }{\partial \lambda _a}\). Since the GLSM charges satify (2.54) and \(\mathbb {V}_{MW}\) is a function of \(t_A = -\sum _a \lambda _a Q_a^A\), we obtain zero on the left-hand side. On the right-hand side, we obtain
which is also zero because of the identity (2.35) and the identification (2.57).
2.5 Remarks on the non-compact case
Most of the previous results hold also for non-compact orbifolds, but with some important differences. We still define the equivariant volume as
which we can also write as an integral over a polyhedron \({\mathcal {P}}\)
Since \({\mathbb {M}}_{2m}\) and \({\mathcal {P}}\) are non-compact, we need to assume that the integrals are convergent. This happens for the examples we will be interested in, where \({\mathcal {P}}\) is asymptotically a cone. In this case the Hamiltonian \(H=\epsilon _i y_i\) acts as a convergence factor, at least if the vector \(\epsilon \) lies inside the cone.
The fixed point formula and the Molien formula hold under general conditions also for non-compact orbifolds, and we can even use them as an operative definition for the equivariant volume. For example, the fixed point formula only assumes that there are isolated fixed points in \({\mathcal {P}}\) and that there are no contributions from infinity. Notice that the identities (2.34), (2.35) and (2.36), which follow from the fixed point formula, are still valid.
However, the co-homological interpretation (2.30) fails. In particular, the two integrals in (2.29) are not equal in general. The second term in (2.19)
is still exact, but it cannot be ignored in a integral over non-compact orbifolds.Footnote 9 As a result, the equivariant volume can be still formally expanded in power series of \(\lambda _a\) but the coefficients cannot be straightforwardly interpreted as generalized intersection numbers as in (2.30). In particular, while in the compact case, the power series of \(\lambda _a\) starts at order m and the coefficients are polynomials in \(\epsilon _i\), in the non-compact setting the power series has all coefficients different from zero and these are in general rational function of \(\epsilon _i\), as it follows from the fixed point formula. We will discussed explicit examples of non-compact orbifolds in Sects. 3.3 and 5.
2.6 Relation to the equivariant orbifold index
In this section, we briefly discuss how the equivariant volume arises as a limit of an index character, following the logic in [18, 64, 65]. Examples of calculations of characters are provided in “Appendix C” as this is not the main theme of this paper.
The equivariant index for the twisted Dolbeault complex on \({\mathbb {M}}_{2m}\) is defined by
where \(q\in {\mathbb {T}}^m\) is an element of the torus and \(\Lambda _a\in {\mathbb {Z}}\), \(a=1,\ldots ,d\) are integers specifying a choice of line bundle. The trace is taken on the induced action on the co-homology. The index can be computed with the Hirzebruch–Riemann–Roch theorem. We start with the smooth case that is considerably simpler, and we take all the labels to be one, the vectors \(v^a\) to be primitive and all the orders \(d_A=1\). The fixed point formula for the equivariant index is
where the symbol \({\underline{q}}^{{\underline{n}}}\) is an abbreviation for \(q_1^{n_1}\ldots q_m^{n_m}\). The geometrical interpretation of the equivariant index is generically to count integer points
in the polytope
as discussed, for example, in [11]. The equivariant volume can be obtained by setting \(q_i=\text {e}^{-\hbar \epsilon _i}\) and taking the limit \(\hbar \rightarrow 0\). The limit of (2.64) is singular but exhibits the equivariant volume as the coefficient of the leading pole
where we scale \(\Lambda _a=-\lambda _a/\hbar \).
Analogously, the Molien–Weyl formula reads [64, 65]
where the contour is defined again through the JK prescription. Setting \({{\bar{q}}}_a=\text {e}^{-\hbar {{\bar{\epsilon }}}_a}\), \(T_A=t_a/\hbar \in {\mathbb {Z}}\) and changing variables to \(z_a=\text {e}^{-\hbar \phi _A}\), we find
The Molien–Weyl formula (2.68) can be interpreted as an average over the complexified group \(U(1)^{d-m}\) acting on the coordinates of the ambient space \({\mathbb {C}}^{d}\). The continuous average in (2.68) should be supplemented by a discrete average if the group K appearing in the symplectic reduction \({\mathbb {M}}_{2m}={\mathbb {C}}^d//K\) has a torsion part.
The formulas (2.64) and (2.68) are familiar in the context of non-compact conical Calabi–Yau singularities. For \(\Lambda _a=T_A=0\), they have been used to compute Hilbert series for the mesonic moduli space of the dual \(\mathcal{N}=1\) superconformal theories [58, 59]. For \(\Lambda _a,T_A\ne 0\) they compute Hilbert series for the baryonic moduli space [60].
The relation between the two formulas is
The corresponding fixed point formulas for orbifolds are more complicated [7, 71]. Each fixed point contribution is replaced by a discrete Molien formula implementing the quotient \({\mathbb {Z}}_{d_A}\)
where
is a generator of the local orbifold singularity \({\mathbb {Z}}_{d_A}\). In the limit \(\hbar \rightarrow 0\), only the term with \(k=0\) contributes at the leading order and we recover the fixed point formula (2.48) as the coefficient of the most singular term (see (2.67)).
In the special case of non-trivial labels but no extra orbifold singularities, we can use the formulas in Appendix C to resum (2.71) and we obtain
where the floor function \(\lfloor x \rfloor \) denotes the integer part of x, \(v^a=n_a {{\hat{v}}}^a\) and \(u^a=n_a {{\hat{u}}}^a\) have been decomposed into primitive vectors \({{\hat{v}}}^a, \; {{\hat{u}}}^a\) and the label \(n_a\) and we assume that \({{\hat{d}}}_{a,a+1}=\det ({{\hat{v}}}^a, {{\hat{v}}}^{a+1})=1\). One can check with elementary methods that this formula computes indeed the number of integer points in the polytope (2.66).
3 Examples from geometry and holography
To illustrate the previous discussion, in this section we provide explicit examples of the equivariant volumes for some simple compact and non-compact orbifolds. The specific examples are chosen among the orbifolds that appear as building blocks of various supergravity solutions with a holographic dual. We also derive some results that will be used in Sects. 4 and 5, where we provide more physical applications.
3.1 The spindle
The first example that we consider is the weighted projective line \(\mathbb{W}\mathbb{P}^1_{[n_+,n_-]}\), namely the spindle , which is at heart of the recent novel supergravity constructions. It can be defined as the set of pairs of complex numbers \((z_1,z_2)\) under the identification
This is the most general toric symplectic orbifold in two real dimensions. It is the simplest example of toric orbifold that is not a toric variety, as its singular points occur in complex co-dimension one. In particular, the orbifold points, that are fixed under the U(1) action, are also the divisors and therefore \(d=n=2\). The image of under the moment map is simply a segment \({\mathcal {P}}=I\), exactly as for \({\mathbb {P}}^1\simeq S^2\) and the two facets \({\mathcal {F}}_a\) are its end-points, defined by the linear equations
where the one-dimensional non-primitive vectors are \(v^1 = n_1\), \(v^2 \equiv -n_2\), where we will also denote \(n_1\equiv n_+\) and \(n_2\equiv n_-\).Footnote 10 The two labels are \(n_+,n_-\in {\mathbb {N}}\). Thus, is a circle fibration over the segment I, with the circle collapsing at the end-points, where are the two \({\mathbb {C}}/{\mathbb {Z}}_{n_+}\), \({\mathbb {C}}/{\mathbb {Z}}_{n_-}\) singularities, see Fig. 1.
In the following, it will be convenient to define two rescaled Kähler parameters \(\lambda _1=n_+{\hat{\lambda }}_1\), \(\lambda _2=n_-{\hat{\lambda }}_2\), so that
We can then write explicitly the one-dimensional (canonical) metric (2.10)
and the related moment maps
In the conventions of Sect. 2.1, in which \(l_a(y)\ge 0\), we have thatFootnote 11\(y\in [y_1,y_2]= [{\hat{\lambda }}_1,-{\hat{\lambda }}_2]\), with the extrema of the interval corresponding to the north and south poles of , respectively.
We can then write all the relations discussed in Sect. 2.1 explicitly in terms of the moment maps (3.5). The explicit representatives of the first Chern classes \(c_1(L_a)\) associated with the line bundles \(L_a\) defined by the extrema of the interval (the two divisors) are
where \(\phi \sim \phi +2\pi \) is the azimuthal coordinate, and denoting by \(\epsilon \) the equivariant parameter, their equivariant versions are
The equivariant Kähler form is:
where \(H=\epsilon y\) is the Hamiltonian for the vector field \(\xi = \epsilon \partial _{\phi }\). With this information, we can check various relations explicitly, without appealing to the fixed point theorem. For example, it is immediate to compute
The co-homological relation (2.20) can also be verified explicitly, noting that
where
is such that \(\Phi (y_a)=0\), implying that \(\Phi (y) \text {d}\phi \) is an exact one-form on the spindle.
Let us now turn to the fixed point relations and the equivariant volume. From (3.5), it immediately follows that the restriction of the moment maps to the fixed points reads
where \(u^1=1\), \(u^2=-1\) and therefore
Using these and the fact that the equivariant Euler class of the tangent bundle at a fixed point \(y_a\) is
one can reproduce the integrals (3.9) from the fixed point theorem (2.37). The equivariant volume can be easily computed either directly
or using the fixed point formula
which of course gives the same result. From this, it is immediate to compute the nonzero equivariant intersection numbers (2.31),
generalizing (3.9) to \(s>1\).
We end this subsection noting that it is straightforward to check directly that the equivariant volume depends only on the co-homology class of \([\omega ]\). Specifically, if we use a different representative of \([\omega ]\), such as
then we have
where the last equality follows trivially from a change of variables and the fact that \(\Phi (y_a)=0\).
3.2 Four-dimensional toric orbifolds
We now move to compact four-dimensional orbifolds (\(m=2\)), that have applications in holography [50,51,52], as well as in geometry [72,73,74]. The image of \({\mathbb {M}}_{4}\) under the moment map is a rational simple convex polygon \({\mathcal {P}}\) in \({\mathbb {R}}^2\) and its facets \({\mathcal {F}}_a\), defined by the linear equations \(l_a(y)=0\), are the edges of the polygon, as shown in Fig. 2. Of course each vertex \(p_a\) of the polygon lies at the intersection of precisely 2 edges, so that the simplicity condition is automatic. Moreover, the number of facets/edges \(d\) of \({\mathcal {P}}\) coincides with the number of vertices \(n\), that are also the fixed points of the \({\mathbb {T}}^2\) action. The condition that \({\mathcal {P}}\) be rational is equivalent to the fact that the \(d\) normals to the edges, \(v^a\), have integer entries; however, they do not need to be primitive. The highest common factor \(n_a\) of the two entries of each of the \(v^a\) is precisely the label associated with an edge/facet \({\mathcal {F}}_a\).
Each facet defines a symplectic subspace of \({\mathbb {M}}_4\) of real dimension two, namely a divisor \(D_a\) of complex dimension one, with a local \({\mathbb {C}}/{\mathbb {Z}}_{n_a}\) singularity. The vertices \(p_a\) of \({\mathcal {P}}\) correspond precisely to points where two divisors \(D_a\), \(D_{a+1}\) intersect, with local singularity \({\mathbb {C}}^2/{\mathbb {Z}}_{d_{a,a+1}}\), where \(d_{a,a+1}=|\det (v^{a},v^{a+1})|\). The linear dependence of the \(d\) vectors \(v^a\) in \({\mathbb {R}}^2\) is expressed by the relations
defining the GLSM charges \(Q_a^A\in {\mathbb {Z}}\), with \(A=1,\ldots d-2\), that are used to present \({\mathbb {M}}_4\) as the symplectic quotient \( {\mathbb {M}}_{4} = {\mathbb {C}}^d//U(1)^{d-2}\), up to torsion factors. Correspondingly there are two linear relations among the divisors
The equivariant volume and equivariant intersection numbers can be conveniently written in terms of the quantities
where \(u_a^i\) are the inward normals to the cones \((v^a,v^{a+1})\) as discussed in Sect. 2.3 and pictured in Fig. 2. We can rewrite these as
where \(\epsilon \equiv (\epsilon _1,\epsilon _2)\). In writing these formulas, we have assumed that the vectors \(v^a\) lie on the plane in anticlockwise order and we have identified cyclically \(v^{a+d}\equiv v^a\). In particular, the equivariant Euler class of the tangent bundle at a fixed point \(y_a\) reads
The restriction to the fixed points of the equivariant Chern classes \(c_1^{{\mathbb {T}}}(L_a)\) (2.46) can be written as
so that the general formula for the equivariant intersection numbers reads
Below we report explicit formulas for intersection numbers up to \(p=4\). First of all, for \(p=0,1\) the integrals vanish automatically, giving rise to identities that may also be verified with elementary algebra. Specifically, we have
For the double intersection numbers, we reproduce the intersections matrix of divisors (see, e.g. [51]), which is independent of the equivariant parameters \(\epsilon _1,\epsilon _2\):
where we used the identity
to deal with the terms occurring in the self-intersection \(D_a\cdot D_a\). Similarly, we can compute the integral of three equivariant first Chern classes, that read:
where the diagonal term can be shown to be linear in \(\epsilon _i\), using the identity
For the integrals of four equivariant first Chern classes, we have
where the diagonal term can be shown to be quadratic in \(\epsilon _i\), using the identity
The fixed point formula (2.48) for the equivariant volume specializes to the expressionFootnote 12
which is easily evaluated in examples. On the other hand, starting from the definition (2.27), the equivariant volume can also be written as in integral over the polygon \({\mathcal {P}}\) as
that can be evaluated explicitly using Stokes’ theorem. Notice that the dependence on the Kähler parameters \(\lambda _a\) arises from the shape of \({{\mathcal {P}}}={{\mathcal {P}}}(\lambda _a)\). The details of this calculation are given in “Appendix A”.
3.2.1 The weighted projective space \(\mathbb{W}\mathbb{P}^2_{[N_1,N_2,N_3]}\)
As a first example of equivariant volume for four-dimensional toric orbifolds, we consider the weighted projective space \({\mathbb {W}}{\mathbb {P}}^2_{[N_1,N_2,N_3]}\) defined as the set of triples of complex numbers \((z_1,z_2,z_3)\) under the identification
There are various presentations in terms of labelled polytopes [62], and it is interesting to consider some of them in order to understand better the role of the labels.
Consider first the fan
where each of the three facets has non-trivial labels. We take the labels \(n_a\) to be mutually coprime. The GLSM charges are given by
and the symplectic quotient description \({\mathbb {W}}{\mathbb {P}}^2_{[N_1,N_2,N_3]}={\mathbb {C}}^3//U(1)\), where U(1) acts with charge Q, is just the definition (3.37) of the weighted projective space. Notice, however, that our choice of fan corresponds to “non-minimal” \(Q_a=N_a\) that are products of integers.
The equivariant volume can be computed with the fixed point formula (3.35)
This expression is a rational function of \(\epsilon _i\) but when expanded in power series in \(\lambda _a\) as
where \(\mathbb {V}^{(k)}\) is the component of degree k in \(\lambda _a\), all singular terms cancel. The constant and linear terms vanish, and the other \(\mathbb {V}^{(k)}(\lambda _a,\epsilon _i)\) are homogeneous polynomials of degree \(k-2\) in \(\epsilon \) that encode the equivariant intersection numbers of the line bundles \(L_a\). In particular, \(\mathbb {V}^{(2)} (\lambda _a,\epsilon _i)\) coincides with the non-equivariant limit
encoding the classical intersections numbers of the divisors \(D_a\). Since only one divisor is geometrically independent because of (2.22), this is a quadratic form of rank one.
We can compare the result with the Molien–Weyl formula (2.55),
where we use the charges Q. The JK prescription for a single integration is very simple.Footnote 13 It prescribes to take all residues associated with \(\phi \) with positive charge for \(t>0\), and minus the residues for \(\phi \) with negative charge for \(t<0\). Taking \(t>0\) and performing the residue computation, we obtain
with non-equivariant limit
We see that each residue corresponds to a fixed point. It is easy to see that the two master volumes coincide under the identification (2.58)
It is interesting to consider also the fan
where now the GLSM charges are the “minimal” ones
However, in this case there is also a torsion part in the symplectic quotient description. Indeed, the symplectic action on \({\mathbb {C}}^3\) is given by
where
For the minimal fan (3.47) with relatively prime \(n_a\), the relations
have solution
One \(k_i\) can be further gauged away by choosing \(\alpha =\textrm{integer}/n_3\) (assuming again that the \(n_a\) are relatively prime). So we are left with a continuous U(1) action generated by \(\alpha \) and an extra discrete groupFootnote 14
so that
As an exercise, the interested reader can check that the relation
still holds. The right-hand side can be computed as before with the fixed point formula (3.35), while the left-hand side with the Molien–Weyl formula. However, since the Molien–Weyl integral is blind to the torsion part, the formula (2.55) should be further divided by the order \(N_3\) of the discrete group \(\Gamma \). For example, the non-equivariant volume is now
with an extra factor of \(N_3\).
Finally, we can consider an example taken from [62].Footnote 15 The fan is
and the GLSM charges are the “minimal" ones
However, the equations \(\sum _a Q_a v^a_i\in {\mathbb {Z}}\)
have solution
and one \(k_i\) can be further gauged away by choosing \(\alpha =\textrm{integer}/(n_1 n_2 n_3)\). So we are left with a continuous U(1) action generated by \(\alpha \) and an extra discrete group so that
where
is a discrete group of order \(N_1 N_2 N_3\). We still find
where the Molien–Weyl integral should be further divided by \(N_1 N_2 N_3\). The non-equivariant volume is
3.2.2 Quadrilaterals
Let us now discuss the most general four-dimensional toric orbifold with four fixed points, that we refer to as quadrilaterals, following [73]. A sub-class of this family of orbifolds has been discussed in [51], and below we will discuss how one can retrieve those results. It is convenient to parameterize the data of this orbifold in terms of the six vector products
where \(v^a\), \(a=1,\dots ,4\) is the set of toric data, as in Fig. 3. Then, a vector identity implies that these satisfy the following relation
showing that there are five independent integers characterizing a quadrilateral. One can show that the charges of the \(U(1)^2\) action on \({\mathbb {C}}^4\) can be written in a particularly symmetric form using this parameterization, and read
Without loss of generality, one can use an SL\((2,{\mathbb {Z}})\) transformation to set \(v^1 = (n_-,0)\), where \(n_-\in {\mathbb {Z}}\). The remaining vectors solving the constraint
are then easily determined and the full set reads
where \(d_{1,2}, d_{1,3}, d_{4,1}\) are integer multiples of \(n_-\) and \(a_\pm \in {\mathbb {Z}}\) such that
which always exist by Bezout’s lemma.
The equivariant volume \(\mathbb {V}(\lambda _a,\epsilon _i)\) is easily computed using the general fixed point formula (3.35), but we shall not write it explicitly as it does not have a compact expression. Expanding it in Taylor series in powers of \(\lambda _a\) as in (3.41), one can check that \( \mathbb {V}^{(0)} (\epsilon _i) = \mathbb {V}^{(1)} (\lambda _a,\epsilon _i) = 0\), whereas the quadratic part is independent of \(\epsilon _i\) and reads
where \(D_{ab}\) is the intersection matrix of divisors (3.29), which reads
It may be useful to compare with the orbifold geometry studied in [51] (see also [50]), which may be viewed as spindle fibered over another spindle, and interpreted as a natural orbifold generalization of Hirzebruch surfaces. This is obtained setting
and \(r_+ = - t a_+\), \(r_- = - t a_-\). For these values, the vectors of the fan reduce to those written in eq. (4.27) of [51] and the GLSM charges become
We can then perform the \(U(1)^2\) quotient of \({\mathbb {C}}^4\) in two stages. The first quotient using weights \(Q^1\) gives the line bundle . The second quotient using weights \(Q^2\) projectivize this bundle, giving a bundle. Indeed for \(n_+=n_-=m_+=m_-=1\), this reduces exactly to the Hirzebruch surface \({\mathbb {F}}_t\), which is the most general family of toric manifolds with four fixed points.
It is instructive to compare with the Molien–Weyl formula. We do it explicitly for the case of the bundle. The Molien–Weyl integral reads
The multiplicative factor \(n_-\) takes into account that the \(U(1)^2\) action is not effective since
acts in the same way on all points in \({\mathbb {C}}^4\). The Molien formula mods out twice by a discrete subgroup \({\mathbb {Z}}_{n_-}\) and we need to multiplicate by \(n_-\) to obtain the right result. The poles in the integrand are associated with two-dimensional vectors \({\mathcal {Q}}^a=(Q^1_a, Q^2_a)\), \(a=1,2,3,4\). The JK prescription instructs us to take the (simultaneous) residues at the poles \({\mathcal {Q}}_{a_1}\) and \({\mathcal {Q}}_{a_2}\) if the vector of Kähler parameters \((t_1,t_2)\) is contained in the cone \(({\mathcal {Q}}_{a_1},{\mathcal {Q}}_{a_2})\). When \((t_1,t_2)\) lies in the first quadrant, it is contained in four different cones (see Fig. 4).
In the Kähler chamber \(t_1>0\) and \(t_2>0\), we then add four contributions. One can check that
where the gauge-invariant variables (2.57) are
The non-equivariant volume is
3.3 Non-compact examples
We consider now some non-compact examples where the polytope \({\mathcal {P}}\) is asymptotically a polyhedral cone. We compute the volume using the fixed point formula, assuming that there is a finite number of fixed points and no contributions from infinity. As anticipated in Sect. 2.5, the equivariant volume is a rational function of \(\epsilon _i\). As we will see, two of the singular terms for the Calabi–Yau examples can be identified with the Sasakian volume of [17, 18] and the master volume introduced in [66]. This identification will be discussed in more detail in Sect. 5.
3.3.1 \({\mathbb {C}}^2/{\mathbb {Z}}_p\)
Our first non-compact example is \({{\mathbb {C}}^2/{\mathbb {Z}}_p}\), which is a conical orbifold singularity. The most general toric action is obtained using as fan the vectors
The corresponding \({\mathbb {Z}}_p\) action on \((z_1,z_2)\in {\mathbb {C}}^2\) is given by
where the GLSM charges are pure torsion, namely
whose solution is, for p and q coprime, given by
This is then the \({\mathbb {C}}^2/{\mathbb {Z}}_p\) quotient
with \(\omega _p=\text {e}^{\frac{2\pi i}{p}}\), which for \(|z_1|^2+|z_2|^2=1\) gives the Lens space L(p, q). The equivariant volume is obtained from the general formula (3.35), and is entirely encoded by the contribution of the single fixed point with \({\mathbb {Z}}_p\) singularity, namely
Expanding (3.85) in powers of \(\lambda _a\), we obtain
where the constant and linear terms are nonzero, as a difference with the compact case. They are also singular functions of \(\epsilon \). The constant piece is actually the Sasakian volume of the Lens space L(p, q), and the linear term is the corresponding master volume introduced in [66]. In particular, for \(q=1\) that corresponds to the “supersymmetric” Lens space L(p, 1), the linear term coincides precisely with (B.6) of [76].
Since there are no continuous GLSM charges, the Molien–Weyl formula is trivial
where there are no Kähler parameters t and we divide by p for the order of the discrete group \({\mathbb {Z}}_p\). Nevertheless, it is still true that
where the gauge-invariant combinations are
3.3.2
Let us now consider the asymptotically conical non-compact orbifoldFootnote 16, where is a spindle with \({\mathbb {Z}}_{n_+}\), \({\mathbb {Z}}_{n_-}\) singularities at its poles. This can be thought of as a “blow-up” of the \({{\mathbb {C}}^2/{\mathbb {Z}}_p}\) of the previous section, where the apex of the cone is replaced with the spindle . In general, this is a partial resolution, but in the special case that \(n_+=n_-=1\), it is a complete resolution.
The GLSM charges are given by
where notice that the space is a Calabi–Yau if and only if \(p=n_++n_-\). In particular, only for \(p=2\) we have a complete resolution of the CY singularity \({{\mathbb {C}}^2/{\mathbb {Z}}_2}\). The vectors of the fan solving the condition
can be taken to be
with \(t,q\in {\mathbb {Z}}\) satisfying
which always exist by Bezout’s lemma. Indeed, we see that the basis (3.92) is obtained from (3.80) by adding the vector \((t,n_-)\), which is normal to the edge representing the spindle, as illustrated in Fig. 5.
Alternatively, the basis (3.92) can be obtained from (3.69) of the compact example, by removing \(v^3\) and setting \(n_-=1\), \(d_{4,1}=-p\), \(d_{1,2}=n_-\), \(d_{2,4}=-n_+\) and \(a_+ d_{2,4}=t\), \(a_- d_{2,4}=q\). The condition (3.70) obeyed by \(a_+,a_-\) becoming the condition (3.93) for t, q.
The equivariant volume is obtained from the general formula (3.35), and now it receives contributions from the two orbifold fixed points, with \({\mathbb {Z}}_{n_-}\), \({\mathbb {Z}}_{n_+}\) singularities, namely
and expanding this in \(\lambda _a\), we get
which coincides with (3.86). Thus, we see that up to linear order, the information about the (partial) resolution is washed out as there is no dependence on \(n_-\) and \(n_+\), nor on the Kähler parameter \(\lambda _2\), corresponding to the compact divisor . Specifically, the leading and sub-leading terms reproduce precisely the Sasakian and GMS master volume of the Lens space L(p, q). Notice that this behaviour is independent of the Calabi–Yau condition \(p=n_++n_-\). Another notable case is given by \(n_+=n_-=p=1\), which corresponds to the smooth non-compact space \(\mathcal{O}(-1)\rightarrow {\mathbb {P}}^1\), namely the blow-up of \({\mathbb {C}}^2\) at one pointFootnote 17. This is not a Calabi–Yau and its link is the round \(S^3\).
We can also compare with the Molien–Weyl formula
where, according to the JK prescirption, for \(t>0\) we take the residues for the terms with positive charge \(Q_i\), \(\phi = -{{\bar{\epsilon }}}_1/n_+\) and \(\phi =-{{\bar{\epsilon }}}_3/n_-\). We find, as usual
where the gauge-invariant combinations are
3.3.3 \(\mathcal{O}(-1) \oplus \mathcal{O}(-1) \rightarrow {\mathbb {P}}^1\)
We now consider the two small resolutions of the conifold singularity \(\{ z_1 z_2 = z_3 z_4 | z_i \in {\mathbb {C}}^4 \}\), corresponding to the asymptotically conical non-compact manifold \(\mathcal{O}(-1) \oplus \mathcal{O}(-1) \rightarrow {\mathbb {P}}^1\), known in the physics literature as resolved conifold. The toric data consist in the fan
with GLSM charges
The corresponding polytope is a conical non–compact polyhedron with four facets all intersecting at the tip of the cone. Since the vectors \(v^a\) lie on a plane, or, equivalently \(\sum _a Q_a=0\), this defines a conical Calabi–Yau threefold. In order to use the results of Sect. 2, we need to resolve the conifold singularity. This can be done in a standard way by triangulating the fan as in Fig. 6. The fan is now the union of the two cones \((v^1,v^2,v^4)\) and \((v^2,v^3,v^4)\), each associated with a vertex of the polytope and therefore with a fixed point of the torus action. The original conical singularity has been replaced by a compact two cycle, which can be visualized as a circle fibration over the segment connecting the two vertices of the polytope. There are actually two small resolutions related by a flop. The second one is obtained by triangulating the fan in a different way, by adding the line \(v^1-v^3\) and considering the fan which is the union of the two cones \((v^1,v^2,v^3)\) and \((v^1,v^3,v^4)\).
The fixed point formula (2.48) reads
where A runs over the triangular cones of the resolution, \(d_{a_1,a_2,a_3}=|\det (v^{a_1},v^{a_2},v^{a_3})|\) is the order of the orbifold singularity at the fixed point and \(u^{a}_A\) are the inward normals to the faces of the cones as in Fig. 7.
Consider first the resolution in Fig. 6. The necessary data are
and the equivariant volume is
At \(\lambda _a=0\), we recover the Sasakian volume of the 5-dimensional base of the singular cone (cfr (7.30) in [18])
and the quadratic part is, up to a normalization, the master volume introduced in [66]Footnote 18
Things work similarly for the second resolution
The equivariant volume now reads
which is different from (3.102). The difference between the equivariant volumes for the two resolutions starts at order three in the Kähler parameters
In particular, Eqs. (3.103) and (3.104) are valid for both resolutions. We see that the first terms in the \(\lambda _a\) expansion of \(\mathbb {V}\), which are singular in \(\epsilon _i\), capture the geometry of the asymptotic singular cone and are therefore independent of the resolution. The difference (3.107) is instead a power series in \(\lambda _a\) with coefficients which are regular polynomials in \(\epsilon _i\), and this reflects the fact that the different flops differ by a compact cycle.
It is also interesting to compare with the result of the Molien–Weyl formula (2.55) which, using \(Q=(1,-1,1,-1)\), reads
We need to specify a prescription for the contour and the residues to take, which depends on the sign of t and the choice of resolution. The JK prescription requires to take the residues where the charge Q is positive for \(t > 0\) (first resolution) and minus the residues where the charge Q is negative for \(t < 0\) (second resolution). For example, for \(t>0\) we take the two residues \(\phi =-{{\bar{\epsilon }}}_1\) and \(\phi =-{{\bar{\epsilon }}}_3\), obtaining
while for \(t<0\) we take (minus) the residues associated with negative charge, \(\phi ={{\bar{\epsilon }}}_2\) and \(\phi ={{\bar{\epsilon }}}_4\). It is easy to check that in both cases
where the gauge-invariant variables explicitly read
4 Integrating the anomaly polynomial on orbifolds
In this section, we will consider field theories associated with D3 and M5 branes and we will show how the formalism of equivariant integration can be employed to determine the anomaly polynomials of lower-dimensional theories, obtained compactifying the original theories on orbifolds. For theories compactified on the spindle, these results were obtained in [33, 35,36,37], but the equivariant formalism allows for uniform derivations for various branes wrapped on different orbifolds. In the case of theories compactified on manifolds, the method of integration of the anomaly polynomial is well known and is reviewed in [77], to which we refer for more details. In this reference is also discussed the extension in which background gauge fields for the isometries of the compactification manifolds are turned on, and the relation to equivariant integration is spelled out. In a SCFT in (even) dimension \(\textrm{d}\), the anomaly polynomial can be thought of as a formal \((\textrm{d}+2)\)-form on an auxiliary \((\textrm{d}+2)\)-dimensional space \(Z_{\textrm{d}+2}\) that is the total space of a \({\mathbb {M}}_{\textrm{p}}\) fibration over a \((\textrm{d}+2-\textrm{p})\)-dimensional base space \(B_{\textrm{d}+2-\textrm{p}}\),
and integrating it on \({\mathbb {M}}_{\textrm{p}}\) gives a \((\textrm{d}+2-\textrm{p})\)-form, that is the anomaly polynomial of a \((\textrm{d}-\textrm{p})\)-dimensional SCFT. In [33], an extension of this construction to the case that is a spindle has been proposed and succesfully matched to the dual supergravity solution. More generally, here we will assume that \({\mathbb {M}}_{\textrm{p}}\) (and hence, generically, also \(Z_{\textrm{d}+2}\) ) is an orbifold.
The anomaly polynomial is a linear combination of characteristic classes of vector bundles on \(Z_{\textrm{d}+2}\), which (using the splitting principle) can always be decomposed in terms of first Chern classes of holomorphic line (orbi-)bundles on \(Z_{\textrm{d}+2}\). Specifically, for any U(1) symmetry acting on \({\mathbb {M}}_{\textrm{p}}\), the latter can be fibered over \(B_{\textrm{d}+2-\textrm{p}}\) by gauging this U(1) with a connection on a line bundle \({\mathcal {J}}\) over \(B_{\textrm{d}+2-\textrm{p}}\), denoted \(A_{\mathcal {J}}\). When \({\mathbb {M}}_{2m}\) is a toric orbifold, this consists in replacing the occurrences of each term \(\text {d}\phi _i\) with \(\text {d}\phi _i +A_{{\mathcal {J}}_i}\), where \(\mathcal{J}_i\) are auxiliary line bundles with \(c_1(\mathcal{J}_i) = \left[ F_{{\mathcal {J}}_i} \right] /2\pi \in H^2(B_{\textrm{d}+2-\textrm{p}},{\mathbb {Z}})\) and \(F_{{\mathcal {J}}_i} =\text {d}A_{{\mathcal {J}}_i}\). This recipe is formally equivalent to consider equivariant first Chern classes, as follows. Starting from the line bundles \(L_a\) with equivariant first Chern classes \(c_1^{{\mathbb {T}}}(L_a)\) discussed in Sect. 2.1, one can make the replacement
One can then use these \(c_1({\mathcal{L}}_a)\) as a basis to parameterize the characteristic classes appearing in the anomaly polynomials.
4.1 D3 branes on the spindle
For 4-dimensional SCFTs, the anomaly polynomial is a 6-form defined on an six-dimensional orbifold \(Z_6\) that we take to be the total space of a fibration over an auxiliary space \(B_4\),
Neglecting terms that are sub-leading in the large N limit the six-form anomaly polynomial is given by
where \(c_{IJK}\) are the cubic ’t Hooft anomaly coefficients \(c_{IJK}=\)Tr\((F_IF_JF_K)\) and \(F_I\) denote the generators of global U(1) symmetries. The \(c_1(F_I)\) are formal first Chern classes associated with these \(U(1)_I\) symmetries that can be decomposed asFootnote 19
where \({{\mathfrak {p}}}_I^{a}\in {\mathbb {Z}}\) are “fluxes stuck at the fixed points”, \(L_a\) are the line bundles discussed in Sect. 3.2 and \(c_1(F_R^{2\textrm{d}})\in H^2(B_4,{\mathbb {Z}})\) is the first Chern class of the \(2\textrm{d}\) R-symmetry line bundle.
The anomaly polynomial of the two-dimensional theory is obtained integrating the anomaly polynomial of the four-dimensional theory on the spindle,
and is a four-form on \(B_4\). Substituting (4.5) in (4.4), it is immediate to see that this is exactly equivalent to the equivariant integral on the spindle
where we have expressed the resulting four-form as a function of the variables \(\Delta _I\) and the equivariant parameter \(\epsilon \). This can also be understood as allowing the trial 2d R-symmetry to mix with the U(1) symmetry of the spindle, formally setting \(c_1(\mathcal{J}) = \epsilon c_1(F_R^{2\textrm{d}})\) (thus “undoing” the replacement (4.2)), and extracting the coefficient of the four-form \(\mathcal{A}_{2d} = F (\Delta _I,\epsilon ) c_1(F_R^{2\textrm{d}})^2\). Expanding the integrand we obtainFootnote 20
with the equivariant intersection numbers
whose nonzero values are given in (3.17). Alternatively, the same result can be obtained by evaluating the equivariant integral (4.7) using the fixed point theorem (2.37), explaining the observation made in [35]. Specifically, we get
where, in terms of the trial 4d central charge
we have
Notice that the terms singular in \(\epsilon \) (cubic in the \(\Delta _I\)) cancels out, as expected.
The expression above depends on the \({\mathfrak {p}}_I^a\), but it can be rewritten in terms of “physical fluxes” \({\mathfrak {n}}_I\), defined as the integrals of the flavour line bundles [77]
namely
Recall that in general supersymmetry can be preserved on the spindle by coupling with a background R-symmetry gauge field with first Chern class
where \(\sigma ^a=\pm 1\), corresponding to either twist or anti-twist [41]. Since the supercharge should couple to \(2c_1(F_R^{2\textrm{d}}) + c_1(E_R)\) we must have
implying the constraints
As a consequence, the physical fluxes obey
and we can introduce new variables
In terms of these variables, the gravitational blocks depend only on the physical fluxes, namely
yielding
in agreement with [40].
Notice that (4.21) is much simpler than the analogous expression in eq. (5.9) of [35] and is therefore the most convenient form to be used in the extremization. The reason is that in the variables \(\varphi _I\) the expression is manifestly independent of the redundant parameters \(r_0^I\) used in the construction in [35], as we now explain. In this reference, one starts from the background gauge fields \(A_I = \rho _I (y)\text {d}\phi \) inherited from the supergravity solution, where \(y,\phi \) are coordinates on the spindle. This is lifted to \(Z_6\) by the gauging procedure \(\text {d}\varphi \mapsto \text {d}\varphi + A_{\mathcal {J}}\), which leads to the connection one-forms \({{\mathscr {A}}}_I = \rho _I(y) (\text {d}\phi + A_{\mathcal {J}})\), where \(\text {d}A_{\mathcal {J}} = 2\pi c_1({\mathcal {J}})\), so that
Comparing with (4.5) leads us to identify \(\rho _I (y)\) precisely with our moment maps, namely
In our notation,Footnote 21 the functions \(\rho _I(y)\) satisfy [35]
where \(\sum _I r_0^I=2\), while using (3.12) we have
implying that we must identify
Summing over I, we then get
consistently with \(\sigma ^1= -1\), \(\sigma ^2=1\), corresponding to the anti-twist [35]. This shows that the constants \(r_0^I\) parameterize the redundancy in the relation between the physical fluxes \({\mathfrak {n}}_I\) and the \({{{\mathfrak {p}}}_I^{a}}\). However, notice that (4.26) implies that \(r^I_0 \in {\mathbb {Q}}\).
4.2 M5 branes on the spindle
The anomaly polynomial of M5 brane 6-dimensional SCFTs is an eight-form defined on an eight-dimensional orbifold \(Z_8\) that we take to be the total space of a fibration over an auxiliary space \(B_6\),
Neglecting terms that are sub-leading in the large N limit, the eight-form anomaly polynomial is given by:
where \(p_2(R)\) is the second Pontryagin class of the \(SO(5)_R\) normal bundle to the M5 brane in the eleven-dimensional spacetime. The \(F_I\), \(I=1,2\) are the generators of \(U(1)_1\times U(1)_2\subset SO(5)_R\) global symmetries that are preserved when the M5 brane is compactified on the spindle [37]. The \(c_1(F_I)\) are the first Chern classes of the line bundles on \(Z_8\) associated with these \(U(1)_I\) symmetries and are decomposed as
The anomaly polynomial of the four-dimensional theory is obtained integrating the anomaly polynomial the six-dimensional theory on the spindle,
and is a six-form on \(B_6\). We now substitute (4.30) in (4.29), where \(c_1(\mathcal{L}_a)\) is as in Eq. (4.5) and \(c_1(F_R^{4\textrm{d}})\in H^2(B_6,{\mathbb {Z}})\) is the first Chern class of the \(4\textrm{d}\) R-symmetry line bundle. Formally setting \(c_1(\mathcal{J}) = \epsilon c_1(F_R^{4\textrm{d}})\) and extracting the coefficient of the six-form \(\mathcal{A}_{4d} = F (\Delta _I,\epsilon ) c_1(F_R^{4\textrm{d}})^3\) lead to the equivariant integral
which may be expanded as
where the nonzero equivariant intersection numbers are given in (3.17). Alternatively, the same result can be obtained evaluating the equivariant integral (4.32) using the fixed point theorem (2.37). Specifically, we get
where, in terms of the “trial 6d central charge”Footnote 22
we have
Notice that the terms singular in \(\epsilon \) (quartic in the \(\Delta _I\)) cancel out, as expected. The rest of the discussion proceeds exactly as for the D3 branes in the previous subsection. In particular, supersymmetry implies that the constraints (4.17) hold and the physical fluxes \({\mathfrak {n}}_I\) obey (4.18). In terms of the variables \(\varphi _I\) (4.19), the fixed point contributions read:
which give the very simple expression
in agreement with [40].
Let us briefly compare the results above with the corresponding calculation in [37]. Again, the functions \(\rho _I(y)\) used in [37] should be identified with our moment maps as \( \rho _I (y) = - 2\pi {{\mathfrak {p}}}_I^{a} \mu _a \), and the resulting \({{\mathfrak {p}}}_I^{a}\) are easily obtained from the expressions in eq. (A.2) of [37]. However, due to the supergravity coordinates and the specific gauge used in [37], these are quadratic irrational functions of the spindle parameters and the physical fluxes and do not depend on any free parameter. One can check that the constraint (4.17) on the \({{\mathfrak {p}}}_I^{a}\) is respected, with \(\sigma ^1=-1\) and \(\sigma ^2=-1\), consistently with the fact that the discussion in [37] concerns the twist case.Footnote 23 Notice that the form of (4.38) is much simpler than the corresponding function computed [37]. In particular, in (4.38) there are no linear and cubic terms in \(\epsilon \).
4.3 M5 branes on 4d orbifolds
We now consider M5 branes compactified on a four-dimensional toric orbifoldFootnote 24 as discussed in Sect. 3.2. The eight-form anomaly polynomial (4.29) is defined on an eight-dimensional orbifold \(Z_8\) that we take to be the total space of a \({\mathbb {M}}_4\) fibration over an auxiliary space \(B_4\),
and integrating it on \({\mathbb {M}}_4\) gives a four-form, that is the anomaly polynomial of a 2d SCFT:
The \(c_1(F_I)\) now decompose as
where \(\mathcal{J}_1, \mathcal{J}_2\) are the auxiliary line bundles with \(c_1(\mathcal{J}_i)\in H^2(Z_4,{\mathbb {Z}})\). The \(L_a\), \(a=1,\dots , d\) are the line bundles discussed in Sect. 3.2 and \(c_1(F_R^{2\textrm{d}})\in H^2(Z_4,{\mathbb {Z}})\) is the first Chern class of the \(2\textrm{d}\) R-symmetry line bundle.
Substituting (4.41) in (4.29) and setting \(c_1(\mathcal{J}_i) = \epsilon _i c_1(F_R^{2\textrm{d}})\) lead to the equivariant integral
which has exactly the same form of (4.32)! Indeed, expanding it, this gives again (4.33), where now \(D_a=0\) and the nonzero equivariant intersection numbers can be read off from (3.29), (3.31), and (3.33), respectively. On the other hand, employing the fixed point theorem, we can write (4.42) as a sum of contributions over the fixed points, namelyFootnote 25
in agreement with the formula conjectured in [51]. In terms of the gravitational blocks, we have
with
The physical fluxes are now defined by integrating the first Chern classes of the flavour line bundles, \(c_1(E_I)=- {\mathfrak {p}}_I^a c_1(L_a)\), over the various divisors, namely
However, recall that this relation cannot be inverted and therefore it is not manifest that (4.43) depends only on the physical fluxes. That this is true was proved in [51], as we now recall, translating the arguments to our current notation.Footnote 26 From (3.21), it immediately follows that
therefore, only \(d- 2\) physical fluxes are linearly independent. In particular, the “gauge” transformation
where \(\lambda _I\in {\mathbb {R}}^2\) are arbitrary two-dimensional constant vectors,Footnote 27 leaves the physical fluxes \({\mathfrak {q}}_I^a\) invariant. In order to discuss how this transformation affects (4.43), we will assume,Footnote 28 following [51], that supersymmetry requires the background R-symmetry gauge field to have first Chern class
where \(\sigma ^a=\pm 1\), generalizing the twist and anti-twist for the spindle [41]. This corresponds to the following constraints
where \(\epsilon = (\epsilon _1,\epsilon _2)\) and \(W\in {\mathbb {R}}^2\) is a two-dimensional constant vector transforming as
under (4.48). Performing this transformation in (4.43) implies that the variables \(\Delta _I^a \) change as
thus
where \({{\tilde{\Delta }}}_I\) obey the same constraint as the \(\Delta _I\), namely
This is exactly the same function as the initial one, completing the proof.
5 Non-compact Calabi–Yau singularities
The geometry of many type II and M theory solutions arising from branes can be modelled on singular Calabi–Yau cones. In this section, we consider the equivariant volume of partial resolutions of non-compact (asymptotically conical) Calabi–Yau singularities and provide many applications to holography.
Consider a non-compact toric Calabi–Yau X of complex dimension m defined by a fan with primitive vectors \(v^a\), \(a=1,\ldots , d\). The Calabi–Yau condition requires the vectors \(v^a\) to lie on a plane. We choose an \(\text {SL}(m;{\mathbb {Z}})\) basis where the first component of all the vectors \(v^a\) is one
Notice that (2.54) implies that the GLSM charges \(Q^A_a\) are traceless
We assume that X is the (partial) resolution of a Calabi–Yau conical singularity, as in some of the examples in Sect. 3.3. This means that the convex rational polyhedron
is asymptotically a cone. More precisely, we assume that the large \(y_i\) approximation of the polyhedron
is a non-compact cone with a single vertex in \(y=0\) and \(d^\prime \) facets. Notice that only the non-compact facets of \({\mathcal {P}}\) are relevant for the asymptotic behaviour and, in general \(d^\prime \le d\). The vectors \(v^{a_k}\), \(k=1,\ldots , d^\prime \), define the fan of the singular cone \(X_{\textrm{sing}}\) of which X is a resolution. The fan of \(X_{\textrm{sing}}\) consists of a single cone, and it corresponds to a singularity which is, in general, not of orbifold type.
The resolution replaces the singularity of \({\mathcal {P}}^\prime \) with compact cycles of real dimension \(2 m-2\), corresponding to the bounded facets of \({\mathcal {P}}\), as well as sub-cycles of smaller dimensions.Footnote 29 We assume that \({\mathcal {P}}\) has only orbifold singularities. From the dual point of view, the fan of X is the union of m-dimensional cones, each corresponding to a vertex of \({\mathcal {P}}\) and therefore to a fixed point. Each cone is specified by a choice of m adjacent vectors \((v^{a_1},\dots ,v^{a_m})\). We use the notation \(A=(a_1,\ldots , a_m)\) to identify the set of such cones and we assume that there are \(n\) of them.
Using the results of Sect. 2.3, the equivariant volume is given by
where A runs over the m-dimensional cones of the resolution, \(d_{a_1,\ldots ,a_m}= | \det (v^{a_1},,\ldots , v^{a_m})|\), and \(u^a_A\) are the inward normal to the facets of A defined in Sect. 2.3.
5.1 GK geometry and the GMS master volume
In this section, we explore some general properties of the equivariant volume for non-compact Calabi–Yau singularities and its relation with other volumes appearing in the literature in similar contexts, like the Sasakian volume of [17, 18] and the master volume introduced in [66].
Consider the formal expansion
where \(\mathbb {V}^{(k)}(\lambda _a,\epsilon _i)\) is homogeneous of degree k in \(\lambda _a\). We start by observing some general properties of the homogeneous quantities \(\mathbb {V}^{(k)}(\lambda _a,\epsilon _i)\). From (2.35), by matching degrees in \(\lambda _a\), we have
By considering the case \(i=1\) and the fact that, for Calabi–Yaus, \(v_1^a=1\), we also have
We can combine (5.7) and (5.8) into
It follows from this equation that \(\mathbb {V}^{(k)}\) are invariant under the gauge transformation
which allows to eliminate \(m-1\)Footnote 30 unphysical \(\lambda _a\) that do not correspond to non-trivial co-homology classes.
In the compact case, the terms with \(k<m\) in the expansion (5.6) are identically zero. Indeed they can be written as in (2.31) and they are integrals of forms of degree less than \(2\,m\). As we already discussed in Sect. 2.5, in the non-compact case this is not true and also the terms with \(k<m\) are not vanishing. They are rational functions of \(\epsilon \) encoding some interesting geometrical information that we will now elucidate.
It is important to observe that \(\mathbb {V}^{(k)}(\lambda _a,\epsilon _i)\) with \(k<m\) only depends on the \(d^\prime \) Kähler parameters \(\lambda _a\) associated with the singular fan and the non-compact directions. The Kähler parameter \(\lambda _a\) associated with the compact directions starts contributing at order m in the expansion. This can be understood as follows. The compact Kähler parameters are associated with the bounded facets of the original polytope. We can always modify the polytope by adding new facets and making it compact. We can also assume that the bounded facets of the original polytope are not modified by this operation. The compact Kähler parameter enters in the fixed point formula only in the terms associated with the vertices of the bounded facets and, therefore, their contribution to \(\mathbb {V}\) for the old and new polytope is the same. Since the new polytope is compact, this contribution must start at order m.
The term of zero degree is simply
and it computes the equivariant volume of the singular Calabi–Yau cone \(X_{\textrm{sing}}\), or equivalently, the regularized volume of the polyhedron \({\mathcal {P}}^\prime \). At \(\lambda _a=0\), the metric of \(X_{\textrm{sing}}\) becomes conical
A choice of Kähler metric exhibits \(X_{\textrm{sing}}\) as a cone over a Sasakian manifold Y of real dimension \(2 m -1\). As shows in [17, 18] there is family of Sasakian metrics parameterized by the Reeb vector \(\xi =\epsilon _i \partial _{\phi _i}\). They correspond to different choices of the radial coordinate \(\frac{r^2}{2}=H\), where \(H=\epsilon _i y_i\) is the Hamiltonian for \(\xi \). Expression (5.11) then reduces, up to a numerical factor, to the Sasakian volume of Y [17, 18]
The specialization of (5.5) to \(\lambda _a=0\) in the smooth case
was derived indeed in [18].
The term of degree \(m-1\) is also interesting. It coincides, up to a numerical factor, with the master volume introduced in [66]. To define the master volume, one foliates the \(2m-1\) base Y as
where \(\eta \) is the dual one form to \(\xi \) (\(i_\xi \eta =1\)) and the metric \(\text {d}s^2_{2m-2}\) is conformally Kähler with Kähler form \(\omega _{B}\). We turn on the \(d^\prime \) Kähler parameters \(\lambda _a\) associated with the non-compact facets of the polyhedron by letting \(\omega _{B}\) vary [66]
where \(c_a\) are the co-homology classes that uplift to \(c_1(L_a)\) on the Calabi–Yau \(X_{\textrm{sing}}\). Notice that \([\text {d}\eta ] = 2\pi \sum _a c_a\) [66]. The master volume is then defined as
For example, for \(m=3\), the master volume reads [66]
where the vectors \(v^a\) with \(a=1, \ldots , d^\prime \) run over the fan of the singular cone \(X_{\textrm{sing}}\).
Notice that, in the original approach of [66], the master volume is defined by considering conical non-Kähler metrics on X. In our approach instead, we give up the conical condition on X and we use a Kähler metric. Despite the difference of approaches, we can recover the master volume as the term of degree \(m-1\) in the equivariant volume
where we stress that
is a function only of the Kähler parameters \(\lambda _a\), \(a=1, \ldots , d^\prime \), associated with the fan of the singular cone. The identity (5.19) can be checked by direct computation. The case \(m=3\) is explicitly worked out in section B. By differentiating \(m-1\) times equation (2.35) for \(i=1\)
setting \(\lambda _a=0\) and multiplying by \(\lambda _{a_2} \ldots \lambda _{a_m}\), we can also rewrite (5.19) as
where the analogy with (5.17) is manifest.
As observed in [66], the master volume reduces to the Sasakian volume when all the Kähler parameters are equal. We can understand this statement in our formalism as follows
where we used (2.36) with all \(i_k=1\) and \(\lambda _a=0\) and Eq. (5.19).
The master volume plays an important role in supergravity solutions based on GK geometry [25, 66]. In this context, the so-called supersymmetric action
plays an even more important role. It is the object that needs to be extremized in order to find a solution of the equation of motions. Using (5.8) we find
5.2 Gravitational blocks from the equivariant volume
In this section, we use the equivariant volume to study type II and M theory branes compactified on a spindle. Supersymmetry is preserved either with a topological twist or an antitwist [41]. From the field theory point of view, we consider the case where a superconformal field theory compactified on a spindle flows in the IR to a superconformal quantum mechanics or to a two-dimensional superconformal field theory. The corresponding supergravity solutions describing the IR limit have a geometry AdS\(_2\times Z\) or AdS\(_3\times Z\), respectively, and can be interpreted as the near-horizon geometry of black holes or black strings.
The local geometry of such brane systems can be modelled in terms of CY m-folds. We can describe many D-branes and M-branes configurations in terms of a formal fibration
where the CY\(_m\) encode the geometry and the information about the original higher-dimensional CFT.
It is often useful to define an off-shell free energy \(F(\Delta _I,\epsilon )\), or extremal function,Footnote 31 depending on chemical potentials \(\Delta _I\) for the continuous global symmetries of the higher-dimensional CFT and an equivariant parameter \(\epsilon \) for the rotation along the spindle, whose extremization gives the entropy of the black hole or the central charge of the two-dimensional CFT. All these extremal functions should arise by evaluating the supergravity action on supersymmetric solutions that obey a subset of the equations of motion. The extremization with respect to \(\Delta _I\) and \(\epsilon \) is then equivalent to imposing the remaining equations of motion. Explicit examples of this construction are given in [17, 66]. Extremal functions of known black holes and black strings can be expressed in terms of gravitational blocks [54]. The general form of the extremal functions for branes compactified on a spindle in this context was proposed in [40], covering also cases where the explicit computation of the supergravity action from first principles is still missing. The characteristic form of the off-shell free energy F is given by a gluing
where the block \(\mathcal{F}\) encodes some universal properties of the higher-dimensional SCFT and it is related to the geometry of CY\(_m\), and the gluing depends on the details of the fibration (5.26). For D3 and M5 branes, \(\mathcal{F}\) is related to the central charge of the higher-dimensional CFT. For other types of branes, \(\mathcal{F}\) is the sphere-free energy of the higher-dimensional CFT at large N [40, 54].
In this section, we focus on the gravitational interpretation of (5.27). In the case of M2 and D3 branes, the off-shell free energy can be expressed in terms of the supersymmetric action in the formalism of GK geometry and the decomposition (5.27) was explicitly proved in [55] from the gravitational point of view. We will show how to recover and reinterpret this results in terms of the equivariant volume. In the case of D2, D4 and M5 brane systems, we cannot apply the GK formalism but we will propose a possible and intriguing extension.
5.2.1 The geometry of CY\(_m\) fibred over the spindle
As a preliminary, in this section we derive a general expression for the equivariant volume of the fibration (5.26). Consider a CY cone m-fold defined by m-dimensional vectors \(v^a\), with \(v^a_1=1\), and the \((m+1)\)-dimensional toric geometry specified by the fan [55]
where \(\sigma =\pm 1\). This is a fibration over a spindle \(\mathbb{W}\mathbb{P}^1_{[n_+,n_-]}\) specified by the vectors \(w_\pm \). Notice that the \((m+1)\)-dimensional geometry is still a Calabi–Yau if the first component of the vectors \(w_\pm \) is one, \(w_{\pm 1}=1\), which we will assume. As shown in [55], this geometry explicitly appears in the gravity solutions of M2 and D3-branes compactified on a spindle with
where \(a_- n_+ + a_+ n_- =1\) and \(\sigma =\pm 1\) and \(\textbf{p}\) is a (\(m-1\))-dimensional vector. In this context, supersymmetry is preserved with a twist (\(\sigma =1)\) or an anti-twist (\(\sigma =-1)\). Notice also that, in the anti-twist case, the toric diagram is not convex and it does not strictly define a toric geometry. We will nevertheless proceed also in this case, considering it as an extrapolation from the twist case.
The fixed point formula is
where A runs over the polyhedral cones of a resolution and \(\epsilon _{(m+1)}=(\epsilon _0,\epsilon _1,\ldots ,\epsilon _m)\). For ease of notation, we drop the label A from the normal vectors \(U^a\). We can choose a resolution for the CY\(_m\) by subdividing the m-dimensional fan. We then obtain a resolution of the CY\(_{m+1}\) by considering polyhedra where \(V^+\) and \(V^-\) are added to the m-dimensional cones \((V^{a_1}, \ldots , V^{a_m})\). Let’s assume also \(d_{a_1,\ldots ,a_{m}}=1\) for the CY\(_m\). The inward normals to the tetrahedra are
where \(u^{a_i}\) are the inward normals to the CY\(_m\) cones, we identified \(a_{m+1}=\pm \) and \(\sigma =-1\) is obtained by analytic continuation.
The contribution of the tetrahedra with vertex \(V^+\) is
where \(\epsilon _{(m)}=(\epsilon _1,\ldots ,\epsilon _m)\), and we used \(d_{a_1,\ldots ,a_{m+1}}=n_+\) and the identity among normals \(\sum _i u^{a_i}=(1,0,\ldots ,0)\).Footnote 32
The contribution of the tetrahedra of \(V^-\) is obtained by replacing \(w_+\) with \(w_-\), \(n_+\) with \(-\sigma n_-\) and \(\lambda _4\equiv \lambda _+\) with a new variable \(\lambda _-\). The signs in \(U^{a_i}\) are compensated by \(d_{a_1,a_2,a_3,a_4}=-(-\sigma n_-)\) (we work for positive \(\sigma \) and analytically continue the result), which also brings an overall extra sign.
The final result is
where
and we see that \(\mathbb {V}_{CY_{m+1}} \) can be obtained by gluing two copies of \(\mathbb {V}_{CY_{m}}\).
5.2.2 The case of D3 branes
The case of D3 and M2 branes can be described in terms of GK geometry [66]. We consider a system of branes sitting at the tip of a conical toric Calabi–Yau three-fold singularity (CY\(_{m}\)) with Sasaki–Einstein base \(Y_{2m-1}\) and further compactified on a spindle. The dual supergravity solution has an AdS\(_2 \times Z_9\) and AdS\(_3 \times Z_7\) near-horizon geometry, for M2 and D3 branes, respectively. The internal manifolds \(Z_{2m+1}\) are obtained by fibering the Sasaki–Einstein base \(Y_{2m-1}\) over the spindle. Supersymmetry requires that the cone \(C(Z_{2m+1})\) is topologically a CY\(_{m+1}\), although the supergravity metric is not Ricci-flat.
The supergravity solution can be described in terms of a family of backgrounds that depends on the equivariant parameters \(\epsilon _i\) and the Kähler parameters \(\lambda _\alpha \) of the CY\(_{m+1}\) [66]. To avoid confusion, we will use Greek letters to label the vectors in the \(m+1\)-dimensional fan and the associated Kähler parameters. The conditions for supersymmetry can be compactly written as:
where \(S_{\textrm{SUSY}}\) is the supersymmetric action (5.24) of the CY\(_{m+1}\)
and \(M_\alpha \) are integer fluxes, encoding the flux quantization conditions of the M-theory four-form or the type IIB RR five-form. \(\nu _m\) is a normalization constant that depends on the dimension. The fluxes \(M_\alpha \) contain the information about the number of branes N and the topological details of the Sasaki–Einstein fibration over the spindle. Notice that for consistency of (5.35) with (5.9), we must have
where \(V^\alpha \) are the vectors in the fan of the CY\(_{m+1}\).Footnote 33 Given (5.9) and (5.37), only \(d-m+1\) equations in (5.35) are actually independent. Combining Eq. (5.35) with the \(m-1\) gauge invariances (5.10), we can eliminate all the \(\lambda _\alpha \). We are left with a functional of the equivariant parameters \(\epsilon _i\) that needs to be extremized in order to find the solution of the equations of motion.
Let us now specialize to the case of D3-branes where \(m=3\). The solution AdS\(_3 \times Z_7\) is dual to a two-dimensional CFT. In this context, the Killing vector \(\xi =\sum _{i=1}^m \epsilon _i \partial _{\phi _i}\) is interpreted as the R-symmetry of the dual CFT and the extremization of the supersymmetric action is the geometrical dual of c-extremization [78] in two-dimensional CFTs [25, 66].
More explicitly, the on-shell value of the supersymmetric action, up to a normalization coefficient, is the exact central charge of the two-dimensional CFT, while the off-shell value of \(S_{\textrm{SUSY}}\) as a function of \(\epsilon _i\) after imposing (5.35) equals the charge c as a function of a trial R-symmetry. This has been proved explicitly in [79] for the case of a compactification on \(S^2\), or on a Riemann surface, and in [55] for a spindle. More precisely, \(S_{\textrm{SUSY}}\) as a function of \(\epsilon _i\) coincides with the trial c-function after the baryonic directions in the trial R-symmetry have been extremized.Footnote 34 It is also shown in [55] how to write the supersymmetric action as the gluing of two gravitational blocks [54]. We now recover this result in our formalism.
We can extract the supersymmetric action from the gluing formula (5.33)
where
Notice that the redefinitions are homogeneous in \(\lambda _\alpha \). This means that the previous identity can be easily truncated at a given order in \(\lambda _\alpha \). Taking the quadratic piece and using (5.19) and (5.25), we obtain
since the supersymmetric action is the quadratic part of \(\mathbb {V}_{CY_4}\) and the 3d master volume is the quadratic part of \(\mathbb {V}_{CY_3}\). We thus recover the factorization in gravitational blocks derived in [55] (see for example (7.27) and (7.31) in that paper).
We can be more explicit in the special case of \(S^5\) and the dual \({\mathcal {N}}=4\) SYM. This example is discussed in [55] in a different gauge. The vectors are
and the equivariant and master volume read
We parameterize the fluxes \(M_\alpha \) as
where the constraint (5.37) further requires
We will be cavalier about the normalization of the fluxes in the following, but it is clear than N should be proportional to the number of colours of the dual theory. We can use the gauge freedom (5.10) to set \(\lambda _1=\lambda _2=\lambda _3=0\). The master volume evaluated at the two poles in this gauge reads
and we can find \(\lambda _{\pm }\) by solving the \(\alpha =\pm \) components of the second equation in (5.35) (recall that only two of them are independent)
Defining
the extremization in [66] must be done under the condition \(\epsilon _1=2/(m-3)=2\) which corresponds to
We then see that \(\Delta _I\), with \(I=1,2,3\), parameterize the R-charges of the three chiral fields of \({\mathcal {N}}=4\) SYM. The supersymmetric action (5.40) is then obtained by gluing blocks
with the appropriate function for \(\mathcal{N}=4\) SYM [54]
and
We can see that this result reproduces the anomaly polynomial computed in Sect. 4. In doing so, we need to be careful that there is some ambiguity in identifying the chemical potentials associated with the R-symmetry in (5.47). Any redefinition \(\Delta _I\rightarrow \Delta _I+\delta _I\epsilon \) with \(\sum _{I=1}^3 \delta _I=0\) would respect the constraint (5.48) and would lead to a potentially good choice of R-symmetry chemical potential. To avoid this ambiguity, we can compare the objects that are invariant under this redefinition
It is then easy to see that the same relations hold for the anomaly as written in (4.10) with \(\sigma ^1=-1\) and \(\sigma ^2=-\sigma \).
Notice that the supersymmetric action scales like \(N^{2}\) as expected for \({\mathcal {N}}=4\) SYM. This can be understood from the fact that \(S_{\textrm{SUSY}}|_{CY_4}\) is quadratic in \(\lambda _\alpha \) and, from (5.35), \(\lambda _\alpha \) scales linearly with N.
5.2.3 The case of M2 branes
We consider now the case of M2 sitting at the tip of a conical toric CY\(_4\) with Sasaki–Einstein base \(Y_{7}\) and further compactified on a spindle. The dual M theory solutions correspond to 4d black holes and have an AdS\(_2 \times Z_9\) near-horizon geometry. We can again describe the system in terms of GK geometry. The supersymmetric action provides an entropy functional for the black hole. The construction is the gravitational dual of \(\mathcal {I}\)-extremization [81] and has been applied to the case of a compactification on \(S^2\) in [82,83,84]Footnote 35 and in the case of a compactification on the spindle in [55, 85].
From the gluing formula (5.33), we find
where
Taking the piece cubic in \(\lambda \), we recover the result in [55]
To simplify the discussion, we restrict to the case \(Z_7=S^7\) which is dual to the ABJM theory with \(k=1\) compactified on the spindle. The vectors are
and the equivariant volume is
We parameterize the fluxes \(M_\alpha \) as
where the constraint (5.37) further requires
and N will be related to the number of colours of the dual theory. We use again the gauge freedom (5.10) to set \(\lambda _1=\lambda _2=\lambda _3=\lambda _4=0\) and we determine \(\lambda _{\pm }\) solving (5.35). This time, the master volume evaluated at the two poles in this gauge reads
and we can find \(\lambda _{\pm }\) by solving the \(\alpha =\pm \) components of Eq. (5.35) (recall that only two of them are independent)
There is a sign ambiguity in solving (5.61) that we fix to match the gravitational entropy function result and the explicit geometric analysis in [55].Footnote 36 Define
The extremization in [66] must be done under the condition \(\epsilon _1=2/(m-3)=1\), which corresponds to
We then see that \(\Delta _I\), with \(I=1,2,3,4\), parameterize the R-charges of the four chiral fields of ABJM. The supersymmetric action (5.40) is then given by gluing blocks:
with the appropriate function for the ABJM theory [54]
and
Notice that
This formula matches the entropy function found in [40, 55].Footnote 37
Notice that the entropy function scales like \(N^{3/2}\) as expected for the ABJM theory. The reason is that \(S_{\textrm{SUSY}}|_{CY_5}\) is cubic in \(\lambda _\alpha \) and, from (5.35), \(\lambda _\alpha \) scales as \(\sqrt{N}\). Notice also that the gluing (5.64) involves a different relative sign for the twist and anti-twist. This is typical of M2 and D4 branes and it is not present for D3 and M5 branes [40].
5.2.4 The case of M5 branes
The case of M5 branes compactified on a spindle has no known description in terms of GK geometry. However, a stack of M5 branes in flat space in M theory probes a transverse geometry that is \({\mathbb {C}}^2 \times {\mathbb {R}}\), suggesting that the relevant CY\(_2\) is simply \({\mathbb {C}}^2\). In the associated supergravity solution AdS\(_7\times S^4\), the base \(S^3\) of the cone \({\mathbb {C}}^2\) is fibred over a real direction to give the \(S^4\). Notice that there is a supersymmetric generalization where the M5 branes probe a \({\mathbb {C}}^2/{\mathbb {Z}}_p \times {\mathbb {R}}\) and the CY\(_2\) could be replaced by \({\mathbb {C}}^2/{\mathbb {Z}}_p\).
We now consider the CY\(_3\) consisting of \({\mathbb {C}}^2\) fibered over the spindle with fan
with
From the gluing formula (5.33), we have
where
and the equivariant volume of \({\mathbb {C}}^2\) can be read from (3.85) with \(p=q=1\)
In analogy with \(S_{\textrm{SUSY}}\) in the context of GK geometry, we expect to be able to extract an off-shell free energy \(F\), for the spindly M5 branes AdS\(_5\) solutions found in [37] from the equivariant volume of \({\mathbb {C}}^2\) fibred over the spindle. We now show that this is the case by an appropriate generalization of Eq. (5.35). A scaling argument for N suggests that the correct generalization is
where the flux equation uses the quadratic piece, but the extremal function is the cubic piece of the equivariant volume. In this way, \(\lambda _\alpha \) is linear in N and the extremal function \(F\) cubic in N, as expected for M5 branes. Here and in the following subsections we will not be concerned with precise normalizations.
Following the same logic as in previous sections, we solve the constraint on the fluxes
with \({\mathfrak {n}}_1+{\mathfrak {n}}_2=- \frac{1}{n_+}- \frac{1}{\sigma n_-}\) and define
with \(\Delta _1+\Delta _2=2\). The chemical potentials \(\Delta _1\) and \(\Delta _2\) can be associated with the Cartan subgroup of the SO(5) R-symmetry of the (2, 0) theory. We find that, after solving for \(\lambda _\pm \) in the gauge \(\lambda _1=\lambda _2=0\), the extremal function is given by gluing two blocks
with the appropriate function for the (2, 0) theory [54]
and
Notice that
We see that we have reproduced the (2, 0) anomaly integrated on the spindle (4.34) with \(\sigma ^1=-1\) and \(\sigma ^2=-\sigma \).
5.2.5 The case of D4 branes
We now turn to the case of D4 branes compactified on a spinde. The massive type IIA supergravity solution associated with a system of D4 and D8 branes is topologically AdS\(_6\) times an hemisphere \(S^4\) [86], suggesting that the relevant CY\(_2\) is again \({\mathbb {C}}^2\). Supergravity solutions with an AdS\(_4\) factor corresponding to compactifications of the dual 5d SCFT on a spindle have been found in [40, 42].
It is intriguing to observe that we can again extract an off-shell free energy for these spindly solutions from a generalization of Eq. (5.35) valid for GK geometry. We consider as before the equivariant volume (5.70) of \({\mathbb {C}}^2\) fibred over the spindle. This time we take
so that \(\lambda _\alpha \sim N^{1/2}\) and \(F\sim N^{5/2}\) as expected for D4 branes.
We use the same definitions (5.74) and (5.75) of the previous section. After solving for \(\lambda _\pm \) in the gauge \(\lambda _1=\lambda _2=0\), the extremal function is given byFootnote 38
where for the 5d SCFT [54]
and
Notice that
We have reproduced the entropy function in [40, 42].Footnote 39
5.2.6 The case of D2 branes
We finally consider the case of D2 branes compactified on a spinde. The massive type IIA supergravity solution associated with a system of D2-branes is topologically AdS\(_4\times X_6\), where the internal manifold is a Sasaki–Einstein five-manifold foliated over a segment [87, 88]. Supergravity solutions with an AdS\(_2\) factor corresponding to compactifications of the dual 3d SCFT on a spindle have been found in [46].
We expect that the corresponding extremal function is related to the equivariant volume of a CY\(_3\) fibred over the spindle. A scaling argument suggests to use:
so that \(\lambda _\alpha \sim N^{1/3}\) and \(F\sim N^{5/3}\) as expected for D2 branes.
We can verify that this is the case for the solution associated with \({\mathbb {C}}^3\) where the three-dimensional SCFT is a pure \(\mathcal{N}=2\) Chern–Simons theory with the same matter content and superpotential of the maximal supersymmetric Yang–Mills theory [87] that we indicate as D2\(_k\). We have
where \(\mathbb {V}_{{\mathbb {C}}^3}\) is given in (5.42). The fluxes can be written as in (5.43). Since the matter content of the theory is the same as for \(\mathcal{N}=4\) SYM we can still use the parameterization
with \(\Delta _1+\Delta _2+\Delta _3=2\), and interpret the \(\Delta _I\), with \(I=1,2,3\), as the R-charges of the three chiral fields of the theory.
We can use the gauge freedom (5.10) to set \(\lambda _1=\lambda _2=\lambda _3=0\), and we can find \(\lambda _{\pm }\) by solving the first equation in (5.85). The extremal function (5.85) is then obtained by gluing two blocks
where for the D2\(_k\) theory
and
Notice that
This is the natural expectation for the extremal function for a D2 brane theory. It would be interesting to have a more complete analysis in supergravity to compare with.
6 Discussion
In this paper, we provided several applications of equivariant localization to quantum field theory and holography. In particular, we have shown that the equivariant volume, a basic and well-studied geometrical object in symplectic geometry, is at the heart of many constructions characterizing supersymmetric geometries. It generalizes at once the Sasakian volume of [17, 18] and the master volume introduced in [66] that have been proven very useful in the study of superconformal field theories dual to branes sitting at Calabi–Yau singularities, and generalizations thereof. The corresponding quantum (or K-theoretical) version, the equivariant index-character, is analogously crucial for studying the Hilbert series of the moduli spaces of the corresponding SCFTs and we expect that it still has many surprises to unveil.
More specifically, we proposed that the equivariant volume should be the key object for all the extremal problems characterizing supersymmetric geometries with a holographic interpretation, in different supergravity theories. We showed in this paper that all the extremization problems associated with compactifications on the spindle of M2 and D3 brane at Calabi–Yau singularities as well as M5, D4 and D2 brane configurations in flat space, can be re-expressed in terms of the equivariant volume. In the case of M2 and D3 branes, it was known before that the extremization problem can be expressed in terms of the master volume [66] and we showed how this object is encoded in the equivariant volume of the associated fibered Calabi–Yaus. In the M5, D4 and D2 branes there is not yet an analogous of the construction in [66], but we showed that the relevant extremal functions can be written in terms of the equivariant volume. We leave for future work the analysis of more complicated situations, like M5 and D4 branes compactified on a four-dimensional orbifolds \({\mathbb {M}}_4\) or D2 branes in massive type IIA associated with a generic Sasaki–Einstein five-manifold foliated over a segment [88]. These examples are more complicated but we are confident that the corresponding extremal functions and extremization problems can be written and formulated solely in terms of the equivariant volume.
In this paper, we discussed the factorization (5.27) of the extremal functions associated with spindly black objects in terms of gravitational blocks both from the gravitational and the field theory point of views. On the geometry side, in all cases the factorization is an immediate corollary of the fixed point localization formula for the equivariant volume, applied to the relevant non-compact geometry—see Eq. (5.33). For D3 and M5 branes, F and \(\mathcal{F}_m\) are related to the central charge of the lower and higher-dimensional SCFT, respectively, and the gluing (5.27) is nothing else that equivariant localization applied to the computation of the higher-dimensional anomaly polynomial that we discussed in Sect. 4. For other types of branes, \(\mathcal{F}_m\) is the sphere-free energy of the higher-dimensional SCFT at large N [40, 54], and (5.27) is typically related to the large N factorization properties of SCFT partition functions of theories with a holographic dual [89,90,91]. In this context, the factorization becomes visible after taking the large N limit of the SCFT free energy, which is usually expressed in terms of a matrix model. The partition function of three-dimensional \(\mathcal{N}=2\) SQFTs compactified on a spindle times a circle was derived in [56], generalizing at once the superconformal index and the topologically twisted index. The large N limit of this spindle index is currently under investigation [92] and we expect to reproduce the factorization (5.27), thus closing the circle.
The derivation of partition functions of SQFTs compactified on orbifolds is another arena where the results of this paper could be useful. Indeed, quantum field theory localization relies on the use of the equivariant index theorem [93], and the building blocks of this construction will involve generalizations of the index-character discussed in Sect. 2.6 and Appendix C. More precisely, the index-character enters as a basic building block for partition functions on \({\mathbb {M}}\times S^1\) where supersymmetry is preserved with a topological twist on \({\mathbb {M}}\), while it needs to be generalized in the case of general \(\sigma ^a\) as in (4.49). In particular, it would be interesting to generalize the five-dimensional indices of [90, 94, 95] to the case of a five-dimensional SCFT defined on \({\mathbb {M}}_4\times S^1\) and apply the result to reproduce the entropy function for the supergravity solutions associated with D4 branes compactified on a four-dimensional orbifold [51], as well as recover the anomaly polynomial results for M5 branes compactified on a four-dimensional orbifold discussed in Sect. 4.3.Footnote 40
Notes
We adopt the Einstein summation convention for the indices (two repeated indices imply the sum). However, for the sake of clarity, in some formulas we will write explicitly the sums over the indices.
We use interchangeably the notation y and \(y_i\) to denote a point in \({\mathbb {R}}^m\).
They are called ramification divisors, while \({{\hat{D}}}_a = n_a D_a\) are called branched divisors, with multiplicity (or ramification index) \(n_a\).
Notice that we are using opposite convections with respect to [51]!
We believe that there is a minus sign error in equation (6.17) in [9], and we have therefore changed the sign here.
Writing as in (2.8), \(z_i=x_i+ i \phi _i\) where \(x_i =\frac{\partial G}{\partial y_i}\), we have \(\partial = \frac{1}{2}\sum _{i=1}^2\left( \text {d}x_i+ i \text {d}\phi _i \right) \left( \frac{\partial }{\partial x_i} - i \frac{\partial }{\partial \phi _i}\right) \) and, therefore, for a torus invariant function f that only depends on y
$$\begin{aligned} \partial {{\bar{\partial }}} f = -\frac{i}{2}\frac{\partial ^2 f}{\partial x_i \partial x_j} \text {d}x_i \wedge \text {d}\phi _j = -\frac{i}{2}\text {d}\left( \frac{\partial f}{ \partial x_j}\text {d}\phi _j\right) =-\frac{i}{2}\text {d}\left( G^{kj} \frac{\partial f}{ \partial y_k}\text {d}\phi _j\right) . \end{aligned}$$(2.13)With some abuse of language, we will often denote with \(c_1(L)\) an explicit representative of the corresponding co-homology class.
Notice that this does not affect the argument for the fixed point formula. The contribution of \(\omega ^{{\mathbb {T}}}\) to the fixed point is still \( \omega ^{{\mathbb {T}}} = - 2\pi \sum _a \lambda _a c^{{\mathbb {T}}}_1(L_a)\), since the extra term \(\frac{1}{2} \sum _a G^{ij} v_j^{a}\) vanishes at the fixed point by (2.42).
We use this notation to facilitate comparison with the spindle literature in supergravity.
Thus, in these conventions, the fibration exists for \({\hat{\lambda }}_1<-{\hat{\lambda }}_2\).
Notice that there is no summation on a in the exponent.
See [75] for a physics-oriented review.
For the non-minimal case (3.38), we have \(-n_3 Q_1+n_1 Q_2, -n_3 Q_1 +n_2 Q_3\in {\mathbb {Z}}\) which implies \(Q_1=n_1 n_2 \alpha + k_1/n_3\), \(Q_2=n_3 n_2 \alpha + k_2/n_1\) and \(Q_3=n_1 n_3 \alpha + k_3/n_2\) but all the \(k_i\) can be absorbed by taking \(\alpha =\textrm{integer}/n_i\) if the \(n_i\) are coprime and we are left with the U(1) action with charges \((n_1 n_2,n_2 n_3,n_1 n_3)\).
The reader should be aware that, in [62], the weighted projective space is denoted with \({\mathbb {W}}{\mathbb {P}}^2_{(N_1,N_2,N_3)}\) and the example we are discussing with \({\mathbb {W}}{\mathbb {P}}^2_{[N_1,N_2,N_3]}\).
The non-compact examples of this section are the total space of some vector bundles over a base orbifold, but we denote them using the more schematic notation “fibre \(\rightarrow \) base”.
In this case, we have \(t-q=1\) and therefore we can take \(t=1\), \(q=0\), reproducing the obvious fan \(v^1=(1,0), v^2=(1,1), v^3=(0,1)\).
In this formula, we identify cyclically \(v^5=v^1\).
To avoid clumsiness in the formulas, we systematically use the Einstein’s notation for the indices \(a,b,\dots \) in this section.
We use that \(c_{IJK}\) are totally symmetric to write (4.8).
We identify their \( {{\mathfrak {p}}}^i \) with our \(-{\mathfrak {n}}_I\).
There is no notion of trial central charge in a 6d SCFT, and however, we adopt this conventional definition, in analogy with the 4d case.
We identify their \(P_i \) with our \(-{\mathfrak {n}}_I\).
The M5 brane anomaly polynomial in an example of this type of compactification was studied in [50].
Notice that there is no summation on a in the expressions inside the parenthesis.
Recall that in this paper we denote the non-primitive, “long”, vectors of the fan by \(v^a\), the corresponding divisors as \(D_a\), and their intersection matrix as \(D_{ab}\). While in [51] these were denoted by \({{\hat{v}}}^a\), \({{\hat{D}}}_a\), and \({{\hat{D}}}_{a,b}\), respectively. Similarly, \(({\mathfrak {p}}_I^a)_\text {here} = (m_a {\mathfrak {p}}_I^a)_\text {there}\) and \(({\mathfrak {q}}_I^a)_\text {here} =({\mathfrak {q}}_I^a/m_a)_\text {there}\).
Notice that these \(\lambda _I\) have nothing to do with the Kähler parameters \(\lambda _a\) appearing elsewhere.
The example of the conifold discussed in Sect. 3.3.3 is special in that there are no compact four-cycles. This is due to the fact we just subdivide the fan without introducing new vectors.
\(i=1\) is trivial.
Often also called entropy functions, even if the related physical observable is not the entropy of a black hole.
Consider for simplicity \(m=3\). Assuming an order such that \(\det (v^1,v^2,v^3)=1\), \(\sum _i u^{a_i} = v^2\wedge v^3+v^3\wedge v^1+v^1\wedge v^2\). Let \(e_i\) be the canonical basis in \({\mathbb {R}}^3\). Then \(\sum _i u^{a_i}\cdot e_{2,3}=0\). For example, \(\sum _i u^{a_i}\cdot e_{2}=\det (e_2,v^2,v^3) +\det (e_2,v^3,v^1)+\det (e_2,v^1,v^2)=v^3_3-v^2_3+v^1_3-v^3_3 +v^2_3-v^1_3=0\) where we used \(v^a_1=1\). On the other hand, \(\sum _i u^{a_i}\cdot e_{1}=\det (e_1,v^2,v^3) +\det (e_1,v^3,v^1)+\det (e_1,v^1,v^2) =1\) since it is the sum of the areas of three triangular cones obtained by triangulating \((v^1,v^2,v^3)\) with the insertion of \(e_1\) (it lies in the same plane). The sum of the three areas is the area of the original cone \(d_{1,2,3}=1\).
In our examples, the index \(\alpha \) will split into an index a associated with the CY\(_{m}\) fan and the two indices ± associated with the spindle.
Or, more generally, in the case of a compactification on a Riemann surface.
We see from (5.61) that \((\epsilon _1^\pm -\epsilon _2^\pm -\epsilon _3^\pm -\epsilon _4^\pm )\epsilon _2^\pm \epsilon _3^\pm \epsilon _4^\pm \) should be positive. We then choose the solution \(\lambda _+<0,\lambda _->0\) which is consistent with [55]—for example, one can compare with (7.16) and (7.26) in that reference.
To compare with (5.22) in [40], one needs to identify \({\mathfrak {n}}_I^{\text {here}}=-{\mathfrak {n}}_i^{\text {there}}\), \(n_\pm ^{\text {here}}=n_\mp ^{\text {there}}\) and \(2\epsilon ^{\text {there}}=-\epsilon \). The chemical potentials are related by the redefinition \(\varphi _I=\Delta _I -\frac{\epsilon }{n_+} w_{+I} -\frac{\epsilon }{2} {\mathfrak {n}}_I\) for \(I=2,3,4\) and \(\varphi _1=\Delta _1 -\frac{\epsilon }{n_+} (1-w_{+2}-w_{+3}-w_{+4}) -\frac{\epsilon }{2} {\mathfrak {n}}_1\).
We made a choice of determination for the fractional power that is similar to the M2 brane case and correctly reproduce the supergravity result.
To compare with (5.33) in [40], one needs to identify \({\mathfrak {n}}_I^{\text {here}}=-{\mathfrak {n}}_i^{\text {there}}\), \(n_\pm ^{\text {here}}=n_\mp ^{\text {there}}\) and \(2\epsilon ^{\text {there}}=-\epsilon \). The chemical potentials are related by the redefinition \(\varphi _1=\Delta _1 -\frac{\epsilon }{n_+} (1-p_{+}) -\frac{\epsilon }{2} {\mathfrak {n}}_1\) and \(\varphi _2=\Delta _2 -\frac{\epsilon }{n_+} p_{+} -\frac{\epsilon }{2} {\mathfrak {n}}_2\).
This can be done by considering the five-dimensional \(\mathcal{N}=2\) SYM theory that decompactifies to the (2, 0) theory in the UV.
With a slight abuse of notation we do not denote this with an index \(s_a\).
We assume that \(n_+\) and \(n_+\) are relatively prime.
References
Duistermaat, J.J., Heckman, G.J.: On the variation in the cohomology of the symplectic form of the reduced phase space. Invent. Math. 69(2), 259–268 (1982)
Berline, N., Vergne, M.: Classes caractéristiques équivariantes. formule de localisation en cohomologie équivariante. C. R. Acad. Sci. Paris 295(2), 539–541 (1982)
Atiyah, M., Bott, R.: The moment map and equivariant cohomology. Topology 23(1), 1–28 (1984)
Vergne, M.: Cohomologie équivariante et théorème de stokes. Séminaires & Congrès 7, 1–43 (2003) (rédigé par Sylvie Paycha)
Vergne, M.: Applications of equivariant cohomology. arXiv:math/0607389
Pestun, V.: Review of localization in geometry. J. Phys. A 50(44), 443002 (2017). [arXiv:1608.02954]
Vergne, M.: Equivariant index formulas for orbifolds. Duke Math. J. 82, 637–652 (1996)
Delzant, T.: Hamiltoniens périodiques et images convexes de l’application moment. Bull. Soc. Math. France 116(3), 315–339 (1988)
Guillemin, V.W.: Kaehler structures on toric varieties. J. Differ. Geom. 40, 285–309 (1994)
Barvinok, A.I.: Computing the volume, counting integral points, and exponential sums. Discrete Comput. Geom. 10(2), 123–141 (1993)
Vergne, M.: Convex polytopes and quantization of symplectic manifolds. Proc. Natl. Acad. Sci. U.S.A. 93(25), 14238–14242 (1996)
Lerman, E., Tolman, S.: Hamiltonian torus actions on symplectic orbifolds and toric varieties. Trans. Am. Math. Soc. 349, 4201–4230 (1997). [arXiv:dg-ga/9511008]
de Moraes, S.F.B., Tomei, C.: Moment maps on symplectic cones. Pac. J. Math. 181, 357–375 (1997)
Nekrasov, N.A.: Seiberg–Witten prepotential from instanton counting. arXiv:hep-th/0206161
Tachikawa, Y.: A review on instanton counting and W-algebras. arXiv:1412.7121
Martelli, D., Sparks, J.: Toric geometry, Sasaki–Einstein manifolds and a new infinite class of AdS/CFT duals. Commun. Math. Phys. 262, 51–89 (2006). [arXiv:hep-th/0411238]
Martelli, D., Sparks, J., Yau, S.-T.: The geometric dual of a-maximisation for Toric Sasaki–Einstein manifolds. Commun. Math. Phys. 268, 39–65 (2006). [arXiv:hep-th/0503183]
Martelli, D., Sparks, J., Yau, S.-T.: Sasaki–Einstein manifolds and volume minimisation. Commun. Math. Phys. 280, 611–673 (2008). [arXiv:hep-th/0603021]
Gauntlett, J.P., Martelli, D., Sparks, J., Yau, S.-T.: Obstructions to the existence of Sasaki–Einstein metrics. Commun. Math. Phys. 273, 803–827 (2007). [arXiv:hep-th/0607080]
Futaki, A., Ono, H., Wang, G.: Transverse Kahler geometry of Sasaki manifolds and toric Sasaki–Einstein manifolds. J. Diff. Geom. 83(3), 585–636 (2009). [arXiv:math/0607586]
Li, C., Liu, Y.: Kähler–Einstein metrics and volume minimization. Adv. Math. 341, 440–492 (2019). [arXiv:1602.05094]
van Coevering, C.: Stability of Sasaki-extremal metrics under complex deformations. Int. Math. Res. Not. 2013(24), 5527–5570 (2013). [arXiv:1204.1630]
Boyer, C.P., van Coevering, C.: Relative K-stability and extremal Sasaki metrics. Math. Res. Lett. 25, 1–19 (2018). [arXiv:1608.06184]
Futaki, A., Ono, H.: Volume minimization and conformally kähler, Einstein–Maxwell geometry. arXiv:1706.07953
Couzens, C., Gauntlett, J.P., Martelli, D., Sparks, J.: A geometric dual of \(c\)-extremization. JHEP 01, 212 (2019). [arXiv:1810.11026]
Gabella, M., Gauntlett, J.P., Palti, E., Sparks, J., Waldram, D.: The Central charge of supersymmetric AdS(5) solutions of type IIB supergravity. Phys. Rev. Lett. 103, 051601 (2009). [arXiv:0906.3686]
Gabella, M., Martelli, D., Passias, A., Sparks, J.: The free energy of \({\cal{N}}=2\) supersymmetric AdS\(_4\) solutions of M-theory. JHEP 10, 039 (2011). [arXiv:1107.5035]
Benetti Genolini, P., Perez Ipiña, J.M., Sparks, J.: Localization of the action in AdS/CFT. JHEP 10, 252 (2019). [arXiv:1906.11249]
Dabholkar, A., Gomes, J., Murthy, S.: Quantum black holes, localization and the topological string. JHEP 06, 019 (2011). [arXiv:1012.0265]
Dabholkar, A., Drukker, N., Gomes, J.: Localization in supergravity and quantum \(AdS_4/CFT_3\) holography. JHEP 10, 090 (2014). [arXiv:1406.0505]
de Wit, B., Murthy, S., Reys, V.: BRST quantization and equivariant cohomology: localization with asymptotic boundaries. JHEP 09, 084 (2018). [arXiv:1806.03690]
Jeon, I., Murthy, S.: Twisting and localization in supergravity: equivariant cohomology of BPS black holes. JHEP 03, 140 (2019). [arXiv:1806.04479]
Ferrero, P., Gauntlett, J.P., Pérez Ipiña, J.M., Martelli, D., Sparks, J.: D3-branes wrapped on a spindle. Phys. Rev. Lett. 126(11), 111601 (2021). [arXiv:2011.10579]
Ferrero, P., Gauntlett, J.P., Ipiña, J.M.P., Martelli, D., Sparks, J.: Accelerating black holes and spinning spindles. Phys. Rev. D 104(4), 046007 (2021). [arXiv:2012.08530]
Hosseini, S.M., Hristov, K., Zaffaroni, A.: Rotating multi-charge spindles and their microstates. JHEP 07, 182 (2021). [arXiv:2104.11249]
Boido, A., Ipiña, J.M.P., Sparks, J.: Twisted D3-brane and M5-brane compactifications from multi-charge spindles. JHEP 07, 222 (2021). [arXiv:2104.13287]
Ferrero, P., Gauntlett, J.P., Martelli, D., Sparks, J.: M5-branes wrapped on a spindle. JHEP 11, 002 (2021). [arXiv:2105.13344]
Ferrero, P., Inglese, M., Martelli, D., Sparks, J.: Multicharge accelerating black holes and spinning spindles. Phys. Rev. D 105(12), 126001 (2022). [arXiv:2109.14625]
Couzens, C., Stemerdink, K., van de Heisteeg, D.: M2-branes on discs and multi-charged spindles. JHEP 04, 107 (2022). [arXiv:2110.00571]
Faedo, F., Martelli, D.: D4-branes wrapped on a spindle. JHEP 02, 101 (2022). [arXiv:2111.13660]
Ferrero, P., Gauntlett, J.P., Sparks, J.: Supersymmetric spindles. JHEP 01, 102 (2022). [arXiv:2112.01543]
Giri, S.: Black holes with spindles at the horizon. JHEP 06, 145 (2022). [arXiv:2112.04431]
Couzens, C.: A tale of (M)2 twists. JHEP 03, 078 (2022). [arXiv:2112.04462]
Suh, M.: M5-branes and D4-branes wrapped on a direct product of spindle and Riemann surface. arXiv:2207.00034
Arav, I., Gauntlett, J.P., Roberts, M.M., Rosen, C.: Leigh–Strassler compactified on a spindle. JHEP 10, 067 (2022). [arXiv:2207.06427]
Couzens, C., Stemerdink, K.: Universal spindles: D2’s on \(\Sigma \) and M5’s on \(\Sigma \times {\mathbb{H}}^3\). arXiv:2207.06449
Suh, M.: Spindle black holes from mass-deformed ABJM. arXiv:2211.11782
Suh, M.: Baryonic spindles from conifolds. arXiv:2304.03308
Amariti, A., Petri, N., Segati, A.: T\(^{1,1}\) truncation on the spindle. JHEP 07, 087 (2023). [arXiv:2304.03663]
Cheung, K.C.M., Fry, J.H.T., Gauntlett, J.P., Sparks, J.: M5-branes wrapped on four-dimensional orbifolds. JHEP 08, 082 (2022). [arXiv:2204.02990]
Faedo, F., Fontanarossa, A., Martelli, D.: Branes wrapped on orbifolds and their gravitational blocks. Lett. Math. Phys. 113(3), 51 (2023). [arXiv:2210.16128]
Couzens, C., Kim, H., Kim, N., Lee, Y., Suh, M.: D4-branes wrapped on four-dimensional orbifolds through consistent truncation. JHEP 02, 025 (2023). [arXiv:2210.15695]
Faedo, F., Fontanarossa, A., Martelli, D.: Branes wrapped on quadrilateral orbifolds. To appear
Hosseini, S.M., Hristov, K., Zaffaroni, A.: Gluing gravitational blocks for AdS black holes. JHEP 12, 168 (2019). [arXiv:1909.10550]
Boido, A., Gauntlett, J.P., Martelli, D., Sparks, J.: Gravitational blocks, spindles and GK geometry. Commun. Math. Phys. 403(2), 917–1003 (2023). [arXiv:2211.02662]
Inglese, M., Martelli, D., Pittelli, A.: The spindle index from localization. arXiv:2303.14199
Pestun, V.: Localization of gauge theory on a four-sphere and supersymmetric Wilson loops. Commun. Math. Phys. 313, 71–129 (2012). [arXiv:0712.2824]
Benvenuti, S., Feng, B., Hanany, A., He, Y.-H.: Counting BPS operators in gauge theories: quivers, syzygies and plethystics. JHEP 11, 050 (2007). [arXiv:hep-th/0608050]
Martelli, D., Sparks, J.: Dual giant gravitons in Sasaki–Einstein backgrounds. Nucl. Phys. B 759, 292–319 (2006). [arXiv:hep-th/0608060]
Butti, A., Forcella, D., Zaffaroni, A.: Counting BPS baryonic operators in CFTs with Sasaki–Einstein duals. JHEP 06, 069 (2007). [arXiv:hep-th/0611229]
Abreu, M.: Kahler geometry of toric manifolds in symplectic coordinates. arXiv:math/0004122
Abreu, M.: Kahler metrics on toric orbifolds. arXiv:math/0105112
Boyer, C.P., Huang, H., Legendre, E.: An application of the Duistertmaat–Heckman theorem and its extensions in Sasaki geometry. Geom. Topol. 22, 4205–4234 (2018). [arXiv:1708.03006]
Nekrasov, N., Piazzalunga, N., Zabzine, M.: Shifts of prepotentials (with an appendix by Michele Vergne). SciPost Phys. 12(5), 177 (2022). [arXiv:2111.07663]
Cassia, L., Piazzalunga, N., Zabzine, M.: From equivariant volumes to equivariant periods. arXiv:2211.13269
Gauntlett, J.P., Martelli, D., Sparks, J.: Toric geometry and the dual of \(c\)-extremization. JHEP 01, 204 (2019). [arXiv:1812.05597]
Gauntlett, J.P., Kim, N.: Geometries with killing spinors and supersymmetric AdS solutions. Commun. Math. Phys. 284, 897–918 (2008). [arXiv:0710.2590]
Berline, N., Getzler, E., Vergne, M.: Heat Kernels and Dirac Operators. Springer, Berlin (2003)
Meinrenken, E.: Symplectic surgery and the spin-C Dirac operator. arXiv:dg-ga/9504002
Jeffrey, L.C., Kirwan, F.C.: Localization for nonabelian group actions. Topology 34, 291–327 (1995). [arXiv:alg-geom/9307001]
Canas da Silva, A.: Multiplicity formulas for orbifolds. Ph.D. Thesis (1996)
Abreu, M.: Kahler–Sasaki geometry of toric symplectic cones in action-angle coordinates. Port. Math. 67(2), 121–153 (2010). [arXiv:0912.0492]
Legendre, E.: Toric geometry of convex quadrilaterals. J. Symplectic Geom. 9(3), 343–385 (2011). [arXiv:0909.4512]
Apostolov, V., Calderbank, D.M.J., Gauduchon, P.: Ambitoric geometry II: Extremal toric surfaces and Einstein 4-orbifolds. Ann. Sci. Ec. Norm Super 48(5), 1075–1112 (2015). [arXiv:1302.6979]
Benini, F., Eager, R., Hori, K., Tachikawa, Y.: Elliptic genera of 2d \({{\cal{N} }}\) = 2 gauge theories. Commun. Math. Phys. 333(3), 1241–1286 (2015). [arXiv:1308.4896]
Gauntlett, J.P., Martelli, D., Sparks, J.: Fibred GK geometry and supersymmetric \(AdS\) solutions. JHEP 11, 176 (2019). [arXiv:1910.08078]
Hosseini, S.M., Hristov, K., Tachikawa, Y., Zaffaroni, A.: Anomalies, black strings and the charged Cardy formula. JHEP 09, 167 (2020). [arXiv:2006.08629]
Benini, F., Bobev, N.: Two-dimensional SCFTs from wrapped branes and c-extremization. JHEP 06, 005 (2013). [arXiv:1302.4451]
Hosseini, S.M., Zaffaroni, A.: Proving the equivalence of \(c\)-extremization and its gravitational dual for all toric quivers. JHEP 03, 108 (2019). [arXiv:1901.05977]
Butti, A., Zaffaroni, A.: R-charges from toric diagrams and the equivalence of a-maximization and Z-minimization. JHEP 11, 019 (2005). [arXiv:hep-th/0506232]
Benini, F., Hristov, K., Zaffaroni, A.: Black hole microstates in AdS\(_{4}\) from supersymmetric localization. JHEP 05, 054 (2016). [arXiv:1511.04085]
Hosseini, S.M., Zaffaroni, A.: Geometry of \({\cal{I} }\)-extremization and black holes microstates. JHEP 07, 174 (2019). [arXiv:1904.04269]
Gauntlett, J.P., Martelli, D., Sparks, J.: Toric geometry and the dual of \({\cal{I}}\)-extremization. JHEP 06, 140 (2019). [arXiv:1904.04282]
Kim, H., Kim, N.: Black holes with baryonic charge and \({\cal{I} }\)-extremization. JHEP 11, 050 (2019). [arXiv:1904.05344]
Boido, A., Gauntlett, J.P., Martelli, D., Sparks, J.: Entropy functions for accelerating black holes. Phys. Rev. Lett. 130(9), 091603 (2023). [arXiv:2210.16069]
Brandhuber, A., Oz, Y.: The D-4–D-8 brane system and five-dimensional fixed points. Phys. Lett. B 460, 307–312 (1999). [arXiv:hep-th/9905148]
Guarino, A., Jafferis, D.L., Varela, O.: String theory origin of dyonic N=8 supergravity and its Chern–Simons duals. Phys. Rev. Lett. 115(9), 091601 (2015). [arXiv:1504.08009]
Fluder, M., Sparks, J.: D2-brane Chern-*Simons theories: F-maximization = a-maximization. JHEP 01, 048 (2016). [arXiv:1507.05817]
Choi, S., Hwang, C.: Universal 3d Cardy block and black hole entropy. JHEP 03, 068 (2020). [arXiv:1911.01448]
Hosseini, S.M., Yaakov, I., Zaffaroni, A.: The joy of factorization at large N: five-dimensional indices and AdS black holes. JHEP 02, 097 (2022). [arXiv:2111.03069]
Hosseini, S.M., Zaffaroni, A.: The large N limit of topologically twisted indices: a direct approach. JHEP 12, 025 (2022). [arXiv:2209.09274]
Hosseini, S.M., Martelli, D., Pittelli, A., Zaffaroni, A.: Work in progress
Pestun, V., Zabzine, M.: Introduction to localization in quantum field theory. J. Phys. A 50(44), 443001 (2017). [arXiv:1608.02953]
Hosseini, S.M., Yaakov, I., Zaffaroni, A.: Topologically twisted indices in five dimensions and holography. JHEP 11, 119 (2018). [arXiv:1808.06626]
Crichigno, P.M., Jain, D., Willett, B.: 5d partition functions with A twist. JHEP 11, 058 (2018). [arXiv:1808.06744]
Acknowledgements
DM was supported in part by the INFN. AZ was partially supported by the INFN and the MIUR-PRIN contract 2017CC72MK003. We thank F. Faedo for comments on a draft of this paper. We gratefully acknowledge support from the Simons Center for Geometry and Physics, Stony Brook University, at which some of the research for this paper was performed.
Funding
Open access funding provided by Universitá degli Studi di Torino within the CRUI-CARE 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.
Appendices
A Direct proof of the fixed point formula for \({\mathbb {M}}_4\)
In this section, we derive the fixed point formula (3.35) for four-dimensional toric orbifolds. We use the notations introduced in Sect. 3.2. We start by writing the equivariant volume as an integral over the polytope, as in (2.32)
which can be evaluated by elementary methods. Defining the one-form
and, using Stoke’s theorem, we have
where a facet \(\mathcal{F}_a\) of the polytope is defined by the linear equation
We can introduce a coordinateFootnote 41\(s\in [s_a^\text {min},s_a^\text {max}]\) on each facet \(\mathcal{F}_a\), writing
where \({{\tilde{v}}}^a_i\equiv \varepsilon _{ij} v^a_j\). The extrema of the interval can be determined by intersecting \(\mathcal{F}_a\) with \(\mathcal{F}_{a-1}\) and \(\mathcal{F}_{a+1}\), respectively, and read
where \( \langle v, w\rangle \equiv \text {det}(v, w)\). Plugging (A.5) into \(\nu \) and integrating we have
Recalling that
and using the vector identities
we obtain the compact expression
Now, for a four-dimensional orbifold
so that
Rearranging the contributions of the vertices in the sum
where we used another other standard vector identity
we obtain the localization formula (3.35).
B Direct proof of the master volume formula for CY\(_3\)
We consider a singular Calabi–Yau cone with fan specified by the vectors \(v^a=(1,w^a)\), with \(a=1,\ldots , d^\prime \) and \(w^a\in {\mathbb {Z}}^2\). The projection on the plane with first coordinate equal to one is a convex polytope called toric diagram in the physics literature. We label the vectors \(v^a\) along the toric diagram in anticlockwise order and we identify vectors cyclically, \(v^{d^\prime +1}\equiv v^1\). In order to apply the fixed point formula we need to resolve the singularity. This can be done by triangulating the toric diagram. We add new vectors \(v^\alpha =(1, {{\bar{w}}}^\alpha )\), \(\alpha =d^\prime +1,\ldots ,d\) with \(\bar{w}^\alpha \) lying inside the toric diagram until it becomes the union of triangles.
The master volume \({\mathcal {V}}\) is a function of the \(\lambda ^a\) associated with the external vectors \(v^a=(1,w^a)\) only. The equivariant volume \(\mathbb {V}\) is a function of all \(\lambda \) and can be obtained from the fixed point formula (5.5), where the sum is extended to all triangles in which the toric diagram has been partitioned. The computation is fortunately local. Every particular external \(\lambda _a\) enters in just two fixed point contributions, associated with the two triangles in Fig. 8, where \({{\bar{v}}}\) is an internal point.
Denoting \( \langle v, w, u \rangle \equiv \text {det}(v, w, u)\), and taking into account the orientations of the inward normals \(u^a_A\), we can write
where \({{\bar{\lambda }}}\) is the Kälher parameter associated with the internal point \({{\bar{v}}}\), \(d_I=| \langle v^{a-1}, v^a, {{\bar{v}}}\rangle |\) and \(d_{II}=| \langle v^{a+1}, v^a, {{\bar{v}}}\rangle |\) are the orders of the local singularities and the dots refer to terms independent of \(\lambda _a\). We can then compute
thus recovering the master volume expression (5.18).
C The equivariant index
In this appendix, we present some simple examples of character indices. It is an interesting topic, with many applications for example to localization computations [56], but, since it is not the main theme of this paper we will be brief.
1.1 C.1 The equivariant index for the spindle
We consider the spindle . As in Sect. 3.1 we take \(v^1=n_+\), \(v^2=-n_-\) and GLSM charges \(Q=(n_-,n_+)\). We take \(n_+\) and \(n_-\) relatively prime.
The character computes the equivariant index
where q is the weight for the \({\mathbb {T}}\) action. We recall that not all the \({\mathbb {T}}\)-invariant divisors are inequivalent. In particular, for the spindle, (2.22) implies \(n_+ D_+=n_- D_-\).
The fixed point formula (2.71) has contribution from two poles of the spindle. In each contribution, we need to add an average over the local singularity \({\mathbb {Z}}_{d_A}\)
Setting \(q=\text {e}^{-\epsilon \hbar }\) and \(\Lambda _\pm =-\lambda _{1,2}/\hbar \) and taking the limit \(\hbar \rightarrow 0\) we recover the equivariant volume (3.16) as the coefficient of the leading pole as in (2.67). Only the terms with \(k=0\) contribute to the limit. The index can been resummed using [56]
where \(\omega _k=\text {e}^{\frac{2\pi i}{k}}\), u is a complex number, \(\alpha \) is an integer number and the floor function denotes the integer part. This formula can be proved by expanding both sides in power series of u. The result is
Notice that, although there were fractional powers of q in (C.2), the final formula contains only integer powers. We see that, for \(\Lambda _\pm >0\),
the character has only positive signs and counts the sections of
refined with respect to the \({\mathbb {T}}\) action. Geometrically, we see that the exponents are the integers
corresponding to the integer points in the polytope (2.66)
The Molien–Weyl formula (2.68) reads:
The relation between the two formulas is as in (2.70)
This can be checked by computing explicitly the residue related to \({{\bar{q}}}_i\). One obtain two sums over \(z_{k_-}= {{\bar{q}}}_1^{-1/n_-} \text {e}^{2 \pi i k_-/n_-}\) and \(z_{k_+}= {{\bar{q}}}_2^{-1/n_+} \text {e}^{2 \pi i k_+/n_+}\) for \(k_\pm =0,\ldots n_\pm -1\) that match the fixed point formula.Footnote 42 On the other hand, we can also evaluate the integral in a simpler way. We define the grand-canonical partition function
where we evaluated the integral by deforming the contour circling \(z_{k_\pm }\) into a contour around \(z=w\), which is the only other singularity of the integrand. From this expression we see that \(\mathbb {Z}_{MW}(T, {{\bar{q}}}_a)\) for \(T>0\) counts the monomials in \(({{\bar{q}}}_1,{{\bar{q}}}_2)\) of charge T under the rescaling with weights \(Q=(n_-,n_+)\). These are precisely the holomorphic sections
where the line bundle O(T) corresponds to Chern class \(c_1=\left[ \frac{F}{2\pi }\right] \) with Chern number \(\frac{1}{2\pi }\int F = \frac{T}{n_+ n_-}\).
1.2 C.2 The equivariant index for \(\mathbb{W}\mathbb{P}^2_{[N_1,N_2,N_3]}\)
For simplicity, we only consider the case of the “non-minimal" fan
and \(Q= (N_1,N_2,N_3) =(n_1 n_2,n_2 n_3,n_1 n_3) \). The orbifold is \({\mathbb {M}}_4={\mathbb {W}}{\mathbb {P}}^2_{[N_1,N_2,N_3]}\) if the \(n_a\) are coprime. There are only labels and not extra orbifold singularities in the sense that the corresponding primitive vectors \({{\hat{v}}}^a\), obtained by dividing \(v^a\) by the label \(n_a\), satisfy \({{\hat{d}}}_{a,a+1}=\det ({{\hat{v}}}^a, {{\hat{v}}}^{a+1})=1\).
The fixed point formula (2.71) requires averaging over the local orbifold singularity. For example, we can consider the contribution from the fixed point associated with the cone \((v^2,v^3)\). The local data are \(d_{2,3}=n_1 n_2\) and \(u_1=(-n_2,0)\) and \(u^2=(0,-n_1)\). The local orbifold action is determined by \(J_2 n_1=s, J_3 n_2 =p\) where s, p are integers:
The fixed point contribution is
where we use the identity (C.3). The contributions of the other fixed points can be computed similarly. Combining the three contributions, we find
in agreement with the general formula (2.73). One can check that
counts (with a \({\mathbb {T}}^2\) weight) the integer points in the polytope
This can be proved with elementary methods. By expanding in power series (C.15) in \(1/q_1\) and \(1/q_2\), we obtain all the integer points in an infinite cone, as in Fig. 9.
By similarly expanding the other power series in (C.16) for \(|q_i|>1\) and \(|q_2/q_1|>1\), we find three competing contributions, which cancel except for the points inside the polytope as depicted in Fig. 10.
The Molien–Weyl formula gives instead
This can be explicitly evaluated by taking the residues at \(z^{N_a}{{\bar{q}}}_a=1\), and one recovers formula (2.70):
where the gauge-invariant quantities are explicitly given by
One can check that the three set of residues at \(z^{N_a}{{\bar{q}}}_a=1\) precisely correspond to the three fixed point contributions. For example, the residue associated with \({{\bar{q}}}_1\) reads
reproducing the contribution (C.15). In the sum, we replaced k with \(n_3 k\) using the fact that the \(n_i\) are coprime. We also used the identity
which can be proved by expanding both sides in power series of u.
The grand-canonical partition function
can be also computed deforming the contour to encircle \(z=w\) which gives
We see that \(\mathbb {Z}_{MW}(T, {{\bar{q}}}_a)\) for \(T>0\) counts the monomials in \(({{\bar{q}}}_1,{{\bar{q}}}_2, {{\bar{q}}}_3)\) of charge T under the rescaling with weights \(Q=(N_1,N_2,N_3)\). These are precisely the holomorphic sections
of the line bundle O(T). In the familiar case of \(\mathbb{W}\mathbb{P}^2\), where \(N_i=1\), these are just the homogeneous polynomials of degree T.
In the presence of \({{\hat{d}}}_{a,a+1}=\det ({{\hat{v}}}^a, {{\hat{v}}}^{a+1})\ne 1\), we would need more general formulas for resumming the averages over the orbifold action and we will not discuss this case.
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
Martelli, D., Zaffaroni, A. Equivariant localization and holography. Lett Math Phys 114, 15 (2024). https://doi.org/10.1007/s11005-023-01752-1
Received:
Revised:
Accepted:
Published:
DOI: https://doi.org/10.1007/s11005-023-01752-1