Abstract
I review some recent progresses in counting the number of microstates of AdS supersymmetric black holes in dimension equal or greater than four using holography. The counting is obtained by applying localization and matrix model techniques to the dual field theory. I cover in details the case of dyonic AdS\(_4\) black holes, corresponding to a twisted compactification of the dual field theory, and I discuss the state of the art for rotating AdS\(_5\) black holes.
Introduction
We know since the seventies that black holes in general relativity are thermodynamic objects, in particular they have a temperature and an entropy (Bekenstein 1972; Bardeen et al. 1973; Hawking 1975). One of the most intriguing and celebrated relation in theoretical physics is the Bekenstein–Hawking formula expressing the entropy of a black hole in terms of the area A of the event horizon and the natural constants \(c,\hbar , k_{\mathrm{B}}, G_{\mathrm{N}}\)
merging in a single expression gravity, relativity, statistical mechanics and quantum theory. Using a standard statistical mechanics interpretation, we are led to write the entropy as
in terms of the number n of microscopic degrees of freedom of the system, the microstates of the black hole. It is a main challenge for all theories of quantum gravity to give an explanation of the Bekenstein–Hawking formula and to identify the corresponding microstates.
The Bekenstein–Hawking formula suggests that the microstates are localized on the event horizon. This is an instance of the holographic principle (’t Hooft 1993; Susskind 1995), which states that a volume of space in quantum gravity can be described just in terms of boundary degrees of freedom. A concrete incarnation of this general principle is the AdS/CFT correspondence (Maldacena 1999), a cornerstone of modern theoretical physics. The correspondence explicitly identifies a theory of quantum gravity in AntideSitter spacetime (AdS) with a dual conformal quantum field theory (CFT), which we may naively think of as living on the boundary of AdS. String theory provides many explicit examples of AdS backgrounds and dual CFTs. The most famous is the original example of dual pairs, type IIB string theory on AdS\(_5\times S^5\) and the maximally supersymmetric gauge theory in four dimensions, \({{{\mathcal {N}}}} = 4\) superYang–Mills (SYM). Impressive checks of the correctness of this duality have been made over the last twenty years.
In this context, one of the great successes of string theory is the microscopic explanation of the entropy of certain asymptotically flat black holes. The first result was obtained in Strominger and Vafa (1996), more than twenty years ago, and has been followed by an immense literature, which would be too long to refer to. However, quite curiously, no similar results exist for asymptotically AdS black holes in dimension four or greater until very recently. Since holography suggests that the microstates of the black hole correspond to states in a dual conformal field theory, the AdS/CFT correspondence is the natural setting where to explain the black hole entropy in terms of a microscopical theory. In the past, various attempts have been made to derive the entropy of a class of rotating black holes in AdS\(_5\times S^5\) in terms of states of the dual \({{{\mathcal {N}}}} = 4\) SYM theory in the large N limit, but none was completely successful. The more recent advent of localization techniques for supersymmetric quantum field theories, in the spirit of Nekrasov (2003b) and Pestun (2012), opens a new perspective on this problem. In this review we discuss how to use localization to derive the entropy for a class of supersymmetric black holes in AdS\(_4\) and AdS\(_5\) and discuss the current status for other black holes appearing in holography. We will work in dimension equal or greater than four. AdS\(_3\) is somehow special, and wellstudied in the literature, and it will not be discussed in these notes.
Content of the review
The first microscopic counting for AdS black holes in dimension equal or greater than four was performed in Benini et al. (2016b), considering asymptotically AdS\(_4\) static supersymmetric black holes. One of the main characteristics of this class of black holes is the presence of magnetic charges that correspond to a topological twist in the dual field theory. The black holes considered in Benini et al. (2016b) can be embedded in M theory and are asymptotic to AdS\(_4\times S^7\). They are dual to a topologically twisted compactification of the ABJM theory in three dimensions (Aharony et al. 2008), and their entropy scales as \(N^{3/2}\) at large N, as familiar from threedimensional holography. In this review, we will focus on this example as a prototype for many similar computations. The entropy can be extracted from the (regularized) Witten index of the quantum mechanics obtained by compactifying ABJM on a Riemann surface \(\varSigma _{\mathfrak {g}}\). Holographically, the quantum mechanics describes the physics of the near horizon geometry AdS\(_2\times \varSigma _{\mathfrak {g}}\) of the black holes. The index can be computed, using localization, as the threedimensional supersymmetric partition function of ABJM on \(\varSigma _{{\mathfrak {g}}}\times S^1\), topologically twisted along the Riemann surface \(\varSigma _{\mathfrak {g}}\). From this perspective, this computation can be generalized to more general domain wall solutions interpolating between AdS\(_{d+n}\) and \({\text{AdS}}_d\times {\mathcal {M}}_n\), with a topological twist along the ndimensional compact manifold \({\mathcal {M}}_n\), thus providing general tests of holography.
In the second part of this review, we also discuss the analogous problem for supersymmetric rotating electrically charged black holes in AdS\(_d\). The main difference with the previous case is the absence of a topological twist. The entropy for such black holes should be obtained by counting states with given electric charge and spin in the dual field theory and the natural observable to consider is the superconformal index, which receives contributions precisely from the BPS states of the theory. Recent results in this direction have been obtained starting with the work (CaboBizet et al. 2019a; Choi et al. 2018b; Benini and Milan 2020b) and we will discuss these recent progresses obtained in various overlapping limits but all pointing towards a unified picture.
Many of the relevant field theory computations are performed using localization. This allows to reduce exact path integrals in quantum field theory to matrix models, which can be solved in the large N limit combining standard and more recent techniques. One successful approach for the physics of black holes, that works both in four (Benini et al. 2016b; Hosseini et al. 2017c) and five dimensions (Benini and Milan 2020b), involves writing the matrix model partition function as a sum of Bethe vacua (Nekrasov and Shatashvili 2009b) of an auxiliary theory. Some technical aspects of this approach are discussed in Sect. 3.
Let us stress that many derivations of the entropy for asymptotically flat black holes involve the use of the Cardy formula for the asymptotic growing of states of a twodimensional CFT. In the localization approach for AdS black holes, we directly count the number of microstates using an index.^{Footnote 1} We will briefly make contact with the original Cardy approach based on a twodimensional CFT in Sect. 5 where we discuss black strings.
This review assume some familiarity with supersymmetry and the main examples of holographic dualities in various dimensions. We assume that the reader knows that \({{{\mathcal {N}}}}=4\) SYM in four dimensions is dual to AdS\(_5\times S^5\), the ABJM theory to AdS\(_4\times S^7\) and the socalled (2, 0) theory in six dimensions to AdS\(_7\times S^4\). Some preliminary exposure to localization computation^{Footnote 2} would be also useful although not necessary. We discuss instead in Sect. 4.1 the elements of gauged supergravity that are needed for this review.
The review is organized as follows. In Sect. 2 we give a general overview of the various classes of supersymmetric black holes that are relevant for holography, stressing that they fall into two main classes, distinguished by the presence or absence of magnetic charges (or more precisely of a twist). We also discuss how we should compute their entropy using field theory methods and we introduce the concepts of entropy functional and attractor mechanism that prove useful in the comparison between gravity and field theory. In Sects. 3 and 4 we discuss in details the example of dyonic black holes asymptotic to AdS\(_4\times S^7\) and dual to a twisted compactification of ABJM. In Sect. 3 we discuss the field theory aspects of the story, introducing the topologically twisted index and showing how to evaluate it using localization. In Sect. 4 we perform the large N limit of the resulting matrix model and we compare with gravity. In Sect. 5 we discuss black string solutions interpolating between AdS\(_5\) and AdS\(_3\times \varSigma _{\mathfrak {g}}\), as a prototype of more general domain walls interpolating between AdS spaces that can be studied with these techniques. In Sects. 6 and 7 we discuss the case of rotating electrically charged black holes in AdS\(_d\). In Sect. 6 we discuss the field theory aspects of the story, introducing the superconformal index. Finally, in Sect. 7 we discuss the state of the art of the comparison between field theory and gravity for such black holes.
AdS black holes in \(d\ge 4\)
In this review we are interested in supersymmetric black holes that can be embedded in string theory or Mtheory and are asymptotic to AdS\(_d\) vacua with a known field theory dual. There are many such black holes that can be embedded in maximally supersymmetric backgrounds. For example, we can find supersymmetric black holes in AdS\(_5\times S^5\), AdS\(_4\times S^7\) and AdS\(_7\times S^4\), whose dual field theories are well known. Supersymmetric black holes are extremal and have zero temperature. They also satisfy a BPS condition that relates their mass to the other conserved charges. In the limit where gravity is weakly coupled, the entropy of a black hole can be computed with the Bekenstein–Hawking formula
where A is the area of the horizon and \(G_{\text {N}}\) is the Newton constant. We set \(c=\hbar =k_{\mathrm{B}}=1\).
We now discuss some general features of these black holes and their holographic interpretation.
AdS black holes and holography
For the purposes of holography, we can divide the known supersymmetric black holes in dimension \(d\ge 4\) into two main classes, distinguished by how supersymmetry is realized and the holographic interpretation. In particular, they are distinguished by existence (or absence) of certain magnetic charges corresponding to a topological twist.
Kerr–Newman black holes and generalizations
The first class of black holes consists of supersymmetric electrically charged rotating black holes (Kerr–Newman). The most famous examples are the type IIB supergravity black holes asymptotic to AdS\(_5\times S^5\) found in Gutowski and Reall (2004a), Gutowski and Reall (2004b), Chong et al. (2005a, b) and Kunduri et al. (2006). They depend on two angular momenta corresponding to two Cartan isometries of AdS\(_5\)
and three electric charges under the Cartan isometries of \(S^5\)
parameterizing rotations in the internal space \(S^5\). Supersymmetry actually imposes a relation among the conserved charges, \(f(j_1,j_2,q_1,q_2,q_3)=0\), so that there are only four independent parameters.^{Footnote 3} These black holes preserve two real supercharges out of the original thirtytwo of type IIB supergravity on AdS\(_5\times S^5\). The fivedimensional part of the metric is asymptotic to AdS\(_5\) with \({\mathbb {R}}\times S^3\) as conformal boundary. As well known, type IIB string theory on AdS\(_5\times S^5\) is dual to \({{{\mathcal {N}}}}=4\) SYM in four dimensions. It is then a natural expectation that the black holes correspond holographically to an ensemble of states of \({{{\mathcal {N}}}}=4\) SYM on \({\mathbb {R}}\times S^3\) that preserve the same supersymmetries and have the same electric charges and the same angular momenta. It is also natural to expect that, by counting all the 1/16 BPS states of \({{{\mathcal {N}}}}=4\) SYM on \({\mathbb {R}}\times S^3\) with electric charges \((q_1 , q_2 , q_3)\) and spin \((j_1 , j_2)\), we should be able to reproduce the entropy of these black holes. We will work under these assumptions. We are interested in macroscopic black holes whose entropy, when expressed in terms of field theory data, scales as \(O(N^2)\), where N is the number of colors of the dual field theory.
The situation is analogous in other dimensions (Chong et al. 2005c; Cvetič et al. 2005; Chow 2008, 2010; Hristov et al. 2019a). Consider the maximally supersymmetric backgrounds AdS\(_4\times S^7\) and AdS\(_7\times S^4\) in Mtheory. The isometry of AdS\(_4\times S^7\) is \(SO(2,3)\times SO(8)\) and we can find electrically charged rotating black holes depending on one angular momentum j and four electric charges \((q_1,q_2,q_3,q_4)\) with a constraint. They preserve two real supercharges. We expect to reproduce the entropy of such black holes by counting all 1/16 BPS states of the dual field theory on \({\mathbb {R}}\times S^2\) with the same quantum numbers. As well known, the dual of Mtheory on AdS\(_4\times S^7\) is the threedimensional ABJM theory at Chern–Simons level \(k=1\) (Aharony et al. 2008). The entropy of these black holes scales as \(O(N^{3/2})\). Similarly, since the isometry of AdS\(_7\times S^4\) is \(SO(2,6)\times SO(5)\), there are black holes depending on three angular momenta \((j_1,j_2,j_3)\) and two electric charges \((q_1,q_2)\) with a constraint, again preserving two real supercharges.^{Footnote 4} In this case, the entropy, which scales as \(O(N^{3})\), should be reproduced by counting states in the \({{{\mathcal {N}}}}=(2,0)\) theory in six dimensions (Witten 1995) on \({\mathbb {R}}\times S^5\).
Notice that all these supersymmetric black holes rotate. If we turn off the angular momenta \(j_i\), we find singularities.
In principle, although there are not so many examples in the literature, we expect the existence of similar supersymmetric black holes in more general type II or Mtheory backgrounds with an AdS\(_d\) vacuum, rotating in AdS\(_d\) and charged under the isometries of the compactification manifold. The holographic interpretation is similar. For example, for type IIB black holes in AdS\(_5\times SE_5\) (Klebanov and Witten 1998), where \(SE_5\) is a fivedimensional Sasaki–Einstein manifold, we should try to match the entropy by counting 1/4 BPS states of the dual \({{{\mathcal {N}}}}=1\) superconformal field theory on \({\mathbb {R}}\times S^3\).
Magnetically charged black holes with a twist
The second class of black holes are characterized by the existence of certain magnetic charges. We should more properly refer to such black holes as solutions where supersymmetry is realized with a topological twist, as we will see. Although there are examples in higher dimensions,^{Footnote 5} we will focus on four dimensions, where these black holes arise naturally. Indeed we can have both magnetic and electric charges in \(d=4\) and it is natural to consider dyonic black holes. There exists a family of BPS black holes in AdS\(_4\times S^7\) depending on one angular momentum \(j_1\) in AdS\(_4\) and on electric and magnetic charges
under the abelian \(U(1)^4\subset SO(8)\) isometries of \(S^7\) (Cacciatori and Klemm 2010; Dall’Agata and Gnecchi 2011; Hristov and Vandoren 2011; Katmadas 2014; Halmagyi 2015; Hristov et al. 2019b). Supersymmetry requires a linear constraint among the magnetic charges \(p^a\) and nonlinear ones among the conserved charges, so that we have a sixdimensional family of rotating, dyonic black holes. For this class of solutions, we can also turn off rotation and have static supersymmetric black holes.^{Footnote 6}
In general, AdS\(_4\) black holes with magnetic charges are qualitatively different from those with zero magnetic charge, as first noticed in Romans (1992) and elaborated in Hristov et al. (2011) and Hristov (2012b). The difference is well explained using holography. Consider the black holes as solutions of an effective fourdimensional theory with a AdS\(_4\) vacuum dual to a boundary conformal field theory. For most of this review, the CFT will be ABJM, but the following arguments apply to black holes in general compactifications and more general CFTs with at least \({{{\mathcal {N}}}}=2\) supersymmetry. For our purposes, we need the terms of the effective theory describing the dynamics of the metric and of the vector fields \(A_\mu ^a\) corresponding to the abelian isometries of the internal manifold. Their dynamics is described by an EinsteinMaxwell theory
where, in general, the matrix of coupling constants depends on the scalar fields \(\phi _i\) of the theory. According to the rules of holography, gauge fields in the bulk correspond to global symmetries in the boundary CFT. For example, in the case of AdS\(_4\times S^7\) we are interested in the four fields \(A_\mu ^a\) corresponding to the abelian isometries \(U(1)^4\subset SO(8)\) and they couple to the field theory conserved currents \(J^{\mu a}\)
associated to the Cartan generators of the SO(8) Rsymmetry of ABJM at Chern–Simons level \(k=1\). Focusing for simplicity on the static case, one finds that, near the boundary, the black hole solutions behave as
where r is some large radial coordinate, the ellipsis refers to terms suppressed by inverse powers of r, and x are coordinates on the boundary manifold. For spherically symmetric black holes the boundary manifold is \({\mathcal {M}}_3= {\mathbb {R}}\times S^2\). However we can have more exotic solutions with horizon AdS\(_2\times \varSigma _{\mathfrak {g}}\), where \(\varSigma _{\mathfrak {g}}\) is a Riemann surface of genus g, and, in this case, \({\mathcal {M}}_3= {\mathbb {R}}\times \varSigma _{\mathfrak {g}}\). Holography tells us that we should interpret (2.7) as the dual of our CFT defined on the curved manifold \({\mathcal {M}}_3\). What can we say about \(A_\mu ^a\)? Recall again the basic rules of the AdS/CFT correspondence (Klebanov and Witten 1999). Any field \(\phi (x,r)\) in AdS is associated with an operator O(x) in the dual CFT. If we have an expansion
of the solution of the second order equations of motion for \(\phi \),^{Footnote 7} we interpret the nonnormalizable piece, \(\phi _0(x)\), as a deformation of the original CFT with the corresponding operator O,
while we interpret the normalizable one, \(\phi _1(x)\), as a vacuum expectation value (vev) for O, \(\langle O\rangle \ne 0\). More precisely, if \(\phi _0(x)\ne 0\), we are deforming the CFT with O; if \(\phi _0(x)=0\) and \(\phi _1(x)\ne 0\) we have a state of the CFT with non zero vev for O. There are situations where both modes \(\phi _0(x)\) and \(\phi _1(x)\) are normalizable (or better have finite energy). In this case there are different possible quantizations of the same theory and we have to choose who plays the role of \(\phi _0\). Massless vector fields in AdS\(_4\) allow for different types of quantizations, related to electric/magnetic duality in the bulk, and this leads to interesting applications, but this is not strictly the most important point. What is important is that, in the expansion (2.7) for \(A_\mu ^a\) both leading and subleading terms are turned on. The field \(A_\mu ^a\) has a leading contribution for \(r\gg 1\) that approaches a constant value on the boundary \({\mathcal {M}}_3= {\mathbb {R}}\times \varSigma _{\mathfrak {g}}\), corresponding to the magnetic charge of the black hole
and subleading terms [the ellipsis in (2.7)] that encode information about the electric charges. This means that a dyonic black hole is holographically dual to a deformation of the dual CFT. In the natural quantization of the theory, the nonzero value of \(A_\mu ^a\) at the boundary corresponds to the deformation
This deformation in field theory is equivalent to turning on a background gauge field for a global symmetry. For example, on \(S^2\) we would turn on a background which is just the familiar Dirac monopole \({{\hat{A}}}_\mu ^a = \frac{1}{2} p ^a \cos \theta d\phi \). On a torus \(T^2\) we would just turn on a background constant magnetic field. Fields satisfying (2.10) can be also written explicitly for all \(\varSigma _{\mathfrak {g}}\) but their expression is not particular illuminating. We will see in Sect. 3 that the deformation (2.11) is compatible with supersymmetry.
To understand better what is going on, it is useful to have a look at how supersymmetry is preserved in the presence of a generic assignment of magnetic charges. We will be very schematic here just to convey the general idea. Consider the case where our effective theory is a certain \({{{\mathcal {N}}}}=2\) gauged supergravity in four dimensions, corresponding to a \({{{\mathcal {N}}}}=2\) threedimensional CFT. The effective theory contains the graviphoton field, \(A_\mu ^R\), holographically dual to the U(1) Rsymmetry of the theory. In general, \(A_\mu ^R\) is a linear combination of the vector fields \(A_\mu ^a\) corresponding to the isometries of the internal manifold. For the solution to be supersymmetric, all fermion variations in the black hole background must be zero. The gravitino variation in \({{{\mathcal {N}}}}=2\) gauged supergravity is schematically given by
The magnetically charged static black holes of interest in this section satisfy the BPS condition \(\delta \psi _\mu =0\) by cancelling the spin connection with a background field for the Rsymmetry. More precisely, we can regard the spin connection \(\omega _\mu \) along \(\varSigma _{\mathfrak {g}}\) as a U(1) gauge field. An explicit computation shows that \(\omega _\mu \) is just a monopole of charge \(22 {\mathfrak {g}}\), as the familiar relation \(\frac{1}{2\pi }\int _{\varSigma _{\mathfrak {g}}} R = 2 2 {\mathfrak {g}}\), with \(R=d\omega \), clearly shows. Since \(A_\mu ^R\) is a linear combination of the \(A_\mu ^a\), it is also a monopole, with charge given by a linear combination of the \(p^a\). By appropriately choosing this linear combination^{Footnote 8} and the spinor \(\epsilon \), we can cancel the second and the third term on the right hand side in (2.12). We will come back to more precise expressions in Sect. 3. For the dyonic static black holes, restricting the index \(\mu \) to lie along \(\varSigma _g\), one discovers that the ellipsis cancels independently and we are left with the equation
This equation is solved by taking \(\epsilon \) constant along \(\varSigma _{\mathfrak {g}}\). One also finds that the other components of the supersymmetry variations imply that \(\epsilon \) is timeindependent but, in general, has a nontrivial profile in r.
This discussion can be also applied to the dual CFT. By restricting the variations to the boundary, we see that the field theory on \({\mathbb {R}}\times \varSigma _{\mathfrak {g}}\) is invariant under supersymmetry transformations with a constant spinor. The very same mechanism is at work on the boundary: we are turning on a magnetic background for the Rsymmetry that compensates the spin connection. In quantum field theory, this construction is wellknown (Witten 1988). It is called topological twist, as we will discuss in details in Sect. 3. The conclusion is that the dual CFT is deformed by the presence of magnetic fluxes for all the global and Rsymmetries, and, in particular, it is topologically twisted by the magnetic flux for the Rsymmetry. Notice that our argument was based on \({{{\mathcal {N}}}}=2\) supersymmetry with a U(1) Rsymmetry. Theories can have a larger Rsymmetry group, like ABJM, or many flavor symmetries. In these cases, the choice of a U(1) Rsymmetry is not unique. Each choice corresponds to a different twist. We can indeed think of the magnetic charges \(p^a\) as parameterizing a family of inequivalent twists. It is important to remember, however, that a linear combination of the \(p^a\) is fixed by the condition that the background for the selected U(1) Rsymmetry cancels the spin connection. There are only \(n_V1\) independent magnetic charges, where \(n_V\) is the number of massless vectors. This number is \(n_V=4\) for ABJM.
The interpretation of the general rotating dyonic black hole is more complicated but similar in spirit. We can have rotation only in the spherically symmetric case, where j is the spin along \(S^2\). Rotations in the bulk correspond to turning on an Omegabackground (Nekrasov and Okounkov 2006) in the boundary theory on \(S^2\). The theory is still topologically twisted.
All this should be contrasted with the black holes discussed in Sect. 2.1.1 where there is no cancellation between the spin connection and the Rsymmetry. It can be expressed more formally in a difference between the supersymmetry algebra, as discussed in Hristov et al. (2011) and Hristov (2012b). The real discriminant among the two class of black holes is the topological twist, or equivalently a magnetic charge associated with the Rsymmetry. There exist black holes with nonzero magnetic charges for the flavor symmetries only.^{Footnote 9} They correspond to a CFT in a magnetic background but with no topological twist. From the point of view of microstate counting using holography, they are more similar in spirit to the black holes discussed in Sect. 2.1.1.
Now it is clear what we should do in order to compute the entropy of magnetically charged black holes (with a twist) using field theory: enumerate all the states with electric charges \(q_i\) and angular momentum j and the right amount of supersymmetry in the twisted CFT on \({\mathbb {R}}\times \varSigma _{\mathfrak {g}}\). The theory is topologically twisted^{Footnote 10} by the magnetic background for a U(1) Rsymmetry and possibly deformed by magnetic fluxes for all other global symmetries.
Computing the entropy
It is reasonable to expect that we can recover the entropy of the two classes of AdS\(_d\) black holes by enumerating supersymmetric states in the dual field theory on \({\mathbb {R}}\times {\mathcal {M}}_{d2}\). For all our examples, the preserved supersymmetry \({\mathcal {Q}}\) satisfies an algebra of the form
where H is the Hamiltonian and \(Q_a\) and \(J_i\) are the charge operators associated with the global symmetries and the angular momenta, respectively, with certain constants \(\mu _a\) and \(\nu _i\) that depend on the model. The explicit form of the algebra is different for different types of black holes and it will be discussed in details in the rest of this review. For the moment, we notice that the Rsymmetry charge enters in the supersymmetry algebra for Kerr–Newmann black holes but not for topologically twisted ones. Supersymmetric states are annihilated by \({\mathcal {Q}}\) and their energy is determined by the BPS condition^{Footnote 11}
The grand canonical partition function
Enumerating BPS states is equivalent to knowing the grand canonical partition function
where the trace is taken over the Hilbert space of states on \({\mathcal {M}}_{d2}\) that preserves the same amount of supersymmetry of the black hole, and \(\varDelta _a\) and \(\omega _i\) chemical potentials conjugated to \(Q_a\) and \(J_i\), respectively. In practical applications, \({{{\mathcal {Z}}}}\) is a function of complex chemical potentials and converges in an appropriate domain of the complex plane for the fugacities \(y_a=e^{i\varDelta _a}\), \(\zeta _i=e^{i \omega _i}\). In the previous formula, \(c(q_a,j_i)\) is the number of supersymmetric states of electric charge \(q_a\) and angular momentum \(j_i\). Electric and magnetic charges enter in an asymmetric way in this construction. The magnetic charges \(p^a\) enter explicitly as a set of couplings in the Lagrangian of the deformed CFT, while the electric charges \(q_a\) are introduced through chemical potentials. In particular, for magnetically charged black holes with a twist, the trace must be taken in the topologically twisted theory.
The grand canonical partition function (2.16) should also enumerate the BPS states in the dual gravity theory. Our working assumption is that, for large charges (scaling with appropriate powers of N) the supersymmetric density of states is dominated by the macroscopic black holes discussed before. Under this assumption, by the very definition of entropy, the entropy of the black hole is given by
where the dependence on the magnetic charges \(p^a\), if present, is hidden in the form of the function c. If \({\mathcal {Z}}(\varDelta _a, \omega _i)\) is known, the entropy can be extracted as a Fourier coefficient
with an appropriate integration contour. In the limit of large charges, this can be evaluated by a saddle point approximation
where \({\bar{\varDelta }}_a\) and \({\bar{\omega }}_i\) are obtained by extremizing the functional
with respect to \( \varDelta _a\) and \( \omega _i\),
We see that the entropy is just the Legendre transform of the logarithm of the partition function.
To understand better this point, recall that we are interested in extremal supersymmetric black holes. In particular, they have zero temperature. The standard thermodynamics relation for the grand canonical partition function of a system with temperature T,
looks singular in the zerotemperature limit. However, supersymmetric states satisfy the BPS condition (2.15), namely \(E = \mu _a q_a +\nu _i j_i\). When we take the zero temperature limit, we need also to scale \({{\tilde{\varDelta }}}_a(T)= i \mu _a + \varDelta _a T\) and \(\omega _i(T)= i \nu _i + \omega _i T\). In this way we obtain the Legendre transform \(S= \log {\mathcal {Z}} i\varDelta _a q_a i \omega _i j_i\).^{Footnote 12}
The entropy is also obtained via a Legendre transform in many other approaches, as the OSV conjecture (Ooguri et al. 2004) and the Sen’s quantum entropy functional (Sen 2005, 2009b, a) for asymptotically flat black holes.
The supersymmetric index
So far everything was simple. The problem is that \({\mathcal {Z}}(\varDelta _a, \omega _i)\) is too hard to compute, in general. For electrically charged rotating black holes in AdS\(_5\times S^5\), computing \({\mathcal {Z}}(\varDelta _a, \omega _i)\) would correspond to enumerate all the 1/16 BPS states of \({{{\mathcal {N}}}}=4\) SYM. For comparison, in a fourdimensional theory with \({{{\mathcal {N}}}}=1\) supersymmetry, this would correspond to count all the 1/4 BPS states. While almost everything is known about the counting of 1/2 BPS states in an \({{{\mathcal {N}}}}=1\) theory (Kinney et al. 2007; Benvenuti et al. 2007), the analogous problem for 1/4 BPS states is still open.
What we can instead compute is a supersymmetric index
with the insertion of the fermionic number \((1)^F\). Standard arguments tell us that we can also write
if \(Q_a\) and \(J_i\) commute with \({{{\mathcal {Q}}}}\). In the first step of the previous identification we used the fact that states with \(\mathcal{Q}\ne 0\) do not contribute to the trace, since bosonic and fermionic states are paired and contribute with opposite sign.^{Footnote 13} In particular, the index is independent of \(\beta \). In the second step, we identified the trace at temperature \(1/\beta \) with the Euclidean path integral \(Z^{\mathrm{susy}}_{S^1\times {\mathcal {M}}_{d1}}\) of the theory compactified on a circle of radius \(\beta \).^{Footnote 14} The latter partition function can be computed using localization techniques in quantum field theory as we discuss in Sect. 3.
In general, \({\mathcal {Z}}_{\mathrm{index}}(\varDelta _a, \omega _i)\ne {\mathcal {Z}}(\varDelta _a, \omega _i)\). First of all, the index can accommodate fugacities only for the conserved charges that commute with \({{{\mathcal {Q}}}}\) and, in general, contains less parameters than the BPS partition function. We will see that this is not a major problem for the black holes considered in this paper since they also have a constraint among charges. More importantly, the entropy should count all the BPS ground states of the theory, while the index counts bosonic ground states with a plus and fermionic ground states with a minus. However, it may happen for particular theories that the majority of ground states are of definite statistic. In this case there is no cancellation between bosonic and fermionic ground states and the index correctly reproduces the entropy in a suitable limit. This typically happens for asymptotically flat black holes in the limit of large charges, and we may hope that the same is true for asymptotically AdS black holes in the large N limit. In the case of certain asymptotically flat spherically symmetric black holes, there is an extra symmetry that implies \((1)^F=1\) on the relevant set of states (Sen 2009a) and one can prove that \({\mathcal {Z}}_\mathrm{index}(\varDelta _a, \omega _i)= {\mathcal {Z}}(\varDelta _a, \omega _i)\). A similar argument for asymptotically AdS black holes is more subtle and it is discussed in Sect. 2.4. More generally, we can always rely on an explicit computation, and, as we will see in the rest of this review:

