Supersymmetric near-horizon geometries in D = 6 supergravity: Lichnerowicz theorems, index theory and symmetry enhancement

This paper establishes generalized Lichnerowicz theorems and a supersymmetry-counting formula for smooth, compact near-horizon geometries in $N=(1,0)$, $D=6$ supergravity with $U(1)$ R-symmetry gauging, demonstrating that the number of supersymmetries is determined by the index of a twisted Dirac operator and proving unconditional $\mathfrak{sl}(2,\mathbb{R})$ symmetry enhancement in the ungauged case (with a specific kernel assumption for the gauged case).

The Gist

Imagine you are a detective trying to solve the mystery of a Black Hole. But not just any black hole—you are looking at the most extreme kind, one that is spinning so fast and has so much energy that it's on the verge of collapsing, yet it stays perfectly balanced. In physics, we call these "extremal" black holes.

This paper is like a forensic report on the very edge of such a black hole. The author, U. Kayani, is investigating what happens in the tiny, immediate neighborhood of the black hole's "event horizon" (the point of no return).

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

1. The Setting: A Frozen Moment in Time

Usually, black holes are chaotic, violent places. But when you zoom in right at the edge of an extremal black hole, something magical happens. The chaos settles down into a very specific, calm, and symmetrical shape.

Think of it like looking at a hurricane from space. From far away, it's a swirling mess. But if you could freeze time and look at the very eye of the storm, you might find a perfect, still circle. This paper studies that "still circle" (called the near-horizon geometry) in a universe with 6 dimensions (our universe has 4: 3 space + 1 time, but string theory suggests there are more).

2. The Characters: The "Supersymmetry" Detectives

In this universe, there are special particles called spinors. You can think of them as the "detectives" of the universe. Their job is to check if the laws of physics (specifically supersymmetry) are being followed.

• Supersymmetry is like a cosmic rulebook that says every particle has a "twin."
• The paper asks: How many of these detective twins can exist on the edge of the black hole?

3. The Main Discovery: The "Counting Formula"

In previous studies of black holes in 11 dimensions or 10 dimensions, the number of these detectives was simple to count. It was always an even number, like a perfect pair of shoes.

However, in this 6-dimensional world, things are different. The author discovers a new rule for counting these detectives. The formula is:

Total Detectives = (Pairs of Detectives) + (A Special "Leftover" Number)

This "Leftover Number" is called the Index.

• The Analogy: Imagine you are organizing a dance. Usually, people come in pairs (boy-girl). You just count the pairs. But in this 6D world, the dance floor has a weird shape (a 4D surface). Because of this shape, sometimes you can have a "solo dancer" who doesn't have a partner, but is still part of the dance because the floor itself forces them to be there.
• This "solo dancer" count depends on the shape of the black hole's edge. If the edge is shaped like a donut, the count is different than if it's shaped like a sphere. This is a brand-new discovery for 6D physics that didn't exist in the higher-dimensional studies.

4. The "Lichnerowicz" Theorem: The Magic Mirror

To prove this counting rule, the author uses a mathematical tool called a Lichnerowicz theorem.

• The Analogy: Imagine you have a mirror. If you stand in front of it, you see your reflection. The theorem proves that if you see a "ghost" (a zero-energy solution) in the mirror, it must correspond to a real person standing there.
• The author proves that the "ghosts" (mathematical solutions) and the "real people" (physical supersymmetry) are in a perfect one-to-one match. This guarantees that the counting formula is accurate and not just a mathematical trick.

5. The Twist: The "Symmetry" Surprise

The paper also investigates a famous idea called the Horizon Conjecture. This conjecture says that if a black hole has these special "detectives" and some energy flowing through it (fluxes), the black hole's edge should have extra superpowers. Specifically, it should gain a hidden symmetry called $sl(2, R)$.

