⚛️ high-energy theory

A second rotational Killing field on gauged D=5 vector multiplet horizons

This paper demonstrates that supersymmetric near-horizon geometries in gauged D=5 supergravity coupled to vector multiplets inherently possess a second rotational Killing field on compact horizon sections, thereby unifying known black hole solutions and explicitly characterizing two distinct sub-branches of varying moduli without assuming rotational symmetry a priori.

Original authors: Usman Kayani

Published 2026-08-25

📖 5 min read🧠 Deep dive

CC BY 4.0

Original authors: Usman Kayani

Original paper licensed under CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ This is an AI-generated explanation of the paper below. It is not written or endorsed by the authors. For technical accuracy, refer to the original paper. Read full disclaimer

In the extreme gravity of a black hole, where space and time are stretched to their breaking point, physicists look for a special kind of stability. When a black hole is "extremal," meaning it spins as fast as the laws of physics allow without flying apart, the region just outside its event horizon settles into a unique, unchanging shape. This near-horizon geometry is not just a backdrop; it is a solution to the equations of gravity in its own right, holding the key to understanding the black hole's secrets. In five-dimensional universes, which are often studied to understand the deeper connections between gravity and quantum mechanics, these black holes can be surrounded by fields of energy and matter that change as you move around them. For decades, scientists have tried to map every possible shape these horizons can take, but they hit a wall. To solve the complex equations, they had to assume the horizon possessed a specific kind of symmetry, like a perfect sphere or a donut, that allowed the math to work. Without this assumption, the equations were too tangled to untangle, leaving a gap in our understanding of whether nature actually forces these shapes to be symmetrical or if it merely allows them.

A researcher has now closed that gap for a specific class of five-dimensional black holes. They set out to prove that if a black hole in this theory is supersymmetric—a state where the forces of nature balance in a way that prevents it from decaying—it must naturally possess a second axis of rotation, even if no one assumed it would have one. Imagine a spinning top that, without any external push, spontaneously develops a second, independent way of spinning around a different axis. The researcher did not assume this second spin existed; they started with a horizon that had only one known rotation and asked if the laws of physics demanded a second. They found that it does. By carefully tracing the behavior of the fields and the geometry of the horizon, they demonstrated that a second rotational symmetry is an unavoidable consequence of the black hole's existence. This discovery means that the assumption of symmetry, which scientists have relied on for years to classify these objects, is not just a convenient shortcut but a fundamental truth of the universe in this context.

The work focuses on a specific branch of these black holes where the horizon is not static but is actively rotating. In this scenario, the researcher discovered that the horizon is divided into two distinct possibilities based on how the surrounding energy fields behave. In the first case, the fields are constant, like a calm, uniform ocean. Here, the mathematics shows that the horizon must be perfectly smooth and homogeneous, and the second rotation appears naturally as a result of this uniformity. In the second, more complex case, the fields vary, rising and falling as you move across the surface. This was the harder problem, as the changing fields usually break the symmetry required for a second rotation. However, the researcher found a way to track the geometry through these changes. They showed that even when the fields are shifting, the underlying structure of the horizon still supports a second rotational axis. This axis exists everywhere the fields are not perfectly aligned, and under specific, checkable conditions, it extends to cover the entire horizon.

To reach this conclusion, the researcher had to navigate a landscape of mathematical identities that link the shape of space to the energy fields within it. They proved that the gradients of all the physical quantities on the horizon are locked into a single direction, effectively forcing the geometry to align in a way that permits a second rotation. They also ruled out the possibility that the horizon could hide a more subtle, hidden symmetry that would look like a rotation but act differently; the math showed that such hidden symmetries cannot exist in this setting. Furthermore, they identified that the horizon cannot be a simple, static object; it must be rotating, and this rotation is tied to the very existence of the black hole. The researcher also constructed a concrete example of a horizon where the fields vary, proving that this complex branch is not just a theoretical possibility but a real, populated part of the solution space. This example, a compact horizon with varying fields, confirmed that the second rotation holds true even in the most dynamic scenarios.

The implications of this finding are significant for the broader effort to classify black holes. For years, the existence of a second rotation was a necessary assumption to make progress, but it was never proven to be a requirement. This paper demonstrates that for supersymmetric black holes in five dimensions, that assumption is actually a theorem. It means that any compact, rotating black hole in this theory must have two independent axes of rotation. This result does not rule out the existence of black rings, which are donut-shaped black holes that some theories suggest could exist. Instead, it clarifies the rules they must follow: if they exist, they must possess this double rotation. The study leaves open the final question of whether a black ring can actually form and remain stable in equilibrium, but it establishes the rigid framework within which such an object would have to operate. The work confirms that the universe, in its most extreme environments, imposes a surprising order on chaos, forcing even the most complex black holes to spin with a double symmetry that was previously only guessed at.

Technical Summary: A Second Rotational Killing Field on Gauged D = 5 Vector Multiplet Horizons

Problem Statement
The classification of supersymmetric near-horizon geometries in gauged $D=5$ supergravity coupled to vector multiplets remains incomplete. While previous work established that such geometries admit an $sl(2, \mathbb{R})$ symmetry and at least one rotational Killing vector $\tilde{V}$ (provided $\tilde{V} \neq 0$ ), the existence of a second independent rotational Killing field has not been proven without assuming rotational symmetry a priori. This gap is critical for the uniqueness program of black holes, as existing classifications (e.g., Kunduri and Lucietti) rely on the assumption of two commuting rotational isometries to integrate the near-horizon equations. The central question is whether supersymmetry and compactness alone force the existence of this second isometry, particularly in the "non-minimal" regime where scalar moduli vary.

