Equivariant localization for $D=5$ gauged supergravity

This paper develops an equivariant localization framework for computing the on-shell action of supersymmetric solutions in $D=5$ Euclidean gauged supergravity by utilizing an additional Killing vector to reduce the system to $D=4$, thereby enabling the calculation of dual SCFT quantities like the supersymmetric Casimir energy and index without requiring explicit supergravity solutions.

The Gist

Imagine the universe as a giant, multi-layered cake. Physicists often try to understand the frosting on the top layer (our observable 5-dimensional universe) by looking at the layers underneath. This paper is about a new, clever recipe for calculating the "flavor" of that top layer without having to bake the whole cake from scratch.

Here is the story of the paper, broken down into simple concepts:

1. The Problem: A Very Complicated Recipe

The authors are studying a specific type of theoretical physics called 5-dimensional supergravity. Think of this as a complex recipe for a universe that includes gravity and other forces, but with a special ingredient called "supersymmetry" (which pairs up particles like matter and energy).

Usually, to calculate the total energy or "action" of such a universe, you have to solve incredibly difficult math equations everywhere in that 5D space. It's like trying to taste every single crumb of a massive cake to figure out how sweet it is. This is hard, time-consuming, and often impossible without a computer.

2. The Trick: The "Magic Knife" (Localization)

The authors use a mathematical trick called equivariant localization.

• The Analogy: Imagine you have a giant, spinning top (the 5D universe). Usually, to understand the whole top, you have to look at every inch of it. But, if the top is spinning perfectly, there are only two tiny spots that aren't moving: the very top tip and the very bottom tip.
• The Magic: The authors discovered that for these specific "supersymmetric" universes, you don't need to taste the whole cake. You only need to look at those two tiny, unmoving spots (called fixed points) where the symmetry is strongest.
• The Result: By measuring just those two spots, you can mathematically reconstruct the flavor of the entire universe. It's like knowing the exact temperature of the oven and the ingredients, and being able to predict the taste of the whole cake just by looking at the crust.

3. The Shortcut: Slicing the Cake (Dimensional Reduction)

To make this trick work, the authors perform a "dimensional reduction."