• The Analogy: Think of a spinning top. If it's spinning just right, it doesn't just spin; it starts to wobble in a perfect, predictable pattern that looks like a different kind of motion entirely.
• The Result:
  • In the "Ungauged" case (no extra forces): The author proves this superpower happens automatically. If the black hole is active, the symmetry must appear.
  • In the "Gauged" case (with extra forces): The author hits a snag. The extra forces create a "negative term" in the math that blocks the proof. So, they say: "We believe the symmetry appears, but we can only prove it if we assume the black hole isn't hiding a specific type of secret (a 'zero kernel')." They are honest about this limitation, admitting they haven't solved the whole puzzle yet for this specific scenario.

6. Why Does This Matter?

This paper is a crucial piece of the puzzle for String Theory and Quantum Gravity.

• It shows that 6-dimensional black holes are unique. They aren't just smaller versions of 11-dimensional ones; they have their own special rules (like the "Leftover Number" index).
• It provides a rigorous mathematical foundation for understanding how black holes store information (entropy) and how they behave at the quantum level.

Summary in One Sentence

The author proves that for 6-dimensional black holes, the number of hidden quantum symmetries depends on the specific shape of the black hole's edge, creating a new counting rule that includes "solo" symmetries, and confirms that these black holes gain extra rotational powers—provided they aren't hiding certain mathematical secrets.

Technical Summary

1. Problem Statement

The paper investigates the structure of supersymmetric near-horizon geometries for extremal black holes in $N=(1,0)$, $D=6$ supergravity. Specifically, it focuses on the Salam–Sezgin model (which includes one tensor multiplet and $U(1)$ R-symmetry gauging) and its ungauged limit.

The central objectives are:

1. To solve the Killing Spinor Equations (KSEs) for these geometries.
2. To establish a supersymmetry-counting formula relating the total number of preserved supersymmetries ($N$) to the topology of the horizon section ($S$).
3. To determine the conditions under which the near-horizon spacetime exhibits symmetry enhancement (specifically, the emergence of an $sl(2, \mathbb{R})$ isometry algebra).

Key Distinction: Unlike previous analyses in $D=11$ supergravity or Type IIA string theory, where the horizon index vanishes due to dimensionality or chirality constraints, the $D=6$ case involves a compact 4-manifold and chiral spinors. This allows for a potentially non-zero topological index, making the supersymmetry counting formula more complex than the standard $N = 2N_-$ form.

2. Methodology

The author employs a global geometric analysis tailored to the horizon conjecture, utilizing the following steps:

• Near-Horizon Limit: The metric is expressed in Gaussian Null Coordinates $(u, r, y^i)$ adapted to the horizon. The near-horizon limit ($r \to \epsilon r, u \to \epsilon^{-1} u$) is taken, resulting in a metric with an $AdS_2$-like structure where fields depend only on the spatial horizon section $S$ (a compact, connected, boundaryless 4-manifold).
• Solving KSEs along Lightcone Directions: The Killing spinor $\epsilon$ is decomposed into lightcone chiralities ($\epsilon = \epsilon_+ + \epsilon_-$). By integrating the KSEs along the null directions $u$ and $r$, the spinor is expressed in terms of spinors $\eta_\pm$ defined solely on $S$.
• Reduction to Independent Conditions: The paper systematically demonstrates that many algebraic and differential conditions derived from the KSEs are redundant. They are shown to be implied by a minimal set of independent KSEs on $S$ (involving covariant derivatives and algebraic constraints) combined with the field equations and Bianchi identities.
• Lichnerowicz-Type Theorems: The author defines horizon Dirac operators $D^{(\pm)}$ twisted by the gauge bundle. By computing the Laplacian of the norm $\|\eta_\pm\|^2$ and applying the Maximum Principle (relying on the compactness of $S$), it is proven that:
  • Zero modes of the Dirac operators ($D^{(\pm)}\eta_\pm = 0$) are in one-to-one correspondence with Killing spinors satisfying the full independent KSEs on $S$.
  • The norm of the Killing spinors is constant.
