Abstract
We construct new supersymmetric \(\textrm{AdS}_2\times \mathbb {M}_4\) solutions of \(D=6\) gauged supergravity, where \(\mathbb {M}_4\) are certain four-dimensional orbifolds. After uplifting to massive type IIA supergravity these correspond to the near-horizon limit of a system of N D4-branes and \(N_f\) D8-branes wrapped on \(\mathbb {M}_4\). In one class of solutions, is a spindle fibered over a smooth Riemann surface of genus \(\textrm{g}>1\), while in another class is a spindle fibered over another spindle. Both classes can be thought of as orbifold generalizations of Hirzebruch surfaces and, in the second case, we describe the solutions in terms of toric geometry. We show that the entropy associated with these solutions is reproduced by extremizing an entropy function obtained by gluing gravitational blocks, using a general recipe for orbifolds that we propose. We also discuss how our prescription can be used to define an off-shell central charge whose extremization reproduces the gravitational central charge of analogous \(\textrm{AdS}_3\times \mathbb {M}_4\) solutions of \(D=7\) gauged supergravity, arising from wrapping M5-branes on \(\mathbb {M}_4\).
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
For two decades several examples of the AdS/CFT correspondence have been engineered considering setups involving branes wrapped on compact cycles, preserving supersymmetry via a topological twist on the brane world-volumes [44]. On the supergravity side, these give rise to supersymmetric solutions involving a warped product of an anti-de Sitter (AdS) spacetime, together with an internal compact manifold. The corresponding dual field theories are obtained from suitably twisted compactifications of the parent theories on smooth Riemann surfaces embedded holomorphically in Calabi–Yau manifolds, or different higher-dimensional calibrated submanifolds in special holonomy manifolds.
Solutions with an \(\textrm{AdS}_2\) factor are particularly interesting because on general grounds these are expected to correspond to the near-horizon limit of supersymmetric black holes arising in string or M-theory. In this case, the AdS/CFT correspondence gives access to the microscopic entropy of these black holes, obtained via counting the microstates of the dual supersymmetric quantum mechanics, which becomes particularly useful when the latter arises from a twisted compactification of a higher-dimensional gauge theory. The paradigmatic example of this successful strategy is that of the four-dimensional static black holes of [13], for which a microscopic account of the entropy has been obtained in [9].
The construction presented in [30] changed somewhat the rules of the game, showing that one can obtain examples of holographic dual pairs with genuine novel features by considering D3-branes wrapped on the orbifold , where \(n_-,n_+\) are co-prime integers, sometimes referred to as spindle. Perhaps the most striking aspect of this construction is that supersymmetry is preserved via a novel mechanism different from the topological twist, that was later called anti-twist. Further examples of various branes wrapping the spindle have been discussed in [4, 10, 18, 22, 23, 27,28,29, 31,32,33, 38] and closely related constructions appeared in [5, 6, 19, 21, 39, 50,51,52]. In general, the only two possible ways to preserve supersymmetry on a spindle are by the anti-twist of [30] or the twist introduced in [32], which is a global version of the standard topological twist [31].
Once it has been established that it makes sense to wrap branes on spaces with orbifold singularities, it is natural to extend the exploration of the landscape of holographic dualities to branes wrapping orbifolds of dimension higher than two. Simple examples of branes wrapped on four-dimensional orbifolds of the type were discussed in [10] for M5-branes and in [27, 33] for D4-branes (see also [53]). In this paper, we will focus mainly on D4-branes, extending the results of [27] in various ways. In particular, we will present two classes of new supersymmetric solutions of gauged \(D=6\) supergravity of the type \(\textrm{AdS}_2\times \mathbb {M}_4\), where \(\mathbb {M}_4\) are four-dimensional orbifolds. After uplifting to massive type IIA supergravity these describe a system of N D4-branes and \(N_f\) D8-branes wrapped on \(\mathbb {M}_4\), and are expected to correspond to the near-horizon limit of novel supersymmetric \(\textrm{AdS}_6\) black holes. Previously, supersymmetric \(\textrm{AdS}_2\times M_4\) solutions of the same theory, where \(M_4\) is either a negatively curved Kähler–Einstein manifold or the product of two Riemann surfaces \(\Sigma _{\textrm{g}_1}\times \Sigma _{\textrm{g}_2}\) (with \(\textrm{g}_1,\textrm{g}_2>1\)), were discussed in [35] and [49], with the latter reference also presenting numerical solutions for supersymmetric \(\textrm{AdS}_6\) black holes with \(\Sigma _{\textrm{g}_1}\times \Sigma _{\textrm{g}_2}\) horizons. Below, we will construct two new classes of solutions. In one class, is a spindle fibered over a smooth Riemann surface of genus \(\textrm{g}>1\), while in the other class is a spindle fibered over another spindle. Both classes can be thought of as generalizations of Hirzebruch surfaces and analogous \(\textrm{AdS}_3\times \mathbb {M}_4\) solutions of \(D=7\) gauged supergravity, arising from wrapping M5-branes on \(\mathbb {M}_4\), appeared in [17].
One of the motivations for this paper was to begin investigating entropy functions whose extremization reproduces the entropy associated with the corresponding supergravity solutions, comprising orbifolds of dimension higher than two. In the two-dimensional case, entropy functions associated with compactifications on the spindle were discussed in [16, 32, 38] and a conjectural extension to more general off-shell free energies was put forward in [27]. In particular, for all cases, precise formulas for the off-shell free energies and for the associated constraints obeyed by the magnetic fluxes and fugacities were given in terms of data at the north and south poles of the spindle. These are the fixed points of the Killing vector generating its U(1) azimuthal symmetry and the contributions to the off-shell free energies arising at these fixed points are referred to as gravitational blocks [37]. Here we will extend the conjecture of [27] presenting an orbifold entropy function whose contributions (blocks) arise from fixed points of a \(U(1)^2\) action on \(\mathbb {M}_4\), together with a recipe for determining the appropriate constraints.
The key for formulating this proposal is to provide a toric description of our solutions. Despite the fact that our orbifolds are not symplectic and therefore there are no moment maps with associated polytope, assuming a \(U(1)^2\) action, we can still define a set of toric data from the co-dimension two loci where one \(U(1)\subset U(1)^2\) degenerates. In particular, these can be determined by studying the Killing vectors of the explicit metrics on \(\mathbb {M}_4\). We can then associate a compact polytope defined using these data as normal vectors to the edges and identify the vertices as fixed points of the torus action, as in symplectic toric geometry. Our proposal for the entropy function reproduces the results of the explicit supergravity solutions presented here, but we formulate it in a way that is in principle applicable to more generic toric orbifolds, including toric manifolds, for which explicit solutions have not yet been found.
Finally, we discuss how our prescription can be extended to describe analogous supersymmetric \(\textrm{AdS}_3\times \mathbb {M}_4\) solutions of \(D=7\) gauged supergravity arising from wrapping M5-branes on \(\mathbb {M}_4\). In these cases, one can employ the method of integrating the M5-branes anomaly polynomial on \(\mathbb {M}_4\) to obtain an off-shell central charge of the corresponding \(d = 2\), \({\mathcal {N}}=(0,2)\) SCFTs and our proposal reproduces the results available in the literature. In particular, when \(\mathbb {M}_4\) is actually a toric manifold, our recipe reduces to the construction of [36], whereas for the specific case of we recover the results of [17].
The rest of the paper is organized as follows. In Sect. 2, we present the new solutions in \(D=6\) and demonstrate their supersymmetry by solving the relevant Killing spinor equations. In Sect. 3, we uplift our solutions to massive type IIA supergravity and calculate their associated geometric entropies. In Sect. 4, we work out the toric data of the relevant solutions. In Sect. 5, we present our conjectural entropy functions and use these to recover the entropies of the above solutions, as well as the central charge associated with the solutions in [17]. Appendix A contains a discussion about the different quantization conditions on the fluxes and their resolution. In Appendix B, we present a special limit in which a Riemann surface can be retrieved from a spindle. In Appendix C, we derive toric data from different metrics, including the solutions of [17].
Note added: as this work was being finalized we became aware that there would be significant overlap with the results of [20], which appeared on the arXiv on the same day.
2 Solutions in \(D=6\) gauged supergravity
In this paper, we discuss solutions of a \(D=6\) gauged supergravity with gauge group \(U(1)^2\), comprising two gauge fields \(A_1\), \(A_2\), a two-form B and two real scalar fields \(\vec {\varphi }=(\varphi _1,\varphi _2)\). This model can also be obtained as a sub-sector of an extension of Romans F(4) gauged supergravity [47], coupled to three vector multiplets [2, 26]. The bosonic part of the action readsFootnote 1
where \(F_i=\textrm{d}A_i\), \(H=\textrm{d}B\) and the scalar fields \(\vec {\varphi }\) are parameterized as
The scalar potential is
with g the gauge coupling and m the mass parameter, and where for later convenience we defined \(X_0=(X_1 X_2)^{-3/2}\).
A solution to the equations of motion of the model is supersymmetric if and only if it satisfies also the following set of Killing spinor equations [26]:
where
These follow from setting to zero the supersymmetry variations of the fermionic fields of the theory with three vector multiplets [26], that do not vanish automatically in the sub-truncation that we are considering. Here \((\sigma ^3)^A_{\,\ B}\) is the usual third Pauli matrix, \(\{\Gamma _a,\Gamma _b\}=2\eta _{ab}\) and \(\Gamma _7 \equiv \Gamma ^0 \Gamma ^1 \Gamma ^2 \Gamma ^3 \Gamma ^4 \Gamma ^5\). The SU(2) indices A, B are raised and lowered as \(\epsilon ^A=\varepsilon ^{AB}\epsilon _B\) and \(\epsilon _A=\epsilon ^B\varepsilon _{BA}\), where \(\varepsilon _{AB}=-\varepsilon _{BA}\) and its inverse matrix \(\varepsilon ^{AB}\) is defined such that \(\varepsilon ^{AB}\varepsilon _{AC}=\delta ^B_C\). The supersymmetry parameter \(\epsilon ^A\) is an eight-component symplectic-Majorana spinor; hence, it satisfies the condition
where \(\mathcal {B}_6\) is related to the six-dimensional charge conjugation matrix \(\mathcal {C}_6\) by \(\mathcal {B}_6=-\textrm{i}\,\mathcal {C}_6\Gamma ^0\).
2.1 AdS solutions
The first local solutions to the supergravity action (2.1) that we consider are of the type , which consist of a two-dimensional spindle non-trivially fibered over a Riemann surface \({\Sigma _\textrm{g}}\), with genus \(\textrm{g}>1\). When \(\textrm{g}=0\) a solution to the equations of motion still exists, but it is not supersymmetric. Specifically, the backgrounds are described by the following set of fields solving the equations of motion
where \(\textrm{d}s_{\textrm{AdS}_2}^2\) denotes the unit radius metric on \(\textrm{AdS}_2\), \(\textrm{d}s_{{\Sigma _\textrm{g}}}^2\) the unit radius metric on \({\Sigma _\textrm{g}}\) and \(\omega _{\Sigma _\textrm{g}}\) is such that \(\textrm{d}\omega _{\Sigma _\textrm{g}}= \textrm{vol}({\Sigma _\textrm{g}})\). The functions \(h_i\) and F are given by
with \(q_1\), \(q_2\) two real parameters. A curvature singularity lies at \(y=0\), hence without loss of generality, in what follows we will restrict to \(y>0\).
The first step we take in the analysis of these solutions is to prove that they are supersymmetric by constructing the local form of the Killing spinors solving the Eqs. (2.4)–(2.6). We employ the following orthonormal frame
where \(\hat{e}^{\hat{a}}\), \(\hat{a}=0,1\), is the zweibein on \(\textrm{AdS}_2\), whose coordinates are denoted as \(x^{\hat{\mu }}\), and \(\check{e}^{\check{a}}\), \(\check{a}=2,3\), is the zweibein on \({\Sigma _\textrm{g}}\), whose coordinates are denoted as \(x^{\check{\mu }}\). Equation (2.4) then splits into the following system
where we defined \({\tilde{h}} \equiv \log ( h_1h_2)\) and we applied the gauge transformation \(A_i \mapsto A_i + \alpha _i \, \textrm{d}z\). Equations (2.5) and (2.6) yield the same constraint
We note that the equations along y and z in (2.12) and Eq. (2.13) are the same as in the system (cf. equations (3.3) and (3.4) of [27]), a fact that will play an important role later on. From the fourth equation in (2.12) we see immediately that setting
leads to Killing spinors independent of z and we will adopt this choice in the reminder of this section.
Before tackling the Killing spinor equations, we note the following fact about the solution of [27]: choosing a suitable decomposition of the six-dimensional gamma matrices, it is possible to write the six-dimensional Killing spinors as tensor products of a single \(\textrm{AdS}_4\) spinor and a single spinor on . Specifically, we consider the decomposition
where \(\gamma ^{\tilde{a}}\), \(\tilde{a}=0,\ldots ,3\), are the (Lorentzian) gamma matrices in \(D=4\), \(\rho ^{\hat{\imath }}\), \(\hat{\imath }=1,2\), are the (Euclidean) gamma matrices in \(D=2\) and \(\rho _* = -\textrm{i}\,\rho ^1\rho ^2\) is the related chiral matrix. For \(\rho ^{\hat{\imath }}\) we choose the following representation
and we take \(\mathcal {B}_2^\rho =-\sigma ^2\). For consistency, the six-dimensional matrix \(\mathcal {B}_6\) decomposes as
where \(\gamma _5 = \textrm{i}\,\gamma ^0\gamma ^1\gamma ^2\gamma ^3\) is the four-dimensional chiral matrix. Adopting this decomposition, the symplectic-Majorana condition (2.8) and the Killing spinor equations (3.3)–(3.4) of [27] can be solved to give
where \(\vartheta _{(4)} = \vartheta _{(4)}(x^{\tilde{\mu }})\) is a Majorana Killing spinor on \(\textrm{AdS}_4\) and
Here, \(\xi _\eta \) is a complex constant and we have defined
which satisfy \(F(y)=f_1(y)\,f_2(y)\). Notice that \(\eta ^1\) and \(\eta ^2\) are related by \(\eta ^2 = \textrm{i}\,\sigma ^1(\eta ^1)^*\), which descends from the symplectic-Majorana condition (2.8).
Going back to the background, in order to solve its Killing spinor equations we adopt the same decomposition of the six-dimensional gamma matrices as in (2.15). Moreover, we decompose the four-dimensional gamma matrices \(\gamma ^{\tilde{a}}\) as
where \(\beta ^{\hat{a}}\) are the (Lorentzian) gamma matrices in \(D=2\), \(\tau ^{\hat{\imath }}\), \(\hat{\imath }=1,2\), are the (Euclidean) gamma matrices in \(D=2\) and \(\tau _* = -\textrm{i}\,\tau ^1\tau ^2\) is the related chiral matrix. Explicitly, we adopt the same representation as in (2.16)
and we take \(\mathcal {B}_2^\tau =\sigma ^1\). The four-dimensional matrices \(\mathcal {B}_4\) and \(\gamma _5\) decompose as
where \(\beta _* = -\beta ^0\beta ^1\) is the (Lorentzian) chiral matrix in \(D=2\). The ansatz for the six-dimensional Killing spinors is
where \(\vartheta =\vartheta (x^{\hat{\mu }})\) is a Majorana Killing spinor on \(\textrm{AdS}_2\), hence \(\hat{\nabla }_{\hat{\mu }} \vartheta = \frac{1}{2} \beta _{\hat{\mu }} \vartheta \) and \(\vartheta ^* = \mathcal {B}_2^\beta \vartheta \). \(\chi ^A = \chi ^A(x^{\check{\mu }})\) are two two-component spinors defined on the Riemann surface \({\Sigma _\textrm{g}}\), while \(\eta ^1\) and \(\eta ^2\) are given in (2.19). Putting all the ingredients together, the symplectic-Majorana condition (2.8) and the Killing spinor Eqs. (2.12)–(2.13) can be solved to give
where \(\xi _\eta \) is a complex constant. Notice that we can express \(\chi ^2\) as \(\chi ^2 = -\textrm{i}\,\sigma ^2(\chi ^1)^*\).
We can now count the number of supersymmetries preserved by our solution. \(\vartheta \) is a Majorana spinor, hence it has two real degrees of freedom, while the tensor product \(\chi ^A \otimes \eta ^A\) is fully determined by the product \(\xi _\chi \xi _\eta \), which has two real degrees of freedom. Therefore, there are four real independent Killing spinors, that is one quarter of the number of supersymmetries of the six-dimensional \(\mathcal {N}=(1,1)\) theory; hence, the solution is 1/4-BPS.
We now proceed to the global analysis of the local solution (2.9), for which we set \(m=2g/3\) without loss of generalityFootnote 2. Fixed a generic point on the Riemann surface \({\Sigma _\textrm{g}}\), the metric on the spindle reads
In order to have a well-defined metric and positive scalars \(X_i\) we need to take \(F>0\), \(h_1>0\), \(h_2>0\) in a closed interval not containing the curvature singularity in \(y=0\), thus without loss of generality we restrict to \(y>0\). Moreover, denoting \([y_N,y_S]\) the range of the coordinate y, is a proper spindle given that [27]
where \(n_\pm \) are two co-prime integers and \(\Delta z\) is the periodicity of the z coordinate. These two relations ensure that at the poles \(y=y_{N,S}\) there are \(\mathbb {Z}_{n_\mp }\) orbifold singularities, respectively. An additional constraint comes from the quantization of the magnetic fluxes across , which arises from the requirement that \(g A_i\) be well-defined connection one-forms on U(1) bundles over . Given any point of \({\Sigma _\textrm{g}}\), we must have
It can be shown that [27]
meaning that the R-symmetry gauge field \(A_R \equiv g(A_1+A_2)\) is a connection one-form on the line bundle \(\mathcal {O}(n_++n_-)\) over , and therefore the integers \(p_i\) can be conveniently parameterized as
where \(\texttt {z}\) is an appropriate rational number. The value of the sum \(p_1+p_2\) implies that \(A_R\) realizes on the bundle the type of twist that was dubbed “twist,” as for the D4 [27] and M5-branes [29] wrapped on a spindle.
All the conditions we presented were studied in [27], to which we refer for a detailed analysis, and it was proven that they can be satisfied if \(n_-<n_+\), \(p_1<0\), \(p_2>0\), the expressions of \(q_i\) and \(y_{N,S}\) are determined as in equations (3.39) and (3.31) of [27] and z has periodicity
Here, \(\chi _2\), the Euler characteristic of , and \(\mu \) are defined as
and \(\texttt {x}\) is the only solution of the quartic equation
lying inside the range \(0<\texttt {x}<1\).
As we already mentioned, the internal space has the structure of a spindle fibered over a Riemann surface \({\Sigma _\textrm{g}}\). This fibration is well defined in the orbifold sense if the one-form \(\eta \) describing the fibration is globally defined, i.e.,
where
This requirement yields a quantization condition relating the spindle data \((n_\pm , \texttt {z})\) and the genus \(\textrm{g}\), namely
We refer to Appendix A for the analysis of this constraint.
The last conditions follow from the quantization of the fluxes \(F_i\) through two-cycles in . Their integration through were computed in (2.28), hence they are already appropriately quantized. Next, we define the two-cycles \(S_- \equiv \{y=y_N\}\) and \(S_+ \equiv \{y=y_S\}\), corresponding to the two poles of , and compute, e.g.,
where we substituted t as in (2.36). Similarly to what happened in (2.34), the quantization condition requires (2.37) to be an integer. In Appendix A, we present some examples in which this constraint is satisfied. The quantization through \(S_+\) can be addressed easily since an explicit computation shows that
therefore the related condition is automatically satisfied due to the fact that \(n_\pm \) divide t, as explained in Appendix A. We also notice that (2.38) agrees with the homology relation . The fluxes of \(F_2\) can be obtained flipping the sign of \(\texttt {z}\) in the previous formulas and, as a consequence, the quantization of its fluxes automatically holds exchanging \(p_1\) with \(p_2\).
Focusing on the R-symmetry gauge field, its fluxes read
and, as expected, they are correctly quantized because \(n_\pm \) divide t.
2.2 AdS solutions
A second class of solutions to the model described by action (2.1) is the background, where a two-dimensional spindle is non-trivially fibered over a different two-dimensional spindle . Remarkably, there exists a specific limit of the coordinates and the parameters in which the solutions are retrieved, both their bosonic content and the Killing spinors. All the details and computations are left to Appendix B. Going back to the systems under exam, they read
where \(\textrm{d}s_{\textrm{AdS}_2}^2\) denotes the unit radius metric on \(\textrm{AdS}_2\) and \(\texttt {a}\) is a real parameter. The functions \(h_i\) and F are the same as in (2.10), while q is given by
Notice that formally taking \(\texttt {a}=0\) we retrieve the background studied in [27].
In order to construct the local form of the Killing spinors and to demonstrate that this solution is supersymmetric, we must first specialize the Killing spinor Eqs. (2.4)–(2.6) to our system employing the orthonormal frame
where \(\hat{e}^{\hat{a}}\), \(\hat{a}=0,1\), is the zweibein on \(\textrm{AdS}_2\), whose coordinates are denoted as \(x^{\hat{\mu }}\). Equation (2.4) then splits into the following system
where \({\tilde{h}} \equiv \log ( h_1h_2)\) is defined as before and we employed the gauge transformation \(A_i \mapsto A_i + \alpha _i \, \textrm{d}z\). Equations (2.5) and (2.6) yield, again, the same constraint
Also in this case, the Killing spinor equations along y and z and the last constraint are identical to those obtained in the background. Once again we fix the gauge such that \(\alpha _1+\alpha _2 = 2m/g\), in order to have a z-independent Killing spinors.
The explicit construction of the Killing spinors proceeds in a way similar to the case. First of all, we employ the following decomposition of the six-dimensional gamma matrices (cf. Eqs. (2.15) and (2.21)):
which implies,
where \(\beta ^{\hat{a}}\) are the (Lorentzian) gamma matrices in \(D=2\), \(\rho ^{\hat{\imath }}\) and \(\tau ^{\hat{\imath }}\), \(\hat{\imath }=1,2\), are the (Euclidean) gamma matrices in \(D=2\) and \(\rho _*\) and \(\tau _*\) are the related chiral matrices. In the Euclidean sectors, we adopt the representation (2.16)
and we take \(\mathcal {B}_2^\rho =-\sigma ^2\) and \(\mathcal {B}_2^\tau =\sigma ^1\). The six-dimensional Killing spinors are assumed to consist of the tensor product of spinors living on \(\textrm{AdS}_2\), and . Namely,
with \(\vartheta =\vartheta (x^{\hat{\mu }})\) Majorana Killing spinor on \(\textrm{AdS}_2\), \(\chi ^A=\chi ^A(x,\psi )\) two two-component spinors defined on the spindle and \(\eta ^A\) given in (2.19). The symplectic-Majorana condition (2.8) and the Killing spinor equations (2.43)–(2.44) are satisfied given that
where \(\xi _\chi \) is a complex constant and
which satisfy \(q(x)=Q_1(x)\,Q_2(x)\). Notice that the relation \(\chi ^2 = -\textrm{i}\,\sigma ^2(\chi ^1)^*\) holds also in this case. The count of the real degrees of freedom is identical to the case and shows that the solution is 1/4-BPS, since it preserves four real supercharges.
The first part of the global analysis of the solution (2.40) proceeds along the path traced in the previous section. Chosen a generic point on the base spindle , the metric of is the same as in (2.26), therefore are identical also the conditions for it to describe a proper spindle with \(\mathbb {Z}_{n_\mp }\) orbifold singularities. In particular, \(\Delta z\) must be as in (2.31). Moreover, at a generic point of (different from the north and south poles) the magnetic fluxes are quantized as in (2.28):
with \(p_1 + p_2 = n_+ + n_-\).
The base spindle , described by the metric
was thoroughly studied in [28], thus we will take advantage of the results presented therein, setting \(\texttt {j}=0\). is indeed a spindle, characterized by the two co-prime integers \(m_\pm \), with \(m_-<m_+\)Footnote 3, if the parameter \(\texttt {a}\) and the periodicity of the coordinate \(\psi \) are
The coordinate x is restricted between the two middle roots of the quartic polynomial q(x), namely \(x\in [x_N,x_S]\) with
At the north and south poles of , namely \(x=x_{N,S}\), are present \(\mathbb {Z}_{m_\mp }\) orbifold singularities, respectively. Moreover, defined the vector field
its magnetic flux through the spindle is
In the four-dimensional theory, this implies that \(2A_{4\textrm{d}}\) is a connection one-form on the line bundle \(\mathcal {O}(m_+-m_-)\) over and, as a consequence, that we have anti-twist.
Similarly to the system, the fibration of over is well-defined given that
where, in this case,
We derive the following constraint on the quantum numbers \(n_\pm \), \(m_\pm \) and \(\texttt {z}\)
which is solved in Appendix A.
Like we did in the previous section, we study the quantization of the fluxes of \(F_i\), now through two-cycles in . The magnetic fluxes across were computed in (2.28) and are, thus, already quantized. Again we define the two-cycles \(S_- \equiv \{y=y_N\}\) and \(S_+ \equiv \{y=y_S\}\), which corresponds to two copies of the base spindle , and compute
In analogy to (2.37), the flux (2.60) must be an integer divided by \((m_+ m_-)\), and we refer to Appendix A for the analysis of this constraint. The same quantization condition, but with \(F_1\) integrated across \(S_+\), is automatically satisfied due to the relation
which can be both computed explicitly and obtained from the homology relation . On the other hand, the fluxes of \(F_2\) can be obtained switching the sign of \(\texttt {z}\), i.e., exchanging \(p_1\) with \(p_2\), in the previous formulas and, as a consequence, the quantization follows directly. The fluxes of the R-symmetry gauge potential read
and are well quantized, i.e., they are integers divided by \(m_+ m_-\), because \(n_\pm \) divide t.
2.3 Truncation to \(D=4\) minimal gauged supergravity
An accurate inspection of the and solutions given in (2.9) and (2.40), respectively, hints at the existence of an underlying consistent truncation of matter-coupled \(D=6\), \(U(1)^2\) gauged supergravity on a spindle , down to \(D=4\), \({\mathcal {N}}=2\) minimal gauged supergravity. Even though we do not demonstrate the consistency of this truncationFootnote 4, we conjecture its validity in analogy with the results of [17] and we will provide supporting evidence. For completeness, we report here the action describing the four-dimensional theory
along with the corresponding Killing spinor equation
where \({\mathscr {F}} = \textrm{d}{\mathscr {A}}\), \(\{\gamma _a,\gamma _b\}=2\eta _{ab}\) and the \(\textrm{AdS}_4\) radius has been set to 1.
Given a solution of \(D=4\) minimal gauged supergravity comprising a metric \(\textrm{d}s_{(4)}^2\) and a gauge potential \({\mathscr {A}}\), we propose the following ansatz for the six-dimensional solution:
Here, \(\star _4\) is the Hodge dual with respect to the metric \(\textrm{d}s_{(4)}^2\) and (cf. (2.10))
This ansatz may be justified comparing the two six-dimensional solutions already mentioned with the following \(\textrm{AdS}_2 \times {\Sigma _\textrm{g}}\) [14] and [28] backgrounds
with \(q(x) = x^4 - 4x^2 + 4\texttt {a} x - \texttt {a}^2\). In both cases, plugging the four-dimensional solutions into the ansatz (2.65) gives the corresponding ones in \(D=6\). An additional example is given by the solution of [27], which can be obtained starting from the \(\textrm{AdS}_4\) vacuum.
In addition to the truncation of the bosonic sector, we also propose an ansatz connecting the Killing spinors of the two supergravity theories in \(D=4\) and \(D=6\). This conjecture is driven both by the construction presented in [17] and by the fact, already observed, that some of the Killing spinor equations are the same for the two background considered in this paper, as well as for the solution.
The truncation ansatz for the Killing spinors heavily depends on the choice of the decomposition of the six-dimensional gamma matrices. In what follows we will consider (2.15)
where \(\gamma ^{\tilde{a}}\), \(\tilde{a}=0,\ldots ,3\), are the (Lorentzian) gamma matrices in \(D=4\). For consistency, \(\mathcal {B}_6\) decomposes as
where \(\gamma _5 = \textrm{i}\,\gamma ^0\gamma ^1\gamma ^2\gamma ^3\) is the four-dimensional chiral matrix and \(\mathcal {B}_2=-\sigma ^2\). We conjecture that the first Killing spinor \(\epsilon ^1\) takes the expression
where \(\zeta \) is a Killing spinor of \(D=4\) minimal gauged supergravity and \(\eta \) is given byFootnote 5
where \(\xi \) is a complex constant and
satisfying \(F(y)=f_1(y)\,f_2(y)\). The second Killing spinor \(\epsilon ^2\) is determined by the symplectic-Majorana condition (2.8), explicitly
where we defined the charge conjugate spinor \(\zeta ^c = \mathcal {B}_4^{-1} \zeta ^*\).
As for the bosonic part of the truncation, we can justify this ansatz making contact with the Killing spinors of \(D=4\) minimal gauged supergravity. Assuming, additionally, the decomposition of the four-dimensional gamma matrices in (2.21), the Killing spinors of the \(\textrm{AdS}_2 \times {\Sigma _\textrm{g}}\) [14] and [32] (see also [28]) backgrounds are, respectively,Footnote 6
where \(\vartheta \) is a Majorana Killing spinor on \(\textrm{AdS}_2\) and we defined \(Q_1(x) \equiv x^2 - (2x - \texttt {a})\) and \(Q_2(x) \equiv x^2 + (2x - \texttt {a})\). Uplifting these two spinors by means of the proposed recipe, we obtain exactly the Killing spinors of the corresponding six-dimensional solution. For what concerns the background, we must take \(\zeta = \gamma _5\vartheta _{(4)}\), with \(\vartheta _{(4)}\) a Killing spinor on \(\textrm{AdS}_4\), due to a slightly different convention on the four-dimensional Killing spinor equations.
The existence and the consistency of the truncation for the Killing spinors would prove that any supersymmetric solution of \(D=4\) minimal gauged supergravity gives rise to a supersymmetric solution of \(D=6\), \(U(1)^2\) gauged supergravity after uplifting on via (2.65).
3 Uplift to massive type IIA supergravity
The local solutions presented in Sect. 2 can be embedded in massive type IIA supergravity by means of an appropriate ansatz. A consistent truncation for the field content of interest is unfortunately not available. However, if we set \(m=2g/3\) we can consider an enlarged version of the ansatz presented in [27]. This proposalFootnote 7 comes as a superposition of the formulas presented in [25] and [24], which we recover in the respective limits. In the former, only one scalar is considered, but the six-dimensional two-form B is nonzero, while the latter encompasses four scalar fields, but vanishing B field. The ansatz for the metric in the string frame and the dilaton is the same as in [27]
but now we have also a nonvanishing two-form field
Here, \(\textrm{d}s_6^2\) stands for the line element of the six-dimensional space \(M_6\) and the one-forms \(\sigma _i \equiv \textrm{d}\phi _i -g A_i\) are built up from the six-dimensional gauge fields. The angular coordinates \(\phi _1\), \(\phi _2\) have canonical \(2\pi \) periodicities, whereas the coordinates \(\mu _a\), with \(a=0,1,2\), satisfy the constraint \(\sum \mu _a ^2=1\). Lastly, the warp factor reads
A possible parameterization of the coordinates \(\mu _a\) is
with \(\eta \in [0,\pi /2]\) and \(\xi \in (0,\pi /2]\), where the range of \(\xi \) is fixed by the necessity of having \(\mu _0 >0\). In this way, the ten-dimensional metric (3.1) parameterizes, at each point of \(M_6\), a four-dimensional hemisphere, denoted as from now on. The metric on is in general squashed, and becomes the metric on “half the round four-sphere” when \(X_1 =X_2 =1\). The RR sector of massive type IIA supergravity comprises the ten-dimensional Romans mass and the two-form flux
along with the four-form flux, conveniently written in terms of its Hodge dual asFootnote 8
where we defined
The Hodge star operators \(\star _{10}\) and \(\star _{6}\) are computed using the string frame metric (3.1) and \(\textrm{d}s_6^2\), respectively. Even though we did not prove that this truncation is consistent, we tested it successfully against our (2.9) and (2.40) solutions.
Provided the equations of motion of the six-dimensional gauged supergravity are satisfied, the above ansatz should solve the equations of motion of massive type IIA supergravity, which can be derived from the string frame actionFootnote 9
where, in these conventions, the field strengths are
As noticed in [27], the ten-dimensional equations of motion are invariant under a scaling symmetry, which defines an “improved uplift” and whose action is
where \(\lambda \) is any strictly positive constant. This additional parameter \(\lambda \) enters in the regularity analysis of the uplifted ten-dimensional solutions. In particular, its presence will be necessary for the fluxes to be correctly quantized [27].
In the next subsections, we will specify our proposed truncation ansatz to the solutions presented in (2.9) and (2.40). After having applied the scaling symmetry (3.11), we will quantize the fluxes, thus ensuring the global regularity of the ten-dimensional solutions.
3.1 AdS solutions
We begin this section by presenting the key ingredients for the flux quantization and the computation of the entropy. The quantization conditions are
where . At \(\xi =0\), where \(\mu _0=0\) and the warp factor is singular, there are an O8-plane and \(N_f =8-n_0 \) coincident D8-branes, while N D4-branes are wrapped over . These integers get contributions from the following fluxes
while the metric and the dilaton enter in the computation of the entropy
For convenience, we defined the functions
Additionally, we report for completeness also the other ten-dimensional fields, which, however, do not play an important role in our analysis
Plugging our solution in the first two conditions of (3.12) gives
It is worth noting that, being N and \(n_0\) integers, the second equation would be inconsistent with \(\lambda =1\). Such a problem arises from the fact that, without introducing \(\lambda \), the first two constraints in (3.12) would have to be imposed on an unique dimensionless parameter, namely \((g\ell _s)\). This makes the scaling symmetry (3.11) crucial to establish the regularity of the ten-dimensional uplifted solution. The integration in the third condition of (3.12) is performed along a representative of \(\mathbb {M}_4\), which we take to be at the pole of the hemisphere , i.e., in \(\xi =\pi /2\). The result can be implicitly expressed in terms of the integer parameters \((\textrm{g},n_\pm ,\texttt {z},N)\) by means of equations (3.31) and (3.38) of [27], and reads
The analysis of this quantization condition is left to Appendix A.
We now move to the computation of the entropy. The first step is to write the ten-dimensional metric in the form
where \(\textrm{d}s^2_{M_8}\) is the metric on the internal space \(M_8\), that is the total space of an bundle over \(\mathbb {M}_4\), namely . There is a \(U(1)^2\) symmetry acting on , with \(g A_i\) connections on the associated circle bundles, and the correct quantization of the corresponding magnetic fluxes \(\mathfrak {t}_i\) and \(\mathfrak {s}_i^\pm \), as discussed in Sect. 2.1, ensures that the ten-dimensional solution is a well-defined orbifold. The entropy of our solution can be read from the two-dimensional effective Newton constant \(G_{(2)}\) as
Applying this to metric (3.15), we obtain
where is the free energy of \(d=3\), \({\mathcal {N}}=2\) SCFTs that arise from a system of N D4-branes and \(N_f\) D8-branes wrapped on a spindle [27]
3.2 AdS solutions
Similarly to the previous section we present the explicit expressions of the fluxes, which are then quantized. Apart from the Romans mass, which is the same as in (3.13), the complete uplifted solution includes the four-flux
and the metric and dilaton
where \(\Delta _h\) and \(U_h\) were defined in (3.17). Again, even if they are not fundamental for the computations, we also have
The quantization conditions are the same as in (3.12), where now , and the first two give again the relations (3.19). The last one, expressed in terms of \((m_\pm ,n_\pm ,\texttt {z},N)\), reads
We refer to Appendix A for a detailed analysis.
The ten-dimensional geometry is similar to the solution of the previous subsection, with the internal space \(M_8\) having a fibration structure . Again, there is a \(U(1)^2\) symmetry acting on , with \(g A_i\) connections on the associated circle bundles. Therefore, the uplifted solution can be considered a well-defined orbifold thanks to the correct quantization of the magnetic fluxes of \(g A_i\), as discussed in Sect. 2.2.
The entropy of this solution can be computed following the same steps of the previous case and the final result is
where is given in (3.24) and is the area of the horizon of the four-dimensional supersymmetric black hole solutions with near-horizon studied in [28], namely
4 Toric geometry
In this section, we will provide a description of the orbifold in terms of certain combinatorial data, that will be used in the next section to construct the entropy function. Since admits a \(U(1)^2\) action, corresponding to the \(U(1)^2\) isometry of the metric (2.40), it is natural to seek a description in terms of toric geometry. Below, we will discuss a method for extracting a set of toric data that is sufficient for the purposes of this paper, leaving a more detailed study of the geometry for future work. As a warm-up, we will begin with an geometry, namely a spindle fibered over a smooth two-sphere. This can be obtained formally as an analytic continuation of the family and although it is not an actual supersymmetric background, it solves the equations of motion. This case can be analyzed in the framework of symplectic toric geometry and we will derive a labeled polytope [43] from the image of an associated moment map. From the algebraic geometry point of view, the corresponding fan of labeled normals to the polytope does not lead to a toric variety, but to a generalization known as a “stack.” The reason is that in ordinary toric varieties orbifold singularities along divisors cannot appear, as all the singularities are in co-dimension higher than one. In the broader context of stacks, the key combinatorial gadget is called a stacky fan, which roughly speaking is a simplicial fan with a distinguished lattice point on each ray of the fan (see, e.g.,[11, 34, 42, 48]). For the more general family we will not be able to find a symplectic structure and therefore we will have to use an indirect method to extract the toric data. These will again take the form of a stacky fan and will be taken as inputs for constructing an entropy function in terms of gravitational blocks in the next section. As further illustration of our approach, in Appendix C we present the derivation of the Delzant polytope of the first Hirzebruch surface \({\mathbb {F}}_1\), starting from the explicit metric found in [45], as well as the toric data relevant for the seven-dimensional solutions of [17].
4.1 AdS solutions
Before studying the orbifold, in which case the analysis is more involved, we begin with a geometry characterized by a smooth two-dimensional base. Since a Riemann surface with \(g>0\) is not toric, we need to consider its analytic continuation to a two-sphere. Although non-supersymmetric, the backgrounds form a family of solutions to the equations of motion very similar to (2.9), but with a different value of the radius of the Riemann surface, now a sphere. Specifically, the space we consider is the four-dimensional toric orbifold with metric
In this case, the condition on t (2.36) in order to have a well-defined fibration reads
where t results to be negative. For fixed values of y, metric (4.1) describes an \(S^3/\mathbb {Z}_{-t}\), where \(S^3\) is a squashed three-sphere written as a Hopf fibration; therefore, a natural basis of an effective two-torus action is [45]Footnote 10
where we introduced the \(2\pi \)-periodic coordinate \(\nu _{2} = \frac{2\pi }{\Delta z} z\). In total, we have four fixed points \(v_\ell \) (\(\ell =1,\ldots ,4\)) under the action of the two-torus, which are all the possible combinations obtained by pairing the poles of the sphere (\(\theta =0,\pi \)) and the poles of the spindle (\(y=y_{N,S}\))
We now consider the conformally rescaled metric , with \(\Gamma (y)>0\), with compatible symplectic two-form
When \(\Gamma '(y) = -\frac{3y}{m (h_1 h_2)^{1/2}}\Gamma (y)\) Footnote 11, the two-form (4.5) is closed and can be written as
From this expression we can derive the moment maps with respect to the basis (4.3)
and compute the image of the fixed points (4.4)
which are vertices of the moment polytope. Vertices are connected by facets and we define the facet \(D_\ell \) to be the one that joins \(v_{\ell -1}\) and \(v_\ell \), where \(\ell \) is modulo 4Footnote 12. In order to correctly draw the polytope, we notice that, since \(\Gamma '(y)<0\), we have \(\Gamma (y_N)>\Gamma (y_S)\).
Due to the orbifold nature of the spindle, we can construct an associated labeled polytope following [43], which extends the classic Delzant construction. In particular, if the preimage under moment maps of a facet has an orbifold singularity locally modeled on \(\mathbb {C}/\mathbb {Z}_{m_\ell }\), we label the facet with the corresponding integer \(m_\ell \), otherwise there is no label (formally, we have \(m_\ell =1\)). Specifically, the orbifold is characterized by
The resulting labeled polytope is depicted in Fig. 1, and if the labels are stripped off
this is exactly the polytope corresponding to the Hirzebruch surfaces \({\mathbb {F}}_{-t}\). This polytope can also be described uniquely by a set of inequalities
where \(\langle \cdot ,\cdot \rangle \) is the standard inner product between vectors in \(\mathbb {R}^2\), \(\vec {\mu }\) is a generic point in the \((\mu _1,\mu _2)\)-plane, \(\lambda _\ell \) is a real number and each \(\vec {n}_\ell \) is a primitive element of \(\mathbb {Z}^2\), which represents the outward-pointing normal vector to the facet \(D_\ell \). In particular, we have
The method we employed to construct the labeled polytope above is rigorous and the result fits in the theory of symplectic toric orbifolds [43]. However, we will now study this toric orbifold from a different point of view, in order to derive a method that can be applied also to orbifolds which do not admit a conformally rescaled symplectic form. A direct computation using the metric (4.1) shows that there are four distinct loci \(D_\ell \) where a linear combination of the two Killing vectors \(\partial _\psi \) and \(\partial _z\) degenerates. These are precisely the toric divisors which in the symplectic context correspond to the preimages of the four facets of the polytope and intersect at the four fixed points. Explicitly, denoting with \(\xi _{(\ell )}\) the Killing vector that degenerates at \(D_\ell \), they are
normalized so to have unitary surface gravity
Expanded in the basis (4.3), the degenerating Killing vectors read
We notice that
where we packed the basis vectors (4.3) into a two-dimensional vector \((e_1, e_2)\) and \((\vec {n}_\ell ,m_\ell )\) are the toric data of the corresponding labeled polytope.
We can use relation (4.15) to infer the toric data starting from the information about the degenerate Killing vectors. In particular, given a toric divisor \(D_\ell \) where the Killing vector \(\xi _{(\ell )}\) is degenerate, studying the (possible) orbifold singularity on \(D_\ell \) we can obtain the corresponding integer \(m_\ell \). Expanding \(\xi _{(\ell )}\) on a suitable basis—in which the two-torus act effectively—according to (4.15) we can deduce the normal vectors \(\vec {n}_\ell \), up to a global sign depending on the conventions. This sign can be chosen arbitrarily for one of the vectors and for the others it follows requiring the vectors \(\vec {n}_\ell \) to be ordered counterclockwise, in our conventions.
For an un-labeled, convex, rational polytope (not necessarily a Delzant polytope) one can pass to the algebraic point of view, where the primitive normals to the polytope represent the fan of a toric variety. In this context, the one-dimensional cones (rays) of the fan are in a one-to-one correspondence with the toric divisors and the order of the orbifold singularities at the intersection between two divisors can be read off from the determinant of two adjacent generators, namely \(\det (\vec {n}_\ell ,\vec {n}_{\ell +1})\). Orbifold singularities along divisors cannot arise in toric varieties, so the information of a labeled polytope cannot be accommodated in an ordinary fan. An equivalent way of thinking about the labels \(m_\ell \) is by dropping the primitive requirement and considering \(\vec {\hat{n}}_\ell = m_\ell \,\vec {n}_\ell \) instead of \(\vec {n}_\ell \) [1]. We will refer to the \(\vec {n}_\ell \) as “short” vectors and to the \(\vec {\hat{n}}_\ell \) as “long” vectors. In algebraic geometry, the fan obtained from such “long” (non-primitive) normals can be understood in the broader context of stacks and it is referred to as a stacky fan. This turns out to be the correct combinatorial data needed in the construction of the entropy function in the next section. The “long” vectors characterizing the orbifold then read
and the corresponding stacky fan, dual to the labeled polytope of Fig. 1, is presented in Fig. 2.
Let us make some comments on the orbifold , with \(\textrm{g}>1\). This cannot be toric in any sense; therefore, none of the previous considerations can be applied. Nevertheless, for our purposes, we can think about extending the results obtained for the toric orbifold to this case, and adopt as “toric data” the same vectors \(\vec {n}_\ell \) (4.11) and the same integers \(m_\ell \) (4.9). The information on the genus of the Riemann surface does not enter in any way in the “toric data,” but it will appear in the twisting procedure of Sect. 5, as discussed in the examples. Clearly, for the divisors \(D_2\) and \(D_4\) have no physical meaning, and likewise the four fixed points \(v_\ell \), but they are all artifacts needed for the application of the conjectural entropy function we will present in Sect. 5.
4.2 AdS solutions
After the warm-up with the case, we are now ready to study the orbifold. In this case, we can not construct a conformal symplectic structure; therefore, we do not have a moment map to derive the labeled polytope. Nevertheless, we are still able to obtain the toric data that we need by analyzing where the Killing vectors of degenerate. Recall that the metric on is
A simple direct calculation shows that it has four Killing vectors degenerating at the poles of the two spindles, defining the four loci
intersecting at the four fixed points
normalizing the degenerating Killing vectors so that they have unitary surface gravity, these read
where, in addition to \(\nu _{2} = \frac{2\pi }{\Delta z}z\), we introduced also the \(2\pi \)-periodic coordinate \(\nu _{1} = \frac{2\pi }{\Delta \psi }\psi \).
Reading off the labels associated with the \(D_\ell \) turns out to be a bit tricky. We will first present a naive argument leading to slightly wrong conclusions, and then we will explain how to amend this. Each of the Killing vectors in (4.20) is in a one-to-one correspondence with a specific pole of either or , whose rotation around the axis is generated by the \(2\pi \)-periodic Killing vector \(\partial _{\nu _{1}}\) or \(\partial _{\nu _{2}}\), respectively. This suggests that the integer coefficient in front of this rotational Killing vector corresponds to a \({\mathbb {C}}/{\mathbb {Z}}_{m_\ell }\) quotient singularity, with \(m_\ell =(n_-,m_-,n_+,m_+)\). While for \(D_1\) and \(D_3\) this is correct, for \(D_2\) and \(D_4\) this conclusion is not precise, as we will show below.
In order to derive the normal vectors \(\vec {n}_\ell \) we need to find an appropriate basis in which to expand the \(\xi _{(\ell )}\). Inspired by (4.3), where \(\partial _{\nu _{2}}\) is the first basis element and \(\xi _{(4)}\) plays the role of \(e_2\), we consider the following basis
in which the degenerating Killing vectors are decomposed as
where we made use of the quantization condition on t in (2.59) in the form
Note that, even though \(x_{N,S}\) and \(\texttt {a}\) are real numbers, all the coefficients in (4.22) are rational. Taking the labels as above, for the “short” vectors we obtain
where we picked the sign of \(\vec {n}_1\) as in (4.11) and the others followed accordingly. However, since these vectors are not primitive elements of \(\mathbb {Z}^2\), they cannot be regarded as the normal vectors to the facets of a polytope, in the sense of [43]. Even adopting the alternative description in which the labels are included in the normal vectors, the “long” vectors associated with (4.24) are not valued in \(\mathbb {Z}^2\):
Although in the mathematical literature there are examples where the normal vectors are allowed to take rational [1, 41] as well as real values [7], the fact that the Killing vectors in (4.22) are not linear combinations of the basis \(\{e_1,e_2\}\) with integer coefficients indicates that the two-torus is not acting effectively. A better basis can be obtained rotating the vectors \(\vec {\hat{n}}_\ell \) through the following \(SL(2,\mathbb {Q})\) matrix
where \(r_-\) is an integer prime to \(m_+\). Defining \(\vec {\hat{w}}_\ell \equiv S\,\vec {\hat{n}}_\ell \), we have
where \(r_\pm \in \mathbb {Z}\) are chosen such that \(t = r_+\,m_+ + r_-\,m_-\), and exist by Bézout’s lemmaFootnote 13, for co-prime \(m_\pm \). The vectors \(\vec {\hat{w}}_\ell \) now take values in \(\mathbb {Z}^2\), with primitive \(\vec {\hat{w}}_2\), \(\vec {\hat{w}}_4\), hence \(m_2 = m_4 = 1\), and non-primitive \(\vec {\hat{w}}_1\), \(\vec {\hat{w}}_3\), corresponding to the labels \(m_1 = n_-\) and \(m_3 = n_+\). We can now define a new basis \(\{E_1,E_2\}\), obtained as \(E_i=S^{-1}_{ji}e_j\), such that
and the degenerating Killing vectors take the form
All the coefficients of this decomposition are now integers, indicating that in this basis the torus action is effective. For completeness we also write the basis vectors in terms of the Killing vectors \(\partial _{\nu _{1}}\) and \(\partial _{\nu _{2}}\)Footnote 14
The combinatorial data can be presented in the form of a stacky fan, as depicted in Fig. 3a. Note that for \(n_+=n_-=1\) this reduces to the “Hirzebruch orbifold” discussed in [54] in the context of toric stacks. We can then read off the order of the quotient singularities at the intersections of the four divisors, corresponding to the four cones \(\tau _\ell \), which are given by \(\mathbb {C}^2/\mathbb {Z}_{\det (\vec {\hat{n}}_\ell ,\vec {\hat{n}}_{\ell +1})}\) and thus read \(\mathbb {C}^2/\mathbb {Z}_{n_-m_-}\), \(\mathbb {C}^2/\mathbb {Z}_{n_+m_-}\), \(\mathbb {C}^2/\mathbb {Z}_{n_+m_+}\), \(\mathbb {C}^2/\mathbb {Z}_{n_-m_+}\), for \(\ell =1,\dots ,4\), respectively. From the toric description, we see that the total space is smooth not only away from the poles of , but also at the poles of , in agreement with [17].
Despite the fact that we do not have a moment map, it is of course possible to formally define a labeled polytope, encapsulating the same combinatorial data. This is obtained from the stacky fan in Fig. 3a, considering the vectors generating the rays of the fan and interpreting them as normal vectors to each facet of the polytope. The labels are read off from the “multiplicities” of the non-primitive vectors. The result is the rational convex polytope depicted in Fig. 3b, described by the labels \(m_\ell =(n_-,1,n_+,1)\) and the primitive normal vectors \(\vec {w}_\ell = \vec {\hat{w}}_\ell /m_\ell \), which together are packed into what we shall refer to as toric data \((\vec {w}_\ell ,m_\ell )\).
4.3 Toric divisors and their intersection
In this section, we will discuss toric divisors with the aim of computing their intersection matrix, that will be a key ingredient in the construction of the entropy function. We will begin recalling some basic facts about divisors in the context of toric varieties (thus, ignoring the labels) and then we will indicate the modifications needed to pass to the broader setting in which our toric orbifolds fit. Recall that all the toric varieties defined by fans are normal and therefore all the (orbifold) singularities are in complex co-dimension higher than one. For toric surfaces \(\mathbb {M}_4\) (i.e., in real dimension 4), this implies that only points can be singular, while there cannot be singularities along divisors. Divisors that are torus-invariant are called toric divisors and are in a one-to-one correspondence with the primitive generators of the rays of the fan. These are in general Weil divisors, but for toric surfaces, since all the fans are necessarily simplicial, all Weil divisors D have an integer multiple lD that is a Cartier divisor—namely they are \(\mathbb {Q}\)-Cartier divisorsFootnote 15. Below, we will consider only such \(\mathbb {Q}\)-Cartier toric divisors, associated with the primitive generators of a fan, \(\vec {v}_\ell \), that will be denoted as \(D_\ell \). As in the previous sections, \(\ell =1,\dots ,n\) runs over the generators of the fan in cyclic order. Furthermore, associated with any toric divisor \(D_\ell \) there is an equivariant line bundle \(L_\ell \), whose first Chern class \(c_1(L_\ell ) \in H^2(\mathbb {M}_4,\mathbb {Q})\) is Poincaré dual to \(D_\ell \). While the second co-homology group of \(\mathbb {M}_4\), \(H^2(\mathbb {M}_4,\mathbb {Q})\), is (\(n-2\))-dimensional, its equivariant extension, generated by the \(c_1(L_\ell )\), has clearly dimension \(n\).
The intersection matrix of the toric divisors is defined as
and by a standard calculation in toric geometry, it reads
where we used the notation \(D_{\ell ,\ell '}[\vec {v}_\ell ]\) to emphasize that it is the intersection matrix of the toric divisors associated with a fan with generators \(\vec {v}_\ell \). It can be easily proven that this satisfies the relation
implying that \(D_{\ell ,\ell '}\), viewed as an \(n\times n\) matrix, has two null eigenvalues, and it is therefore not invertible. This of course is consistent with the fact that \(\dim (H^2(\mathbb {M}_4,\mathbb {Q}))=n-2\) implies that only \(n-2\) toric divisors \(D_\ell \) are independent in homology.
For the special case of toric manifolds, all \(\det (\vec {v}_\ell ,\vec {v}_{\ell +1})=1\), and the above discussion reduces to that in [36]. On the other hand, for our purposes we need to incorporate the effect of the labels. We will refrain from attempting a rigorous treatment, indicating a natural way to take into account this additional information. If we have a labeled polytope/stacky fan described by “long” vectors \(\vec {\hat{v}}_\ell = m_\ell \vec {v}_\ell \), it is natural to associate a divisor \(\hat{D}_\ell \) to \(\vec {\hat{v}}_\ell \), which is related to \(D_\ell \) simply by
In particular, this implies that for any two-form \(\Lambda \) the integrals over the two sets of divisors are related as
and the intersection matrix of the divisors \({\hat{D}_\ell }\) is given by
Correspondingly, the first Chern classes of the dual line bundles are related as \(c_1(L_\ell ) = m_\ell \,c_1(\hat{L}_\ell )\). Since we can use either \(c_1(L_\ell )\) or \(c_1(\hat{L}_\ell )\) as basis for \(H^2(\mathbb {M}_4,\mathbb {Q})\), these two descriptions are essentially interchangeable.
We note that \(\hat{D}_{\ell ,\ell '}\) is invariant under \(SL(2,\mathbb {Z})\) transformations of the basis and more generally for any transformation in \(SL(2,\mathbb {R})\). This follows immediately from the fact that given any two vectors \(\vec {v}_1,\vec {v}_2 \in \mathbb {R}^2\), \(\det (\vec {v}_1,\vec {v}_2)\) is invariant under \(SL(2,\mathbb {R})\) transformations of the two vectors. In particular, taking a generic matrix \(S \in SL(2,\mathbb {R})\) and transforming the vectors as \(\vec {v}'_a = S\,\vec {v}_a\), we have that S acts on the matrix \((\vec {v}_1,\vec {v}_2)\) simply by matrix multiplication, i.e., \((\vec {v}'_1,\vec {v}'_2) = S\,(\vec {v}_1,\vec {v}_2)\), therefore
This property implies that formally the intersection matrix of the divisors computed in the two bases \(\vec {\hat{w}}_\ell \) and \(\vec {\hat{n}}_\ell \) are identical, being related by the \(SL(2,\mathbb {Q})\) transformation (4.26).
In order to make contact with the computations in supergravity, we need to describe the relation between the toric divisors defined above and the representative of the cycles, that we used to integrate fluxes in our main example of . The \(S_\pm \) introduced in Sect. 2.2 were precisely two copies of the base at the south pole (section at infinity) and north pole (zero section) of the fiber , and we can identify these with the toric divisors \(D_1\) and \(D_3\) as
On the other hand, \(D_2\) and \(D_4\) correspond to copies of the fiber at the poles of the base . In the smooth case (\(m_+=m_-=1\)), these would be simply homologous to . However, the orbifold singularities of the base imply that instead
where , respectively. Therefore, in order to compare the integral of a two-form \(\Lambda \) over \(X_\pm \) with the integral over at a generic point of we should use the relation
Since in Sect. 2.2 the fluxes were computed integrating on (see, e.g., (2.51)), the integrals computed using \(X_\pm \) will have to be multiplied by a factor of \(m_\pm \) to be compared with the fluxes computed in Sect. 2.2.
5 The entropy function
We conjecture that the solutions presented in Sect. 2.2 are holographically dual to one-dimensional SCQMs obtained compactifying on a the five-dimensional SCFTs dual to the solution of [12]. In this section, we provide supporting evidence for this conjecture, proposing an entropy function, whose extremization reproduces the entropy (3.30) of the (putative) black hole near-horizon . Starting from first principles, this function should be derived from the localized partition function of the \(d=5\) SCFT, placed on the background of , and then taking the large N limit. Following the idea of “gravitational blocks” [37], we will propose a large N entropy function on obtained by suitably gluing the \(S^5\) free energy of the \(d=5\) theories. With some further assumptions, this prescription can be applied also to the solutions of Sect. 2.1. The prescription that we propose extends the results of [27] to a broader class of configurations, including solutions arising in \(D=7\) supergravity.
5.1 Twisting data
In this section, we consider the compactification of five- and six-dimensional SCFTs on a four-dimensional toric orbifold \(\mathbb {M}_4\). Specifically, we place the theory on \(\mathbb {M}_4\) and couple it to two background gauge fields \(A_i\), with appropriately quantized magnetic fluxes. All the information about \(\mathbb {M}_4\) is encoded in the toric data \((\vec {v}_\ell ,m_\ell )\), which can be thought of as the data defining a labeled polytope. The vectors \(\vec {v}_\ell \) must be primitive, \(\mathbb {Z}^2\)-valued and, in our conventions, ordered counterclockwise. The recipe we will formulate is in principle applicable to toric orbifolds (including smooth toric manifolds) with an arbitrary number \(n\ge 3\) of fixed points.
Consider the two line bundles \(E_i\) on which the one-forms \(-A_i\) are the connections. Since the set of \(c_1(L_{\ell })\) form a basis for the equivariant extension of \(H^2(\mathbb {M}_4,\mathbb {Q})\), we can decompose the first Chern class of \(E_i\) as
where \(\mathfrak {p}_i^{(\ell )} \in \mathbb {Q}\). The “physical fluxes” are defined asFootnote 16
and using (5.1) we obtain the relation
where \(D_{\ell ,\ell '}\) is the intersection matrix defined in (4.32). We recall that \(H^2(\mathbb {M}_4,\mathbb {Q})\) has dimension \(n-2\), thus the whole set of \(\mathfrak {p}_i^{(\ell )}\) is a redundant parameterization. In particular, for fixed i, only \(n-2\) of the \(\mathfrak {p}_i^{(\ell )}\) are linearly independent. The two additional degrees of freedom are the expression of a gauge symmetry that we will discuss in the next subsection.
A further consequence of relation (4.33) is that, combined with (5.3), it gives
This is a vector equation and, for fixed i, we have \(n\) fluxes \(\mathfrak {q}_i^{(\ell )}\) constrained by two equations, one for each component of the two-dimensional vectors \(\vec {v}_\ell \). Therefore, only \(n-2\) physical fluxes are linearly independent. In what follows, given a generic toric orbifold with arbitrary fluxes, we shall require them to satisfy the constraint (5.4). We can now go back to relation (5.3). As we explained, it represents a linear system of \({{\,\textrm{rank}\,}}(D_{\ell ,\ell '}) = n-2\) independent equations for \(n-2\) independent unknowns \(\mathfrak {p}_i^{(\ell )}\). Eliminating the redundant equations, we can solve this system and obtain \(\mathfrak {p}_i^{(\ell )}\) in terms of \(\mathfrak {q}_i^{(\ell )}\), up to gauge transformations.
Equation (5.4) imposes a similar condition on the R-symmetry fluxes \(\mathfrak {q}_R^{(\ell )} \equiv \mathfrak {q}_1^{(\ell )}+\mathfrak {q}_2^{(\ell )}\), specifically \(\sum _\ell \mathfrak {q}_R^{(\ell )} \vec {v}_\ell = 0\). This constraint can be solved writing
where \(m_\ell \) are the labels of the labeled polytope associated with \(\mathbb {M}_4\) and, a priori, \(\sigma ^{(\ell )}\) are n arbitrary coefficients. Denoting as \(E_R\) the R-symmetry (orbifold) line bundle, Eq. (5.5) can be rewritten as
or, following standard practice, as \(c_1(E_R) = -\sum _{\ell }\sigma ^{(\ell )} {\hat{D}}_{\ell }\). Note that the standard topological twist corresponds to identifying \(E_R\) with the orbifold canonical line bundle \(K^\textrm{orb}_{\mathbb {M}_4} = -\sum _\ell {\hat{D}}_\ell \) and hence \(\sigma ^{(\ell )}_\mathrm {top\text{- }twist}=(+,\dots ,+)\). See, e.g., [46] for a related discussion of orbifold line bundles.
In analogy with the case of the spindle [31], we conjecture that the only possible values of \(\sigma ^{(\ell )}\) are \(\pm 1\). This hypothesis is supported by the different examples analyzed, as we shall see. In other words, we expect that it should be possible to compactify a SCFT on a toric orbifold \(\mathbb {M}_4\), turning on a background R-symmetry gauge field with magnetic fluxes given in (5.5), with \(\sigma ^{(\ell )}\) parameterizing the different supersymmetry-preserving twists. Of course, we have not proven that all these different twists preserve supersymmetry, nor that there cannot exist more general twists. It would be interesting to carry out such an analysis extending the results of [31], where it was demonstrated that, in whole generality, on a spindle the only two supersymmetry-preserving twists are the twist and the anti-twist.
5.2 The recipe
We conjecture that given a general class of SCFTs in \(d=5,6\) compactified on a four-dimensional toric orbifold \(\mathbb {M}_4\), with an arbitrary twist parameterized by a set of signs \(\sigma ^{(\ell )}\) as in (5.5), the corresponding entropy/central charge, respectively, is determined extremizing the following off-shell free energy
The sum runs over the \(n\) fixed points \(v_\ell \) of the toric orbifold \(\mathbb {M}_4\), \(k_d\) is a numerical constant, which, a posteriori, takes the values
\(d_{\ell ,\ell +1}\) is defined as \(d_{\ell ,\ell '} \equiv d_{\ell ,\ell '}[\vec {v}_\ell ] = \det (\vec {v}_\ell , \vec {v}_{\ell '})\) and \(\mathcal {F}_d\) are the usual gravitational blocks (cf. table 2 of [27])
The variables \(\Phi _i^{(\ell )}\) are defined as
and the auxiliary quantities \(\epsilon _1^{(\ell )}\) and \(\epsilon _2^{(\ell )}\) read
with \(\vec {\epsilon }=(\epsilon _1,\epsilon _2)\)Footnote 17. Here, \(\epsilon _1\) and \(\epsilon _2\) may be interpreted as the fugacities associated with the two U(1) rotational symmetries and parameterize their mixing with the R-symmetry. \(\eta _d^{(\ell )}=\pm \) are signs that at this stage must be tuned by hand: in particular we believe that in generalFootnote 18 in \(d=6\) they are all \(+\), while for \(d=5\) they are related to the type of twist and we speculate that \(\eta _5^{(\ell )} = \sigma ^{(\ell )}\sigma ^{(\ell +1)}\). In the next section we will see some explicit examples applying this prescription to the family. In this construction, \(\varphi _i\) and \(\epsilon _i\) are variables with respect to which one has to extremize \(F(\varphi _i,\epsilon _i)\), \(\vec {v}_\ell \) and \(m_\ell \) are data describing the toric orbifold \(\mathbb {M}_4\) and \(\mathfrak {p}_i^{(\ell )}\) are related to the physical fluxes \(\mathfrak {q}_i^{(\ell )}\) through (5.3).
The variables \(\varphi _i\) and \(\epsilon _i\) are subject to the constraint
where \(\vec {W}\) is a two-dimensional constant vector parameterizing a “gauge invariance” of the problem, that we discuss below. This condition is inherited from the R-symmetry constraint \(\Delta _1+\Delta _2=2\), where \(\Delta _i\) are the fugacities parameterizing the R-symmetry within the Cartan subgroup of the global symmetries of the d-dimensional parent theory. The vector \(\vec {W}\) can be determined imposing
which is a system of \(n\) equations – one for each value of \(\ell \) – for the two components of \(\vec {W}\), and it is thus overdetermined. Yet, a solution always exists. By means of Eqs. (5.3) and (5.13) we can write the following chain of equalities
where, in the last step, we made use of (4.33). First of all, this relation proves the consistency of (5.13), since, as it should be, the physical quantities \(\mathfrak {q}_R^{(\ell )}\) do not depend on the auxiliary vector \(\vec {W}\). Moreover, it shows that \(n-2\) independent linear combinations of Eqs. (5.13), obtained contracting them with \(D_{\ell ,\ell '}\), are already satisfied once (5.5) is imposed. The result is a linear system of two independent equations with two unknowns, that can always be solved.
As we already mentioned, the quantity \(\det (\vec {v}_1,\vec {v}_2)\) is invariant under \(SL(2,\mathbb {R})\) transformations of the two vectors \(\vec {v}_1,\vec {v}_2 \in \mathbb {R}^2\). This property is fundamental for the consistency of our construction. A given toric orbifold can be described by an infinite number of polytopes equivalent under \(SL(2,\mathbb {Z})\) transformations of the vectors \(\vec {v}_\ell \). These transformations are generated by rotations of the basis vectors \((e_1,e_2)\) that give rise to effective torus actions. On the other hand, we expect the free energy not to be affected by these transformations and, indeed, this is the case. If we perform an \(SL(2,\mathbb {Z})\) rotation of the vectors \(\vec {v}_\ell \), the expression of the intersection matrix \(D_{\ell ,\ell '}\) is retained, and the explicit form of the off-shell free energy is not modified provided we apply exactly the same transformation to \(\vec {\epsilon }\) and \(\vec {W}\).
The off-shell entropy function we constructed enjoys also another symmetry, the gauge symmetry we mentioned before. Thanks to (4.33), relation (5.3) is left invariant under the “gauge transformation”
for any two-dimensional constant vector \(\vec {\lambda }_i\). This transformation affects the value of the vector \(\vec {W}\) appearing in the constraint. Specifically, since \(\sigma ^{(\ell )}\) and \(m_\ell \) are fixed, we must impose
which returns \(\vec {\tilde{W}}=\vec {W}+\vec {\lambda }_1+\vec {\lambda }_2\). Introducing the new variables \(\tilde{\varphi }_i = \varphi _i+\det (\vec {\lambda }_i,\vec {\epsilon })\) it is possible to keep the functional expression of \(\Phi _i^{(\ell )}\) unmodified, i.e., \(\Phi _i^{(\ell )}(\tilde{\varphi },\tilde{\mathfrak {p}}) = \Phi _i^{(\ell )}(\varphi ,\mathfrak {p})\). Remarkably, the constraint changes accordingly
As a result, both the off-shell free energy and the constraint retain the same functional expression under the gauge transformation (5.15), thus the value of the former at its critical points will be the same.
The proposed prescription takes inspiration from [36] and extends their construction to compactifications on generic toric orbifolds. Moreover, it also applies to \(d=5\), generalizing the formulas presented in [27] for compactifications on \(\Sigma _{\textrm{g}_1}\times \Sigma _{\textrm{g}_2}\) and , to the case of fibered spaces. The constrained extremization of \(F(\varphi _i,\epsilon _i)\) can be performed defining the function
and extremizing it with respect to \(\varphi _i\), \(\epsilon _i\) and the Lagrangian multiplier \(\Lambda \). In order to solve this problem, it might be helpful to notice that (5.7) is homogeneous of degree h in \(\varphi _i\) and \(\epsilon _i\) (\(h=1\) for \(d=5\), \(h=2\) for \(d=6\)). As a consequence, by Euler’s theorem, we have \(F(\varphi _i^*,\epsilon _i^*)=-\frac{2}{h}\Lambda ^*\).
5.3 Application to the AdS solutions
The first example to which we can apply the prescription presented in the previous section is the solution (2.40). We now briefly collect some of the results needed in the construction. The toric orbifold can be described by the toric data (see Sect. 4.2)
with \(t = r_+\,m_+ + r_-\,m_-\). The vectors \(\vec {w}_\ell \) are integers, primitive and ordered counterclockwise, as required by the recipe. Keeping in mind all the observations about divisors made in Sect. 4.3, the physical fluxes defined in (5.2) read
where \(\mathfrak {s}_i^+\), \(\mathfrak {s}_i^-\) and \(\mathfrak {t}_i\) are given, respectively, in (2.61), (2.60) and (2.28). The intersection matrix \(D_{\ell ,\ell '}\), computed straightforwardly using (4.32), reads
and imposing (5.5) we obtain the vector of twists
Taking advantage of the gauge symmetry, we impose \(\mathfrak {p}_i^{(1)}=\mathfrak {p}_i^{(3)}\) and \(\mathfrak {p}_i^{(2)}/m_-=\mathfrak {p}_i^{(4)}/m_+\). Therefore, the relation (5.3) yields the identifications
where we defined \(\mathfrak {s}_i^* \equiv \frac{\mathfrak {s}_i^+ + \mathfrak {s}_i^-}{2}\). In particular, \(\mathfrak {s}_1^*\) explicitly reads
and \(\mathfrak {s}_2^*\) can be obtained flipping the sign of \(\texttt {z}\). With this definition, \(\mathfrak {s}_i^\pm \) can be written as
System (5.13) can be solved to get \(\vec {W}\), which gives the constraint (5.12)
The ingredients \(\epsilon _{1,2}^{(\ell )}\) and \(\Phi _i^{(\ell )}\) can be constructed by means of (5.11) and (5.10), whereas the off-shell free energy (5.7) reads
where the relative signs have been fixed using the prescription \(\eta _5^{(\ell )} = \sigma ^{(\ell )}\sigma ^{(\ell +1)}\).
We can now proceed to the extremization of the off-shell free energy and, after some work, we get the critical values
where the sign ambiguity \(\eta =\pm 1\) arises by solving the equations over the complex numbersFootnote 19. Inserting these values back into (5.27), we obtain
where is given in (3.24). In order to get a positive entropy, we need to pick \(\eta =-1\) and in this case the result agrees with the gravitational entropy (3.30).
We propose that the procedure we formulated can be extended also to non-toric four-dimensional orbifolds, e.g., in the presence of Riemann surfaces as submanifold. In this case, we can adopt the same toric data obtained replacing \({\Sigma _\textrm{g}}\) (\(\textrm{g}>1\)) with \(S^2\), setting \(\textrm{g}=0\) whenever it occurs in (5.13) and (5.5). The genus is preserved in the explicit expression of the fluxes. Specifically, we will test our conjecture against the system (2.9). The “toric data” are given in (4.11) and (4.9), the physical fluxes are the same as in the previous example, with \(m_\pm =1\), and now \(\mathfrak {s}_i^\pm \) can be read in (2.38) and (2.37). The fluxes \(\mathfrak {p}_i^{(\ell )}\) are identified as before and \(\mathfrak {s}_i^*\) retains the same form, but, again, with \(m_\pm =1\) and t as in (2.36). The constraint on the variables \(\varphi _i\) and \(\epsilon _i\) is
whereas the off-shell free energy reads
where again the relative signs were chosen to be \(\eta _5^{(\ell )} = \sigma ^{(\ell )}\sigma ^{(\ell +1)}\). These different gluing signs are due to the different types of twist that we have. In particular, on both \({\Sigma _\textrm{g}}\) and the twist is realized, in contrast to the previous case, in which we had anti-twist on . The off-shell free energy is extremized by
to which corresponds the critical value
Also in this case, the result returned by the extremization agrees with the entropy computed from the ten-dimensional supergravity solution (3.23).
5.4 Application to the AdS solutions
The conjectured prescription presented at the beginning of this section can also be applied to another interesting family, the solutions constructed in [17]Footnote 20. The toric data of the toric orbifold are derived in Appendix C.3 and we recall them here for the reader’s convenience
with \(t = r_+\,m_+ + r_-\,m_-\). Global conditions lead to
where \(p_1\) and \(p_2\) are two integers related to the magnetic fluxes as in (2.11) of [17]. The physical fluxes can be computed as in the previous example and, compactly, they read
where \(\mathfrak {s}_1^-\) corresponds to the flux computed in (3.15) of [17], \(\mathfrak {s}_2^-\) and \(\mathfrak {s}_i^+\) can be derived from the former and \(\mathfrak {t}_i=\frac{p_i}{n_+ n_-}\). The gauge symmetry allows us to impose \(\mathfrak {p}_i^{(1)}=\mathfrak {p}_i^{(3)}\) and \(\mathfrak {p}_i^{(2)}/m_-=\mathfrak {p}_i^{(4)}/m_+\), which yields, through (5.3), the identifications
For later convenience we defined \(\mathfrak {s}_1^* \equiv \frac{\mathfrak {s}_i^+ + \mathfrak {s}_i^-}{2}\), whose expression is
The fluxes \(\mathfrak {s}_i^\pm \) are related to \(\mathfrak {s}_i^*\) through
The constraint can be derived following the path traced in the previous case and reads
Notice that this expression is identical to (5.26). As we discussed in Sect. 5.2, in \(d=6\) we set \(\eta _6^{(\ell )}=+\) for all \(\ell \). Remarkably, this implies that F is quadratic in the \(\varphi _i\), as expected for the off-shell central charge of a two-dimensional SCFT [8]. Explicitly, this reads
The extremization procedure, realized by means of Lagrangian multipliers, gives the critical valuesFootnote 21
which, plugged into the off-shell central charge, gives
where \(a_{4\textrm{d}}\) is the central charge of \(d=4\), \({\mathcal {N}}=1\) SCFTs that arise from N M5-branes wrapped on a spindle [29]
This matches exactly the central charge of the system computed in [17]. In general, we expect that the anomaly polynomial computation of [17] and the prescription presented in this paper should be equivalent and connected by a suitable gauge choice and a possible redefinition of \(\epsilon _{1,2}\), mixing the two related U(1) isometries.
As explained in the previous section, our recipe can be applied also to non-toric four-dimensional orbifolds. In this class, we consider , whose “toric data” are deduced in Appendix C.2 for and read
Global regularity leads to
with \(\texttt {s}\) given in Eq. (5.35). We take the physical fluxes to be as in (5.36), where \(\mathfrak {t}_i=\frac{p_i}{n_+ n_-}\) is unchanged and \(\mathfrak {s}_i^\pm \) can be read from (4.7) of [17]. The gauge symmetry allows us to identify the \(\mathfrak {p}_i^{(\ell )}\) as in Eq. (5.37), with \(\mathfrak {s}_i^\pm = \mathfrak {s}_i^*\pm \frac{t}{2}\mathfrak {t}_i\) and
We can then solve Eq. (5.5) to obtain \(\sigma ^{(\ell )}=(+,-,+,-)\), use it to identify the auxiliary vector \(\vec {W}\) through (5.13) and write down the constraint (5.12)
This is the same as in (5.30), with \(t \mapsto -t\) and \(\epsilon _{1,2} \mapsto -\epsilon _{1,2}\), due to the different conventions used in [17].
Taking all the \(\eta _6^{(\ell )}=-\) and extremizing Eq. (5.18) with respect to \(\varphi _i, \,\epsilon _i\) and \(\Lambda \), we obtain the critical values
as well as the off-shell central charge at the extremum
with \(a_{4\textrm{d}}\) given in (5.44). This result agrees with the central charge of the system studied in [17]. The origin of the choice of the \(\eta _6^{(\ell )}\) can be traced to the sign of the gauge potential of the five-dimensional solution that the authors of [17] uplifted to obtain the backgrounds. The component along \(\textrm{AdS}_3\) of their Killing spinors satisfy the corresponding Killing spinor equations, but with a minus, namely \({\hat{\nabla }_{\hat{\mu }} \vartheta = -\frac{1}{2} \alpha _{\hat{\mu }} \vartheta }\), which implies that in the two-dimensional dual SCFTs (2, 0) supersymmetries are preserved, instead of (0, 2) as in our case. This fact leads to a different sign in the extraction of the central charge from the anomaly polynomial.
6 Discussion
In this paper, we have presented two new families of supersymmetric \(\textrm{AdS}_2\) solutions of massive type IIA supergravity, associated with D4-branes wrapped on four-dimensional orbifolds \(\mathbb {M}_4\), which may be viewed as two different generalizations of the Hirzebruch surfaces. In one case, is a spindle fibered over a smooth Riemann surface \({\Sigma _\textrm{g}}\) of genus \(\textrm{g}>1\), while in the other case is a spindle fibered over another spindle . We have argued that these are dual to \({{{\mathcal {N}}}}=2\) SCQMs arising from different twisted compactifications of the \(d=5\), \({{{\mathcal {N}}}}=1\) USp(2N) supersymmetric gauge theories on \(\mathbb {M}_4\). The structure of these solutions is analogous to that of the \(\textrm{AdS}_3\) solutions constructed in [17] and indeed for the family we have provided a toric geometry description and formulated a conjectural extremal problem that applies to both classes.
As in [17], the solutions that we found have less parameters than the data specifying the orbifolds \(\mathbb {M}_4\). In particular, the twisting parameter t is not an arbitrary integer, but it is unnaturally related to the spindle data \(n_\pm \), \(m_\pm \). We therefore expect more general solutions to exist, although the ansatz describing them is likely to be quite different from those employed here and in [17]. Furthermore, the toric description of the solutions strongly suggests that there exist solutions corresponding to toric orbifolds with an arbitrary number of fixed points, and could include the case of toric manifolds.
While in this paper we provided a basic description of the orbifolds, which was adequate for characterizing the present solutions, it would be desirable to study more systematically their underlying structure. For example, it would be useful to perform a global analysis of the gauge fields and Killing spinors on \(\mathbb {M}_4\), determining the bundles of which these are sections. Relatedly, given a generic compact four-dimensional toric orbifold \(\mathbb {M}_4\), it would be nice to determine what are the allowed supersymmetry-preserving twists. It could also be useful to cast our solutions in terms of classifications of supersymmetric solutions of massive type IIA supergravity, or to characterize them directly in the context of \(D=6\) and \(D=7\) gauged supergravities. For example, we expect that generic \(\mathbb {M}_4\)’s will be endowed with a canonical complex structureFootnote 22. Another natural extension of our results is to investigate whether supersymmetric \(\textrm{AdS}_6\) black holes with \(\mathbb {M}_4\) horizons can be constructed.
In this paper, we have proposed an entropy function constructed assembling gravitational blocks, extending the proposal of [27] from the spindle to a very general class of four-dimensional orbifolds. We believe that our approach will be applicable to orbifolds more general than those for which we constructed explicit solutions here. However, finding additional explicit examples may lead to a more refined formulation of our recipe. Similarly to the spindle off-shell free energies [27], it is striking that the structure we introduced applies to both \(D=6\) and \(D=7\) supergravities, with minor tweaks. In the context of \(D=7\) supergravity, our proposal reproduces the results obtained by integrating the M5-branes anomaly polynomial on compact toric four-manifolds [36] and on the orbifolds [17]. On the other hand, in the context of \(D=6\) supergravity, at present we do not have access to any field theory computation and therefore our proposal gives a prediction for the large N limit of the localized partition function of the \(d=5\), \({{{\mathcal {N}}}}=1\) USp(2N) on \(S^1\times \mathbb {M}_4\).
Data availibility
Data sharing not applicable to this article as no datasets were generated or analyzed during the current study.
Notes
Here and in what follows we define, for any p-form \(\omega \), \(|\omega |^2 = \frac{1}{p!} \, \omega _{\mu _1\ldots \mu _p} \omega ^{\mu _1\ldots \mu _p}\).
Taking \(g>0\) and \(m>0\), we can apply the rescaling (2.4) of [27], together with \(B \mapsto (m/l g)^{-1/2} B\), in order to absorb m in the coupling constant.
Notice that we exchanged \(m_-\) and \(m_+\) with respect to [28].
This truncation has been proved to be consistent and to preserve supersymmetry in [20].
Here we relabeled \(\eta ^1\) with \(\eta \) and \(\xi _\eta \) with \(\xi \) with respect to (2.19).
Here, \(\zeta \) is a superposition of the two Killing spinors \(\widetilde{\epsilon }_1\) and \(\widetilde{\epsilon }_2\) of [32].
A more general truncation ansatz, which does not require \(m = 2g/3\), has been proposed in [20].
Here we use the shortcut \(B_{(2)}^n\) to denote the wedge product of \(B_{(2)}\) with itself n times, divided by n!.
We exchanged \(e_1\) and \(e_2\) with respect to [45] in order to have the vectors \(\vec {n}_\ell \) ordered counterclockwise.
A real and positive solution to this differential equation exists and is unique, up to an irrelevant overall constant.
With a slight abuse of notation, we denote as \(v_\ell \) both the fixed points and the vertices. Moreover, we denoted as \(D_\ell \) both the facets and the corresponding divisors, i.e., their preimages under \(\vec {\mu }\).
By Bézout’s lemma, if \(m_+\) and \(m_-\) are co-prime, there exist \(a_\pm \in \mathbb {Z}\) such that \( a_+\,m_+ + a_-\,m_-=1\). Then we take \(r_+=t\,a_+\) and \(r_-=t\,a_-\).
Notice that \(E_2\) is finite also when \(m_+=m_-=1\). Indeed, in this limit we have \(r_++r_-=t\), which is proportional to \(m_+-m_-\) (cf. (2.59)), thus eliminating the vanishing denominator.
Varieties with such a property are called \(\mathbb {Q}\)-factorial.
Here and in the following, we shall rename the background gauge fields as \(g A_i \mapsto A_i\), which is more natural from the field theory point of view.
The two variables \(\epsilon _{1,2}\) are different from the ones adopted in [27]. Specifically, \(\epsilon _i^\textrm{here} = 2\epsilon _i^\textrm{there}\).
Due to different conventions they could also be all −, as explained at the end of Sect. 5.4.
Generically, in the presence of rotation we have to work with the complex numbers [16]; therefore, we continue to do so also in the static case.
In order to make the analogy with the systems more manifest, we exchanged \(n_+ \leftrightarrow n_-\) and \(m_+ \leftrightarrow m_-\) with respect to [17].
We notice that the expression of \(\varphi _i^*\), written in this seemingly cumbersome way, is identical to the corresponding quantity of the extremization.
We note that the orbifolds have been discussed in the mathematical literature in the context of toric Kähler geometry and were referred to as “Hirzebruch orbifold surfaces” [3]. In particular, the authors of [41] classified four-dimensional toric Kähler orbifolds associated with labeled polytopes with four edges (quadrilaterals) and showed that they admit an extremal Kähler metric of Calabi type if and only if the base spindle is actually a smooth two-sphere (i.e., \(m_+ = m_- = 1\)).
To stick to our notation, we relabeled the coordinates (y, z) as \((x,\psi )\) and the integers \(n_\pm \) as \(m_\mp \).
The gauge potential has a different sign with respect to [40], but the solution is equivalent and still supersymmetric.
Here, we replaced \(\ell \) with l in order to avoid confusion with the index of the fixed points.
We exchanged \(e_1\) and \(e_2\) with respect to [45] in order to stick to our notation of counterclockwise ordered normal vectors.
In order to make the comparison with [17] easier, we relabeled \(\phi \) and a therein as z and \(\texttt {a}\) and exchanged \(n_+ \leftrightarrow n_-\).
Notice that here t is a positive integer, due to the different convention of [17] in defining \(\omega \).
In addition to \(n_\pm \), we also exchanged \(m_+ \leftrightarrow m_-\).
References
Abreu, M.: Kahler–Sasaki geometry of toric symplectic cones in action-angle coordinates. Port. Math. 67, 121 (2010). https://doi.org/10.4171/PM/1862. arXiv:0912.0492
Andrianopoli, L., D’Auria, R., Vaula, S.: Matter coupled F(4) gauged supergravity Lagrangian. JHEP 05, 065 (2001). https://doi.org/10.1088/1126-6708/2001/05/065
Apostolov, V., Calderbank, D.M.J., Gauduchon, P.: Ambitoric geometry II: Extremal toric surfaces and Einstein 4-orbifolds, Ann. Sci. Ec. Norm. Super. 48, 1075 (2015). https://doi.org/10.24033/asens.2266. arXiv:1302.6979
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
Bah, I., Bonetti, F., Minasian, R., Nardoni, E.: Holographic Duals of Argyres–Douglas Theories. Phys. Rev. Lett. 127, 211601 (2021). https://doi.org/10.1103/PhysRevLett.127.211601. arXiv:2105.11567
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
Battaglia, F., Prato, E., Zaffran, D.: Hirzebruch surfaces in a one-parameter family. Boll. Unione Mat. Ital. 12, 293 (2019). https://doi.org/10.1007/s40574-018-0181-1. arXiv:1804.08503
Benini, F., Bobev, N.: Exact two-dimensional superconformal R-symmetry and c-extremization. Phys. Rev. Lett. 110, 061601 (2013). https://doi.org/10.1103/PhysRevLett.110.061601. arXiv:1211.4030
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
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
Borisov, L.A., Chen, L., Smith, G.G.: The orbifold Chow ring of toric Deligne–Mumford stacks. J. Am. Math. Soc. 18, 193 (2005). https://doi.org/10.1090/S0894-0347-04-00471-0. arXiv:math/0309229
Brandhuber, A., Oz, Y.: The D-4 - D-8 brane system and five-dimensional fixed points. Phys. Lett. B 460, 307 (1999). https://doi.org/10.1016/S0370-2693(99)00763-7. arXiv:hep-th/9905148
Cacciatori, S.L., Klemm, D.: Supersymmetric AdS(4) black holes and attractors. JHEP 01, 085 (2010). https://doi.org/10.1007/JHEP01(2010)085. arXiv:0911.4926
Caldarelli, M.M., Klemm, D.: Supersymmetry of Anti-de Sitter black holes. Nucl. Phys. B 545, 434 (1999). https://doi.org/10.1016/S0550-3213(98)00846-3. arXiv: hep-th/9808097
Cannas da Silva, A.: Lectures on symplectic geometry, vol. 1764 of Lecture Notes in Mathematics. Springer, Berlin (2001). https://doi.org/10.1007/978-3-540-45330-7
Cassani, D., Gauntlett, J.P., Martelli, D., Sparks, J.: Thermodynamics of accelerating and supersymmetric AdS4 black holes. Phys. Rev. D 104, 086005 (2021). https://doi.org/10.1103/PhysRevD.104.086005. arXiv:2106.05571
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
Couzens, C.: A tale of (M)2 twists. JHEP 03, 078 (2022). https://doi.org/10.1007/JHEP03(2022)078. arXiv:2112.04462
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
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
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]
Couzens, C., Stemerdink, K.: Universal spindles: D2’s on \(\Sigma \) and M5’s on \(\Sigma \times {\mathbb{H}}^3\). arXiv:2207.06449
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
Cvetic, M., Gubser, S.S., Lu, H., Pope, C.N.: Symmetric potentials of gauged supergravities in diverse dimensions and Coulomb branch of gauge theories. Phys. Rev. D 62, 086003 (2000). https://doi.org/10.1103/PhysRevD.62.086003. [arXiv:hep-th/9909121]
Cvetic, M., Lu, H., Pope, C.N.: Gauged six-dimensional supergravity from massive type IIA. Phys. Rev. Lett. 83, 5226 (1999). https://doi.org/10.1103/PhysRevLett.83.5226. arXiv:hep-th/9906221
D’Auria, R., Ferrara, S., Vaula, S.: Matter coupled F(4) supergravity and the AdS(6) / CFT(5) correspondence. JHEP 10, 013 (2000). https://doi.org/10.1088/1126-6708/2000/10/013. arXiv: hep-th/0006107
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
Ferrero, P., Gauntlett, J.P., Ipiña, J.M.P., Martelli, D., Sparks, J.: Accelerating black holes and spinning spindles. Phys. Rev. D 104, 046007 (2021). https://doi.org/10.1103/PhysRevD.104.046007. arXiv:2012.08530
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
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, 111601 (2021). https://doi.org/10.1103/PhysRevLett.126.111601. arXiv:2011.10579
Ferrero, P., Gauntlett, J.P., Sparks, J.: Supersymmetric spindles. JHEP 01, 102 (2022). https://doi.org/10.1007/JHEP01(2022)102. arXiv:2112.01543
Ferrero, P., Inglese, M., Martelli, D., Sparks, J.: Multicharge accelerating black holes and spinning spindles. Phys. Rev. D 105, 126001 (2022). https://doi.org/10.1103/PhysRevD.105.126001. arXiv:2109.14625
Giri, S.: Black holes with spindles at the horizon. JHEP 06, 145 (2022). https://doi.org/10.1007/JHEP06(2022)145. arXiv:2112.04431
Hochenegger, A., Witt, F.: On complex and symplectic toric stacks. Contributions to Algebraic Geometry 305 (2012). https://doi.org/10.4171/114-1/11. arXiv:1105.6280
Hosseini, S.M., Hristov, K., Passias, A., Zaffaroni, A.: 6D attractors and black hole microstates. JHEP 12, 001 (2018). https://doi.org/10.1007/JHEP12(2018)001. arXiv:1809.10685
Hosseini, S.M., Hristov, K., Tachikawa, Y., Zaffaroni, A.: Anomalies, Black strings and the charged Cardy formula. JHEP 09, 167 (2020). https://doi.org/10.1007/JHEP09(2020)167. arXiv:2006.08629
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
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
Karndumri, P., Nuchino, P.: Five-branes wrapped on topological disks from 7D N=2 gauged supergravity. Phys. Rev. D 105, 066010 (2022). https://doi.org/10.1103/PhysRevD.105.066010. arXiv:2201.05037
Klemm, D., Sabra, W.A.: Supersymmetry of black strings in D = 5 gauged supergravities. Phys. Rev. D 62, 024003 (2000). https://doi.org/10.1103/PhysRevD.62.024003. arXiv:hep-th/0001131
Legendre, E.: Toric geometry of convex quadrilaterals. J. Symplectic Geom. 9, 343 (2011). https://doi.org/10.4310/JSG.2011.V9.N3.A3. arXiv:0909.4512
Lerman, E., Malkin, A.: Hamiltonian group actions on symplectic Deligne–Mumford stacks and toric orbifolds. Adv. Math. 229, 984 (2012). https://doi.org/10.1016/J.AiM.2011.10.013. arXiv:0908.0903
Lerman, E., Tolman, S.: Hamiltonian torus actions on symplectic orbifolds and toric varieties. Trans. Am. Math. Soc. 349, 4201 (1997). https://doi.org/10.1090/S0002-9947-97-01821-7. arXiv:dg-ga/9511008
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 (2001). https://doi.org/10.1142/S0217751X01003937. arXiv:hep-th/0007018
Martelli, D., Sparks, J.: Toric geometry, Sasaki-Einstein manifolds and a new infinite class of AdS/CFT duals. Commun. Math. Phys. 262, 51 (2006). https://doi.org/10.1007/s00220-005-1425-3arXiv:hep-th/0411238
Martelli, D., Sparks, J.: Resolutions of non-regular Ricci-flat Kahler cones. J. Geom. Phys. 59, 1175 (2009). https://doi.org/10.1016/j.geomphys.2009.06.005. arXiv:0707.1674
Romans, L.J.: The F(4) Gauged Supergravity in Six-dimensions. Nucl. Phys. B 269, 691 (1986). https://doi.org/10.1016/0550-3213(86)90517-1
Sakai, H.: The Symplectic Deligne-Mumford Stack Associated to a Stacky Polytope. Results. Math. 63, 903 (2013). https://doi.org/10.1007/s00025-012-0240-3. arXiv:1009.3547
Suh, M.: Supersymmetric \(AdS_6\) black holes from matter coupled \(F(4)\) gauged supergravity. JHEP 02, 108 (2019). https://doi.org/10.1007/JHEP02(2019)108. arXiv:1810.00675
Suh, M.: D4-D8-branes wrapped on a manifold with non-constant curvature. arXiv:2108.08326
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
Suh, M.: M2-branes wrapped on a topological disk. JHEP 09, 048 (2022). https://doi.org/10.1007/JHEP09(2022)048. arXiv:2109.13278
Suh, M.: M5-branes and D4-branes wrapped on a direct product of spindle and Riemann surface. arXiv:2207.00034
Wang, W.: Toric Sheaves on Hirzebruch Orbifolds. Doc. Math. 25, 655 (2020). https://doi.org/10.25537/dm.2020v25.655-699. arXiv:1803.11215
Acknowledgements
We thank Ugo Bruzzo, Michele Rossi and Alberto Zaffaroni for helpful discussions. We also thank the authors of [20] for informing us about their upcoming paper. The research of FF is supported by the project “Nonlinear Differential Equations” of Università degli Studi di Torino.
Funding
Open access funding provided by Università degli Studi di Torino within the CRUI-CARE Agreement.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
On behalf of all authors, the corresponding author states that there is no conflict of interest.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Appendices
Some solutions to the Diophantine equation
In this appendix we address the quantization conditions we stated through the paper. Although we were not able to prove that these constraints can be satisfied appropriately tuning the parameters of the solutions, nevertheless we could find some examples in which the quantization can be realized.
A priori, there are no constraints on \(\texttt {x}\) apart from being solution of the quartic Eq. (2.33) and lying in the range (0, 1). Nevertheless, in order to construct the integer quantities we are searching for, it is easier to work with rational values of \(\texttt {x}\), if they exist. Indeed, they exist, and in Table 1 we present some of them, along with the corresponding values of the integers \(n_+\), \(n_-\) and \(p_1\) (recall that \(p_2 = n_++n_--p_1\)).
Inspired by [17] we propose an algorithm to construct a family of solution to the quantization conditions. For the combinations of parameters presented in Table 1, \(\texttt {x}\) is rational and positive, thus we can write it as \(\texttt {x}= \texttt {p}/\texttt {q}\), with \(\texttt {p},\texttt {q}\in \mathbb {N}\). Then, we define t as
with \(u \in \mathbb {N}\), which makes t integer by construction and, moreover, multiple of both \(n_+\) and \(n_-\). We now focus on the system, the case with Riemann surface proceeds similarly. Substituting the expression of t in the constraint (2.59) we obtain
which can be solved to find \(m_\pm \) in terms of \(n_\pm \), \(\texttt {z}\) and u. The quantization condition that follows from (2.60) is automatically satisfied given t as in (A.1), indeed it becomes
which is evidently an integer. The last requirement (3.29) can be met considering that \(3\mu (\texttt {x}^2 + 1) - \texttt {x}(\texttt {x}^2 + 5) > 0\) (cf. [27]) and that all the quantities appearing are rational, hence N can be tuned appropriately so that \(K\in \mathbb {N}\).
Riemann surfaces from spindles
In the presence of twist, it was explicitly shown in [31] that the spindle factor of the known solutions, with \(D=4,5,7\), can be turned into a round sphere performing a particular limit of the coordinates and parameters of the system. In the same spirit, as we will see in this appendix, a similar mechanism applies to the solutions with anti-twist, so far constructed only in \(D=4\) and \(D=5\). In this case, the spindle becomes the two-dimensional hyperbolic space, which can later be quotiented to give a constant curvature Riemann surface with genus \(\textrm{g}>1\).
1.1 AdS\(_2\times \mathbb {M}_4\) solutions
Let us begin considering the local spindle metric (2.52)
where, we recall, \(q(x) = x^4 - 4x^2 + 4\texttt {a} x - \texttt {a}^2\). Performing the change of coordinates
and computing the limit \(\epsilon \rightarrow 0^+\), the spindle metric becomes
which is the local metric of the hyperbolic space \(H^2\), with radius squared equal to 1/2. This space can then be quotiented to obtain a Riemann surface with \(\textrm{g}>1\). In order for metric (B.3) to genuinely describe \(H^2\), the coordinates \(\xi \) and \(\phi \) must have the correct range of definition, i.e., \(|\xi |\in (1,+\infty )\) and \(\phi \in [0,2\pi ]\). To address this issue, we begin considering that the coordinate x is restricted between \(x_N\) and \(x_S\), where [28]
By means of (B.2), these bounds are mapped to
in the limit \(\epsilon \rightarrow 0^+\), thus correctly giving \(\xi \in (-\infty ,-1)\). The periodicity of \(\phi \) can be studied by analyzing the conditions under which is proper spindle [28]
with \(m_\pm \) two co-prime integers such that \(m_-<m_+\). By means of the change of coordinates (B.2), these conditions yield
hence we have \(\Delta \phi = 2\pi \) if and only if, at first order,
Consistently, plugging these values of \(m_\pm \) into Eq. (2.53) gives \(\texttt {a} = 1 - \epsilon ^2\), as in (B.2). The global quantities characterizing the spindle are not mapped directly to the corresponding ones for a Riemann surface. Indeed, if we take as an examples the Euler characteristic of [30]
we see that it diverges when \(m_-\rightarrow 0\) and \(m_+=1\). The reason for this behavior can be found in the definition of \({\Sigma _\textrm{g}}\) as a quotient of the hyperbolic space, whose Ricci curvature, integrated over the whole space, diverges, since it is not compact. Therefore, we need a way to “regularize” this limit. To this end, we notice that, adopting the substitution (B.8),
that is, we obtain a simple pole at \(\epsilon =0\) plus the Euler characteristic of a Riemann surface. We propose the following prescription, that we will test against different examples: given a system comprising a \({\Sigma _\textrm{g}}\) factor that can be obtained from through limit (B.8), the global quantities of the former can be computed multiplying by \(2(1-\textrm{g})\) the corresponding quantities of the latter and taking the finite term in the Laurent series.
We can now transfer this technology to higher-dimensional spacetimes. Applying the change of coordinates (B.2)—driven by the underlying limit (B.8)—to the system described by (2.68) we obtain the \(\textrm{AdS}_2\times {\Sigma _\textrm{g}}\) background in (2.67). Likewise are related the respective Killing spinors. Indeed, in this limit \(Q_1\) vanishes and \(Q_2\) becomes constant, thus (2.76) turns into (2.75), apart from an irrelevant overall factor. For what concerns the total charge of the two systems, applying the recipe illustrated for the Euler characteristic \(\chi _1\) we obtain (cf. (2.56))
where \(a_{-1}\) is the residue.
The change of coordinates (B.2) also maps the solution and Killing spinors to the corresponding quantities. This relation reflects in a formal connection between the respective entropies by means of (B.8):
where is given in (3.30) and in (3.23).
1.2 AdS\(_3\times \mathbb {M}_4\) solutions
Moving to the local spindle metric presented and studied in [30]Footnote 23
where \(q(x) = 4x^3 - 9x^2 + 6\texttt {a} x - \texttt {a}^2\), we perform the change of coordinates
In the \(\epsilon \rightarrow 0^+\) limit, the spindle metric becomes
Once again, we can quotient the hyperbolic space to give a constant curvature Riemann surface with genus \(\textrm{g}>1\). It can be shown that the metric obtained in this limit describes a genuine hyperbolic space if
Applying this recipe to the solution of [30] we have
where \(\omega _{H^2}\) is such that \(\textrm{d}\omega _{H^2} = \textrm{vol}(H^2)\). This is the \(\textrm{AdS}_3 \times H^2\) near-horizon of the black string solution of \(D=5\), \(\mathcal {N}=2\) minimal gauged supergravity constructed in [40]Footnote 24. Like in the six-dimensional case, applying the change of coordinates (B.14), followed by the \(\epsilon \rightarrow 0\) limit, to the solution of [17] gives the background therein. Moreover, it is possible to retrieve the central charge of the latter, presented in (5.50), multiplying the central charge of the former, given in (5.43), by \(2(1-\textrm{g})\), substituting \(m_\pm \) as in (B.16) and taking the finite part of the Laurent series. Explicitly,
More toric data from explicit metrics
In this appendix, we will provide further examples of how to extract toric data from explicit metrics, as discussed in the main body of the paper. The first example we consider is the Hirzebruch surface \({\mathbb {F}}_1\), that is a well-known symplectic toric manifold. Its associated polytope is a Delzant polytope (see, e.g.,[15]) and below we show how to obtain it starting from an explicit metric on \({\mathbb {F}}_1\) [45], using two methods. Namely, computing the image of the moment map associated with a symplectic structure compatible with a conformally rescaled metric and studying the Killing vectors generating the \(U(1)^2\) isometry of the metric. We will then employ these methods to extract the toric data associated with the metrics presented in [17]. These are used in Sect. 5 to show that our recipe reproduces the central charge computed in [17].
1.1 Hirzebruch \({\mathbb {F}}_1\)
We now illustrate an example of Delzant polytope and its construction studying the first Hirzebruch surface \({\mathbb {F}}_1\), whose metric is given by (cf. equation (7.11) of [45])Footnote 25
where the expression of the functions w(y), q(y) and F(y) can be found in [45]. The angular coordinates lie in the ranges \(\theta \in [0,\pi ]\), \(\phi \in [0,2\pi ]\), \(\Omega \in [0,4\pi ]\), while y spans the range \([y_1,y_2]\), where \(y_1\) and \(y_2\) are, respectively, the negative and the smallest positive roots of q(y). To ensure the correct signature of the metric we require \(1-y>0\). After having rescaled the metric as \(\textrm{d}s^2 = \Gamma (y)\,\textrm{d}s_{{\mathbb {F}}_1}^2\), we consider the symplectic two-form
When \(\Gamma (y)\) is such that \(\Gamma '(y) = \frac{F^{1/2}-l}{(1-y) F^{1/2}} \Gamma (y)\), the two-form (C.2) is closed and can be written as
For fixed values of y, metric (C.1) describes a squashed, smooth three-sphere, corresponding to the system studied in Sect. 4 of [45] for \(m=1\). Following their arguments, we take as a basis of an effective torus actionFootnote 26
where \(V_1\) generates the rotations of the two-sphere about the equator with weight one, hence \(V_1=\partial _\phi \), and \(V_2\) the rotations of the \(S^1\) fiber, also with weight one, hence \(V_2=\partial _\nu \), where we introduced the new radial coordinate \(\nu =\Omega /2\), with period \(2\pi \). Once we have chosen a basis for the torus action, we can derive the related moment maps
In total, we have four fixed points, corresponding to all the possible combinations pairing the poles of the base two-sphere (\(\theta =0,\pi \)) and the poles of the fiber two-sphere (\(y=y_{1,2}\))
The image of these points under the moment maps are
where we defined, for convenience, the positive constants \(\Xi _i = \frac{1-y_i}{3}\Gamma (y_i)\). A numerical analysis shows that \(\Xi _1>\Xi _2\), therefore the moment polytope of \({\mathbb {F}}_1\) can be drawn as in Fig. 4a. A quick investigation proves that it is a Delzant polytope in \(\mathbb {R}^2\).
The polytope is uniquely defined by the relations
where the \(\mathbb {Z}^2\) primitive normal vectors \(\vec {n}_\ell \) are
The fan generated by these vectors is depicted in Fig. 4b and is dual to the Delzant polytope of Fig. 4a.
A different approach to the construction of the toric data of a given toric manifold goes through the analysis of the degenerating Killing vectors of the corresponding metric. In total, we have four Killing vectors \(\xi _{(\ell )}\) degenerating at the loci \(D_\ell \), namely
These vectors have been normalized such that they have unitary surface gravity when approaching the degeneracy hypersurface. Expanding on the basis (C.4), the four Killing vectors read
We notice that the four loci \(D_\ell \) are in a one-to-one correspondence with the facets of the polytope in Fig. 4a and that the Killing vectors \(\xi _{(\ell )}\) can be written in terms of the related normal vectors \(\vec {n}_\ell \) as \(\xi _{(\ell )} = \vec {n}_\ell \cdot (e_1, e_2)\).
1.2 AdS solutions
We consider here the geometry presented in Sect. 4 of [17] subjected, as before, to the analytic continuation \({\Sigma _\textrm{g}}\mapsto S^2\). The metric is given byFootnote 27
where \(\textrm{d}\omega _{S^2} = -\textrm{vol}(S^2)\) and
We can take explicitly
Since the requirement of having a globally well-defined fibration
yields the relationFootnote 28
we can define a \(2\pi \)-periodic coordinate \(\nu _{2} = \frac{2\pi }{\Delta z}z\) in terms of which the four-dimensional toric orbifold of interest is
For fixed y this metric describes an \(S^3/\mathbb {Z}_t\), thus we consider as a basis of an effective torus action
The four fixed points are
where \(y_{2,3}\) are the two middle roots of Q(y), with \(y_2<y_3\). These points define the four divisors
and, with respect to the basis (C.18), the degenerate normalized Killing vectors and the orbifold labels are
We can now construct the polytope, considering the four-dimensional conformally rescaled metric and the related symplectic two-form
When \(\Gamma '(y) = \frac{y^{1/2}}{P^{1/2}}\Gamma (y)\), the two-form (C.22) is closed and can be written as
From this expression, we can derive the moment maps with respect to the basis (C.18)
whose action on the fixed points (C.19) is
Since we have chosen the same basis as in (4.3), the resultant polytope is similar to the one constructed in Sect. 4.1. Indeed, it can be read off from Fig. 1 exchanging \(v_1 \leftrightarrow v_3\), \(v_2 \leftrightarrow v_4\) and \(n_+ \leftrightarrow n_-\). The normal vectors \(\vec {n}_\ell \) change accordingly with respect to Eq. (4.11), i.e., \(\vec {n}_1 \leftrightarrow \vec {n}_3\) and \(\vec {n}_2 \leftrightarrow \vec {n}_4\), together with \(t \mapsto -t\). We can quickly verify that the quantities we derived satisfy relation (4.15).
1.3 AdS solutions
We now move to the solutions presented in Sect. 3 of [17]Footnote 29. The metric on the toric orbifold is given by
where functions \(h_i\), P and Q are the same as in (C.13) and
The coordinate x ranges between \(x_1\) and \(x_2\), the two smallest roots of f(x) with \(x_1<x_2\), and y lies between \(y_2\) and \(y_3\) as before. The fibration is globally well defined if
which gives the relation
Taking inspiration from Sect. 4.2, we introduce the following basis \(\{E_1,E_2\}\) for an effective torus action:
where \(\nu _{1} = \frac{2\pi }{\Delta \psi }\psi \) and \(r_\pm \) are two integers such that \(t = r_+\,m_+ + r_-\,m_-\). In total, there are four Killing vectors degenerating at the divisors \(D_1=\{y=y_2\}\), \(D_2=\{x=x_1\}\), \(D_3=\{y=y_3\}\), \(D_4=\{x=x_2\}\), which, in the basis (C.30), read
These are formally the same Killing vectors given in (4.29). The “long” normal vectors can be obtained by means of (4.28)
Following the same arguments of Sect. 4.2, we derive the labels \(m_\ell = (n_-,1,n_+,1)\) and the “short” vectors \(\vec {w}=\vec {\hat{w}}_\ell /m_\ell \), which together constitute the toric data \((\vec {w}_\ell ,m_\ell )\) describing the toric orbifold. This orbifold is characterized by the same stacky fan and labeled polytope of Fig. 3.
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
Faedo, F., Fontanarossa, A. & Martelli, D. Branes wrapped on orbifolds and their gravitational blocks. Lett Math Phys 113, 51 (2023). https://doi.org/10.1007/s11005-023-01671-1
Received:
Revised:
Accepted:
Published:
DOI: https://doi.org/10.1007/s11005-023-01671-1