Quantum entropy and exact 4D/5D connection

We consider the AdS2/CFT1 holographic correspondence near the horizon of rotating five-dimensional black holes preserving four supersymmetries in N=2\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ \mathcal{N}=2 $$\end{document} supergravity. The bulk partition function is given by a functional integral over string fields in AdS2 and is related to the quantum entropy via the Sen’s proposal. Under certain assumptions we use the idea of equivariant localization to non-rigid backgrounds and show that the path integral of off-shell supergravity on the near horizon background, which is a circle fibration over AdS2× S2, reduces to a finite dimensional integral over nV + 1 parameters CA, where nV is the number of vector multiplets of the theory while the C0 mode corresponds to a normalizable fluctuation of the metric. The localization solutions, which rely only on off-shell supersymmetry, become after a field redefinition, the solutions found for localization of supergravity on AdS2× S2. We compute the renormalized action on the localization locus and show that, in the absence of higher derivative corrections, it agrees with the four dimensional counterpart computed on AdS2× S2. These results together with possible one-loop contributions can be used to establish an exact connection between five and four dimensional quantum entropies.


Introduction
In string theory or in any consistent quantum theory of gravity we should be able to describe a black hole as an ensemble of quantum states. The statistical entropy of the black hole or simply quantum entropy is given by the Boltzmann formula S = ln d(Q) (1.1)

JHEP01(2015)109
with d(Q) the number of states with charge Q. In the thermodynamic limit or large charge regime the expression above is well approximated by the famous Bekenstein-Hawking area formula 1 [1][2][3][4][5][6] S ≃ A 4 (1.2) which then gives the semiclassical, leading contribution to the black hole's quantum entropy. Hawking's formula is in a sense very general and universal and therefore it does not tell much about the microscopic details of the theory. On the other hand, for extremal black holes, which have an AdS 2 near horizon geometry, finite charge corrections to the area formula can be used to test the holographic correspondence [7] beyond the thermodynamic limit and infer details of the dual quantum theory. In this sense it is of great interest to compute finite charge corrections to the entropy and compare them for example with known contributions from BPS state counting. Sen's proposal [8,9] relates the quantum entropy of an extremal black hole to a path integral of string fields over AdS 2 with some Wilson line insertions at the boundary. Via the AdS 2 /CF T 1 correspondence, it counts the number d(Q) of ground states of the dual conformal quantum mechanics in a particular charge sector Q. The entropy is then given by the statistical formula S = ln d(Q). By putting the boundary of AdS 2 at finite radius we generate an IR cuttoff [10] which can be used to extract relevant information via holographic renormalization. This definition then respects all the symmetries of the theory and reduces to the Wald formula in the corresponding limit of low curvatures or large horizon radius.
The quantum entropy function constitutes a powerful tool to compute finite charge corrections to the area law which can then be compared to microscopic calculations. 2 For many examples of supersymmetric black holes in both four dimensional N = 4, 8 string theories there are microscopic formulas for an indexed number 3 of BPS states [11][12][13][14][15][16][17][18][19] valid in a large region of the charge configuration space. Using either the Cardy formula or an asymptotic expansion in the large charge limit [20,21], the microscopic index agrees with the exponential of the Wald's entropy. Additional subleading corrections can then be compared with those obtained via the AdS 2 quantum entropy framework. For instance oneloop determinants of fluctuations of massless string fields over the attractor background give logarithmic corrections to the area formula that are in perfect agreement with the microscopic answers [22][23][24] .
Despite all this success, the techniques involved are quite limited which makes the computation of further perturbative corrections an extremely difficult problem. However, for supersymmetric theories we hope to use localization to compute all of them exactly. At least for rigid supersymmetric theories the principle is quite simple. We deform the original action by adding a Q-exact term of the form tQV , where Q stands for some supersymmetry of the theory and the functional V is chosen such that Q 2 V = 0. Then

JHEP01(2015)109
using the fact that both the action and the deformation are Q invariant it can be shown that the path integral does not depend on t. So in the limit t → ∞ the path integral collapses onto the saddle points of the deformation and the semiclassical approximation becomes exact. This explains the concept of localization. This technique has been used extensively and with great success to compute exactly many observables in non-abelian gauge theories defined on a sphere [25,26] and recently many other cousins of these spaces. Recently the same technique was applied with great success to supergravity on AdS 2 × S 2 [27] in the context of black hole entropy counting. A spectacular simplification was observed in that only a particular mode of the scalar fields was allowed to fluctuate, with the other fields fixed to their attractor values. We say that the path integral localized over a finite dimensional subspace of the phase configuration space. The renormalized action 4 has a very simple dependence on the prepotential of the theory and is a function of n V + 1 parameters C I which have to be integrated. More recently in [28] these results were applied in the case of four dimensional big black holes in toroidally compactified IIB string theory. The microscopic degeneracy, given as a fourier coefficient of a Jacobi form, can be rewritten in the Rademacher expansion and then compared with the gravity computation. The leading term of this expansion was reproduced exactly from these considerations. The nonperturbative corrections to this result, possibly coming from additional orbifolds, are more subleading, rendering the agreement between microscopics and macroscopics almost exact.
It would be interesting in the view of AdS 2 /CF T 1 correspondence to test these ideas in other examples. The study of higher dimensional black holes in this context is of particular interest for two main reasons. First, there is an interesting connection relating the microscopic partition functions of four and five dimensional black holes called 4d/5d lift [29][30][31][32]. It would be very important to understand this connection from a bulk point of view at the quantum level. For instance the microscopic partition functions of four and five dimensional black holes in toroidally compactified string theory are the same. 5 Since the quantum entropies have to agree one expects the five dimensional theory to "reduce" to four dimensions exactly. Secondly, we want to understand how localization works in the presence of gravity, that is, in a non-rigid background. Since the four and five dimensional answers are related, it is expected that some mode of the five dimensional metric is left unfixed. As a matter of fact the near horizon geometry of a supersymmetric five dimensional black hole has the form of a circle fibered over AdS 2 × S 2 [35] (which we denote as AdS 2 × S 2 ⋉ S 1 ). The fiber, which carries angular momentum, gives rise to a U(1) gauge field after dimensional reduction. Rigid supersymmetric localization is quite well understood. However localization in non-rigid backgrounds constitutes a new challenge and an interesting problem from a technical point of view.
At the level of two derivative supergravity action, the Bekenstein-Hawking entropy of the five-dimensional BMPV black hole [36] equals that of the four-dimensional supersymmetric black hole after identifying the five-dimensional angular momentum with fourdimensional electric charge. For N = 8 black holes in toroidally compactified string theory JHEP01(2015)109 this equality should hold even at quantum level since the microscopic answers in 5d [11] and 4d [17] are the same. 6 However in the case of N = 4 black holes the 4d/5d lift is non-trivial and the equality of quantum entropies is no longer true already at two derivative level 7 [37] but always in agreement with the microscopic answers. In the view of the existing results for four-dimensional black holes in N = 8 string theory [28] we give support for an exact bulk derivation of this property. We will find out that the renormalized action of both the five and four dimensional theories are the same.
This work has therefore two fundamental purposes: to compute the partition function of supergravity on AdS 2 × S 2 ⋉ S 1 using localization techniques and to establish a quantum version of the 4d/5d lift from a bulk perspective. Instead of reducing the theory down to AdS 2 , as in other perturbative computations [22][23][24], we consider the five dimensional theory and apply localization to the off-shell N = 2 theory. Our work focus on the perturbative part of this computation, that is, in finding the saddle points of the localization action. We compute the renormalized action on the localization solutions in the case when higher derivative corrections are absent, which is appropriate for five dimensional N = 8 black holes.
The use of localization in supergravity on AdS 2 ×S 2 , even though not fully understood, has remarkable results. As found in [27], the scalar in the compensating vector multiplet of four dimensional N = 2 off-shell supergravity is left unfixed by the localization equations. This means that from a five dimensional perspective we expect some mode of the metric to be left unfixed, namely the dilaton that measures the size of the fiber. In other words we need to consider localization on a non-rigid background. While it is straightforward to show localization in rigid supersymmetric theories this is not the case when the background itself is dynamical like in supergravity. The problem resides on the fact that it is very difficult to construct an exact deformation, if such an object exists, that is both gauge invariant and background independent. For rigid theories we usually pick a Killing spinor whose associated Killing vector generates a compact symmetry of the background. This is then enough to show exactness of the deformation. In general this choice of Killing spinor breaks the symmetries of the background and therefore it cannot be a diffeomorphic invariant deformation. We explain this in more detail later in section 3. However, in supergravity this only makes sense in regions of the configuration space where we can use a partially fixed background. In these regions we can use a partially fixed Killing spinor that stills generates a compact symmetry. For instance we will show that by fixing the four dimensional metric to be AdS 2 × S 2 while leaving the fiber off-shell it is still possible to construct an exact deformation that can be used to localize the theory. Even though our understanding of localization in supergravity is only partial, our belief is that supergravity, at least on AdS 2 spaces, localizes, that is, there are just a finite number of modes that capture all quantum corrections. This is a strong statement but it is quite clear from the microscopic answers that something similar might be happening.