Methodology
The paper analyzes the near-horizon geometry on the branch where the canonical rotational Killing vector $\tilde{V}$ is non-vanishing. The approach relies on a rigorous algebraic and differential analysis of the Killing spinor equations and field equations, avoiding ansatz-based assumptions about symmetry.

First-Order Closure: The author utilizes the results of [1, 2] to show that supersymmetry and field equations determine the first covariant derivatives of the horizon data (metric, moduli, gauge fields) algebraically. This leads to a closed system where the gradients of all scalar invariants (moduli $X^I$ , potential $\Phi$ , etc.) are parallel to a single 1-form $P = Z + W$ , where $Z$ and $W$ are bilinears of the Killing spinors.
The Invariant Obstruction: The author investigates whether a second Killing vector can be constructed from scalar invariants. They prove that the gradients of all such invariants are parallel to $P$ . Consequently, any vector constructed from these gradients is either parallel to $P$ or vanishes, failing to generate a new independent isometry. This "parallel-gradient collapse" rules out the standard invariant-gradient route to a second isometry on the branch where moduli vary ( $K > 0$ ).
Branch Analysis: The analysis is split based on the invariant $K = Q_{IJ}C^I C^J$ $K = Q_{I J} C^{I} C^{J}$ (where $C^I$ $C^{I}$ relates to the gauging and moduli):
- $K \equiv 0$ : The minimal gauged theory case. Moduli are constant, and a second isometry follows from known results [5].
- $K > 0$ : The non-minimal case. This is further divided into $P \equiv 0$ (constant moduli) and $P \not\equiv 0$ (varying moduli).
Transport Construction: For the $P \not\equiv 0$ branch, where the invariant route fails, the author employs a "transport" method. They treat the Killing equation for a vector orthogonal to $P$ as a flat rank-two system transported along the flow of $P$ . By solving this system explicitly, they construct a candidate Killing vector $U$ .

Key Contributions and Results

Existence of a Second Killing Field: The main theorem establishes that on any compact, connected, boundaryless supersymmetric horizon with $\tilde{V} \neq 0$ $\tilde{V} \neq = 0$ , a second rotational Killing field exists.
- Case $K \equiv 0$ or $P \equiv 0$ : The moduli are constant. The geometry is homogeneous, and a second rotational isometry exists unconditionally as a consequence of the homogeneity of the solution (recovering Kunduri and Lucietti's local geometries without assuming them).
- Case $K > 0$ and $P \not\equiv 0$ : The moduli genuinely vary. A second Killing vector $U = \|\eta_-\|^2 (h_Y N - h_N Y)$ is constructed explicitly on the open set $S_0$ where $Z$ and $W$ are linearly independent. This vector is unconditionally Killing on $S_0$ .
Extension to Global Isometry: While $U$ is guaranteed to be Killing on the open set $S_0$ , extending it to the entire horizon $S$ (including points where $P=0$ ) requires a checkable extension hypothesis. The paper provides an explicit compact example from the non-static Kunduri–Lucietti family where this hypothesis holds numerically, verifying that the second isometry extends globally in at least one non-trivial case.
Exclusion of Hidden Symmetries: The paper proves that no hidden Killing tensor symmetry with constant coefficients exists that could mimic a second isometry, reinforcing the necessity of the transport construction.
Black Ring Implications: The results do not rule out the existence of supersymmetric AdS $_5$ black rings. Instead, they establish that if such a ring exists, its near-horizon geometry must possess a second rotational Killing field. This reduces the classification of potential black rings to the study of the specific constant-modulus and varying-modulus systems identified in the paper, rather than requiring an independent symmetry assumption.

Significance and Claims
The paper claims to provide the first compactness-based rigidity result for these geometries that does not assume rotational symmetry from the outset. Its significance lies in converting the assumption of a second isometry (used in previous classifications) into a consequence of supersymmetry and compactness.

Unconditional on $S_0$ : The existence of the second Killing field is unconditional on the open set where the spinor bilinears are independent.
Conditional Globality: On the varying-modulus branch, the extension to a global isometry of the whole horizon is conditional on the extension hypothesis, which is satisfied by the explicit example provided.
No-Go for Static Branch: The paper reaffirms the exclusion of static ( $\tilde{V}=0$ ) supersymmetric horizons in the gauged theory.
Modesty on Black Rings: The author explicitly states that they do not prove the non-existence of black rings. They clarify that the $S^1 \times S^2$ window remains open on the constant-modulus branch and that the varying-modulus branch is populated by explicit examples. The paper's contribution is to constrain the symmetry structure of any such solution, not to eliminate the solutions themselves.

In summary, the paper demonstrates that supersymmetry forces the horizon geometry to be toric (or possess a second rotational symmetry) in the near-horizon limit, either through homogeneity (constant moduli) or through a specific transport mechanism (varying moduli), thereby removing the need for symmetry assumptions in the classification of these specific supersymmetric horizons.

More like this