for magnetically charged black holes in AdS\(_4\), the dual field theory is topologically twisted. \({\mathcal {Z}}_{\mathrm{index}}(\varDelta _a, \omega _i)\) is the socalled topologically twisted index that we define and study in Sect. 3. There is no cancellation between bosonic and fermionic ground states and the index correctly reproduces the entropy at large N, as we will see in Sect. 4;

for electrically charged rotating black holes, we are just counting states of the CFT on \({\mathbb {R}}\times S^{d1}\). \({\mathcal {Z}}_\mathrm{index}(\varDelta _a, \omega _i)\) is the superconformal index, whose properties we discuss in Sect. 6. The superconformal index is known to have large cancellations between bosons and fermions for real values of the fugacities (Kinney et al. 2007), and this would suggest that we really need to compute the original BPS partition function \({\mathcal {Z}}(\varDelta _a, \omega _i)\). However, it has been recently realized that introducing phases for the fugacities can obstruct the cancellation between bosonic and fermionic states and that the entropy of KN black holes is indeed correctly captured by the index for complex values of the chemical potentials. We will discuss these results in Sect. 7.
Notice also that the entropy and the index of asymptotically flat black holes coincide at leading order in the charges but are in general different when corrections are included (Dabholkar et al. 2011b). We might expect the same for asymptotically AdS black holes.
Entropy functionals and the attractor mechanism
In the limit where gravity is weakly coupled, we can compute the entropy of a black hole from the area of the horizon using the Bekenstein–Hawking formula (2.1). The area can be extracted from the explicit solution of the relevant gauged supergravity, which typically contains many scalars \(X^I(r)\) varying with the radial distance. In principle, the area may depend on many parameters including asymptotic moduli. However, the microscopic entropy of our black holes is just a function of the conserved charges \(q_a\) and \(j_i\). This is explicitly realized through an attractor mechanism: independently of the asymptotic moduli, the scalar fields approach a value at the horizon, \(X^I_*(q_a,j_i)\), that is a function of the conserved charges only. Moreover, this mechanism often allows to express the area, and therefore the entropy, in terms of the values of the scalar fields at the horizon with simple algebraic equations. This is the case of the attractor mechanism for \({{{\mathcal {N}}}}=2\) supergravity discovered in Ferrara and Kallosh (1996) and Ferrara et al. (1995). It is also the idea behind Sen’s quantum entropy function (Sen 2005) that allows to find the entropy of black holes with AdS\(_2\) horizon including higher derivative corrections. In all these cases, one can define some sort of entropy functional \(S(X^a, \varOmega ^i, q_a,j_i)\), which is a function of the conserved charges and the horizon value \(X^a,\, \varOmega ^a\) of the scalar fields and possibly other modes, and whose extremization with respect to \(X^a\) and \(\varOmega ^i\) reproduces the entropy. This extremization is expected to be the gravity analog of (2.19).
In order to make the comparison between gravity and field theory more manifest it is convenient to write the entropy functional as a Legendre transform
where \(X^a\) and \(\varOmega ^i\) are now interpreted as the black hole chemical potentials and \({{{\mathcal {E}}}} (X^a, \varOmega ^i) \) as the black hole grancanonical partition function. According to standard arguments (Gibbons and Hawking 1977), \({{{\mathcal {E}}}} (X^a, \varOmega ^i)\) can be identified with the onshell action of the Euclidean continuation of the black hole.
This description fully agrees with the field theory picture if we identify \(X^a\) and \(\varOmega ^i\) with \(\varDelta ^a\) and \(\omega _i\) and \({{{\mathcal {E}}}} (X^a, \varOmega ^i)\) with \(\log {\mathcal {Z}}(\varDelta _a, \omega _i)\). The latter is indeed the field theory grancanonical partition function and, according to the rule of holography, should be also identified with the onshell action of the gravity solution corresponding to the chemical potentials \(\varDelta ^a\) and \(\omega _i\).
The attractor mechanism has played an important role in the interpretation of the field theory result leading to the black hole entropy. For example, the attractor mechanism in N = 2 gauged supergravity (Cacciatori and Klemm 2010; Dall’Agata and Gnecchi 2011) for static dyonic black holes in AdS\(_4\times S^7\) predicts
with the constraint \(\sum _{a=1}^a X^a=2 \pi \) and this result perfectly matches with the field theory computation based on the topologically twisted index (Benini et al. 2016b) as we will discuss in Sect. 4 [see formula (4.48)]. For other black holes the attractor mechanism is not known in supergravity, and the entropy functional has been written using combined field theory and gravity intuition. This approach was successfully used in Hosseini et al. (2017b) to write an entropy functional for KN black holes in AdS\(_5\times S^5\),
with the constraint \(\sum _{a=1}^3 X^a \sum _{i=1}^2 \varOmega ^i = 2\pi \). This result has been instrumental in the later developments and has been matched with field theory computations based on the superconformal index (CaboBizet et al. 2019a; Choi et al. 2018b; Benini and Milan 2020b), as we will discuss in Sect. 7. Entropy functional for other electrically charged and rotating black holes in diverse dimensions has been later found in Hosseini et al. (2018b), Choi et al. (2020) and, in some cases, successfully compared to quantum field theory expectations. These entropy functionals can be also obtained by computing the zerotemperature limit of the onshell action of a class of supersymmetric but nonextremal Euclidean black holes (CaboBizet et al. 2019a; Cassani and Papini 2019).
A general field theory inspired formula for an entropy functional that generalizes (2.26) and (2.27) and covers all existing black hole solutions in four and five dimensions has been discussed in Hosseini et al. (2019a).
\({\mathcal {I}}\)extremization
We can provide a perhaps more speculative but intriguing explanation of the extremization principle (2.19) based on the renormalization group flow. All the black holes we will consider have a (possibly warped) AdS\(_2\) factor in the nearhorizon region. This suggests the existence of a superconformal quantum mechanics describing the nearhorizon degrees of freedom and whose ground states correspond to the black holes microstates. The superconformal algebra associated with AdS\(_2\) is su(1, 11) and contains the bosonic factor \(SL(2,{\mathbb {R}})\times U(1)_R\), where \(U(1)_R\) is the Rsymmetry. From the field theory point of view, the quantum mechanics arises from the reduction of the dual CFT on \({\mathcal {M}}_{d2}\). We can see the black hole as a solution interpolating between AdS\(_{d}\) and AdS\(_2\) with the dual interpretation of a renormalization group flow across dimensions where a \(d1\)dimensional CFT compatified on \({\mathcal {M}}_{d2}\) flows to a infrared superconformal quantum mechanics. The index \({\mathcal {Z}}_\mathrm{index}(\varDelta _a, \omega _i)\) is invariant under renormalization group flow and can be interpreted as the Witten index of the infrared quantum mechanics.
We can write the index as
where
In the examples that we will discuss the fermion number F acts precisely as a particular Rsymmetry, \(F\equiv R_0\). In a general supersymmetric theory with global symmetries, the Rsymmetry is not unique. If \(R_0\) is a Rsymmetry and Q is a global symmetry, also \(R_0+Q\) is a Rsymmetry. We see that \(R(\varDelta , \omega )\) is a Rsymmetry of our quantum mechanics, and given the symmetries of the problem, we expect it to be the most general Rsymmetry we can write. However, when a supersymmetric theory is also conformal there exists the notion of the exact Rsymmetry, which is the one singled out by the superconformal algebra. The problem of finding the exact Rsymmetry is central in supersymmetric quantum field theory and it is usually associated with an extremization problem. We have indeed cextremization in two dimensions (Benini and Bobev 2013a), Fmaximization in three dimensions (Jafferis 2012) and amaximization in four dimensions (Intriligator and Wecht 2003). It is tempting to propose that the extremization (2.19) selects among all \(R(\varDelta , \omega )\) precisely the exact Rsymmetry of our quantum mechanics. This principle has been called \({\mathcal {I}}\)extremization in Benini et al. (2016b, 2017). It is suggested by the fact that, in odd dimensions, the exact Rsymmetry is obtained by extremizing the supersymmetric sphere partition function, which, in the case of one dimension, is just the Witten index. It would be interesting to prove or disprove this principle for generic holographic theories.
This interpretation would explain why there is no cancellation in the index between vacua of different statistic for large charges. Adapting an argument in Sen (2009a), we might expect that the microstates are invariant under the superconformal algebra su(1, 11) and this implies that they have zero exact Rcharge. This is certainly true if the quantum mechanics consists of a set of degenerate ground states with an energy gap to the first excited state. Under this assumption and using also large N factorization of the correlation functions, the trace (2.28) becomes
where we used that, for the values of \(\varDelta _a\) and \(\omega _i\) that select the exact Rcharge, all states have \(R(\varDelta ,\omega )=0\). We then see that the cancelation due to \((1)^F\) is balanced by the nonzero phases of the fugacities at the saddle point and all the ground states contribute with the same sign. The previous equation is consistent with (2.19). Indeed, by taking the logarithm of (2.30), we find
In all our example, the extremum of (2.19) is actually real and the real part in the previous formula is superfluous.^{Footnote 15}
Let us also notice that cextremization and F and amaximization have a wellknown gravitational dual (Martelli et al. 2006; Couzens et al. 2019; Gauntlett et al. 2019a) which allows to determine the exact Rsymmetry in terms of geometrical data of the supergravity background. A gravitational dual for Iextremization has been also proposed in Couzens et al. (2019) and further discussed in Gauntlett et al. (2019b), Hosseini and Zaffaroni (2019a) and Kim and Kim (2019).
The topologically twisted index
As we discussed in Sect. 2, magnetically charged black holes in AdS\(_4\) are dual to topologically twisted CFT\(_3\). In this section, we discuss the topologically twisted index in three dimensions, \({\mathcal {Z}}_{\mathrm{index}}(\varDelta _a, \omega _i)\), defined as the supersymmetric partition function \(Z^{\mathrm{susy}}_{\varSigma _{\mathfrak {g}}\times S^1}(\varDelta _a, \omega _i)\) with a topological Atwist along \(\varSigma _{\mathfrak {g}}\). We will discuss the case of a generic \({{{\mathcal {N}}}}=2\) Yang–Mills–Chern–Simons theory in three dimensions with an Rsymmetry and we will specialize to the ABJM theory in Sect. 4.
The index can be computed in many different ways. We will discuss the localization approach here, following Benini and Zaffaroni (2015, 2017). The index has been first derived by topological field theory arguments in various examples in Okuda and Yoshida (2012, 2014) and discussed in general in Nekrasov and Shatashvili (2015). In this second approach, further discussed and generalized in Gukov and Pei (2017), Okuda and Yoshida (2015), Closset and Kim (2016), Gukov et al. (2017), Closset et al. (2017a, b, 2018), the index is written as a sum of contributions coming from the Bethe vacua, the critical points of the twisted superpotential of the twodimensional theory obtained by compactifying on \(S^1\) (Nekrasov and Shatashvili 2009b, a). We will discuss the connections between the two approaches in Sect. 3.3.2. The reader that is not interested in quantum field theory properties of the index can just have a quick look at Sect. 3.1, the first part of Sects. 3.2 and 3.3.2.
The topological twist
Consider an \({{{\mathcal {N}}}}=2\) quantum field theory in three dimensions. The \({{{\mathcal {N}}}}=2\) supersymmetry multiplets are:

the vector multiplet, \((A_\mu ,\lambda ,\sigma ,D)\), where \(\lambda \) is a Dirac spinor and \(\sigma \) and D are real scalars. D is an auxiliary field;

