The black hole at the end of the cone: localizing the anomaly polynomial on toric geometries

This paper proposes an efficient method based on equivariant integration of the anomaly polynomial to evaluate the on-shell action and Wald entropy of five-dimensional supersymmetric black saddle solutions with toric symmetry by localizing contributions to the tips of simplicial cones, thereby unifying the treatment of various topologies including black holes, rings, and lenses.

The Gist

Imagine you are trying to weigh a ghost. In the world of theoretical physics, "ghosts" are complex, invisible shapes of space and time called black saddles. These aren't just empty holes; they are specific, supersymmetric configurations that help physicists understand how gravity works at its most fundamental level.

The problem is that calculating the "weight" (or energy) of these ghosts is incredibly hard. Usually, to weigh something, you need to know exactly what it looks like. But in this paper, the authors say: "We don't need to see the whole ghost to weigh it. We just need to look at its corners."

Here is how they did it, explained through simple analogies:

1. The Mystery of the "Ghost" Shapes

Physicists are trying to understand the "gravitational path integral." Think of this as a giant recipe book for the universe. To make the universe, you have to mix together every possible shape of space and time. Some of these shapes are black holes, some are rings, and some are weird, donut-like structures called "lenses."

The authors are interested in a specific type of recipe: supersymmetric black saddles. These are special, stable shapes that exist in a 5-dimensional universe (our universe plus two extra hidden dimensions). Some of these shapes are smooth and round (like a sphere), while others are twisted or have holes (like a ring or a lens).

2. The Old Way vs. The New "Corner" Trick

The Old Way: To find the energy of these shapes, you usually have to solve a massive, complicated math puzzle describing the entire shape from top to bottom. It's like trying to calculate the total weight of a house by measuring every single brick, nail, and beam individually. If the house has a weird shape, the math becomes impossible.