JHEP01(2015)109
In this sense we adopt a different approach in this work. We start from an ansatz for the metric and do the same for the Killing spinor. To be able to use localization we need a fermionic symmetry δ that generates a compact bosonic symmetry. More specifically we need where L v is the Lie derivative along a Killing vector v and G are gauge transformations.
The operator δ has the name of twisted de Rham operator in differential geometry. As we will see later, in order for δ to act equivariantly, that is, in the sense of (1.3), we need to impose certain conditions on the fields. In order to use localization we need an off-shell realization of supersymmetry in five dimensions. A beautiful construction is given by the N = 2 five dimensional superconformal formalism developed recently in [38][39][40][41]. Although our interest is on BPS black holes in N = 4, 8 theories, for which we have microscopic answers, we will use the N = 2 formalism where these black holes can be embedded.
The localization solutions, presented in section 5, look very complicated from a five dimensional perspective. There are a great number of fields both from the weyl multiplet and vector multiplets left unfixed by the localization equations. The hypermultiplet fields however remain fixed to their background values. This is only an assumption since we do not have an off-shell representation of their supersymmetric variations. After a field redefinition, these solutions are recognized to be the solutions found in [27,42] for localization of supergravity on AdS 2 × S 2 . They are parametrized by n V + 1 parameters C A , with n V the number of vector multiplets, and label normalizable fluctuations of the four dimensional scalar fields. These four dimensional scalar fields result from a combination of the five dimensional scalars σ together with the fifth component χ of the gauge fields and a mode coming from the auxiliary antisymmetric field T ab , in the Weyl multiplet, that we denote as α, in the form At asymptotic infinity α is related to the five dimensional angular momentum J ψ ∝ sinh(α). The reduced euclidean theory has SO(1, 1) R-symmetry which explains the use of paracomplex scalars X ± . 8 The localization equations leave unfixed the "real" part of the paracomplex scalar fields which in hyperbolic coordinates 9 have the following spacetime dependence where ( * ) denotes the on-shell value. On the other hand the dilaton Φ which measures the size of the five dimensional circle combines also with α to give an additional paracomplex scalar Euclidean N = 2 supersymmetry in four dimensions has SO(1, 1) R-symmetry [43]. The vector multiplet scalars are "charged" ± under this non-compact R-symmetry. 9 In hyperbolic coordinates AdS2 metric is written as ds 2 = dη 2 + sinh(η) 2 dθ 2 .

JHEP01(2015)109
and gives an extra mode that has to be integrated out with C 0 an arbitrary constant. As in [27] these modes can fluctuate if certain auxiliary fields are also allowed to fluctuate above their attractor values. The localization equations show that any dependence on the five dimensional coordinate drops out, rendering the 5d/4d reduction exact. However we need to be cautious about possible contributions from Kaluza Klein modes in the one-loop determinants but we do not consider this problem here. Note that the localization analysis uses off-shell supersymmetry and therefore it is independent of the particular details of the action. As explained later in section 5.1, to guarantee that the supergravity action is invariant under the fermionic symmetry δ we need to add appropriate boundary terms, Wilson lines in this case. These boundary terms are important to guarantee a consistent variational principle. These Wilson lines are different from the electric Wilson lines used in [8,9,27] as they do not carry explicit information about the five dimensional charges as we could have expected. Nonetheless, after some algebra, the renormalized action shows dependence on the five dimensional charges in a way that is consistent with the four dimensional results of [27]. The final answer for the quantum degeneracy d(Q), in the absence of higher derivative terms, is a finite dimensional integral over n V + 1 variables, where M denotes an effective measure on the space of φ I , Q and J are the charges and angular momentum respectively, and the renormalized action has the form where C IJK is a completely symmetric constant matrix. After a suitable analytic continuation of φ 0 the renormalized action matches the four dimensional counterpart as expected from the 4d/5d lift. The measure M should in principle be computed from the one-loop determinants. However since the localization equations are valid only in a region of the full configuration space we do not have access to all fluctuations orthogonal to the localization locus but only a subset. The paper is organized as follows. In section 2 we review the quantum entropy function formalism. In section 3 we explain the technique of equivariant localization starting from finite dimensional integrals and then introducing the case of infinite dimensional integrals. In section 4 we review the five dimensional superconformal formalism. We introduce the supersymmetric variations of the various supermultiplets, the lagrangian and also the full BPS attractor equations. Finally in section 5 we do localization of the supergravity theory and compute the renormalized action on the localization locus.

JHEP01(2015)109
2 Quantum entropy function and AdS 2 /CF T 1 correspondence The quantum entropy function [8][9][10]44], based on the AdS 2 /CF T 1 correspondence, is a proposal for the quantum entropy of an extremal black hole. By quantum entropy we mean a generalization of the Wald's formula that captures the entropy of a black hole described as an ensemble of quantum states. At least for BPS black holes for which there are precise microscopic answers it is believed that such a formula might exist. We have to stress the fact that notwithstanding the microscopic answer being an index, it has been argued in [10,20] that for black holes that preserve at least four supercharges index equals degeneracy for the near horizon degrees of freedom.
The quantum degeneracy d(q), where q labels the charges of the black hole, counts the number of ground states of the conformal quantum mechanics and is related, via AdS/CF T correspondence, to the partition function of supergravity on AdS 2 with Wilson lines inserted at the boundary: where the geometry has euclidean signature. 10 The Wilson line insertions can be understood from two different but equivalent ways. From an holographic point view, the electric part of the gauge fields carries a nonnormalizable component at asymptotic infinity, that is, in coordinates where the boundary is at r → ∞ the gauge field goes as A ∼ er, and therefore via the usual bulk/boundary correspondence dictionary [45] these modes have to be fixed while the normalizable component, the chemical potentials, have to be integrated out. This is in contrast with higher dimensional examples like in AdS 4 . The microcanonical ensemble is natural from this point of view. But we can also see these Wilson lines as a requirement of a consistent formulation of the path integral. Without the Wilson lines the equations of motion for the gauge fields are not obeyed at the boundary because they carry a non-normalizable component. 11 Much like the Gibbons-Hawking terms, the path integral on AdS 2 requires appropriate boundary terms, Wilson lines in this case, that restore the validity of the equations of motion throughout all the space. We develop this idea further in section 5.1.
This formalism surpasses in many ways other attempts to compute quantum corrections to the entropy. The success comes essentially from two basic facts. Firstly, there is a natural UV cutoff, the string scale l s . Secondly, it introduces via holographic renormalization an IR cutoff which is essential for extracting relevant information even at the classical level. Besides, this formalism respects all the symmetries of string theory and reduces to Wald's formalism in the limit of low curvatures or large horizon. To see this consider the following simple example. The relevant near horizon data of an extremal black hole is given 10 As usual we perform a Wick rotation t → −iθ. In other instances we learned to take t → iθ such that the path integrand becomes e −S with S positive providing a convergent integral. Here however the euclidean action is already divergent due to the infinite volume of AdS2 and it is the renormalized action that provides the correct damping exponential. In short, Ren e S = e −Sren . 11 In other words the boundary terms that arise from varying the action do not vanish at asymptotic infinity.