the chiral multiplet, \((\phi ,\psi ,F)\), where \(\psi \) is a Dirac spinor and \(\phi \) and F are complex scalars. F is an auxiliary field.
These multiplets can be obtained by dimensional reduction from the corresponding \({{{\mathcal {N}}}}=1\) multiplets in four dimensions. We assume that the theory has an Rsymmetry^{Footnote 16}
with charges \(r_\phi \) for the chiral fields. The charges should be integrally quantized, as we will discuss in the following. We want to define a supersymmetric theory on \(\varSigma _{\mathfrak {g}}\times S^1\) using a nontrivial background for the Rsymmetry. Let us start, for simplicity, with the case of \(S^2\times S^1\) with metric
and a nontrivial Rsymmetry background field \(A_\mu ^R\).
To see if supersymmetry is preserved we can use the approach of Festuccia and Seiberg (2011). We promote the metric \(g_{\mu \nu }\) and the Rsymmetry background field \(A_\mu ^R\) to dynamical fields by coupling the theory to supergravity, using an appropriate offshell formulation. The theory coupled to gravity is invariant under supersymmetry transformations with a local spinorial parameter \(\epsilon (x)\). We can recover the rigid theory by freezing the supergravity multiplet to a background value. This can be done, for example, by sending the Planck mass to infinity. In this process we set all supergravity fermionic fields to zero, while keeping a nontrivial background for the metric and \(A_\mu ^R\), and possibly some auxiliary fields. The rigid theory so obtained is no more invariant under local supersymmetries. However, it is still invariant under those transformations that preserve the background fields. The supersymmetry variation of the bosonic supergravity fields is automatically zero since it is proportional to the supergravity fermions that vanish in the background. On the other hand, the vanishing of the fermionic variations gives a differential equation for \(\epsilon (x)\). The solutions to this equation determine the rigid supersymmetries that are preserved by the curved background.^{Footnote 17}
In any supergravity with a Rsymmetry gauge field, when all the other supergravity fields are set to zero, the fermionic variations have the universal form
In three dimensions, we can choose \(\gamma _a=\sigma _a\), where \(\sigma _a\) are the Pauli matrices. The nontrivial components of the spin connection are easily computed^{Footnote 18} to be \(\omega ^{12} = \cos \theta d \phi \). If we take \(\gamma _3\epsilon =\epsilon \), so that \(\gamma _{12}\epsilon =i\epsilon \), we see that the background field
precisely cancels the spin connection. The equation reduces to
which is solved by a constant spinor \(\epsilon \). We thus see that the background (3.4) allows to define a supersymmetric theory on \(S^2\times S^1\). The generalization of the above discussion to \(\varSigma _{\mathfrak {g}}\times S^1\) is straightforward: we just turn on a background for the Rsymmetry with \(A^R=\omega /2\) and everything else works in the same way.
This way of preserving supersymmetry corresponds to a topological twist along \(\varSigma _{\mathfrak {g}}\) in the sense of Witten (1988, 1991). To make contact with the language used in Witten (1988, 1991), we can interpret the background field for \(A^R\) as effectively changing the spin of the fields in the theory, thus transforming \(\epsilon \) into a scalar.
A supersymmetric Lagrangian for a Yang–Mills–Chern–Simons theory with gauge group G and chiral matter transforming in a representation \({{{\mathcal {R}}}}\) on \(\varSigma _{\mathfrak {g}}\times S^1\) can be written as \({\mathcal {L}}={\mathcal {L}}_{\mathrm {YM}} + {\mathcal {L}}_{\mathrm {CS}} + {\mathcal {L}}_{\mathrm {mat}}+ {\mathcal {L}}_{\mathrm {W}}\) with^{Footnote 19}
where the superpotential \(W(\phi _i)\) is a holomorphic function of Rcharge two and the fields \(A_\mu ,\sigma , D\) act on the matter fields in the appropriate representation. Here the derivative \(D_\mu \) is covariantized with respect to the spin and gauge connection and also to the Rsymmetry background \(A^R\). As usual in Euclidean signature, fields and their conjugate, \(\phi \) and \(\phi ^\dagger \) for example, should be considered as independent variables. Notice that a vev for the scalar field \(\sigma \) gives mass to the matter fields \(\phi _i\) and \(\psi _i\). This kind of coupling is typical of three dimensions and called real mass to distinguish it from the mass terms that can be introduced through the superpotential W. One can check that the Lagrangian is invariant under the following supersymmetry transformations
for the vector multiplet fields and
for the chiral multiplets. To future purposes, we also define \({{{\mathcal {Q}}}}= Q+{{\widetilde{Q}}}\).
Notice that the Lagrangian (3.6) and the transformations of supersymmetry are almost identical to the flat space ones with the further covariantization with respect to the metric and the background Rsymmetry. This is not always the case in curved space, where extra terms should be included to maintain supersymmetry. In general, a Lagrangian is not invariant under flat space supersymmetry transformations when defined on a curved space because covariant derivatives do not commute anymore. With a topological twist, the spinor \(\epsilon \) is covariantly constant and the problem is milder.
The localization formula
The topologically twisted index is just the \(\varSigma _{\mathfrak {g}}\times S^1\) path integral of the theory discussed in the previous section. We can evaluate it using localization. The basic idea of localization is simple. Let us review it briefly, referring to Pestun and Zabzine (2017) and Marino (2011) for more details.^{Footnote 20} In a theory with a fermionic symmetry squaring to zero (or to a bosonic symmetry of the theory)^{Footnote 21} we can deform the action with a \({{{\mathcal {Q}}}}\)exact term, \({{{\mathcal {Q}}}} V\), where V is a fermionic functional invariant under all the symmetries. The new action is still \({{{\mathcal {Q}}}}\) invariant and the path integral independent of the deformation
since \({{{\mathcal {Q}}}}\) acts as a total derivative. The path integral can be then computed for \(t\rightarrow \infty \) and, if we choose V cleverly and we are lucky, it reduces to a sum over saddle points of a classical contribution and a oneloop determinant,
In many supersymmetric gauge theories on Euclidean manifolds, this approach successfully reduces the path integral to the evaluation of a matrix model.
In our theory, \({\mathcal {L}}_{\mathrm{YM}}, {\mathcal {L}}_{\mathrm{mat}}\) and \({\mathcal {L}}_{\mathrm{W}}\) are not only \({{{\mathcal {Q}}}}\)closed but also \({{{\mathcal {Q}}}}\)exact. For example, up to total derivatives,
Therefore we can put arbitrary coefficients in front of the various \({{{\mathcal {Q}}}}\)exact terms in the Lagrangian
and the path integral is independent of \(g,\lambda ,\eta \). We can then take the limit \(g,\lambda ,\eta \rightarrow 0\) and evaluate the path integral in the saddle point approximation. Notice in particular that \({\mathcal {L}}_\text {W}\) is \({{{\mathcal {Q}}}}\)exact. This means that the partition function is independent of the precise form of the interactions in the Lagrangian. The superpotential is important nevertheless for determining the global symmetries of the theory, which enter in the partition function through chemical potentials.
We now give the localization formula for the topologically twisted index. Since the computation is complicated and subtle, we just provide the final formula, referring to Pestun and Zabzine (2017) and Marino (2011) for a general introduction to localization and to Benini and Zaffaroni (2015, 2017) for the details of this particular computation.
The path integral of the topologically twisted theory on \(\varSigma _{\mathfrak {g}}\times S^1\) for a \({{{\mathcal {N}}}}=2\) supersymmetric gauge theory with gauge group G can be written as a contour integral
of a meromorphic form of Cartanvalued variables u, summed over a lattice \(\varGamma \) of magnetic fluxes. W is just the order of the Weyl group of G. We will explain all the ingredients in the following, referring to Benini and Zaffaroni (2015, 2017) for proofs. Notice that from now on we drop the superscript susy from the partition functions.
The BPS locus
We have a family of saddle points labeled by the vev of the scalar field \(\sigma \), the value of the Wilson line \(A_t\) along \(S^1\) and a quantized magnetic flux \({\mathfrak {m}}\) along \(\varSigma _{\mathfrak {g}}\). As standard in localization computation, these saddle points can be found as the locus where the fermionic variations vanish. The gaugino BPS equations read
and are solved by setting the two terms on the righthand side to zero. The second term in (3.12), \(D_\mu \sigma \), vanishes for constant commuting adjoint fields \(\sigma \) and \(A_t\). With a gauge transformation, we can transform them in the Cartan subalgebra. We can combine these fields in a complex Cartanvalued quantity
The Wilson line \(A_t\) is periodic, invariant under a shift of any element \(\chi \) of the coroot lattice \(\varGamma \), \(A_t \sim A_t + 2 \pi \chi \),^{Footnote 22} the physical object being the holonomy \(e^{i A_t}\). So u naturally lives on a cylinder and it is convenient to define the quantity \(x=e^{i u}\). For a U(1) theory, u lives on the cylinder \(S^1\times {\mathbb {R}}\) and x on the punctured plane \({\mathbb {C}}^*\). The first term in (3.12), using \(\gamma _{12}\epsilon =i \epsilon \), implies that the auxiliary field D is proportional to the gauge field strength along \(\varSigma _{\mathfrak {g}}\), \(D= i F_{12}\), and both live in the Cartan subalgebra. The curvature along \(\varSigma _{\mathfrak {g}}\) is quantized
where \(\varGamma \) is again the coroot lattice. For a U(1) theory \({\mathfrak {m}}\) is just an integer.
The path integral involves a sum over saddle points and is therefore given as an integral over u and a sum over the magnetic fluxes \({\mathfrak {m}}\). Both variables live in the Cartan subalgebra and are only defined up to an action of the Weyl group, the surviving gauge symmetry. This explains the factor 1/W in (3.11). For a U(N) theory the coroot lattice is just \(\varGamma ={\mathbb {Z}}^N\) and the Weyl group is the permutation group of N elements with \(W=N!\)
The integrand
The contribution to the saddle point of the classical action comes only from the Chern–Simons term^{Footnote 23}
where \(x=e^{i u}\).
The oneloop determinant receives contributions from the vector multiplets and the chiral multiplets. The vector multiplet contribution is
where \(\alpha \) are the roots of G and, for convenience, we included the integration measure \((du)^r\) in this expression. The chiral multiplet contribution is
where \({\mathfrak {R}}\) is the representation under the gauge group G, \(\rho \) are the corresponding weights and \(r_\phi \) is the Rcharge of the field. These expressions arise by taking ratios of determinants for fermionic and bosonic fields, computed by expanding in modes on \(\varSigma _{\mathfrak {g}}\times S^1\). Due to supersymmetry, most of the modes cancel between bosons and fermions and we are left with the contribution of a set of zeromodes (indeed a convenient way to perform this computation is via an index theorem). For a chiral multiplet these zero modes contribute
The term in bracket represents the mass of a chiral multiplet mode due to the coupling to \(\sigma \), which acts as a real mass, to the Wilson line \(A_t\) and to the KK momentum n along the circle \(S^1\). The exponent is the multiplicity of the zeromode that can be easily obtained using the Riemann–Roch theorem. Notice that this multiplicity must be an integer and therefore the Rcharges \(r_\phi \) must be quantized.^{Footnote 24} This infinite product needs to be regularized. In (3.17) we chose a parity invariant regularization. There are other possible ones.^{Footnote 25}
The full integrand is
where
The determinant term exists only on a Riemann surface of genus \({\mathfrak {g}}>0\) and arise from the integration of the extra \({\mathfrak {g}}\) fermionic zeromodes existing on these surfaces.
The contour
The integrand (3.19) is a meromorphic form in the Cartan variables u with poles at \(x^\rho =1\), the points in the BPS locus where chiral multiplets become massless, and at the boundaries \(x=0\) and \(x=\infty \) of the moduli space. The partition function is obtained by using the residue theorem. Supersymmetry will choose the correct integration contour and tell us which poles to include. One might hope that we need to integrate over some simple contour, like the unit circle in the plane x, but one actually discovers that the contour is highly nontrivial and depends on the charges of the matter fields. For example, for a U(1) theory with chiral fields of charge \(Q_i\) and Chern–Simons level k, defining the effective Chern–Simons level^{Footnote 26}
the rule is to take the residues of the poles created by fields with positive charge \(Q_i>0\), the residue at the origin \(x=0\) if \(k_\mathrm{eff}(\infty )<0\) and the residue at infinity \(x=\infty \) if \(k_\mathrm{eff}(\infty )>0\). The rule for a generic gauge group can be written in terms of the socalled Jeffrey–Kirwan (JK) residue (Jeffrey and Kirwan 1995), a prescription for dealing with poles arising from multiple intersecting hyperplane singularities. To explain it properly will lead us too far and we refer to Benini and Zaffaroni (2015, 2017) for details. The JK residue also appears in localization computations for elliptic genera in two dimensions, quantum mechanics, and various other partition functions (Benini et al. 2014; Hori et al. 2015; Closset et al. 2015).
The reader may object that we are supposed to integrate over the BPS locus, which is the whole complex plane, and not to perform a contour integral in u. Luckily again supersymmetry comes to a rescue. On \(\varSigma _{\mathfrak {g}}\times S^1\) there are gaugino zeromodes that contribute an extra term in the integrand in addition to the oneloop determinant. It turns out that the full integrand is a total derivative in \({\bar{u}}\) and we can reduce the integral over the u plane to a contour integral around the singularities, as discussed in details in Benini and Zaffaroni (2015).
Adding flavor fugacities
If the theory has a flavor symmetry group F acting on the chiral fields, we can introduce extra parameters in a supersymmetric way. We can just gauge the flavor symmetry and then freeze all the bosonic fields to background values that are preserved by supersymmetry. The background bosonic fields give rise to supersymmetric couplings in the Lagrangian. The analysis of fermionic variations is identical to the one performed in Sect. 3.2.1 for gauge symmetries. We need to solve (3.12) for a background multiplet, \((A^F_\mu ,\lambda ^F,\sigma ^F,D^F)\). The result is that we can turn on in a supersymmetric way a constant value for \(\sigma ^F\) and \(A_t^F\) which we combine into a complex quantity \(u_F = A_t^F+i \beta \sigma ^F\), and a background magnetic flux \({\mathfrak {m}}_F\) with \(D^F=i {\mathfrak {m}}_F\). \(\sigma ^F\) appears in the Lagrangian as a real mass for the chiral fields. In three dimensions, any gauge theory with a U(1) factor with field strength F has also a topological symmetry associated with the current \(J= * F\), which is automatically conserved. We can similarly introduce parameters \(u_T\) and \({\mathfrak {m}}_T\) for the topological symmetry.
The path integral is then a function of \(x_F,x_T\) and \({\mathfrak {m}}_F,{\mathfrak {m}}_T\). In the localization formula we just need to replace the oneloop determinant of a chiral field with
where \(x_F=e^{i u_F}\) and \(\nu \) is the weight of the chiral field under the flavor symmetry F. There is no modification to the vector multiplet determinant. A U(1) topological symmetry just contributes a classical term
to the classical action.
The trace interpretation
As any path integral that involves an \(S^1\) factor, the topologically twisted index can be written as a trace^{Footnote 27}
where \(H_{\mathfrak {g}}\) is the Hamiltonian of the topologically twisted theory on \(\varSigma _{\mathfrak {g}}\), in the presence of magnetic fluxes \({\mathfrak {m}}_G=({\mathfrak {m}}_F,{\mathfrak {m}}_T)\) and a supersymmetric background \(x_G=(x_F,x_T)\) for the global symmetries, whose conserved charges have been denoted as \(J^G\). The Hamiltonian \(H_{\mathfrak {g}}\) explicitly depends on the magnetic fluxes \({\mathfrak {m}}_G\) and the real masses \(\sigma ^G\). If sufficiently real masses are turned on, the spectrum of \(H_{\mathfrak {g}}\) is discrete and the trace is welldefined.
An example: SQED
To explain all the ingredients, we can give a simple example of the final formula, using supersymmetric QED. This is a U(1) theory with two chiral multiplets Q and \({{\tilde{Q}}}\) of charges \(\pm 1\) (electron and positron), and no Chern–Simons couplings. Since there is no superpotential, we have many possible choices of integer Rcharges for the fields. We choose to assign Rcharge \(+1\) to both Q and \({{\tilde{Q}}}\). There is an axial flavor symmetry \(U(1)_A\) acting on Q and \({{\tilde{Q}}}\) with equal charges and a topological symmetry \(U(1)_T\). The charges of the chiral fields are
The topological symmetry acts only on nonperturbative states constructed with monopole operators. We introduce a gauge variable x, with associated magnetic flux \({\mathfrak {m}}\), and flavor and topological variables \(y=x_F\) and \(\xi =x_T\), with associated background fluxes \({\mathfrak {n}}={\mathfrak {m}}_F\) and \({\mathfrak {t}}={\mathfrak {m}}_T\). According to our rules, the partition function on \(S^2\times S^1\) is
where we included an extra \((1)^{\mathfrak {m}}\), which can be reabsorbed in the definition of \(\xi \), for later convenience.^{Footnote 28} Notice that gauge and flavor variables enter in a similar way in this formula. The main difference is that x and \({\mathfrak {m}}\) are integrated and summed over, while \(y,\xi \) and \({\mathfrak {n}},{\mathfrak {t}}\) are background parameters.
Our prescription instructs us to take the residues from the field Q with positive gauge charge, whose pole is at \(x = \frac{1}{y}\). By computing residues and resumming the result, one finds
One recognizes here the product of three factors of the form (3.22) that we can associate with chiral multiplets. Indeed it is well known that the mirror theory to SQED is a Wess–Zumino model with fields \(M,T,{{\tilde{T}}}\) and a cubic superpotential \(W = M T{{\tilde{T}}}\) (Aharony et al. 1997).
Interpretation of the localization formula
We can give an interpretation of the localization formula for the theory on \(\varSigma _{\mathfrak {g}}\times S^1\) in two different ways that correspond to two different dimensional reductions of the threedimensional theory. Compactification on \(\varSigma _{\mathfrak {g}}\) gives rise to a quantum mechanics and compactification on \(S^1\) to a twodimensional (2, 2) supersymmetric theory.
Reduction to quantum mechanics
Compactifying on \(\varSigma _{\mathfrak {g}}\), we obtain a supersymmetric quantum mechanics describing an infinite number of KK modes on \(\varSigma _{\mathfrak {g}}\). These are particles living on the Riemann surface in the presence of a magnetic field for the Rsymmetry and magnetic fluxes \({\mathfrak {m}}_G\) for the global symmetries. These magnetic fields create Landau levels. The trace (3.24) can be interpreted as the Witten index (Witten 1982a) of this particular quantum mechanics. Let us understand this concept better.
The quantum mechanics in question has \({{{\mathcal {N}}}}=2\) supersymmetry. With no background for the global symmetries, the algebra of supersymmetry is simply \(\{ {\bar{Q}}, Q\}=H_{\mathfrak {g}}\), where Q is a complex supercharge. The index is just
and, according to standard arguments, is independent of \(\beta \). Indeed, any state \(\psi \) with \(H_{{\mathfrak {g}}}\ne 0\) has a nonzero partner \(Q\psi \) with the same energy and opposite statistic and their contributions cancel in the trace. Therefore the only contribution comes from ground states.^{Footnote 29} The index is then clearly independent of \(\beta \) and it is an integer counting the number of ground states with signs (plus for bosonic ones, minus for fermionic ones). When we turn on backgrounds for the global symmetries, the supersymmetry algebra is modified to \(\{ {\bar{Q}}, Q\}=H_{\mathfrak {g}}\sigma ^G J^G\), where \(J^G\) is the conserved charge associated to the global symmetry.^{Footnote 30} Using (3.24), we can now write the index as follows
where g(n) is the number of supersymmetric states, \(Q\psi =0\), with charge n under the global symmetry and, as usual, \(x_G= e^{i (A_t^G+ i \beta \sigma ^G)}\). In deriving this expression, we used again the fact that states with \(Q\psi \ne 0\) are paired by supersymmetry and have the same energy and charge. This time, the states that contribute to the trace are chiral states with \(H_{\mathfrak {g}}=\sigma _G J^G\). In this way, we have obtained an equivariant index, where the supersymmetric states are graded according to their charge by powers of the fugacity \(x_G\). Notice also that this argument shows that the topologically twisted index is an holomorphic function of the fugacities, as we already found using localization.
Let us also notice that the integrand of the localization formula has a simple Hamiltonian interpretation. There are two type of multiplets in the \({{{\mathcal {N}}}}=2\) quantum mechanics we are discussing: the chiral multiplet containing a complex scalar \(\phi \) and a spinor as dynamical fields, and the Fermi multiplet containing only a spinor (Hori et al. 2015). The Landau levels on \(\varSigma _{\mathfrak {g}}\) give rise to zeromodes with multiplicities dictated by the Riemann–Roch theorem. One can see that the zeromodes organize themselves into \(\rho ({\mathfrak {m}}) +({\mathfrak {g}}1)(r_\phi 1)\) chiral multiplets if \(\rho ({\mathfrak {m}}) +({\mathfrak {g}}1)(r_\phi 1)>0\), and \(\rho ({\mathfrak {m}}) +({\mathfrak {g}}1)(r_\phi 1)\) Fermi multiplets if \(\rho ({\mathfrak {m}}) +({\mathfrak {g}}1)(r_\phi 1)<0\), where for simplicity we set the flavor fugacities to zero. We can now compute the index for Fermi and chiral multiplets. For the Fermi multiplet the Hilbert space is a fermionic Fock space, and assigning charge \(\frac{\rho }{2}\) and fermion number 0 to the vacuum, the index is
For the chiral multiplet the Hilbert space is the product of a bosonic Fock space generated by \(\phi ,\phi ^\dag \) and a fermionic Fock space; assigning fermion number 1 to the vacuum, the index is
Raising these quantities to a power corresponding to the multiplicity, and taking into account the different signs for the two types of multiplets, we recover exactly the contribution (3.17) of a threedimensional chiral multiplet to the partition function.
In particular, the localization formula for the topologically twisted index is just the sum over many topological sectors labelled by \({\mathfrak {m}}\) of the localization formula for the Witten index of \(\mathcal{N}=2\) quantum mechanics found in Hori et al. (2015).
Reduction to two dimensions
We can alternatively reduce our threedimensional theory on \(S^1\) and obtain a (2, 2) supersymmetric theory containing all the KK modes on \(S^1\). At a generic point of the Coulomb branch where \(\sigma \ne 0\), all the nonCartan gauge bosons and the chiral multiplets are massive.^{Footnote 31} We can integrate them out and write a Lagrangian for the Cartan modes of the vector multiplets. In two dimensions, a vector multiplet can be described using a twisted chiral multiplet \(\varSigma \) and its interactions is described by a twisted superpotential \(\int d\theta _+ d{\bar{\theta }}_ {\mathcal {W}}\).^{Footnote 32}
It is interesting to observe that such twisted superpotential \({\mathcal {W}}\) enters explicitly in the integrand of the localization formula (Closset and Kim 2016; Closset et al. 2017b). Indeed, the dependence on the gauge flux \({\mathfrak {m}}\) can be explicitly written as
where Q(x) is a meromorphic function independent of \({\mathfrak {m}}\). The function \({\mathcal {W}}\), up to an overall normalization and sign ambiguities that we fix for convenience, is given by^{Footnote 33}
with \(g_2 ( u ) = \frac{u^2}{2}  \pi u + \frac{\pi ^2}{3}\). As argued in Nekrasov and Shatashvili (2009b, 2015), this can be interpreted as the effective twisted superpotential of the twodimensional theory obtained by compactifying on \(S^1\). The first term in (3.33) is the classical contribution coming from the CS term, and the second is the sum of all the perturbative contributions of massive fields, including the infinite tower of KK modes. Indeed, a oneloop diagram for a mode of mass m contributes a term proportional to \( i (\varSigma +m) (\log (\varSigma +m)/2\pi 1)\) to \({\mathcal {W}}\) and there are no higher order corrections (Witten 1993). The contribution of the KK modes of a chiral multiplet, whose mass depends on \(\sigma \), the Wilson line \(A_t\) and the KK momentum n, can be resummed to
The other term in the round bracket in (3.33) is local and it is due to our choice of a parity invariant regularization.^{Footnote 34} Using the asymptotic expansion of the polylogarithms, we find that the content of the bracket in (3.33) behaves, for large \(\sigma \), as
This can be interpreted as a oneloop effective Chern–Simons term obtained by integrating out a field of mass \(\rho (\sigma )\).^{Footnote 35}
The Jeffrey–Kirwan prescription typically selects poles in the integrand of the localization formula that are contained in a halflattice \({\mathfrak {m}}_i \ge M\) (or \({\mathfrak {m}}_i \le M\)) for some cutoff M. We can then use the geometric series to resum the integrand in (3.32)
and evaluate the index by taking the residues at the poles
The cutoff M disappears in the process. The solutions to (3.37) are the socalled Bethe vacua of the twodimensional theory. They play an important role in the Bethe/gauge correspondence (Nekrasov and Shatashvili 2009a, b).
We then find the following general characterization of the topologically twisted index as a sum over Bethe vacua
where \(x^*\) are the solutions of (3.37). The expression for the topologically twisted index as a sum over Bethe vacua was first derived by topological field theory arguments in Okuda and Yoshida (2012, 2014), Nekrasov and Shatashvili (2015) and Okuda and Yoshida (2015). In the context of localization, this expression for the index has been derived and generalized in Closset and Kim (2016) and Closset et al. (2017a, b, 2018). The expression in (3.38) can be also written as
in terms of a handlegluing operator \({{{\mathcal {H}}}} (x) = e^{\varOmega (x)} \det _{ij} \partial ^2_{u_i u_j} {\mathcal {W}}(x)\) and an effective dilaton \(\varOmega (x)\) whose complete characterization in terms of field theory data can be found in the above mentioned papers. Here we just notice that, for genus \({\mathfrak {g}}>0\), the Hessian of \({\mathcal {W}}\) enters at the power \({\mathfrak {g}}1\). Indeed, the determinant in (3.19) contributes \({\mathfrak {g}}\) extra powers of the Hessian that combine with the denominator in (3.38).
A very interesting result of Closset et al. (2017a, b, 2018) is the generalization of formula (3.39) to threedimensional manifolds that are not a direct product. For example, the supersymmetric partition function on a threemanifold \({\mathcal {M}}_3\) that is an \(S^1\) fibration of Chern class p over a Riemann surface \(\varSigma _{{\mathfrak {g}}}\) can be written as a sum over the very same set of Bethe vacua,
with a fibering operator \({\mathcal {F}}(x)\) that can be expressed in terms of field theory data. There exists a similar result for the partition function on more general threedimensional manifolds and also for some selected fourdimensional ones (Closset et al. 2017a, b, 2018). The particular case of the formula for the fourdimensional superconformal index plays a role in the physics of AdS\(_5\) black holes (Benini and Milan 2020a, b), as discussed in Sect. 7.2.
Let us give a couple of examples of Bethe vacua. For a pure \(\mathcal{N}=2\) Chern–Simons theory with gauge group SU(2), the expression for the partition function (3.19) is
where we used \(x_i=(x,1/x)\) and \({\mathfrak {m}}_i=({\mathfrak {m}},{\mathfrak {m}})\). The twisted superpotential receives contribution only from the classical action: \({\mathcal {W}}=\sum _i k u_i^2/2= k u^2\). The Bethe vacua (3.37) are then \(x^{2k}=1\) with solutions the 2kroots of unity. Formula (3.38) gives, up to an ambiguous sign,
where \({\bar{k}} =k2\). This is the wellknown Verlinde formula for the CS partition function on \(\varSigma _{\mathfrak {g}}\times S^1\).^{Footnote 36} Notice that the root \(x=1\) is not included in the sum: as a general rule, the Bethe vacua that are also zeros of the Vandermonde determinant are not physical.
In the presence of matter, the Bethe equations (3.37) are more complicated. In the SQED example discussed in Sect. 3.2.6, the Bethe equation is
with solution \(x= (1 \xi y)/(y\xi )\). It is easy to see that (3.38) correctly reproduces (3.27). For a general theory with gauge group G, the Bethe equations (3.37) cannot be analytically solved.
The entropy of dyonic AdS\(_4\) black holes
In this section we will derive microscopically the entropy of a family of BPS static dyonic black holes in AdS\(_4\times S^7\) (Benini et al. 2016b, 2017). These solutions have been found in \({{{\mathcal {N}}}}=2\) gauged supergravity in fourdimensions (Cacciatori and Klemm 2010; Dall’Agata and Gnecchi 2011; Hristov and Vandoren 2011; Katmadas 2014; Halmagyi 2015) and later uplifted to Mtheory. We then start by briefly discussing the main features of \({{{\mathcal {N}}}}=2\) gauged supergravity in four dimensions. This will be also useful to write an entropy functional. We then consider the large N limit of the topologically twisted index for the ABJM theory in three dimensions and show that it reproduces the entropy of the dual black holes.
We will only consider the case of static black holes in this section. A field theory derivation for the entropy of dyonic rotating black holes in AdS\(_4\times S^7\) (Hristov et al. 2019b) is still missing.
AdS\(_4\) dyonic static black holes
BPS black holes in AdS\(_4\) can be found by studying an effective fourdimensional \({{{\mathcal {N}}}}=2\) gauged supergravity. We start discussing the main features of the effective theory.
The \({{{\mathcal {N}}}}=2\) supergravity multiplets are:

the graviton multiplet, whose bosonic components are the metric \(g_{\mu \nu }\) and a vector field \(A_\mu ^0\), called graviphoton;

the vector multiplet, whose bosonic components are a vector \(A_{\mu }^i\) and a complex scalar z;

the hypermultiplet, whose bosonic components are four real scalars \(q^\alpha \).
For simplicity, we will restrict to \({{{\mathcal {N}}}}=2\) gauged supergravities with \(n_V\) vector multiplets and no hypermultiplets.^{Footnote 37} This will be enough to describe the black holes in AdS\(_4\times S^7\). The theory contains \(n_V+1\) vector multiplets \(A_\mu ^\varLambda \) and \(n_V\) complex scalar fields \(z_i\), where \(\varLambda =0,1,\ldots , n_V\) and \(i=1,\ldots , n_V\). The Lagrangian can be written in terms of a holomorphic prepotential \({\mathcal {F}}(X^\varLambda )\), which is a homogeneous function of degree two, and a vector of magnetic and electric Fayet–Iliopoulos (FI) parameters \((g^\varLambda , g_\varLambda )\). \(X^\varLambda (z_i)\) are a set of \(n_V+1\) homogeneous coordinates on the scalar manifold. The theory is invariant under rescaling of the \(X^\varLambda \) and one can identify the physical scalar fields with \(z_i=X^i/X^0\).^{Footnote 38} It is also convenient to define \({\mathcal {F}}_\varLambda \equiv \partial _\varLambda {\mathcal {F}}\). The theory is fully covariant under a \(Sp(2 n_V+2)\) group of electric/magnetic dualities acting on \((X^\varLambda ,{{{\mathcal {F}}}}_\varLambda )\) and \((g^\varLambda , g_\varLambda )\) as symplectic vectors.
The action of the bosonic part of the theory reads (Andrianopoli et al. 1997)
The metric on the scalar manifold is given by
Here, \({\mathcal {K}}(z , \bar{z})\) is the Kähler potential and it reads
The matrix \({\mathcal {N}}_{\varLambda \varSigma }\) of the gauge kinetic term is a function of the vector multiplet scalars and is given by
Finally, the scalar potential reads
where \({{{\mathcal {L}}}}= e^{{{{\mathcal {K}}}}/2}\left( X^\varLambda g_\varLambda  {\mathcal {F}}_\varLambda g^\varLambda \right) \) and \(D_i{{{\mathcal {L}}}}= \partial _i \mathcal{L} + \partial _i {{{\mathcal {K}}}} {{{\mathcal {L}}}}/2\).
The ansatz for a static dyonic black hole with horizon \(\varSigma _{\mathfrak {g}}\) is of the form^{Footnote 39}
where \(A_{\varSigma _{\mathfrak {g}}}\) is the gauge potential for a magnetic flux on \(\varSigma _{\mathfrak {g}}\). For example, for \(\varSigma _{\mathfrak {g}}=S^2\) we can take \(A_{S^2}= \cos \theta d \phi \). We assume that the scalar fields \(z^i\) have only radial dependence. We are interested in solutions that are asymptotic to AdS\(_4\) for large values of the radial coordinate,
and approach a regular horizon AdS\(_2\times \varSigma _{\mathfrak {g}}\) at some fixed value \(r=r_0\),
Notice that we can also interpret these black holes as domain walls interpolating between AdS\(_4\) and AdS\(_2\times \varSigma _{\mathfrak {g}}\). The AdS\(_2\) factor suggests the existence of a superconformal quantum mechanics describing the horizon microstates. We expect that this is the IR limit of the quantum mechanics discussed in Sect. 3.3.1.
There are two conserved quantities
where \(G_\varLambda = 8 \pi G_\text {N}\, \delta ({\mathscr {L}} d\mathrm {vol}_4)/\delta F^\varLambda \), corresponding to the magnetic and electric charges of the black hole. Under \(Sp(2 n_V+2)\) they transform as a symplectic vector \((p^\varLambda , q_\varLambda )\). In a frame with purely electric gauging \(g_\varLambda \), the magnetic and electric charges are quantized as follows
not summed over \(\varLambda \).
As discussed in Sect. 2.1.2, supersymmetry is realized with a topological twist. In particular, the Killing spinors \(\epsilon _A\), \(A=1,2\), only depend on the radial coordinate. The BPS equations give a set of ordinary differential equations for the functions \(U,V,a_0,a_1,z_i, \epsilon _A\) that are explicitly given in Cacciatori and Klemm (2010), Dall’Agata and Gnecchi (2011), Hristov and Vandoren (2011), Katmadas (2014) and Halmagyi (2015). For our purposes, the only important point is that the gravitino variation contains, among other pieces,
The vanishing of this variation, when the index \(\mu \) is restricted to \(\varSigma _{\mathfrak {g}}\), requires that \(A_\mu ^\varLambda \) cancels the spin connection and one obtains
where, with standard notations, \(\kappa =1\) for horizon \(S^2\), \(\kappa =0 \) for \(T^2\) and \(\kappa =1\) for \({\mathfrak {g}}>1\). We see that a linear combination of the magnetic charges is fixed by the twist. In a general theory with also magnetic FI the previous condition is replaced by
which is manifestly symplectic invariant. The previous discussion closely parallels the field theory analysis of the supersymmetries preserved by a topological twist in Sect. 3.1.^{Footnote 40}
It has been noticed in Dall’Agata and Gnecchi (2011) that the BPS equations of gauged supergravity for the nearhorizon geometry can be put in the form of attractor equations.^{Footnote 41} The BPS equations are indeed equivalent to the extremization of the quantity
with respect to the horizonvalue of the symplectic sections \(X^\varLambda \), combined with the requirement that the value of \({\mathcal {I}}_{\text {sugra}}\) at the critical point \({\bar{X}}^\varLambda \) is real. In general, in gauged supergravity, \({\mathcal {F}}(X^\varLambda )\) is a homogeneous function of degree two, so we can equivalently define \({{\hat{Y}}}^\varLambda \equiv X^\varLambda /(g_\varSigma X^\varSigma  g^\varSigma {\mathcal {F}}_\varSigma )\) and extremize
The extremization of (4.12) gives a set of algebraic equations for the value of the physical scalars \(z^i\) at the horizon, and the entropy of the black hole is given by evaluating the functional (4.12) at its extremum
Black holes in AdS\(_4\times S^7\)
Mtheory on AdS\(_4\times S^7\) can be consistently truncated to an \({{{\mathcal {N}}}}=2\) gauged supergravity containing the four vectors parameterizing the Cartan subgroup of the SO(8) isometry of \(S^7\). In the language of gauged supergravity, one is the graviphoton and the other three give rise to a model with three vector multiplets, \(n_V=3\). By explicitly reducing Mtheory on AdS\(_4\times S^7\), one can determine the prepotential^{Footnote 42}
and the FI, \(g_\varLambda \equiv g, \, g^\varLambda =0\), that are purely electric. With these notations the AdS\(_4\) vacuum has radius \(L^2=1/2g^2\).
We can introduce four magnetic and electric charges \((p^\varLambda , q_\varLambda )\). However, two of these charges are determined by supersymmetry. Indeed, one is fixed by the twisting condition (4.10) that gives a linear constraint among the magnetic charges. For purely magnetic black holes (Cacciatori and Klemm 2010), this is the only constraint and we find a threedimensional family of solutions. They are particularly simple since all the scalars \(z_i\) are real. We can write, for example, the solution for a black hole with \(S^2\) horizon
where the real sections are given by \(X^\varLambda = \frac{1}{4}  \frac{\beta _\varLambda }{r}\) and the parameters \(\beta ^\varLambda \) and c are determined in terms of the magnetic charges by
where we also set \(L=1\) or, equivalently, \(g = 1/\sqrt{2}\). The generic dyonic black holes found in Katmadas (2014) and Halmagyi (2015) are more complicated and we will not report here the form of the solution. For dyonic black holes there is an extra constraint on the charges that follows from the requirement that the entropy computed through the attractor mechanism (4.14) is a real number. This constraint is highly non linear in the charges and leaves a sixdimensional family of black holes.
The entropy can be written by using (4.14), even without knowing the explicit form of the metric. The final expression can be written in a symplectic invariant form
where \(\varGamma =(p^\varLambda , q_\varLambda )\) and \(G=(g^\varLambda ,g_\varLambda )\) are symplectic vectors containing the charges and the FI parameters, and \(I_4\) is a quartic polynomial, known as the quartic invariant, whose explicit expression can be found in Katmadas (2014) and Halmagyi (2015). In the simplest case of a purely magnetic black hole with \(p^1=p^2=p^3\equiv p/(2g)\), \(p^0=(3 p2)/(2g)\) and horizon \(S^2\), we find an expression of the form
Notice that this expression is quite complicated, especially if compared with simple forms of the entropy as a function of charges that one can find for some asymptotically flat black holes.
The solutions with spherical horizon can be generalized by adding rotation (Hristov et al. 2019b). For completeness we report the form of the entropy
where j is the angular momentum. This time supersymmetry imposes three constraints on the charges and leaves again a sixdimensional family of rotating black holes.
The dual field theory
The CFT dual to AdS\(_4\times S^7\) is the socalled ABJM theory (Aharony et al. 2008). We briefly discuss its properties and then we write the corresponding topological twisted index using the rules discussed in Sect. 3.
The ABJM theory describes the lowenergy dynamics of N M2branes on \({\mathbb {C}}^4/{\mathbb {Z}}_k\) (Aharony et al. 2008). It is a threedimensional supersymmetric Chern–Simonsmatter theory with gauge group \(U(N)_k \times U(N)_{k}\) (the subscripts are the CS levels) and matter in bifundamental representation. The matter content, in \({{{\mathcal {N}}}}=2\) notations, is described by the quiver diagram
where \(i,j=1,2\) and nodes represent gauge groups and arrows represent bifundamental chiral multiplets. The theory has a quartic superpotential
The ABJM theory has a number of interesting properties:

the theory has \({\mathcal {N}}=6\) superconformal symmetry, nonperturbatively enhanced to \({\mathcal {N}}=8\) for \(k=1,2\);

it has an SU(4) Rsymmetry, enhanced to SO(8) for \(k=1,2\);

for \(N\gg k^5\) the theory is welldescribed by a weakly coupled Mtheory background, AdS\(_4\times S^7/{\mathbb {Z}}_k\);

the free energy on \(S^3\) can be computed using localization and scales as \(O(N^{3/2})\) in the Mtheory limit (Drukker et al. 2011)
$$\begin{aligned} F_{S^3}=\log Z_{S^3} = \frac{\pi \sqrt{2}}{3} \sqrt{k} N^{3/2} \,. \end{aligned}$$(4.19)
For a review of these properties see Klebanov and Torri (2010) and Marino (2011).
We will consider the case \(k=1\) where the theory has maximal supersymmetry, SO(8) Rsymmetry and is dual to AdS\(_4\times S^7\). The four abelian symmetries of the theory, \(U(1)^4\subset SO(8)\) correspond, in \({{{\mathcal {N}}}}=2\) notation, to an Rsymmetry and three global symmetries. There are many choices of U(1) Rsymmetry corresponding to different decompositions \(SO(8)\rightarrow U(1)_R\times U(1)^3\). In order to write the index we need to select one with integer charges. Introducing a natural basis of U(1) Rsymmetries,
we can for example choose the Rsymmetry \(\sum _a R_a/2\) that has integer charges. The remaining three U(1)s combine to give three flavor symmetries, say \((R_aR_4)/2\) for \(a=1,2,3\).^{Footnote 43}
Our general rules for the index allow to introduce a number of independent fluxes and fugacities equal to the number of global symmetries. We then introduce three magnetic fluxes \({\mathfrak {p}}\) and three fugacities y for the three flavor symmetries of ABJM. It will be convenient to choose a redundant but democratic parameterization of these quantities. We assign a flux and a fugacity, \({\mathfrak {p}}_a\) and \(y_a\) with \(a=1,2,3,4\), to each of the fields \(A_1,A_2,B_1,B_2\) in the order indicated. The index is given by
where we used the rules of Sect. 3.2.2. Notice that the Hessian of \({\mathcal {W}}\) should be computed using the 2N variables \(u_A=(u_i, {{\tilde{u}}}_i)\). We have also included the CS term k in order to make clear where the terms come from but soon we will set \(k=1\). As already said, the fugacities are not independent. Since the superpotential (4.18) must have charge zero under a global symmetry we must set
This translates into a constraint for the corresponding (complexified) chemical potentials \(\varDelta _a\), \(y_a=e^{i \varDelta _a}\),
since the \(\varDelta _a\) are only defined modulo \(2 \pi \).^{Footnote 44} Similarly, the four fluxes \({\mathfrak {p}}_a\) are not independent. To understand our parameterization, let us compare the chiral fields contributions in (4.21) with (3.22). Identifying exponents we have
where \( {\mathfrak {m}}_a^{F}\) is an assignment of background fluxes for the global symmetry and \(r_a\) the Rcharge of the ath field. Since W has charge zero under global symmetries and charge two under Rsymmetries, we have \(\sum _{a=1}^4 {\mathfrak {m}}_a^{F}=0\) and \(\sum _{a=1}^4 r_a=2\), so that
The dependence of our index on three magnetic fluxes and three fugacities fits well with the family of black holes discussed in Sect. 4.1.1 that have three magnetic and three electric charges. (4.25) is clearly the analog of (4.10) and already suggests the following identification between parameters \(p^\varLambda \rightarrow  \kappa {\mathfrak {p}}_a /(2 g (1{\mathfrak {g}}))\).
The index can be written as a sum over Bethe vacua (3.38). The twisted superpotential (3.33) reads^{Footnote 45}
and the Bethe vacua equations are
In the large N limit we expect that just one Bethe vacuum dominates the partition function.
The ABJM Bethe vacua in the large N limit
We want to study the solutions of (4.27) in the large N limit (Benini et al. 2016b). By running numerics, one discovers that the imaginary parts of the solutions \(u_i\) and \({{\tilde{u}}}_i\) grow with N,
and are equal for the two sets, while the real parts remain bounded. As usual, in the large N limit, the distributions of \(u_i\) and \({{\tilde{u}}}_i\) become almost continuous and we introduce a parameter \(t(i/N)=t_i\), defined in an interval \([t_,t_+]\). We also introduce two functions of t, v(t) and \({{\tilde{v}}}(t)\), defined implicitly by \(v(i/N)=v_i, \, {{\tilde{v}}}(i/N)={{\tilde{v}}}_i\), and a normalized density
The interesting feature of this model is that \({\mathcal {W}}\) becomes a local functional,^{Footnote 46}
where \(\delta v(t)={{\tilde{v}}}(t)  v(t)\), \(g_3(u)= \frac{1}{6} u^3 \frac{1}{2} \pi u^2 + \frac{\pi ^2}{3} u\) and \(\epsilon _a=1\) for \(a=1,2\) and \(\epsilon _a=1\) for \(a=3,4\). We also assumed that \(\varDelta _a\) are real and
for all a. The first term in \({\mathcal {W}}\) comes from the Chern–Simons interaction and the second is the contribution of matter fields. The derivation of (4.30) is given in Benini et al. (2016b). Here we just mention few facts.

\({\mathcal {W}}\) is local because of the exponential terms \(e^{i( {{\tilde{u}}}_j  u_i \pm \varDelta _a)}\) in the arguments of polylogs in (4.26). Due to (4.28), for \(j>i\) the polylogs are exponentially suppressed in the large N limit. For \(i>j\) the exponential is large but we can use the identity \({{\,\mathrm{Li}\,}}_2(e^{iu})+{{\,\mathrm{Li}\,}}_2(e^{iu}) =\frac{1}{2} u^2 \pi u + \frac{\pi ^2}{3}\), valid for \({{\mathbb {R}}}eu\in [0,2\pi ]\), (see footnote 33) to transform it into a polynomial plus exponentially suppressed terms. As a consequence, up to polynomial terms, the main contribution comes for values of the indices \(i\sim j\) and makes the functional local.

Terms with higher powers of N cancel. For more general \({{{\mathcal {N}}}}=2\) theories this is not automatic and imposes conditions on the matter content of the theories for which this method works (Hosseini and Zaffaroni 2016).

Polynomial terms coming from this manipulation or Chern–Simons terms that are not in (4.30) happily combine into a contribution \(\sum _{i=1}^N 2\pi n_i u_i + 2 \pi {{\tilde{n}}}_i \tilde{u}_i\) to \({\mathcal {W}}\), where \(n_i\) and \({{\tilde{n}}}_i\) are integers. These angular ambiguities disappear in the Bethe equations (3.37).
In general, the two contributions in (4.30) have different powers of N. They compete and give a sensible functional with a minimum only for \(\alpha =1/2\). We then see that \({\mathcal {W}}\) scales as \(N^{3/2}\) as predicted by holography for AdS\(_4\) black holes. We will then set \(\alpha =1/2\) from now on.
In order to extremize (4.30) we add to \({\mathcal {W}}\) a Lagrange multiplier term
that enforces the normalization condition (4.29). Differentiating \({\mathcal {W}}\) with respect to \(\delta v(t)\) and \(\rho (t)\), we obtain a pair of algebraic equations
which can be easily solved in terms of rational functions of t. The solution is depicted in Fig. 1 together with the numerical solution for large N.
From the figure we see that \(\rho (t)\) and \(\delta v(t)\) are piecewise continuous functions of t. The solution in (4.33) and (4.34) only covers the central part of these functions. Numerics suggest that there are two external intervals, which we dub tails, where \(\delta v(t)\) is actually constant in the large N limit. It turns out that such constant value corresponds to the saturation of the inequality (4.31) for some value of a, \(\delta v(t)= \epsilon _a \varDelta _a\). The inequalities (4.31) are necessary to restrict to a particular determination of the multivalued polylog functions and the saturation corresponds to the position of the cuts. The numerics suggest that, once \(v_i\) and \({{\tilde{v}}}_i\) hit the cut, their value is frozen. The value for \(\rho (t)\) in the tails can be obtained by solving its equation of motion, (4.34), setting \(\delta v(t)\) to the constant value \(\epsilon _a \varDelta _a\) and ignoring the equation of motion for \(\delta v(t)\), (4.33), which would be inconsistent. The endpoints of the interval, \(t_\) and \(t_+\), are finally determined by \(\rho (t_{\pm })=0\).
Obviously, the equation of motion for \(\delta v(t)\), (4.33), must be satisfied at finite N. The main correction to \(\delta v(t)\) and to its equation comes from the terms with \(i=j\) in (4.26). Such terms contribute
Notice that these terms are suppressed compared to \({\mathcal {W}}\).^{Footnote 47} They contribute a term
to the righthand side of the Eq. (4.33) for \(\delta v(t)\). Such a correction is generically of order \(1/\sqrt{N}\). However, on the tails, since \(\delta v(t)=\epsilon _b \varDelta _b\) for some b, one of the logarithms blows up and the correction can be effectively of order one. Indeed, the equation of motion for \(\delta v(t)\) can be satisfied if
where \(Y_b(t)\) is a quantity of order one. In this case, on the tail, the equation becomes
not summed over b, which determines the value of \(Y_b(t)\). Notice that, quite remarkably, the correction to \(\delta v(t)\) is not powerlike but exponentially small. The equations for \(\rho (t)\) and the value of \({\mathcal {W}}\) on the solution are not affected by these corrections in the large N limit since \({{\,\mathrm{Li}\,}}_2(z)\) is finite for \(z\rightarrow 1\). However, these corrections are important for evaluating the index.
The explicit solution is as follows (Benini et al. 2016b). Let us first take \(\varDelta _a\) real. Using the periodicity of \(\varDelta _a\), we can always restrict to the case where \(0\le \varDelta _a\le 2 \pi \). We will also assume that \(\varDelta _1\le \varDelta _2\), \(\varDelta _3\le \varDelta _4\). The constraint (4.23) can be satisfied only for \(\sum _{a} \varDelta _a =0,2\pi , 4 \pi , 6\pi , 8\pi \) and we need to consider all possible cases. We find a solution for \(\sum _a \varDelta _a = 2 \pi \). We have a central region where
When \(\delta v\) hits \(\varDelta _3\) on the left the solution becomes
with the exponentially small correction \(Y_3 = ( t\varDelta _4 \mu )/(\varDelta _4  \varDelta _3)\), while when \(\delta v\) hits \(\varDelta _1\) on the right the solution becomes
with \(Y_1 =(t\varDelta _2  \mu )/(\varDelta _2  \varDelta _1)\). It turns out that, for \(\sum _{a=1}^4 \varDelta _a =0, 4 \pi , 8\pi \), equations (4.33) and (4.34) have no regular solutions. There is also a solution for \(\sum _a \varDelta _a = 6 \pi \) which, however, is obtained by the previous one by a discrete symmetry of the index: \(\varDelta _a \rightarrow 2 \pi \varDelta _a\)\(\left( y_a\rightarrow y_a^{1}\right) \).
We can also evaluate the twisted superpotential on the solution and find
The result for a different determination of the \(\varDelta _a\) is obtained by periodicity: just replace \(\varDelta _a\) with \([\varDelta _a]= (\varDelta _a \, \mathrm{mod} \, 2 \pi )\). We can also extend by holomorphicity the result to complex \(\varDelta _a\).
It is interesting to observe that \({{\widetilde{{\mathcal {W}}}}}(\varDelta )\) has the same functional dependence of two important physical quantities appearing in the study of ABJM and its dual AdS\(_4\times S^7\). One is of purely field theory origin. It is known that, for any \(\mathcal{N}=2\) theory, there exists a family of supersymmetric Lagrangians on \(S^3\) parameterized by arbitrary Rcharges of the chiral fields (Hama et al. 2011; Jafferis 2012). When the theory is superconformal, the resulting partition function has an extremum precisely at the exact Rsymmetry of the theory (Jafferis 2012). For ABJM at \(k=1\), the \(S^3\) free energy reads (Jafferis et al. 2011)
where \(r_a\) are a general assignment of Rcharges for the fields \(A_1,A_2,B_1,B_2\) satisfying \(\sum _{a=1}^4 r_a=2\). We see that (Hosseini and Zaffaroni 2016)
The second quantity, of supergravity origin, is the prepotential of the \({{{\mathcal {N}}}}=2\) gauged supergravity describing the low energy theory of the holographic dual. Restricted to the \(U(1)^4\) gauge sector, the prepotential is given by (4.15) and we see that
This will be important for comparison with the attractor mechanism.
The large N limit of the ABJM index
Using (3.38), up to an irrelevant overall factor, the index is given by
where \(x_i^*\) and \({{\tilde{x}}}_i^*\) is the large N Bethe vacuum found in the previous section. By taking the large N limit of (4.46), after some manipulations, one finds
up to corrections of order \(N\log N\). The first contribution in the first line of (4.47) comes from the Vandermonde determinant and the second from the matter contribution. The second line in (4.47) comes from the tails. Since the logarithm of the oneloop determinant of the chiral fields is singular on such regions, we need to take into account the exponentially small corrections \(Y_a\) to the tails. The exponent \({\mathfrak {p}}_a +1{\mathfrak {g}}\) of the oneloop determinant is corrected to \({\mathfrak {p}}_a\) by an analogous and subtle contribution from the determinant of the Hessian of \({\mathcal {W}}\).^{Footnote 48}
By plugging in the explicit solution for \(\rho (t), \delta v(t)\) and \(Y_a(t)\) we find
Notice that
One can show that this remarkable identity can be extended to other \({{{\mathcal {N}}}}=2\) quiver theories. Indeed it can be proved using only the equations of motion for \(\rho \) and \(\delta v\), and taking into account the extra terms on the tails (Hosseini and Zaffaroni 2016).
Matching index and entropy for ABJM
We can now extract the degeneracy of states from the index using (2.19). We introduce four electric charges \({\mathfrak {q}}_a\), adapted to the democratic basis of charges we are using, and we set \(j_i=0\) since we are interested in static black holes. The degeneracy of states with given electric charge is then obtain by extremizing the functional
which implicitly depends on the magnetic charges \({\mathfrak {p}}_a\) through Z. This is the \({\mathcal {I}}\) extremization principle introduced in Benini et al. (2016b, 2017). For purely magnetic black holes we just extremize \(\log Z\). For a generic dyonic static black hole, we obtain
evaluated at its critical point in \(\varDelta _a\) with the constraints \(\sum _{a=1}^4 \varDelta _a = 2\pi \) and \({{\mathbb {R}}}e\varDelta _a \in [0,2\pi ]\).
By an explicit computation one can see that this expression correctly reproduces the entropy of the black holes in Cacciatori and Klemm (2010), Dall’Agata and Gnecchi (2011), Hristov and Vandoren (2011), Katmadas (2014) and Halmagyi (2015). This can be checked more easily by comparing with the attractor equations (4.14). Using (4.12) we find
Here we used the data of the relevant gauged supergravity [see (4.15)]
we defined adapted scalar fields
satisfying \(\sum _{\varLambda =0}^3 {{\hat{X}}}^\varLambda = 2\pi \), and enforced the Dirac quantization condition of fluxes (4.8) by defining the integers \({{\hat{{\mathfrak {p}}}}}^\varLambda \) and \({{\hat{{\mathfrak {q}}}}}_\varLambda \),
Finally, we used the known holographic dictionary (see for example Marino 2011)
Using the identification^{Footnote 49}
we see that \(S_{\mathrm{micro}}({\mathfrak {p}}_a,{\mathfrak {q}}_a) = S_{\mathrm{BH}}({\mathfrak {p}}^\varLambda ,{\mathfrak {q}}_\varLambda )\). The extremization of (4.51) is thus completely equivalent to the attractor mechanism in gauged supergravity. The correspondence, up to constants, is
Notice that the functional \({\mathcal {I}}(\varDelta )\) is only defined up to integer multiples of \(2\pi i\), due to the presence of \(\log Z\). So the microscopical entropy should be properly defined as \(S_{\mathrm{micro}}({\mathfrak {p}}_a,{\mathfrak {q}}_a) = {\mathcal {I}}\, (\mathrm{mod} \, 2\pi i)\).
In field theory, \({\mathcal {I}}\) only depends on three independent chemical potentials, which we can choose to be \(\varDelta _a\) with \(a=1,2,3\). The extremization of \({\mathcal {I}}\) determines them in terms of three electric charges, \(q_aq_4\),
The entropy can be then expressed in terms of \({\mathfrak {q}}_a{\mathfrak {q}}_4\) as
In these derivations we used that \({\mathfrak {q}}_a\) are integers and \(\sum _{a=1}^4 \varDelta _a = 2 \pi \).
Correspondingly, in gravity, the family of black holes depends only on three independent electric charges, as discussed in Sect. 2.3. Indeed, the requirement that \(S_{\mathrm{BH}}({\mathfrak {p}}^\varLambda ,{\mathfrak {q}}_\varLambda )\) is real gives a constraints on the charges. For given magnetic charges \({\mathfrak {p}}_a\) and flavor electric charges \({\mathfrak {q}}_a{\mathfrak {q}}_4\), there is at most one value of \({\mathfrak {q}}_4\) that leads to black hole with regular horizon.
We can see the left hand side of (4.59) as determining the average electric charge \({\mathfrak {q}}_a{\mathfrak {q}}_4\) in our statistical ensemble at large N. The index only depends on the global symmetries of the theory and there are three of them. Correspondingly, with our method, we cannot determine the average electric charge associated with the Rsymmetry. However, this value is fixed by the BPS equations in gravity. It would be interesting to find a purely field theoretical method for testing this prediction for the fourth charge. Notice that, with the permutationally invariant definition of \({\mathcal {I}}\) given in (4.50), the value of \(q_4\) predicted by gravity is precisely the one that makes the critical value of \({\mathcal {I}}\) real.
Let us conclude this section with a comment. We computed the entropy as a Legendre transform of the grand canonical partition function, according to a natural microscopic point of view. However, in holography, the partition function of the boundary field theory can be also identified with the (holographically renormalized) onshell action of the bulk theory. By consistency, we should be able to extract the same information from the gravitational onshell action. The agreement of these points of view has been discussed in Azzurli et al. (2018), Halmagyi and Lal (2018) and CaboBizet et al. (2018). In particular, the authors of Bobev et al. (2020) found a family of smooth Euclidean solutions with boundary \(\varSigma _g\times S^1\) whose onshell action coincides with the topologically twisted index of ABJM for general values of the fugacities and that contains one element with an AdS\(_2\) geometry that can be wickrotated to the original Lorentzian black hole.
Other examples and generalizations
The large N limit of the topologically twisted index can be evaluated for other \({{{\mathcal {N}}}}=2\) quiver Chern–Simons theories with an AdS\(_4\) dual. There is a large class of Yang–Mills–Chern–Simons theories with fundamental and bifundamental chiral fields that have been proposed as duals of Mtheory and massive type IIA compactifications. Most of these are obtained by dimensionally reducing a parent fourdimensional quiver gauge theory with an AdS\(_5\times SE_5\) dual, where \(SE_5\) is a fivedimensional Sasaki–Einstein manifold, adding Chern–Simons terms and flavoring with fundamentals. Holography predicts that the twisted index scales as \(N^{3/2}\) for theories dual to Mtheory on sevendimensional Sasaki–Einstein manifolds, and as \(N^{5/3}\) for a class of theories dual to massive type IIA on warped sixmanifolds.^{Footnote 50} For a large class of these theories the large N method discussed in Sect. 4.3 applies and the twisted index has been evaluated in Hosseini and Zaffaroni (2016), Hosseini and Mekareeya (2016), Jain and Ray (2019) and Jain (2019). Quite remarkably, in all these theories the onshell twisted superpotential coincides with the corresponding \(S^3\) free energy (Hosseini and Zaffaroni 2016)
where \(d=2\) for Mtheory examples and \(d=3\) in massive type IIA ones.^{Footnote 51} The partition function is given by the following index theorem (Hosseini and Zaffaroni 2016)^{Footnote 52}
It is often possible, as for ABJM, to choose a convenient redundant parameterization for the chemical potentials such that \({{\widetilde{{\mathcal {W}}}}}\) becomes a homogeneous functions of degree d. For this choice the twisted index is given again by
The entropy of dyonic static black holes in such theories is obtained by taking the Legendre transform of (4.63). Comparison with the attractor mechanism in the form (4.13) then requires that
under some map \(\varDelta _a \rightarrow X^\varLambda \). (4.64) is however oversimplified. The effective low energy theory for M or type IIA compactifications on general manifolds is an \({{{\mathcal {N}}}}=2\) gauged supergravity containing massless vector multiplets associated with the global symmetries of the CFT. In general, such gauged supergravity contains also hypermultiplets and a number of vector multiplet that is larger than the number of global symmetries. Therefore, in (4.64), the number of \(\varDelta _a\) does not match the number of sections \(X^\varLambda \). In general, the hypermultiplets have a VEV at the horizon and give a mass to some of the vector fields. If \(n_V\) is the number of vector multiplets and \(n_H\) is the number of hypermultiplets, \(n_V  n_H\) is the number of massless vectors, corresponding to the number of global symmetries and therefore to the number of independent \(\varDelta _a\). The BPS equations for the hyperinos are typically algebraic and give linear constraints among the sections \(X^\varLambda \). By solving these constraints we can obtain an effective prepotential \({\mathcal {F}}_{\mathrm{eff}}(X^\varLambda )\) for the massless vector multiplets only. If we believe that this further truncated theory correctly describes the horizon of the black hole, (4.64) should hold with \({\mathcal {F}}(X^\varLambda )\) replaced by \({\mathcal {F}}_{\mathrm{eff}}(X^\varLambda )\).^{Footnote 53}
Two notable applications where this works perfectly are the following. A wellknown example of massive type IIA background is the warped AdS\(_4\times Y_6\) flux vacua of massive type IIA dual to the \({\mathcal {N}}=2\)U(N) gauge theory with three adjoint multiplets and a Chern–Simons coupling k (Guarino et al. 2015). It corresponds to an internal manifold \(Y_6\) with the topology of \(S^6\). The theory has two global symmetries and there exists a family of black holes depending on two magnetic charges (Guarino 2017). The entropy of such black holes has been matched with the prediction of the twisted index in Hosseini et al. (2017a) and Benini et al. (2018). For this example
The second example involves the socalled universal black hole (Azzurli et al. 2018). This is dual to the universal twist (Benini et al. 2016a; Bobev and Crichigno 2017) defined by a set of magnetic fluxes \({\mathfrak {p}}_a\) proportional to the exact Rsymmetry of the CFT. This black hole is a solution of minimal gauged supergravity and, as such, can be embedded in all Mtheory and massive type IIA compactifications, thus explaining the name universal. Hence it provides an infinite family of examples. Since \({{\widetilde{{\mathcal {W}}}}}\) is proportional to the \(S^3\) free energy [see (4.61)] and the latter is extremized at the exact Rsymmetry, it follows easily from (4.62) that
This relation agrees with the gravitational prediction based on minimal gauged supergravity (Azzurli et al. 2018).
There have been progresses in various directions and also open problems:

For theories with Mtheory dual the large N method discussed above works only when the bifundamental fields transform in a real representation of the gauge group and the total number of fundamentals is equal to the total number of antifundamentals. The same restriction has been found in Jafferis et al. (2011) for the large N evaluation of the \(S^3\) free energy. It is not known yet how to take the large N limit for the \(S^3\) free energy or the twisted index in the case of chiral quivers. Also in the case of vectorlike quivers, where the method works, there is an extra complication since baryonic symmetries are invisible in the large N limit (accidental flat directions of the matrix model). It is still not clear how to introduce and study baryonic fluxes in the large N limit of the twisted index.

A gravitational dual of \({\mathcal {I}}\)extremization was proposed in Couzens et al. (2019), generalizing similar results for a and cextremization (Martelli et al. 2006; Gauntlett et al. 2019a). In this approach, the entropy of an M theory black hole with AdS\(_2\) horizon is obtained by extremizing a geometric quantity associated with a supersymmetric background where some of the equations of motion have been relaxed. As a result, the entropy can be expressed in terms of simple geometrical data of the internal manifold and can be computed also in the cases where the explicit solution is not known. In particular, this provides an explicit formula for the entropy and the exact Rsymmetry of the associated superconformal mechanics for an infinite class of models based on toric SasakiEinstein manifolds. The agreement of the gravitational picture with the available field theory results at large N has been discussed in Gauntlett et al. (2019b), Hosseini and Zaffaroni (2019a) and Kim and Kim (2019).

The microstate counting for dyonic rotating black holes (Hristov et al. 2019b) is still an open problem. The chemical potential dual to rotation in the bulk is associated with an Omegabackground for the boundary theory on \(S^2\times S^1\). The topologically twisted index in an Omegabackground is known (Benini and Zaffaroni 2015) but it gives rise to a complicated matrix model. For particular values of the \(\varOmega \)deformation, it has been written as a sum over Bethe vacua (Closset et al. 2018). This could be useful to solve the matrix model in the large N limit. The result is expected to match the entropy functional proposed in Hosseini et al. (2019a) by gluing gravitational blocks.

For asymptotically flat black holes, there is a huge literature including higher derivative corrections and highly detailed precision tests. For asymptotically AdS black holes, the story is just begun. At the moment, 1/N corrections to the twisted index for ABJM and the above massive type IIA background have been computed numerically focusing on the universal logarithmic correction (Liu et al. 2018a, b, c; Jeon and Lal 2017; Pando Zayas and Xin 2019). The ABJM matrix model provides a quantum corrected entropy functional that would be interesting to study further. In particular, it would be interesting to find the analog of standard results and conjectures about the quantum entropy of asymptotically flat back holes, like the OSV conjecture (Ooguri et al. 2004), the Sen’s quantum entropy functional (Sen 2009b, a) and localization in supergravity (Dabholkar et al. 2011a, 2013),^{Footnote 54} to cite only few of them. In particular, some interesting results about localization in AdS\(_2\times S^2\) have been already found in Hristov et al. (2018, 2019c).

The topologically twisted index has been extended to fivedimensions (Hosseini et al. 2018c; Crichigno et al. 2018) and successfully compared with the entropy of AdS\(_6\) black holes with horizon AdS\(_2\times \varSigma _{{\mathfrak {g}}_1}\times \varSigma _{{\mathfrak {g}}_2}\) (Suh 2019a; Hosseini et al. 2018a; Suh 2019b, 2018; Fluder et al. 2019). The expression for the entropy is given by a generalization of the index theorem (4.63) and (4.62).
Other interesting related results and solutions can be found in CaboBizet et al. (2017), Toldo and Willett (2018), Gang and Kim (2019), Gang et al. (2020), Hosseini et al. (2019c) and Bae et al. (2020).
Black strings in AdS\(_5\)
The methods introduced in Sect. 4 can be generalized to other dimensions and can be used to provide general tests of holography. In particular, they can be applied to domain wall solutions interpolating between AdS\(_{d+n}\) and AdS\(_d \times {\mathcal {M}}_n\), with a topological twist along the ndimensional compact manifold \({\mathcal {M}}_n\). In this section, making a brief digression from the main subject of these notes, we discuss the example of black strings in AdS\(_5\).
More precisely, we consider a family of black strings in AdS\(_5\) with near horizon geometry AdS\(_3\times \varSigma _{\mathfrak {g}}\). They correspond holographically to a twisted compactification of a fourdimensional theory flowing to a twodimensional CFT in the IR. The properties of this CFT, and, in particular, its elliptic genus, can be computed using a topologically twisted index for fourdimensional theories on \(\varSigma _{\mathfrak {g}}\times T^2\). We can make contact with the physics of black holes by compactifying the black string on a circle, as in the standard example (Strominger and Vafa 1996). In this way we can also make contact with a Cardy formula approach to the microstate counting. Other examples of similar tests of holography related to twisted compactifications can be found in Toldo and Willett (2018), Crichigno et al. (2018) and Hosseini et al. (2018c).
Black string solutions in AdS\(_5\times S^5\)
We consider solutions of a fivedimensional \({{{\mathcal {N}}}}=2\) effective gauged supergravity with abelian vector multiplets of the form
where \(A_{\varSigma _{\mathfrak {g}}}\) is the gauge potential for a magnetic flux on \(\varSigma _{\mathfrak {g}}\) and supersymmetry is preserved with a twist along \(\varSigma _{{\mathfrak {g}}}\). We are interested in solutions that are asymptotic to AdS\(_5\) for large values of the radial coordinate,
and approach a regular horizon AdS\(_3\times \varSigma _{\mathfrak {g}}\) at some fixed value \(r=r_0\),
These solutions can be interpreted as black strings extended in the direction z or, equivalently, as domain walls interpolating between AdS\(_5\) and AdS\(_3\times \varSigma _{\mathfrak {g}}\). They are holographically dual to a twisted compactification of a SCFT\(_4\) on \(\varSigma _{\mathfrak {g}}\) that flows in the IR to a twodimensional (0, 2) SCFT\(_2\) associated with the horizon factor AdS\(_3\).
Solutions that can be embedded in AdS\(_5\times S^5\) have been found in Benini and Bobev (2013b), using a fivedimensional gauged supergravity with three abelian gauge fields associated with the isometries \(U(1)^3\subset SO(6)\) of \(S^5\). The solution depends on three fluxes \({\mathfrak {p}}_a\) constrained by the twisting condition
and corresponds to a twisted compactification of \({{{\mathcal {N}}}}=4\) SYM on \(\varSigma _{\mathfrak {g}}\). Holography suggests that this theory flows to an IR twodimensional SCFT. The value of the central charge of the IR SCFT\(_2\) in the large N limit can be extracted from the solution using standard arguments (Brown and Henneaux 1986; Henningson and Skenderis 1998) and reads (Benini and Bobev 2013b)
This result can be successfully compared with field theory (Benini and Bobev 2013b), where central charges can be computed using extremization techniques. Let us briefly explain how this works. Consider first the case of \({{{\mathcal {N}}}}=1\) fourdimensional SCFTs and \({{{\mathcal {N}}}}=4\) SYM as an example. In \({{{\mathcal {N}}}}=1\) language, the theory contains three chiral multiplets \(\phi _i\) with the superpotential
We introduce a generic Rcharge assignment \(\varDelta _a\) for the three chiral fields \(\phi _i\). Since the superpotential has Rcharge 2, we must have \(\varDelta _1+\varDelta _2+\varDelta _3=2\). The exact Rsymmetry of an \({{{\mathcal {N}}}}=1\) superconformal theory can be obtained by extremizing a trial acharge
where \(R(\varDelta _a)\) is the matrix of Rcharges of the fermionic fields. This construction is known as amaximization (Intriligator and Wecht 2003). For \({{{\mathcal {N}}}}=4\) SYM at large N we find^{Footnote 55}
where the first contribution in the bracket comes from the gauginos and the second from the fermions in the chiral multiplets. This expression is trivially extremized for \(\varDelta _1=\varDelta _2=\varDelta _3=2/3\), the exact Rcharges of the fields \(\phi _i\). The critical value of \(a(\varDelta )\) is the central charge a of the SCFT\(_4\). Similarly, the exact Rsymmetry and the rightmoving central charge of a twodimensional (0, 2) SCFT are obtained by extremizing the trial quantity (Benini and Bobev 2013a)
where \(\gamma _3\) is the twodimensional chirality operator and \(R(\varDelta _a)\) the matrix of Rcharges of the massless fermionic fields. This construction is known as cextremization (Benini and Bobev 2013a). For the twisted compactification of \(\mathcal{N}=4\) SYM, the quantity \(c_r\) can be computed using topological arguments. We just need to know the difference between the number of fermionic zero modes with positive and negative chirality. This is easily computed from the Riemann–Roch theorem as in Sect. 3.3.1. We then find at large N (Benini and Bobev 2013b)
where again the first contribution in the first line bracket comes from gauginos and the second from matter fields. One can easily check that the extremization of (5.9) with respect to \(\varDelta _a\) reproduces (5.4). The agreement is valid in the large N limit where \(c=c_l=c_r\).^{Footnote 56}
Notice that, in the large N limit, the \(c_r\) trial central charge can be written as (Hosseini et al. 2017c)
It is interesting to observe that formula (5.10), with a suitable parameterization for the fluxes and the Rcharges, holds for all the twisted compactifications of \({{{\mathcal {N}}}}=1\) SCFT\(_4\) dual to AdS\(_5\times SE_5\), where \(SE_5\) is a toric Sasaki–Einstein manifold (Hosseini et al. 2017c).^{Footnote 57}
In the case of black strings the information about states is encoded in the elliptic genus of the twodimensional (0, 2) CFT
where \(q = e^{2 \pi i \tau }\), with \(\tau \) the modular parameter of \(T^2\), \(y_I\) are fugacities for the global symmetries and \(L_0\) the leftmoving Virasoro generator. Since the index is independent of the scale, we can evaluate it in the UV, where it becomes the topologically twisted index, defined as the partition function on \(\varSigma _{\mathfrak {g}}\times T^2\), with a topological twist along \(\varSigma _{\mathfrak {g}}\).
The topologically twisted index on \(T^2\times \varSigma _{\mathfrak {g}}\)
For an \({\mathcal {N}}= 1\) fourdimensional gauge theory with a nonanomalous \(\mathrm {U}(1)\) Rsymmetry, the topologically twisted index is a function of \(q = e^{2 \pi i \tau }\), where \(\tau \) is the modular parameter of \(T^2\), fugacities \(y_I\) for the global symmetries and flavor magnetic fluxes \({\mathfrak {m}}^F_I\) on \(\varSigma _{\mathfrak {g}}\) parameterizing the twist. It can be computed using localization and it is given by an elliptic generalization of the formulae in Sect. 3.2 (Closset and Shamir 2014; Benini and Zaffaroni 2015). Explicitly, for a theory with gauge group G and a set of chiral multiplets transforming in representations \({\mathfrak {R}}_I\) of G with Rcharge \(r_I\), the topologically twisted index is given by a contour integral of a meromorphic form
where \(\alpha \) are the roots of G, \(\rho _I\) the weights of the representation \({\mathfrak {R}}_I\) and W denotes the order of the Weyl group. In this formula, \(\theta _1(x; q)\) is a Jacobi theta function and \(\eta (q)\) is the Dedekind eta function. The zeromode gauge variables \(x = e^{i u}\) parameterize the Wilson lines on the two directions of the torus
and are defined modulo
As in three dimensions, the result is summed over a lattice of gauge magnetic fluxes \({\mathfrak {m}}\) living in the coroot lattice \(\varGamma _{{\mathfrak {h}}}\) of the gauge group G and the contour of integration selects the Jeffrey–Kirwan prescription for taking the residues. In four dimensions there is a oneloop contribution from the Cartan components of the vector multiplets. One can show that the integrand in (5.12) is a welldefined meromorphic function of x on the torus provided that the gauge and the gaugeflavor anomalies vanish. The index has a trace interpretation as a sum over a Hilbert space of states on \(\varSigma _{\mathfrak {g}}\times S^1\)
This trace reduces to the elliptic genus of the twodimensional theory obtained by the twisted compactification on \(\varSigma _{\mathfrak {g}}\).
We now consider the index for \({{{\mathcal {N}}}}=4\) SYM. The superpotential (5.5) imposes the following constraints on the chemical potentials \(\varDelta _a\) and the flavor magnetic fluxes \({\mathfrak {p}}_a+1{\mathfrak {g}}=({\mathfrak {g}}1)(r_a1) +{\mathfrak {m}}^F_a\) associated with the fields \(\phi _a\),
The topologically twisted index for the SYM theory with gauge group SU(N) is then given by
with \(y_a=e^{i \varDelta _a}\). The Bethe vacua are determined by
The Bethe equations (5.18) have a remarkably simple solution (Hosseini et al. 2017c; Hong and Liu 2018)^{Footnote 58}
These Bethe vacua will play a role also in the physics of AdS\(_5\) black holes (Benini and Milan 2020a, b), as discussed in Sect. 7.2.
This time the index is too hard to solve in the large N limit. We can study instead the high temperature limit corresponding to a shrinking of the torus given by \(\tau = i\beta /(2\pi )\) with \(\beta \rightarrow 0^+\) (Hosseini et al. 2017c).^{Footnote 59} This limit is also particularly interesting from the field theory point of view because it controls the asymptotic growing of the number of states with the dimension (Cardy 1986). Using (5.19) it is easy to compute, at leading order in \(\beta \), (Hosseini et al. 2017c)
where \({{\widetilde{{\mathcal {W}}}}}(\varDelta )\) is the onshell value of the twisted superpotential. As in the threedimensional case, the result is valid for \(\sum _a \varDelta =2\pi \). We see a striking similarity with the black hole case, in particular equation (4.63). Moreover, the twisted superpotential is proportional to the trial acentral charge (5.7) of the fourdimensional SCFT. This statement is the fourdimensional analog of (4.61).
Comparing with (5.10) we find the Cardy formula
valid at leading order in \(\beta \) and at large N.
This result can be extended to all \({{{\mathcal {N}}}}=1\) SCFT\(_4\) dual to AdS\(_5\times SE_5\) vacua (Hosseini et al. 2017c). It can be also generalized to the case of the refined topologically twisted index on \(S^2\times T^2\)
where \(\zeta = e^{i \omega /2}\) is a fugacity for the angular momentum. The result is (Hosseini et al. 2019b)
valid at leading order in \(\beta \) and at large N.
The example discussed in this section can be actually generalized to many other flows interpolating between AdS\(_{3+n}\) and AdS\(_3\times {\mathcal {M}}_n\) where supersymmetry is preserved along the compact manifold \({\mathcal {M}}_n\) with a topological twist. Examples of compactifications of the (2, 0) theory in six dimensions on the product of two Riemann surfaces \(\varSigma _{{\mathfrak {g}}_1}\times \varSigma _{{\mathfrak {g}}_2}\) are discussed for example in Hosseini et al. (2018c).
Back to Cardy
Similarly to what is done for generic CFT\(_2\) (Cardy 1986), we can extract information on the growing of the number of supersymmetric states with the energy from the asymptotic behavior (5.21) of the elliptic genus.
From the definition of the index as a trace (5.22), we see that the number of supersymmetric states with momentum n, electric charge \({\mathfrak {q}}_a\) under the Cartan subgroup of SO(6) and angular momentum j can be extracted as a Fourier coefficient
where \(\beta =2 \pi i \tau \) and the corresponding integration is over the imaginary axis.
In the limit of large charges, we can use the saddle point approximation. Consider first \({\mathfrak {q}}=0\) and \(j=0\). The number of supersymmetric states with charges \(({\mathfrak {p}}, n)\) can be obtained by extremizing
with respect to \(\varDelta \) and \(\beta \). Given (5.21), we see that the extremization with respect to \(\varDelta \) is the cextremization principle (Benini and Bobev 2013a, b) and sets the trial rightmoving central charge \(c_r (\varDelta )\) to its exact value \(c_{\mathrm{CFT}}({\mathfrak {p}})\) given in (5.4). Extremizing \({\mathcal {I}}(\beta , \varDelta )\) with respect to \(\beta \) yields
Plugging back (5.26) into \({\mathcal {I}}( \beta , \varDelta )\), we find for the entropy of states
This is obviously nothing else than Cardy formula (Cardy 1986).^{Footnote 60}
One can generalize the previous computation to the case \({\mathfrak {q}}_a\ne 0\) and \(j\ne 0\) by extremizing
After some manipulations, the result can be expressed in the form Hosseini et al. (2019b, 2020)
where the index I runs over a set of independent global symmetries \(J_K\) and \(A_{IK}= {{\,\mathrm{Tr}\,}}\gamma _3 J_I J_K\) is the ’t Hooft anomaly matrix of the twodimensional theory. This result holds for a generic \({{{\mathcal {N}}}}=1\) quiver with a SasakiEinstein dual. The particular combination of n, electric charges and angular momentum appearing in (5.29) is related to the properties of the elliptic genus and is familiar from the physics of asymptotically flat black holes (Dijkgraaf et al. 2000; Kraus and Larsen 2007; Manschot and Moore 2010).^{Footnote 61}
Cardy formula and black holes
There is standard argument to obtain a black holes from a black string: compactify along the circle inside AdS\(_3\) and add a momentum n along it. More precisely, one replaces the nearhorizon geometry of the fivedimensional black string with \(\text {BTZ} \times \varSigma _{{\mathfrak {g}}_1}\), where the metric for the extremal BTZ reads (Bañados et al. 1992)
Here, the parameter \(\rho \) is related to the electric charge n. This solution is locally equivalent to AdS\(_3\), since there exists locally only one constant curvature metric in three dimensions, and solves the same BPS equations; however, BTZ and AdS\(_3\) are inequivalent globally. Compactifying the full fivedimensional black string of Benini and Bobev (2013b) on the circle with the extra momentum we obtain a static BPS black hole in four dimensions, with magnetic charges \({\mathfrak {p}}_a\) and electric charge n. This can be thought as a domain wall that interpolates between an AdS\(_2 \times \varSigma _{{\mathfrak {g}}_1}\) nearhorizon region and a complicated asymptotic nonAdS\(_4\) vacuum (Hristov 2014). By another standard argument, the entropy of such a black hole is given by the number of states of the CFT with momentum n, and is therefore given by the Cardy formula (5.27)
One can see that this prediction matches the black holes entropy computed from supergravity (Hristov 2014). Moreover, a family of rotating dyonic black strings in AdS\(_5\times S^5\) was found in Hosseini et al. (2019b) and the entropy of the compactified black hole successfully compared with (5.29). An analogous matching for black strings in AdS\(_7\times S^4\) was discussed in Hosseini et al. (2020).
It is also interesting to observe that, for static black holes, the field theory extremization of \({\mathcal {I}}\) becomes again equivalent to the attractor mechanism in the reduced fourdimensional gauged supergravity. The dimensional reduced supergravity has one more vector coming from the reduction on the circle, prepotential \({\mathcal {F}}\sim \frac{X^1 X^2 X^3}{X^0}\), and purely electric FI parameters \(g_0=0\) and \(g_i=g\) (Hristov 2014). Under the identifications \({{\hat{X}}}^0 \rightarrow \beta \, , {{\hat{X}}}^i \rightarrow i \varDelta _a, ({\mathfrak {q}}_\varLambda , {\mathfrak {p}}^\varLambda ) \rightarrow (n,{\mathfrak {q}}_1,{\mathfrak {q}}_2,{\mathfrak {q}}_3, 0, {\mathfrak {p}}_1,{\mathfrak {p}}_2,{\mathfrak {p}}_3)\) and \({\mathcal {F}}({{\hat{X}}})\rightarrow {{\widetilde{{\mathcal {W}}}}} (\varDelta )\), the attractor functional (4.13) can be identified with the \({\mathcal {I}}\)functional (5.25).
The superconformal index
As we discussed in Sect. 2, we should be able to obtain the entropy of supersymmetric Kerr–Newman black holes in AdS\(_{d+1}\) by counting states in the dual CFT on \(S^d\times {\mathbb {R}}\). The relevant supersymmetric quantity to consider is the superconformal index, which enumerates BPS states on \(S^d\times {\mathbb {R}}\) (Romelsberger 2006; Kinney et al. 2007).
We start by considering \({{{\mathcal {N}}}}=1\) supersymmetric field theories on \(S^3\times {\mathbb {R}}\). We refer to Festuccia and Seiberg (2011) for an explicit description of the supersymmetric Lagrangian on \(S^3\times {\mathbb {R}}\) and the corresponding supersymmetry transformations. The superconformal index is defined as the trace
on the Hilbert space of states on \(S^3\). Here \(J_1\) and \(J_2\) generate rotations on \(S^3\), R is the Rsymmetry generator, and J denotes collectively the global symmetries. \({\mathcal {Q}}\) is a supercharge with \(J_1=J_2=1/2\) and \(R=1\) and satisfies the algebra
where \(\varDelta \) generates translation along \({\mathbb {R}}\). We introduced fugacities, p, q, and u, for all the generators that commute with \({\mathcal {Q}}\), which are \(J_1+R/2\), \(J_2+R/2\) and the global symmetries J. The quantity (6.1) is a Witten index in the sense discussed in Sect. 2.2.2 and it is therefore independent of \(\beta \) and invariant under continuous small deformations of the Lagrangian. Despite the name, the supersymmetric index (6.1) makes sense also for nonconformal theories. Since we are interested in holography, we will just consider the case of conformal theories where \(\varDelta \) can be identified with the dilatation operator.
The index (6.1) can be also written as the Euclidean supersymmetric partition function on \(S^3\times S^1\), as discussed in Sect. 2.2.2, and computed using localization. The precise relation among the two quantities involves a prefactor
where the quantity \(E_{c.e},\) called supersymmetric Casimir energy (Assel et al. 2014, 2015; Lorenzen and Martelli 2015; Benetti Genolini et al. 2017; Martelli and Sparks 2016; Closset et al. 2019), is due to the regularization of the oneloop determinants and it can be interpreted as the vacuum expectation value of the Hamiltonian.
The superconformal index can be computed explicitly through localization or, being invariant under continuous deformations, just by enumerating the gauge invariant states annihilated by \({\mathcal {Q}}\) and \({\mathcal {Q}}^\dagger \) in the weakly coupled UV theory. The result for an \({{{\mathcal {N}}}}=1\) theory with gauge group G and chiral matter in the representation \({\mathcal {R}}_a\) and Rcharge \(r_a\) is (Romelsberger 2006; Kinney et al. 2007; Dolan and Osborn 2009)
where r is the rank of the gauge group, \(\alpha \) the roots, \(\rho _a\) are the weights of the representation \({\mathcal {R}}_a\), \(\nu _a\) the flavor weights, and W the order of the gauge group. The integration is over the Cartan subgroup of G and is taken over the unit circle for all variables \(z_i\). The special functions appearing in the previous formula are the elliptic Gamma function (Felder and Varchenko 2000)
and the qPochhammer symbol
In the localization approach, numerator and denominator of (6.4) arise as oneloop determinants for chiral matter multiplets and vector multiplets, respectively. The reader can compare the formula for the superconformal index (6.4) with the analogous one for the topologically twisted one (3.11) and look for analogies and differences.^{Footnote 62}
The superconformal index can be defined and computed through localization also in other dimensions (Bhattacharya et al. 2008; Pestun and Zabzine 2017). For threedimensional theories the elliptic Gamma functions are replaced by hyperbolic ones and there is an extra sum over magnetic fluxes, as in (3.11), due to the existence of local BPS monopole operators in three dimensions (Kim 2009; Imamura and Yokoyama 2011; Kapustin and Willett 2011; Dimofte et al. 2013).
Electrically charged rotating black holes
In this section we discuss the case of Kerr–Newman black holes in various dimensions. These are electrically charged rotating black holes without a twist. As argued in Sect. 2, they are qualitatively different from the magnetically charged black holes discussed in Sect. 4.
In general, we should be able to recover the entropy of the electrically charged rotating black holes in AdS\(_d\) from the BPS partition function (2.16) that counts supersymmetric states of the dual CFT on \(S^{d2}\times {\mathbb {R}}\). Since the black holes preserve just two real supercharges, we need to count 1/16 BPS states and this is a hard problem. Old attempts to evaluate the BPS partition function of \({{{\mathcal {N}}}}=4\) SYM (Grant et al. 2008; Chang and Yin 2013; Yokoyama 2014) reached the somehow disappointing conclusion that there is a subset of states whose number grows with N but slower than the entropy of the black holes. Alternatively, one may try to replace the BPS partition function with the corresponding index (2.23). The appropriate index is the superconformal one, defined in the previous section, that can be expressed and computed as a supersymmetric Euclidean path integral on \(S^{d2}\times S^1\). It is known that, for generic real fugacities, the superconformal index is a quantity of order one in the large N limit (Kinney et al. 2007) and, as such, it does not reproduce the entropy which grows with powers of N. As a difference with the twisted index, already in the large N limit, there is a large cancellation between bosonic and fermionic supersymmetric states and \({\mathcal {Z}}_{\mathrm{index}}(\varDelta _a, \omega _i)\ne {\mathcal {Z}}(\varDelta _a, \omega _i)\). All these (partial) results have stood for long time as puzzles about supersymmetric electrically charged rotating black holes.
However, the entropy functionals for many Kerr–Newman black holes in different dimensions can be expressed in terms of quantities with a clear field theory interpretation (Hosseini et al. 2017b, 2018b; Choi et al. 2020), thus suggesting that the entropy can be always reproduced by a field theory computation. These entropy functionals also suggest complex value for the chemical potentials \(\varDelta _a\) and \(\omega _i\). As stressed in Choi et al. (2018b) and Benini and Milan (2020b), the computation in Kinney et al. (2007) is valid only for real fugacities and the introduction of phases in the fugacities can obstruct the cancellation at large N and lead to an enhancement of the entropy. This is also in the spirit of the \({\mathcal {I}}\)extremization principle discussed in Sect. 2.4. Recent results for AdS\(_5\) and other dimensions, started with the work of CaboBizet et al. (2019a), Choi et al. (2018b) and Benini and Milan (2020b), confirm this point of view and lead to various derivations of the entropy using the index, as we discuss in this section.
The entropy functional for electrically charged rotating black holes
For many Kerr–Newman black holes, the entropy, as a function of electric charges \(q_a\) and angular momenta \(j_i\), can be written as a Legendre transform
of a quantity \(\log {\mathcal {Z}}(\varDelta _a, \omega _i)\) related to anomalies or free energies of the dual CFT. This was derived in Hosseini et al. (2017b) for fivedimensional black holes and generalized to other dimensions in Hosseini et al. (2018b) and Choi et al. (2020).^{Footnote 63} We consider first the example of AdS\(_5\times S^5\) and we come back later to the general case.
The entropy functional for Kerr–Newman black holes in AdS\(_5\times S^5\)
As discussed in Sect. 2.1.1, the Kerr–Newman black holes in AdS\(_5\times S^5\) depend on three charges \(q_1,q_2,q_3\) associated with \(U(1)^3\subset SO(6)\), the Cartan subgroup of the isometry of \(S^5\), and two angular momenta \(j_1\) and \(j_2\) in AdS\(_5\). Supersymmetry requires a nonlinear constraint among these conserved charges, whose form we discuss below, and leaves a fourdimensional family of BPS black holes (Gutowski and Reall 2004a, b; Chong et al. 2005a, b; Kunduri et al. 2006). The entropy can be compactly written as (Kim and Lee 2006)
where \(G_{{\text {N}}}^{(5)}\) is the fivedimensional Newton constant and g the gauge coupling of the fivedimensional effective supergravity. Holography relates these quantities to the number of colors of the dual field theory, \({{{\mathcal {N}}}}=4\) SYM in four dimensions, through \( N^2= \pi /(2 G_{{\text {N}}}^{(5)} g^3)\). We see that black holes with charges and angular momenta of order \(O(N^2)\) have an entropy of order \(O(N^2)\).
Quite remarkably, the entropy (7.2) can be written as the Legendre transform of a very simple quantity (Hosseini et al. 2017b)
where the chemical potentials are constrained by
This constraint resembles the analogous one, (4.42), for black holes in ABJM. The quantity in (7.3) is extremized for complex values of the chemical potentials \(\varDelta _a\) and \(\omega _i\). However, quite remarkably, the onshell value (7.3) becomes real once we impose the nonlinear constraint among charges imposed by supersymmetry. In fact, a simple way of characterize the constraint on charges is to identify it with the imaginary part of entropy functional (7.3) at its extremum. The fact that the critical value for \(\varDelta _a\) and \(\omega _i\) are complex will also play an important for the field theory interpretation of the result. The two choice of signs in (7.4) lead to the same final result. Formally, this is due to the fact that (7.3) is a holomorphic homogeneous function of the chemical potentials of degree one.^{Footnote 64}
The quantity
must be interpreted as a grand canonical partition function, and, as discussed in 2.3, should be related to the onshell action of the Euclidean black hole. This has been proved in CaboBizet et al. (2019a) by taking the zerotemperature limit of the onshell action of a family of supersymmetric complexified nonextremal Euclidean solutions. In this approach, one can also derive the complex value for the chemical potentials at the saddle point.^{Footnote 65} The constraints \(\sum _a \varDelta _a  \sum _i \omega _i=\pm 2 \pi \) arise due to regularity conditions to be imposed on the Killing spinors.
The entropy functional for Kerr–Newman black holes in diverse dimensions
The expression for the entropy functionals for Kerr–Newman black holes in diverse dimensions is schematically given in Table 1.
The content of the table refers to electrically charged rotating black holes in each dimension that can be embedded in a maximally supersymmetric string theory or Mtheory background. In addition to the AdS\(_5\times S^5\) black holes in type IIB, there are analogous AdS\(_4\times S^7\) and AdS\(_7\times S^4\) black holes in Mtheory (Chow 2008; Cvetič et al. 2005; Chong et al. 2005c). The dual field theories are well known: the ABJM theory in three dimensions and the (2, 0) theory in six dimensions. In addition, there are black holes in the warped AdS\(_6\times _W S^4\) background of massive type IIA (Brandhuber and Oz 1999; Chow 2010). The dual CFT is the \({{{\mathcal {N}}}}=1\) fivedimensional fixed point associated with D4D8O8 branes in type IIA found in Seiberg (1996). Notice that, in six dimensions, the maximal superconformal algebra has only sixteen supercharges instead of thirtytwo and the superconformal theory with such an algebra is not unique. Among the theories with an AdS dual, the D4D8O8 system is somehow the simplest and most studied.
The chemical potentials in the table refer to the isometries of the internal manifold.^{Footnote 66} Notice that the chemical potentials are always subject to a constraint. Indeed, as already discussed in Sect. 2, in all dimensions, we expect the existence of a family of supersymmetric black holes depending on the possible electric charges and spins with a constraint among them.^{Footnote 67} This explains the constraint among chemical potentials. The family of black holes with generic charges and spins allowed by the constraint is known only for AdS\(_5\times S^5\) (and AdS\(_4\times S^7\)) and (7.1) has been fully checked only in these cases (Hosseini et al. 2017b). In all other dimensions the relation (7.1) has been checked for the solutions available in the literature (Hosseini et al. 2018b; Choi et al. 2020).
In the second column of the table, there is a quantity, \(F(\varDelta _a)\), with a clear field theory interpretation. The reader can recognize the \(S^3\) free energy of ABJM in the first row and the trial acharge of \({{{\mathcal {N}}}}=4\) SYM in the second row, see (4.43) and (5.7), which are both functions of trial Rcharges satisfying
In general, \(F(\varDelta _a)\) is the sphere free energy for odddimensional CFTs, and a particular combination of t’Hooft anomaly coefficients in even dimensions.^{Footnote 68} In all cases, the quantity \(\log {\mathcal {Z}}(\varDelta _a, \omega _i)\) can be obtained by taking the quotient of \(F(\varDelta )\) by the product of all angular momentum chemical potentials and by replacing the Rcharge constraint (7.6) with
This constraint is strongly reminiscent of the analogous constraint (4.42) for magnetically charged black holes. Notice that \(\log {\mathcal {Z}}(\varDelta _a, \omega _i)\) is a sort of equivariant generalization of \(F(\varDelta )\) with respect to rotations. Indeed, the expression for \(\log {\mathcal {Z}}(\varDelta _a, \omega _i)\) for AdS\(_5\) and AdS\(_7\) can be also directly obtained by an equivariant integration of the sixdimensional and eightdimensional anomaly polynomial for \({{{\mathcal {N}}}}=4\) SYM and the (2, 0) theory in six dimensions, respectively (Bobev et al. 2015).^{Footnote 69}
Various observations made for AdS\(_5\times S^5\) generalize to the other dimensions. First, the quantity in (7.1) is extremized for complex values of the chemical potentials \(\varDelta _a\) and \(\omega _i\) but the onshell value (7.1) is real, as an entropy must be. Secondly, there is a sign ambiguity in the constraint (7.7) that can be replaced by \(\sum _a \varDelta _a +\sum _i \omega _i=2 \pi \) with no differences. Thirdly, the expression of \(\log {\mathcal {Z}}(\varDelta _a, \omega _i)\) can be explicitly derived in gravity by taking the zerotemperature limit of the onshell action of a family of supersymmetric Euclidean solutions (Cassani and Papini 2019).
Finally, we expect that (7.1) corresponds to the attractor mechanism in the relevant gauged supergravity. Unfortunately, the attractor mechanism in generic dimensions and, specifically, for electrically charged rotating black holes is not known. AdS\(_5\) black holes with equal angular momenta can be dimensionally reduced to static black holes in four dimensions and, in this case, one can show that (7.1) corresponds to the attractor mechanism in fourdimensional gauged supergravity (Hosseini et al. 2017b). This was actually the observation that led to write the entropy functional (7.1).
Results on the quantum field theory side
Various field theory derivations of the extremization principles (7.3) have been recently proposed for AdS\(_5\). All these results are valid in overlapping limits and the connection between different approaches still to be understood, but all seems to indicate that the entropy is correctly accounted by the large N limit of the superconformal index. Partial results in other dimensions also confirm the content of Table 1.
Consider first the case of AdS\(_5\times S^5\). The dual field theory is \({{{\mathcal {N}}}}=4\) SYM. In the language of \({{{\mathcal {N}}}}=1\) supersymmetry, it contains a vector multiplet \(W_\alpha \) and three chiral multiplets \(\phi _a\) subject to the superpotential (5.5). We introduce three Rsymmetries \({\mathcal {R}}_a\) associated with \(U(1)^3\subset SO(6)\). \({\mathcal {R}}_a\) assign charge 2 to \(\phi _a\) and zero to the \(\phi _b\) with \(b\ne a\). The exact Rsymmetry is \(R= ({\mathcal {R}}_1+{\mathcal {R}}_2+{\mathcal {R}}_3)/3\) and the global symmetries are \(q_a= ({\mathcal {R}}_aR)/2\), with associated fugacities \(u_a\). Only two global symmetries are independent since \(\sum _{a=1}^3 q_a=0\) and, as a consequence, \(\prod _{a=1}^3 u_a=1\). Defining \(y_a=(pq)^{1/3} u_a\) we can write the superconformal index (6.1) as
with \(y_a=e^{i \varDelta _a}\), \(p=e^{i \omega _1}\), \( q= e^{i \omega _2}\) and \(Q_a={\mathcal {R}}_a/2\). The fugacities are constrained by \(\prod _{a=1}^3 y_a= p q\), and the index depends only on four independent parameters, as the family of BPS black holes.
Due to cancellations between bosonic and fermionic supersymmetric states, the result obtained from the index can only be a lower bound on the number of BPS states. However, we may expect that, as for magnetically charged black holes, for large N, the result saturates the entropy. Most of the computations for the superconformal index in the old literature has been performed for real fugacities and give results of order O(1) for large N. However, the extremization principle discussed above strongly suggests that we should look at the behavior of the index as a function of complex chemical potentials.
Agreement with the gravity result (7.5)
with \(\varDelta _1+\varDelta _2+\varDelta _3 \omega _1\omega _2=\pm 2 \pi \) has been obtained analytically, up to now, in two partially overlapping limits:

Large N and equal angular momenta (Benini and Milan 2020a, b). In the large N limit, the index has a Stokes behavior as a functions of the chemical potentials, and it can give a contribution to the entropy of order \(O(N^2)\) along the right direction in the complex plane. A crucial technical ingredient in this approach involves writing the superconformal index as a sum over Bethe vacua. As shown in Closset et al. (2017a, b, 2018), the supersymmetric partition function of many three and fourdimensional manifolds can be expressed as a sum over twodimensional Bethe vacua using the formalism that we briefly discussed in Sect. 3.3.2. A formula for the superconformal index was obtained in Closset et al. (2017a) and generalized to unequal fugacities for the angular momenta in Benini and Milan (2020a). Schematically, it allows to write the index as in (3.38)
$$\begin{aligned} \begin{aligned} {\mathcal {I}}= \sum _{x^*}\frac{Q(x^*)}{\det _{ij} (\partial ^2_{u_i u_j} W(x^*))} , \end{aligned} \end{aligned}$$(7.10)where \(x^*\) are the Bethe vacua of the twodimensional theory obtained by reduction on \(T^2\), and Q(x) is a suitable function whose expression can be found in Closset et al. (2017a) and Benini and Milan (2020a).^{Footnote 70} The Bethe vacua of \(\mathcal{N}=4\) SYM on \(T^2\) have been already discussed in Sect. 5.2 for a different purpose and are explicitly given by solutions of (5.18).^{Footnote 71} It is argued in Benini and Milan (2020b) that, in the large N limit, the particular Bethe vacuum (5.19) dominates for sufficiently large charges and reproduces the entropy of the AdS\(_5\) black holes. The same result has been reproduced by directly analysing the saddle point of the integrand (6.4) in CaboBizet and Murthy (2019). The extension to the case of unequal angular momenta is discussed in Benini et al. (2020a). Although it is difficult to evaluate and compare the contribution of all the Bethe vacua, one can show that there is a natural choice that leads precisely to the gravity result (7.5).

The Cardy limit, corresponding to \(\omega _i \ll 1\) at fixed complex valued of \(\varDelta _a\) (Choi et al. 2018a, b). This limit corresponds to large black holes with electric charges and angular momenta scaling as
$$\begin{aligned} \begin{aligned} q_a\sim \frac{1}{\omega ^2}, \qquad j_i \sim \frac{1}{\omega ^3} \, ,\qquad \qquad \omega _1\sim \omega _2\sim \omega \rightarrow 0\, . \end{aligned} \end{aligned}$$(7.11)It is crucial that the chemical potentials are complex. As argued in Choi et al. (2018a, b), the imaginary parts of the fugacities at the saddle point introduce phases that optimally obstruct the cancellation between bosonic and fermionic states. The number of states accounted by the index in the Cardy limit correctly reproduces the entropy of large AdS\(_5\) black holes and the \(\omega _i\ll 1\) limit of the extremization formula (7.3). This approach has been further refined and generalized in Honda (2019), Arabi Ardehali (2019) and Arabi Ardehali et al. (2019).
Numerical analysis confirming the \(O(N^2)\) behavior of the index for complex chemical potential has been performed in Murthy (2020) and Agarwal et al. (2020).
In all these approaches, there seems to exist instabilities when decreasing the charges, which might suggest the contribution of other types of black holes. Given also the recently found supersymmetric hairy black holes in AdS\(_5\) (Markeviciute and Santos 2019; Markeviciute 2019), we may expect a rich structure of the index/partition function still to be uncovered.
It was observed in Hosseini et al. (2017b, 2018b) that the quantity (7.9) and its analogous for AdS\(_7\) given in Table 1 matches the expression for the supersymmetric Casimir energy \(E_{c.e}\) quoted in the literature with the precise coefficient for both \({{{\mathcal {N}}}}=4\) SYM and the (2, 0) theory (see for example Bobev et al. 2015). This observation was strengthened in CaboBizet et al. (2019a) by considering a modified supersymmetric partition function on \(S^3\times S^1\) implementing the constraint (7.4) and showing that the corresponding supersymmetric Casimir energy \(E_{c.e}\) has still the expression (7.9).^{Footnote 72} It is not completely clear why the supersymmetric Casimir energy, which corresponds to the energy of the vacuum of the CFT (Assel et al. 2015), should be related to the entropy of the black hole. It would be intriguing if this a consequence of some modular properties of the partition function, still to be understood.
The large N holographic expectation for theories with a Sasaki–Einstein dual is (Hosseini et al. 2018b)
with the constraint \(\sum _{a=1}^d \varDelta \omega _1\omega _2= \pm 2\pi \), where \(a(\varDelta )\) is the trial central charge defined in Sect. 5.1 and \(f_{abc}\) are the cubic t’Hooft anomaly coefficients for a basis of d independent Rcharges. The coefficients \(f_{abc}\) have a natural dual gravitational interpretation. They arise as intersection numbers of cycles in the internal manifold (Benvenuti et al. 2006), and, from an effective field theory perspective, as Chern–Simons terms in the corresponding gauged supergravity in five dimensions. In particular, they determine completely the structure of \({{{\mathcal {N}}}}=1\) gauged supergravity including the prepotential. The field theory computation of the index has been extended to other \({{{\mathcal {N}}}}=1\) superconformal theories and gives results consistent with (7.12). In particular, the Cardy limit for a generic \(\mathcal{N}=1\) superconformal theory has been studied in Kim et al. (2019) and CaboBizet et al. (2019b) with the result^{Footnote 73}
when all flavor symmetries are turned off. This formula generalize a previous result by Di Pietro and Komargodski (2014) for the standard index with real fugacities. Flavor fugacities have been introduced in Amariti et al. (2019) and consistency with (7.12) in the large N limit, where \(c=a\), checked for many toric models. The large N limit of the index for equal angular momenta has been studied in Lanir et al. (2020) and CaboBizet et al. (2020) with results again consistent with (7.12).^{Footnote 74} The case of unequal angular momenta is discussed in Benini et al. (2020a).
These results have been generalized and extended to other dimensions. In particular, the entropy of Kerr–Newman black holes in AdS\(_4\) has been reproduced in the Cardy limit in Choi et al. (2019), Nian and Pando Zayas (2020) and Choi and Hwang (2020), one of the method involving factorization of the partition function. The case of AdS\(_6\) and AdS\(_7\) have been analysed in Choi and Kim (2019), Kantor et al. (2020) and Nahmgoong (2019). Other interesting developments can be found in Benini et al. (2020b), Bobev and Crichigno (2019) and Goldstein et al. (2020).
Conclusions and comments
At the end of our journey, it is time to recapitulate. We have seen that, using holography, the entropy of supersymmetric AdS black holes and black objects with large charges can be correctly accounted by the evaluation of the relevant index in the dual conformal field theory, which just enumerates the corresponding microstates. This solves a long standing puzzle about supersymmetric black holes in AdS and their holographic interpretation. Many results have been obtained for most of the existing black objects in maximally supersymmetric string theory backgrounds in diverse dimensions. One can reasonably expect that the agreement will persist for the more technically involved case of black objects with arbitrary rotations and magnetic charges and of black objects in string backgrounds with reduced supersymmetry.
It is interesting to observe that, in all dimensions, a single function \(F(\varDelta )\) controls the entropy of most of the black holes and black objects asymptotic to a maximally supersymmetric AdS vacuum, with or without magnetic charges or rotation. For comparison, the partition function for Kerr–Newman black holes and magnetically charged black objects with a twist in various dimensions is reported in Table 1 and Table 2, respectively.
We see that the function \(F(\varDelta )\) determines the entropy of all such black holes. A general entropy functional built out of \(F(\varDelta )\) that covers all existing black holes and generalises the content of Tables 1 and 2 to the case of arbitrary rotations and magnetic charges has been discussed in Hosseini et al. (2019a) in analogy with the factorization properties of supersymmetric partition functions.
The function \(F(\varDelta )\) has various interpretations. In gravity, it determines the effective gauged supergravity action for the massless vectors, being the prepotential in four dimensions. In field theory, it is related to the anomalies of the dual CFT in even dimensions, and the round sphere partition function in odd dimensions. On a more technical side, there is a third interpretation in terms of the twisted superpotential of the twodimensional theory obtained by reducing the CFT on circle or tori, as discussed at length in Sects. 3 and 5.^{Footnote 75}
In this review we discussed black holes in the supergravity approximation, where the charges are large in units of the number of colors of the dual CFT. For asymptotically flat black holes impressive computations and precision tests have been made beyond the supergravity limit. The story for AdS black hole has just begun.
Notes
 1.
Although some results about rotating electrically charged black holes have been obtained in a Cardy limit, which provides a generalization of the Cardy formula to higher dimensions.
 2.
 3.
For many different families of BPS black holes, supersymmetry imposes constraints among the charges. The reason why this happens is still unclear. In the case of AdS\(_5\times S^5\), BPS hairy black holes depending on all the charges have been found in Markeviciute and Santos (2019) and Markeviciute (2019).
 4.
Actually, only black holes with equal charges or equal momenta have been studied. However, we expect a family with at least four independent parameters to exist.
 5.
There are exotic ddimensional solutions with horizon AdS\(_2\times {\mathcal {M}}_{d2}\), where \({\mathcal {M}}_{d2}\) is a compact manifold, with nonzero fluxes of the gauge fields on \({\mathcal {M}}_{d2}\).
 6.
These BPS black holes have been found in \({{{\mathcal {N}}}}=2\) gauged supergravity in \(d=4\) with vector multiplets and later uplifted to Mtheory. The first static example, with a hyperbolic horizon, was found in Sabra (1999) in minimal gauged supergravity. The first static spherically symmetric example was found in Cacciatori and Klemm (2010), further discussed in Dall’Agata and Gnecchi (2011), Hristov and Vandoren (2011) and generalized to the dyonic case in Katmadas (2014) and Halmagyi (2015). The rotating case has been discussed in Hristov et al. (2019b) [for other examples, see also Daniele et al. (2019)].
 7.
The values of \(\alpha _i\) are related to the conformal dimension of O.
 8.
This is the linear constraint on the magnetic charges of the black hole that we mentioned before.
 9.
See Hristov et al. (2019a) for example of rotating dyonic black holes with flavor magnetic charges.
 10.
And also Omegadeformed if there is rotation.
 11.
It follows from the algebra that all states in the theory satisfy the BPS bound \(E\ge \mu _a q_a +\nu _i j_i\).
 12.
 13.
This is the logic of the Witten index (Witten 1982a). For every state \(\varOmega \rangle \) not annihilated by \({\mathcal {Q}}\) there is a state \({{{\mathcal {Q}}}} \varOmega \rangle \) of opposite statistics and the same value of \( \{ {{{\mathcal {Q}}}}^\dagger , {{{\mathcal {Q}}}}\}\). Since these states have opposite value of \((1)^F\), their contribution cancels in the trace in (2.24). Therefore, only supersymmetric states, annihilated by \({{{\mathcal {Q}}}}\), contribute to the Witten index. See also the discussion in Sect. 3.3.1.
 14.
It is a standard textbook result that the finite temperature partition function \({{\,\mathrm{Tr}\,}}e^{\beta H}\) can be expressed as an Euclidean partition function with time compactified on a circle of radius \(\beta \) and periodic boundary conditions for bosons and antiperiodic boundary conditions for fermions. In a supersymmetric partition functions, bosons and fermions should have the same boundary conditions and this is enforced by the fermionic number \((1)^F\). The extra insertion of \( e^{\beta (\mu _a {{{\mathcal {R}}}}_a \nu _i {{{\mathcal {J}}}}_i)}\) just introduces twisted boundary conditions along \(S^1\) for the symmetries associated with \({{{\mathcal {R}}}}_a\) and \({{{\mathcal {J}}}}_i\).
 15.
 16.
 17.
 18.
We use the frame \(e^1=R d\theta , e^2=R \sin \theta d\phi \) and \(e^3=\beta dt\).
 19.
 20.
 21.
In our case \({{{\mathcal {Q}}}}^2\) is a linear combination of a gauge transformation and a rotation along \(S^1\).
 22.
The coroot lattice is defined by the requirement that \(e^{2\pi i \chi }\) acts as the identity on any representation of the group G, and defines the weight lattice of the Langland (or Sdual) group \(\check{G}\).
 23.
This expression follows from a holomorphic recombination of the terms \(A_t\wedge F_{12}\) and \(\sigma D\) in the Chern–Simons action, using \(D=i F_{12}\) and \(u=A_t+i \beta \sigma \).
 24.
On \(S^2\times S^1\) the Rcharges \(r_\phi \) must be integer. In the case of a higher genus Riemann surface it is enough to require that the quantity \((1{\mathfrak {g}})(r_\phi 1)\) is an integer.
 25.
Parity acts as \(u\rightarrow u\) and (3.17) is obviously invariant. A gauge invariant regularization breaking parity is used in Closset and Kim (2016) and Closset et al. (2017a, b, 2018). The latter has the advantage of clarifying subtle sign issues and simplifying the mapping of parameters between dual theories. However, even for theories with zero CS, in the gauge invariant regularization one has to introduce extra effective CS contact terms, which makes the physical interpretation less transparent.
 26.
This is actually the Chern–Simons level that one sees at oneloop after integrating out the matter fields (they have mass \(\sigma \) at a generic point of the BPS locus).
 27.
See footnote 14. The factor \(e^{i A_t^G J^G}\) represents the insertion of a Wilson line \(A_t^G\).
 28.
For a more careful discussion of sign ambiguities see Closset et al. (2017b). They will not play any important role in this review.
 29.
By the algebra of supersymmetry \(H_{\mathfrak {g}}\psi =0\) is equivalent to \(Q\psi =0\) and, therefore, ground states not necessarily have a partner.
 30.
 31.
Due to the KK mass or their coupling to \(\sigma \).
 32.
\(\varSigma \) has a scalar as its lowest component and it satisfies \({\bar{D}}_+\varSigma = D_ \varSigma =0\). See Witten (1993).
 33.