The New Way (The Paper's Method): The authors realized that for these specific "ghost" shapes, the total weight is actually determined entirely by what happens at the corners.

• The Analogy: Imagine a complex 3D sculpture made of paper cones. The authors found a mathematical trick (called equivariant localization) that says: "You don't need to measure the whole paper. You just need to look at the very tip of every cone."
• If you know the "flavor" of the tip (its specific mathematical properties), you can instantly calculate the total weight of the entire sculpture.

3. How They Did It: The "Six-Dimensional" Elevator

To use this trick, the authors had to do something clever. They took their 5-dimensional shape and imagined it sitting inside a 6-dimensional space.

• Think of this 6D space as a giant, multi-layered cake. The 5D shape is just the frosting on top.
• They broke this 6D cake down into simple triangular cones (like slicing a pizza into perfect triangles).
• They then applied a mathematical "laser" (the localization theorem) that scans only the tips of these cones.

4. What They Found

By looking only at the tips of these cones, they derived a simple formula. This formula tells you the energy of the black saddle based on just a few numbers:

• How fast the shape is spinning.
• The electric charge at the edges.
• The specific "topology" (the shape's geometry, like whether it's a sphere, a ring, or a lens).

The Results:

• They checked their work: For shapes that were already known (like standard black holes), their new "corner" formula gave the exact same answer as the old, difficult methods. This proved their trick works.
• They made new predictions: For shapes that are not fully understood yet (like black rings or black lenses in a 5D universe), their formula gave a brand-new answer. Specifically, they calculated how these shapes behave when you add "higher-derivative corrections."
  • Analogy: Think of "higher-derivative corrections" as the fine print in a contract. The main text describes the big picture, but the fine print describes the tiny, subtle ripples and wiggles. The authors calculated these ripples for the first time for these weird shapes.

5. Why It Matters

The authors didn't just solve a math problem; they unified the way we look at different black objects.

• Whether it's a black hole, a black ring, or a black lens, they all follow the same "corner rule."
• This suggests that deep down, these very different-looking objects are all connected by the same simple mathematical logic.

In Summary:
This paper is like finding a shortcut to weigh a complex building. Instead of measuring every wall, the authors showed that if you know the specific properties of the building's corners, you can instantly know the weight of the whole thing. They used this shortcut to confirm what we already knew about black holes and to make brand-new predictions about the energy and "ripples" of exotic black rings and lenses that we haven't fully built yet.

Technical Summary

Technical Summary: The Black Hole at the End of the Cone

Problem Statement
The paper addresses the challenge of evaluating the on-shell action for supersymmetric black saddle solutions in five-dimensional supergravity coupled to vector multiplets. These solutions, which include black holes, black rings, and black lenses, may be asymptotically Anti-de Sitter ($AdS_5$) or asymptotically flat. A central difficulty in quantum gravity is understanding the gravitational path integral as a sum over geometries, particularly when explicit metric solutions are unknown or when higher-derivative corrections are included. While explicit constructions of supersymmetric solutions in asymptotically $AdS_5$ backgrounds are limited (mostly to spherical horizons), the authors aim to compute the on-shell action—and subsequently the Wald entropy of related extremal solutions—for solutions with general toric $U(1)^3$ symmetry and arbitrary topology, even when the explicit bulk geometry is not known.

Methodology
The authors propose a systematic three-step procedure based on equivariant localization, avoiding the need for explicit metric construction:

1. Ascent (Six-Dimensional Extension): The five-dimensional on-shell action, including higher-derivative corrections, is conjectured to be equivalent to the integral of a specific anomaly polynomial six-form over a six-dimensional space $M_6$. This space is constructed as an extension of the five-dimensional solution $M_5$ (where $M_5 = \partial M_6$). The authors assume the higher-derivative supersymmetric on-shell action is captured by the integral of the anomaly polynomial $P$ over $M_6$:
   $$I = \int_{M_6} \left( \frac{1}{6} k_{IJK} d\eta_I \wedge d\eta_J \wedge d\eta_K - \frac{1}{48} k_I d\eta_I \wedge R_{\alpha\beta} \wedge R^{\alpha\beta} \right)$$
   Here, $\eta_I$ are shifted gauge potentials, and the coefficients $k_{IJK}$ and $k_I$ correspond to cubic and linear 't Hooft anomaly coefficients of the dual SCFT (or their ungauged counterparts).

2. Refinement (Toric Geometry and Resolution): The authors utilize the $U(1)^3$ isometry of the solutions to treat the geometry using toric geometry techniques. The geometry is represented by a fan of vectors in $\mathbb{Z}^3$. To apply the localization theorem, the fan must be resolved into simplicial cones (triangulated) to ensure the space is smooth up to orbifold singularities. This involves decomposing the fan into groups of three independent vectors, where each group generates a simplicial cone with a tip corresponding to a fixed point of the torus action.

3. Localization (Equivariant Integration): Using the Berline-Vergne-Atiyah-Bott (BVAB) equivariant localization theorem, the integral of the anomaly polynomial over $M_6$ is reduced to a sum over contributions localized at the tips of the simplicial cones (the fixed points of the supersymmetric Killing vector $\xi$). The integrand is equivariantized by replacing characteristic classes with their equivariant extensions involving the angular velocities $\omega_{1,2}$ and electrostatic potentials $\phi_I$.

Key Contributions and Results
The paper derives a general formula for the on-shell action $I$ as a sum over the simplicial cones $C_k$ in the fan resolution:
$$I = \sum_{C_k} \left( \frac{1}{6} k_{IJK} \mathcal{I}_{IJK}(C_k) - \frac{1}{24} k_I \mathcal{I}_I(C_k) \right)$$
where the terms $\mathcal{I}_{IJK}$ and $\mathcal{I}_I$ depend on the equivariant weights $\epsilon_{ki}$ of the Killing vector at the cone tips and the gauge data (potentials and fluxes) associated with the bolts (fixed loci).

The authors apply this general formula to several specific topologies, recovering known results and providing new predictions:

• Black Holes (Spherical Horizon): The formula reproduces the known on-shell action for $AdS_5$ and asymptotically flat black holes, including higher-derivative corrections. In the flat case, the Legendre transform yields the Wald entropy of the BMPV black hole, matching microscopic index computations.
• Orbifolds and Discrete Families: The method is applied to a discrete family of geometries obtained by $\mathbb{Z}_{|n|}$ orbifolds of the black hole. The authors derive the action for these orbifold saddles, including higher-derivative corrections, which are presented as new predictions.
• Black Lenses: The authors analyze black lenses with $L(2,1)$ horizon topology and a bubble. They derive the on-shell action for both convex ($\sigma=1$) and non-convex ($\sigma=-1$) fan configurations. For the asymptotically flat case, they provide a prediction for the higher-derivative corrections to the action and entropy of explicitly known supersymmetric black lens solutions.
• Black Rings: The formula is applied to black rings with $S^2 \times S^1$ horizons. The authors derive the on-shell action for both $\sigma = \pm 1$ cases. For the asymptotically flat limit ($\sigma=1$), they perform a Legendre transform to derive the Wald entropy, showing agreement with existing literature on higher-derivative corrections and identifying a new correction term involving the linear anomaly coefficient $k_I$.
• Black Holes in Bubbling Spacetime: The authors consider a geometry with a black hole surrounded by bubbles (topological solitons). They compute the on-shell action and verify that the leading-order entropy and charge constraints match those of the explicit solution found in [77].

Significance and Claims
The paper claims to establish a unified approach for evaluating supergravity on-shell actions in both gauged and ungauged settings, incorporating higher-derivative corrections without requiring explicit metric solutions.

• Unification: The method unifies the treatment of diverse topologies (holes, rings, lenses, solitons) by reducing the problem to combinatorial data (the fan) and boundary chemical potentials.
• Higher-Derivative Corrections: A primary contribution is the inclusion of higher-derivative terms (specifically those controlled by $k_I$) in the on-shell action for non-trivial topologies where such corrections were previously unknown or difficult to compute.
• Predictive Power: The authors emphasize that their results provide new predictions for the on-shell action and Wald entropy of asymptotically $AdS_5$ black saddles with non-spherical horizons (lenses, rings) and for asymptotically flat black lenses.
• Consistency: The results serve as a consistency check, reproducing known two-derivative results and matching microscopic entropy calculations where available (e.g., BMPV black hole and flat black rings).

The paper concludes by noting that while the higher-derivative structure is conjectured based on the anomaly polynomial form, the agreement with known results suggests the approach is robust. They suggest that if the conjecture holds, the derived actions are exact in the full perturbative higher-derivative expansion. They also highlight open questions regarding the existence of the corresponding explicit $AdS_5$ solutions and the deeper mathematical interpretation of the simplicial cone decomposition.