JHEP01(2015)109
by the metric with conformal boundary at r → ∞, and gauge fields and scalar fields respectively. The leading contribution to (2.1) comes from evaluating the action on the configuration described above. Since AdS 2 has infinite volume we introduce a cutoff at r = r 0 and discard terms that are linearly divergent, that is, where Ren denotes renormalization by appropriate boundary counter terms that remove the r 0 dependence. The most r.h.s. expression is just the exponential of the Wald's entropy.
If we want to compute quantum contributions we look at normalizable fluctuations order by order in perturbation theory. This is essentially the work done in [22][23][24]37]. The authors consider the reduced theory on AdS 2 and look at normalizable fluctuations of the background (2.2) and (2.3). They compute, using the heat kernel method, one-loop determinants in the two derivative supergravity action. These terms give corrections of order ln(A) to the entropy, where A is the horizon area in appropriate units. When performing localization we will consider the path integral defined on the fivedimensional space AdS 2 × S 2 ⋉ S 1 instead of reducing all the fields down to AdS 2 . This method is obviously favorable for a number of reasons. However in the context of localization it requires the addition of appropriate boundary terms. Some of them arise by demanding that the equations of motion be obeyed also at the boundary, as explained before, others are necessary to restore gauge invariance. As we will explain later in the section 3 these terms are necessary for invariance of the action under supersymmetry, an essential ingredient for using localization. This condition will allow us to define in five dimensions an entropy functionà la Sen [46]. Current available attempts [47] circumvent this problem by reducing to four dimensions which is clearly unsatisfactory in the view of our main goal.

Localization principle
For illustrative purposes consider the example of a finite dimensional integral I(t) over a compact manifold M, If f (m) has a finite number of non-degenerate critical points p ∈ {f ′ (m) = 0}, a saddle point approximation gives an asymptotic expansion in t where the coefficients a l (p) can be computed in terms of f (m).

JHEP01(2015)109
For a certain class of integrals an extraordinary simplification occurs. If M is a symplectic manifold and f (m) is the hamiltonian of an S 1 action on M then the "higher loop" corrections, that is, the l > 1 terms vanish and the saddle point approximation becomes exact. This is the simplified version of the Duistermaat-Heckman theorem [48]. In such a case, the integral localizes exactly over the critical points of f (m) which are also the fixed points of the S 1 action on M where 2n is the dimension of M and V is the vector associated with the S 1 action. The fact that the integral only depends on the neighborhood data of the fixed points is commonly referred as localization.
To better understand the mechanics of localization we need to study equivariant cohomology. This is particularly well understood for finite dimensional integrals. A good mathematical reference is [49] while [50] is more convenient for a physicist point of view.
Without entering in too many mathematical details we will explain briefly localization of finite dimensional integrals. The idea behind localization is that is possible to define on a manifold M an operator D which has the property that it squares to an isometry of the space. In other words where L V is the Lie derivative. On the space of forms the operator D, also called twisted de Rham differential, has the form where d is the de Rham differential and i V is the contraction operator by the vector V .
Since the vector generates an isometry of the manifold we have L V g mn = 0, that is, V is a Killing vector. This operator then allows to define a cohomology on the space of forms which are left invariant under the isometry generated by V , that is, on the space of forms α for which L V α = 0. These forms are also called equivariant forms. It turns out that the integral over M of a closed form α, that is, D V α = 0, localizes on the fixed points of action of V . To show localization we consider the auxiliary integral parametrized by t with β an equivariant differential form. Since both α and D V β are closed under D V we can show by integration by parts that or in other words D V β is an exact deformation. A clever choice for β is to take

JHEP01(2015)109
with g µν a metric on the manifold M. The property that L V g µν = 0 ensures that β is an equivariant form. That is a clever choice because the "deformation" D V β has a term which is positive everywhere on M This can be used to show that in the limit t → ∞ the integral collapses onto the fixed points of V , rendering the saddle point approximation exact. This is the equivariant localization principle.
The same idea can be applied to infinite dimensional integrals. The idea is to extend the properties of the operator D to the space of fields. Since it mixes forms of even and odd degrees it behaves much like a supercharge in supersymmetric field theories that sends bosonic to fermionic fields and vice-versa. The twisted de Rham operator becomes a functional and can be identified with the action of a real supersymmetric transformation while the analog of a closed equivariant form is given by a supersymmetric functional. By the same token we can deform the integral by an exact equivariant functional and show localization of the theory.
To make things simple consider the case of one-dimensional N = 1/2 supersymmetric quantum mechanics on a circle with period T [50].
There exists a supersymmetry S that takes a boson to a fermion and vice-versa with τ the coordinate on the circle. These transformations can be used to define the functional equivariant operator , and I = dτẊ δ δΨ(τ ) (3.12) It is an easy exercise to show that this operator squares to translations as expected from the supersymmetry algebra Q 2 = H, with H, the hamiltonian, The space of equivariant functionals is determined by functionals W [X, Ψ] that vanish under the action of D 2 x . This immediately gives the condition Since this should be valid for any X and Ψ the condition is satisfied if we impose periodic conditions on both the scalars X and fermions Ψ. In other words the space of equivariant functionals is the space of functionals with both X and Ψ fields periodically indentified on the circle. The localization principle follows analogously. We deform the original integral by adding an exact deformation to the action

JHEP01(2015)109
Using the fact that the deformed integrand is equivariantly closed we can show as in (3.7) that the integral does not depend on the parameter t and consequently the limit t → ∞ can be used to prove localization of the theory on the space of configurations for which That is, the theory localizes on constant fields X. Further corrections, which include the contribution from the Kaluza-Klein modes, are one-loop exact. Without much effort the same idea can be applied to higher dimensional supersymmetric theories. In general, localization in rigid supersymmetric gauge theories is quite straightforward as long as there is a fermionic symmetry that squares to a compact Killing symmetry of the background. More generally there is an odd symmetry δ with the property that where v µ is a Killing vector and G a denotes a gauge transformation with parameter a.
With a set of fields that respect this algebra we can easily construct an exact deformation of the physical action. For this reason any deformation of the form δW with W gauge invariant and ∂ v W = 0, will be an exact deformation if the fields respect periodic boundary conditions along the compact v direction. In other words Pestun in his seminal work [25] gives a beautiful application of this formalism in the computation of Wilson loops in N = 4, 2 SYM defined on S 4 . In this case he uses a fermionic symmetry which is a combination of a conventional Q-supersymmetry and a special S-supersymmetry. This fermionic symmetry squares to an antiself-dual rotation of the sphere plus R-symmetry and gauge transformations.
For non-rigid supersymmetric theories it is not known if the same idea can be applied. We do not know how to construct, if it exists, an exact deformation that is both gauge invariant and background independent. In general it is difficult to find an odd symmetry that satisfies the condition (3.18). The case is even worst when there is gravity. However in a certain region of the phase configuration space it is possible to realize linearly such an algebra. For instance the authors in [27] claim to have computed exactly the path integral of N = 2 supergravity on AdS 2 × S 2 . The results are quite astonishing. Assuming that the background remains fixed they localize the gauge theory sector and find that for each vector multiplet a normalizable fluctuation of the scalars is allowed if the corresponding auxiliary scalar also fluctuates. They have found that the theory localizes on the set of fluctuations of the form with X a scalar and K the auxiliary scalar field, in the coordinates (2.2). Integration over the constants C yields a finite dimensional integral which agrees with the microscopic predictions for 1/8 BPS black holes in N = 8 string theory [28]. Since in general the susy transformations of supergravity do not respect equivariant properties, the strategy that we pursue here is to find in which region of configuration space those properties are realized. This brings additional constraints on the fields. On this restricted subspace we can deform the path integral and show localization. We believe that in the full quantum gauge fixed theory such a restriction would follow naturally.