• The Analogy: Imagine your 5D universe is a long, thick loaf of bread. The authors find a special knife (a Killing vector, let's call it $\ell$) that runs straight through the loaf. They slice the loaf along this knife, turning the 5D problem into a 4D problem (a thinner slice of bread).
• Why do this? They already had a perfect recipe for calculating the flavor of 4D bread slices (based on previous work by other scientists). By slicing the 5D loaf, they can use the 4D recipe to solve the 5D problem.
• The Catch: Sometimes, when you slice the bread, you lose a little bit of the "crust" or the filling (mathematical terms called boundary terms and integrals). The authors had to figure out exactly when those lost bits matter and when they cancel each other out.

4. The Two Examples They Tested

To prove their recipe works, they tested it on two specific types of "cakes":

A. The Perfect Sphere (Euclidean AdS5)

• What it is: A smooth, empty universe shaped like a hyperbolic space with a boundary that looks like a circle times a sphere ($S^1 \times S^3$).
• The Result: They used their "magic knife" to slice this universe. In one specific way of slicing, the answer came out perfectly from just the fixed points. In another way of slicing, they had to add back the "crust" terms. Either way, they successfully calculated the Supersymmetric Casimir Energy.
• What that means: This is a specific type of energy that exists even in a vacuum, which is a fundamental property of the universe in this theory.

B. The Black Hole

• What it is: A universe containing a black hole. These are much messier and have "throats" that go on forever, making calculations very hard.
• The Result: They used a technique called background subtraction (imagine comparing the black hole cake to a plain vanilla cake to see the difference). They sliced the black hole universe in several different ways (using different "knives").
• The Surprise: No matter which way they sliced it, the final calculation always gave the same result. This result matched a famous prediction from the "dual" theory (a theory on the boundary of the universe) called the Supersymmetric Index.
• Why it matters: This confirms a deep connection between the gravity inside the black hole and the quantum physics on its edge, without needing to know the exact shape of the black hole's interior.

5. The Big Takeaway

The paper shows that you don't need to solve the messy, complicated equations of a 5D universe to find its total energy. Instead, if you find the right "symmetry" (the magic knife) and slice the universe down to 4D, you can use a powerful mathematical shortcut (localization) to calculate the answer just by looking at the tiny, unmoving points where the symmetry holds.

They proved this works for both empty space and black holes, confirming that the "flavor" of the 5D universe is encoded entirely in the geometry of its fixed points. This is a major step forward because it allows physicists to get exact answers for complex systems without needing to simulate the whole system.

Technical Summary

Technical Summary: Equivariant Localization for D = 5 Gauged Supergravity

Problem Statement
The paper addresses the computation of the on-shell Euclidean action for supersymmetric solutions in $D=5$ gauged supergravity coupled to an arbitrary number of vector multiplets. While equivariant localization techniques, specifically the Berline–Vergne–Atiyah–Bott (BVAB) fixed point formula, have been successfully applied to $D=4$ Euclidean gauged supergravity to compute on-shell actions and physical observables (such as the supersymmetric Casimir energy and index) without explicit solutions, extending this formalism to $D=5$ presents significant challenges. The primary difficulties include the complexity of identifying supersymmetric boundary counterterms in $D=5$ and the emergence of additional terms in the action upon dimensional reduction that are not purely determined by fixed-point data.

Methodology
The authors propose a framework that combines dimensional reduction with equivariant localization. The methodology proceeds as follows:

1. Assumptions and Setup: The study considers $D=5$ Euclidean solutions admitting two Killing vectors: the R-symmetry Killing vector $K$ (constructed as a bilinear of Killing spinors) and an additional, nowhere-vanishing Killing vector $\ell$. The vector $\ell$ generates a circle fibration over a base manifold $M^{(4)}$, which may possess orbifold singularities.
2. Dimensional Reduction: The $D=5$ theory is reduced along $\ell$ to a $D=4$, $N=2$ Euclidean gauged supergravity theory coupled to $n+1$ vector multiplets. The $D=5$ R-symmetry vector $K$ descends to a $D=4$ R-symmetry Killing vector $\xi$ on the base $M^{(4)}$.
3. Action Decomposition: The $D=5$ on-shell action is expressed in terms of the $D=4$ on-shell action plus boundary terms and an integral of a closed four-form $\Lambda_4$. The $D=4$ bulk action is evaluated using the BVAB theorem, reducing it to contributions from the fixed point set of $\xi$ (nuts and bolts) and boundary terms on $\partial M^{(4)}$.
4. Handling Divergences: For solutions where supersymmetric boundary counterterms are known (e.g., Euclidean AdS$_5$ with $S^1 \times S^3$ boundary), the authors employ these counterterms. For other cases, such as black hole solutions, they utilize a background subtraction procedure, comparing the solution to a reference background (typically the AdS$_5$ vacuum).
5. Reality Conditions: The authors carefully analyze the reality conditions required for the spinors and fields in both $D=5$ and $D=4$ Euclidean signatures, noting that the standard real sections assumed in previous $D=4$ localization work do not strictly hold for the $D=5$ reduction, yet the localization formulae remain valid.

Key Contributions and Results

• Formalism Extension: The paper successfully extends the equivariant localization formalism from $D=4$ to $D=5$ gauged supergravity. It derives a general expression for the $D=5$ on-shell action (Equation 2.58) involving fixed point contributions from the reduced $D=4$ theory, boundary terms, and an integral of $\Lambda_4$.
• AdS$_5$ Vacuum Example: For Euclidean AdS$_5$ with an $S^1 \times S^3$ boundary, the authors demonstrate that for a specific choice of the reduction vector $\ell$, the $D=5$ on-shell action is entirely determined by the fixed point data of the $D=4$ Killing vector $\xi$. This recovers the known result for the supersymmetric Casimir energy of the dual SCFT without using the explicit supergravity solution. They also show that for other choices of $\ell$ (specifically a "q-twist"), additional boundary and $\Lambda_4$ contributions arise, which must be explicitly computed to recover the same physical result.
• Black Hole Solutions: The formalism is applied to complex supersymmetric black hole solutions. Using background subtraction, the authors compute the on-shell action for minimal gauged supergravity and generalize this to theories with arbitrary vector multiplets.
  • For minimal gauged supergravity, the result matches the supersymmetric index of the dual SCFT (specifically $\mathcal{N}=4$ super-Yang-Mills in the large $N$ limit).
  • For multi-charge black holes, the derived on-shell action (Equation 4.58) takes the form of a field-theoretic entropy function conjectured in the literature (Equation 4.59). The authors show that the constraints on the fixed point data derived from the supergravity equations of motion precisely reproduce the field theory constraints required for the entropy function.
• Spindle Reduction: The paper introduces a "spindle reduction" where the reduction vector $\ell$ is a linear combination of the thermal circle and Hopf fiber coordinates. This leads to a $D=4$ base with spindle topology ($W\mathbb{CP}^1_{[n_N, n_S]}$). The localization computation on this topology successfully reproduces the expected on-shell action for multi-charge black holes.

Significance and Claims
The authors claim that their formalism provides a powerful tool for computing the on-shell action of $D=5$ supersymmetric solutions without requiring explicit metric or field configurations, relying instead on topological data and fixed point information.

• Exactness: The results are presented as exact for infinite classes of SCFTs with holographic duals, even in cases where the $D=5$ theory arises from a consistent Kaluza-Klein truncation of $D=10$ or $D=11$ supergravity. The authors conjecture that the results hold even without a consistent truncation, as the infinite tower of KK modes may not affect the localization computation.
• Universality: The method recovers known results for the supersymmetric Casimir energy and the supersymmetric index, confirming the validity of the localization approach in $D=5$.
• Limitations and Open Issues: The paper modestly acknowledges that the formalism is not yet fully general for all choices of the reduction vector $\ell$. Specifically, for certain choices, the action receives contributions from boundary terms and the integral of $\Lambda_4$, which are not purely fixed-point data. The authors note that determining exactly when these extra terms vanish or how to handle them globally (due to gauge dependence) remains an open issue. Furthermore, the current formalism does not include hypermultiplets or higher-derivative corrections, which are noted as necessary for resolving certain discrepancies between $D=4$ reduction and direct $D=5$ computations found in other literature.

In summary, the paper establishes a robust bridge between $D=5$ supergravity and $D=4$ localization techniques, enabling the calculation of physical observables for a broad class of supersymmetric solutions through fixed point data, while highlighting specific technical subtleties regarding gauge dependence and boundary terms that require further investigation.