Localizing AlAdS$_5$ black holes and the SUSY index on $S^1 \times M_3$
Jaeha Park
TL;DR
The paper develops a gravity–field theory bridge for localizing AlAdS$_5$ black holes with $S^1\times M_3$ boundaries by employing equivariant localization in five-dimensional gauged supergravity, tying the SUSY index on twisted backgrounds to topological fixed-point data. It explicitly constructs anti-periodic Killing spinors on complex, non-extremal Euclidean backgrounds and reduces to 3d new minimal supergravity to obtain Cardy-like indices for $\mathcal{N}=4$ SYM on various $M_3$ geometries, including round $S^3$, elliptically/biaxially squashed $S^3$, and Lens spaces; the leading results are of the form $\log \mathcal{I} \sim -\mathrm{i}\pi (N^2-1)\frac{8}{27}\frac{\Delta^3}{\sigma\tau}$ with appropriate refinements. A gravity interpretation via equivariant localization recovers the field theory results in the large $N$ limit, provided one uses a holographic background subtraction that subtracts the supersymmetric Casimir energy, and the boundary data fully determines the fixed-point contributions. The work also outlines a general gluing prescription to compute the index for arbitrary AlAdS$_5$ fillings, suggesting a universal, topological computation of the index from fixed-point data independent of the explicit bulk solution, and points to future extensions to higher dimensions and lower-supersymmetry theories.
Abstract
We consider complex, supersymmetric, non-extremal Euclidean black holes that are asymptotically locally AdS$_5$, with $S^1 \times M_3$ conformal boundary. We study field theory backgrounds consisting of various $M_3$, and explicitly construct Killing spinors that are anti-periodic around the Euclidean time circle. Focussing on elliptically/biaxially squashed three-spheres and Lens spaces, we compute the supersymmetric index of the $\mathcal{N}=4$ SYM in a Cardy-like limit. While such black holes have not been constructed for general $M_3$, we show that our field theory results can be recovered from a gravity computation using equivariant localization, just assuming the solutions exist.