5D superconformal gravity and near horizon analysis
In this section we introduce the N = 2 off-shell superconformal formalism for five dimensional supergravity. We present the various multiplets and respective supersymmetric transformations. We introduce the lagrangian with supersymmetric higher derivative corrections and present the BPS attractor equations for the AdS 2 × S 2 ⋉ S 1 near horizon geometry of the BMPV black hole.

Superconformal formalism
The superconformal calculus was originally constructed for N = 2 supergravity in four dimensions [51][52][53] but only recently a formulation in five dimensions was developed [38][39][40][41]. The idea is to construct a supersymmetric theory for the five dimensional conformal group by gauging the global generators and then imposing appropriate gauge fixing conditions. This is similar to the example of a scalar conformally coupled to the Einstein-Hilbert term. By gauge fixing the scalar to a constant we recover Poincaré gravity. One major distinction between four and five dimensional formulations is that while the first has SU(2) × U(1) R-symmetry, the five dimensional theory only has SU(2) R-symmetry. This means, for instance, that the scalars in the vector multiplets are real.
In the following we give a summary of the content of the various supermultiplets, namely the Weyl multiplet, the vector multiplet, the linear multiplet and the hypermultiplet, and respective supertransformation rules. We follow closely the paper [54] where more details can be found.
Weyl multiplet: the independent fields consist of the funfbein e a µ , the gravitino field ψ i µ , the dilatational gauge field b µ , the R-symmetry gauge fields V i µj (anti-hermitian traceless matrix in the SU(2) indices i, j), a real tensor field T ab , a scalar D and a spinor field χ i . Both V i µj , T ab , D and χ i are auxiliary fields. For the problem we want to solve we set b µ = 0 and gauge the special conformal transformations K a parameters Λ a K to zero. The conventional Q and special S supersymmetry transformations, parametrized respectively by the spinors ξ i and η i , are as follows: The derivatives D µ are covariant derivatives.
Vector multiplet: the vector multiplet consists of a real scalar σ, a gauge field W µ , a triplet of auxiliary fields Y ij and a fermion field Ω i . The superconformal transformations are as follows: with Y ij = ε ik ε jl Y kl , and the supercovariant field strength is defined as, Linear multiplet: though they do not play any relevant role in our work we decided to include the supersymmetric transformations of the linear multiplet for congruence of the exposition. The linear multiplet consists of a triplet of scalars L ij , a divergencefree vectorÊ a , an auxiliary scalar N and a fermion field ϕ i . The superconformal transformations are as follows: The divergence free condition ofÊ µ can be easily solved by considering the three-rank antisymmetric tensor E µνρ via the equationÊ = * dE.

JHEP01(2015)109
Hypermultiplet: hypermultiplets are usually associated with target spaces of dimension 4r that are hyperkahler cones. The superconformal transformations are written in terms of local sections A α i of an Sp(r) × Sp(1) bundle as follows The covariant derivative contains the Sp(r) connection Γ α aβ associated with rotations of the fermions. Moreover the sections A α i are pseudo-real in the sense that they obey the constraint where Ω αβ is a covariantly constant skew-symmetric tensor with its complex conjugate satisfying Ω αβ Ω βγ = δ γ α . The information on the target space metric is contained in the hyperkahler potential Note that the hypermultiplets do not exist as an off-shell supermultiplet. The superconformal transformations close only up to fermionic equations of motion.

The Lagrangian
We present the bosonic part of the Lagrangian. The lagrangian is essentially the sum of three parcels, that is, The first term L V V V is cubic in the vector multiplet fields, where C IJK , symmetric in all its indices, are constants that encode the different couplings of the fields. The function C(σ) is the contraction C(σ) = C IJK σ I σ J σ K . The term L H encodes the lagrangian for the hypermultiplets while L V W W contains higher derivative corrections with couplings between vector and weyl multiplets fields (4.10) The constants c I encode the couplings of the higher derivative terms. The symbol e denotes e = det(e a µ ) = √ −g.
Note that R and R ab are respectively the Ricci scalar and tensor 12 while R abcd is the superconformal Weyl tensor. Other conventions can be found in the appendix.
In the following we show how to obtain on-shell Poincaré supergravity by integrating out the auxiliary fields. The equation of motion for the auxiliary field D is 16 3 which on the attractor background (4.14) reduces to For simplicity consider the theory with a unique vector multiplet without higher derivative corrections, that is, c I = 0. The function C(σ) becomes C(σ) = σ 3 . The gauge theory sector of the lagrangian, composed of a scalar σ, a vector W µ and auxiliary fields Y ij becomes, after reintroducing the fermion fields, invariant under rigid superconformal transformations. Due to scale invariance we fix the scalar to a constant. If we further use the attractor equations Y ij = 0 and T ab = (4σ) −1 F ab (4.14) we obtain which upon including the gravitino field, is equal to the Lagrangian of pure five-dimensional supergravity. The Newton's constant is identified with G N = σ −3 so that the Ricci scalar appears with the canonical prefactor (16πG N ) −1 .

BPS attractor equations and near horizon geometry
In this section we present the attractor field configuration that preserves full supersymmetry. The analysis is completely off-shell and therefore it does not depend on the specific higher derivative corrections the theory may contain. To fully determine the black hole attractor background these equations must be supplemented with the values of the charges which depend on details of the higher derivative corrections. For further details we refer the reader to [54].