Polylogarithms \({{\,\mathrm{Li}\,}}_s (z)\) are defined by \(\mathrm{Li}_s (z) = \sum _{n = 1}^{\infty } \frac{z^n}{n^s}\) for \(z < 1\) and by analytic continuation outside the disk. Notice, in particular, that \(\mathrm{Li}_1(z)= \log (1z)\). For \(s\ge 1\), there exists a the branch cut that we take along \([1 , + \infty )\). They satisfy \(\partial _u \mathrm{Li}_s (e^{iu}) =i \, \mathrm{Li}_{s1} (e^{iu})\) and, for \(0< {{\mathbb {R}}}eu < 2\pi \), \(\mathrm{Li}_s (e^{i u}) + (1)^s \mathrm{Li}_s (e^{ i u}) =  \frac{(2 i \pi )^s}{s!} B_s \left( \frac{u}{2 \pi } \right) \equiv i^{s  2} g_s (u)\), where \(B_s (u)\) are the Bernoulli polynomials. In this paper we need, in particular, \(g_2 ( u ) = \frac{u^2}{2}  \pi u + \frac{\pi ^2}{3}\) and \(g_3 ( u ) = \frac{u^3}{6}  \frac{\pi }{2} u^2 + \frac{\pi ^2}{3} u\). One then sees that, for \(0< {{\mathbb {R}}}eu < 2\pi \) and \({{\mathbb {I}}}mu\ll 0\), \(\mathrm{Li}_s (e^{i u}) \sim i^{s  2} g_s (u)\). Notice also that \({\mathcal {W}}\) is a multivalued function but, since the action is defined up to integer multiples of \(2\pi i\), the path integral and all physical observables are single valued.
 34.
For a choice of a gauge invariant regularization and an extensive discussion of other issues related to definition of \({\mathcal {W}}\) see Closset et al. (2017b).
 35.
For a field of mass m and charge \(Q_i\) the oneloop effective Chern–Simons term is \(k_{\mathrm{eff}}=k+ \frac{1}{2} Q_i^2 {{\,\mathrm{sign}\,}}(m)\).
 36.
Since \(\sigma \) and \(\lambda \) are massive and free, they can be integrated out leading to a shift in the CS coupling. An \({{{\mathcal {N}}}}=2\) Chern–Simons theory is thus equivalent to a bosonic CS theory with level \({\bar{k}} =k2\).
 37.
 38.
Other choices of gauge fixing for the rescaling symmetry are possible, corresponding to field redefinitions.
 39.
We normalize the metric on \(\varSigma _{\mathfrak {g}}\) such that the scalar curvature is \(2\kappa \), where \(\kappa = 1\) for \(S^2\), \(\kappa = 0\) for \(T^2\), and \(\kappa = 1\) for \(\varSigma _{\mathfrak {g}}\) with \({\mathfrak {g}}>1\). The volume is then \(\mathrm {Vol}(\varSigma _{\mathfrak {g}}) = 2\pi \eta \) where \(\eta = 2 {\mathfrak {g}}1\) for \({\mathfrak {g}}\ne 1\) and \( \eta =1\) for \({\mathfrak {g}}= 1\).
 40.
 41.
 42.
See for example Hristov (2012a).
 43.
We are cheating a little bit here. The ABJM theory has also two topological symmetries, \(T_1\) and \(T_2\), associated with the two U(1) gauge groups. This apparently makes a total of five U(1) global symmetries. However \(T_1+T_2\) is decoupled, and the baryonic symmetry that rotates \(A_i\) and \(B_i\) with opposite charges is actually gauged. More precisely, due the CS term, a linear combination of \(T_1T_2\) and the baryonic symmetry differ by a gauge transformation and are therefore equivalent. In the index we could introduce extra fluxes and fugacities for \(T_1\) and \(T_2\) but these can be reabsorbed by a shift of the fluxes and a rescaling of the integration variables. See Benini et al. (2016b) for more details.
 44.
In the notation of Sect. 3.2.4, \(\varDelta _a= A_{t\, a}^{F} + i \beta \sigma _a^{F}\), where \(A_{t\, a}^{F}\) and \(\sigma _a^{F}\) are the backgrounds for the ath symmetry. The periodicity of \(\varDelta _a\) is due to the periodicity of the Wilson line \(A_{t\, a}^{F}\).
 45.
We used the of polylogarithm identities given in footnote 33 in order to recombine the terms in (3.33), and discarded terms that do not contribute to the Bethe equations (3.37). We also introduced an extra minus sign in the definition of \({\mathcal {W}}\) in order to match the original conventions in Benini et al. (2016b) and Hosseini and Zaffaroni (2016). It is easy to check directly that the equations (4.27) give the position of the poles of the integrand after we sum the geometric series in \(m_i\) and \({{\tilde{m}}}_i\) and that, with the given definition of \({\mathcal {W}}\), (4.27) are equivalent to (3.37).
 46.
 47.
This is a standard argument in the context of matrix models: \(\sum _{i\ne j}^N =O(N^2)\) while \(\sum _{i=1}^N =O(N)\). Notice that the contribution to \({\mathcal {W}}\) comes from terms with i almost equal to j and contributions to \(\delta {\mathcal {W}}\) from terms with \(i=j\).
 48.
See Benini et al. (2016b) for details.
 49.
Notice that the identification is consistent with the twisting condition (4.10) and the constraint \(\sum _{a=1}^4 \varDelta _a = 2\pi \).
 50.
See Hanany et al. (2009), Hanany and Zaffaroni (2008), Martelli and Sparks (2008), Gaiotto and Jafferis (2012), Benini et al. (2010), Jafferis and Tomasiello (2008), Herzog et al. (2011), Gulotta et al. (2012), Crichigno et al. (2013) and Martelli and Sparks (2009) for examples of theories with Mtheory dual and Guarino et al. (2015) and Fluder and Sparks (2016) for theories with massive type IIA dual.
 51.
The twisted index depends on chemical potentials for the global symmetries. As for ABJM, we can use a redundant basis where we assign a chemical potential \(\varDelta _a\) to each field \(\phi _a\). For each term \(W_I\) in the superpotential we must require \(\sum _{a \in W_I} \varDelta _a = 2 \pi p\) with \(p\in {\mathbb {Z}}\) for all the fields \(\phi _a\) appearing in \(W_I\). It turns out that, as for ABJM, a large N solution exists only for \(p=1\) (up to equivalent solutions). On the other hand the \(S^3\) free energy is a function of the Rcharges of the fields, and these are constrained to satisfy \(\sum _{a \in W_I} r _a = 2\). The identity (4.61) makes sense because \(p=1\).
 52.
See Hosseini (2018–02) for more details and applications.
 53.
This happens for example for the mass deformed ABJM model (Bobev et al. 2018), where the value of one \(\varDelta _a\) is fixed by the mass deformation and, in gravity, one \(X^\varLambda \) is fixed by the hyperino conditions.
 54.
See Iqbal et al. (2008) for an earlier localization computation in gravity.
 55.
For \({{{\mathcal {N}}}}=4\) SYM \({{\,\mathrm{Tr}\,}}R\) is identically zero. For theories with an AdS dual, \({{\,\mathrm{Tr}\,}}R=0\) in the large N limit.
 56.
\(c_rc_l\) is equal to the gravitational anomaly \(k=\mathrm{Tr} \gamma _3\) which is of order one in the large N limit (Benini and Bobev 2013a).
 57.
 58.
This solution was found in the high temperature limit in Hosseini et al. (2017c) and proved to be exact for all \(\tau \) in Hong and Liu (2018). Using \(SL(2,{\mathbb {Z}})\), the authors of Hong and Liu (2018) have found many other solutions of the Bethe equations for \({{{\mathcal {N}}}}=4\) SYM at finite \(\tau \). Nonstandard solutions corresponding to continua of Bethe vacua have been found in Arabi Ardehali et al. (2019). The solution (5.19) extends to more general quivers (Hosseini et al. 2017c; González Lezcano and Pando Zayas 2020; Lanir et al. 2020).
 59.
Notice that \(\beta \) is not really a temperature, but rather a parameterization of the modular parameter of the torus.
 60.
For a further discussion about the asymptotic behavior see Hosseini (2018–02).
 61.
Our elliptic genus is actually a meromorphic function of \(\varDelta _a\) and this leads to a more complicated structure of the corresponding modular forms, related to wallcrossing phenomena. For asymptotically flat black holes this leads to interesting behaviours (see for example Dabholkar et al. 2012). It would be interesting to see if the same happens for the black holes discussed in Sect. 5.4 obtained by compactifying the black string.
 62.
One main difference is the sum over magnetic fluxes in the (3.11). From a more technical point of view, another big difference is the integration contour.
 63.
A proposal for non BPS black holes can be found in Larsen et al. (2020).
 64.
Consider the two functionals \(S_{\pm } =S_{\text {BH}}  i \varLambda (\sum _{a=1}^3 \varDelta _a \sum _{i=1}^2 \omega _i \mp 2\pi )\), where the constraint is enforced by the Lagrange multiplier \(\varLambda \). Given the homogeneity of \(S_{\text {BH}} \), the extremal value is \(S_{\pm }=\pm 2\pi i \varLambda \). Since \(q_a\) and \(j_i\) are real, it is immediate to see that, if \((\varDelta _a,\omega _i,\varLambda )\) is an extremum of \(S_+\), then \(({\bar{\varDelta }}_a,{\bar{\omega }}_i, {\bar{\varLambda }})\) is an extremum of \(S_\) and the extremal values are related by \(S_+={\bar{S}}_\). Therefore the extremization with different constraints (7.4) give the same results for the real part of the entropy.
 65.
The chemical potentials are extracted following the logic discussed at the end of Sect. 2.2.1.
 66.
In the case of the D4D8O8 system, the field theory has \(SU(2)_R\times SU(2)\times E_{n_f+1}\) symmetry, where \(SU(2)_R \times SU(2)\) is realized by the isometry of the warped \(S^4\) and \(E_{n_f+1}\) by the theory on the \(N_f\) physical D8 branes. We introduced a symmetric notation for the chemical potentials associated with \(SU(2)_R \times SU(2)\) following the notations of Hosseini et al. (2018c). The entropy functional discussed in Choi et al. (2020) refers to the case \(\varDelta _1=\varDelta _2\).
 67.
 68.
 69.
