Heterotic horizons and AdS$_3$ backgrounds that preserve 6 supersymmetries

This paper utilizes topological arguments to prove that heterotic horizons preserving six supersymmetries must have spatial sections diffeomorphic to $SU(3)$, while simultaneously demonstrating the non-existence of such heterotic AdS$_3$ solutions under compactness assumptions, and further re-examines the conditions for four-supersymmetry backgrounds in light of recent Calabi-Yau manifold classifications.

The Gist

Imagine the universe as a giant, complex machine made of invisible strings and hidden dimensions. Physicists call this String Theory. In this theory, there are different "settings" or "modes" the universe can be in, called backgrounds. Some of these backgrounds are like black holes (horizons), and others are like a special kind of expanding bubble (AdS3).

This paper is like a detective story written by a mathematician named Georgios Papadopoulos. He is trying to figure out exactly what shapes these "machines" can take if they are perfectly balanced with a specific amount of magic called supersymmetry.

Here is the breakdown of his findings, using simple analogies:

1. The Goal: Finding the Perfect Shape

Think of the universe's extra dimensions as a piece of clay. Physicists want to know: "If we mold this clay to have exactly 6 units of magic (supersymmetry), what shape does it have to be?"

The author looks at two types of clay:

• Horizons: The surface of a black hole.
• AdS3: A specific type of expanding universe bubble.

2. The Black Hole Discovery (The "SU(3)" Shape)

The author proves a very specific rule for black holes with 6 units of magic.

• The Analogy: Imagine you are trying to build a tower out of blocks. You have a rule that the tower must be perfectly balanced (6 units of magic). You try to build it out of random shapes, but the math says, "No, that won't work."
• The Result: The only shape that works is a very specific, complex geometric shape called SU(3).
• The Catch: It's like saying, "The only tower you can build is a specific type of twisted donut." Even if you paint it differently or cut a tiny piece off (identifications with a discrete group), the core shape must be that twisted donut.
• Why? The proof doesn't involve solving a messy equation like a physics homework problem. Instead, it uses topology (the study of shapes and holes). It's like realizing that if you have a certain number of holes in a rubber band, it simply cannot be stretched into a square; it has to be a circle. The author shows that the "holes" in the math force the shape to be SU(3).

3. The "Bubble" Discovery (The "No-Go" Zone)

Next, the author looks at the AdS3 "bubbles" with 6 units of magic.

• The Analogy: Imagine trying to fill a balloon with a specific type of gas (6 units of magic) that is supposed to be smooth and compact (no holes, no tears).
• The Result: The author proves this is impossible. There are no smooth, compact bubbles with this specific amount of magic.
• Why? The math creates a contradiction. It's like trying to build a house where the roof says "I need 5 bricks" and the walls say "I need 3 bricks," but the foundation says "You can only use 4." The numbers just don't add up. The "topological argument" shows that the shape required by the magic simply cannot exist in a smooth, closed form.

4. The "4 Units of Magic" Mystery (The Hard Puzzle)

The paper also looks at backgrounds with 4 units of magic. This is a bit more flexible.

• The Analogy: With 6 units of magic, the rules were strict (only one shape allowed). With 4 units, the rules are looser, but you have to solve a very difficult puzzle.
• The Puzzle: To find these shapes, you have to solve a specific, non-linear equation (a fancy math formula). The author compares this to a famous problem in geometry: finding the perfect curvature for a 4D surface.
• The Twist: Even if you find a solution to the puzzle, you might have missed some versions of it. The author points out that sometimes, the "real" solution is a cover of the one you found.
  • Analogy: Imagine you find a map of a city. But the city actually has a secret underground tunnel system that loops back on itself. If you only look at the surface map, you miss the full picture. You have to "unwrap" the map to see the whole truth. The author uses an example of a famous shape ($S^3 \times S^3$) to show how a solution might look like a simple shape, but actually hides a more complex structure underneath.

Summary of the "Takeaway"