JHEP01(2015)109
Since ultimately we are interested in Poincaré supergravity we want to study the vanishing of the fermionic variations modded out by S-supersymmetry variations. This is achieved by constructing fermionic fields which are invariant under S-supersymmetry. This is basically the approach first outlined in [55]. The solutions are Vector mtpl. : Hyper mtpl. : The geometry has the form of a circle non-trivially fibered over AdS 2 × S 2 where T 01 , T 23 are the only non-vanishing components of T ab , where (0, 1, 2, 3) are the local Lorentz indices. For T 01 = 0 the line element (4.15) can be rewritten for r ≫ 1 as Up to the conformal factor (4v 2 ρ 2 ) −1 , the second term in the line element (4.18) is diffeomorphic to flat space. However for p 0 = 1 we have a conical singularity at the origin. Requiring smoothness of the solution we fix p 0 = 1 by imposing the condition Since the theory is scale invariant we set v = 1/4 for convenience. The geometry is left with only one parameter β ∈ [0, π/2[ defined via the equation (4.17) by setting

JHEP01(2015)109
The line element (4.15) becomes ) This is the near horizon geometry of a rotating black hole with angular momentum proportional to J ∝ sin(β). The limiting case β = π/2 or T 01 = 0 has line element The first three terms describe a local AdS 3 . So effectively, we have the space AdS 3 × S 2 . If we insist on the identification ψ ∼ ψ+4π we have the near horizon geometry of a black ring, while for noncompact ψ we have an infinite black string. In this work we will be interested only in the case of a rotating black hole. The AdS 3 case, which is very interesting, will be postponed for a future work.
In summary, we have a one parameter family of geometries, which are locally AdS 2 × S 2 × S 1 , that interpolate between the non-rotating black hole with near horizon geometry AdS 2 × S 3 and the black ring/string with near horizon geometry AdS 3 × S 2 [56].

JHEP01(2015)109
To find the gauge field attractor configuration we decompose the gauge field into a four and five dimensional components A 4d and χ respectively, (4.30) respecting the symmetries of the near horizon geometry (4.26). The field strength F 5d has components from which we can construct the five-dimensional gauge field Note that dψ + cos(θ)dϕ is a globally defined form on S 3 . 13 Note that the action contains Chern-Simons terms and therefore we want to use globally defined forms. For instance in the case of black rings the topology of the horizon is now S 1 × S 2 and so we can put magnetic flux on the S 2 . This requires a careful treatment of the gauge fields as explained in [54]. The field strength becomes

Entropy, angular momentum and electric charges
To compute the entropy, electric charges and angular momentum we can use the usual Noether procedure. Since the theory contains Chern-Simons terms this requires a careful treatment of the various fields. We present the results of [54].
Entropy: the entropy follows from the 3-integral over the horizon of the Noether potential associated with space-time diffeomorphisms. This is particularly difficult due to the higher derivative terms and subtle due to the presence of Chern-Simons terms. Nevertheless we will see later in section 5 that the entropy comes out naturally by computing the renormalized entropy function on the attractor background. Its value is where σ * denotes the attractor value of the scalar.

JHEP01(2015)109
Angular momentum: if we consider the Noether potential associated with the Killing vector ∂/∂ ψ we compute the angular momentum Electric charges: the electric charges are determined by considering the Noether potential associated with abelian gauge transformations. They are given by In the euclidean theory, entropy, angular momentum and electric charges become respectively Note that the angular momentum carries an imaginary factor i. This is a consequence of the fact that the fiber B becomes real in the euclidean theory while the other gauge fields become imaginary. Once the charges and angular momentum are specified the attractor background is fully determined.
5 Localization of 5D supergravity on AdS 2 × S 2 ⋉ S 1 To proceed with equivariant localization we need two basic ingredients. Firstly, we need a fermionic symmetry δ that can be used to define a twisted de Rham operator in the sense of (3.18). Secondly, to show localization of supergravity on asymptotic AdS 2 × S 2 ⋉ S 1 background we have to ensure that the integrand is equivariantly closed, that is, invariant under the fermionic symmetry δ. Even though for supersymmetric theories defined on compact manifolds the last condition is satisfied by construction, 14 for spaces with boundaries, which is the case, the action functional is equivariantly closed only up to boundary terms. A different but equivalent way to understand this is to observe that the equations of motion for the gauge fields are not obeyed at the boundary as they carry non-normalizable components. To cure the theory we add appropriate boundary terms that compensate for the anomalous transformations. These terms take the form of five dimensional Wilson lines.

Boundary terms and Wilson lines
The lack of δ invariance can be restored by adding appropriate boundary terms. For the problem in hands it is enough to consider δ variations of the fields that carry nonnormalizable components at the boundary, that is, the gauge fields and the fiber B (4.16).

JHEP01(2015)109
For ilustrative purposes consider the model with a single gauge field and Lagrangian in which the two derivative sector of our theory fits naturally. A variation of L under A + δA 15 gives a bulk plus boundary terms δL = 2δA∧d⋆F +αδA∧d⋆T +3βδA∧F ∧F +2d(δA∧⋆F )+αd(δA∧⋆T )+2βd(δA∧A∧F ) (5.2) at "order" δA. The last three terms being total derivatives will give contributions at the boundary. Consequently, to make the action δ invariant we add the boundary terms To compute these boundary terms we use the attractor values of the fields. Paying careful attention to the orientation chosen 16 we can show that the boundary term simplifies to and g = lim h(r 0 ) is the induced metric at the boundary of AdS 2 with cutoff r 0 (2.4). For the attractor solution (4.34 )we haveQ Even though the last term in (5.4) cannot contribute to the on-shell renormalized action, since it's on-shell value is proportional to the cutoff r 0 , it can contribute at the quantum level. In four dimensionsQ becomes the four dimensional charge and the boundary term (5.4) reduces to a Wilson line insertion on the thermal boundary as in [27]. The fiber also carries a non-normalizable component so we need to worry about possible new boundary terms. From a four dimensional point of view the fiber gives rise to an electric field. Small variations of the fiber generate total derivative terms that have to be compensated by boundary terms. We compute these terms by reducing the theory to four 15 Note that δA is an anticommuting field. However this analysis is independent of the commuting character of the variation. 16 We have chosen dτ ∧ dη ∧ dϕ ∧ dθ ∧ dψ = dτ dηdϕdθdψ.

JHEP01(2015)109
dimensions and studying the Maxwell kinetic term. For the second derivative lagrangian we compute The discussion with higher derivative corrections follows exactly the same recipe, however the computation of the different Wilson lines is a hard task. For technical reasons, we decided to postpone for a future work the effects of higher derivative corrections in the computation of the quantum entropy. Nonetheless we present here the analysis for the boundary terms.
The electric Wilson lines get the additional contribution The computation of the boundary terms for the fiber in the higher derivative lagrangian is not trivial. Special attention is needed to the term that couples the hypermultiplet scalar χ to the Ricci scalar With these boundary terms we can show that the on-shell renormalized action correctly reproduces the Wald's entropy. We will come back to this point later.
In summary, closeness of the path integrand under δ requires the supergravity action to be supplemented with additional boundary terms, that is, where S sugra stands for supergravity action. Notice that neitherQ I +Q I norJ +Ĵ match with the five dimensional electric charges and angular momentum respectively. However, as we shall see later on, the on-shell renormalized action correctly reproduces the entropy computed using the Noether methods.

Localization
So far we have not specified the fermionic symmetry δ. As a matter of fact the analysis done in the previous section is equivalent to requiring that the equations of motion be obeyed also at the boundary [10]. This means that the boundary terms (5.15) are independent of the choice of δ.
For the problem in hands we have to consider a fermionic symmetry δ that is composed of a conventional Q and special S supersymmetries. In other words the fermionic symmetry is parametrized by spinors ξ i and η i , Generally the QV deformation breaks most of the isometries of the problem because we choose to localize with a supercharge parametrized by a particular Killing spinor. That is, by choosing a Killing spinor ξ we are in a sense gauge fixing part of the diffeomorphisms so this cannot be an exact deformation at least in supergravity. The susy transformations of section 4 realize local superconformal symmetry and in general do not close to a circle action. Instead we will look at a region of the phase configuration space that realizes the equivariant algebra, that is, on which the fermionic symmetry closes to a compact symmetry modulo gauge transformations, in the sense that The superconformal transformations are very complicated and contain a large number of fields. To make things practical we consider the following ansatz for the five dimensional metric ds 2 = g µν dx µ dx ν + Φ 2 (dψ + B) 2 (5. 18) with g µν the four dimensional metric which asymptotes to AdS 2 × S 2 . We assume that g µν is independent of the five dimensional coordinate while both Φ and B remain completely off-shell. Since the geometry is asymptotically a circle times AdS 2 × S 2 , the fermionic symmetry δ is expected to square at infinity to a Killing symmetry of AdS 2 × S 2 × S 1 . From the AdS 2 point of view, there is a supercharge Q in the near horizon superconformal algebra [57] that squares to a compact symmetry, that is, where L 0 generates rotations at the origin of AdS 2 and J, the two dimensional R-symmetry operator, generates azimuthal rotations on the sphere S 2 . This was the supercharge used for localization in [27,42]. However, while in [27,42] the fermionic symmetry is generated by a Killing spinor of AdS 2 × S 2 , here this is true only asymptotically. Because the localization equations allow for the five dimensional metric to fluctuate, as we will show, both ξ i and η i in (5.16), the five dimensional susy parameters, will also have non-trivial profiles on the AdS 2 space while preserving the geometry at infinity. We stress that this analysis is not exhaustive and a more general consideration could in principle be taken. For practical

JHEP01(2015)109
purposes we will only allow for a particular mode of the Killing spinor to fluctuate. We will show that the solutions are consistent with this assumption. In the case that the background along with the other fields in the Weyl multiplet are kept fixed to their on-shell values both ξ and η are determined by the vanishing of the susy variation of the gravitino. In the gauge η = 0 there are eight independent Killing spinors. We refer the reader to the appendix (B). The choice generates the Killing vector So indeed, in the case α = 0 we recover the symmetry (5.19). Since we expect the parameter ξ to not be completely fixed by the localization procedure we will use the ansatz where α(x, ψ) is an arbitrary function which asymptotes to a constant α * . The boundary conditions are as usual: we fix the non-normalizable modes and integrate the normalizable ones. This means Φ = cosh(α) + O(1/r)

Localization in non-rigid background
The strategy that we pursue here is to find a nice truncation where the susy superconformal transformations generate an equivariant algebra in the sense that with L v the Lie derivative and G a gauge transformation. Due to the large number of fields and the complexity of the equations involved, we consider an ansatz for the metric and the susy parameter ξ. By computing second variations of the susy transformations we have to impose some constraints on the fields such that (5.24) is satisfied.

JHEP01(2015)109
In the following we discuss the fermionic variations of both the Weyl and Vector multiplet fields. This discussion is tightly correlated with the off-shell reduction of five dimensional supergravity studied in [58]. However, since we are working with Euclidean space there are important details that have to be reconsidered. In this discussion we will try to keep the fields as much off-shell as possible.
Weyl multiplet: we assume a Kaluza-Klein decomposition of the gravitino fields where M and µ are five and four dimensional coordinate indices, respectively, and i is the SU(2) R-symmetry index. The field B µ is the fiber in the metric (5.18). Since we are considering an off-shell fiber we need to keep the termψ i . For a standard reduction, that is, when the fiber does not depend on the five dimensional coordinate this term is zero. Similarly we write the decomposition of the other fields in the Weyl multiplet: Note that the field T goes to −iT in Euclidean space. Since we are decomposing the five dimensional fields in four dimensional ones we need to ensure that certain gauge conditions of the superconformal algebra are still preserved. As explained in [58] this accounts to include additional Lorentz and special conformal compensating transformations of the fields.
After some algebra, which is explained in the appendix (C), the susy transformations of the fields Φ, B and e i µ , the four dimensional vielbein, become which now look like the four dimensional susy transformations withγ µ = e i µ γ i . We would like to stress that most of the susy transformations that we will be considering here are not supercovariant. Additional fermionic terms have to be added to the susy transformations of the fermionic fields. However since our main interest is on the solutions to the localization equations we can focus on the bosonic contributions only.
The action of δ 2 on the fields Φ and B becomes where we used a number of properties of the spinor ξ as described in the appendix, and the vector V M is given by We see that both transformations do not obey the algebra (5.24). In δ 2 Φ only the first term corresponds to the action of L v on Φ and therefore we need to impose For δ 2 B µ we have a bit more freedom because the fermionic symmetry can close up to gauge transformations since B µ is now a four dimensional vector. 17 In addition δ 2 B µ contains non-linear terms acting on B µ which have to vanish. This means that the terms and ξ|ξ ∂ ψ αB µ must vanish. To solve these constraints we need to impose ∂ ψ (B, Φ, α) = 0, since we want to keep B, Φ and α as independent fields. In addition there is in δ 2 B µ a term proportional to the gravitino's variation δψ µ . If we impose δψ µ = 0 together with ψ µ = 0 we ensure that the vielbeins e i µ do not transform under δ 2 . In view of equivariant localization we want L v to commute with the background such that in deforming the action by an exact term δW [X, Ψ] we can pull out an action L v through the functional and show that This wouldn't be necessary if we knew how to construct a diffeomorphic and background independent exact deformation. In other words we need L v g µν = 0, that is, the vector V M should generate an isometry of the four dimensional metric. This can be achieved by imposing the four dimensional gravitino equation δψ µ = 0.
The deformation δW [X, Ψ] may depend on other parameters like the Killing spinor so we have to guaranty that they are also invariant under the flow generated by v. From our parametrization (5.23) of the Killing spinor this is not immediately true as α is an independent off-shell field. In order to circumvent this problem we also need α to transform under supersymmetry as such that the action of δ 2 on α is a translation along v, that is, The fact that α transforms under supersymmetry is natural from a four dimensional point of view where the theory has an additional SO(1, 1) R-symmetry. As a matter of

JHEP01(2015)109
fact, the field α joins the scalar Φ to form a paracomplex scalar in the four dimensional theory [43,58]. As we show soon, the physical existence of α is offset by A i = T 5i via the condition δψ µ = 0 such that we are not adding additional degrees of freedom. In view of these results the leftover expression 18 in δ 2 B µ must be a gauge transformation, that is, which is trivially satisfied after solving δψ µ = 0. From this analysis we conclude that in order for the fermionic transformation (5.16) to square to a circle action on the Weyl multiplets fields we need the following conditions Let us now solve the four dimensional gravitino equation δψ µ = 0. It has been solved in [42] to give AdS 2 ×S 2 as the unique solution. However they considered the problem with Minkowski signature. The Euclidean case is not so different except that some fields have to be analytically continued to imaginary values. For instance we rewrite equation δψ µ = 0 as with * T ij = 1/2ǫ ijkl T kl and ω 0kl µ is the spin connection of AdS 2 × S 2 . At the on-shell level ω kl µ becomes ω 0kl µ . The fieldT 0 corresponds to the on-shell value ofT computed on AdS 2 × S 2 and has only one componentT 01 = 1. The spinor ξ(0) denotes the Killing spinor of AdS 2 × S 2 , that is, ξ for α = 0.
According to the authors of [42] the only solution corresponds to AdS 2 × S 2 , that is, for ω kl µ = ω 0kl µ . Assuming V i µj = 0 we conclude that (see appendix for more details) With this result it is now easy to show that equation (5.30) becomes a gauge transformation with J = Φ −1 cosh(α) and H = Φ −1 sinh(α), as expected.
Vector multiplet: we now perform a similar analysis for the vector multiplet fields. The relevant susy transformations are Along the standard Kaluza-Klein reduction we decompose the five-dimensional gauge field into a four dimensional component W µ and a "scalar" W ψ as Note that this vector is still completely off-shell. We have separated the five dimensional component in two parcels to put in evidence the Wilson line along ψ, that is, This ensures that ∂ ψ (χΦ) = 0 and dψW ψ = 0. However we do not make any other assumption about coordinate dependence ofW . After some algebra it is possible to show that the action of δ 2 on the bosonic fields is with the gauge parameter Λ = σ sinh(α) + χ cosh(α) cos(θ) + σ cosh(α) + χ sinh(α) cosh(η) (5.41) From the first equation we conclude that η must be "orthogonal" to ξ in the sense that ξ † η = 0. The choice for η (C.6) trivially satisfies this condition after using the property that ξ † γ ab ξ = 0. The rest of the algebra is already in the form Before proceeding with localization we make a brief summary of what we have done so far. Starting from an ansatz for the metric and Killing spinor and assuming a particular Kaluza-Klein reduction we computed the action of δ 2 on the bosonic fields of both the Weyl and vector multiplets. Since we want δ 2 to generate a circle flow this imposes additional constraints on the fields. From this analysis it results that Note that we need to impose the condition δψ µ = 0 before using the localization argument.
A similar analysis should be carried also for the fermionic fields, even though it should

JHEP01(2015)109
follow just by supersymmetry. We will skip this analysis and proceed to solving the localization equations which perturbative analysis only requires the supersymmetric transformations δΨ.
On the field configuration space where δ 2 acts equivariantly we can add an exact deformation of the form where Ψ runs through all the fermions of the theory and we keep fixed the four dimensional metric to AdS 2 × S 2 and ψ µ = 0. From the analysis done before it is easy to show why that is an exact deformation. For any scalar functional W [X, Ψ] the action of δ 2 is simply which vanishes after an integration by parts, that we can do because ∂ M V M = 0. The bosonic action that results from this deformation is (δΨ) † δΨ. So in the limit t → ∞ we derive the localization equations δΨ = 0. (5.46)

Localization solutions
In this section we solve the localization equations for the Weyl and Vector multiplet fields under the conditions derived in the previous section.
Weyl multiplet: using the condition that ∂ ψ (B, Φ, α) = 0, equation δψ i = 0 (C.2) becomes Notice that this equation has the form of a susy transformation of a vector multiplet fermion except for a couple of imaginary factors. As a matter of fact this becomes the supersymmetry transformation of the four dimensional compensating vector multiplet fermion [58]. If we denote byF the field strength of the fluctuations δB above the attractor value B * , we have where we defined H = Φ −1 sinh(α) − tanh(α * ) and J = Φ −1 cosh(α) − 1. Both H and J vanish at the boundary. If the fields δB, H and J take real values this leads to an infinite number of solutions. To avoid this situation we perform a Wick rotation of the field δB to iδB E , 19 which does not change the boundary conditions, and take the imaginary branch of V 1 1 , that is, V 1 1 = −V 2 2 = iK, with the other components zero. Remind that V i j is 19 Analogously we could have considered the complexified version of (δψ) † in (5.44) in the sense that we take F (B)ij to be a complex field with the reality condition that F (B) † ij = F (B * )ij − F (δB)ij, with B * the on-shell value. The resulting action would not be positive definite in this case. However this can be avoided by integrating over imaginary values of δBµ.

JHEP01(2015)109
an antihermitian traceless matrix in the SU(2) indices. Another possibility would be to Wick rotate both H and J. However this would spoil the reality condition of α inducing important changes in the localization equations.
Parametrizing the supersymmetry transformations in the form we construct the bosonic part of the localization lagrangian as i=0,1 More details about this construction can be found in the appendix D. We used the notations such that the vector V a / ξ|ξ has unit norm. Since the bosonic lagrangian is written as a sum of squares the localization equations follow directly from the zero locus of each of these squares, that is, For the problem we are considering we need to set both L and J to zero. If it wasn't the case we could generate an infinite number of solutions to the localization equations. One possibility would be to consider a space-time dependent analytic continuation of the auxiliary fields as in [42].
Observe that some of the equations are not independent. For instance equation (5.53) comes from equation (5.52) after contraction with the vector V . Analogously, equation (5.55) comes from contraction of (5.54) with the vector V after using equation (5.56).
Under the parametrization (5.49), we read

Equation (5.52) is easily solved to givê
that is, the fiber must be fixed to its on-shell value. From (5.55) we deduce The second equation translates into the fact that the gauge parameter Λ in (5.35) becomes a constant C on the localization locus. The equations that follow from the "master equation" (5.54) are which have been solved before in [27,42]. The solutions are with C an arbitrary constant (to be identified with the gauge parameter Λ, as pointed out just before). In terms of the fields Φ and B this gives Φ = cosh(α), tanh(α) = tanh(α * ) + C cosh(η) , K = cosh(α) 2 C cosh(η) 2 , B = B * (5.59) From here we see that C must be defined in the interval [−1 − tanh(α * ), 1 − tanh(α * )]. We proceed with localization and consider the remaining fermionic fields in the Weyl multiplet. The field χ i has an intricate susy transformation. Instead we use the results of [58]. The authors present its decomposition in terms of four dimensional fields Since both δχ i and δψ i vanish at the localization locus, this implies that δχ i 4D = 0. This has a much simpler expression we rather use

JHEP01(2015)109
withD defined asD with R and ∇ a the four dimensional Ricci scalar and covariant derivative respectively. We have used the fact thatη = 0 and set V µ = 0. Note thatD vanishes on-shell. Substituting back the value of A µ we find Since the tensorT is covariantly constant, this implies This finishes the analysis for the fields in the Weyl multiplet.
Vector multiplet: as explained before we perfom an off-shell Kaluza Klein decompostion of the five dimensional gauge field as where U = χΦ is the Wilson line along ψ. To obtain non-trivial solutions to the localization equations we have to analytically continue the field χ to imaginary values. This is consistent with the on-shell solution discussed in the section 4.3. From a four dimensional point of view this is a consequence of the fact that N = 2 euclidean supersymmetry has SO(1, 1) R-symmetry [43], so that the vector multiplet scalars are real. The δ variation of the fermion Ω i in the vector multiplet becomes where a, b and k, l, m are respectively five and four dimensional tangent space indices. With the help of equation δψ = 0 (5.48) and the fact thatη = 0 we rewrite the equation above as whereF , which is taken to be real, denotes fluctuations of the gauge fields above the attractor background and ( * ) is the on-shell value of (σ + γ 4 χ)e αγ 4 . The bosonic part of the localization lagrangian can be written again in the form (5.50). We read

65)
G 01 = 1 2 (σ cosh(α) + χ sinh(α) − ( * )) ,G 23 = 1 2 (σ sinh(α) + χ cosh(α) − ( * )) , (5.66) It immediately follows from the localization equations The r.h.s. of the equation does not depend on ψ. So in order to preserve the periodicity of σ we must have We therefore conclude that σ must live on AdS 2 × S 2 . The remaining equations are analogous to the system (5.57) and can be solved to give withC an arbitrary constant. We also observe that the equation with v r the five dimensional unit vector V r / ξ|ξ andF = dA, with A denoting the fluctuations above the attractor value. It follows from contraction of this equation with v r that v mF mn = 0 (5.75) Before trying to solve these equations note that the vector V M has components unless M contains non-trivial one-cycles. Without entering in details about the topological properties of M we will assume that this is the case.