• Index Theory: The Atiyah–Singer Index Theorem is applied to the horizon Dirac operator $D^{(+)}$ to relate the number of zero modes to topological invariants of $S$ (specifically the signature and the first Chern class of the twisting bundle).
• Symmetry Analysis: The map $\eta_- \to \Gamma_+ \Theta_- \eta_-$ is analyzed to construct spacetime Killing vectors from horizon spinors. The Lie brackets of these vectors are computed to check for an $sl(2, \mathbb{R})$ algebra.

3. Key Contributions and Results

A. Supersymmetry Counting Formula

The paper derives the following unconditional formula for the total number of supersymmetries $N$:
$$N = 2N_- + \text{Index}(D^{(+)})$$
Where:

• $N_-$ is the dimension of the kernel of the negative chirality Dirac operator (number of independent $\eta_-$ spinors).
• $\text{Index}(D^{(+)})$ is the index of the positive chirality horizon Dirac operator.

Significance of the Index:

• Ungauged Case ($g=0$): The index is determined by the Atiyah–Singer theorem as $\text{Index}(D^{(+)}) = -\text{sign}(S)/8$. Since $S$ is a spin manifold, Rokhlin's theorem implies $\text{sign}(S) \in 16\mathbb{Z}$, making the index an even integer ($-2k$). Thus, $N = 2(N_- - k)$, ensuring $N$ is always even.
• Gauged Case ($g \neq 0$): The index depends on the $U(1)$ twisting of the Dirac operator. The paper shows the index remains an integer due to the even intersection form of the spin manifold, but its parity depends on the first Chern class of the twisting bundle. This is the first instance in this series of horizon analyses where the index contribution is generically non-vanishing.

B. Symmetry Enhancement ($sl(2, \mathbb{R})$)

The paper analyzes the conditions under which the near-horizon geometry admits an $sl(2, \mathbb{R})$ isometry subalgebra.

• Ungauged Theory: If fluxes are non-trivial and $N_- \neq 0$, the author proves unconditionally that $\text{Ker}(\Theta_-) = \{0\}$. This allows the construction of two linearly independent Killing spinors, leading to an $sl(2, \mathbb{R})$ symmetry algebra.
• Gauged Theory: The proof of $\text{Ker}(\Theta_-) = \{0\}$ fails due to a negative gauging term in the relevant differential equation (Eq. 6.15) which obstructs the maximum principle argument. Consequently, the symmetry enhancement in the gauged case is conditional: it holds provided one assumes $\text{Ker}(\Theta_-) = \{0\}$. The paper does not claim an unconditional proof for the gauged case.

C. Geometric Constraints

The analysis reveals that for non-trivial fluxes, the vector field $h$ on $S$ is related to the dilaton gradient and fluxes. In specific cases where the vector field $\tilde{V}$ vanishes, the geometry is shown to be a warped product $AdS_2 \times_w S$.

4. Significance

1. Topological Novelty: This work highlights a fundamental difference between $D=6$ and higher-dimensional ($D=11$) or non-chiral (Type IIA) supergravities. The chirality of the theory and the even dimensionality of the horizon section allow for a non-trivial topological index, which directly modifies the supersymmetry counting formula.
2. Rigorous Global Analysis: Unlike local classification approaches, this paper uses global techniques (maximum principle, integration by parts, index theory) to derive necessary conditions for supersymmetry on compact manifolds.
3. Clarification of Symmetry Enhancement: The paper provides a precise boundary between unconditional results (ungauged) and conditional results (gauged) regarding the $sl(2, \mathbb{R})$ enhancement, identifying exactly where the mathematical proof breaks down in the presence of gauging.
4. Foundation for Classification: By isolating the independent KSEs and establishing the correspondence with Dirac zero modes, the paper provides the necessary framework for classifying all supersymmetric near-horizon geometries in 6D supergravity, distinguishing them from previously studied cases.

Conclusion

U. Kayani successfully extends the horizon conjecture program to $D=6$ chiral supergravity. The primary achievement is the derivation of a supersymmetry counting formula that includes a topological index term, a feature absent in previous dimensions. While the symmetry enhancement is proven unconditionally for the ungauged theory, the gauged case remains conditional on the triviality of the kernel of a specific operator, highlighting a specific challenge in the global analysis of gauged supergravities.