The expression for \(\log {\mathcal {Z}}(\varDelta _a, \omega _i)\) for AdS\(_4\) and AdS\(_6\) can be instead related to a small \(\epsilon \) limit of the partition functions on \({\mathbb {R}}^2_{\epsilon _1} \times S^1\) and \({\mathbb {R}}^2_{\epsilon _1}\times {\mathbb {R}}^2_{\epsilon _2} \times S^1\), respectively, where \(\epsilon _i \propto \omega _i\) are equivariant parameters for rotations in the \({\mathbb {R}}^2\) planes. The sphere and twisted partitions functions in three and five dimensions can be obtained by gluing together these basic building blocks in the spirit of Pasquetti (2012), Beem et al. (2014), Nieri et al. (2015), Gukov et al. (2017), Pasquetti (2017), Nekrasov (2003a), Bershtein et al. (2017), Kim et al. (2013), Hosseini et al. (2018c), Qiu and Zabzine (2017) and Festuccia et al. (2020). This point of view has been applied to the physics of black holes in Hosseini et al. (2018c, (2019a), Choi et al. (2019) and Choi and Hwang (2020).
 70.
 71.
 72.
 73.
The authors use a slightly modified index where \((1)^F\) is replaced by \((1)^R\). This replacement has the same effect as introducing complex fugacities for the flavor symmetries. The prescription is the same introduced in CaboBizet et al. (2019a) for the modified supersymmetric partition function on \(S^3\times S^1\).
 74.
See also González Lezcano and Pando Zayas (2020).
 75.
References
Agarwal P, Choi S, Kim J, Kim S, Nahmgoong J (2020) AdS black holes and finite N indices. arXiv:2005.11240
Aharony O, Hanany A, Intriligator KA, Seiberg N, Strassler MJ (1997) Aspects of \(N=2\) supersymmetric gauge theories in threedimensions. Nucl Phys B 499:67–99. https://doi.org/10.1016/S05503213(97)003234. arXiv:hepth/9703110
Aharony O, Bergman O, Jafferis DL, Maldacena J (2008) \({\cal{N}}=6\) superconformal Chern–Simonsmatter theories, M2branes and their gravity duals. JHEP 10:091. https://doi.org/10.1088/11266708/2008/10/091. arXiv:0806.1218
Amariti A, Cassia L, Penati S (2018) cextremization from toric geometry. Nucl Phys B 929:137–170. https://doi.org/10.1016/j.nuclphysb.2018.01.025. arXiv:1706.07752
Amariti A, Garozzo I, Lo Monaco G (2019) Entropy function from toric geometry. arXiv eprints arXiv:1904.10009
Andrianopoli L, Bertolini M, Ceresole A, D’Auria R, Ferrara S, Fre P, Magri T (1997) \(N=2\) supergravity and \(N=2\) super Yang–Mills theory on general scalar manifolds: symplectic covariance, gaugings and the momentum map. J Geom Phys 23:111–189. https://doi.org/10.1016/S03930440(97)000028. arXiv:hepth/9605032
Arabi Ardehali A (2019) Cardylike asymptotics of the 4d \( {\cal{N}}=4 \) index and AdS\(_{5}\) blackholes. JHEP 06:134. https://doi.org/10.1007/JHEP06(2019)134. arXiv:1902.06619
Arabi Ardehali A, Hong J, Liu JT (2019) Asymptotic growth of the 4d \({\cal{N}} =4\) index and partially deconfined phases arXiv:1912.04169
Assel B, Cassani D, Martelli D (2014) Localization on Hopf surfaces. JHEP 08:123. https://doi.org/10.1007/JHEP08(2014)123. arXiv:1405.5144
Assel B, Cassani D, Di Pietro L, Komargodski Z, Lorenzen J, Martelli D (2015) The Casimir energy in curved space and its supersymmetric counterpart. JHEP 07:043. https://doi.org/10.1007/JHEP07(2015)043. arXiv:1503.05537
Azzurli F, Bobev N, Crichigno PM, Min VS, Zaffaroni A (2018) A universal counting of black hole microstates in AdS\(_{4}\). JHEP 02:054. https://doi.org/10.1007/JHEP02(2018)054. arXiv:1707.04257
Bae JB, Gang D, Lee K (2020) Magnetically charged AdS\(_{5}\) black holes from class \( {\cal{S}} \) theories on hyperbolic 3manifolds. JHEP 02:158. https://doi.org/10.1007/JHEP02(2020)158. arXiv:1907.03430
Bañados M, Teitelboim C, Zanelli J (1992) The Black hole in threedimensional spacetime. Phys Rev Lett 69:1849–1851. https://doi.org/10.1103/PhysRevLett.69.1849. arXiv:hepth/9204099
Bardeen JM, Carter B, Hawking SW (1973) The four laws of black hole mechanics. Commun Math Phys 31:161–170. https://doi.org/10.1007/BF01645742
Beem C, Dimofte T, Pasquetti S (2014) Holomorphic blocks in three dimensions. JHEP 12:177. https://doi.org/10.1007/JHEP12(2014)177. arXiv:1211.1986
Bekenstein JD (1972) Black holes and the second law. Lett Nuovo Cim 4:737–740. https://doi.org/10.1007/BF02757029
Benetti Genolini P, Cassani D, Martelli D, Sparks J (2017) The holographic supersymmetric Casimir energy. Phys Rev D 95(2):021902. https://doi.org/10.1103/PhysRevD.95.021902. arXiv:1606.02724
Benini F, Bobev N (2013a) Exact twodimensional superconformal Rsymmetry and cextremization. Phys Rev Lett 110(6):061601. https://doi.org/10.1103/PhysRevLett.110.061601. arXiv:1211.4030
Benini F, Bobev N (2013b) Twodimensional SCFTs from wrapped branes and cextremization. JHEP 06:005. https://doi.org/10.1007/JHEP06(2013)005. arXiv:1302.4451
Benini F, Milan P (2020a) A Bethe ansatz type formula for the superconformal index. Commun Math Phys 376(2):1413–1440. https://doi.org/10.1007/s0022001903679y. arXiv:1811.04107
Benini F, Milan P (2020b) Black holes in 4d \({\cal{N}}=4\) superYang–Mills. Phys Rev X 10(2):021037. https://doi.org/10.1103/PhysRevX.10.021037. arXiv:1812.09613
Benini F, Zaffaroni A (2015) A topologically twisted index for threedimensional supersymmetric theories. JHEP 07:127. https://doi.org/10.1007/JHEP07(2015)127. arXiv:1504.03698
Benini F, Zaffaroni A (2017) Supersymmetric partition functions on Riemann surfaces. Proc Symp Pure Math 96:13–46. https://doi.org/10.1090/pspum/096. arXiv:1605.06120
Benini F, Closset C, Cremonesi S (2010) Chiral flavors and M2branes at toric CY4 singularities. JHEP 02:036. https://doi.org/10.1007/JHEP02(2010)036. arXiv:0911.4127
Benini F, Eager R, Hori K, Tachikawa Y (2014) Elliptic genera of twodimensional \(\mathcal{N} = 2\) gauge theories with rankone gauge groups. Lett Math Phys 104:465–493. https://doi.org/10.1007/s110050130673y. arXiv:1305.0533
Benini F, Bobev N, Crichigno PM (2016a) Twodimensional SCFTs from D3branes. JHEP 07:020. https://doi.org/10.1007/JHEP07(2016)020. arXiv:1511.09462
Benini F, Hristov K, Zaffaroni A (2016b) Black hole microstates in AdS\(_{4}\) from supersymmetric localization. JHEP 05:054. https://doi.org/10.1007/JHEP05(2016)054. arXiv:1511.04085
Benini F, Hristov K, Zaffaroni A (2017) Exact microstate counting for dyonic black holes in AdS4. Phys Lett B 771:462–466. https://doi.org/10.1016/j.physletb.2017.05.076. arXiv:1608.07294
Benini F, Khachatryan H, Milan P (2018) Black hole entropy in massive Type IIA. Class Quant Grav 35(3):035004. https://doi.org/10.1088/13616382/aa9f5b. arXiv:1707.06886
Benini F, Colombo E, Soltani S, Zaffaroni A, Zhang Z (2020a) Superconformal indices at large \(N\) and the entropy of AdS\(_5\)\(\times \) SE\(_5\) black holes. arXiv:2005.12308
Benini F, Gang D, Pando Zayas LA (2020b) Rotating black hole entropy from M5 branes. JHEP 03:057. https://doi.org/10.1007/JHEP03(2020)057. arXiv:1909.11612
Benvenuti S, Pando Zayas LA, Tachikawa Y (2006) Triangle anomalies from Einstein manifolds. Adv Theor Math Phys 10(3):395–432. https://doi.org/10.4310/ATMP.2006.v10.n3.a4. arXiv:hepth/0601054
Benvenuti S, Feng B, Hanany A, He YH (2007) Counting BPS operators in gauge theories: quivers, syzygies and plethystics. JHEP 11:050. https://doi.org/10.1088/11266708/2007/11/050. arXiv:hepth/0608050
Bershtein M, Bonelli G, Ronzani M, Tanzini A (2017) Gauge theories on compact toric surfaces, conformal field theories and equivariant Donaldson invariants. J Geom Phys 118:40–50. https://doi.org/10.1016/j.geomphys.2017.01.012. arXiv:1606.07148
Bhattacharya J, Bhattacharyya S, Minwalla S, Raju S (2008) Indices for superconformal field theories in 3, 5 and 6 dimensions. JHEP 02:064. https://doi.org/10.1088/11266708/2008/02/064. arXiv:0801.1435
Bobev N, Crichigno PM (2017) Universal RG flows across dimensions and holography. JHEP 12:065. https://doi.org/10.1007/JHEP12(2017)065. arXiv:1708.05052
Bobev N, Crichigno PM (2019) Universal spinning black holes and theories of class R. JHEP 12:054. https://doi.org/10.1007/JHEP12(2019)054. arXiv:1909.05873
Bobev N, Bullimore M, Kim HC (2015) Supersymmetric Casimir energy and the anomaly polynomial. JHEP 09:142. https://doi.org/10.1007/JHEP09(2015)142. arXiv:1507.08553
Bobev N, Min VS, Pilch K (2018) Massdeformed ABJM and black holes in AdS\(_{4}\). JHEP 03:050. https://doi.org/10.1007/JHEP03(2018)050. arXiv:1801.03135
Bobev N, Charles AM, Min VS (2020) Euclidean Black Saddles and AdS4 Black Holes arXiv:2006.01148
Brandhuber A, Oz Y (1999) The D4–D8 brane system and fivedimensional fixed points. Phys Lett B 460:307–312. https://doi.org/10.1016/S03702693(99)007637. arXiv:hepth/9905148
Brown JD, Henneaux M (1986) Central charges in the canonical realization of asymptotic symmetries: an example from three dimensional gravity. Commun Math Phys 104(2):207–226. https://doi.org/10.1007/BF01211590
CaboBizet A, Murthy S (2019) Supersymmetric phases of 4d \(N=4\) SYM at large \(N\). arXiv eprints arXiv:1909.09597
CaboBizet A, GiraldoRivera VI, Pando Zayas LA (2017) Microstate counting of AdS\(_{4}\) hyperbolic black hole entropy via the topologically twisted index. JHEP 08:023. https://doi.org/10.1007/JHEP08(2017)023. arXiv:1701.07893
CaboBizet A, Kol U, Pando Zayas LA, Papadimitriou I, Rathee V (2018) Entropy functional and the holographic attractor mechanism. JHEP 05:155. https://doi.org/10.1007/JHEP05(2018)155. arXiv:1712.01849
CaboBizet A, Cassani D, Martelli D, Murthy S (2019a) Microscopic origin of the Bekenstein–Hawking entropy of supersymmetric AdS\(_{5}\) black holes. JHEP 10:062. https://doi.org/10.1007/JHEP10(2019)062. arXiv:1810.11442
CaboBizet A, Cassani D, Martelli D, Murthy S (2019b) The asymptotic growth of states of the 4d \({\cal{N}}=1 \) superconformal index. JHEP 08:120. https://doi.org/10.1007/JHEP08(2019)120. arXiv:1904.05865
CaboBizet A, Cassani D, Martelli D, Murthy S (2020) The large\(N\) limit of the 4d \({\cal{N}}=1\) superconformal index. arXiv:2005.10654
Cacciatori SL, Klemm D (2010) Supersymmetric AdS(4) black holes and attractors. JHEP 01:085. https://doi.org/10.1007/JHEP01(2010)085. arXiv:0911.4926
Cardy JL (1986) Operator content of twodimensional conformally invariant theories. Nucl Phys B 270:186–204. https://doi.org/10.1016/05503213(86)905523
Cassani D, Papini L (2019) The BPS limit of rotating AdS black hole thermodynamics. JHEP 09:079. https://doi.org/10.1007/JHEP09(2019)079. arXiv:1906.10148
Chang CM, Yin X (2013) 1/16 BPS states in \({\cal{N}}=\) 4 superYang–Mills theory. Phys Rev D 88(10):106005. https://doi.org/10.1103/PhysRevD.88.106005. arXiv:1305.6314
Chimento S, Klemm D, Petri N (2015) Supersymmetric black holes and attractors in gauged supergravity with hypermultiplets. JHEP 06:150. https://doi.org/10.1007/JHEP06(2015)150. arXiv:1503.09055
Choi S, Hwang C (2020) Universal 3d Cardy block and black hole entropy. JHEP 03:068. https://doi.org/10.1007/JHEP03(2020)068. arXiv:1911.01448
Choi S, Kim S (2019) Large AdS\(_6\) black holes from CFT\(_5\). arXiv eprints arXiv:1904.01164
Choi S, Kim J, Kim S, Nahmgoong J (2018a) Comments on deconfinement in AdS/CFT. arXiv eprints arXiv:1811.08646
Choi S, Kim J, Kim S, Nahmgoong J (2018b) Large AdS black holes from QFT. arXiv eprints arXiv:1810.12067
Choi S, Hwang C, Kim S (2019) Quantum vortices, M2branes and black holes. arXiv eprints arXiv:1908.02470
Choi S, Hwang C, Kim S, Nahmgoong J (2020) Entropy functions of BPS black holes in AdS\(_{4}\) and AdS\(_{6}\). J Korean Phys Soc 76(2):101–108. https://doi.org/10.3938/jkps.76.101. arXiv:1811.02158
Chong ZW, Cvetič M, Lu H, Pope CN (2005a) Fivedimensional gauged supergravity black holes with independent rotation parameters. Phys Rev D 72:041901. https://doi.org/10.1103/PhysRevD.72.041901. arXiv:hepth/0505112
Chong ZW, Cvetič M, Lu H, Pope CN (2005b) General nonextremal rotating black holes in minimal fivedimensional gauged supergravity. Phys Rev Lett 95:161301. https://doi.org/10.1103/PhysRevLett.95.161301. arXiv:hepth/0506029
Chong ZW, Cvetič M, Lu H, Pope CN (2005c) Nonextremal charged rotating black holes in sevendimensional gauged supergravity. Phys Lett B 626:215–222. https://doi.org/10.1016/j.physletb.2005.07.054. arXiv:hepth/0412094
Chow DDK (2008) Equal charge black holes and seven dimensional gauged supergravity. Class Quant Grav 25:175010. https://doi.org/10.1088/02649381/25/17/175010. arXiv:0711.1975
Chow DDK (2010) Charged rotating black holes in sixdimensional gauged supergravity. Class Quant Grav 27:065004. https://doi.org/10.1088/02649381/27/6/065004. arXiv:0808.2728
Closset C, Kim H (2016) Comments on twisted indices in 3d supersymmetric gauge theories. JHEP 08:059. https://doi.org/10.1007/JHEP08(2016)059. arXiv:1605.06531
Closset C, Shamir I (2014) The \({\cal{N}}=1\) chiral multiplet on \(T^2\times S^2\) and supersymmetric localization. JHEP 03:040. https://doi.org/10.1007/JHEP03(2014)040. arXiv:1311.2430
Closset C, Dumitrescu TT, Festuccia G, Komargodski Z (2013) Supersymmetric field theories on threemanifolds. JHEP 05:017. https://doi.org/10.1007/JHEP05(2013)017. arXiv:1212.3388
Closset C, Cremonesi S, Park DS (2015) The equivariant Atwist and gauged linear sigma models on the twosphere. JHEP 06:076. https://doi.org/10.1007/JHEP06(2015)076. arXiv:1504.06308
Closset C, Kim H, Willett B (2017a) \( {\cal{N}} \) = 1 supersymmetric indices and the fourdimensional Amodel. JHEP 08:090. https://doi.org/10.1007/JHEP08(2017)090. arXiv:1707.05774
Closset C, Kim H, Willett B (2017b) Supersymmetric partition functions and the threedimensional Atwist. JHEP 03:074. https://doi.org/10.1007/JHEP03(2017)074. arXiv:1701.03171
Closset C, Kim H, Willett B (2018) Seifert fibering operators in 3d \({\cal{N}}=2\) theories. JHEP 11:004. https://doi.org/10.1007/JHEP11(2018)004. arXiv:1807.02328
Closset C, Di Pietro L, Kim H (2019) ’t Hooft anomalies and the holomorphy of supersymmetric partition functions. JHEP 08:035. https://doi.org/10.1007/JHEP08(2019)035. arXiv:1905.05722
Couzens C, Gauntlett JP, Martelli D, Sparks J (2019) A geometric dual of \(c\)extremization. JHEP 01:212. https://doi.org/10.1007/JHEP01(2019)212. arXiv:1810.11026
Crichigno PM, Herzog CP, Jain D (2013) Free energy of \({{\widehat{D}}_n}\) quiver Chern–Simons theories. JHEP 03:039. https://doi.org/10.1007/JHEP03(2013)039. arXiv:1211.1388
Crichigno PM, Jain D, Willett B (2018) 5d partition functions with a twist. JHEP 11:058. https://doi.org/10.1007/JHEP11(2018)058. arXiv:1808.06744
Cvetič M, Gibbons GW, Lu H, Pope CN (2005) Rotating black holes in gauged supergravities: Thermodynamics, supersymmetric limits, topological solitons and time machines. arXiv eprints arXiv:hepth/0504080
Dabholkar A, Gomes J, Murthy S (2011a) Quantum black holes, localization and the topological string. JHEP 06:019. https://doi.org/10.1007/JHEP06(2011)019. arXiv:1012.0265
Dabholkar A, Gomes J, Murthy S, Sen A (2011b) Supersymmetric index from black hole entropy. JHEP 04:034. https://doi.org/10.1007/JHEP04(2011)034. arXiv:1009.3226
Dabholkar A, Murthy S, Zagier D (2012) Quantum black holes, wall crossing, and mock modular forms. arXiv eprints arXiv:1208.4074
Dabholkar A, Gomes J, Murthy S (2013) Localization & exact holography. JHEP 04:062. https://doi.org/10.1007/JHEP04(2013)062. arXiv:1111.1161
Dall’Agata G, Gnecchi A (2011) Flow equations and attractors for black holes in N = 2 U(1) gauged supergravity. JHEP 03:037. https://doi.org/10.1007/JHEP03(2011)037. arXiv:1012.3756
Daniele N, Faedo F, Klemm D, Ramirez PF (2019) Rotating black holes in the FIgauged \(N=2\), \(D=4\)\(\overline{{\mathbb{C}}\text{ P }}^n\) model. JHEP 03:151. https://doi.org/10.1007/JHEP03(2019)151. arXiv:1902.03113
Di Pietro L, Komargodski Z (2014) Cardy formulae for SUSY theories in \(d =\) 4 and \(d =\) 6. JHEP 12:031. https://doi.org/10.1007/JHEP12(2014)031. arXiv:1407.6061
Dijkgraaf R, Maldacena JM, Moore GW, Verlinde EP (2000) A Black hole Farey tail. arXiv eprints arXiv:hepth/0005003
Dimofte T, Gaiotto D, Gukov S (2013) 3Manifolds and 3d indices. Adv Theor Math Phys 17(5):975–1076. https://doi.org/10.4310/ATMP.2013.v17.n5.a3. arXiv:1112.5179
Dolan FA, Osborn H (2009) Applications of the superconformal index for protected operators and qhypergeometric identities to N=1 dual theories. Nucl Phys B 818:137–178. https://doi.org/10.1016/j.nuclphysb.2009.01.028. arXiv:0801.4947
Drukker N, Marino M, Putrov P (2011) From weak to strong coupling in ABJM theory. Commun Math Phys 306:511–563. https://doi.org/10.1007/s0022001112536. arXiv:1007.3837
Dumitrescu TT, Festuccia G, Seiberg N (2012) Exploring curved superspace. JHEP 08:141. https://doi.org/10.1007/JHEP08(2012)141. arXiv:1205.1115
Felder G, Varchenko A (2000) The elliptic gamma function and \(sl(3,{\mathbb{Z}}) \rtimes {\mathbb{Z}}_3\). Adv Math 156(1):44–76. https://doi.org/10.1006/aima.2000.1951
Ferrara S, Kallosh R (1996) Supersymmetry and attractors. Phys Rev D 54:1514–1524. https://doi.org/10.1103/PhysRevD.54.1514. arXiv:hepth/9602136
Ferrara S, Kallosh R, Strominger A (1995) N = 2 extremal black holes. Phys Rev D 52:R5412–R5416. https://doi.org/10.1103/PhysRevD.52.R5412. arXiv:hepth/9508072
Festuccia G, Seiberg N (2011) Rigid supersymmetric theories in curved superspace. JHEP 06:114. https://doi.org/10.1007/JHEP06(2011)114. arXiv:1105.0689
Festuccia G, Qiu J, Winding J, Zabzine M (2020) Twisting with a flip (the art of pestunization). Commun Math Phys 377(1):341–385. https://doi.org/10.1007/s00220020036819. arXiv:1812.06473
Fluder M, Sparks J (2016) D2brane Chern–Simons theories: Fmaximization = amaximization. JHEP 01:048. https://doi.org/10.1007/JHEP01(2016)048. arXiv:1507.05817
Fluder M, Hosseini SM, Uhlemann CF (2019) Black hole microstate counting in Type IIB from 5d SCFTs. JHEP 05:134. https://doi.org/10.1007/JHEP05(2019)134. arXiv:1902.05074
Gaiotto D, Jafferis DL (2012) Notes on adding D6 branes wrapping RP3 in AdS(4) x CP3. JHEP 11:015. https://doi.org/10.1007/JHEP11(2012)015. arXiv:0903.2175
Gang D, Kim N (2019) Large \(N\) twisted partition functions in 3d–3d correspondence and holography. Phys Rev D 99(2):021901. https://doi.org/10.1103/PhysRevD.99.021901. arXiv:1808.02797
Gang D, Kim N, Pando Zayas LA (2020) Precision microstate counting for the entropy of wrapped M5branes. JHEP 03:164. https://doi.org/10.1007/JHEP03(2020)164. arXiv:1905.01559
Gauntlett JP, Martelli D, Sparks J (2019a) Toric geometry and the dual of \(c\)extremization. JHEP 01:204. https://doi.org/10.1007/JHEP01(2019)204. arXiv:1812.05597
Gauntlett JP, Martelli D, Sparks J (2019b) Toric geometry and the dual of \({{{\cal{I}}}}\)extremization. JHEP 06:140. https://doi.org/10.1007/JHEP06(2019)140. arXiv:1904.04282
Gibbons GW, Hawking SW (1977) Action integrals and partition functions in quantum gravity. Phys Rev D 15:2752–2756. https://doi.org/10.1103/PhysRevD.15.2752
Goldstein K, Jejjala V, Lei Y, van Leuven S, Li W (2020) Probing the EVH limit of supersymmetric AdS black holes. JHEP 02:154. https://doi.org/10.1007/JHEP02(2020)154. arXiv:1910.14293
González Lezcano A, Pando Zayas LA (2020) Microstate counting via Bethe Ansatze in the 4d \( {\cal{N}} \) = 1 superconformal index. JHEP 03:088. https://doi.org/10.1007/JHEP03(2020)088. arXiv:1907.12841
Grant L, Grassi PA, Kim S, Minwalla S (2008) Comments on \(1/16\) BPS quantum states and classical configurations. JHEP 05:049. https://doi.org/10.1088/11266708/2008/05/049. arXiv:0803.4183
Guarino A (2017) BPS black hole horizons from massive IIA. JHEP 08:100. https://doi.org/10.1007/JHEP08(2017)100. arXiv:1706.01823
Guarino A, Jafferis DL, Varela O (2015) String theory origin of dyonic N = 8 supergravity and its Chern–Simons duals. Phys Rev Lett 115(9):091601. https://doi.org/10.1103/PhysRevLett.115.091601. arXiv:1504.08009
Gukov S, Pei D (2017) Equivariant verlinde formula from fivebranes and vortices. Commun Math Phys 355(1):1–50. https://doi.org/10.1007/s0022001729319. arXiv:1501.01310
Gukov S, Putrov P, Vafa C (2017) Fivebranes and 3manifold homology. JHEP 07:071. https://doi.org/10.1007/JHEP07(2017)071. arXiv:1602.05302
Gulotta DR, Ang JP, Herzog CP (2012) Matrix models for supersymmetric Chern–Simons theories with an ADE classification. JHEP 01:132. https://doi.org/10.1007/JHEP01(2012)132. arXiv:1111.1744
Gutowski JB, Reall HS (2004a) General supersymmetric AdS(5) black holes. JHEP 04:048. https://doi.org/10.1088/11266708/2004/04/048. arXiv:hepth/0401129
Gutowski JB, Reall HS (2004b) Supersymmetric AdS(5) black holes. JHEP 02:006. https://doi.org/10.1088/11266708/2004/02/006. arXiv:hepth/0401042
Halmagyi N (2015) Static BPS black holes in AdS\(_{4}\) with general dyonic charges. JHEP 03:032. https://doi.org/10.1007/JHEP03(2015)032. arXiv:1408.2831
Halmagyi N, Lal S (2018) On the onshell: the action of AdS\(_{4}\) black holes. JHEP 03:146. https://doi.org/10.1007/JHEP03(2018)146. arXiv:1710.09580
Hama N, Hosomichi K, Lee S (2011) SUSY gauge theories on squashed threespheres. JHEP 05:014. https://doi.org/10.1007/JHEP05(2011)014. arXiv:1102.4716
Hanany A, Zaffaroni A (2008) Tilings, Chern–Simons theories and M2 branes. JHEP 10:111. https://doi.org/10.1088/11266708/2008/10/111. arXiv:0808.1244
Hanany A, Vegh D, Zaffaroni A (2009) Brane tilings and M2 branes. JHEP 03:012. https://doi.org/10.1088/11266708/2009/03/012. arXiv:0809.1440
Hawking SW (1975) Particle creation by black holes. Commun Math Phys 43:199–220. https://doi.org/10.1007/BF02345020. https://doi.org/10.1007/BF01608497 [167(1975)]
Henningson M, Skenderis K (1998) The holographic Weyl anomaly. JHEP 07:023. https://doi.org/10.1088/11266708/1998/07/023. arXiv:hepth/9806087
Herzog CP, Klebanov IR, Pufu SS, Tesileanu T (2011) Multimatrix models and triSasaki Einstein spaces. Phys Rev D 83:046001. https://doi.org/10.1103/PhysRevD.83.046001. arXiv:1011.5487
Honda M (2019) Quantum black hole entropy from 4d supersymmetric Cardy formula. Phys Rev D 100(2):026008. https://doi.org/10.1103/PhysRevD.100.026008. arXiv:1901.08091
Hong J, Liu JT (2018) The topologically twisted index of \( {\cal{N}} \) = 4 superYang–Mills on T\(^{2} \times S^{2}\) and the elliptic genus. JHEP 07:018. https://doi.org/10.1007/JHEP07(2018)018. arXiv:1804.04592
Hori K, Kim H, Yi P (2015) Witten index and wall crossing. JHEP 01:124. https://doi.org/10.1007/JHEP01(2015)124. arXiv:1407.2567
Hosseini SM (2018–02) Black hole microstates and supersymmetric localization. PhD thesis, Milan Bicocca University. arXiv:1803.01863
Hosseini SM, Mekareeya N (2016) Large \(N\) topologically twisted index: necklace quivers, dualities, and Sasaki–Einstein spaces. JHEP 08:089. https://doi.org/10.1007/JHEP08(2016)089. arXiv:1604.03397
Hosseini SM, Zaffaroni A (2016) Large \(N\) matrix models for 3d \({{{\cal{N}}}}=2\) theories: twisted index, free energy and black holes. JHEP 08:064. https://doi.org/10.1007/JHEP08(2016)064. arXiv:1604.03122
Hosseini SM, Zaffaroni A (2019a) Geometry of \({\cal{I}}\)extremization and black holes microstates. JHEP 07:174. https://doi.org/10.1007/JHEP07(2019)174. arXiv:1904.04269
Hosseini SM, Zaffaroni A (2019b) Proving the equivalence of \(c\)extremization and its gravitational dual for all toric quivers. JHEP 03:108. https://doi.org/10.1007/JHEP03(2019)108. arXiv:1901.05977
Hosseini SM, Hristov K, Passias A (2017a) Holographic microstate counting for AdS\(_{4}\) black holes in massive IIA supergravity. JHEP 10:190. https://doi.org/10.1007/JHEP10(2017)190. arXiv:1707.06884
Hosseini SM, Hristov K, Zaffaroni A (2017b) An extremization principle for the entropy of rotating BPS black holes in AdS\(_{5}\). JHEP 07:106. https://doi.org/10.1007/JHEP07(2017)106. arXiv:1705.05383
Hosseini SM, Nedelin A, Zaffaroni A (2017) The Cardy limit of the topologically twisted index and black strings in AdS\(_{5}\). JHEP 04:014. https://doi.org/10.1007/JHEP04(2017)014. arXiv:1611.09374
Hosseini SM, Hristov K, Passias A, Zaffaroni A (2018a) 6D attractors and black hole microstates. JHEP 12:001. https://doi.org/10.1007/JHEP12(2018)001. arXiv:1809.10685
Hosseini SM, Hristov K, Zaffaroni A (2018b) A note on the entropy of rotating BPS AdS\(_7\times S^4\) black holes. JHEP 05:121. https://doi.org/10.1007/JHEP05(2018)121. arXiv:1803.07568
Hosseini SM, Yaakov I, Zaffaroni A (2018c) Topologically twisted indices in five dimensions and holography. JHEP 11:119. https://doi.org/10.1007/JHEP11(2018)119. arXiv:1808.06626
Hosseini SM, Hristov K, Zaffaroni A (2019a) Gluing gravitational blocks for AdS black holes. JHEP 12:168. https://doi.org/10.1007/JHEP12(2019)168. arXiv:1909.10550
Hosseini SM, Hristov K, Zaffaroni A (2019b) Microstates of rotating AdS\(_{5}\) strings. JHEP 11:090. https://doi.org/10.1007/JHEP11(2019)090. arXiv:1909.08000
Hosseini SM, Toldo C, Yaakov I (2019c) Supersymmetric Rényi entropy and charged hyperbolic black holes. arXiv eprints arXiv:1912.04868
Hosseini SM, Hristov K, Tachikawa Y, Zaffaroni A (2020) Anomalies, Black strings and the charged Cardy formula arXiv:2006.08629
Hristov K (2012a) Lessons from the vacuum structure of 4d N = 2 supergravity. PhD thesis, Utrecht University. arXiv:1207.3830
Hristov K (2012b) On BPS bounds in D = 4 N = 2 gauged supergravity II: general matter couplings and black hole masses. JHEP 03:095. https://doi.org/10.1007/JHEP03(2012)095. arXiv:1112.4289
Hristov K (2014) Dimensional reduction of BPS attractors in AdS gauged supergravities. JHEP 12:066. https://doi.org/10.1007/JHEP12(2014)066. arXiv:1409.8504
Hristov K, Vandoren S (2011) Static supersymmetric black holes in AdS4 with spherical symmetry. JHEP 04:047. https://doi.org/10.1007/JHEP04(2011)047. arXiv:1012.4314
Hristov K, Toldo C, Vandoren S (2011) On BPS bounds in D = 4 N = 2 gauged supergravity. JHEP 12:014. https://doi.org/10.1007/JHEP12(2011)014. arXiv:1110.2688
Hristov K, Tomasiello A, Zaffaroni A (2013) Supersymmetry on threedimensional Lorentzian curved spaces and black hole holography. JHEP 05:057. https://doi.org/10.1007/JHEP05(2013)057. arXiv:1302.5228
Hristov K, Lodato I, Reys V (2018) On the quantum entropy function in 4d gauged supergravity. JHEP 07:072. https://doi.org/10.1007/JHEP07(2018)072. arXiv:1803.05920
Hristov K, Katmadas S, Toldo C (2019a) Mattercoupled supersymmetric Kerr–NewmanAdS\(_4\) black holes. Phys Rev D 100(6):066016. https://doi.org/10.1103/PhysRevD.100.066016. arXiv:1907.05192
Hristov K, Katmadas S, Toldo C (2019b) Rotating attractors and BPS black holes in \(AdS_4\). JHEP 01:199. https://doi.org/10.1007/JHEP01(2019)199. arXiv:1811.00292
Hristov K, Lodato I, Reys V (2019c) Oneloop determinants for black holes in 4d gauged supergravity. JHEP 11:105. https://doi.org/10.1007/JHEP11(2019)105. arXiv:1908.05696
Imamura Y, Yokoyama S (2011) Index for three dimensional superconformal field theories with general Rcharge assignments. JHEP 04:007. https://doi.org/10.1007/JHEP04(2011)007. arXiv:1101.0557
Intriligator KA, Wecht B (2003) The exact superconformal R symmetry maximizes a. Nucl Phys B 667:183–200. https://doi.org/10.1016/S05503213(03)004590. arXiv:hepth/0304128
Iqbal A, Nekrasov N, Okounkov A, Vafa C (2008) Quantum foam and topological strings. JHEP 04:011. https://doi.org/10.1088/11266708/2008/04/011. arXiv:hepth/0312022
Jafferis DL (2012) The exact superconformal Rsymmetry extremizes Z. JHEP 05:159. https://doi.org/10.1007/JHEP05(2012)159. arXiv:1012.3210
Jafferis DL, Pufu SS (2014) Exact results for fivedimensional superconformal field theories with gravity duals. JHEP 05:032. https://doi.org/10.1007/JHEP05(2014)032. arXiv:1207.4359
Jafferis DL, Tomasiello A (2008) A simple class of N=3 gauge/gravity duals. JHEP 10:101. https://doi.org/10.1088/11266708/2008/10/101. arXiv:0808.0864
Jafferis DL, Klebanov IR, Pufu SS, Safdi BR (2011) Towards the Ftheorem: N = 2 field theories on the threesphere. JHEP 06:102. https://doi.org/10.1007/JHEP06(2011)102. arXiv:1103.1181
Jain D (2019) Twisted indices of more 3d quivers. arXiv eprints arXiv:1908.03035
Jain D, Ray A (2019) 3d \({\cal{N}}=2\)\(\widehat{ADE}\) Chern–Simons quivers. Phys Rev D 100(4):046007. https://doi.org/10.1103/PhysRevD.100.046007. arXiv:1902.10498
Jeffrey LC, Kirwan FC (1995) Localization for nonabelian group actions. Topology 34:291–327. https://doi.org/10.1016/00409383(94)00028J. arXiv:alggeom/9307001
Jeon I, Lal S (2017) Logarithmic corrections to entropy of magnetically charged AdS4 black holes. Phys Lett B 774:41–45. https://doi.org/10.1016/j.physletb.2017.09.026. arXiv:1707.04208
Kantor G, Papageorgakis C, Richmond P (2020) AdS\(_7\) blackhole entropy and 5D \({\cal{N}}=2\) Yang–Mills. JHEP 01:017. https://doi.org/10.1007/JHEP01(2020)017. arXiv:1907.02923
Kapustin A, Willett B (2011) Generalized superconformal index for three dimensional field theories. arXiv eprints arXiv:1106.2484
Katmadas S (2014) Static BPS black holes in U(1) gauged supergravity. JHEP 09:027. https://doi.org/10.1007/JHEP09(2014)027. arXiv:1405.4901
Kim H, Kim N (2019) Black holes with baryonic charge and \({\cal{I}}\)extremization. JHEP 11:050. https://doi.org/10.1007/JHEP11(2019)050. arXiv:1904.05344
Kim HC, Kim S, Kim SS, Lee K (2013) The general M5brane superconformal index. arXiv eprints arXiv:1307.7660
Kim J, Kim S, Song J (2019) A 4d \(N=1\) Cardy formula. arXiv eprints arXiv:1904.03455
Kim S (2009) The complete superconformal index for N = 6 Chern–Simons theory. Nucl Phys B 821:241–284. https://doi.org/10.1016/j.nuclphysb.2012.07.015. https://doi.org/10.1016/j.nuclphysb.2009.06.025, [Erratum: Nucl. Phys. B864,884(2012)]. arXiv:0903.4172
Kim S, Lee KM (2006) 1/16BPS black holes and giant gravitons in the AdS(5) X S5 space. JHEP 12:077. https://doi.org/10.1088/11266708/2006/12/077. arXiv:hepth/0607085
Kinney J, Maldacena JM, Minwalla S, Raju S (2007) An Index for 4 dimensional super conformal theories. Commun Math Phys 275:209–254. https://doi.org/10.1007/s0022000702587. arXiv:hepth/0510251
Klare C, Tomasiello A, Zaffaroni A (2012) Supersymmetry on curved spaces and holography. JHEP 08:061. https://doi.org/10.1007/JHEP08(2012)061. arXiv:1205.1062
Klebanov IR, Torri G (2010) M2branes and AdS/CFT. Int J Mod Phys A 25:332–350. https://doi.org/10.1142/S0217751X10048652. arXiv:0909.1580
Klebanov IR, Witten E (1998) Superconformal field theory on threebranes at a Calabi–Yau singularity. Nucl Phys B 536:199–218. https://doi.org/10.1016/S05503213(98)006543. arXiv:hepth/9807080
Klebanov IR, Witten E (1999) AdS / CFT correspondence and symmetry breaking. Nucl Phys B 556:89–114. https://doi.org/10.1016/S05503213(99)003879. arXiv:hepth/9905104
Kraus P, Larsen F (2007) Partition functions and elliptic genera from supergravity. JHEP 01:002. https://doi.org/10.1088/11266708/2007/01/002. arXiv:hepth/0607138
Kunduri HK, Lucietti J, Reall HS (2006) Supersymmetric multicharge AdS(5) black holes. JHEP 04:036. https://doi.org/10.1088/11266708/2006/04/036. arXiv:hepth/0601156
Lanir A, Nedelin A, Sela O (2020) Black hole entropy function for toric theories via Bethe Ansatz. JHEP 04:091. https://doi.org/10.1007/JHEP04(2020)091. arXiv:1908.01737
Larsen F, Nian J, Zeng Y (2020) AdS\(_{5}\) black hole entropy near the BPS limit. JHEP 06:001. https://doi.org/10.1007/JHEP06(2020)001. arXiv:1907.02505
Liu JT, Pando Zayas LA, Rathee V, Zhao W (2018a) Oneloop test of quantum black holes in anti de Sitter space. Phys Rev Lett 120(22):221602. https://doi.org/10.1103/PhysRevLett.120.221602. arXiv:1711.01076
Liu JT, Pando Zayas LA, Rathee V, Zhao W (2018b) Toward microstate counting beyond large N in localization and the dual oneloop quantum supergravity. JHEP 01:026. https://doi.org/10.1007/JHEP01(2018)026. arXiv:1707.04197
Liu JT, Pando Zayas LA, Zhou S (2018c) Subleading microstate counting in the dual to massive type IIA. arXiv eprints arXiv:1808.10445
Lorenzen J, Martelli D (2015) Comments on the Casimir energy in supersymmetric field theories. JHEP 07:001. https://doi.org/10.1007/JHEP07(2015)001. arXiv:1412.7463
Maldacena JM (1999) The large N limit of superconformal field theories and supergravity. Int J Theor Phys 38:1113–1133. https://doi.org/10.1023/A:1026654312961. https://doi.org/10.4310/ATMP.1998.v2.n2.a1 [Adv. Theor. Math. Phys. 2, 231(1998)]. arXiv:hepth/9711200
Manschot J, Moore GW (2010) A Modern Farey Tail. Commun Num Theor Phys 4:103–159. https://doi.org/10.4310/CNTP.2010.v4.n1.a3. arXiv:0712.0573
Marino M (2011) Lectures on localization and matrix models in supersymmetric Chern–Simonsmatter theories. J Phys A 44:463001. https://doi.org/10.1088/17518113/44/46/463001. arXiv:1104.0783
Markeviciute J (2019) Rotating hairy black holes in AdS\(_5\times \)S\(^5\). JHEP 03:110. https://doi.org/10.1007/JHEP03(2019)110. arXiv:1809.04084
Markeviciute J, Santos JE (2019) Evidence for the existence of a novel class of supersymmetric black holes with AdS\(_5\times \)S\(^5\) asymptotics. Class Quant Grav 36(2):02LT01. https://doi.org/10.1088/13616382/aaf680. arXiv:1806.01849
Martelli D, Sparks J (2008) Moduli spaces of Chern–Simons quiver gauge theories and AdS(4)/CFT(3). Phys Rev D 78:126005. https://doi.org/10.1103/PhysRevD.78.126005. arXiv:0808.0912
Martelli D, Sparks J (2009) AdS(4) / CFT(3) duals from M2branes at hypersurface singularities and their deformations. JHEP 12:017. https://doi.org/10.1088/11266708/2009/12/017. arXiv:0909.2036