Abstract
We derive a gravitational block formula for the supersymmetric action for a general class of supersymmetric AdS solutions, described by GK geometry. Extremal points of this action describe supersymmetric AdS\(_3\) solutions of type IIB supergravity, sourced by D3-branes, and supersymmetric AdS\(_2\) solutions of \(D=11\) supergravity, sourced by M2-branes. In both cases, the branes are also wrapped over a two-dimensional orbifold known as a spindle, or a two-sphere. We develop various geometric methods for computing the gravitational block contributions, allowing us to recover previously known results for various explicit supergravity solutions, and to significantly generalize these results to other compactifications. For the AdS\(_3\) solutions we give a general proof that our off-shell supersymmetric action agrees with an appropriate off-shell c-function in the dual field theory, establishing a very general exact result in holography. For the AdS\(_2\) solutions our gravitational block formula allows us to obtain the entropy for supersymmetric, magnetically charged and accelerating black holes in AdS\(_4\).
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The programme of identifying and studying novel geometric structures associated with supersymmetric AdS solutions of string/M-theory has led to enormous progress in our understanding of the AdS/CFT correspondence. A particularly rich arena is provided by supersymmetric AdS\(_3\times Y_7\) solutions of type IIB supergravity [1] and AdS\(_2\times Y_9\) solutions of \(D=11\) supergravity [2]. The AdS\(_3\times Y_7\) solutions, which are dual to \(d=2\), \({\mathcal {N}}=(0,2)\) SCFTs, are supported by five-form flux and are associated with D3-branes wrapping two-dimensional, compact surfaces. The AdS\(_2\times Y_9\) solutions are supported by electric four-form flux and are associated with M2-branes wrapping such surfaces and, furthermore, arise as the near horizon limit of supersymmetric black hole solutions. The geometry on \(Y_7\) and \(Y_9\) was further understood in [3] and, moreover, extended to general odd dimensions \(Y_{2n+1}\); it is referred to as GK geometry.
Initial progress in studying GK geometry arose from constructing explicit solutions [3,4,5,6]. However, such explicit constructions represent only a small fraction of a much larger landscape of solutions, and new techniques are needed in order to study the whole family and to elucidate properties of the dual field theories. Inspired by techniques that were developed to study Sasaki–Einstein (SE) manifolds some time ago [7, 8], a geometric extremal problem characterizing GK-geometries was formulated in [9] and further developed in [10,11,12,13,14]. In particular, these new techniques enable one to obtain quantities of physical interest for AdS\(_3\times Y_7\) and AdS\(_2\times Y_9\) backgrounds, including the central charge of the dual to \(d=2\), \({\mathcal {N}}=(0,2)\) SCFTs and the entropy of the supersymmetric black holes, respectively, without needing explicit solutions.
A rich sub-class of such AdS\(_3\times Y_7\) and AdS\(_2\times Y_9\) solutions are closely associated with AdS\(_5\times SE_5\) and AdS\(_4\times SE_7\) solutions, respectively. Recalling that the latter solutions arise from D3-branes and M2-branes sitting at the apex of the corresponding Calabi-Yau \(CY_3\) and \(CY_4\) cone geometries, one can further wrap the D3 and M2-branes on a compact Riemann surface. Generically this results in a GK geometry which consists of the SE geometry fibred over the Riemann surface. This setup has been studied in [10,11,12,13,14] and, in particular, significant progress has been made in the context of toric SE manifolds, for which additional algebraic tools have been developed [10, 13, 14]. In the type IIB context, one can interpret the AdS\(_3\times Y_7\) solutions as being dual to the \(d=4\), \({\mathcal {N}}=1\) SCFTs which are associated with AdS\(_5\times SE_5\), that are then reduced on the Riemann surface and flow to \(d=2\), \({\mathcal {N}}=(0,2)\) SCFTs in the IR. The geometric extremization of the GK geometry in the toric context has then been precisely identified with c-extremization [15, 16] of the dual field theory in [10, 11]. In the \(D=11\) context there is an analogous picture, with the AdS\(_2\times Y_9\) solutions also being associated with the near horizon limit of supersymmetric black holes living in AdS\(_4\times SE_7\). In this context the geometric extremization of the GK geometry corresponds to I-extremization [17, 18] in the field theory, as discussed in [12, 13, 19], and this has increased the scope of recovering the entropy of supersymmetric AdS black holes from the dual field theory, vastly extending [17].
Until recently, the construction of supersymmetric AdS solutions associated with branes wrapping two-dimensional surfaces has focussed on compact Riemann surfaces, as discussed in the previous paragraph, with supersymmetry preserved via a topological twist [20]. However, it has recently been shown [21, 22] that one can wrap D3 and M2-branes on certain two-dimensional orbifolds known as spindles, and moreover, the supergravity solutions preserve supersymmetry in a novel way, called the anti-twist. The spindle solutions of [21, 22] were constructed in minimal \(D=5,4\) gauged supergravity theories and then uplifted on Sasaki–Einstein manifolds \(SE_5, SE_7\), respectively, to obtain AdS\(_3\times Y_7\) solutions of type IIB and AdS\(_2\times Y_9\) solutions of \(D=11\) supergravity. More general solutions have been found in STU-type gauged supergravities which can be uplifted on spheres, \(SE_5=S^5\) or \(SE_7=S^7\) (or specific orbifolds, thereof) [23,24,25,26,27,28]. For the STU class it was shown in [27] that in addition to the anti-twist solutions there are also topological twist solutions, which we will simply refer to as twist solutions.Footnote 1 The fact that supersymmetry is preserved in just one of these two ways is related to the global properties of spin\(^c\) spinors on spindles with an azimuthal rotation symmetry [27].
The GK geometry for the AdS\(_3\times Y_7\) and AdS\(_2\times Y_9\) solutions obtained by uplifting these gauged supergravity solutions involving spindles, consists of fibrations of Sasaki–Einstein manifolds over spindles. A most striking feature is that the orbifold singularities of the spindles get resolved in the uplift, and the resulting GK geometries are completely smooth. In fact, these smooth solutions had already been constructed some time ago using a quite different perspective [4, 6]. While not relevant for this paper, we note that other constructions of solutions associated with various branes wrapped on spindles as well as higher dimensional orbifolds, have also been made.Footnote 2
The principal aim of this paper is to synthesize the general geometric extremization techniques for studying GK geometries that have been developed with the recent progress in constructing explicit solutions associated to branes wrapped on spindles. The formalism we develop will allow us to study a much broader class of configurations of D3 and M2-branes wrapping spindles, for which supergravity solutions are very unlikely to be ever found in explicit form. In particular, by solving the geometric extremization problem one can extract key properties of the solutions and of the holographic dual field theories.
The key object in GK geometric extremization [9] is the supersymmetric action, \(S_{\textrm{SUSY}}\), which has to be suitably extremized in the space of R-symmetry Killing vectors. For AdS\(_3\times Y_7\) solutions \(S_{\textrm{SUSY}}\) is proportional to the “trial central charge”, which after extremization becomes the central charge of the dual \(d=2\) SCFT. For AdS\(_2\times Y_9\) solutions \(S_{\textrm{SUSY}}\) is proportional to the “trial entropy” associated with the dual \(d=1\) SCFT; on-shell it is associated with the entropy of supersymmetric black holes which have the AdS\(_2\) solution as a near horizon limit. One of our main results is to demonstrate that for GK geometry consisting of fibrations of Sasaki–Einstein manifolds over spindles, we can write \(S_{\textrm{SUSY}}\) in a “gravitational block” form. Furthermore, this rewriting is also applicable for fibrations of Sasaki–Einstein manifolds over two-spheres, thus providing a new perspective on some of the results for GK geometry discussed in [10,11,12,13,14].
The idea of gravitational blocks was first proposed in [46] in the context of supersymmetric black holes and black strings in AdS\(_4\times S^7\) and AdS\(_5\times S^5\), respectively, which carry electric and magnetic charges as well as non-trivial rotation and with spherical horizons. There it was shown that the entropy can be obtained by extremizing certain entropy functions that are obtained by summing (“gluing”) basic building blocks. This observation was inspired by the factorization of partition functions of \(\mathcal{N}=2\) field theories in \(d=3\), proven in [47] (for later developments in field theory see also [48,49,50]). In subsequent work [23, 30] it was shown that for the class of explicit supergravity solutions associated with M2 and D3-branesFootnote 3 wrapping spindles, obtained by uplifting solutions in \(D=4,5\) STU gauged supergravity theories on \(S^7\), \(S^5\), respectively, it is possible to write the off-shell trial entropy and trial central charge in the form of gravitational blocks, both for the twist and the anti-twist classes. Here we will systematically derive the results of [23, 30], and moreover show that they can be extended to the whole class of GK geometry consisting of fibrations of arbitrary Sasaki–Einstein manifolds over spindles, and, furthermore, over two-spheres.
We now turn to an outline of the paper, also highlighting some of the key results. We begin in Sect. 2 by reviewing some key aspects of GK geometry on \(Y_{2n+1}\), \(n\ge 3\), including summarizing the extremal problem involving the supersymmetric action \(S_{\textrm{SUSY}}\) as a function of the R-symmetry Killing vector \(\xi \). In particular, the extremal problem involves imposing some flux quantization conditions, which in the case of AdS\(_3\) and AdS\(_2\) solutions is associated with flux quantization in the type IIB and \(D=11\) supergravity solutions, respectively. In the remainder of the paper we focus on GK geometry of the fibred form
where \(X_{2n-1}\) are Sasakian fibers and \(\Sigma =\mathbb {WCP}^1_{[m_-,m_+]}\) is a spindle, i.e. a weighted projective space with co-prime weights \(m_\pm \in {\mathbb {N}}\), with an azimuthal symmetry. While we focus throughout on spindles, our main results are also applicable to replacing the spindle with a smooth two-sphere by setting \(m_\pm =1\). We assume that the fibers have a \(U(1)^s\) isometry (the “flavour symmetry”) so that we can write
where \((b_\mu ) =(b_0,b_1,b_2,\ldots ,b_s)\in {\mathbb {R}}^{s+1}\). Here \(\partial _{\varphi _0}\) denotes the Killing vector generating azimutal rotations of the spindle (uplifted to \(Y_{2n+1}\)), while \(\partial _{\varphi _i}\) with \(i=1,\dots , s\) is a basis for the \(U(1)^s\) action on the fibers \(X_{2n-1}\). The two fibers located at the north and south poles of the spindle \(\Sigma \), denoted by \(X_\pm \), respectively, are orbifolds \(X_\pm \equiv X_{2n-1}/{\mathbb {Z}}_{m_\pm }\) and they play an important role in our analysis.
We analyse this setup in Sect. 3 where we prove our main result
where \({\mathcal {V}}_{2n-1}^\pm \) are “master volumes” [10, 13, 14] of the covering spaces \(X_{2n-1}\) of the fibers \(X_\pm \), respectively. With \(\xi _\pm \) the orthogonal projection of the R-symmetry vector \(\xi \) onto the directions tangent to the fibres \(X_\pm \) over the two poles and, similarly \(J_\pm \equiv J|_{X_\pm }\) the transverse Kähler class of the GK geometry restricted to the fibres at the poles, we have \({\mathcal {V}}_{2n-1}^\pm = {\mathcal {V}}_{2n-1} ( \xi _\pm ; [J_\pm ])\). We refer to (1.3) as the “gravitational block” decomposition of \(S_{\text {SUSY}}\).
We also define geometric R-charges, \(R_a^\pm \), which are associated with certain supersymmetric submanifolds \(S^{\pm }_{a}\) of dimension \((2n-3)\) in \(Y_{2n+1}\). More precisely, the latter are defined as \(U(1)^s\)-invariant codimension two submanifolds \(S_a\subset X_{2n-1}\), whose cones are divisors in the Calabi-Yau cone \(X_{2n-1}\).Footnote 4 These in turn define codimension four submanifolds \(S^{\pm }_a\subset Y_{2n+1}\), as the copies of \(S_a\) in the fibres \(X_\pm =X_{2n-1}/{\mathbb {Z}}_{m_\pm }\) over the two poles of the spindle. For AdS\(_3\times Y_7\) solutions when \(n=3\), the latter are three-dimensional supersymmetric submanifolds in the fibres \(X_{5}/{\mathbb {Z}}_{m_\pm }\) and the geometric R-charges are dual to the R-charges of baryonic operators associated with D3-branes wrapping these submanifolds. Similarly, for AdS\(_2\times Y_9\) solutions when \(n=4\), they are five-dimensional supersymmetric submanifolds in the fibres \(X_7/{\mathbb {Z}}_{m_\pm }\) and the geometric R-charges are dual to the R-charges of baryonic operators associated with M5-branes wrapping these submanifolds.
The remainder of the paper considers further special cases where we can make additional progress. In Sects. 4 and 5 we consider what we referFootnote 5 to as the “flavour twist”, which is defined by imposing a certain restriction on the quantized fluxes so that they are determined by the fibration structure and the choice of \(\xi \). A particular case is provided by examples for which the fibre \(X_{2n-1}\) has no “baryonic symmetries” i.e. \(H^2(X_{2n-1},{\mathbb {R}})\cong 0\). For the flavour twist we show that for \(n=3\) the off-shell trial central charge for AdS\(_3\times Y_7\) solutions can be written as
while for \(n=4\) the off-shell entropy for AdS\(_2\times Y_9\) solutions has the form
Here \(\textrm{Vol}_S(X_{2n-1})|_{b_i}\) is the Sasaki-volume of \(X_{2n-1}\) as a function of the Reeb vector \(b_i\) and \(\sigma =\pm 1\) is associated with the two ways of preserving supersymmetry on the spindle, the twist and the anti-twist [27]. Also \(N=m_+m_-{\mathcal {N}}_0\) with \({\mathcal {N}}_0\in {\mathbb {N}}\), can be understood as the flux through the Sasaki–Einstein space for the associated AdS\(_5\times SE_5\) and AdS\(_4\times SE_7\) solutions. A special sub-case of the flavour twist is what we shall call the universal anti-twist; for \(n=3\) and 4 this corresponds to the explicit AdS\(_3\times Y_7\) and AdS\(_2\times Y_9\) solutions constructed using minimal gauged supergravity in \(D=5\) and \(D=4\) in [21] and [22], respectively, both of which are in the anti-twist class, and we find exact agreement. Section 5 illustrates with some specific examples of the flavour twist.
We then switch gears in Sects. 6–8 to study the case when the fibres \(X_{2n-1}\), and hence \(Y_{2n+1}\), are toric. Section 6 reviews some basic features of toric GK geometry on \(Y_{2n+1}\) [10, 13, 14]. In Sect. 7 we discuss how \(S_{\text {SUSY}}\) in (1.3) can be written algebraically in terms of the toric data of the fibre \(X_{2n-1}\). We also obtain similarly explicit expressions for the geometric R-charges, \(R_a^\pm \), in terms of \({\mathcal {V}}_{2n-1}\) (see (7.46)). In Sect. 8 we focus on AdS\(_3\times Y_7\) solutions and prove the remarkable result
where \(R_a^\pm =R_a^\pm (b_i^\pm )\) are the geometric R-charges and \((\vec {v}_{a}, \vec {v}_{b}, \vec {v}_c)\) is a \(3\times 3\) determinant, with \(\vec {v}_{a}\) the toric data for the fibre \(X_{2n-1}\). The AdS\(_3\times Y_7\) solutions can be interpreted as being dual to the \({\mathcal {N}}=1\), \(d=4\) SCFT, which is dual to AdS\(_5\times SE_5\), that is then compactified on the spindle with magnetic fluxes switched on. We determine the explicit map between the field theory variables involved in c-extremization and those appearing in the extremization of the GK geometry. We also illustrate some of our formalism explicitly by considering some examples.
In Sect. 9 we discuss some features of the AdS\(_2\times Y_9\) solutions when interpreted as the near horizon limit of supersymmetric and accelerating black holes in AdS\(_4\times SE_7\). This complements the recent discussion in [51].
Section 10 concludes with some discussion. Appendix A and B contain some technical material relevant for Sects. 7 and 8, respectively. Appendix C discusses some aspects of Kaluza–Klein reduction of type IIB and \(D=11\) supergravity on \(SE_5\) and \(SE_7\) spaces, respectively, which illuminates some subtleties concerning flavour and baryonic symmetries discussed in Sect. 9.
2 AdS Solutions from GK Geometry
From a physics perspective, we are interested in a class of supersymmetric AdS\(_3\times Y_7\) solutions of type IIB string theory supported by D3-brane flux [1] and AdS\(_2\times Y_9\) solutions of M-theory supported by M2-brane flux [2]. In both cases the internal space \(Y_{2n+1}\) is equipped with a GK geometry [3] with \(n=3\), \(n=4\), respectively. In [9] solutions to the supergravity equations of motion were shown to be critical points of a certain finite-dimensional extremal problem for GK geometry. In the next two subsections we briefly review these constructions, in general (odd) dimension for \(Y_{2n+1}\), before then specializing to the above two cases of physical interest.
2.1 GK geometry
We begin by discussing some salient features of GK geometry, referring to [3] for more details.
GK geometry [3] is defined on odd-dimensional Riemannian manifolds \(Y=Y_{2n+1}\), of dimension \(2n+1\), where \(n\ge 3\). The metric on \(Y_{2n+1}\) is equipped with a unit norm Killing vector field \(\xi \), called the R-symmetry vector. Since \(\xi \) is nowhere vanishing, it defines a foliation \({\mathcal {F}}_\xi \) of \(Y_{2n+1}\), and in local coordinates we may write
where we have defined \(c\equiv \frac{1}{2}(n-2)\), and \(\eta \) is the Killing one-form dual to \(\xi \). The metric on \(Y_{2n+1}\) then takes the form
where \(\textrm{d}s^2_T\) is a Kähler metric transverse to \({\mathcal {F}}_\xi \). This Kähler metric has a transverse Kähler two-form J, Ricci two-form \(\rho =\textrm{d}P\), and Ricci scalar R. Moreover, the conformal factor \(\textrm{e}^B\) in (2.2) is given by
In particular this means that we require the Kähler metric to have positive scalar curvature, \(R>0\).
The metric cone over \(Y_{2n+1}\) is by definition \(C(Y_{2n+1})\equiv {\mathbb {R}}_{>0}\times Y_{2n+1}\), with conical metric \(\textrm{d}s^2_{C(Y_{2n+1})} = \textrm{d}r^2 + r^2\, \textrm{d}s^2_{Y_{2n+1}}\). There is also an equivalent characterization of GK geometry in terms of the cone geometry [3]. For a GK geometry on \(Y_{2n+1}\) the cone has an integrable complex structure, and moreover we require there to exist a nowhere vanishing holomorphic \((n+1,0)\)-form \(\Psi \), which is closed \(\textrm{d}\Psi =0\). In this sense \(C(Y_{2n+1})\) is then Calabi-Yau, having vanishing first Chern class, although the conical metric \(\textrm{d}s^2_{C(Y_{2n+1})}\) is neither Kähler nor Ricci-flat. We also require that \(\Psi \) has definite charge under \(\xi \), satisfying
In particular this condition implies that \(\xi \) is a holomorphic vector field on \(C(Y_{2n+1})\).
A GK geometry becomes “on-shell”, satisfying the supergravity equations of motion in the string/M-theory applications described in Sects. 2.3 and 2.4, if the transverse Kähler metric satisfies the non-linear partial differential equation
where \(R_{ab}\) denotes the Ricci tensor for the Kähler metric, and \(\Box \) is the Laplacian operator.
2.2 The extremal problem
We are interested in the following extremal problem in GK geometry, introduced in [9]. We fix a complex cone \(C(Y_{2n+1})={\mathbb {R}}_{>0}\times Y_{2n+1}\) with holomorphic volume form \(\Psi \), together with a holomorphic \(U(1)^{s+1}\) action. Here \(s\ge 0\) necessarily, as \(\xi \) generates at least a U(1) action, and in this paper we will be interested in the case that \(s\ge 1\) and there is at least a \(U(1)^2\) action. We take corresponding generating vector fields \(\partial _{\varphi _\mu }\), \(\mu =0,1,\ldots ,s\), with each \(\varphi _\mu \) having period \(2\pi \). Moreover, we choose this basis so that the holomorphic volume form has unit charge under \(\partial _{\varphi _1}\), and is uncharged under \(\partial _{\varphi _{{\hat{\mu }}}}\), \({\hat{\mu }}=0,2,\ldots ,s\). Notice here that we have singled out the \(\partial _{\varphi _0}\) direction, as well as the \(\partial _{\varphi _1}\) direction. The reason for this notation will become clear in Sect. 3. A choice of holomorphic R-symmetry vector \(\xi \) may then be written as
where we may regard the coefficients as defining a vector \((b_\mu ) =(b_0,b_1,b_2,\ldots ,b_s)\in {\mathbb {R}}^{s+1}\).Footnote 6 Given the condition (2.4), we must then set
A choice of \(\xi \) determines the foliation \({\mathcal {F}}_\xi \), and we then further choose a transverse Kähler metric with basic cohomology class \([J]\in H^{1,1}_B({\mathcal {F}}_\xi )\). It will often be convenient to note from (2.1) that
where \([\rho ]\in H^{1,1}_B({\mathcal {F}}_\xi )\) also defines a basic cohomology class.
Given this data, we may define the following supersymmetric action
It is straightforward to show [9] that this is a positive multiple of the integral of the scalar curvature of the transverse metric \(R>0\) over \(Y_{2n+1}\), and thus \(S_{\textrm{SUSY}}>0\) is a necessary condition for a regular on-shell solution. A necessary condition for the transverse Kähler metric to solve the PDE (2.5) is the constraint equation
which is equivalent to imposing that the integral of (2.5) over \(Y_{2n+1}\) holds. We also impose the flux quantization conditions
Here \(\Sigma _\alpha \subset Y_{2n+1}\) are codimension two submanifolds, tangent to \(\xi \), which form a basis for the free part of \(H_{2n-1}(Y_{2n+1};{\mathbb {Z}})\), \(\nu _n\) are certain real constants that are given in the physical cases of interest of \(n=3\), \(n=4\) in Sects. 2.3, 2.4 below, and \({\mathcal {N}}_\alpha \in {\mathbb {Z}}\) are the quantized fluxes. For a given \(\xi \), it is important to notice that the quantities (2.9), (2.10), (2.11) depend only on the basic cohomology classes \([J], [\rho ]\in H^{1,1}_B({\mathcal {F}}_\xi )\), and not on the choice of Kähler metric itself.
The extremal problem we are interested in is to extremize the supersymmetric action (2.9), subject to imposing the constraints (2.10), (2.11), for fixed flux numbers \({\mathcal {N}}_\alpha \). Here the parameter space is the choice of \(\xi \), parametrized by \((b_\mu )\in {\mathbb {R}}^{s+1}\) via (2.6), and the choice of transverse Kähler class. The number of constraints (2.10), (2.11) is the same as the number of transverse Kähler class parameters. Assuming one can eliminate the latter, the supersymmetric action (2.9) then effectively becomes a function only of \(b_\mu \) and the flux numbers \({\mathcal {N}}_\alpha \in {\mathbb {Z}}\). While we don’t have a general theorem to this effect, we shall see later that this is the case in various examples. The main result of [9] is that GK geometries that solve the PDE (2.5) are necessarily solutions to this extremal problem. It is an important outstanding problem to determine sufficient conditions for when solutions of the extremal problem guarantee that one in fact has a GK geometry solving the PDE; for some further discussion see [9, 10].
2.3 AdS\(_3\) solutions from D3-branes
Setting \(n=3\) in the above gives internal spaces \(Y_7\) that are associated to supersymmetric solutions of type IIB supergravity of the form [1]
Here we have introduced the closed two-form
where \(c=\tfrac{1}{2}(n-2)=\tfrac{1}{2}\), \(\textrm{d}s^2_{\textrm{AdS}_3}\) denotes the unit radius metric on AdS\(_3\), and \(L>0\) is a constant. In fact, if desired one can absorb L in the transverse Kähler geometry via the rescaling \(J\rightarrow L^{-4}J\), which implies \(\textrm{e}^{-B}\rightarrow L^{-4}\textrm{e}^{-B}\).
The fact that only the five-form flux \(F_5\) in type IIB is non-zero implies that these solutions are in some sense supported only by D3-branes. This flux is properly quantized via (2.11), satisfying
provided we take the constant \(\nu _3\) to be
where \(\ell _s\) is the string length, and \(g_s\) denotes the string coupling constant. Furthermore, the extremal value of the supersymmetric action (2.9) determines the central charge \(c_{\textrm{sugra}}\) of the dual field theory. In fact [9] introduced a “trial central charge” \({\mathscr {Z}}\), defined by
and on-shell, i.e. after extremizing, one has has
2.4 AdS\(_2\) solutions from M2-branes
Setting instead \(n=4\) gives internal spaces \(Y_9\) that are associated to supersymmetric solutions of \(D=11\) supergravity of the form [2]
where F is again given by (2.13), but with now \(c=\tfrac{1}{2}(n-2)=1\). Again \(L>0\) is a constant which can be absorbed into the transverse Kähler geometry via \(J\rightarrow L^{-3}J\) (this is what is done in [51]).
We may interpret the fact that the flux G is zero when restricted to \(Y_9\), as meaning there is only M2-brane flux, and no M5-brane flux, sourcing these solutions. The Hodge dual seven-form \(*_{11}G\) is properly quantized via (2.11), satisfying
provided we take the constant \(\nu _4\) to be
where \(\ell _p\) is the eleven-dimensional Planck length. In this case we define a “trial entropy” \({\mathscr {S}}\) via
where the supersymmetric action is given by (2.9) with \(n=4\). When the \(D=11\) solution arises as the near horizon limit of a supersymmetric black hole, it was argued in [9] that the on-shell value, \({\mathscr {S}}_\text {os}\), is the entropy of the black hole. More generally, one expects this quantity to be the logarithm of a supersymmetric partition function of the dual superconformal quantum mechanics.
3 Spindly Gravitational Blocks
In the remainder of the paper we will be interested in studying the extremal problem described in Sect. 2, in the special case that the internal space \(Y_{2n+1}\) takes the fibred form
Here \(Y_{2n+1}\) projects under the projection map \(\pi \) to a two-dimensional surface \(\Sigma \), with Sasakian fibre \(X_{2n-1}\).
Physically this corresponds to the following set-up. When the fibres \(X=X_{2n-1}\) of \(Y=Y_{2n+1}\) are Sasaki–Einstein manifolds, taking \(n=3\), \(n=4\) leads to associated AdS\(_5\times X_5\) and AdS\(_4\times X_7\) solutions of type IIB supergravity and \(D=11\) supergravity, respectively. These are the near horizon limits of N D3-branes or N M2-branes placed at the Calabi-Yau cone singularities of \(C(X_{2n-1})\), respectively. We may then interpret the fibration (3.1) as wrapping the D3-branes or M2-branes over the two-dimensional surface \(\Sigma \), with a general partial topological twist/fibration. The resulting low-energy effective theories on these wrapped branes, in dimensions \(d=2\) and \(d=1\) respectively, then flow to superconformal fixed points, with near horizon holographic duals given by AdS\(_3\times Y_7\) and AdS\(_2\times Y_9\), respectively.
The case where \(\Sigma =\Sigma _g\) is a smooth Riemann surface of genus g, and where the R-symmetry vector \(\xi \) is tangent to toric fibres X, was studied in [10, 13]. Here we are interested in generalizing this set-up by taking \(\Sigma =\mathbb {WCP}^1_{[m_-,m_+]}\) to be a spindle, or equivalently a weighted projective space with co-prime weights \(m_\pm \in {\mathbb {N}}\). Moreover, we take general fibres (not just toric), where crucially \(\xi \) now has a component that is also tangent to \(\Sigma \).Footnote 7 The action of \(\xi \) on \(\Sigma \) is simply rotation about the poles, which are orbifold points modelled locally by \({\mathbb {C}}/{\mathbb {Z}}_{m_\pm }\). This includes the special case that \(\Sigma =S^2\) is a two-sphere,Footnote 8 when \(m_\pm =1\).
The main result of this section will be that the supersymmetric action (2.9), together with the associated constraint (2.10) and flux quantization conditions (2.11), localize to integrals over the fibres \(X_\pm \) over the poles of the spindle.Footnote 9 We refer to these contributions as gravitational blocks, since they generalize similar (conjectured) formulas that have already appeared in the literature – see [23, 25, 30, 46, 49, 52, 53]. As well as deriving these gravitational block formulas, we will also relate physical quantities in the parent \(d=4\) and \(d=3\) field theories on the D3-branes and M2-branes, respectively, to physical quantities in the compactified \(d=2\) and \(d=1\) theories in the IR. In turn, this will allow us to prove certain relations in holography.
3.1 Fibrations over a spindle
We may construct a spindle \(\Sigma \) straightforwardly by gluing copies of \({\mathbb {C}}/{\mathbb {Z}}_{m_+}\) and \({\mathbb {C}}/{\mathbb {Z}}_{m_-}\), along their common \(S^1\) boundary. The fibred geometries \(Y_{2n+1}\) that we are interested in may then be realized via a modification of this gluing construction.
We begin with the product \({\mathbb {C}}\times X_{2n-1}\), where \(X_{2n-1}\) will be the base of a Calabi-Yau cone \(C(X_{2n-1})\) with \(\dim _{\mathbb {C}}C(X_{2n-1}) = n\). The conical metric is \(\textrm{d}s^2_{C(X_{2n-1})}=\textrm{d}r^2 + r^2\, \textrm{d}s^2_{X_{2n-1}}\), with \(r>0\), and we denote by \(\Omega \) the closed holomorphic (n, 0)-form on \(C(X_{2n-1})\). We also suppose that \(C(X_{2n-1})\) is equipped with a holomorphic \(U(1)^s\) action, with the Reeb vector field \({\mathcal {J}}(r\partial _r)\) generating a subgroup of this action, where \({\mathcal {J}}\) is the complex structure tensor of \(C(X_{2n-1})\). We take a basis \(\partial _{\psi _i}\), \(i=1,\ldots ,s\), of holomorphic vector fields that generates the \(U(1)^s\) action, such that the holomorphic volume form \(\Omega \) has charge 1 under \(\partial _{\psi _1}\), and is uncharged under \(\partial _{\psi _i}\), \(i=2,\ldots ,s\). The corresponding coordinates \(\psi _i\) on \(X_{2n-1}=\{r=1\}\subset C(X_{2n-1})\) here have period \(2\pi \).Footnote 10
Given this set-up, the space \(Y_{2n+1}\) may be constructed by taking \(({\mathbb {C}}\times X_{2n-1})/{\mathbb {Z}}_{m_+}\) and gluing it to \(({\mathbb {C}}\times X_{2n-1})/{\mathbb {Z}}_{m_-}\), where the local orbifold groups \({\mathbb {Z}}_{m_\pm }\) act on both \({\mathbb {C}}\) and the “fibres” \(X_{2n-1}\). It then remains to specify this action, and also make precise how we glue. We may accomplish both together by first choosing two homomorphisms \(h_\pm :U(1)\rightarrow U(1)^s\). This is equivalent to specifying integers \(\alpha ^\pm _i\in {\mathbb {Z}}\), \(i=1,\ldots ,s\), so that explicitly
with \(\omega \in U(1)\) a unit norm complex number. Given a point \((z,x)\in {\mathbb {C}}\times X_{2n-1}\), where \(z\in {\mathbb {C}}\) and x is a point in \(X_{2n-1}\), the \({\mathbb {Z}}_{m_\pm }\) orbifold actions are then defined by taking the generators \(\Gamma _\pm \) to be
respectively. Here \(\omega _\pm \equiv \textrm{e}^{2\pi \textrm{i}/m_\pm }\) are primitive \(m_\pm \)-th roots of unity, and the action of \(h_\pm \in U(1)^s\) on the point \(x\in X\) is via the assumed holomorphic \(U(1)^s\) action on \(X_{2n-1}\). Quotienting \({\mathbb {C}}\times X_{2n-1}\) by (3.3) then defines \(({\mathbb {C}}\times X_{2n-1})/{\mathbb {Z}}_{m_\pm }\). Notice here that any two choices of \(\alpha ^\pm _i\) that agree modulo \(m_\pm \) (respectively for upper and lower signs) give the same \({\mathbb {Z}}_{m_\pm }\) quotient. That is, \(({\mathbb {C}}\times X_{2n-1})/{\mathbb {Z}}_{m_\pm }\) depends only on \(\alpha ^\pm _i\in {\mathbb {Z}}_{m_\pm }\), where the latter then specify homomorphisms from \({\mathbb {Z}}_{m_\pm }\rightarrow U(1)^s\). However, in the gluing construction of the two local models we describe next it will be important to regard \(\alpha ^\pm _i\in {\mathbb {Z}}\), and not just defined mod \(m_\pm \).
The homomorphisms \(h_\pm \) also specify diffeomorphisms \(\Phi _\pm \) (which may be thought of as large \(U(1)^s\) gauge transformations) of \(S^1\times X_{2n-1}\subset {\mathbb {C}}\times X_{2n-1}\), where \(S^1 =\{z\in {\mathbb {C}}\mid |z|=1\}\cong U(1)\) are the unit norm complex numbers. Specifically,
Notice that the composition \(\Phi _\pm \circ \Gamma _\pm \circ \Phi ^{-1}_\pm \) maps \((z,x)\in S^1\times X_{2n-1}\) to \((\omega _\pm \cdot z,x)\). Thus, after composing with the diffeomorphism \(\Phi _\pm \), the quotient acts only on the z coordinate, showing that \((S^1\times X_{2n-1})/{\mathbb {Z}}_{m_\pm }\cong S^1/{\mathbb {Z}}_{m_\pm }\times X_{2n-1}\cong S^1\times X_{2n-1}\), which is the boundary of \(({\mathbb {C}}\times X_{2n-1})/{\mathbb {Z}}_{m_\pm }\). Both models then have the same boundary \(S^1\times X_{2n-1}\), and we glue these boundaries with the identity diffeomorphism, after reversing the orientation of \(({\mathbb {C}}\times X_{2n-1})/{\mathbb {Z}}_{m_-}\). This constructs the total space \(Y_{2n+1}\).
We may make the above discussion more explicit by introducing coordinates. We write \(z_\pm = |z_\pm |\textrm{e}^{\textrm{i}{{\hat{\phi }}}^\pm }\) as complex coordinates on each copy of \({\mathbb {C}}\), where \({{\hat{\phi }}}^\pm \) have period \(2\pi \) before quotienting. The diffeomorphism/large gauge transformation (3.4) is then implemented by the coordinate transformation
Here \(\psi ^\pm _i\) are \(2\pi \)-period angular coordinates on each copy of \(X_{2n-1}\), and \((\phi ^\pm ,\varphi ^\pm _i)\) are the new angular coordinates on each copy of \(S^1 \times X_{2n-1}\). It follows that on the quotients \(({\mathbb {C}}\times X_{2n-1})/{\mathbb {Z}}_{m_\pm }\) the \(\phi ^\pm \) have periods \(2\pi /m_\pm \), respectively. The gluing is then accomplished by identifying (the minus sign due to the orientation change of the second copy)
so that \(\varphi \) is a \(2\pi \)-period coordinate for the azimuthal direction of the spindle. The fibres \(X_{2n-1}\) are glued with the identity diffeomorphism, meaning we identifyFootnote 11
We then define \(\varphi _i\equiv \varphi _i^+=\varphi _i^-\) as the angular coordinates on the fibres \(X_{2n-1}\).
3.2 Twist and anti-twist
The previous subsection gives a self-contained description for how to construct the fibration (3.1) over a spindle \(\Sigma \). However, we may also make contact with the discussion in [27], which focused on U(1) fibrations over a spindle, by focusing on the ith factor of \(U(1)\subset U(1)^s\). The corresponding pair of integers \((\alpha ^+_i,\alpha ^-_i)\) specify a U(1) orbibundle over the spindle base \(\Sigma \).Footnote 12 One can introduce a corresponding connection one-form \(A_i\), and the discussion in [27] computes the total flux/Chern number
where \(F_i\equiv \textrm{d}A_i\), and we have defined
The corresponding complex line bundle over \(\Sigma \) is denoted \({\mathcal {O}}(p_i)\). In particular, different choices of \(\alpha _i^\pm \) with the same \(p_i\) in (3.9) give isomorphic line bundles, as we shall see.
Conversely, given a choice of \((p_1,\ldots ,p_s)\in {\mathbb {Z}}^s\), we may specify the local model data above by first picking coprime integers \(a_\pm \) satisfying
which exist by Bezout’s lemma for coprime \(m_+\), \(m_-\), and then defining
These satisfy (3.9), by virtue of (3.10). Notice that here we treat the \(i=1\) direction differently, as discussed below. One can check that different choices in the above construction result in equivalent spaces \(Y_{2n+1}\). Explicitly, given a solution \((a_+,a_-)\in {\mathbb {Z}}^2\) to (3.10), another solution is given by taking
where \(\kappa \in {\mathbb {Z}}\) is arbitrary. Via (3.11) this in turn shifts \(\alpha _i^\pm \rightarrow \alpha ^\pm _i {\mp } \kappa p_i m_\pm \equiv \alpha _i^\pm \) mod \(m_\pm \). It follows that different choices of \(\kappa \) lead to local models at each pole with equivalent quotient spaces \(({\mathbb {C}}\times X_{2n-1})/{\mathbb {Z}}_{m_\pm }\). Moreover, the fact that \(\alpha _i^\pm /m_\pm \) change by \({\mp } \kappa p_i\), with opposite signs, then implies this change to each local model simply cancels in the gluing construction, to obtain \(Y_{2n+1}\).
The \(i=1\) copy of U(1) is special, as we chose the basis so that the holomorphic (n, 0)-form \(\Omega \) on \(X_{2n-1}\) has charge 1 under this isometry. Equivalently, the Killing spinor associated to the GK geometry is charged under this direction. This was analysed in some detail in [27], with the conclusion being that there are precisely two possibilities, called the twist and anti-twist:
Via (3.9) we then haveFootnote 13
In particular for the twist case this gives \({\mathcal {O}}(p_1) = {\mathcal {O}}(-m_+-m_-)=K_\Sigma \) as the canonical line orbibundle of the spindle \(\Sigma \). It will be convenient for the remainder of the paper to write
where we have introduced
The result for the twist case \(\sigma =+1\) may also be obtained via the following construction. Recall that \(Y_{2n+1}\) is a fibration of \(X_{2n-1}\) over \(\Sigma \), and that \(\Psi \) denotes the holomorphic \((n+1,0)\)-form on \(C(Y_{2n+1})\). The twist case arises precisely when \(C(X_{2n-1})\) fibred over \(\Sigma \) is also Calabi-Yau, in the sense that it admits a holomorphic \((n+1,0)\)-form. This space is in general only a partial resolution of the cone singularity \(C(Y_{2n+1})\), and we denote its holomorphic volume form also by \(\Psi \). This may then be constructed locally as the wedge product of a (1, 0)-form on the spindle \(\Sigma \) with the holomorphic (n, 0)-form \(\Omega \) on \(X_{2n-1}\subset C(X_{2n-1})\), being careful to check this glues together appropriately.
We begin by constructing \(\Psi \) in each of the two patches. Recall that \(z_\pm = |z_\pm |\textrm{e}^{\textrm{i}{{\hat{\phi }}}_\pm }\) are the complex coordinates on each copy of \({\mathbb {C}}\). We denote by \(\Omega ^\pm \) the (n, 0)-forms on the corresponding copies of \(X_{2n-1}\), before quotienting. These may further be written as \(\Omega ^\pm = \textrm{e}^{\textrm{i}\psi _1^\pm }{\hat{\Omega }}^\pm \), where \({{\hat{\Omega }}}^\pm \) is uncharged under all \(\partial _{\psi _i^\pm }\), \(i=1,\ldots ,s\). We may then define
which are holomorphic \((n+1,0)\)-forms, before quotienting by \({\mathbb {Z}}_{m_\pm }\). Combining the angular changes of coordinates in Sect. 3.1, we find
In order for the first expression to be invariant under the \({\mathbb {Z}}_{m_\pm }\) quotient, which recall acts only on the \(\phi ^\pm \) coordinates, we see that we immediately require \(\alpha _1^\pm \equiv -1\) mod \(m_\pm \). Furthermore, in the second expression both \(\varphi \) and \(\varphi _1\) are globally defined angular coordinates (on the complement of fixed points of the torus action), where recall that (3.6) implements the gluing of the spindle, while \(\varphi _i=\varphi _i^+=\varphi _i^-\) identifies angular coordinates on the two copies of \(X_{2n-1}\). Requiring \(\Psi \equiv \Psi ^+=\Psi ^-\) to agree on the overlap in (3.18), and moreover be charged only under \(\partial _{\varphi _1}\), with unit charge, then imposes precisely the twist condition \(\alpha _1^+=\alpha _1^-=-1\) in (3.13). Thus, the twist condition is equivalent to the fibration of \(C(X_{2n-1})\) over \(\Sigma \) admitting this global holomorphic \((n+1,0)\)-form. In the literature this is often then called a (partial) topological twist. At present there is no similar geometric interpretation of the anti-twist in (3.13).
Finally, for both the twist and the anti-twist case, notice that defining \(\partial _{\varphi _0}\equiv \partial _{\varphi }\), together with \(\partial _{\varphi _i}\), \(i=1,\ldots ,s\), these vector fields generate a \(U(1)^{s+1}\) action on the total space \(Y_{2n+1}\), where this basis then satisfies the conditions imposed in the general set-up described in Sect. 2.2. In particular, the holomorphic \((n+1,0)\)-form \(\Psi \) is uncharged under \(\partial _{\varphi _0}\). In terms of the coordinates introduced in the construction in Sect. 3.1, it is helpful to note here that
Later in our discussion we will be particularly interested in the vector fields \(\zeta _\pm \), that by definition rotate the normal directions to the fibres over the poles of the spindle; that is, the copies of \(X_\pm \equiv X_{2n-1}/{\mathbb {Z}}_{m_\pm }\) located at \(z_\pm =0\), respectively, in the construction of Sect. 3.1. These are given by \(\zeta _\pm = \partial _{{{\hat{\phi }}}^\pm }\), and (3.19) immediately gives
where we have used (3.13) and (3.15). We may then also read off the “toric data” vectors
where \(\vec {\alpha }^\pm \equiv (\alpha _2^\pm ,\ldots ,\alpha _s^\pm )\). We will make use of this result in Sect. 7.
For later use, we define \(\xi _\pm \) to be the orthogonal projection of the R-symmetry vector \(\xi \) given in (2.6) onto directions tangent to the fibres over the two poles. These may then be viewed as R-symmetry vectors for the fibres \(X_\pm \). From (3.20) we have
where we have defined the shifted vectors
For later use note that
where we used (3.9).
3.3 Gravitational block lemma
In this section we prove the following general formula
Here \(Y_{2n+1}\) is a GK geometry fibering over a spindle \(\Sigma \), as in (3.1), where the fibres over the two poles of the spindle are respectively \(X_\pm \cong X_{2n-1}/{\mathbb {Z}}_{m_\pm }\), with the quotient given by (3.3). The orientations of \(X_\pm \) here are those naturally induced via the Stokes’ theorem argument we introduce shortly, but we note that these may not agree with the natural orientation induced by the complex structure on \(C(Y_{2n+1})\) (we shall return to discuss this later). Recall that we write the R-symmetry vector on \(Y_{2n+1}\) as
where the vector field \(\partial _{\varphi _0}\) was defined in the previous subsection, and rotates the spindle \(\Sigma \), while \(\partial _{\varphi _i}\) for \(i=1,\ldots , s\) are tangent to the fibres \(X_{2n-1}\) of (3.1). The differential form \(\Gamma \) in (3.25) is then any closed form on \(Y_{2n+1}\) that is basic with respect to the foliation defined by \(\xi \); that is, \({\mathcal {L}}_\xi \Gamma =0\), \(\xi \lrcorner \, \Gamma =0\).
Both the supersymmetric action (2.9) and constraint equation (2.10) take the form of the left hand side of (3.25), but so too does the flux quantization condition (2.11), for submanifolds \(\Sigma _\alpha \subset Y_{2n+1}\) that themselves fibre over the spindle direction \(\Sigma \). Equation (3.25) will form the basis for much of the rest of the paper. Here we provide a general differential-geometric proof for arbitrary fibre \(X_{2n-1}\). In later sections we will obtain an alternative proof for the case of toric \(X_{2n-1}\).
We begin by noting from (2.8) that \(\rho =b_1 \textrm{d}\eta \), so that (3.25) is equivalent to
In Sect. 3.1 we introduced on \(Y_{2n+1}\) a set of \(2\pi \)-period coordinates \(\varphi _\mu \), \(\mu =0,\ldots ,s\), which are globally well-defined away from the fixed points of the \(U(1)^{s+1}\) action on \(Y_{2n+1}\). In particular, \(\varphi _0\) is a \(2\pi \)-period coordinate for the azimuthal direction of the spindle \(\Sigma \), while \(\varphi _i\), \(i=1,\ldots ,s\), are coordinates on the fibres \(X_{2n-1}\). \(\varphi _0\) is then well-defined on \(\Sigma \), except at the poles. Each pole of the spindle is locally modelled as a quotient \({\mathbb {C}}/{\mathbb {Z}}_{m_\pm }\), where we introduced complex coordinates \(z_\pm = |z_\pm | \textrm{e}^{\textrm{i}{{\hat{\phi }}}_\pm }\) on the covering space copies of \({\mathbb {C}}\). Via (3.5), (3.6), we then have
Given the above notation, we next define the one-form
A priori this is a one-form on \(\Sigma \) that is well-defined except at the poles. We may then pull this back to a one-form \(\pi ^*\upsilon _0\) on \(Y_{2n+1}\), which in an abuse of notation we simply refer to also as \(\upsilon _0\). The latter is correspondingly then well-defined on \(Y_{2n+1}\), except at the fibres \(X_\pm \) over the poles, i.e. precisely where we integrate on the right hand side of (3.27).
The form \(\upsilon _0\) is manifestly closed, but we must be careful at the poles. Indeed, if we take the standard complex coordinate \(z=|z|\textrm{e}^{\textrm{i}\phi }\) on \({\mathbb {C}}\), where \(\phi \) has period \(2\pi \), then \(\upsilon \equiv \textrm{d}\phi /2\pi \) is a smooth one-form on \({\mathbb {C}}\setminus \{0\}\). Its exterior derivative is a two-form that is zero on \({\mathbb {C}}\setminus \{0\}\), but we also have
where \(S^1_\epsilon \, \equiv \, \{|z|=\epsilon \}\) is the circle of radius \(\epsilon >0\). We may then identify
as a distribution-valued two-form, where \(z=x+\textrm{i}y\), and \(\delta (x,y)\) is the usual Dirac delta function. More abstractly, \(\textrm{d}\upsilon =\delta \) is a delta function representative of the Poincaré dual to the origin \(0\in {\mathbb {C}}\). We then have
as in (3.30), where \(D_\epsilon \, \equiv \, \{|z|\le \epsilon \}\) is the disc of radius \(\epsilon \).
We may apply the above analysis to \(\upsilon _0\) on the spindle, where \(\textrm{d}\upsilon _0\) is zero except at the poles of \(\Sigma \). These are both orbifold singularities, where recall that we introduced a local model at each pole, starting with \({\mathbb {C}}\times X_{2n-1}\) and then quotienting by the \({\mathbb {Z}}_{m_\pm }\) action generated by (3.3). We may then identify
Here the factors of \(\pm m_\pm \) come from the corresponding factors in (3.28), and \(\delta _\pm \) are defined precisely as in (3.31), in local coordinates \(z_\pm \) for each covering space \({\mathbb {C}}\). Notice that the origin of \({\mathbb {C}}\) is fixed under the \({\mathbb {Z}}_{m_\pm }\) action generated by (3.3), so this group acts purely on the fibres \(X_{2n-1}\) over the origin in \({\mathbb {C}}\times X_{2n-1}\), meaning the fibres over the poles are \(X_\pm = X_{2n-1}/{\mathbb {Z}}_{m_\pm }\). Using (3.33) we may then immediately write
Here \(\textrm{d}\upsilon _0\) is zero except near to \(X_\pm \), which are at the origins of each local model \(({\mathbb {C}}\times X_{2n-1})/{\mathbb {Z}}_{m_\pm }\). On the other hand, the delta functions in (3.33) precisely restrict the integral to these copies of \(X_\pm \). Starting with the left hand side of (3.34), we may then integrate by parts, using the fact that \(\textrm{d}\Gamma =0\), to obtainFootnote 14
Here in the last step we have used the fact that both \(\textrm{d}\eta \) and \(\Gamma \) are basic, so \(\xi \lrcorner \, \textrm{d}\eta =0=\xi \lrcorner \, \Gamma \), while \(\xi \lrcorner \, \eta =1\). On the other hand, from (3.26) we immediately have \(\xi \lrcorner \, \upsilon _0=b_0/2\pi \). Combining (3.35) with (3.34), we have thus proven (3.27).
3.4 Gravitational block formula
We can now use these results to refine the extremal problem discussed in Sect. 2.2 for GK geometries of the fibred form (3.1). Specifically we want to reconsider the supersymmetric action (2.9), the constraint equation (2.10) and the expression for the fluxes (2.11).
We first observe that the supersymmetric action (2.9) takes the form of (3.25), with \(\Gamma =J^{n-1}/(n-1)!\) and hence we may write
or
where \(\textrm{Vol}(X_\pm )\) are the induced volumes of the fibres over the poles. Indeed, since \(X_\pm \cong X_{2n-1}/{\mathbb {Z}}_{m_\pm }\), we have in both cases \(m_\pm \textrm{Vol}(X_\pm ) = \textrm{Vol}(X_{2n-1})\), although the induced volume forms for each copy of \(X_{2n-1}\) are in general different, and the volumes are different. We shall obtain an explicit formula for this for toric \(X_{2n-1}\) in Sect. 7. As remarked after equation (3.25), the orientations of \(X_\pm \) in (3.37) may not agree with those induced from the complex structure on \(C(Y_{2n+1})\) (or equivalently the transverse complex structure on \(Y_{2n+1}\)), and correspondingly the “volumes” \(\textrm{Vol}(X_\pm )\) will then be negative. In fact we shall find that we can take \(\textrm{Vol}(X_+)>0\) and \(\sigma \, \textrm{Vol}(X_-)>0\).
We next note that there are two preferred fluxes, \(N^{X_\pm }\), associated with the fibres \(X_\pm \cong X_{2n-1}/{\mathbb {Z}}_{m_\pm }\) at the north and south poles, respectively. Following (2.11) we define
We can then apply (3.25) to the constraint equation (2.10). We set \(\Gamma = \rho \wedge \frac{J^{n-2}}{(n-2)!}\), so that the constraint becomes
Thus, the constraint equation simply relates the two fluxes \(N^{X_\pm }\) in (3.38). It is convenient to then define \(N\in {\mathbb {Z}}\) via
Notice that since \(m_+\) and \(m_-\) are assumed co-prime, this means that \(N=m_+m_- {{\mathcal {N}}}_0\), where \({{\mathcal {N}}}_0\in {\mathbb {N}}\). Indeed, without loss of generality we will take
and hence with \(m_\pm >0\), we also have \(N^{X_\pm }>0\).
Before continuing, we now define the geometric R-charges for GK geometries of the fibred form (3.1). The R-charges, \(R_a^\pm \), are associated with certain supersymmetric submanifolds \(S^{\pm }_{a}\) of dimension \((2n-3)\) in \(Y_{2n+1}\). More precisely, these may be defined as follows. We begin with a set of \(U(1)^s\)-invariant codimension two submanifolds \(S_a\subset X_{2n-1}\), whose cones are divisors in the Calabi-Yau cone \(X_{2n-1}\).Footnote 15 These in turn define codimension four submanifolds \(S^{\pm }_a\subset Y_{2n+1}\), as the copies of \(S_a\) in the fibres \(X_\pm =X_{2n-1}/{\mathbb {Z}}_{m_\pm }\) over the two poles of the spindle. We then define
For AdS\(_3\times Y_7\) solutions when \(n=3\), the latter are three-dimensional supersymmetric sub-manifolds in the fibres \(X_{5}/{\mathbb {Z}}_{m_\pm }\) and the geometric R-charges are dual to the R-charges of baryonic operators associated with D3-branes wrapping these submanifolds. Similarly, for AdS\(_2\times Y_9\) solutions when \(n=4\), they are five-dimensional supersymmetric submanifolds in the fibres \(X_7/{\mathbb {Z}}_{m_\pm }\) and the geometric R-charges are dual to the R-charges of baryonic operators associated with M5-branes wrapping these submanifolds. We emphasize that these supersymmetric submanifolds exist even in cases with \(H^2(X_{2n-1},{\mathbb {R}})\cong 0\), which we discuss further in Sect. 4. We also note that there is again an issue of orientation on \(S_a\) and we will see later in the toric case that we have \(R_a^+>0\) and \(\sigma R_a^->0\).
We now compute the fluxes through another preferred class of \((2n-1)\)-dimensional submanifolds \(\Sigma _a \subset Y_{2n+1}\). Specifically, we consider \(\Sigma _a\) which are the total spaces of the supersymmetric submanifolds \(S_a\) of the fibres \(X_{2n-1}\) defined above, that are then fibred over the spindle \(\Sigma \):
The associated flux through this class of cycles isFootnote 16
where \(M_a\in {\mathbb {Z}}\). In a completely analogous fashion to how we derived the block formula (3.25), we can split the integral in (3.44) into two pieces as
where recall that \(S_a^\pm \) are the copies of the \(S_a\) in the fibres over the north and south poles of the spindle, respectively. We thus conclude that these preferred fluxes are related to the R-charges associated to these submanifolds via
4 Block Formula for Some Simpler Sub-classes
We can make further progress by making some additional assumptions on the GK geometry. In this section we first consider what we call a “flavour twist” (called a “mesonic twist” in the toric setting in [12]) followed by the “universal anti-twist”, which involves an additional assumption.
4.1 Block formula for \(X_{2n-1}\) with a flavour twist
First consider the special class of geometries where the fibre \(X_{2n-1}\) has no baryonic symmetries, i.e. \(H^2(X_{2n-1},{\mathbb {R}})\cong 0\). The nomenclature comes from the fact that for \(n=3,4\) the field theories dual to the associated AdS\(_5\times X_5\) and AdS\(_4\times X_7\) geometries then have no baryonic U(1) flavour symmetries. For this case the transverse Kähler class of the GK geometry restricted to the fibres at the poles, \([J|_{X_\pm }]\), must necessarily be proportional to \([\rho ]\) and we can write
with \(\Lambda _\pm \in {\mathbb {R}}\), and recall that \(\xi _\pm \) are the R-symmetry vectors of the fibres \(X_\pm \), introduced in (3.22).
We can also consider a more general class of geometries where we don’t assume \(H^2(X_{2n-1},{\mathbb {R}})\cong 0\), but nevertheless (4.1) is still satisfied. We call this the “flavour twist”. We will see below that this corresponds to fixing the GK geometry \(Y_{2n+1}\), including certain constraints on the fluxes \(M_a\), in terms of \(X_{2n-1}\), \(m_\pm \) and \(p_i\).
Substituting (4.1) into the supersymmetric action (3.37) we obtain
Here \(\textrm{Vol}_S(X_\pm )\) is the Sasakian volume, obtained from \(\textrm{Vol}(X_\pm )\) by setting \([J] = \frac{1}{2b_1}[\rho ]\), namely
These Sasaki volumes can be considered to be functions of trial Reeb vectors \(\xi _\pm \) tangent to \(X_\pm \). In practice, \(\textrm{Vol}_S(X_\pm )\) can be computed by taking the expression for the Sasakian volume of the fibre manifold \(X_{2n-1}\) and taking the trial Reeb vector to be the orthogonal projection of the R-symmetry vector \(\xi \) on \(Y_{2n-1}\) onto the fibres over the poles. Recall \(\xi _\pm \) were defined in (3.22), where we have
Finally, we should divide by \(m_\pm \) in order to take into account the quotient/orbifold singularities, and hence we can write
Here \(\textrm{Vol}_S(X_{2n-1}) |_{b_i}\) is the standard positiveFootnote 17 Sasaki volume on \(X_{2n-1}\) as a function of \(b_i\) (leading to a positive Sasaki–Einstein volume after extremization). We thus have
To make further progress, we now consider the expression for the flux quantization (3.38) through the fibres over the poles. Using the same type of argument we find
and we also recall the constraint equation (3.40) given by \(N = m_+ N^{X_+}= m_- N^{X_-}\). We can therefore solve for \(\Lambda _{\pm }\) in terms of N. After substituting into (4.6) we obtain an expression for the off-shell action as a function of the R-symmetry vector \(\xi \) given in (2.6) and the integer N. At this point, we can set \(b_1= \frac{2}{n-2}\) and the extremization of the GK geometry with respect to the remaining components of \(b_\mu \) can be carried out. There is some difference in signs depending on whether n is even or odd, which we will discuss further below.
Before doing that we derive an expression for the geometric R-charges \(R_a^\pm \), defined in (3.42). Recall that \(S_a^\pm \) are the copies of the supersymmetric \((2n-3)\)-dimensional submanifolds \(S_a\) in the fibres over the north and south poles of the spindle, respectively. We can express \(R_a^\pm \) in terms of the Sasakian volume of the submanifolds \(S_a^\pm \), defined as
Here \(\textrm{Vol}_S(S_a) |_{b_i}\) is the standard positive Sasaki volume of the submanifold \(S_a\subset X_{2n-1}\) as a function of \(b_i\) (leading to a positive result on the Sasaki–Einstein manifold after extremization). Hence, after eliminating \(\Lambda _\pm \) using (4.7), we can conclude that
Notice that using (3.46) we can therefore write the fluxes in the form
This equation must be interpreted carefully. The fluxes \(M_a\) on the left hand side are integers, while on the right hand side for fixed \(X_{2n-1}\) this is a function of the spindle data \(m_\pm \), the flavour twisting variables \(p_i\), and the R-symmetry vector \((b_\mu )=(b_0,b_1,\ldots ,b_s)\in {\mathbb {R}}^{s+1}\). Fixing \(X_{2n-1}\), \(m_\pm \) and \(p_i\) fixes the internal space \(Y_{2n+1}\), while the extremization involves varying over the R-symmetry vector, which of course is not compatible with holding the \(M_a\) fixed in (4.10). However, the correct interpretation is to extremize the supersymmetric action, detailed below in (4.17), (4.20), to obtain the critical R-symmetry \(b_\mu ^*\), and then use this to compute the associated fluxes for this flavour twist solution using (4.10); in this sense the GK geometry \(Y_{2n+1}\) and the fluxes \(M_a\) are fixed by \(X_{2n-1}\), \(m_\pm \) and \(p_i\). A necessary and sufficient condition for this to make sense is that the right hand side of (4.10) is rational (hence integer for appropriate choice of N). On the other hand, this is guaranteed to be true if \((b_\mu ^*)\in {\mathbb {Q}}^{s+1}\) is itself rational, as the Sasakian volumes are (up to overall powers of \(\pi \) which cancel) rational functions of \(b_i\) with rational coefficients [8]. The fluxes are thus determined in this way for the flavour twist. We shall also expand upon this point in Sect. 7.3, in the case that \(X_{2n-1}\) is toric.
We now return to the issue of signs. Recall that \(N = m_+ N^{X_+}= m_- N^{X_-}>0\) and hence from (4.7) we can conclude that for odd n we have \(\Lambda _\pm \left. \textrm{Vol}_S(X_{2n-1}) \right| _{b_i^{(\pm )}}>0\) while for even n we have \(\left. \textrm{Vol}_S(X_{2n-1}) \right| _{b_i^{(\pm )}}>0\). Next consider \(\textrm{Vol}(X_\pm )\):
Recalling our discussion in Sect. 3.4, by considerations of the toric case (see (7.16)), the orientation on \(X_\pm \) that we need to take are such that
Thus, for odd n we have:
while for even n we have:
which fixes the sign ambiguity in solving (4.7).
We now further illustrate using the two cases of physical interest when \(n=3\) and \(n=4\). The case \(n=3\) is associated with AdS\(_3\times Y_7\) solutions. From (4.13) we have
and
Using (4.6) we therefore find that the off-shell central charge (2.16) can be written
We should set \(b_1=2\) when carrying out the extremization.
We now consider the case of \(n=4\), associated with AdS\(_2\times Y_9\) solutions. From (4.14) we now have
and
The off-shell entropy (2.21) now reads
We should set \(b_1=1\) when carrying out the extremization.
It is interesting to make a comparison with fibrations with no baryonic symmetries over round two spheres. To do this we want to consider the twist case, i.e. \(\sigma =1\), set \(m_\pm =1\) and take the limit \(b_0\rightarrow 0\). First observe that with \(\sigma =1\) we have
where \(f({b}_i)\) is a generic function of the Reeb vector. Defining the operator \(\nabla = -\sum _{i=1}^s \frac{p_{i}}{m_+ m_-} \, \frac{\partial }{\partial b_i}\) we thus have
and
In these expressions one should take derivatives with respect to \(b_1\) before setting \(b_1=2\) or \(b_1=1\), respectively. We also observe that after setting \(m_\pm =1\) (4.23) is the same as equation (3.10) of [12], who considered the case of \(X_7\) with no baryonic symmetries fibred over a round two-sphere
4.2 Universal anti-twist
The universal anti-twist case is associated with Sasaki–Einstein \(X_{2n-1}\) fibred over the spindle and, moreover, with the twisting in the fibration only along the Reeb Killing vector of the Sasaki–Einstein space. We therefore impose the condition
where \( \Lambda _{\pm }\) are constants, to ensure that \(X_{2n-1}\) is Sasaki–Einstein. Notice that this is the same condition as the flavour twist (4.1) imposed in the previous subsection. However, in addition we demand that the fluxes, \(p_i\), determining the fibration satisfy
We need to check a posteriori that after extremization this is consistent with the \(p_i\) being integer, much as with the discussion of fluxes after equation (4.10). We comment on this further below. Note that (4.25) is consistent with (3.24) and, in particular, implies that the twisting parameters can be written as
As we will see we shall need to set \(\sigma =-1\), and thus just have the anti-twist case, as well as take the Sasaki–Einstein manifold \(X_{2n-1}\) to be quasi-regular.
Since the universal anti-twist is a special case of the previous subsection, we can carry over all of the previous results of Sect. 4.1 and write, for general n,
where \(k_n=+1\) if n is odd and \(k_n=\sigma \) if is n even. As usual, to extremize we should set \(b_1=2/(n-2)\). To proceed we extremize over \(b_i\) and then \(b_0\). For the former, it is useful to use (4.25) to introduce a new variable
and we note that \(r_1 = n\). We next recall that \(\textrm{Vol}_S(X_{2n-1})(r_i)\), as a function of the Reeb vector \(r_i\), is homogeneous of degree \(-n\) in \(r_i\). Hence, we can write
and after substituting into (4.27) we obtain
At this point we can set \(b_1=2/(n-2)\) and proceed with the extremization. It is clear that extremizing over \(b_i\), \(i=2,3,\dots \), is the same as extremizing over \(r_i, i=2,3,\dots \). Thus, we immediately deduce that \(S_{\textrm{SUSY}}\) is extremized over \(b_i\) when \(\left. \textrm{Vol}_S(X_{2n-1})\right| _{r_i}\) is extremized over \(r_i\) and, recalling that \(r_1=n\), this results in nothing but the Sasaki–Einstein volume i.e. \(\textrm{Vol}_{SE}(X_{2n-1})\). This leads to the off-shell action
with the extremization over \(b_0\) still to be carried out. We will explicitly extremize over \(b_0\) for the two cases of physical interest below and favourably compare with known results for explicit supergravity solutions. In particular we find that only the anti-twist case with \(\sigma =-1\) gives rise to a positive on-shell value for \(S_{\textrm{SUSY}}\).
For the geometric R-charges, from (4.9) and (4.28) we have
where \(\textrm{Vol}_S(S_a)\) is the volume of \(S_a\) with respect to the Sasakian metric. Now \(\textrm{Vol}_S(X_{2n-1}) (r_i)\) and \(\textrm{Vol}_S(S_a)(r_i)\) are homogeneous of degree \(-n\) and \(-(n-1)\) in \(r_i\), respectively. Thus, by a similar scaling argument we deduce that after extremizing over \(b_i\) the off-shell R-charges, as a function of \(b_0\), are given by
where we introduced
For \(n=3\) and \(n=4\) we have \({R}_a\equiv {R}_a^{\textrm{4d}}\) and \({R}_a\equiv {R}_a^{\textrm{3d}}\), respectively, where \({R}_a^{\textrm{4d}}\) and \({R}_a^{\textrm{3d}}\) are the R-charges associated with the AdS\(_5\times SE_5\) and AdS\(_4\times SE_7\) solutions, respectively. Note that combining (3.46) with (3.24), the equations above for \(R_a^\pm \) allows us to find the fluxes (with \(\sigma =-1\))
and we also have (with \(\sigma =-1\))
where \(\chi =(m_-+m_+)/(m_-m_+)\) is the orbifold Euler character of the spindle. In both (4.35), (4.36) we have set \(\sigma =-1\), as it is needed for the universal anti-twist case. Note that in the special case that the SE space is toric, we have \(\sum _a R_a=2\) and hence we then also have (with \(\sigma =-1\))
Finally, we should return to the issue of everything being properly quantized. Combining (4.26) with (4.28) and evaluating on-shell, we have
where \(r_i^*\) is the critical Reeb vector for the Sasaki–Einstein metric on \(X_{2n-1}\). The latter is thus necessarily quasi-regular, meaning that \((r_i^*)\in {\mathbb {Q}}^s\) is rational. One may then ensure that \(p_i\in {\mathbb {Z}}\) in (4.38) by appropriately choosing \(p_1=m_+-m_-\in {\mathbb {Z}}\), which is a constraint on the choice of spindle \(\Sigma \). Note that a similar conclusion was reached for the universal twist solutions in [10], where there \(b_0=0\) and \(\Sigma =\Sigma _g\) is a smooth Riemann surface. In that case the universal twist requires an appropriate divisibility property for the genus g of the Riemann surface. Such issues were also effectively discussed in [21] for the explicit AdS\(_3\times Y_7\) universal anti-twist solutions described in the next subsection, where \({\mathbb {Z}}_k\) quotients along the Reeb U(1) isometry of the Sasaki–Einstein metric on \(X_{2n-1}\) were also considered.Footnote 18
Finally, since the R-charges \(R_a\) are rational for rational Reeb vector \(r_i^*\), one may ensure the fluxes \(M_a\) in (4.35) are integer by appropriately choosing N. Again, cf. the discussion of the universal twist in [10].
4.2.1 AdS\(_3\times Y_7\) case
For the \(n=3\) case, from (2.16) and (4.31), we therefore have
Notice that this expression is quadratic in \(b_0\). If we extremize over \(b_0\) we find that it is only in the anti-twist case, \(\sigma =-1\), that we get a positive on-shell central charge. So, setting \(\sigma =-1\) we find the extremal value
and one can check that (4.15) is satisfied, provided that we take \(m_+>m_-\) (which is associated with taking \(N>0\) and (4.12)). We can express the on-shell central charge in terms of, \(a_{\textrm{4d}}\), the central charge of the \(d=4\) SCFT, which is given by
and we find
which is positive for \(m_+>m_-\). The results (4.42) and (4.40) are in precise alignment with the results (21), (22) for the explicit supergravity solutions constructed in minimal gauged supergravity in [21] (after identifying \(m_\pm \) with \(n_{\mp }\)).
From (4.33), the (off-shell) geometric R-charges can be written in the form
and hence
where \(R_a^{\textrm{4d}}\) are the four-dimensional R-charges associated with the AdS\(_5\times SE_5\) solution. Notice that with \(R_a^{\textrm{4d}}>0\) and \(m_+>m_-\) we have \(R^+_a>0\) and \(\sigma R^-_a>0\) (with \(\sigma =-1\) for this case as we have seen). We will argue more generally in the toric setting that we always have \(R^+_a>0\) and \(\sigma R^-_a>0\).
4.2.2 AdS\(_2\times Y_9\) case
For \(n=4\) using (2.21) and (4.31) we get the off-shell entropy
which is to be extremized over \(b_0\). If \(\sigma =+1\) there are no extrema, so we again conclude that we again must have the anti-twist case with \(\sigma =-1\).
We can express the off-shell result in terms of the four-dimensional Newton constant \(G_{(4)}\) (in the conventions of [22]), defined by
Recall that the free energy on the three-sphere, \( {\mathcal {F}}_{S^3}\), of the \(d=3\) SCFT dual to the AdS\(_4\times SE_7\) solution is given by
We then can express the off-shell entropy (with \(\sigma =-1\)) as
Extremizing over \(b_0\) (and setting \(b_1=1\)) we find two solutions but only one gives a positive entropy. Focusing on this extremum we find
with the associated on-shell entropy given by
This agrees with the entropy for the supersymmetric, accelerating and magnetically charged black holes that were constructed in minimal gauged supergravity in (1.1) of [22].
From (4.33), the (off-shell) geometric R-charges can be written in the form
and hence
where \(R_a^{\textrm{3d}}\) are the four-dimensional R-charges associated with the AdS\(_4\times SE_7\) solution. Notice that with \(m_+>m_-\) and \(R_a^{\textrm{3d}}>0\) we again have \(R^+_a>0\) and \(\sigma R^-_a>0\) (with \(\sigma =-1\)).
Finally, as in [51] we can also make a comparison of the off-shell entropy (4.48) with an off-shell entropy function that was constructed in [22]. More specifically, [22] considered a complex locus of supersymmetric, accelerating and magneticallyFootnote 19 charged black holes that were non-extremal and then holographically calculated the on-shell action I at the AdS\(_4\) boundary. After suitable extremization I gives rise to the on-shell entropy. To make the connection, note that we can also write the off-shell action (4.48) with \(b_1=1\) as
with
and we see this is precisely the same as (4.41) of [53] with \( {\mathscr {S}} =-I\). We also highlight that in the special case that the \(SE_7\) is toric, using (4.37) we can also write
The off-shell action (4.48) also agrees with (5.20) of [53], with \( {\mathscr {S}} =-I\), after setting \(a_1=1\) and \(a_2=-b_0\).
5 Some Examples
In this section we use the general results of the previous section to calculate some physical quantities for particular examples of AdS\(_3\times Y_7\) and AdS\(_2\times Y_9\) solutions. For the AdS\(_3\times Y_7\) solutions we consider \(X_5=S^5\) and compare with known results associated with explicit supergravity solutions. For the AdS\(_2\times Y_9\) solutions we consider \(X_7=S^7\), for which we can also compare with known supergravity results, as well as \(X_7=V^{5,2}\) for which explicit supergravity solutions are not known. Note that the cases \(X_5=S^5\) and \(X_7=S^7\) can also be treated with the toric methods that we develop in Sects. 6 and 7.
5.1 AdS\(_3\times Y_7\) solutions with \(X_5=S^5\)
Since \(H^2(S^5,{\mathbb {R}})\cong 0\) the case of \(X_5=S^5\) is an example with no baryonic symmetries, as in Sect. 4. In a suitable basis, compatible with the toric data we will use for this example later, the Sasakian volume of \(S^5\) as a function of the Reeb vector can be written as
As is well known there are three supersymmetric three-submanifolds \(S_a\) which are \(U(1)^3\) invariant and associated with baryonic operators in \({\mathcal {N}}=4\) SYM theory dual to AdS\(_5\times S^5\). The Sasakian volume of these submanifolds are given by
It will be convenient below to briefly recall that we obtain the Sasaki–Einstein volume by setting \(b_1=3\) in (5.1) and then extremizing over \(b_2,b_3\). The extremal values are \(b_2=b_3=1\) with \(\textrm{Vol}_{SE}(S^5)=\pi ^3\) and \(\textrm{Vol}_{SE}(S_a)=2\pi ^2\).
We now consider the GK geometry associated with the AdS\(_3\times Y_7\) solutions. The off-shell central charge can be obtained from (4.17) and reads
Similarly, the off-shell geometric R-charges are obtained from (4.9) and are given by
Observe that for this example, which is also toric, we have
in agreement with the general toric results (7.47), (7.49).
Recall that there are two preferred fluxes, \(N^{X_\pm }\), associated with the fibres \(X_\pm \cong S^5 /{\mathbb {Z}}_{m_\pm }\) at the north and south poles, respectively, and from (3.40) we have \(N \equiv m_+ N^{X_+}= m_- N^{X_-}\). There are no further cohomologically non-trivial five-form fluxes. However, we also have three five-form fluxes \(M_a\) defined as the integral of the five-form flux through the three submanifolds \(\Sigma _a\), obtained as the three supersymmetric submanifolds \(S_a\) of \(S^5\) fibred over the spindle, as in (3.44). Using (3.46) we obtain the following expression for the fluxes \(M_a\):
where as usual, \(p_1 =-\sigma m_+ - m_-\). For this example, we have \(\sum _{a=1}^d M_a=\frac{p_1}{ m_+ m_-}N\), which one can check is in agreement with the general result (7.34) for toric \(X_7\). We also note that the variables \({\mathfrak {p}}_a\) we have introduced can be identified with the background magnetic fluxes of the dual \(d=4\) SCFT, in this case \({\mathcal {N}}=4\) SYM theory, as we discuss in more detail in the toric setting in Sect. 8.
To obtain the on-shell values for the central charge and R-charges we should set \(b_1=2\) and then extremize \({\mathscr {Z}}\) over \(b_0,b_2\) and \(b_3\). The expression for \({\mathscr {Z}}\) is quadratic in \(b_0,b_2,b_3\) and we find that the extremal values for \(b_0,b_2\) and \(b_3\) depend on the spindle data \(m_\pm \), \(\sigma \) as well as \(a_\pm \) (subject to (3.11)). However, the on-shell values of \({\mathscr {Z}}\) and \(R_a^\pm \) are independent of \(a_\pm \).
There is a \({\mathbb {Z}}_3\) symmetry permuting the \({\mathfrak {p}}_a\) but not \((p_1,p_2,p_3)\): the latter is a consequence of the fact that we singled out the \(p_1\) direction in constructing the fibration. It is therefore illuminating to express the on-shell values of \({\mathscr {Z}}\) and \(R_a^\pm \) in terms of \({\mathfrak {p}}_a\). For the on-shell central charge we find
In the case of the twist \(\sigma =+1\) we have exact agreement with the supergravity solutions of [27].Footnote 20 For the anti-twist case \(\sigma =-1\) we likewise have agreement with the supergravity solutions found in [24, 27], and for the special anti-twist case when \({\mathfrak {p}}_1={\mathfrak {p}}_2={\mathfrak {p}}_3=(\frac{m_+-m_-}{3m_-m_+})\) we recover the result that we derived in (4.42) for the universal anti-twist after using \(a_{\textrm{4d}}=N^2/4\); this is also the result found for the supergravity solutions constructed in [21].
Starting with (4.9), the on-shell expressions for the R-charges can be written
where
This is a new result which could be checked using the explicit supergravity solutions. It is also interesting to observe that if we demand, on-shell, \(c_{\textrm{sugra}}>0\) as well as \(R^+_a>0\) and \(\sigma R^-_a>0\) then, for the anti-twist case (\(\sigma =-1\)) we find we must have \({\mathfrak {p}}_1>0\), \({\mathfrak {p}}_2>0\) and \({\mathfrak {p}}_3=-{\mathfrak {p}}_1-{\mathfrak {p}}_2+(m_+-m_-)/(m_+ m_-)>0\) (which, in particular, implies \(m_+>m_-\)); this is in alignment with the result found for the explicit supergravity solutions as in (3.30) of [27]. Similarly for the twist case (\(\sigma =+1\)) we find that we must have any two of \(({\mathfrak {p}}_1,{\mathfrak {p}}_2,{\mathfrak {p}}_3)\) to be positive, now with \({\mathfrak {p}}_3=-{\mathfrak {p}}_1-{\mathfrak {p}}_2-(m_++m_-)/(m_+ m_-)>0\) which is also consistentFootnote 21 with the result found for the explicit supergravity solutions, see (3.31) of [27].
For the universal anti-twist case with \({\mathfrak {p}}_1={\mathfrak {p}}_2={\mathfrak {p}}_3=(\frac{m_+-m_-}{3m_-m_+})\) and \(\sigma =-1\), the geometric R-charges simplify to give
This is in exact agreement with the general result of (4.43) after using the fact that \(R_a^{\textrm{4d}}=2/3\).
Finally, we can prove a conjecture for the central charge stated in [23, 30]. To see this, observe that we can use (5.3), (5.4) to write the off-shell central charge as
where
and \(\sum _a\varphi _a=\frac{1}{2}(b_1^{(+)}+b_1^{(-)})=b_1-\frac{b_0}{2}\frac{m_--\sigma m_+}{m_-m_+}\). We also recall \(\sum {\mathfrak {p}}_a=-\frac{\sigma m_++m_-}{m_+ m_-}\) and that we should set \(b_1=2\) before extremizing. This is then in agreement with e.g. [30] provided that we identify our \((m_\pm ,\varphi _a,b_0,{\mathfrak {p}}_a)\) with their \((n_{\mp },\varphi _a,-2\epsilon ,-{\mathfrak {n}}_a)\).
5.2 Examples of AdS\(_2 \times Y_9\) solutions
We now consider some examples of AdS\(_2 \times Y_9\) solutions of \(D=11\) supergravity with \(Y_9\) a fibration of \(X_7\) over a spindle, specifically, \(X_7=S^7\) and also \(X_7=V^{5,2}\). Both of these cases are examples with no baryonic symmetries with \(H^2(X_7,{\mathbb {R}})\cong 0\) and can be analysed using the results of Sect. 4. The \(S^7\) case is toric and can also be treated using the toric formalism, similar to the analysis for \(S^5\) later in Sect. 8.4.1.
5.2.1 \(X_7=S^7\) example
In a suitable basis, the Sasakian volume of \(S^7\), as a function of the Reeb vector, is given by
There are four supersymmetric five-submanifolds \(S_a\), which are \(U(1)^4\) invariant and associated with baryonic operators in the SCFT dual to AdS\(_4\times S^7\). The Sasakian volumes of these supersymmetric submanifolds are given by
The Sasaki–Einstein volume can be obtained by setting \(b_1=4\) and then extremizing (5.13) over \(b_2,b_3,b_4\). The extremal point has \(b_2=b_3=b_4=1\) with \(\textrm{Vol}_{SE}(S^7) =\pi ^4/3\) and \(\textrm{Vol}_{SE}(S_a)=\pi ^3\).
We now consider the GK geometry associated with AdS\(_2\times Y_9\) solutions. The off-shell entropy function can be obtained from (4.20) and takes the form
The off-shell geometric R-charges are obtained from (4.9) and are given by
Observe that for this example, which is also toric, we have
in agreement with the general toric results (7.47), (7.49). Also, using (3.46) we can find the following expression for the preferred five-form fluxes \(M_a\) defined in (3.44).
where, as usual, \(p_1 =-\sigma m_+ - m_-\). For this example, we have \(\sum _{a=1}^d M_a=\frac{p_1}{ m_+ m_-}N\), which one can check is in agreement with the general result (7.34) for toric \(X_7\).
To obtain the on-shell values for \({\mathscr {S}}\) and \(R_a^\pm \), we should set \(b_1 = 1\), as appropriate for an AdS\(_2\times Y_9\) solution, and then extremize (5.15) as a function of \(b_2\), \(b_3\), \(b_4\), and \(b_0\). Performing such a computation analytically with general fluxes is difficult due to the presence of the square roots. We will look at a simpler case when the fluxes are pairwise equal, i.e. \(M_1 = M_2\) and \(M_3=M_4\), which amounts to setting
This choice corresponds to considering fibrations of the \(S^7\) that maintain \(U(2)\times U(2)\subset SO(8)\) symmetry and will allow us to compare with some explicit supergravity solutions. Notice in passing that this implies that \(p_1 =-\sigma m_+ - m_-\) must be even. Consistent with this \(U(2)\times U(2)\) symmetry we now make the further assumption that we can carry out the extremization over the locus
which implies
With these restrictions, the arguments of the square roots in (5.15) become perfect squares, so that
where \(\delta _{\pm }\) are signs defined by
We now need to extremize over \(b_0,b_3\) with \(b_1=2\). By an explicit calculation we find that when \(\delta _+ = \delta _-\), (5.22) is linear in \(b_3\) and \(b_0\) and so it does not have any extremum. Hence we set
We then find two different set of values for \((b_0,\,b_3)\) that extremize the off-shell entropy (5.22)
where
with the corresponding entropy given by
Clearly there are restrictions on \(m_\pm > 0\), \(p_3\) and \(\sigma \) to ensure that \({\mathscr {S}}_{\text {os}}\) is real and positive. The conditions (5.23), (5.24), and the positivity of the entropy imply
For the twist case, \(\sigma =+1\), we find that it is not possible to satisfy these conditions. Hence, there are no twist solutions with \(X_7 = S^7\) and pairwise equal fluxes. This conclusion was also reached within the context of a specific class of local supergravity solutions in [27, 28].
We now consider the anti-twist case, \(\sigma =-1\). In this case there are no possibilities for the lower sign extremal solution in (5.28), (5.29), but there are possibilities for the upper sign. In particular we find
and
with
Notice that in both cases \(m_+ - m_-\) is even. For these classes of anti-twist solutions we can also compute the on-shell R-charges and find
Note that (5.31) is consistent with the analysis of explicit supergravity solutions studied in [25].Footnote 22 The expressions for the geometric R-charges (5.33) are a new result, which could, in principle, be compared with a calculation using the supergravity solutions. If we now impose the conditions \(R^+_a>0\) and \(\sigma R^-_a>0\) (here with \(\sigma =-1\)) we find that we are only left with the case
We can also make a comparison with the analysis of explicit supergravity solution in [28]. An expression for the on-shell entropy for general fluxes was given in equation (6.4) of [28] and reads, in their notation,
where
We expect that this agrees with our general result; we will explicitly check it agrees in the special case of pairwise equal fluxes. Specifically, from (5.18), (5.19) we substitute
to find that (5.35) can be simplified to give
Taking the square root we get agreement with the two distinct branches, \(\delta =\pm 1\), above. Here we ruled out the \(\delta =-1\) branch and one can do the same using the analysis of [28]. In addition we believe that our result (5.34) arising from the positivity conditions R-charges is in accord with the existence of supergravity solutions of [28] (up to a relabelling of the parameters in the solutions and using (2.17) of [28]).
We can now consider the further special sub-case of the universal anti-twist which has, with \(\sigma =-1\),
In this case the fluxes in (5.18) read
We can also check that the resulting extremal values for \( b_2, b_3, b_4\) and \(b_0\) are consistent with (4.26). The on-shell entropy (5.31) and R-charges (5.33) also agree with those given in Sect. 4.2.2.
Finally, we can prove a conjecture for the entropy stated in [30] (see also [23]). To see this observe that we can use (5.15), (5.16) to write the off-shell entropy function, not assuming the \(U(2)^2\) symmetry condition (5.19), as
where
and \(\sum _a\varphi _a=b_1^{(+)}+b_1^{(-)}=2b_1-b_0\frac{m_--\sigma m_+}{m_-m_+}\). We also recall \(\sum {\mathfrak {p}}_a=-\frac{\sigma m_++m_-}{m_+ m_-}\) and that we should set \(b_1=1\) before extremizing. This is then in agreement with [30] provided that we identify our \((m_\pm ,\varphi _a,b_0,{\mathfrak {p}}_a)\) with their \((n_{\mp }, \varphi _a,-\epsilon ,-{\mathfrak {n}}_a)\).
5.2.2 \(X_7=V^{5,2}\) example
We now consider an example of \(X_7\) where there is currently no known explicit supergravity solution. Specifically, we consider the (non-toric) Sasaki manifold \(V^{5,2} = SO(5)/SO(3)\). This manifold has \(SO(5)\times U(1)\) isometry, with a maximal torus \(U(1)^3\), and hence this is an example with \(s=3\). The Sasakian volume can be computed using the Hilbert series method and reads [12]
There are five supersymmetric five-submanifolds \(S_a\), which are \(U(1)^3\) invariant, and are associated with baryonic operators in the SCFT dual to AdS\(_4\times V^{5,2}\). The Sasakian volumes of these supersymmetric submanifolds are given by
The Sasaki–Einstein volume can be obtained by setting \(b_1=4\) and then extremizing (5.13) over \(b_2,b_3\). The extremal point has \(b_2=b_3=0\) with \(\textrm{Vol}_{SE}(V^{5,2}) =(27/128)\pi ^4\) and \(\textrm{Vol}_{SE}(S_a)=\pi ^3/64\).
We now consider the GK geometry associated with AdS\(_2\times Y_9\) solutions. The off-shell entropy function can be obtained from (4.20) and takes the form
The off-shell geometric R-charges are obtained from (4.9) and are given by
From (3.46) we obtain the fluxes
with \(p_1 =-\sigma m_+ - m_-\). Note that
These equations play an analogous role to the general formula (7.34) valid in the toric case, that we discuss later. Indeed, both (7.34) and (5.48) may be interpreted in field theory as the condition that the superpotential is twisted via the line bundle \({\mathcal {O}}(p_1)\), where the flux terms on the left hand side correspond to the twistings of individual fields that appear in the superpotential. For \(V^{5,2}\) the particular combination of terms in (5.48) may be determined from the field theory dual worked out in [54], with particular fields being associated with particular divisors \(C(S_a)\subset C(V^{5,2})\).
To obtain the on-shell values for \({\mathscr {S}}\) and \(R_a^\pm \), we should set \(b_1 = 1\) and then extremize (5.45) as a function of \(b_2\), \(b_3\) and \(b_0\). As for the \(S^7\) case, the case of general fluxes is involved, hence we will consider the case when four of the fluxes are pairwise equal, namely \(M_2 = M_3\) and \(M_4 = M_5\), which holds when
This choice corresponds to considering fibrations of the \(V^{5,2}\) that maintain \(SU(2)\times SU(2)\times U(1)\subset SO(5)\times U(1)\) isometry. In this case the entropy (5.45) becomes symmetric under the exchange \(b_2 \leftrightarrow b_3\), and we may assume that at the extremal point
With (5.49) and restricting to the locus (5.50) we find that the (5.45) simplifies to
where the signs are defined as
By an explicit calculation we find that when \(\delta _+ = \delta _-\), (5.51) is linear in \(b_2\) and \(b_0\) and so it does not have any extremum. Hence we take
We then find that (5.51) is extremized for
Interestingly, \({b}_0^*\) and \({b}_2^*\) do not depend on whether we are in the twist or in the anti-twist case. The on-shell entropy reads
Clearly we must have \(p_2^2\le 2 \left( m_-^2+m_+^2\right) \) and there are additional restrictions that are needed in order to have a positive entropy. Mimicking what we did for the case \(X_7 = S^7\), we need to analyse the cases of \(\delta =\pm 1\) and the two signs (5.54), for each case of the twist, \(\sigma =+1\), and the anti-twist, \(\sigma =-1\). We find that there are no possibilities for choosing \(m_\pm >0\), \( p_2\) for the twist case and hence there are no AdS\(_2\times Y_9\) solutions in the twist class for \(X_7 = V^{5,2}\) and \(p_2 = p_3\).
For the anti-twist case with \(\sigma =-1\) we find there are no possibilities associated with the lower sign in the extremal values in (5.54), (5.55). However, there are possibilities associated with the upper sign. In particular we find
and
with
Notice that the condition \(p_2^2\le 2 \left( m_-^2+m_+^2\right) \) is automatically satisfied. For this class, with the upper sign, the on-shell R-charges are given by
If we now impose the conditions \(R^+_a>0\) and \(\sigma R^-_a>0\) (here with \(\sigma =-1\)) we find that we are only left with the case of the upper sign with
It is natural to conjecture that these are sufficient constraints on the parameters in order for the AdS\(_2\times Y_9\) solutions to actually exist.
We can now consider the further special sub-case of the universal anti-twist which has
In this case the fluxes in (5.47) read
From (5.56) we see that the extremal value has \( b_2^*=b_3^*=0\), consistent with (4.26). The extremal value of \(b_0\), the on-shell entropy (5.57) and R-charges (5.59) agree with those given in Sect. 4.2.2.
6 Toric GK Geometry
In this section we recall some general properties of the GK geometry associated with toric \(Y_{2n+1}\), and in particular discuss the master volume \({\mathcal {V}}_{2n+1}\) of \(Y_{2n+1}\) which allows one to carry out the geometric extremization algebraically. We follow [10, 13, 14], where further details can be found.
6.1 Toric Kähler cones
We begin with a toric Kähler cone \({C}(Y_{2n+1})\) in real dimension \(2(n+1)\). Thus we have a Kähler metric of the form
with a \(U(1)^{n+1}\) action generated by holomorphic Killing vectors \(\partial _{\varphi _\mu }\), \(\mu =0,1,\dots , n\), with each \(\varphi _\mu \) having period \(2\pi \). We assume that \(C(Y_{2n+1})\) is Gorenstein meaning that it admits a global holomorphic \((n+1,0)\)-form \(\Psi _{(n+1,0)}\). As before we choose a basis so that this holomorphic volume form has unit charge under \(\partial _{\varphi _1}\) and is uncharged under \(\partial _{\varphi _{{\hat{\mu }}}}\), \({\hat{\mu }} = 0,2,\ldots , n\).
The manifold \(Y_{2n+1}\) is embedded at \(r=1\). The complex structure of the cone pairs the radial vector \(r\partial _r\) with the Killing vector field \(\xi \) tangent to \(Y_{2n+1}\), i.e. \(\xi ={\mathcal {J}}(r\partial _r)\). We can write
and the vector \((b_\mu )=(b_0, b_1,\ldots ,b_{n})\in {\mathbb {R}}^{n+1}\) then parametrizes the choice of R-symmetry vector \(\xi \). A given vector field \(\xi \) defines a foliation of \(Y_{2n+1}\) which we denote by \({\mathcal {F}}_\xi \). We also have
Similarly, the complex structure pairs the one-form \(\eta \), dual to the Killing vector \(\xi \), with \(\textrm{d}r/r\). For Kähler cones we have
where \(J_S\) is the transverse Kähler form. In this case \(\eta \) is a contact one-form on \(Y_{2n+1}\) and \(\xi \), satisfying \(\xi \lrcorner \, \eta =1\), is then also called the Reeb vector field. The associated Sasakian metric on \(Y_{2n+1}\) is given by
We also note that that (2.8) immediately gives the cohomology relation
where \(\rho \) denotes the Ricci two-form of the transverse Kähler metric \(\textrm{d}s^2_{2n}({J_S})\).
We next define the moment map coordinates
These span the moment map polyhedral cone \({\mathcal {C}}\subset {\mathbb {R}}^{n+1}\), where the \(y^\mu \) are Euclidean coordinates on \({\mathbb {R}}^{n+1}\). The polyhedral cone \({\mathcal {C}}\), which is convex, is determined by D vectors \(v_{A\mu }\) with \(A=1,\dots D\) and for each A we have \((v_{A\mu })\in {\mathbb {Z}}^{n+1}\). Specifically, these are inward pointing and primitive normals to the D facets of the cone and we have
If we change basis for the \(U(1)^{n+1}\) action with an \(SL(n+1,{\mathbb {Z}})\) transformation, then there is a corresponding \(SL(n+1,{\mathbb {Z}})\) transformation on the moment map coordinates and hence on the toric data, i.e. the vectors \(v_{A\mu }\). In the basis above, satisfying (6.3), the Gorenstein condition implies that \((v_{A\mu =1}) =1\) for all A.
Geometrically, \(C(Y_{2n+1})\) fibres over the polyhedral cone \({\mathcal {C}}\). There is a trivial \(U(1)^{n+1}\) fibration over the interior \({\mathcal {C}}_{\textrm{int}}\) of \({\mathcal {C}}\), with the D normal vectors \(v_{A\mu }\) to each bounding facet \(\{\sum _{\mu =0}^n y^\mu {v}_{A\mu }=0\}\subset \partial {\mathcal {C}}\) specifying which \(U(1)\subset U(1)^{n+1}\) collapses along that facet. Each facet is also the image under the moment map of a toric divisor \({\mathcal {D}}_A\) in \(C(Y_{2n+1})\), where \({\mathcal {D}}_A\) is a complex codimension one submanifold that is invariant under the action of the \(U(1)^{n+1}\) torus. We define \(T_A\) to be the \(U(1)^{n+1}\) invariant \((2n-1)\)-cycle in \(Y_{2n+1}\) associated with the toric divisor \({\mathcal {D}}_A\) on the cone. Since \(\dim H_{2n-1}(Y_{2n+1},{\mathbb {R}})=D-(n+1)\), the toric \((2n-1)\)-cycles \([T_A]\in H_{2n-1}(Y_{2n+1},{\mathbb {Z}})\) are not independent in \(H_{2n-1}(Y_{2n+1},{\mathbb {Z}})\), satisfying the \((n+1)\) relations
We next define the Reeb cone, \({\mathcal {C}}^*\), to be the dual cone to \({\mathcal {C}}\). Then for a Kähler cone metric on \(C(Y_{2n+1})\) we necessarily have \(({b}_\mu )\in {\mathcal {C}}_{\textrm{int}}^*\), where \({\mathcal {C}}^*_{\textrm{int}}\) is the open interior of the Reeb cone [7]. The image of \(Y_{2n+1}=\{r=1\}\) under the moment map is then the compact, convex n-dimensional polytope
where the Reeb hyperplane defined by
6.2 The master volume
We first fix a choice of toric Kähler cone metric on the complex cone \(C(Y_{2n+1})\). As described in the previous subsection, this allows us to introduce coordinates \((y^\mu , \varphi _\mu )\) on \(C(Y_{2n+1})\). For a fixed choice of such complex cone, with Reeb vector \(\xi \) given by (2.6), we would then like to study a more general class of transversely Kähler metrics of the form (6.5) with J, in general, no longer equal to \(J_S\).
Of central interest is the “master volume” defined by
which is considered to be a function both of the vector \(\xi \), specified by \(b_\mu \), and the transverse Kähler class \([J]\in H^2_B({\mathcal {F}}_\xi )\). We can introduce \(c_A\in H^2_B({\mathcal {F}}_\xi )\) to be basic representatives of integral classes in \(H^2(Y_{2n+1},{\mathbb {Z}})\), which are Poincaré dual to the D toric divisors \({\mathcal {D}}_A\) on \(C(Y_{2n+1})\). This allows us to write
with the real parameters \(\lambda _A\) determining the transverse Kähler class. The \(c_A\) are not all independent and [J] in fact only depends on \(D-n\) of the D parameters \(\{ \lambda _A\}\), as we shall see shortly. It is also useful to note that the first Chern class of the foliation can be written in terms of the \(c_A\) as
We then see that in the special case in which
we recover the Sasakian Kähler class \([\rho ]= 2 b_1 [J_S]\) and the master volume (6.12) reduces to the Sasakian volume.
The master volume (6.12) may be written as
where \(|{b}|\equiv ({\sum _{\mu =0}^n b_\mu b_\mu })^{1/2}\). The factor of \((2\pi )^{n+1}\) arises by integrating over the torus \(U(1)^{n+1}\), while \(\textrm{Vol}({\mathcal {P}})\) is the Euclidean volume of the compact, convex n-dimensional polytope
with \(y^\mu _*\) an arbitrary point in the Reeb hyperplane. Different choices for \(y^\mu _*\) can be reabsorbed into a re-definition of the \(\lambda _A\). It is convenient to take
Notice then that with \(\lambda _A = -\frac{1}{2b_1}\) the polytope \({\mathcal {P}}\) is the same as the Sasaki polytope P given in (6.10).
The master volume \( {\mathcal {V}}_{2n+1} \) is homogeneous of degree n in the \(\lambda _A\), and we have
where the “intersection” numbers \(I_{A_1\dots A_n}\) are defined as
We may then calculate
We are also interested in integrating over \(T_A\), the \((2n-1)\)-dimensional and \(U(1)^{n+1}\) invariant cycle in \(Y_{2n+1}\) associated with a toric divisor \({\mathcal {D}}_A\) on the cone and Poincaré dual to \(c_A\). We have
We can obtain similar formulas for integrals over higher-dimensional cycles that are Poincaré dual to products of the \(c_A\). For example, consider the codimension four cycle \(T_{B_1B_2}\) that is Poincaré dual to \(c_{B_1}\wedge c_{B_2}\). We then find, for example,
It can also be shown that the master volume \( {\mathcal {V}}_{2n+1} \) is homogeneous of degree \(-1\) in \(b_\mu \).
The master volume satisfies the important identity
It follows from this, together with homogeneity, that the master volume is invariant under the “gauge” transformations
for arbitrary constants \(\gamma ^\mu \). Since the transformation parametrized by \(\gamma ^1\) is trivial, we see that the master volume only depends on \(D-n\) of the D parameters \(\{\lambda _A\}\), as noted above.Footnote 23
It is possible to obtain very explicit formulas for the master volume in low dimensions in terms of \(v_{A\mu }\), \(b_\mu \) and \(\lambda _A\). Specifically, in dimensions \(n=1,2\) and 3 the relevant formulae for \(Y_3,Y_5\) and \(Y_7\) were derived in [10, 14] and [13], respectively.Footnote 24
Finally, we note that the formulae in this section assume that the polyhedral cone \({\mathcal {C}}\) is convex, since we started the section with a cone that admits a toric Kähler cone metric. However, this convexity condition is, in general, too restrictive. Indeed, for applications to AdS\(_2\) and AdS\(_3\) solutions of interest many explicit supergravity solutions are known that are associated with “non-convex toric cones”, as defined in [9], which in particular have toric data which do not define a convex polyhedral cone. Based on the consistent picture that has emerged, including recovering results for the known explicit supergravity solutions, it is expected that the key formulae in this section are also applicable to non-convex toric cones, and we will assume this is the case in the sequel.
6.3 Geometric extremization for toric \(Y_{2n+1}\)
When \(Y_{2n+1}\) is toric, the geometric extremization of Sect. 2.2 for the associated GK geometry on \(Y_{2n+1}\) can be carried out using the master volume \({\mathcal {V}}_{2n+1}(b_\mu ; \lambda _A)\). In order to carry this out we need expressions for the off-shell supersymmetric action, the constraint equation and flux quantization conditions. These can all be expressed in terms of derivatives of the master volume as follows:
with \(M_A\in {\mathbb {Z}}\). The \(M_A\) are not all independentFootnote 25 and, as a consequence of (6.9), satisfy \((n+1)\) linear relations given by
Notice that the \(\mu =1\) component in (6.27), \(\sum _A M_A=0\), is actually the constraint equation given in (6.26). Since the master volume is homogeneous of degree n in the \(\lambda _A\), it is also possible to write
The geometric extremization principle that is to be implemented for the GK geometry on \(Y_{2n+1}\) is now simple to state. To obtain the on-shell supersymmetric action, we need to fix \(b_1=\frac{2}{n-2}\) and then extremize \(S_\text {SUSY}\) with respect to \(b_0,b_2,\dots ,b_n\) as well as the \(D-n\) independent \(\lambda _A\), subject to the constraint equation and flux quantization conditions in (6.26).
7 Toric Geometry Fibred Over a Spindle
With the toric formalism of Sect. 6 to hand, we now return to studying GK geometries \(Y_{2n+1}\) of the fibred form
introduced in Sect. 3, where now the fibres \(X_{2n-1}\) are toric Sasaki–Einstein manifolds and \(\Sigma =\mathbb {WCP}^1_{[m_-,m_+]}\) is a spindle. There is then a toric \(U(1)^{n}\) action on \(X_{2n-1}\), and when combined with the azimuthal rotation symmetry of the spindle \(\Sigma =\mathbb {WCP}^1_{[m_-,m_+]}\), this gives rise to a toric \(U(1)^{n+1}\) action on \(Y_{2n+1}\). We will utilize the toric geometry summarized in the previous section both for \(Y_{2n+1}\) and, with suitable notational changes, for the fibres \(X_{2n-1}\). Our main goal is to relate the quantities appearing in the geometric extremal problem for \(Y_{2n+1}\) in Sect. 2.2 to the master volume \({\mathcal {V}}_{2n-1}\) of the toric fibres \(X_{2n-1}\).
7.1 Toric data for \(Y_{2n+1}\)
As described in Sect. 3, the fibration of \(X_{2n-1}\) over \(\Sigma \) is specified by n integers \((p_i)=(p_1,\dots , p_{n})\).Footnote 26 These are effectively Chern numbers for the associated \(U(1)^n\) fibration over \(\Sigma \), and may be identified in terms of the local gluing data \(\alpha _i^\pm \) of Sect. 3 via (3.9). Moreover, as explained in Sect. 3.2, we have from (3.14)
where \(\sigma =\pm 1\) corresponds to the twist or anti-twist case, respectively:
Recall here that we are using a basis for the \(U(1)^n\) action on \(X_{2n-1}\) for which the holomorphic (n, 0)-form \(\Omega \) on the cone \(C(X_{2n-1})\) is only charged with respect to the first U(1). This U(1), associated with the integer Chern number \(p_1\) in (7.2), may then be viewed as a fiducial choice of Reeb action on the Calabi-Yau cone \(C(X_{2n-1})\), which in the holographic context is dual to a fiducial choice of R-symmetry of the dual SCFT (i.e. not necessarily the superconformal R-symmetry). The remaining \(U(1)^{n-1}\), associated with the integer Chern numbers
are dual to flavour symmetries.
The toric data for \(C(Y_{2n+1})\) may be determined in terms of the toric data for the Calabi-Yau cone \(C(X_{2n-1})\), together with the spindle data \(m_\pm \), and the fibration data \(p_i\), \(\sigma \). To begin, let \({v}_{ai}\) with \(a=1,\ldots ,d\) and \(i=1,\dots ,n\) be the toric data for \(C(X_{2n-1})\), with \(({v}_{ai})_{i=1}^n\in {\mathbb {Z}}^n\) for each a. In the basis for the \(U(1)^n\) action described above, where the holomorphic (n, 0)-form \(\Omega \) on the cone \(C(X_{2n-1})\) has charge 1 under the first \(U(1)\subset U(1)^n\), and is uncharged under the remaining \(U(1)^{n-1}\), we have \(({v}_{ai})_{i=1}^n=(1,\vec {w}_a)\), with \(\vec {w}_a\in {\mathbb {Z}}^{n-1}\) describing a convex lattice polytope. Following the discussion in Sect. 3, the toric data for the cone \(C(Y_{2n+1})\) is then given by \(D=d+2\) vectors \(v_{A\mu }\) with \(A=+,-,a\) and \(\mu =0,1,\dots ,n\) and \((v_{A\mu })_{\mu =0}^n \in {\mathbb {Z}}^{n+1}\) for each A. Explicitly, in the basis of vector fields \(\partial _{\varphi _\mu }\), \(\mu =0,1,\ldots ,n\), generating the \(U(1)^{n+1}\) action introduced in Sect. 3, the \(v_{A\mu }\) can be written
Here, as in (3.10), the \(a_\pm \in {\mathbb {Z}}\) satisfy
Recall that \(\partial _{\varphi _0}\) is a vector field on \(Y_{2n+1}\) that rotates the spindle direction, with the holomorphic \((n+1,0)\)-form \(\Psi \) on \(C(Y_{2n+1})\) having charge zero under \(\partial _{\varphi _0}\), while \(\partial _{\varphi _i}\), \(i=1,\ldots ,n\), are vector fields that generate the toric \(U(1)^n\) action on the fibres \(X_{2n-1}\). This immediately leads to the result \(v_{a\mu }=(0,v_{ai})\) in (7.5). Geometrically, the \(v_{ai}\) specify the d \(U(1)\subset U(1)^n\) subgroups that fix d corresponding toric divisors in \(C(X_{2n-1})\), and in \(C(Y_{2n+1})\) there are then correspondingly d toric divisors, fixed by \(U(1)\subset U(1)^{n+1}\) and specified by \(v_{a\mu }\); more precisely, these are the d toric divisors of \(C(X_{2n-1})\) fibred over \(\Sigma \). On the other hand, in \(C(Y_{2n+1})\) there are two additional toric divisors, fixed by the \(U(1)\subset U(1)^{n+1}\) subgroups specified by \(v_{\pm \mu }\), respectively. Geometrically, these are cones over the fibres \(X_\pm = X_{2n-1}/{\mathbb {Z}}_{m_\pm }\) over the two poles of the spindle, and the vector fields \(\zeta _+=(v_{+\mu })\), \(\zeta _-=\sigma (v_{-\mu })\) were determined in (3.20), (3.21).
Recall that the integers \(a_\pm \) in (7.6) are unique only up to shifts
where \(\kappa \in {\mathbb {Z}}\) is arbitrary. The toric data \(v_{A\mu }\) for \(Y_{2n+1}\) given in (7.5) a priori depends on the choice of \(a_\pm \), but recall that we are free to make \(SL(n+1,{\mathbb {Z}})\) transformations, corresponding to a change of basis for the torus \(U(1)^{n+1}\). One can check that the matrix
acting on the \(\mu \) index of \(v_{A\mu }\), maps the vectors \({v}_{A\mu }\) in (7.5) to the same set of vectors with the replacements (7.7). The toric data we have presented is thus well-defined, with all choices of \(a_\pm \) satisfying (7.6) describing the same toric geometry.
The toric data \(v_{A\mu }\) for \(Y_{2n+1}\) is given by a “suspension” of the toric data for \(X_{2n-1}\), at least in the twist case with \(\sigma =+1\). Dropping the \(\mu =1\) component in (7.5) we can define truncated vectors
with \({{\hat{\mu }}}=0,2,\dots , n\). In Fig. 1 we have provided an illustration of the polytope that these vectors define for the twist case \(\sigma =+1\), of dimension \(n=3\), \(d=7\). In particular the two-dimensional polytope at height zero is the “toric diagram” for \(X_5\), defined by the vectors \(\vec {w}_a\); we see that the toric diagram for \(Y_7\) is the suspension of this, adding two additional vectors \({w}_{\pm {{\hat{\mu }}}}\). For the twist case, when \(\sigma =+1\), the polytope is convex, as illustrated in the figure, but it is not for the anti-twist case when \(\sigma =-1\).
That the toric data (7.5) describes a fibration (7.1) directly follows from our discussion in Sect. 3. An alternative point of view is provided by utilizing the Delzant construction (see e.g. [55]), as discussed in Appendix A.
7.2 Relating the master volumes of \(Y_{2n+1}\) and \(X_{2n-1}\)
We now show that we can relate the master volume \({\mathcal {V}}_{2n+1}\) for \(C(Y_{2n+1})\), or more precisely certain derivatives of it, to the master volume \({\mathcal {V}}_{2n-1}\) associated with \(C(X_{2n-1})\).
Recall from (6.16) that the master volume for \(Y_{2n+1}\) can be written
where \(|{b}|\equiv ({\sum _{\mu =0}^n b_\mu b_\mu })^{1/2}\) and \(\textrm{Vol}({\mathcal {P}})\) is the Euclidean volume of the compact, convex n-dimensional polytope
with \((y^\mu _*)\in H=H(b_\mu )\) given by
The defining condition for the \((n+1)\)-dimensional Reeb hyperplane H given in (6.11) can then be written in the form
We now want to exploit the fact that the polytope \({\mathcal {P}}\) takes a special form, namely a “truncated prism” with upper and lower faces, \({\mathcal {P}}_\pm \), each of which is a polytope of one lower dimension specified by d vectors; see Fig. 2.
Specifically, these polytopes are defined by
with \({v}_{\pm \mu }\) given in (7.5). Geometrically, these correspond to the \(X_{2n-1}/{\mathbb {Z}}_{m_\pm }\) fibres over the two poles of the spindle, associated with orbifold singularities \({\mathbb {Z}}_{m_\pm }\), respectively, as described in Sect. 3. The faces \({\mathcal {P}}_\pm \) of the truncated prism are the images of toric divisors \({\mathcal {D}}_\pm \) in \(C(Y_{2n+1})\) under the moment map. We denote the corresponding \(U(1)^{n+1}\) invariant \((2n-1)\)-dimensional manifolds as \(T_\pm \), which are copies of the fibre \(T_\pm \equiv X_{2n-1}/{\mathbb {Z}}_{m_\pm }\) over the poles of the spindle. These submanifolds were denoted \(X_\pm \) in Sect. 3, and in particular in Sect. 3.3, but as commented there we must be careful with orientations. From (6.22), the volume of these manifolds are given by
where the orientation on \(T_\pm \) is induced from the complex structure and \(\textrm{Vol}(T_\pm )>0\). We shall see later that these satisfy the homology relation \(m_+[T_+]= \sigma m_-[T_-]\in H_{2n-1}(Y_{2n+1},{\mathbb {R}})\), leading us to identify
In particular, \(\textrm{Vol}(T_\pm )\) should always be positive for a bona fide GK geometry, where note that in Sect. 3 (see also (4.12)) we then have \(\textrm{Vol}(X_-)=\sigma \textrm{Vol}(T_-)\).
We now want to re-express \(\textrm{Vol}(T_\pm )\) in terms of master volume \({\mathcal {V}}_{2n-1}\) for the fibres \(X_{2n-1}\). First consider \(T_+\). We begin by noting that the volume of \(T_+\) is obtained from the Euclidean volume of the \((n-1)\)-dimensional polytope \({\mathcal {P}}_+\), where one imposes
Notice that since \({v}_{a\mu }=(0,{v}_{ai})\), this last inequality is exactly the same as the one for the n-dimensional polytope:
On the other hand, the first equation in (7.17) reads
We can solve this for \(y^0\) and then substitute into (7.13) to write the Reeb hyperplane condition in the form
When \(\lambda _+=0\), notice this is an n-dimensional Reeb hyperplane equation, where we have shifted the n-dimensional Reeb vector \({b}_i\rightarrow {b}_i-\frac{b_0}{m_+}{v}_{+i}\), which was already introduced in (3.23). We can also absorb the right hand side of (7.20) into a new \({y}_*^i\), which recall is an arbitrary point in the n-dimensional Reeb hyperplane. It is then convenient to make the shift
to then find that the two conditions (7.20) and (7.18), and hence (7.17) along with the Reeb hyperplane condition, can be written in the equivalent form:
where we have also defined
Now (7.22) are precisely the conditions for specifying an \((n-1)\)-dimensional polytope \({\mathcal {P}}_+\) associated with the fibre \(X_{2n-1}/{\mathbb {Z}}_{m_+}\) sitting at the pole of the spindle with orbifold singularity \({\mathbb {Z}}_{m_+}\), as a function of the Reeb hyperplane vector \({b}^{(+)}_i\) and Kähler class parameters \(\lambda ^{(+)}_a\). If \({\mathcal {V}}_{2n-1}(b_i;\lambda _a)\) denotes the master volume of \(X_{2n-1}\) as a function of Reeb vector \(b_i\) and Kähler class parameters \(\lambda _a\), then the above analysis shows that
where we have defined
Here the factor of \(1/m_+\) on the right hand side of (7.24) is because the corresponding fibre is not \(X_{2n-1}\), but rather \(T_+=X_{2n-1}/{\mathbb {Z}}_{m_+}\).
A nearly identical analysis goes through for \(T_-\), and we can summarize the final results for both cases as followsFootnote 27
where we have defined the shifted vectors
with \({b}^{(\pm )}_i\) already introduced in (3.23). From (7.26) we also immediately deduce that
The last result is the statement that \(T_+\) and \(T_-\) do not intersect, which is obvious geometrically as they are distinct fibres of a fibration. Since \(\textrm{Vol}(T_\pm )>0\) we also note from (7.26) that \({\mathcal {V}}_{2n-1}^+>0\) and \(\sigma {\mathcal {V}}_{2n-1}^->0\).
We next consider the identity (6.24) satisfied by the master volume \({\mathcal {V}}_{2n+1}\). The \(\mu =1\) component of this vector equation is trivial. The \(\mu =0\) component, which will play a key role in a moment, can be written as
We do not explicitly write out the remaining components here.
7.3 Geometric extremization for \(X_{2n-1}\, \hookrightarrow \, Y_{2n+1} \, {\rightarrow }\, \Sigma \)
We now have all the ingredients to translate the geometric extremization procedure for \(Y_{2n+1}\), summarized in Sect. 6.3, in terms of the shifted master volumes on the fibres \(X_{2n-1}\). We first consider the supersymmetric action. From the definition (6.26) and then using the identity satisfied by the master volume (7.29) we immediately have
and we notice that the last expression is in exact alignment with the general result (3.25) that we proved earlier, taking into account the orientations in (7.16). Hence, using (7.26), we obtain the key result
and recall that \(S_{\text {SUSY}}>0\).
We next consider the fluxes on \(Y_{2n+1}\). We denote these by \(M_A=(M_+,M_-,M_a)\), which are the fluxes over the corresponding toric codimension two submanifolds \(T_A\subset Y_{2n+1}\), where \(T_A=(T_+,T_-,T_a)\). In particular
From (7.16) we take
where \(N^{X_\pm }>0\) were the fluxes introduced in Sect. 3. The \(T_a\) may be identified with \(\Sigma _a\) in (3.43), and are the total spaces of toric codimension two submanifolds \(S_a\subset X_{2n-1}\), fibred over the spindle \(\Sigma \), with \(a=1,\ldots ,d\).
We first note that the linear relations satisfied by these fluxes given in (6.27) can be written in the equivalent form
and these include the constraint equation \(\sum _A M_A=0\). The first line implies \(m_+[T_+]= \sigma m_-[T_-]\in H_{2n-1}(Y_{2n+1},{\mathbb {R}})\) that we mentioned earlier. As an aside notice that for the twist case, \(\sigma =+1\), the second line implies that some of the \(M_a<0\). We can also easily find expressions for the fluxes \(M_A\) in terms of \({\mathcal {V}}_{2n-1}\). Indeed from the expression for the \(M_A\) in terms of derivatives of \(S_{\text {SUSY}}\) given in (6.26) we immediately deduce
The constraint equation can be recast in the form
which ensures \(m_+ M_+ = \sigma m_- M_-\equiv N\).
Due to the constraints (7.34), the set of toric fluxes \(M_A=(M_+,M_-,M_a)\) is overdetermined, and it is sometimes convenient to instead work with a minimal set of unconstrained quantized fluxes \({\mathcal {N}}_\alpha \), as originally introduced in equation (2.11). We may make contact between the two descriptions using the results of Appendix A. Here the index on \({\mathcal {N}}_\alpha \) may be identified as \(\alpha ={\hat{I}}=0,1,\ldots ,d-n\), labelling a basis for the free part of \(H_{2n-1}(Y_{2n+1},{\mathbb {Z}})\), while recall that \(A=1,\ldots ,D=d+2\). We then have the general homology relation in toric geometry (see e.g. [56])
Written out explicitly using the charge matrix \(Q^A_{{\hat{I}}}\), satisfying \(\sum _{A=1}^D Q^A_{{\hat{I}}}\, {v}_{A\mu } = 0\), and deduced in Appendix A, this reads
Here \(q_I^a\) is the corresponding charge matrix for the toric fibres \(X_{2n-1}\), satisfying \(\sum _{a=1}^d q^a_{{I}}\, {v}_{ai} = 0\), and \(q_0^a\) satisfies \(\sum _{a=1}^d q_0^a\, v_{ai} = p_i\), where recall the integers \(p_i\) determine the fibration of \(X_{2n-1}\) over \(\Sigma \). Notice that the \(q_0^a\) are not unique, in general, and can be replaced with \(q_0^a\rightarrow \sum _{I=1}^{d-n} c_Iq^a_I\) where \(c_I\) are constants. In turn this shifts the “baryonic fluxes” \({\mathcal {N}}_I\), via \({\mathcal {N}}_I\rightarrow c_I{\mathcal {N}}_0 \) showing that they are not unique either, and we comment on this further in Sect. 9.
Given that in (7.34) we identify \(m_+M_+=\sigma m_- M_- = N\), where recall \(\sigma ^2=1\), the first two equations in (7.38) allow us to identify
Since \({\mathcal {N}}_0\) is required to be a positive integer (2.11), note this shows that N is divisible by \(m_+m_-\), as commented earlier, below (3.40). The toric flux numbers \(M_a\) thus satisfy the last equation in (7.38). In Appendix A we further introduce the (non-unique) integers \(\alpha _a^j\) that satisfy
In terms of the gauged linear sigma model description, \(\alpha _a^j\) is the charge of the ath coordinate on \({\mathbb {C}}^d\) under the jth U(1) in the toric \(U(1)^n\) action on the fibres \(X_{2n-1}\). Using this, we may then write \(q_0^a=\sum _{i=1}^n p_i \alpha _a^i\), and hence the last equation in (7.38) reads
This expresses the toric flux numbers \(M_a\) directly in terms of the “flavour fluxes” \(p_i\), and a set of “baryonic fluxes” \({\mathcal {N}}_I\), one for each independent cycle, together with N and the toric data. Although as we comment further in Sect. 9, the \({\mathcal {N}}_I\) depend on an (arbitrary) choice of the \(\alpha _a^j\) satisfying (7.40), and different choices lead to different \({\mathcal {N}}_I\).
Although we shall not work through the details, the flavour twist case of Sect. 4 is obtained by imposing the condition (4.1), which in the toric setting amounts to set all the \(\lambda _a\equiv \lambda \) to be equal in a particular gauge. To see this, from (6.13) and (6.14) we can write the transverse Kähler class for \(Y_{2n+1}\) in the form \([J] = -2\pi ( \lambda _+c_++\lambda _+c_-+\lambda \sum _ac_a)\), while the first Chern class of the foliation is \([\rho ] = 2\pi ( c_++c_-+\sum _ac_a)\). In particular it is clear that (4.1) is satisfied on the toric fibres at the poles.
7.4 R-charges of baryonic operators
We now provide an expression for the geometric R-charges that are associated with certain supersymmetric cycles \(T_{\pm a}\), \(a=1,\dots , d\), of codimension four on \(Y_{2n+1}\), which were introduced in Sect. 3.4. Recall that these are defined as copies of \(U(1)^n\) invariant codimension two submanifolds \(S_a\subset X_{2n-1}\), whose cones are divisors in the Calabi-Yau cone \(X_{2n-1}\), over each of the two poles of the spindle. In the notation of Sect. 3 we have
precisely as in (7.16). In the case of \(n=3,4\) the geometric R-charges are dual to the R-charges of baryonic operators associated with D3, M5-branes wrapping these cycles, respectively.
In Sect. 6.2 we introduced \(c_A\in H^2_B({\mathcal {F}}_\xi )\) to be basic representatives of integral classes in \(H^2(Y_{2n+1},{\mathbb {Z}})\), which are Poincaré dual to the D toric divisors \({\mathcal {D}}_A\) on \(C(Y_{2n+1})\). We write \(c_A=\{c_\pm ,c_a\}\), with \(c_\pm \) Poincaré dual to the divisors \({\mathcal {D}}_\pm \). The codimension four supersymmetric cycles \(T_{\pm a}\) are then Poincaré dual to \(c_\pm \wedge c_a\). Then using the result (6.23) in the definition of the R-charges (3.42) we deduceFootnote 28
Notice that these agree with the expressions defined in (3.42), with the different choices of orientation in the cycles in (7.42) cancelling due to the division by \(M_\pm \) in (7.43), rather than \(N^{X_\pm }\) in (3.42), where these are similarly related via (7.33). Since \(M_+>0\) and \(\sigma M_->0\) from the first line of (7.43) we have
We will prove in a moment that these R-charges satisfy the identities
Using the results in the previous subsection we can now express the geometric R-charges in terms of \({\mathcal {V}}_{2n-1}\). Indeed using (7.28) we have
In addition, using the expressions for the \(M_A\) given in (7.35) we immediately derive the result
and we also note that
agreeing with the general formula (3.46) derived earlier. It is also interesting to highlight that in the toric case, from (7.47) we can write
Note that for the toric anti-twist case, with \(\sigma =-1\), this expression is the same as what we saw in the universal anti-twist case in (4.37).
Observe that (7.47) is actually the \(\mu =1\) component of (7.45). Notice that the \(\mu =0\) component of (7.45) is trivially satisfied. Thus, to complete the proof of (7.45) we therefore just need to check the remaining components which read
Using the expressions for \(R^\pm _a\) given in (7.46), we find that these are identities after using the fact that the \((2n-1)\)-dimensional master volumes \({\mathcal {V}}_{2n-1}(\vec {b}^{(\pm )};\lambda ^{(\pm )}_a)\) satisfy the identity
which is the \((2n-1)\)-dimensional version of (6.24).
7.5 The limit when \(b_0=0\), \(m_\pm =1\)
It is interesting to consider taking the limit \(b_0\rightarrow 0\) in the expressions for the geometric extremization problem above. In particular, if we set \(m_\pm =1\), and \(\sigma =+1\) the spindle is then a two-sphere and we could expect to recover the results for GK geometry fibred over a Riemann surface of genus \(g=0\) with a topological twist. In particular, in this set-up there is no mixing of the R-symmetry vector with the U(1) action on the two sphere and hence \(b_0=0\).
We first note that setting \(m_\pm =1\) and taking the \(b_0\rightarrow 0\) limit of the off-shell supersymmetric action (7.31) we find
with \(-p_1=+2\), and where we have defined
Note that in these expressions we should take derivatives before setting \(b_1=2/(n-2)\). In addition, from (7.35) for the fluxes, in the \(b_0\rightarrow 0\) limit we obtain
and hence the constraint equation \(\sum _A M_A=0\) becomes in this limit
Finally, the R-charges (7.46) are given by
These are precisely the formulae derived in [10, 13, 14], associated with a Sasaki–Einstein space fibred over a Riemann surface of genus \(g=0\), after taking into account that the R-charges differ by an extra factor of N as noted before, as well as identifying \(-p_i\) here with \(n_i\) there.
We expect that setting \(m_\pm =1\) implies that we must have \(b_0=0\) (which we assumed above). For the case \(n=3\) we can explicitly show that this is true in Sect. 8.3.
8 Matching AdS\(_3\times Y_7\) Solutions with Field Theory
This section will focus on the toric set up of the previous section with \(n=3\). This is associated with AdS\(_3\times Y_7\) solutions of type IIB supergravity, where \(Y_7\) is a toric GK geometry consisting of a fibration of a toric Sasaki–Einstein space \(X_5\) over a spindle. These solutions can be interpreted as being dual to the \({\mathcal {N}}=1\), \(d=4\) SCFT, which is dual to AdS\(_5\times X_5\), that is then compactified on the spindle with magnetic fluxes switched on. We determine the explicit map between the field theory variables involved in c-extremization and those appearing in the extremization of the GK geometry. We also illustrate some of our formalism explicitly by considering the examples when \(X_5=S^5 \) and also \(T^{1,1}\).
8.1 \({\mathcal {N}}=1\), \(d=4\) SCFT on \({\mathbb {R}}^{1,1}\times \Sigma \)
Consider the four-dimensional \({\mathcal {N}}=1\) SCFT that is associated with N D3-branes sitting at the apex of the Calabi-Yau 3-fold cone \(C(X_5)\), with toric vectors \(v_{ai}, a=1,\dots , d\) and \(i=1,\dots 3\). Recall that the SCFT has, generically,Footnote 29\(U(1)^d\) symmetry with \(U(1)^{d-3}\) baryonic symmetry associated with the number of independent three cycles \(d-3=\dim \, H_3(X_5,{\mathbb {R}})\) on the Sasaki–Einstein manifold \(X_5\). We then place the SCFT on a spindle with background magnetic fluxes for the \(U(1)^d\) symmetry, associated with either a twist or an anti-twist to preserve supersymmetry. Assuming that the resulting field theory flows to a \(d=2\), \({\mathcal {N}}=(0,2)\) SCFT in the IR, we can extract the central charge, as well as the R-charges of the baryonic operators, using c-extremization [15]. The extremization can be carried out in two stages by first extremizing over the baryonic directions first. The resulting central charge after the first stage, which is still off-shell, is what can be matched with the off-shell gravitational computation, as we shall show in detail.
Let \(\Delta _a\) be the trial R-charges of the fields that are associated with the toric divisors of \(C(X_5)\) – see, for example, [56, 57] for a general discussion of quiver gauge theories dual to toric \(C(X_5)\), and this trial R-charge assignment. The \(\Delta _a\) satisfy the constraint
which is equivalent to the statement that the superpotential of the theory has R-charge 2. We also turn on background magnetic fluxes for the \(U(1)^d\) symmetry, with field strengths \(F_a\), \(a=1,\ldots ,d\), given by
where the \({\mathfrak {p}}_a\) are integers divided by \((m_-m_+)\). These may be viewed as twisting the associated fields into sections of \({\mathcal {O}}({\mathfrak {p}}_a)\) over the spindle, where to preserve supersymmetry we have the constraint
associated with the twist and the anti-twist case when \(\sigma =\pm 1\), respectively.
We next define the field theory quantitiesFootnote 30
with \(r_a\) a set of arbitrary variables satisfying the constraint
Different choices of \(r_a\) give different gauges, and so will drop out of final results.Footnote 31 To see this, notice that the freedom we have is
On the other hand, from (8.4) we see that such a shift may be absorbed into the trial R-charges \(\Delta _a\) via
and, moreover, this shift preserves the constraint (8.1). Notice that (8.1)–(8.4) imply that \(\Delta ^\pm _a\) satisfy
Using anomaly polynomials, it has been shown that the off-shell trial central charge in the large N limit is given by [23]
where \((\vec {v}_a,\vec {v}_b,\vec {v}_c)\equiv \det (\vec {v}_a,\vec {v}_b,\vec {v}_c)\). Associated with the \(d-3\) baryonic directions, we can first impose a partial set of extremization conditions
where we recall that \(q^a_I\) are the kernel vectors for the toric data for \(C(X_5)\) satisfying
which specifies the embedding \(U(1)^{d-3}\subset U(1)^d\) (see Appendix A). After solving these conditions, and substituting back into \(c_{\textrm{trial}}\), one obtains an off-shell function, \(c_{\textrm{trial}}|_{\textrm{baryonic}}\), of \(d-(d-3)=3\) variables: we start with the \(d+1\) variables \(\Delta _1,\ldots ,\Delta _d,\varepsilon \), with one constraint (8.1), and end up with (say) \(\Delta _1,\Delta _2,\varepsilon \), where we have eliminated \(\Delta _3,\ldots , \Delta _d\) using the constraints (8.10). After extremizing over the baryonic directions, the resulting \(\Delta ^\pm _a|_{\textrm{baryonic}}\) are then also functions of trial R-charges \(\Delta _1,\Delta _2,\varepsilon \). The on-shell results are then obtained by further extremizing over \(\Delta _1,\Delta _2,\varepsilon \). This procedure is carried out for fixed magnetic fluxes \({\mathfrak {p}}_a\).
It is interesting to highlight that the baryon mixing constraints (8.10) can be recast as an expression that is linear in either \(\Delta _a\) and \(\varepsilon \). We prove this in Appendix B and, for example, we can write the conditions as
8.2 Matching with GK geometry
Recalling (7.34), the rank of the field theory gauge group, N, is identified on the gravity side via
Furthermore the background magnetic fluxes for the SCFT \({\mathfrak {p}}_a\) are identified on the gravity side via
where \(M_a\) characterize the quantized five-form flux through the d toric five-cycles on \(Y_7\) associated with the toric divisors \({\mathcal {D}}_a\). Importantly, the second condition in (7.34) on the \(M_a\) implies that this identification is consistent with the field theory constraint (8.3) on the \({\mathfrak {p}}_a\). Note also from the third condition in (7.34), for consistency, we deduce that the background magnetic fluxes of the SCFT are related to the geometric data \(\vec {p}\) which specifies the fibration of the \(SE_5\) over the spindle, via
This particular relation may be understood in field theory as follows. Recall that turning on the magnetic flux \({\mathfrak {p}}_a\), the corresponding fields \(Z_a\) become sections of \({\mathcal {O}}({\mathfrak {p}}_a)\) over the spindle \(\Sigma \). On the other hand, in the gauged linear sigma model description of the fibres \(C(X_5)\), the \(Z_a\) are also sections of non-trivial bundles over the fibres \(X_5\), as they are (typically) charged under the baryonic \(U(1)^{d-3}\) symmetries. However, from (8.11) one can verify that \(\prod _{a=1}^d Z_a^{v_{a i}}\) are sections of trivial bundles on the fibres \(X_5\), that moreover have charge \(\delta _{ij}\) under the jth toric \(U(1)\subset U(1)^3\). The variables \(\vec {p}\) then precisely describe the twisting of this ith flavour direction over the spindle \(\Sigma \), for \(i=2,3\), which is the equality (8.15). A more detailed discussion of this may be found in appendix B of [13], albeit in the case that \(\Sigma =\Sigma _g\) is a smooth Riemann surface of genus g.
We also make the identification
as well as
where the notation on the left hand side means that we have extremized the trial c-function in field theory over the baryonic directions, as discussed in the last subsection. We immediately notice that the conditions on the \( \left. \Delta _a^\pm \right| _{\textrm{baryonic}}\) arising from (8.8) are consistent with the conditions on the \(R^\pm _a\) in (7.47). Observe that \(R^\pm _a\) are functions of the trial R-symmetry vector \((b_0, b_2,b_3)\) (with \(b_1=2\), as required for a GK geometry) while the \(\Delta ^\pm _a|_{\textrm{baryonic}}\) are functions of trial R-charges \(\Delta _1,\Delta _2,\varepsilon \), after extremizing over the baryonic directions.
The claim is that (8.17) gives the change of variables between field theory and GK geometry. Notice this is a priori over-determined, as there are 2d equations in (8.17), but only three independent variables. However, we can prove that the identification is consistent; the proof is somewhat involved so we have presented it in Appendix B. We will also show there, using the key results of the previous section, that the off-shell trial central charge in gravity (7.31) can be expressed in the form
With the above dictionary, this is then in exact agreement with the field theory result (8.9).
8.3 New variables
In field theory, instead of using the variables \(\Delta _a\) subject to the constraints (8.1) and (8.10) we can use a slightly different set of variables \(\varphi _a\) defined via
where we used (8.4) and we recall the gauge parameters satisfy \(\sum _ar_a=2\). The inverse relation is \(\Delta _a^\pm = \varphi _a \pm \frac{\varepsilon }{2}{\mathfrak {p}}_a\). The constraints (8.1), (8.10) then become the following constraints on the \(\varphi _a\):
where we used (B.26) to get the second expression. We also highlight that while \((\vec {v}_{a}, \vec {v}_{b}, \vec {v}_c)\) is antisymmetric in b, c and \(\left( \varphi _b {\mathfrak {p}}_c + \varphi _c {\mathfrak {p}}_b\right) \) is symmetric, the sum is not trivial due to middle summation running from \(a=1,\dots ,b\). The off-shell trial central charge (8.9) can be written in terms of the \(\varphi _a\) as:
These formulae generalize those of [23, 30], who studied the case of \(X_5=S^5\), to arbitrary \(X_5\). Indeed for the special case of \(X_5=S^5\), which we will study in the next subsection, there is no baryonic symmetry and we just have the first constraint in (8.20). Furthermore, the trial central charge (8.21) reads
and we have recovered the result (5.26) of [30].
For general \(X_5\), using the \(\varphi _a\) variables it is straightforward to show that when the spindle becomes a two-sphere, then necessarily \(\varepsilon =0\) (recall that in Sect. 7.5 we assumed \(\varepsilon =0\)). Indeed, setting \(m_\pm =1\) and \(\sigma = +1\), both of the constraints (8.20) are independent of \(\varepsilon \). Thus, the only \(\varepsilon \) dependence in \(c_{\textrm{trial}}\) is the quadratic dependence in the last term in (8.21) and hence the extremal point will necessarily have \(\varepsilon =0\).
8.4 Examples
We finish this section by discussing two toric examples when \(X_5=S^5\) and \(T^{1,1}\), making the relation between the quantities appearing in field theory and GK geometry that was discussed in Sect. 8.2 very explicit. One can also check that the general formula for the associated toric \(Y_7\) GK geometry discussed in Sect. 6, based on the master volume \({\mathcal {V}}_7\), agrees with the formula that we derived in Sect. 7 using \({\mathcal {V}}^\pm _5\). In fact, studying these examples was very helpful in elucidating the general results of Sect. 7. For the \(S^5\) example, we also recover all of the results of Sect. 5.1, where we analysed this case as an example of an \(X_5\) with no baryonic symmetries.
8.4.1 \(S^5\) fibred over a spindle
The toric data for \(S^5\) can be specified by \(d=3\) inward pointing normal vectors given by
where
There are no baryonic directions associated with \(S^5\) and the kernel \(q^a_I\) for the toric data is trivial.
For \(S^5\) fibred over a spindle, the toric data for the associated toric GK geometry \(Y_7\) is then given by \(D=5\) inward pointing normal vectors given in (7.5):
where \(\vec {p}=(p_2,p_3)\in {\mathbb {Z}}^2\) and \(a_\pm \in {\mathbb {Z}}\) satisfy \(a_- m_++a_+ m_- = 1\). The three integers \(p_i=(p_1,p_2,p_3)\), with \(p_1 = - (m_- +\sigma m_+)\), specify the fibration. There is a one-dimensional kernel \(Q^A_0\), satisfying \(\sum _{A=1}^5 Q^A_0\, {v}_{A\mu } = 0\) (see Appendix A), given by
Using the vectors (8.25) we can now obtain an explicit, and lengthy, expression for the master volume \({\mathcal {V}}_7\) for \(Y_7\) using the formula given in (2.27) of [13].
We can now carry out the geometric extremization using the procedure summarized in Sect. 6.3. The master volume \({\mathcal {V}}_7\) depends on just \(5-3=2\) of the 5 Kähler class parameters \(\lambda _A\). We therefore solve the constraint equation and one of the five-form flux quantization conditions in (6.26) for two of the \(\lambda _A\). For example, we can solve the constraint equation and the expression for \(M_+\) for \((\lambda _+,\lambda _-)\). It must be the case, and indeed it is, that the remaining Kähler class parameters \(\lambda _1,\lambda _2,\lambda _3\) then drop out of any final formula. The flux vector \(M_A\) in (6.26) is now expressed in terms of \(M_+, p_2, p_3\) and, in particular, we find \(\sigma m_- M_-=m_+ M_+\equiv N\).
Instead of using these three variables, it is illuminating to express the flux vector in terms of \(M_1,M_2,M_3\) to get
We can further rescale the \(M_a\) by a factor of \(N= \sigma m_-M_-=m_+M_+\) and introduce \({\mathfrak {p}}_a\), which are to be identified with the background magnetic fluxes of the SCFT shortly, via
Note from (8.15), the fibration data \(\vec {p}=(p_2,p_3)\) is related to the \({\mathfrak {p}}_a\) via
Also, importantly, (8.28) implies
where recall \(p_1 = - (m_- +\sigma m_+)\). Observe that there is a \({\mathbb {Z}}_3\) symmetry permuting the \({\mathfrak {p}}_a\) but not \((p_1,p_2,p_3)\): the latter is a consequence of the fact that we singled out the \(p_1\) direction in constructing the fibration.
At this point we can now obtain an expression for the off-shell central charge \({\mathscr {Z}}\) from (2.16) and the expression for \(S_\text {SUSY}\) in (6.26). This is expressed in terms of \(m_\pm \), \(a_\pm \), \( {\mathfrak {p}}_a\), \(b_0,b_1,b_2,b_3\) and we should set \(b_1=2\). The expression for \({\mathscr {Z}}\) is quadratic in \(b_0,b_2,b_3\) and after extremizing over these variables we find that the on-shell central charge, \(c_{\textrm{sugra}}\), as calculated from the GK geometry, can be expressed as
exactly as in Sect. 5.1. Notice that \(a_\pm \) have dropped out of the final expression. With the master volume \({\mathcal {V}}_7\) in hand, it is also straightforward to obtain explicit expressions for both the off-shell and on-shell R-charges \(R^\pm _a\) using (7.43). The on-shell expressions can be written
where
again in agreement with Sect. 5.1. Demanding \(c_{\textrm{sugra}}>0\) as well \( R_a^+ >0\) and \(\sigma R_a^->0\) gives the restrictions on the parameters in alignment with the explicit supergravity solutions as discussed in Sect. 5.1.
We can now compare these results with the corresponding calculations in field theory using anomaly polynomials and c-extremization. In fact these calculations were carried out for the case of the anti-twist already in [21, 24, 27]. We consider \({\mathcal {N}}=4\) SYM theory dual to AdS\(_5\times S^5\), with SU(N) gauge group. We place the theory on a spindle with background magnetic fluxes, parametrized by \({\mathfrak {p}}_a\), for the \(U(1)^3\subset SU(4)\) global symmetry with \(\sum _{a=1}^3 {\mathfrak {p}}_a= -\frac{m_-+\sigma m_+}{m_+ m_-}\). The trial field theory central charge, \(c_\text {trial}\), is parametrized by \(\Delta _a\), satisfying \(\sum _{a=1}^3\Delta _a=2\). From (8.9) we find that \(c_\text {trial}\) is explicitly given by
We then find that \(c_\text {trial}\) as a function of the three independent variables \(\Delta _2, \Delta _3,\varepsilon \) (say) exactly agrees with the off-shell gravitational charge \({\mathscr {Z}}\) as a function of \(b_0, b_2, b_3\) (with \(b_1=2\)), provided that we utilise the dictionary given in Sect. 8.2:
as well as identifying N on each side. Explicitly, for this example the dictionary reads
Notice that the dictionary involves the parameters \(a_+\). Recall that \(a_+\) is only defined up the transformation given in (7.7). Making this shift in (8.36), and using (8.29), induces a transformation on the vector \((b_0,b_1,b_2,b_3)\) which is precisely given by the \(SL(4,{\mathbb {Z}})\) transformation in (7.8) with \(b_2\rightarrow b_2+\kappa p_2 b_0\) and \(b_3\rightarrow b_2+\kappa p_3 b_0\).
8.4.2 \(T^{1,1}\) fibred over a spindle
The toric data for \(T^{1,1}\) can be specified by \(d=4\) inward pointing normal vectors given by
where
There is a one-dimensional kernel \(q^a_1\), satisfying \(\sum _{a=1}^4 q^a_{{1}}\, {v}_{ai} = 0\) (see Appendix A), given by
The toric data for \(T^{1,1}\) fibred over a spindle, \(Y_7\), is then given by \(D=6\) inward pointing normal vectors given in (7.5):
where \(\vec {p}=(p_2,p_3)\in {\mathbb {Z}}^2\) and \(a_\pm \in {\mathbb {Z}}\) satisfy \(a_- m_++a_+ m_- = 1\). The three integers \(p_i=(p_1,p_2,p_3)\), with \(p_1 = - (m_- +\sigma m_+)\), specify the fibration. There is a two-dimensional kernel \(Q^A_{{\hat{I}}}=(Q^A_0, Q^A_1)\), satisfying \(\sum _{A=1}^6 Q^A_{{\hat{I}}}\, {v}_{A\mu } = 0\) (see Appendix A), given by
Using the vectors (8.25) we can now obtain an explicit, and lengthy, expression for the master volume \({\mathcal {V}}_7\) for \(Y_7\) using the formula given in (2.27) of [13].
The master volume \({\mathcal {V}}_7\) depends on just \(6-3=3\) of the 6 Kähler class parameters \(\lambda ^A\). We therefore solve the constraint equation and two of the five-form flux quantization conditions in (6.26) for three of the \(\lambda ^A\). For example, we can solve the constraint equation and the expressions for \(M_+\) and \(M_1\) for \((\lambda _+,\lambda _-,\lambda _1)\). It must be the case, and indeed it is, that the remaining Kähler class parameters \(\lambda _2,\lambda _3,\lambda _4\) then drop out of any final formula. The flux vector \(M_A\) in (6.26) is now expressed in terms of \(M_+, M_1, p_2, p_3\) and, in particular, we find \( m_+M_+=\sigma m_-M_-\equiv N\). Instead of using these four variables, it is most illuminating to express the flux vector in terms of \(M_1,M_2,M_3,M_4\) to obtain
We can further rescale the \(M_a\) by a factor of \(N= \sigma m_-M_-=m_+M_+\) and introduce \({\mathfrak {p}}_a\), which are to be identified with the background magnetic fluxes of the SCFT shortly, via
and also, from (8.15), we have the fibration data \(\vec {p}=(p_2,p_3)\) is related to the \({\mathfrak {p}}_a\) via
We can now obtain an expression for the off-shell central charge \({\mathscr {Z}}\) from (2.16) and the expression for \(S_\text {SUSY}\) in (6.26). This is expressed in terms of \(m_\pm \), \(a_\pm \), \( {\mathfrak {p}}_a\), \(b_0,b_1,b_2,b_3\) and we should set \(b_1=2\). It is quadratic in \(b_0,b_2,b_3\) and after extremizing \({\mathscr {Z}}\) over these variables we find that the on-shell central charge as calculated from gravity can be expressed asFootnote 32
where
Notice that \(a_\pm \) have dropped out of the final expression. The extremal values \(b_0,b_2,b_3\) are lengthy and we don’t give them here explicitly. With the master volume in hand, it is also straightforward to obtain explicit expressions for both the off-shell and on-shell R-charges \(R^\pm _a\) using (7.43). The on-shell expressions are expressed in terms of \(m_\pm \) and \({\mathfrak {p}}_a\) as expected. One then determine the ranges of allowed parameters by imposing, on-shell, \(c_{\textrm{sugra}}>0\), \(R^+_a>0\) and \(\sigma R^-_a>0\).
Now \(H^2(T^{1,1},{\mathbb {Z}})\cong {\mathbb {Z}}\), associated with there being a single baryonic U(1) symmetry in the Klebanov-Witten field theory dual to AdS\(_5\times T^{1,1}\). Thus, \(H_{5}(Y_7,{\mathbb {Z}})={\mathbb {Z}}^2\) and there are two independent fluxes \({\mathcal {N}}_0, {\mathcal {N}}_1\). We can therefore express \(M_A\) in terms of \({\mathcal {N}}_0, {\mathcal {N}}_1\), given the spindle data \(m_\pm , \sigma \) and the fibration data \(p_i\). Recall from (7.39) we have \({\mathcal {N}}_ 0 = \frac{N}{m_+m_-}\). Also, from (8.41) we have \(q_0^a=(-(m_-+\sigma m_+)-p_2-p_3,p_2,0,p_3)\) and \(q_1^a=(-1,1,-1,1)\). Hence from (7.38) we can write
and \({\mathcal {N}}_1\) is the baryonic charge. As we emphasized earlier, the definition of baryonic charge is not unique. In particular, for a given \(M_a\), we could also write (7.38) in the form \(M_a = (q_0^a+q_1^a {\mathcal {N}}_1/{\mathcal {N}}_0){\mathcal {N}}_0\) and then using \({{\tilde{q}}}_0^a\equiv q_0^a+q_1^a {\mathcal {N}}_1/{\mathcal {N}}_0\) instead of \(q_0^a\) to define the baryonic charge, which still satisfies \(\sum _{a=1}^d {{\tilde{q}}}_0^a\, v_{ai} = p_i\), we would conclude that the baryonic charge vanishes.
It is interesting to examine the special sub-class associated with the flavour twist that we discussed in Sects. 4 and 5. We first recall that the Sasakian volume of \(T^{1,1}\) is given by
while the Sasakian volume of the three-dimensional supersymmetric submanifolds are
The Sasaki volume (8.48) is extremized for \(b_2 = b_3 = \frac{b_1}{2}\). Setting \(b_1 = 3\) we get the Sasaki–Einstein volumes which are \(\textrm{Vol}_{SE}(T^{1,1})=\frac{16\pi ^3}{27}\) and \(\textrm{Vol}_{SE}(S_a) = \frac{8\pi ^2}{9}\).
The flavour twist is obtained by demanding the condition (4.1), which in the toric setting amounts to set all the \(\lambda _a\) to be equal in a particular gauge. Using the gauge transformations (6.25), we can fix \(\gamma _2\) and \(\gamma _3\) in such a way that three of the four \(\lambda _a\) are equal. In order to fix the last \(\lambda _a\), we need to fix one of the fluxes \(M_a\), e.g.
(c.f. (8.47)). All the other fluxes are fixed by (7.34), and likewise they read
exactly as we derived earlier in (4.10).
The universal anti-twist case is obtained by setting (4.24) as well as (4.25). The latter combined with (4.28) tells us that the on-shell twisting parameters are fixed to be, with \(\sigma =-1\),
Furthermore, the condition (8.50) implies
We then recover, as expected, all the general results of Sect. 4.2 for the universal anti-twist, in particular the on-shell results for \({\mathscr {Z}}\) given in (4.42) and \(R^\pm _a\) given in (4.44) with
We can now compare with field theory. For the case of the anti-twist the relevant field theory calculations were carried out already in [23]; here we also include the twist case. We consider the quiver gauge theory dual to AdS\(_5\times T^{1,1}\), with rank N gauge groups. This gauge theory has \(U(1)^3\times U(1)_B\) symmetry where \(U(1)_B\) is a baryonic symmetry associated with the kernel (8.39). We now put this gauge theory on a spindle with background magnetic fluxes, parametrized by \({\mathfrak {p}}_a\), for the \(U(1)^3\times U(1)_B\) symmetry with \(\sum _{a=1}^4 {\mathfrak {p}}_a= -\frac{m_-+\sigma m_+}{m_+ m_-}\). The trial central charge is parametrized by \(\Delta _a\), satisfying \(\sum _a\Delta _a=2\) and from the general result (8.9) we find (setting here \(r_1=r_2=r_3=r_4=\tfrac{1}{2}\) for simplicity)
The on-shell central charge calculated in field theory is obtained by extremizing with respect to \(\Delta _a\) and \(\epsilon \), subject to \(\sum _a\Delta _a=2\). We can do this in two steps, first extremizing over the baryonic direction defined by \(q^a_1 \Delta _a=\Delta _1-\Delta _2+\Delta _3-\Delta _4\), and then over the remaining three independent variables, which can taken to be, for example, \(\Delta _1, \Delta _2,\varepsilon \). After the first step we get \(c_\text {trial}|_{\text {baryonic}}\) as a function of \(\Delta _1, \Delta _2,\varepsilon \) and we find that there is an exact agreement with the off-shell gravitational charge \({\mathscr {Z}}\), as a function of \(b_0, b_2, b_3\). The dictionary between the two variables is as described in Sect. 8.2:
as well as identifying N on each side. Explicitly, for this example we find
Notice that the dictionary involves the parameters \(a_+\). Recall that \(a_+\) is only defined up the transformation given in (7.7). Making this shift in (8.57), and using (8.44), induces a transformation on the vector \((b_0,b_1,b_2,b_3)\) which is precisely given by the \(SL(4,{\mathbb {Z}})\) transformation in (7.8) with \(b_2\rightarrow b_2+\kappa p_2 b_0\) and \(b_3\rightarrow b_2+\kappa p_3 b_0\).
9 Black Holes in AdS\(_4\times SE_7\)
For \(n=4\) we expect the AdS\(_2\times Y_9\) solutions, with \(Y_9\) fibred as in (1.1), can arise as the near horizon limit of supersymmetric, accelerating black holes that carry magnetic charge and asymptotically approach AdS\(_4\times X_7\), with \(X_7\) a Sasaki–Einstein manifold. Such solutions, and our associated entropy function (2.21), have recently been discussed in [51]. In this section we make contact with that work, along with some related observations.
As explained in [51], from a four-dimensional perspective the near horizon black hole solutions take the form AdS\(_2\times \Sigma \), with the conical deficits of the spindle horizon \(\Sigma \) being related to a non-zero acceleration parameter for the black hole [22]. Such black holes can carry two types of magnetic charge, associated to massless gauge fields in AdS\(_4\) with a different \(D=11\) origin: one type arise from isometries of \(X_7\) (“flavour symmetries”), while the other type arise from homology cycles of \(X_7\) (“baryonic symmetries”). The flavour magnetic charges can immediately be identified with the twisting parameters \(p_i\in {\mathbb {Z}}\): this follows directly from their definition in (3.8), where the \(A_i\) are connection one-forms for the twisting of the \(U(1)^s\) action on \(X_7\) over the spindle \(\Sigma \). As already alluded to in Sect. 7.3, the baryonic magnetic charges, or equivalently “baryonic fluxes” \({\mathcal {N}}_I\), instead require (arbitrary) choices to define unambiguously. This is a reflection of the well-known mixing between baryonic and flavour symmetries in field theory, and can also be seen directly at the level of Kaluza–Klein reduction.
Specifically, as described in [51], in considering a linear Kaluza–Klein reduction of \(D=11\) supergravity on an AdS\(_4\times X_7\) background, one has the perturbation of the six-form potential
Here both \(\omega _i\) and \(\omega _I\) are co-closed five-forms on \(X_7\), but \(\omega _I\) is closed while \(\textrm{d}\omega _i=\partial _{\varphi _i}\lrcorner \, \textrm{vol}_{X_7}\), with \(\textrm{vol}_{X_7}\) a suitably normalized volume form [58] (see also [59, 60]). We are then free to shift \(\omega _i\rightarrow \omega _i + \sum _{I} c_i^I\, \omega _I\), for arbitrary constants \(c_i^I\), which is the freedom to mix baryonic symmetries into flavour symmetries. This is the same freedom discussed after equation (7.38), or equivalently the freedom to shift \(\alpha _a^i\rightarrow \alpha _a^i +\sum _I c_i^I q_I^a\). This correspondingly shifts the four-dimensional gauge field as \(A_I\rightarrow A_I - \sum _{i=1}^s c_i^I A_i\), and hence also the flux \(\int _\Sigma \textrm{d}A_I/2\pi \) through the spindle horizon \(\Sigma \). Although one might (naively) define this as the “baryonic flux”, as shown in Appendix C, this is not in general the same as the “baryonic flux” \({\mathcal {N}}_I\) already defined.
Recall that the original flux integrals \({\mathcal {N}}_\alpha \), defined in (2.11), depend only on the homology classes of the seven-cycles \(\Sigma _\alpha \subset Y_9\). The ambiguity in correspondingly defining the fluxes \({\mathcal {N}}_I\), with associated homology cycles labelled by \(I=1,\ldots ,b_5(X_7)\) in the fibre \(X_7\), arises precisely because of the twisting. To explain this, pick representatives \({\mathcal {C}}_I\subset X_7\) of the five-cycles in the fibre, which are invariant under the \(U(1)^s\) action that we twist by. The \({\mathcal {C}}_I\) then fibre over the spindle \(\Sigma \) to give seven-cycles in \(Y_9\), with the seven-form flux through these cycles (2.11) then defining a set of fluxes. However, when the flavour magnetic charges/twisting parameters \(p_i\) are non-zero, the homology classes of these seven-cycles in general depend on the representative of \({\mathcal {C}}_I\): specifically, two representatives of the same cycle in \(X_7\), but with different \(U(1)^s\) actions, will twist differently, resulting in different seven-form fluxes.Footnote 33 This is just another manifestation of the baryonic/flavour mixing problem described in the previous paragraph. A precise relation between the Kaluza–Klein point of view and fluxes of the AdS\(_2\) solution, and in particular equation (7.41), is spelled out in Appendix C.
Rather than trying to separate out a set of “baryonic magnetic charges”, it is therefore preferable to work directly with the seven-form fluxes, with a chosen basis of seven-cycles, which are then defined unambiguously. Or, even better, in the toric case to work with the toric fluxes \(M_a\), given by (7.38) and which are subject to the constraints in the last two lines of (7.34). It is the latter that most directly describe how the field theory is twisted over \({\mathbb {R}}\times \Sigma \), on the conformal boundary of the AdS\(_4\) black hole solutions. Indeed, more generally it is presumably possible to define a set of “equivariant” fluxes, utilizing a form of equivariant cohomology that generalizes toric geometry appropriately, so that the flavour and baryonic charges may be combined naturally. We leave further development of this for future work, anticipating that the results of [59, 60] could play an important role.
In the case of the universal anti-twist such black hole solutions have been explicitly constructed in \(D=4\) minimal gauged supergravityFootnote 34 and then uplifted on Sasaki–Einstein \(X_7\) to obtain black hole solutions in \(D=11\) [22]. As discussed in Sect. 4, the universal anti-twist is a special case of the flavour twist. In fact a richer class of black hole solutions were constructed in [22] that have non-vanishing rotation and also electric flavour charge. The entropy of these black holes was computed in [22] and, for vanishing rotation and electric charge, precisely agrees with the result (4.50) obtained using the formalism of this paper. However, a curious feature of these black hole solutions is that while setting the electric charge and rotation to zero leads to a regular AdS\(_2\times Y_9\) horizon, the \({\mathbb {R}}\times \Sigma \) conformal boundary degenerates into a singular geometry.
It is possible that this is a feature of purely magnetically charged black holes in the anti-twist class more generally,Footnote 35 i.e. not just in the universal anti-twist class. If this is the case, then we expect that they should be viewed as limiting, degenerate cases of larger families of black hole solutions that also have non-vanishing electric charge and angular momentum. On the other hand we do not expect such restrictions in the twist class, and we expect, generically, that one will be able to construct purely magnetic charged and accelerating black holes with regular \({\mathbb {R}}\times \Sigma \) conformal boundaries and regular AdS\(_2\times Y_9\) horizons.
The results of this paper allow us to calculate the entropy of supersymmetric, accelerating and purely magnetically charged black holes. In the flavour twist class, the results of Sect. 5.2 for the \(X_7=S^7\) case precisely agree with the results for explicit black hole solutions constructed using STU gauged supergravity [25]. The results for \(V^{5,2}\) provide a precise new prediction for the entropy. A much richer family of cases arises when \(X_7\) is toric and the techniques we developed in Sect. 7 allow one to obtain the entropy very explicitlyFootnote 36 by solving a system of algebraic equations. It would be very interesting to recover these results from a field theory calculation and hence obtain a microstate counting interpretation of the black hole entropy.
A similar discussion to the above can be made for AdS\(_3\times Y_7\) solutions with \(Y_7\) fibred as in (1.1). One now expects these to arise as the near horizon limit of supersymmetric accelerating black strings in AdS\(_5\), carrying flavour and baryonic magnetic charges. Many of the above points for black holes are also applicable to black strings, but there are some differences. For example, less is known about explicit solutions: indeed accelerating black strings in \(D=5\) minimal gauged supergravity are not known, which would be the analogue of the \(D=4\) accelerating black holes of [22]. Another important difference is that one cannot add electric charge (flavour or baryonic) and preserve the AdS\(_3\times \Sigma \) horizon, which could be particularly relevant for anti-twist constructions. On the other hand, within the toric case one can make a precise connection with a field theory computation using c-extremization and anomaly polynomials, as we discussed in Sect. 8.
10 Discussion
In this paper we have studied various aspects of GK geometry, consisting of a Sasaki–Einstein space fibred over a spindle. One of our main results is the formula (3.25) which, in particular, gives rise to the gravitational block form for the supersymmetric action as given in (3.37). By setting \(m_\pm =1\), this formula is also valid if the spindle is replaced with a two-sphere, giving a new perspective on some of the results on GK geometry presented in [10,11,12,13,14]. These results provide a concrete demonstration that gravitational blocks appear very generally in the context of M2 and D3-branes reduced on two-dimensional spaces with an azimuthal symmetry.
Since the gravitational block formula (3.25) receives contributions from the two poles of the spindle, one might imagine it arises by applying an appropriate fixed point formula, with the associated action generated by azimuthal rotations of the spindle (or sphere). A technical observation is that there are some (implicit) signs in the gravitational block formula, related to the choice of whether we are in the twist or anti-twist class. As shown in [27], this is in turn related to the chirality of the Killing spinor at the fixed poles of the spindle. Thus, if a standard fixed point formula, such as the Berline–Vergne formula, can be used to derive the gravitational block result, the equivariant forms must be sensitive to these signs, related to spinor chirality.
On the other hand, in the specific case of the universal anti-twist, the supersymmetric action/entropy function given by (4.48) has already been related to the localization result in minimal gauged supergravity [61] in reference [53]. However, this relation is for now somewhat indirect, as in the present paper we have shown by direct computation that the supersymmetric action for this class of AdS\(_2\) GK geometries is equal to the on-shell action of a corresponding class of supersymmetric accelerating black holes in AdS\(_4\), for which the former arise as the near horizon limits of the latter. It is then more specifically the holographically renormalized on-shell action of these black holes that the localization formula of [61] applies to, as described in [53]. This intriguing relation between these two approaches to black hole entropy functions is discussed further in [51].
More generally one might imagine that conjectured gravitational block formulas for other classes of solutions, in different theories and in different dimensions, could be derived using a similar approach to this paper, and/or by an appropriate fixed point theorem. For example, the various black holes in AdS\(_4\) and AdS\(_5\) discussed in [46], the class of branes wrapped on spindles and higher-dimensional orbifolds in [30, 31, 34,35,36,37], and the general higher derivative gravitational block formula conjectured in [52] for black holes in AdS\(_4\) and asymptotically flat space. We note that the latter formula was inspired by the localization formula in minimal gauged supergravity in [61]. These generalizations might also include adding various internal fluxes to the GK geometries focused on in the present paper, for example the solutions constructed recently in [33], as well the more general extensions of GK geometry considered in [62, 63]. Another possibility would be to consider including higher derivative terms in the effective action. The geometric structures imposed by supersymmetry in different theories and different dimensions are often quite distinct, but the universality of this class of gravitational block/black hole entropy functions suggest there is a more universal approach to deriving these formulas, indeed perhaps utilizing an appropriate fixed point formula that is largely insensitive to the detailed geometry. It will be very interesting to pursue this in future work.
For the AdS\(_3\times Y_7\) class of GK geometries in type IIB string theory discussed in Sect. 8, we have obtained a very general proof that our off-shell supersymmetric action agrees with the off-shell trial c-function in field theory, thus obtaining a very general exact result in AdS/CFT. Here \(Y_7\) is an arbitrary fibration of a toric Sasaki–Einstein five-manifold \(X_5\) over a spindle \(\Sigma \). However, a key assumption on the gravity side is that the corresponding extremal AdS\(_3\) supergravity solutions actually exist – provided they do, the extremal value of the supersymmetric action computes the central charge, but there might be obstructions to existence. Ultimately one needs an existence result for the corresponding PDE – see, for example, the discussion in [9, 10]. However, it is natural to conjecture that this existence is guaranteed if and only if the R-charges \(R_a^\pm \) satisfy the positivity conditions \(R_a^+>0\), \(\sigma R_a^->0\) (in our conventions). That this is a necessary condition can be seen from the first equality in 7.43: when \(n=3\) these R-charges are proportional to the Kähler class integrated over a basis of toric submanifolds in the fibres over the two poles of the spindle, and these should all be positive. On the field theory side this question is related to whether the \(d=4\), \({\mathcal {N}}=1\) SCFT, dual to the AdS\(_5\times X_5\) solution, indeed flows to a \(d=2\), (0, 2) SCFT in the IR when the theory is wrapped on a spindle.
Notes
Note that for the usual AdS solutions based on Riemann surfaces with a topological twist, the metric on the Riemann surface has constant curvature and the Killing spinors are constant on the Riemann surface. Neither of these features is present for twist solutions associated with spindles.
Solutions corresponding to branes wrapped on spindles appear in [27, 29] (M5-branes), [30, 31] (D4-branes), [32] (D2-branes), while [33] discusses compactifying the Leigh–Strassler theory on a spindle. Solutions for D4 or M5-branes wrapped on four-dimensional orbifolds are contained in [30, 31, 34,35,36,37]. A related construction, involving branes wrapped on disks with orbifold singularities, has been presented in [38,39,40,41,42,43,44,45]. We also highlight that some of these solutions still have orbifold singularities in \(D=10,11\).
D4 and M5-branes were also considered in [30].
Later in Sect. 7 we will take these to be precisely the toric divisors when \(C(X_{2n-1})\) is a toric Calabi-Yau cone, with the index \(a=1,\ldots ,d\) running over the number of facets d of the associated polyhedral cone in \({\mathbb {R}}^n\). But for now we may take a to be a general index, labelling any set of \(U(1)^s\)-invariant divisors in \(C(X_{2n-1})\).
This was called “mesonic twist” in [12].
As is standard in the physics literature, \(b_\mu \) here denotes both the vector, and the \(\mu \)-th component of this vector. When this abuse of notation might lead to potential confusion, we write \((b_\mu )\in {\mathbb {R}}^{s+1}\) for the vector.
More precisely, \(\pi _*\xi \) is a non-zero vector field on \(\Sigma \).
In practice, for the \(S^2\) case the extremal \(\xi \) does not have a component tangent to \(S^2\), as in [10, 13]. From a physics perspective, for \(n=3\) one can understand this as being associated with the lack of mixing of the non-abelian isometries of the \(S^2\) with the R-symmetry vector in c-extremization.
Compare to the discussion at the start of Sect. 2.2. The reason for using the notation \(\psi _i\) here, rather than \(\varphi _i\), will become clear momentarily.
The fibres \(X_{2n-1}\) can be glued with the diffeomorphism \(\varphi ^+_i = \varphi ^-_i - t_i\varphi \) where the parameters \(t_i\in {\mathbb {Z}}\) give a further diffeomorphism/large gauge transformation when we glue, as described in [27]. However, in terms of the original coordinates this leads to the identification \(\psi _i^+ - \alpha _i^+{{\hat{\phi }}}_+ = \psi _i^- - \alpha _i^-{{\hat{\phi }}}_- + t_im_-{{\hat{\phi }}}_-\), from which we see that we can simply absorb \(t_i\) into a redefinition of \(\alpha _i^-\) via \(\alpha _i^-\rightarrow \alpha ^-_i - t_i m_-\) (notice this leaves \(\alpha _i^-\) mod \(m_-\) invariant, and so preserves the local model \(({\mathbb {C}}\times X_{2n-1})/{\mathbb {Z}}_{m_-}\)). Thus we can set \(t_i=0\) without loss of generality. We could also remove the remaining redundancy in this construction/description by requiring \(\alpha _i^+\in \{1,\ldots ,m_+\}\), and then take \(\alpha _i^-\in {\mathbb {Z}}\).
This pair of integers was denoted \((m_N,-m_S)\) in [27], where recall we have without loss of generality set the variable \(p=0\) in [27], absorbing this into \(m_N\) or \(m_S\) (cf. equation (3.7) and the discussion after where p in [27] should be identified with one of the \(t_i\)). We also note that the analogue of the \(\psi _i\) coordinates here were denoted by \(\chi \) (for a single U(1)) in [27].
Fixing the overall sign of \(p_1\) here involves a choice of convention, which we have fixed in writing both (3.13) and (3.14), and also in the discussion of the complex structure and holomorphic volume form in the remainder of this subsection. The result of [27] more generally fixes \(|\alpha _1^\pm |=1\), rather than (3.13), and it is the relative sign of \(\alpha _1^+\) and \(\alpha _1^-\) that distinguishes the twist and anti-twist cases.
One can circumvent the use of delta functions by instead cutting out small neighbourhoods of \(X_\pm \) in \(Y_{2n+1}\), to obtain a manifold with two boundary components, \((S^1\times X_{2n-1})/{\mathbb {Z}}_{m_+}\sqcup \, (-S^1\times X_{2n-1})/{\mathbb {Z}}_{m_-}\), and then integrating \(\upsilon _0\wedge \eta \wedge \Gamma \) over this boundary. The integral of \(\upsilon _0\) over the circle factors gives \(m_\pm \), resulting in the right hand side of (3.34). Instead using Stokes’ theorem, we have \(\textrm{d}\upsilon _0=0\) on the interior of the manifold with boundary, and the only contribution is the right hand side of (3.35).
Later in Sect. 7 we will take these to be precisely the toric divisors when \(C(X_{2n-1})\) is a toric Calabi-Yau cone, with the index \(a=1,\ldots ,d\) running over the number of facets d of the associated polyhedral cone in \({\mathbb {R}}^n\). But for now we may take a to be a general index, labelling any set of \(U(1)^s\) invariant divisors in \(C(X_{2n-1})\).
We emphasize that the fluxes \(M_a\) are, in general, distinct from the fluxes \({\mathcal {N}}_\alpha \) in (2.11) – see (7.37). We also note that even when \(H_{2n-3}(X_{2n-1},{\mathbb {R}})=0\), so that the homology classes of \(S_a\) in the fibres \(X_{2n-1}\) are necessarily trivial, it does not follow that the \(M_a\) are zero. Indeed, these are integrals of the flux over \(\Sigma _a\), whose homology classes are generically non-trivial due to the fibration.
The sign is consistent with the toric formalism in Sect. 7 as well as with the known explicit supergravity solutions.
For such quotients the effective \(U(1)^s\) action is not the same as on the unquotiented space.
In fact the calculation in [22] was carried out for a larger family of black hole solutions with additional electric charge and rotation.
The fluxes there are 2 times the fluxes here.
Note that since the \(\lambda _A\) specify a Kähler class, they satisfy some positivity constraints, and some care is required in utilizing these gauge transformations.
Note that the minus sign in (2.23) of [13] should be a plus sign.
Note that the \(M_A\) are a linear combination of the (independent) quantized fluxes \({\mathcal {N}}_\alpha \) in (2.11), which are associated with the flux through a basis for the free part of \(H_{2n-1}(Y_{2n+1};{\mathbb {Z}})\).
Setting \(m_+=m_+=1\) is the case of the round \(S^2\), which arises in [10] as a genus \(g=0\) Riemann surface case. We should identify \(p_i\) here with \(-n_i\) there.
As already remarked, the polytope \({\mathcal {P}}\) is convex only in the twist case with \(\sigma =1\), with the anti-twist formulae with \(\sigma =-1\) formally obtained from the twist formulae by replacing \(m_-\) with \(-m_-\) in the toric data (7.5).
Note that the normalization of the geometric R-charges here is slightly different to what has appeared before in the literature. For example, setting \(m_\pm =1\), \(\sigma =+1\) and \(b_0=0\), we have the set-up associated with a Sasaki–Einstein space fibred over a sphere. In this case \(M_\pm =N\) and the geometric R-charges here differ from those in [10, 13] by a factor of N.
In some cases this is enlarged to a non-Abelian symmetry.
These were labelled \(\Delta _a^{(1)}\), \(\Delta _a^{(2)}\) in [23].
In various papers the results for \(\Delta _a\) in different gauges have been reported.
This corrects some typos in [23] who analysed this from field theory as explained below.
For a concrete illustration of this in the AdS\(_3\) case, see the formula (8.47) for the fluxes \((M_1,M_2,M_3,M_4)\) for \(T^{1,1}\) internal space. In this case there is only one internal three-cycle, with the four toric representatives all being \(\pm 1\) times this cycle in homology in \(T^{1,1}\). But this flux vector depends explicitly on the twisting variables \(p_i\), showing that the homology classes of the corresponding four five-cycles in \(Y_7\) (the fibration of \(T^{1,1}\) over \(\Sigma \)) are distinct i.e. in (8.47) we see that the four \(M_a\) are not simply related by ± signs, but instead are different linear combinations of \({\mathcal {N}}_0\) and \({\mathcal {N}}_1\).
Note that \(N_{SE}\) in e.g. (4.46) of [22] is the same as N in this paper.
Obtaining the final result in closed form can be challenging since the extremization procedure requires finding roots of polynomials.
When \(X_{2n-1}\) is not simply-connected there is also a finite group as part of this kernel.
This fact was discussed in some detail in [27] for various explicit supergravity solutions where \(d=n\) and \(C(X_{2n-1})={\mathbb {C}}^{n}\).
Note that we can do this since by construction \((\vec {w}_{a+1} - \vec {w}_a)\) and \( (\vec {w}_{a} - \vec {w}_{a-1})\) are linearly independent.
We could in principle have exploited the residual gauge invariance to set e.g. \(\lambda _{a+1}=0\) but this is not necessary to conclude the proof.
In the toric case there is a general prescription to identify these \(M_a\) with the twisting of the dual gauge theory, since this has a known relation to the GLSM. There is no such known general prescription in the non-toric setting.
One cannot see the shift in \({\mathcal {N}}_I\) directly from the final line of (C.19), as the information on how the cycle \({\mathcal {C}}_I\) has been fibred over \(\Sigma \) has been lost in this expression.
References
Kim, N.: AdS\(_3\) solutions of IIB supergravity from D3-branes. JHEP 01, 094 (2006). https://doi.org/10.1088/1126-6708/2006/01/094. arXiv:hep-th/0511029 [hep-th]
Kim, N., Park, J.-D.: Comments on AdS(2) solutions of D = 11 supergravity. JHEP 09, 041 (2006). https://doi.org/10.1088/1126-6708/2006/09/041. arXiv:hep-th/0607093
Gauntlett, J.P., Kim, N.: Geometries with killing spinors and supersymmetric AdS solutions. Commun. Math. Phys. 284, 897–918 (2008). https://doi.org/10.1007/s00220-008-0575-5. arXiv:0710.2590 [hep-th]
Gauntlett, J.P., Mac Conamhna, O.A.P., Mateos, T., Waldram, D.: Supersymmetric AdS(3) solutions of type IIB supergravity. Phys. Rev. Lett. 97, 171601 (2006). https://doi.org/10.1103/PhysRevLett.97.171601. arXiv:hep-th/0606221 [hep-th]
Gauntlett, J.P., Mac Conamhna, O.A., Mateos, T., Waldram, D.: New supersymmetric AdS(3) solutions. Phys. Rev. D 74, 106007 (2006). https://doi.org/10.1103/PhysRevD.74.106007. arXiv:hep-th/0608055 [hep-th]
Gauntlett, J.P., Kim, N., Waldram, D.: Supersymmetric AdS(3), AdS(2) and bubble solutions. JHEP 04, 005 (2007). https://doi.org/10.1088/1126-6708/2007/04/005. arXiv:hep-th/0612253 [hep-th]
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). https://doi.org/10.1007/s00220-006-0087-0. arXiv:hep-th/0503183 [hep-th]
Martelli, D., Sparks, J., Yau, S.-T.: Sasaki–Einstein manifolds and volume minimisation. Commun. Math. Phys. 280, 611–673 (2008). https://doi.org/10.1007/s00220-008-0479-4. arXiv:hep-th/0603021 [hep-th]
Couzens, C., Gauntlett, J.P., Martelli, D., Sparks, J.: A geometric dual of \(c\)-extremization. JHEP 01, 212 (2019). https://doi.org/10.1007/JHEP01(2019)212. arXiv:1810.11026 [hep-th]
Gauntlett, J.P., Martelli, D., Sparks, J.: Toric geometry and the dual of \(c\)-extremization. JHEP 01, 204 (2019). https://doi.org/10.1007/JHEP01(2019)204. arXiv:1812.05597 [hep-th]
Hosseini, S.M., Zaffaroni, A.: Proving the equivalence of \(c\)-extremization and its gravitational dual for all toric quivers. JHEP 03, 108 (2019). https://doi.org/10.1007/JHEP03(2019)108. arXiv:1901.05977 [hep-th]
Hosseini, S.M., Zaffaroni, A.: Geometry of \({\cal{I} }\)-extremization and black holes microstates. JHEP 07, 174 (2019). https://doi.org/10.1007/JHEP07(2019)174. arXiv:1904.04269 [hep-th]
Gauntlett, J.P., Martelli, D., Sparks, J.: Toric geometry and the dual of \({\cal{I}}\)-extremization. JHEP 06, 140 (2019). https://doi.org/10.1007/JHEP06(2019)140. arXiv:1904.04282 [hep-th]
Gauntlett, J.P., Martelli, D., Sparks, J.: Fibred GK geometry and supersymmetric \(AdS\) solutions. JHEP 11, 176 (2019). https://doi.org/10.1007/JHEP11(2019)176. arXiv:1910.08078 [hep-th]
Benini, F., Bobev, N.: Exact two-dimensional superconformal R-symmetry and c-extremization. Phys. Rev. Lett. 110(6), 061601 (2013). https://doi.org/10.1103/PhysRevLett.110.061601. arXiv:1211.4030 [hep-th]
Benini, F., Bobev, N.: Two-dimensional SCFTs from wrapped branes and c-extremization. JHEP 06, 005 (2013). https://doi.org/10.1007/JHEP06(2013)005. arXiv:1302.4451 [hep-th]
Benini, F., Hristov, K., Zaffaroni, A.: Black hole microstates in AdS\(_{4}\) from supersymmetric localization. JHEP 05, 054 (2016). https://doi.org/10.1007/JHEP05(2016)054. arXiv:1511.04085 [hep-th]
Benini, F., Hristov, K., Zaffaroni, A.: Exact microstate counting for dyonic black holes in AdS4. Phys. Lett. B 771, 462–466 (2017). https://doi.org/10.1016/j.physletb.2017.05.076. arXiv:1608.07294 [hep-th]
Kim, H., Kim, N.: Black holes with baryonic charge and \({\cal{I} }\)-extremization. JHEP 11, 050 (2019). https://doi.org/10.1007/JHEP11(2019)050. arXiv:1904.05344 [hep-th]
Maldacena, J.M., Nunez, C.: Supergravity description of field theories on curved manifolds and a no go theorem. Int. J. Mod. Phys. A 16, 822–855 (2001). https://doi.org/10.1142/S0217751X01003937. arXiv:hep-th/0007018 [hep-th]
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). https://doi.org/10.1103/PhysRevLett.126.111601. arXiv:2011.10579 [hep-th]
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). https://doi.org/10.1103/PhysRevD.104.046007. arXiv:2012.08530 [hep-th]
Hosseini, S.M., Hristov, K., Zaffaroni, A.: Rotating multi-charge spindles and their microstates. JHEP 07, 182 (2021). https://doi.org/10.1007/JHEP07(2021)182. arXiv:2104.11249 [hep-th]
Boido, A., Ipiña, J.M.P., Sparks, J.: Twisted D3-brane and M5-brane compactifications from multi-charge spindles. JHEP 07, 222 (2021). https://doi.org/10.1007/JHEP07(2021)222. arXiv:2104.13287 [hep-th]
Ferrero, P., Inglese, M., Martelli, D., Sparks, J.: Multicharge accelerating black holes and spinning spindles. Phys. Rev. D 105(12), 126001 (2022). https://doi.org/10.1103/PhysRevD.105.126001. arXiv:2109.14625 [hep-th]
Couzens, C., Stemerdink, K., van de Heisteeg, D.: M2-branes on discs and multi-charged spindles. JHEP 04, 107 (2022). https://doi.org/10.1007/JHEP04(2022)107. arXiv:2110.00571 [hep-th]
Ferrero, P., Gauntlett, J.P., Sparks, J.: Supersymmetric spindles. JHEP 01, 102 (2022). https://doi.org/10.1007/JHEP01(2022)102. arXiv:2112.01543 [hep-th]
Couzens, C.: A tale of (M)2 twists. JHEP 03, 078 (2022). https://doi.org/10.1007/JHEP03(2022)078. arXiv:2112.04462 [hep-th]
Ferrero, P., Gauntlett, J.P., Martelli, D., Sparks, J.: M5-branes wrapped on a spindle. JHEP 11, 002 (2021). https://doi.org/10.1007/JHEP11(2021)002. arXiv:2105.13344 [hep-th]
Faedo, F., Martelli, D.: D4-branes wrapped on a spindle. JHEP 02, 101 (2022). https://doi.org/10.1007/JHEP02(2022)101. arXiv:2111.13660 [hep-th]
Giri, S.: Black holes with spindles at the horizon. JHEP 06, 145 (2022). https://doi.org/10.1007/JHEP06(2022)145. arXiv:2112.04431 [hep-th]
Couzens, C., Stemerdink, K.: Universal spindles: D2’s on \(\Sigma \) and M5’s on \(\Sigma \times {\mathbb{H}}^3\), arXiv:2207.06449 [hep-th]
Arav, I., Gauntlett, J.P., Roberts, M.M., Rosen, C.: Leigh–Strassler compactified on a spindle. JHEP 10, 067 (2022). https://doi.org/10.1007/JHEP10(2022)067. arXiv:2207.06427 [hep-th]
Cheung, K.C.M., Fry, J.H.T., Gauntlett, J.P., Sparks, J.: M5-branes wrapped on four-dimensional orbifolds. JHEP 08, 082 (2022). https://doi.org/10.1007/JHEP08(2022)082. arXiv:2204.02990 [hep-th]
Suh, M.: M5-branes and D4-branes wrapped on a direct product of spindle and Riemann surface, arXiv:2207.00034 [hep-th]
Couzens, C., Kim, H., Kim, N., Lee, Y., Suh, M.: D4-branes wrapped on four-dimensional orbifolds through consistent truncation. JHEP 02, 025 (2023). https://doi.org/10.1007/JHEP02(2023)025. arXiv:2210.15695 [hep-th]
Faedo, F., Fontanarossa, A., Martelli, D.: Branes wrapped on orbifolds and their gravitational blocks. Lett. Math. Phys. 113(3), 51 (2023). https://doi.org/10.1007/s11005-023-01671-1. arXiv:2210.16128 [hep-th]
Bah, I., Bonetti, F., Minasian, R., Nardoni, E.: Holographic duals of Argyres–Douglas theories. Phys. Rev. Lett. 127(21), 211601 (2021). https://doi.org/10.1103/PhysRevLett.127.211601. arXiv:2105.11567 [hep-th]
Bah, I., Bonetti, F., Minasian, R., Nardoni, E.: M5-brane sources, holography, and Argyres–Douglas theories. JHEP 11, 140 (2021). https://doi.org/10.1007/JHEP11(2021)140. arXiv:2106.01322 [hep-th]
Couzens, C., Macpherson, N.T., Passias, A.: \( {\cal{N} } \) = (2, 2) AdS\(_{3}\) from D3-branes wrapped on Riemann surfaces. JHEP 02, 189 (2022). https://doi.org/10.1007/JHEP02(2022)189. arXiv:2107.13562 [hep-th]
Suh, M.: D3-branes and M5-branes wrapped on a topological disc. JHEP 03, 043 (2022). https://doi.org/10.1007/JHEP03(2022)043. arXiv:2108.01105 [hep-th]
Suh, M.: D4-branes wrapped on a topological disk. JHEP 06, 008 (2023). https://doi.org/10.1007/JHEP06(2023)008. arXiv:2108.08326 [hep-th]
Suh, M.: M2-branes wrapped on a topological disk. JHEP 09, 048 (2022). https://doi.org/10.1007/JHEP09(2022)048. arXiv:2109.13278 [hep-th]
Karndumri, P., Nuchino, P.: Five-branes wrapped on topological disks from 7D N = 2 gauged supergravity. Phys. Rev. D 105(6), 066010 (2022). https://doi.org/10.1103/PhysRevD.105.066010. arXiv:2201.05037 [hep-th]
Couzens, C., Kim, H., Kim, N., Lee, Y.: Holographic duals of M5-branes on an irregularly punctured sphere. JHEP 07, 102 (2022). https://doi.org/10.1007/JHEP07(2022)102. arXiv:2204.13537 [hep-th]
Hosseini, S.M., Hristov, K., Zaffaroni, A.: Gluing gravitational blocks for AdS black holes. JHEP 12, 168 (2019). https://doi.org/10.1007/JHEP12(2019)168. arXiv:1909.10550 [hep-th]
Beem, C., Dimofte, T., Pasquetti, S.: Holomorphic blocks in three dimensions. JHEP 12, 177 (2014). https://doi.org/10.1007/JHEP12(2014)177. arXiv:1211.1986 [hep-th]
Crew, S., Dorey, N., Zhang, D.: Factorisation of 3d \( {\cal{N} } \) = 4 twisted indices and the geometry of vortex moduli space. JHEP 08(08), 015 (2020). https://doi.org/10.1007/JHEP08(2020)015. arXiv:2002.04573 [hep-th]
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). https://doi.org/10.1007/JHEP02(2022)097. arXiv:2111.03069 [hep-th]
Hosseini, S.M., Zaffaroni, A.: The large N limit of topologically twisted indices: a direct approach. JHEP 12, 025 (2022). https://doi.org/10.1007/JHEP12(2022)025. arXiv:2209.09274 [hep-th]
Boido, A., Gauntlett, J.P., Martelli, D., Sparks, J.: Entropy functions for accelerating black holes. Phys. Rev. Lett. 130(9), 091603 (2023). https://doi.org/10.1103/PhysRevLett.130.091603. arXiv:2210.16069 [hep-th]
Hristov, K.: 4d \({\cal{N} }=2\) supergravity observables from Nekrasov-like partition functions. JHEP 02, 079 (2022). https://doi.org/10.1007/JHEP02(2022)079. arXiv:2111.06903 [hep-th]
Cassani, D., Gauntlett, J.P., Martelli, D., Sparks, J.: Thermodynamics of accelerating and supersymmetric AdS4 black holes. Phys. Rev. D 104(8), 086005 (2021). https://doi.org/10.1103/PhysRevD.104.086005. arXiv:2106.05571 [hep-th]
Martelli, D., Sparks, J.: AdS\(_4\)/CFT\(_3\) duals from M2-branes at hypersurface singularities and their deformations. JHEP 12, 017 (2009). https://doi.org/10.1088/1126-6708/2009/12/017. arXiv:0909.2036 [hep-th]
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). https://doi.org/10.1007/s00220-005-1425-3. arXiv:hep-th/0411238 [hep-th]
Franco, S., Hanany, A., Martelli, D., Sparks, J., Vegh, D., Wecht, B.: Gauge theories from toric geometry and brane tilings. JHEP 01, 128 (2006). https://doi.org/10.1088/1126-6708/2006/01/128. arXiv:hep-th/0505211 [hep-th]
Butti, A., Zaffaroni, A.: R-charges from toric diagrams and the equivalence of a-maximization and Z-minimization. JHEP 11, 019 (2005). https://doi.org/10.1088/1126-6708/2005/11/019. arXiv:hep-th/0506232 [hep-th]
Benvenuti, S., Pando Zayas, L.A., Tachikawa, Y.: Triangle anomalies from Einstein manifolds. Adv. Theor. Math. Phys. 10(3), 395–432 (2006). https://doi.org/10.4310/ATMP.2006.v10.n3.a4. arXiv:hep-th/0601054
Bah, I., Bonetti, F., Minasian, R., Nardoni, E.: Anomalies of QFTs from M-theory and holography. JHEP 01, 125 (2020). https://doi.org/10.1007/JHEP01(2020)125. arXiv:1910.04166 [hep-th]
Bah, I., Bonetti, F., Minasian, R., Weck, P.: Anomaly inflow methods for SCFT constructions in type IIB. JHEP 02, 116 (2021). https://doi.org/10.1007/JHEP02(2021)116. arXiv:2002.10466 [hep-th]
Benetti Genolini, P., Perez Ipiña, J.M., Sparks, J.: Localization of the action in AdS/CFT. JHEP 10, 252 (2019). https://doi.org/10.1007/JHEP10(2019)252. arXiv:1906.11249 [hep-th]
Couzens, C., Marcus, E., Stemerdink, K., van de Heisteeg, D.: The near-horizon geometry of supersymmetric rotating AdS\(_{4}\) black holes in M-theory. JHEP 05, 194 (2021). https://doi.org/10.1007/JHEP05(2021)194. arXiv:2011.07071 [hep-th]
Couzens, C., Macpherson, N.T., Passias, A.: On type IIA AdS\(_{3}\) solutions and massive GK geometries. JHEP 08, 095 (2022). https://doi.org/10.1007/JHEP08(2022)095. arXiv:2203.09532 [hep-th]
Acknowledgements
We thank Chris Couzens for discussions. This work was supported in part by STFC Grants ST/T000791/1 and ST/T000864/1. JPG is supported as a Visiting Fellow at the Perimeter Institute.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by S. Nameki.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Appendices
Delzant Construction
To see that the toric data (7.5) indeed describes a fibration (7.1), we can utilize the Delzant construction for toric cones (as summarized, for example, in [55]).
We first recall this construction for \(C(X_{2n-1})\) and, for simplicity, we assume that \(X_{2n-1}\) is simply-connected. There is a linear map
where \(\{e_{a}\}\) denotes the standard orthonormal basis for \({\mathbb {R}}^d\), with components \(e_{ab}=\delta _{ab}\), and \(v_{a}=(v_{ai})_{i=1}^n\) are the toric data for \(X_{2n-1}\), where in what follows it will be convenient to suppress the vector index i on \(v_a\) (which are the components of \(v_a\) in a basis for the Lie algebra of \(U(1)^n\)). Since \({\mathcal {A}}^{(n)}\) maps \({\mathbb {Z}}^d\) to \({\mathbb {Z}}^{n}\), there is an induced map of tori \(U(1)^d={\mathbb {R}}^d/{\mathbb {Z}}^d\rightarrow {\mathbb {R}}^n/\, \textrm{span}_{\mathbb {Z}}\{{v}_{a}\}\), with a kernel \(U(1)^{d-n}\).Footnote 37 The latter is generated by an integer \(d\times (d-n)\) matrix \(q_I^a\), \(I=1,\ldots ,d-n\), satisfying
which specifies the embedding \(U(1)^{d-n}\subset U(1)^d\). The toric \(U(1)^n\) action on \(C(X_{2n-1})\) is then via the quotient \(U(1)^n=U(1)^d/U(1)^{d-n}\). In physics language, the above construction describes a gauged linear sigma model (GLSM) with d complex fields and \(U(1)^{d-n}\) charges specified by \(q_I^a\), with \(C(X_{2n-1})\) being the vacuum moduli space (see e.g. [55]).
For a toric \(C(Y_{2n+1})\) there is then a similar construction, with linear map
with standard orthonormal basis \(\{e_A\}\) of \({\mathbb {R}}^D\), with components \(e_{AB}=\delta _{AB}\), toric data \(v_A=(v_{A\mu })_{\mu =0}^n\) for \(C(Y_{2n+1})\), and with a kernel specified by an integer \(D\times (D-n-1)\) matrix \(Q^A_{{\hat{I}}}\), \({{\hat{I}}}=0,1,\dots ,d-n\), satisfying
From (7.5), which recall relates the toric data for \(C(Y_{2n+1})\) in terms of that for \(C(X_{2n-1})\), the spindle data \(m_\pm \), and the twisting variables \(p_i\), \(a_\pm \), we can immediately identify part of this kernel:
Note here that this satisfies (A.4) by virtue of (A.2), where \({v}_{a}=(1,\vec {w}_a)\). Since \({{\hat{I}}}\) takes \(D-n-1=d+1-n\) values and \(I=1,\dots ,d-n\), there is one more kernel vector to identify, which we label as the \({\hat{I}}=0\) component of \(Q^A_{{\hat{I}}}\). We write this charge vector as
Notice here that the first two entries are fixed by the zero’th components of the vectors in (7.5). From (7.5) and (A.4) we see that \(Q_0\) is a kernel vector provided that the vector \(q_0^a\) satisfies
where we recall from (7.2) that \(p_1 = - (m_- + \sigma m_+)\), with \(\sigma =+1\) being the twist, and \(\sigma =-1\) being the anti-twist. In fact the above equations are precisely describing the fibration (7.1) in a two step process, as we now describe.
To begin, recall that to fibre \(C(X_{2n-1})\) over a spindle \(\Sigma =\mathbb {WCP}^1_{[m_-,m_+]}\), we may first fibre \({\mathbb {C}}^d\) over \(\Sigma \). To do so we must first lift the \(U(1)^n\) action on \(C(X_{2n-1})\) to \({\mathbb {C}}^d\), which means specifying n vectors \(\alpha ^i = (\alpha _a^{i})_{a=1}^d \in {\mathbb {Z}}^d\), \(i=1,\ldots ,n\) satisfying
where \(\{{e}_i\}\) is the standard orthonormal basis for \({\mathbb {R}}^n\). In components this condition reads
Of course the choice of each \({\alpha }^{i}\in {\mathbb {Z}}^d\), \(i=1,\dots , n\), is unique only up to the kernel of \({\mathcal {A}}^{(n)}\), generated by \(q_I^a\). Geometrically, this is because \(C(X_{2n-1})\) is precisely a Kähler quotient of \({\mathbb {C}}^d\) via the torus \(U(1)^{d-n}\) generated by this kernel. Put more simply, the charge of the ath coordinate \(z^a\) of \({\mathbb {C}}^d\) under the ith \(U(1)\subset U(1)^n\) is precisely \(\alpha _a^{i}\).
With this in hand, we now re-examine (A.7) and the kernel \(Q^A_{{\hat{I}}}\). We first consider the twist case with \(\sigma =+1\). The GLSM for \(C(Y_{2n+1})\) begins with \({\mathbb {C}}^{D}={\mathbb {C}}^{d+2}\). Taking the quotient by U(1) with charge vector \(Q_0\) given by (A.6) then describes the total space of a \({\mathbb {C}}^d\) bundle over \(\Sigma =\mathbb {WCP}^1_{[m_-,m_+]}\), where the charge vector \(q_0^a\) describes the twisting. That is, as a first step we construct the \((d+1)\)-dimensional space
Here the notation means we twist the ath coordinate of \({\mathbb {C}}^d\) by the line bundle \(O(q_0^a)_\Sigma \). The zeroth component of the condition (A.7) then simply says that Z is a Calabi-Yau \((d+1)\)-fold. Notice here that \(q_0^a<0\) is necessary for the convex toric geometry description we have given to be applicable, although the space Z defined by (A.10) exists as a complex manifold with zero first Chern class irrespective of the signs of the charges.
In the anti-twist case, with \(\sigma =-1\), the charge of the second coordinate on \({\mathbb {C}}^{D}={\mathbb {C}}^{d+2}\) under \(Q_0\) in (A.6) is negative. Taking the Kähler quotient by this U(1) then does not result in a space with the topology given in (A.10). Formally we may complex conjugate the second coordinate on \({\mathbb {C}}^D\), to see that topologically Z given by (A.10) is a partial resolution of the conical geometry in the anti-twist case. However, the space Z is then no longer Calabi-Yau, since \(\sum _{a=1}^d q_0^a\) is not equal to \(-(m_-+m_+)\) when \(\sigma =-1\).Footnote 38 This lack of any clear relation to a partially resolved Calabi-Yau geometry, with a blown up copy of \(\Sigma \) on which the branes may wrap, is one reason why the anti-twist solutions are more difficult to interpret physically.
Returning to the twist case with \(\sigma =+1\), at this stage we have quotiented by U(1) out of \(U(1)^{d+1-n}\) to obtain a Calabi-Yau \((d+1)\)-fold Z, which is a \({\mathbb {C}}^d\) fibration over the spindle \(\Sigma \). Quotienting by the remaining \(U(1)^{d-n}=U(1)^{d+1-n}/U(1)\) then precisely turns the fibre \({\mathbb {C}}^d\) into \(C(X_{2n-1})\) – this is clear from (A.5), which only acts on the \({\mathbb {C}}^d\) fibre direction of Z. Since \({\mathbb {C}}^d\) is fibred non-trivially over the spindle, the \(C(X_{2n-1})\) will also be fibred, and equation (A.7) is telling us how. Specifically, this condition is solved by writing
The fact this solves (A.7) follows from (A.9):
Geometrically, recall that \(\alpha _a^{i}\) gives the charge of the ath coordinate on \({\mathbb {C}}^d\) under the ith U(1) in \(U(1)^n\). Thus \(\vec {p}=(p_2,\dots , p_{n})\) precisely has the interpretation of twisting \({\mathbb {C}}^d\) by the line bundle \(O(\vec {p})_\Sigma \), so that we may also write
where \(q_0\) in (A.10) is specified by (A.11). The vacuum moduli space with the full quotient is then
In the anti-twist case this last quotient of \({\mathbb {C}}^d\) by \(U(1)^{d-n}\) to obtain the Calabi-Yau cone fibres \(C(X_{2n-1})\) is still valid, but the space in (A.14), while being a partial resolution of \(C(Y_{2n+1})\), is no longer Calabi-Yau.
This concludes our proof that the toric data (7.5) describes the fibration (3.1).
Matching GK Geometry for AdS\(_3\times Y_7\) with Field Theory
Here we consider GK geometry for toric \(Y_7\) comprised of toric \(X_5\) fibred over a spindle. We show that the off-shell central charge \({\mathscr {Z}}\) for the AdS\(_3\times Y_7\) solution matches with the off-shell central charge \(c_{\textrm{trial}}|_{\textrm{baryonic}}\) in the field theory, where the extremization over the baryonic directions has been carried out. The key results of Sects. 7.3 and 7.4, are central to the proof and we also use some results of [11].
It will be convenient to utilise different choices of gauge for the Kähler class parameters \(\lambda ^A\). Recall that the master volume for toric \(Y_7\), \({\mathcal {V}}_7\), is invariant under the gauge transformations given in (6.25):
Although \(\gamma ^\mu \) has four components only three of them yield a non-trivial transformation since the dependence on \(\gamma ^1\) drops out. Any function which is homogeneous in \(\lambda _A\) is invariant under (B.1) and, in particular, \({\mathcal {V}}_{7}\), \({\mathcal {V}}_{5}^\pm \), \(R_a^\pm \), and \({\mathscr {Z}}\) are all gauge-invariant quantities.
We will use three different gauge choices. We first note that the transformation of \(\lambda _a^{(+)}\) only depends on \(\gamma ^2,\gamma ^3\). We can therefore choose \(\gamma ^2,\gamma ^3\) to set two of the \(\lambda _a^{(+)}\) to vanish, for example
Similarly, we can instead choose \(\gamma ^2,\gamma ^3\) to set two of the \(\lambda _a^{(-)}\) to vanish, for example
Finally, noting that the transformation of \(\lambda ^\pm \) depends on \(\gamma ^0,\gamma ^2,\gamma ^3\) we can choose \(\gamma ^2,\gamma ^3\) (say) to obtain
Note that these three gauge choices leave a residual one-parameter gauge invariance parametrised by \(\gamma ^0\), which we will not need to fix.
1.1 \({\mathscr {Z}}\) as a function of \(R_a^\pm \)
The master volume for toric \(X_5\), \({\mathcal {V}}_{5}\), is homogeneous of degree 2 in the \(\lambda _a\) and hence we can write
where we used the expressions for the shifted R-charges, \(R_a^\pm \), given in (7.46). We now show that it is possible to express \(\lambda _a^{(\pm )}\) in (B.5) in terms of \(R_a^\pm \) and hence obtain an expression for the supersymmetric action \(S_{\text {SUSY}}\), and hence the off-shell central charge \({\mathscr {Z}}\), in terms of \(R_a^\pm \) using (7.31) and (2.16). We will use different gauges to treat the ± cases, but the final results are gauge invariant.
It is helpful to recall the explicit formula for \({\mathcal {V}}_{5}={\mathcal {V}}_5(\vec {b};\{\lambda _a\})\) given in (1.3) of [10]:
We now define
with \(J_{ab}\) independent of \(\lambda _a\) and \(\vec {b}=(b_1,b_2,b_3)\). The only non-vanishing components of the matrix \(J_{ab}\) are \(J_{aa}\) and \(J_{a,a+1} = J_{a+1,a}\) given by
The homogeneity of the master volume \({\mathcal {V}}_{5}\) implies that we can recast \(R_a^\pm \) in (7.46) as
We now focus on the \(+\) case and choose the “plus gaug” (B.2), \(\lambda _1^{(+)} = \lambda _2^{(+)} = 0\). In this gauge we have
and these equations can be solved recursively for the \(\lambda _a^{(+)}\) to get (as in [11])
The identity for \(R_{a}^+\) given in (7.50) ensures that the expression for \(\lambda _d^{(+)}\) we get from the first equation in (B.10) is consistent with (B.11). If we now substitute (B.11) back into (B.5) we get
and then after again using the identity (7.50) we can write
This expression does not depend on the gauge choice that we used and hence it holds in all gauges.
Analogously, for the − case we can utilise the “minus gauge” (B.3), and obtain an equivalent expression for \({\mathcal {V}}_{5}^-\) with \(R^+_a\) replaced with \(R^-_a\). Putting these results together, we can write the supersymmetric action (7.31) and hence the trial central charge \({\mathscr {Z}}\) defined in (2.16) in the form
In this expression we note that \(R_a^\pm \) can be viewed as functions of \(b_\mu \) as well as the five-form fluxes \(M_A\) (after eliminating the \(\lambda \)’s using the second two lines of (6.26) or, equivalently, (7.35) and (7.36)).
We now observe that after setting \(b_1 = 2\), which is required in the GK extremization procedure, the expression for \({\mathscr {Z}}\) in (B.14) has precisely the same form as the field theory expression for the central charge (8.9) using the dictionary between field theory and geometric quantities discussed in Sect. 8.2:
We also identify the rank of the field theory gauge group, N, with the flux \(N\equiv m_+ M_+ = \sigma m_- M_-\) and the background magnetic fluxes for the SCFT \({\mathfrak {p}}_a\) with the five-from fluxes via \({\mathfrak {p}}_a\, \equiv \, \frac{M_a}{N}\) as in (8.14)(8.16).
We now argue that the identification (B.15) is possible. On the GK geometry side we have three independent variables, \(b_0, b_2,b_3\). We also have three independent variables on the field theory side, the \(d+1\) variables \(\varepsilon , \Delta _a\) satisfying the \(d-2\) constraints
Interestingly, we will show below (see (B.22)) that the latter constraints are actually \(d-2\) linear constraints in terms of the variables \(\Delta _a,\varepsilon \). We will also show in Sect. B.3 that the \(R_a^\pm \), after eliminating the \(\lambda _a\) variables, are linear functions of \(b_2, b_3\) and \(b_0\). Thus, (B.15) is \(2d+1\) linear equations for 3 variables and hence the system seems to be overdetermined. However, only 3 of the equations are independent, and the other \(2d-2\) can be obtained as linear combinations of these.
To see this, we introduce the notation
so that the 2d linear equations in the second line of (B.15) are simply \(E_a^\pm = 0\). Then, combining the identities (7.48) and the definition (8.4), we conclude
which eliminates d equations, say those encoded by \(E_a^-\), from the original system. Another equation can be eliminated because
where we used (7.47) and (8.8). Finally, the last set of \(d-3\) linear constraints comes from the baryonic extremization condition (B.16).
To see this we will prove in the next subsection that
Furthermore, to do so we will also prove that the baryonic extremization condition (B.16) can be re-expressed in the equivalent form
Writing (B.21) purely in terms of \(\Delta _a^+\), say, yields
from which we see that the baryonic constraints are linear in the \(\Delta _a\) and \(\varepsilon \) as noted above. Hence, given (B.20), the baryonic extremization condition implies that the system of linear equations \(E_a^+\) is, indeed, also subject to \(d-3\) linear constraints
Thus, the linear identifications (B.15) are actually not overdetermined. In practice we can take the identification to be, for example,
1.2 Proof of baryonic extremization conditions
We now prove (B.20) and (B.21). We begin with the latter and show that we can rewrite the field theory baryon mixing condition
in the form
To see this, we begin by using the expression for \(c_\text {trial}\) in (8.9) to write
We can rewrite the triple sum in the following way
where due to the asymmetry of the determinant the sum gets no contribution if we set any two of e, b, c equal. Using (A.2), we can rewrite the third term in (B.27) as
where we swapped the indices e and c to get the second expression. Hence, summing the first and the third term of (B.27) yields
For the second term in (B.27), we can exploit the skew-symmetry of the summand to extend the range of c and then massage it via some relabelling and again using (A.2) to find
Hence we find that the second term in (B.27) is equal to the sum of the first and the third term. We can obtain a similar result for the terms involving \(\Delta _a^-\) and hence we have proven (B.26).
We now prove (B.20):
Using what we just proved in (B.26), as well as the conditions satisfied by \(R^\pm _c\) given in (7.50) to carry out the sum over c, this condition can be written equivalently as
where we have also swapped the sums over a and b. To proceed we exploit the determinant identity \((\vec {a},\vec {b},\vec {c}) = \vec {a}\cdot (\vec {b}\wedge \vec {c})\) to write W in the form
Note that the expression for W is unchanged under the following shift of the vectors \(\vec {u}_a\):
for an arbitrary vector \(\vec {z}_a\). The strategy is to show that we can choose \(\vec {z}_a\) in such a way that all of the \(\vec {u}'_a\) are actually the same vector \(\vec {u}\), since if this is the case we then have
where in the last step we again used (A.2).
We now show that such a choice of \(\vec {z}_a\) is possible. We first compute the difference between two adjacent \(\vec {u}'_a\) vectors:
We thus want to choose the variables \(\vec {z}_a\), \(a=1,\dots , d\) to solve the system of equations
where, as usual, the indices are identified cyclically i.e. \(d+1 = 1\). Now since \(\vec {v}_a\) and \(\vec {v}_{a+1}\) are not parallel vectors the only way to solve this is if each of the two terms are proportional to \(\vec {v}_a\wedge \vec {v}_{a+1}\) which implies that we can write
for some real constants \(k_a\), \(k'_a\), and \(k''_a\), \(a=1, \dots , d\). This is equivalent to
Now recall from (B.35) that \(\vec {z}_a\) can be shifted by a vector proportional to \(\vec {v}_a\) without changing \(\vec {u}'_a\). Hence, we can reabsorb, for example, the term \(k''_{a} \vec {v}_{a}\) inside \(\vec {y}_a\) with an associated redefinition of \(k_a'\). Thus, consistency of the two expressions for each \(\vec {z}_a\) in (B.40) amounts to solving the following system of equations for \(k_a\) and \(k'_a\)
This is \(3(d-1)\) independent equations for 2d variables \(k_a, k'_a\). A solution can exist provided that a set of \(d-3\) constraints are satisfied. Let us introduce the notation
where \(\vec {\beta }_a\) is a two dimensional vector. Then the first component of (B.41) can be used to solve for \(k_a'\) as follows
Substituting this back into (B.41) we get the set of two-dimensional equations
Now if we project this two-dimensional equation onto vectors orthogonal to \((\vec {w}_{a+1} - \vec {w}_a)\) and \( (\vec {w}_{a} - \vec {w}_{a-1})\), we get two simple linear equations for \(k_{a+1}\) and \(k_a\) respectively.Footnote 39 We therefore deduce
where here \( (\vec {a}, \vec {c}) \) denotes the determinant of the 2\(\times \)2 matrix built with the vectors \(\vec {a}\) and \(\vec {c}\). So, we obtain two different expressions for \(k_a\) and the constraint is that they must be equal
We are left to show that \(\beta _a^1\) and \(\vec {\beta }_a\) are such that (B.46) is satisfied. Notice that this equation can be rewritten in terms of 3\(\times \)3 determinants as
This equation is gauge invariant, so we can choose a convenient gauge to show that it is satisfied. In particular it is convenient to pick the “symmetric gauge” (B.4):
We substitute the expression (B.9) for \(R_a^\pm \) into (B.47). The terms involving \(\lambda _{a-1}\) and \(\lambda _{a+2}\) cancel and we are left with an expression involving \(\lambda _a\) and \(\lambda _{a+1}\) given byFootnote 40
We can show that both the terms inside the square brackets vanish independently as a result of the vector quadruple product identity. Specifically for any four vectors \(\vec {a},\vec {b},\vec {c},\vec {d}\) in \({\mathbb {R}}^3\) we have
which immediately implies the following identity involving products of determinants:
Using this identity we can write
which implies that the coefficient of \(\lambda _a\) in (B.49) vanishes. A similar argument shows that the coefficient of \(\lambda _{a+1}\) in (B.49) also vanishes and this concludes the proof of (B.32).
1.3 \(R_a^\pm \) as functions of \(b_2, b_3\)
Here we show that \(R_a^\pm \), after eliminating the \(\lambda _a\) variables, are linear functions of \(b_2, b_3\) and \(b_0\). This shows that the second line in (B.15) are linear equations in these variables and also that (B.22), after substituting \(\Delta _a^+\rightarrow R_a^+\), are linear constraints.
The key equation from the previous subsection is (B.47). After eliminating \(R_a^-\) via (7.48) and using also (3.24), we find (B.47) can be rewritten as
Schematically we can write this in the form
where \(A_a\) is independent of \(b_2, b_3\) and \(b_0\), while \(B_a\) is linear in \(b_2, b_3\) and \(b_0\). By recursively substituting the expression for \(R_{a+1}^+\) into the expression for \(R_a^+\), we can eventually express all \(R_a^+\) in terms of the last one, \(R_d^+\), as
with \(A'_a\), \(B'_a\) having the same properties. Next we can use (7.47) to find
to conclude that \(R_d^+\) is a linear function of \(b_2, b_3\) and \(b_0\). From (B.54) we find that all of the \(R_a^+\) are linear functions of \(b_2, b_3\) and \(b_0\) and, recalling that \(R_a^-\) are related to \(R_a^+\) via (3.46), the same is true for \(R_a^-\).
Fluxes from Kaluza–Klein Reduction
In this appendix we expand further on how flavour and baryonic fluxes arise from Kaluza–Klein reduction in AdS\(_4\times X_7\)/AdS\(_5\times X_5\) solutions with \(n=4\), \(n=3\), respectively, and in particular analyse the relation (7.41) for the toric fluxes \(M_a\) from this point of view. Essentially this expands on the discussion in [58] (using some of their results), to make contact with some flux formulas that appear in the present paper. Notice that here we are relating fluxes in a linearized Kaluza–Klein analysis around AdS\(_4\times X_7\)/AdS\(_5\times X_5\) solutions, to fluxes in near horizon AdS\(_2\times Y_9\)/AdS\(_3\times Y_7\) solutions – while one cannot literally compare the solutions at this level, the fluxes are quantized, and hence one should be able to make such a matching; and indeed, we find this leads to a consistent picture.
We work in general dimension n, with \(n=3\) and \(n=4\) relevant to the AdS\(_5\times X_5\) and AdS\(_4\times X_7\) solutions, respectively. We may then consider Kaluza–Klein reduction of, respectively, Type IIB and \(D=11\) supergravity on a Sasaki–Einstein manifold \(X_{2n-1}\) with \(U(1)^s \) isometry. As explained in [58], we obtain a supergravity theory with an AdS\(_5\)/AdS\(_4\) vacuum, which has massless gauge fields \(A_a\), where the index a runs from 1 to \(d \equiv s + b_{2n-3}\), where \( b_{2n-3}\) is the \((2n-3)\)-th Betti number, i.e. \(b_{2n-3}\equiv \dim H_{2n-3}(X_{2n-1},{\mathbb {R}})\). Such gauge fields appear in the expansion of the \((2n-2)\)-form potential
Here \(V \equiv \textrm{Vol}_{SE}(X_{2n-1})\) and \(\textrm{vol}(X_{2n-1})\) is the volume form on \(X_{2n-1}\), coming from the AdS background, and the terms in the \(\cdots \) in (C.1) are not relevant for our discussion. The remaining term \(\sum _{a=1}^d A_a\wedge \omega _a\) is the Kaluza–Klein fluctuation term (called \(\delta C_6\) in (9.1) with \(n=4\)), where \(\omega _a\) are \((2n-3)\)-forms satisfying [58]
The \(v_{ai}\) are constants, but in the case that \(X_{2n-1}\) is toric, i.e. \(s=n\), the \(v_{ai}\) are precisely the toric data [58]. While we expect everything in this appendix to be true in general, for concreteness we assume that \(X_{2n-1}\) is toric so as to be able to make use of various toric formulae that appear in the main text, and Appendix A.
In general, quantities labelled by the index a can be split into linear combinations of quantities labelled by an index i, \(i=1, \dots , s\), and those labelled by an index I, \(I=1,\dots , b_{2n-3}\). We thus begin by writing
Here in (C.4) we take \(\alpha _a^i\) and the baryonic charge matrix \(q_I^a\) to be the quantities introduced in Appendix A. This is then precisely what one means by a splitting into “flavour” and “baryonic” symmetries: by definition \(\alpha _a^i\) is the charge of the ath coordinate \(z^a\) of the GLSM \({\mathbb {C}}^d\) under the ith \(U(1)\subset U(1)^s\), while \(q_I^a\) is the charge of this coordinate under the Ith baryonic symmetry. By definition, these then couple to the flavour gauge field \(A_i\) and baryonic gauge field \(A_I\), respectively, as in (C.4). Similarly, in (C.5) we take the \(\omega _I\) to be harmonic \((2n-3)\)-forms, constituting a basis of \(H^{2n-3}(X_{2n-1},{\mathbb {R}})\) and such that \(\int _{{\mathcal {C}}_I} \omega _J = \delta _{IJ}\) for \({\mathcal {C}}_I\) a basis for the free part of \(H_{2n-3}(X_{2n-1},{\mathbb {Z}})\), while \(\omega _i\) satisfy
This then ensures that (C.2) holds. Moreover, taking the \(m_I^a\) to satisfy the relations
then gives the projections
The forms \(\omega _i\) and \(\omega _I\) are then precisely the projections onto flavour and baryonic directions, respectively. The relations in (C.7) are precisely those in Appendix A, where \(v_{ai}\) give the toric data for \(X_{2n-1}\). In particular, recall that \(\alpha _a^j\) are not unique, precisely due to the kernel generated by \(q_I^a\). On the other hand, in the first equation in (C.8) the baryonic charges \(q_I^a\), \(I=1,\ldots ,b_{2n-3}\), are by definition linearly independent, and \(m_J^a\) is simply a choice of inverse. Due to the second equation in (C.7) we are free to shift \(m_I^a\rightarrow m_I^a - \sum _{i=1}^s c_i^I v_{ai}\), and using this freedom one can then always impose the second equation in (C.8).
Notice, however, that we are still free to make the following simultaneous shifts, without changing \(A_a\) and \(\omega _a\):
where \(c_i^I\) are arbitrary constants. This is the same freedom discussed in Sects. 7.3 and 9. With these decompositions, we can then rewrite (C.1) as
Up until this point, all we have done is expand upon the Kaluza–Klein analysis discussed in [58]. However, consider now putting the lower-dimensional theory on a spindle \(\Sigma \), fibering the internal manifold \(X_{2n-1}\) over it and building an \((2n+1)\)-dimensional internal space \(X_{2n-1}\, \hookrightarrow \, Y_{2n+1} \, \rightarrow \, \Sigma \,\). The fibration is achieved by turning on the flavour magnetic charges
as explained in Sect. 3.2. Next consider integrating \( \textrm{d}C_{2n-2}\) over supersymmetric \((2n-1)\)-submanifolds \(\Sigma _a\), that are fibrations \(S_a\, \hookrightarrow \, \Sigma _a \, \rightarrow \, \Sigma \,\), where \(S_a\) is defined to be the (toric) submanifold such that \(\int _{S_a} \omega _b = \delta _{ab}\) (see (3.43) in the main text). Such integrals give the fluxes \(M_a\)
These fluxes depend only on the homology classes of \(\Sigma _a\) in \(Y_{2n+1}\) which, as explained in Sect. 7.3, may be decomposed in terms of the homology classes of the cycles \(\Sigma _I\) obtained by fibering \({\mathcal {C}}_I\) over the spindle plus that of the fibre \(X_{2n-1}\) itself as
In particular this is the homology content of the last equation in (7.38), where \([X_{2n-1}]\) is the class of the fibre in \(H_{2n-1}(Y_{2n+1},{\mathbb {Z}})\). However, note that given the homology class \([{\mathcal {C}}_I] \in H_{2n-3}(X_{2n-1},{\mathbb {Z}})\) in the fibre, the homology class \([\Sigma _I] \in H_{2n-1}(Y_{2n+1},{\mathbb {Z}})\) in the total space is not uniquely identified but it depends on the specific representative we use for \([{\mathcal {C}}_I]\), because these will be twisted in different ways by the fibration. Indeed, in order for \([\Sigma _a]\) to be invariant under the shift of \(\alpha _a^i\) in (C.11), correspondingly there must be a shift in \([\Sigma _I]\)
which is exactly what parametrizes the ambiguity in choosing a representative for \([{\mathcal {C}}_I]\).
We now have everything we need to compute the fluxes (C.15):
where, in agreement with (2.14), (2.19), we introduced
In particular this gives a formula for the “baryonic fluxes” \({\mathcal {N}}_I\) in terms of the Kaluza–Klein reduction. Notice that the second term \(N\int _\Sigma {\textrm{d}A_I}/{2\pi }\) is what one would naturally call the “baryonic flux”, but that in general also the first term contributes, coming from the flavour twisting \(p_i\).
Equation (C.18) shows how to split the fluxes \(M_a\) into a “flavour” part and a “baryonic” part. It is clear that, while the fluxes \(M_a\) are unambiguous and dictate how the fields are twisted over the spindle in the dual field theory,Footnote 41 on the other hand applying the shift invariance (C.11) to (C.18) results in an ambiguity in the flavour/baryonic splitting
The transformations above encode the freedom to choose \(s\times b_{2n-3}\) constants \(c_i^I\) and, given that there are \( b_{2n-3}\) fluxes \({\mathcal {N}}_I\), we can always choose them in such a way to fix the \({\mathcal {N}}_I\) to whatever we want (e.g. to zero) and we will actually still have some freedom left, parametrized by \((s-1)\, b_{2n-3}\) constants. The shift in the \({\mathcal {N}}_I\) can also be understood from (C.19) by noticing that \(\textrm{d}C_{2n-2}\) is invariant under the transformations (C.11) but the cycle \(\Sigma _I\) is not, and transforms as (C.17).Footnote 42
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
Boido, A., Gauntlett, J.P., Martelli, D. et al. Gravitational Blocks, Spindles and GK Geometry. Commun. Math. Phys. 403, 917–1003 (2023). https://doi.org/10.1007/s00220-023-04812-8
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00220-023-04812-8