• For Black Holes: If you want 6 units of magic, your shape must be a twisted donut (SU(3)). There is no other option.
• For Expanding Bubbles: If you want 6 units of magic, you can't build a smooth, closed bubble at all. It's a dead end.
• For 4 Units of Magic: It's possible, but you have to solve a very hard math puzzle, and you must be careful to check if your solution is hiding a secret "cover" or a more complex version of itself.

The Big Picture:
This paper is a victory for "shape logic" over "brute force calculation." Instead of grinding through millions of numbers to find a solution, the author looked at the fundamental "holes" and "twists" of the shapes and proved that only one specific shape fits the bill, while another shape is impossible. It's like proving you can't fit a square peg in a round hole without ever actually trying to push the peg in.

Technical Summary

Here is a detailed technical summary of the paper "Heterotic horizons and AdS3 backgrounds that preserve 6 supersymmetries" by Georgios Papadopoulos.

1. Problem Statement

The paper addresses the classification of supersymmetric backgrounds in heterotic supergravity theory, specifically focusing on two distinct geometric settings:

1. Black Hole Horizons: Spatial sections of horizons that preserve strictly 6 supersymmetries.
2. AdS$_3$ Backgrounds: Solutions of the form AdS$_3 \times M_7$ that preserve strictly 6 supersymmetries.

While the classification of backgrounds preserving 8 supersymmetries was previously established, the case for 6 supersymmetries remained open. The author aims to prove a uniqueness theorem for horizons and demonstrate the non-existence of smooth, compact transverse space solutions for AdS$_3$ backgrounds under specific global assumptions (compactness of the transverse space and closed orbits of symmetry actions). Additionally, the paper re-examines the conditions for backgrounds preserving 4 supersymmetries, highlighting the role of specific non-linear partial differential equations (PDEs) and topological constraints.

2. Methodology

The core methodology relies on topological arguments derived from the closure of the 3-form field strength ($dH=0$) and the properties of Killing spinor equations (KSEs). The author avoids solving the full non-linear PDEs directly for the geometry, instead using cohomological constraints to restrict the possible topologies of the underlying manifolds.

Key methodological steps include:

• Geometric Reduction: Utilizing the KSEs to reduce the 10-dimensional spacetime geometry to a fibration structure. For 6 supersymmetries, the spatial sections are identified as Strong Hyper-Kähler with Torsion (HKT) manifolds.
• Fibration Analysis: The spatial sections (horizons or transverse spaces) are treated as principal bundles over a 4-dimensional base manifold $M_4$.
  • For horizons: $S \to M_4$ with fiber $S(U(1) \times U(2))$ or $U(2)$.
  • For AdS$_3$: $M_7 \to M_4$ with fiber $SU(2)$.