Quantum entropy function
Our task now is to compute the action on the localization solutions. As discussed in section 2 the action suffers from IR divergences due to the infinite volume of AdS 2 . However they can be renormalized systematically by introducing appropriate local boundary counter terms.
In [58] the authors performed not only the Kaluza Klein reduction of five dimensional off-shell multiplets but they have rewritten part of the five dimensional action in terms of four dimensional fields. Their results are very interesting. They observe that the two derivative lagrangian together with part of the higher derivative corrections can be rewritten in terms of four dimensional chiral superspace invariant terms, usually called F-terms. This part of the action can be written in terms of the holomorphic prepotential function F (X,Â) = aC IJK X I X J X K X 0 + bÂ c I X I X 0 (5.79)

JHEP01(2015)109
with a, b some numerical constants. This type of lagrangian falls in the class of theories reviewed in [63] relevant for BPS black holes in N = 2 supergravity and more recently in the case of localization of supergravity in AdS 2 × S 2 [27]. Interestingly though some of the higher derivative terms give unexpected contributions in four dimensions. For instance they give rise to Gauss-Bonnet type of corrections in four dimensions which have never been written in N = 2 supergravity. Other terms can be written as integrals over the full superspace usually known as D-terms. This class of terms was extensively analyzed in [64]. Their analysis however is not fully complete as there are a number of terms whose reduction can be ambiguous because of integration by parts. On the other hand our analysis in section 5.1 gives a consistent treatment of the boundary terms that are required by the closure of the action under the fermionic symmetry δ.

