Localizing AlAdS$_5$ black holes and the SUSY index on $S^1 \times M_3$

This paper demonstrates that the supersymmetric index of $\mathcal{N}=4$ SYM on $S^1 \times M_3$ can be recovered from gravity computations via equivariant localization by constructing complex, non-extremal AlAdS$_5$ black holes and gluing them to horizonless geometries to eliminate Casimir energy contributions.

The Gist

Imagine the universe as a giant, complex machine. Physicists use a powerful tool called Holography to understand this machine. Think of holography like a 2D sticker on a 3D object: the sticker (the "boundary") contains all the information needed to describe the 3D object (the "bulk" or the inside). Usually, this sticker is flat and simple. But in this paper, the author, Jaeha Park, is looking at stickers that are wrinkled, squashed, and twisted.

Here is the story of what he did, broken down into simple concepts:

1. The Problem: The "Squashed" Universe

In the world of theoretical physics, there are special objects called Black Holes. Usually, we study black holes that live in a perfectly round, smooth universe. But Park is interested in black holes that live in a universe where the space around them is squashed (like a basketball being squeezed into an oval) or twisted (like a pretzel).

These "squashed" universes are mathematically messy. In fact, for some of these shapes, nobody has ever successfully built a complete mathematical model of the black hole inside them. It's like trying to draw a perfect map of a mountain range that is constantly shifting shape.

2. The Trick: The "Shadow" Method

Instead of trying to build the whole mountain (the black hole solution) from scratch, Park uses a clever shortcut. He relies on a technique called Equivariant Localization.

Think of it like this: If you want to know the total weight of a complex sculpture, you don't have to weigh every single grain of sand in it. If you know the sculpture is made of specific, repeating patterns, you can just weigh the "corners" or the "fixed points" where the patterns lock together. The math tells you that the total weight is determined entirely by these specific spots.

Park uses this idea to calculate the properties of these squashed black holes by only looking at the "edges" (the boundary) and the "corners" of the math, without needing to solve the difficult equations for the whole black hole.

3. The "Anti-Periodic" Twist

To make this work, Park had to invent a specific type of "spin" for the particles in his model. Imagine a clock face. Usually, if you go around the clock once, you end up back where you started. But Park's clocks are weird: if you go around the clock once, the hands flip upside down (this is called anti-periodic).

He explicitly built these "upside-down" clocks (mathematically called Killing spinors) for these squashed shapes. This was crucial because it allowed the math to "glue" together properly.

4. The Glue: Two Worlds Colliding

Here is the most creative part of the paper. Park realized that to get the right answer, he couldn't just look at the black hole alone. He had to imagine gluing two different worlds together:

1. World A: The black hole universe (which has a "hole" in the middle, like a donut).
2. World B: A smooth, empty universe (no hole, just a solid ball) that acts as a "reference."

He glued them together along their outer skin (the boundary). When you glue a donut and a solid ball together along their edges, you get a closed, solid shape with no holes.

Why do this?
The "empty world" (World B) contains a hidden energy cost called Casimir Energy (think of it as the "background noise" or the "rent" you have to pay just to exist in that space). By subtracting the empty world from the black hole world, Park cancels out this "rent." What remains is the pure, clean signal of the black hole's Supersymmetric Index (a count of its quantum states).

5. The Result: A Perfect Match

Park calculated the "Index" (the count of states) in two ways:

1. From the Field Theory side: Using the "squashed" boundary rules he invented.
2. From the Gravity side: Using the "gluing" trick and the "corner counting" method (Localization).

The Result: The two numbers matched perfectly.

This is a big deal because it proves that even though we haven't found the actual black hole solutions for these weird, squashed shapes yet, the math of the "edge" and the "gluing" trick is sufficient to predict what they would look like. It's like knowing the exact blueprint of a house just by looking at the front door and the roof, even if you haven't built the walls yet.

Summary

Jaeha Park showed that you can understand the quantum properties of complex, squashed black holes by:

1. Creating a specific "twisted" boundary condition.
2. Gluing the black hole to a smooth, empty universe to cancel out background noise.
3. Counting the "corners" of the math to get the answer.

He proved that this method works for round spheres, squashed spheres, and even Lens spaces (which are like spheres with a twist), giving physicists a new way to study black holes that are too complex to build directly.

Technical Summary

Technical Summary: Localizing AlAdS$_5$ Black Holes and the SUSY Index on $S^1 \times M^3$

Problem Statement
The paper addresses the challenge of computing the supersymmetric index for $\mathcal{N}=4$ Super-Yang-Mills (SYM) theory on complex, non-conformally flat backgrounds of the form $S^1_\beta \times M^3$, where $M^3$ represents various three-manifolds including round spheres, biaxially squashed spheres, elliptically squashed spheres, and Lens spaces. While the holographic duals of these field theories are expected to be asymptotically locally Anti-de Sitter (AlAdS$_5$) black holes, explicit supergravity solutions for many of these topologies (particularly those with "twistings" or specific squashing parameters) are either unknown or difficult to construct in closed form.