• Cohomological Constraints: The closure of the 3-form field strength ($d\tilde{H}=0$) imposes a topological condition on the curvature of the bundle connection. Specifically, the cohomology class of the Pontryagin class (or related characteristic classes like $[F \wedge F]$) must vanish.
• Scalar Curvature Analysis: By comparing the Einstein equations with the differential conditions arising from $dH=0$, the author derives that the scalar curvature of the base manifold $M_4$ must be strictly positive.
• Classification of $M_4$: Using results from differential topology (specifically regarding anti-self-dual manifolds with positive scalar curvature), the base manifold $M_4$ is restricted to be homeomorphic to either the 4-sphere ($S^4$) or a connected sum of complex projective planes ($\#_n \mathbb{CP}^2$).

3. Key Contributions and Results

A. Uniqueness of Heterotic Horizons (6 SUSY)

The paper proves that under the assumptions that the spatial horizon section is compact and the $u(2)$ symmetry has closed orbits:

• The only heterotic horizon preserving strictly 6 supersymmetries has a spatial section diffeomorphic to $SU(3)$ (up to discrete identifications).
• Proof Logic:
  1. The base manifold $M_4$ must be $S^4$ or $\#_n \mathbb{CP}^2$.
  2. The topological condition $[F \wedge F] = 0$ leads to the equation: $(3c_1(L)^2 + 2\chi + 3\tau)[M_4] = 0$, where $\chi$ and $\tau$ are the Euler and signature numbers.
  3. For $S^4$, $\tau=0, \chi=2$, and $H^2(S^4, \mathbb{Z})=0$, making the condition impossible to satisfy.
  4. For $\#_n \mathbb{CP}^2$, the condition requires $n=1$ (yielding $\mathbb{CP}^2$) with specific Chern class constraints.
  5. The resulting principal bundle is identified as $S(U(2) \times U(1)) \to SU(3) \to \mathbb{CP}^2$. Thus, the total space is $SU(3)$.
• Note: While the topology is fixed as $SU(3)$, the specific metric geometry (left-invariant vs. others) remains an open problem requiring the solution of a specific PDE.

B. Non-Existence of AdS$_3$ Solutions (6 SUSY)

The paper demonstrates that there are no smooth heterotic AdS$_3$ backgrounds with compact transverse spaces preserving strictly 6 supersymmetries.

• Proof Logic:
  1. Similar to horizons, the base $M_4$ is restricted to $S^4$ or $\#_n \mathbb{CP}^2$.
  2. The transverse space $M_7$ is an $SU(2)$ principal bundle over $M_4$.
  3. The topological condition for the closure of the 3-form reduces to $(2\chi + 3\tau)[M_4] = 0$.
  4. For $S^4$, this fails ($2\chi = 4 \neq 0$).
  5. For $\#_n \mathbb{CP}^2$, the condition holds only for $n=4$.
  6. However, the resulting space $M_7 = (\#_4 \mathbb{CP}^2) \times S^3$ does not admit a spin structure, which is a requirement for heterotic supergravity solutions.
  7. Therefore, no such smooth solutions exist.

C. Re-examination of 4 Supersymmetries

The author revisits the conditions for backgrounds preserving 4 supersymmetries, focusing on cases with an additional $\oplus 2u(1)$ symmetry.

• Differential System: The conditions reduce to a system of equations on a 4-dimensional Kähler manifold $M_4$.
• Key PDE: The existence of solutions depends on solving a non-linear PDE for the scalar curvature $u = R(\check{g})$:
  $$\check{\nabla}^2 u = e u^2 - p(x)$$
  where $e > 0$ and $p(x) > 0$. This equation is structurally identical to one found in the classification of 8-dimensional strong HKT manifolds and 6-dimensional compact strong Calabi-Yau manifolds with torsion.
• Topological Constraints: The closure of the 3-form imposes a constraint on the intersection numbers of the cohomology classes of the base manifold (Equation 4.7).
• Covering Spaces: The paper emphasizes that finding all solutions requires considering appropriate covering spaces of the solutions found. An example is provided using the well-known $AdS_3 \times S^3 \times S^3 \times S^1$ solution, showing that the base fibration $Q$ is actually a quotient $S^3 \times S^3 / (\mathbb{Z}_4 \oplus \mathbb{Z}_2)$, and the full solution is recovered by taking the universal cover.

4. Significance

• Classification Completeness: This work significantly advances the classification of heterotic supersymmetric backgrounds by resolving the "6 supersymmetry" case, which was previously unclassified.
• Topological Rigor: The paper demonstrates that for specific numbers of supersymmetries (6), the geometry is so constrained by topological arguments (closure of fluxes) that one can prove uniqueness or non-existence without explicitly solving the complex non-linear field equations.
• Connection to Calabi-Yau Geometry: The analysis of the 4-supersymmetry case reveals deep connections between heterotic horizons and the classification of compact strong Calabi-Yau manifolds with torsion, suggesting a unified mathematical structure underlying these diverse physical backgrounds.
• Global Structure: The paper highlights the critical importance of global topology (spin structures, discrete identifications, and covering spaces) in string theory solutions, showing that local geometric analysis is insufficient for a complete classification.

In summary, Papadopoulos establishes that $SU(3)$ is the unique topology for 6-SUSY heterotic horizons, while no smooth 6-SUSY AdS$_3$ solutions exist with compact transverse spaces, relying on a rigorous interplay between Killing spinor equations, characteristic classes, and spin geometry.