Absence of higher derivative corrections
In this section we compute the renormalized action for the case when c I = 0, that is, when we do not have higher derivative corrections. Due to the form of the localization solutions it is convenient to introduce paracomplex variables defined as which are natural variables in theories with SO(1, 1) R-symmetry. With this parametrization the localization solutions are given by Since no field has dependence on the fifth coordiante the Kaluza Klein reduction is exact. The reduction goes much like in [58] except for the fact that the theory now has manifest SO(1, 1) R-symmetry.
It is observed that the hypermultiplet lagrangian vanishes exactly on the localization locus, that is, T 2 | loc = 0 (5.80) even though we were not able to localize in the hypermultiplet sector. We do not know if this is always true or just accidental. With the field redefinition we can write the relevant non-zero part of the action with a prepotential F (X) given by where we have written the last two terms in differential form for easy reading, and defined t = 2χΦ. The total derivatives arise after expressing the Chern-Simons terms with four dimensional quantities. Notice that the action above, apart from the total derivatives, has the same form as the one used for localization in [27]. We borrow their results. In the absence of higher derivative corrections the boundary terms are given by where once more we use * to denote the on-shell value of the fields. The boundary action contributes not just to the on-shell renormalized action, that is, to the on-shell entropy, but also at the quantum level. The boundary quantum correction, which is linear in C, offsets an equal contribution coming from the bulk action. So overall, the renormalized action has, in a taylor expansion around the attractor background, no linear dependence in C, which is equivalent to saying that the equations of motion are satisfied at C = 0. In other words, Note that the quantum part of these two contributions cancel as expected. The constant piece on the other hand can be written as with q I , J the five dimensional electric and angular momentum charges respectively and e I 4d , e 0 4d the corresponding four dimensional electric fields The bulk renormalized action on the other hand gives the contribution ) the four dimensional charges, and X * denotes the on-shell values of the scalar fields. Note that even though we have written explicitly a term linear in C in (5.85), the second term of the expression gives another with opposite sign, so overall we do not have linear C dependence.
The four dimensional charges are computed to give which are related to the five dimensional charges by a proportionality factor. Putting together boundary and bulk contributions we arrive at the final expression with φ I = −e I 4d + C I , φ 0 = e 0 4d + C 0 . The index I runs over the number of vector multiplets in the theory. On the other hand the renormalized action for four dimensional N = 2 theory, derived in [27], is