A central difficulty in the holographic computation of the supersymmetric index is the presence of the supersymmetric Casimir energy, $E_{susy}$. The partition function $Z$ and the index $I$ are related by $\log Z = -\beta E_{susy} + \log I$. Standard "background subtraction" methods, which typically subtract the global AdS vacuum, are insufficient for asymptotically locally AdS spacetimes that cannot be embedded in a standard ambient spacetime. Furthermore, general supersymmetry-preserving counterterms for holographic renormalization in $D=5$ are not fully known for these general backgrounds.

Methodology
The authors employ a two-pronged approach combining field theory calculations with a gravity-side prescription based on equivariant localization.

1. Field Theory Construction:

   • The authors explicitly construct rigid supersymmetric backgrounds for $S^1_\beta \times M^3$ with complex metrics and "twistings" (off-diagonal terms in the metric).
   • Crucially, they construct anti-periodic Killing spinors around the Euclidean time circle $S^1_\beta$. This is a necessary condition for the spin structure to extend to the bulk black hole geometry, distinguishing their work from previous studies that utilized periodic spinors or real backgrounds.
   • They derive the necessary background fields for new minimal supergravity ($h_{\mu\nu}, A^{(R)}_\mu, H, c_\mu$) by performing a dimensional reduction of the 4d complex metrics.
   • Using Honda's formula for the supersymmetric index in the Cardy-like limit (high temperature/small chemical potentials), they compute the index for $\text{SU}(N)$ $\mathcal{N}=4$ SYM on these backgrounds.

2. Gravity Prescription (Equivariant Localization):

   • Instead of solving the full supergravity equations for the black hole, the authors utilize the equivariant localization formalism developed for $D=5$ gauged supergravity.
   • They propose a "gluing" prescription (illustrated in Figure 1 of the paper): The black hole geometry $M^{(5)}$ (topology $R^2 \times M^3$) is glued along their common conformal boundary $S^1_\beta \times M^3$ to a supersymmetric, horizonless AlAdS$_5$ geometry $N^{(5)}$ (topology $S^1 \times R^4$ or similar quotients).
   • The geometry $N^{(5)}$ is chosen specifically to cancel the supersymmetric Casimir energy contribution ($\beta E_{susy}$) from the partition function.
   • The on-shell action of the resulting closed manifold is computed using the Berline–Vergne–Atiyah–Bott (BVAB) fixed point formula. This computation relies solely on topological data and the boundary Killing vector bilinear constructed from the boundary Killing spinors, without requiring the explicit bulk metric.

Key Contributions and Results

• Explicit Boundary Data: The paper provides the first explicit construction of anti-periodic Killing spinors and associated background fields for biaxially squashed ($S^1_\beta \times S^3_v$) and elliptically squashed ($S^1_\beta \times S^3_{b_1,b_2}$) backgrounds with complex twistings. This extends previous work which was limited to round spheres or real backgrounds with periodic spinors.
• Field Theory Index: The authors compute the supersymmetric index for $\mathcal{N}=4$ SYM on these new backgrounds in the Cardy-like limit. The results take the form:
  $$\log I_{S^1_\beta \times M^3} \simeq -i\pi (N^2-1) \frac{\Delta_1 \Delta_2 \Delta_3}{\sigma \tau}$$
  where the chemical potentials $\sigma, \tau, \Delta_I$ are modified to account for the specific squashing parameters ($v$ or $b_{1,2}$) and the twistings.
• Holographic Match: By applying the gluing prescription and equivariant localization, the authors compute the on-shell action of the closed manifold formed by $M^{(5)} \cup (-N^{(5)})$. They demonstrate that this gravity computation precisely matches the large $N$ limit of the field theory index derived in the first part of the paper.
• Lens Spaces: The methodology is extended to Lens spaces $L(p,q)$, showing that the index scales by a factor of $1/p$, consistent with the orbifold nature of the boundary.

Significance and Claims
The paper claims to demonstrate that the supersymmetric index for a broad class of AlAdS$_5$ black holes can be recovered from gravity computations without explicitly constructing the black hole solutions. The key significance lies in:

1. Generalization of Localization: It extends the applicability of equivariant localization to asymptotically locally AdS spacetimes with non-trivial conformal boundaries (squashed spheres and Lens spaces) and complex metrics.
2. Resolution of Casimir Energy: It proposes a concrete holographic prescription (gluing with a horizonless geometry) to isolate the supersymmetric index from the partition function, effectively removing the Casimir energy contribution without relying on unknown counterterms.
3. New Interpretation of Known Results: The authors note that their complex, anti-periodic construction provides a new interpretation for results previously obtained via analytic continuation on real backgrounds (e.g., in [59]). They argue that the agreement between the two approaches suggests a supersymmetry-preserving deformation relates the backgrounds.
4. Existence of Solutions: While the paper does not construct the full bulk black hole solutions (which it notes are likely very difficult to find), it argues that the existence of the boundary data and the successful match of the index strongly suggest the existence of the corresponding non-extremal, supersymmetric Euclidean black hole saddles.

The authors remain modest regarding the uniqueness of these solutions, noting that while Lorentzian uniqueness theorems exist for toric solutions, they do not apply to the complex Euclidean saddles studied here. They conclude that the holographic match provides strong evidence that these complex geometries are the dominant saddles in the Euclidean gravitational path integral for the corresponding field theory indices.