JHEP01(2015)109
where F (X) is the prepotential of the theory, and q I , p I are the four dimensional electric and magnetic charges respectively. Here the index I goes over the range I = 0 . . . n V . Note that in four dimensions we can turn on magnetic fluxes which appear in the renormalized action as the magnetic charges p I . However in five dimensions for an horizon with S 3 topology this cannot happen. In the case of the black ring the horizon has S 1 × S 2 topology which allows for dipole magnetic charges [54]. Under the analytic continuation φ 0 → iφ 0 and J → −iq 0 the five dimensional renormalized action (5.86) acquires the form (5.87) for p 0 = 1 and p I = 0.

On-shell renormalized action with higher derivative corrections
The computation of the renormalized action in the presence of higher derivative terms is technically cumbersome and for this reason it is still work in progress. It would be very interesting if we could put it in a form like (5.86), that is, as a function of the potentials φ. Notwithstanding this technical difficulty, we decided to present here the "tree-level" computation of the renormalized action. The interest is to show that this formalism agrees with the traditional Noether procedure, giving an entropy function "à la Sen", in the sense that the entropy equals the on-shell five dimensional lagrangian density.
The final answer for the entropy after computing both the bulk renormalized action and boundary terms is with C(σ) = C IJK σ I σ J σ K and c.σ = c I σ I . This agrees with the result for the entropy computed using the Noether procedure (4.40).
As an aside it is easy to show that the quantum contributions coming from each Wilson line cancel as This is in agreement with the fact that the renormalized action for the higher derivative terms does not contain terms linear in C, a fact observed in Mathematica. This confirms the validity of our boundary terms.

Discussion and conclusion
In this work we considered the problem of computing the quantum entropy of fivedimensional rotating supersymmetric black holes using localization techniques. We focused on N = 2 supergravity, within the context of off-shell superconformal formalism, and showed using localization that, in the absence of higher derivative corrections, the quantum entropy function is the same as the four-dimensional counterpart after a suitable analytic continuation. The inclusion of higher derivative corrections in the computation of the quantum entropy is more complicated. The reduction to four dimensions gives, besides the usual chiral JHEP01(2015)109 content, corrections of the form Gauss-Bonnet in addition to D-type term corrections. Even though our analysis is independent of the higher derivative content, because it only relies on off-shell susy transformations, the computation of the renormalized action in a form that is dependent only on the unfixed modes revealed to be very difficult.
In the case those corrections are absent we were able to compute the quantum renormalized action and showed that it matches with the four dimensional counterpart. However this is not the full answer to the problem as there can be additional one-loop contributions. Within localization we used a partially fixed background together with some other gauge fixing conditions. As explained before it is not known or even if it is possible to construct an exact deformation in supergravity that we can use to localize the theory in a background independent way. Our method can only probe the perturbative part of this computation since it only requires the equations of motion that result from the localization action. Instead we can think of an effective measure on the space of the localization solutions. To understand this we write the final answer as where M(φ) stands for an effective measure on the space of φ's, the unfixed modes, and it should be computed from the one-loop effects we have just mentioned. Since we do not know how to compute the one-loop contribution from first principles we can try to determine the measure as in [28]. The idea is to construct an induced metric on the space of collective coordinates using duality symmetry. We know via the microscopic 4d/5d lift that the quantum entropies of four and five dimensional black holes are intimately related. For instance the microscopic BPS partition function of black holes in toroidally compactified four and five dimensional string theory are the same. By the equality of index and degeneracy for the near horizon degrees of freedom the black holes must have the same quantum entropy. We expect to explore this idea with concrete examples in a future publication.
The higher derivative content of the five dimensional theory can be used to address very interesting questions about the four dimensional black holes. Since supersymmetry is highly restrictive, not every four dimensional term can be uplifted to five dimensions. The converse is also interesting. The reduction to four dimensions gives rise to terms that cannot be written within the off-shell N = 2 formalism. For instance the reduced four dimensional action contains apart from the usual 4d N = 2 chiral higher derivative content, a Gauss-Bonnet contribution and D-terms. It was observed in [64] that D-terms do not contribute to the on-shell entropy and later it was conjectured that their quantum contribution should also vanish [28,64]. We believe that understanding how higher derivative terms contribute to the five dimensional quantum entropy we can shed light on the role of non-chiral corrections to the black hole entropy.
In this work we considered geometries that have an AdS 2 horizon. This is the near horizon geometry of a supersymmetric black hole. As discussed in the section 4.3 there is also an AdS 3 solution to the off-shell equations. Depending on how we identify the fifth coordinate we can have the near horizon geometry of a black ring or black string. The

JHEP01(2015)109
AdS 3 case is richer but at the same time more difficult. For instance we have to consider the contribution of SL(2, Z) orbifolds of AdS 3 , the usual BTZ black holes, to the path integral in a way consistent with localization. This has been attempted in [65] but the answer is still unsatisfactory.

Acknowledgments
It is a pleasure to thank Atish Dabholkar
• In the lorentzian theory levi-civita tensors are defined as with ǫ 012345 = 1.
They generate a complex structure in the sense that where the r.h.s. is just the projector onto the space transverse to V .

C KK reduction and Susy variations
In this section we work out the susy variations for the Kaluza-Klein fields. For the metric ds 2 = g µν (x)dx µ dx ν + Φ 2 (dψ + B) 2 we compute the spin connections: with e j and ω ij respectively the vielbein and spin connections of the four dimensional metric, and e 4 = Φ(dψ + B). We have defined F (B) µν = B [µ,ν] . We rewrite the spin connections as The susy variations of δψ i µ and δψ i in the Kaluza-Klein reduction (5.25) become andγ µ = e i µ γ i . In addition we have which vanishes for ∂ ψ α = 0 as expected. We have put in evidence a common term in the susy transformations that we denote byη The other susy transformations also contain a term proportional toη. If we choose appropriately η we can haveη = 0. That is, we choose Note that η vanishes on-shell, this way respecting the boundary conditions.
D.1 Solving δψ µ = 0 In this section we solve the gravitino equation studied in section 5.2.1: (ω kl µ − ω 0kl µ )γ kl ξ(0) i + 1 4 (T kl −T 0 kl )γ kl γ µ ξ(0) i = 0 (D.4) after setting the auxiliary fields to zero. In order to find a finite set of solutions we need to consider the analytic continuation of ∆ω = ω kl µ − ω 0kl µ to imaginary values. Interestingly this doesn't happen in the Minkowski case for which the authors of [42] found AdS 2 × S 2 as the unique solution to the gravitino equation. We can study the equation in components or we can construct the auxiliary "lagrangian" δψ † µ δψ µ whose vanishing locus is in one-to-one correspondence with the solutions we are looking for. In this sense we can use the formulas described previously for the square of susy transformations.