Only Flat Spacetime is Full BPS in Four Dimensional N=3 and N=4 Supergravity

This paper demonstrates that within a specific class of higher-derivative N=3 and N=4 Poincaré supergravity theories, flat spacetime is the unique fully supersymmetric solution, contrasting with N=2 supergravity which admits additional vacua such as the Bertotti-Robinson geometry.

The Gist

Imagine the universe as a giant, complex video game. In this game, the "rules" are governed by a theory called Supergravity, which tries to combine the physics of the very large (gravity) with the physics of the very small (quantum mechanics).

In this video game, there are different "levels" or versions of the rules, labeled by a number called N.

• N=2 is like the "Classic Mode."
• N=3 and N=4 are like the "Hardcore" or "Expert" modes, with more complex rules and more characters (particles).

The authors of this paper, Abhinava, Subramanya, and Bindusar, went on a quest to find the "Perfect Level" in these Hardcore modes. In physics, a "Perfect Level" is called a Fully Supersymmetric Solution. This is a state of the universe where everything is perfectly balanced, stable, and unchanging, preserving the maximum amount of "magic" (supersymmetry).

The Big Discovery: The Only Perfect Level is "Flat"

The team asked a simple question: "In the N=3 and N=4 versions of this game, what does a perfectly balanced universe look like?"

They expected to find some exotic, curved shapes—maybe a universe shaped like a donut, a sphere, or a funnel (like the famous AdS₂ × S² shape found in the easier N=2 mode).

The Result?
They found that for N=3 and N=4, there is only one possible shape for a perfect universe: Flat Spacetime.

Think of it like this:

• In the N=2 (Classic) game, you can build a perfect castle on a hill, a perfect city in a valley, or a flat plain. You have options.
• In the N=3 and N=4 (Hardcore) games, the rules are so strict that the only way to build a perfect, unbreakable structure is to build it on a perfectly flat, infinite sheet of paper. If you try to curve the ground or add a hill, the "perfect balance" breaks, and the structure collapses.

How They Solved the Puzzle

To solve this, the authors used a special tool called Conformal Supergravity.

The Analogy of the "Master Blueprint":
Imagine you are an architect trying to build a house.

• Poincaré Supergravity (the standard theory) is like trying to build the house directly on the ground. It's messy because you have to worry about the foundation shifting, the wind, and the gravity pulling everything down.
• Conformal Supergravity is like working in a virtual reality simulator first. In this simulator, you have extra "superpowers" (like the ability to stretch or shrink the whole world without breaking it). This makes the math much easier. You can design the "Perfect House" in the simulator, and then, at the very end, you "lock" the simulation to reality (a process called gauge fixing) to see what the real house looks like.

The authors used this simulator to check every possible shape. They looked at the "ghosts" in the machine (mathematical fields called auxiliary fields) that usually hold the structure together.

The "Glue" That Broke the Other Shapes

Here is the twist they discovered:

In the N=2 game, there is a special "glue" (an auxiliary field called $T_{ab}^{ij}$) that can be turned on. This glue allows the universe to curve into a beautiful, stable shape like a funnel (AdS₂ × S²). This is why N=2 has rich, interesting solutions.

However, in the N=3 and N=4 games, the rules are different. The authors found that for the universe to be "fully supersymmetric" (perfectly balanced), this special glue must be zero.

• If the glue is zero, the universe cannot curve.
• If the universe cannot curve, it must be flat.
• Therefore, the only perfect solution is a flat, empty sheet of spacetime.

Why Does This Matter?

This might sound boring ("So the universe is just flat?"), but it's actually huge news for physicists.

1. Black Holes: In the N=2 world, the center of a black hole (the horizon) is a perfect, supersymmetric funnel. This helps physicists understand how black holes work and count their tiny internal states (entropy).
2. The N=4 Problem: Since N=4 only allows flat space as a perfect solution, it implies that black holes in N=4 cannot have a "perfectly supersymmetric" center. The horizon of an N=4 black hole cannot be a perfect, unbreakable shape like it is in N=2. It's always "imperfect" in some way.

The Takeaway

Think of the universe as a puzzle.

• N=2 is a puzzle with many beautiful, curved pieces that fit together perfectly to make a sphere or a donut.
• N=3 and N=4 are puzzles where the pieces are so rigid that they only fit together if you lay them out on a flat table.

The authors proved that if you try to force a curve into the N=3 or N=4 puzzle, the picture falls apart. The only way to keep the picture perfect is to keep it flat. This helps scientists understand the limits of how complex our universe can be and why certain types of black holes behave differently depending on the "rules" (N) of the game.

Technical Summary

1. Problem Statement

The paper addresses the classification of fully supersymmetric (maximally BPS) solutions in four-dimensional $N=3$ and $N=4$ Poincaré supergravity theories, specifically those incorporating a class of higher-derivative corrections.

• Context: In $N=2$ supergravity, fully supersymmetric stationary solutions are known to include both flat spacetime and the Bertotti-Robinson geometry ($AdS_2 \times S^2$). The existence of the $AdS_2 \times S^2$ solution is crucial for the attractor mechanism and the microscopic counting of black hole entropy.
• The Gap: While it was established that in two-derivative $N=4$ supergravity, flat spacetime is the unique fully supersymmetric solution, it remained unclear whether this uniqueness persists when higher-derivative terms (specifically those related to the Weyl squared term via supersymmetry) are included.
• The Question: Do higher-derivative corrections in $N=3$ and $N=4$ supergravity allow for non-flat, fully supersymmetric solutions (like $AdS_2 \times S^2$) that preserve all 16 supercharges, or does flat spacetime remain the sole solution?

2. Methodology

The authors employ the Superconformal Formalism to analyze these theories. This approach offers significant technical advantages for handling higher-derivative terms off-shell.

• Framework: The analysis is conducted within Conformal Supergravity, which extends Poincaré supergravity by including local dilatations ($D$), special conformal transformations ($K$), and $S$-supersymmetry.
• Multiplets Used:
  • $N=4$: The standard Weyl multiplet and $N=4$ vector multiplets (including compensating multiplets).
  • $N=3$: The standard Weyl multiplet and $N=3$ vector multiplets.
• Higher-Derivative Construction: The theories are constructed using a Lagrangian $L = L_V + \lambda L_{CSG}$, where $L_{CSG}$ is the pure conformal supergravity invariant containing the Weyl-squared terms and their supersymmetric completions.
• Gauge Fixing: To transition from conformal to Poincaré supergravity, specific gauge conditions are imposed:
  • $K$-gauge: $b_\mu = 0$ (fixes dilatations).
  • $D$-gauge: Scalar field constraints (fixes scale).
  • $S$-gauge: Fermionic constraints.
• Killing Spinor Analysis:
  • The authors seek solutions where the supersymmetry variations of all fermions vanish ($\delta \Psi = 0$).
  • A key technical step involves handling $S$-supersymmetry. Since fermions transform under $S$-supersymmetry, the authors construct $S$-invariant combinations of spinors (using compensating fields from vector multiplets) to ensure the vanishing of variations is a physical condition independent of the $S$-gauge.
  • They systematically set the variations of the Weyl multiplet fermions ($\Lambda, \chi, \psi_\mu$) and vector multiplet fermions (gauginos) to zero.

3. Key Contributions

1. Proof of Uniqueness for $N=4$: The paper rigorously proves that in $N=4$ supergravity with higher-derivative corrections (constructed via the standard Weyl multiplet), flat spacetime is the only fully supersymmetric solution.
2. Extension to $N=3$: The authors extend this proof to $N=3$ supergravity, demonstrating that the result holds: flat spacetime is the unique fully supersymmetric solution even with higher-derivative terms.
3. Mechanism of Triviality: The analysis identifies the specific algebraic mechanism forcing the geometry to be flat. The vanishing of the variation of specific fermions (specifically $\Lambda$ in $N=4$ and $\Lambda_L$ in $N=3$) forces the auxiliary tensor fields ($T_{ab}^{ij}$ and $T_{ab}^i$) to vanish.
4. Explanation of $N=2$ Richness: The paper provides a structural explanation for why $N=2$ supergravity admits richer vacua (including $AdS_2 \times S^2$) while $N=3$ and $N=4$ do not. It attributes this to the truncation of the Weyl multiplet: in the $N=2$ truncation, the specific fermion ($\Lambda_L$) whose variation forces the auxiliary fields to zero is removed. Consequently, the auxiliary fields can remain non-zero, allowing for non-flat geometries.

4. Detailed Results

For $N=4$ Supergravity

• Conditions Derived: By setting the variation of the fermion $\Lambda^i$ to zero, the authors derive:
  • $P_\mu = 0$ (Coset scalars are constant).
  • $E_{ij} = 0$ (Auxiliary scalar vanishes).
  • $T_{ab}^{ij} = 0$ (Auxiliary tensor vanishes).
• Consequences:
  • The vanishing of $T_{ab}^{ij}$ implies the vanishing of the electromagnetic field strength ($\hat{F}_{ab} = 0$).
  • The vanishing of the variation of the gravitino field strength leads to $R(M)_{\mu\nu ab} = 0$ (vanishing Riemann curvature).
  • Result: The metric is flat ($g_{\mu\nu} = \eta_{\mu\nu}$), fluxes are zero, and scalar fields are constant.

For $N=3$ Supergravity

• Conditions Derived: Similarly, the variation of the fermion $\Lambda_L$ forces:
  • $E_i = 0$.
  • $T_{ab}^i = 0$.
• Consequences:
  • The vanishing of $T_{ab}^i$ forces the gauge field strength to zero.
  • The curvature constraints lead to $R_{\mu\nu\rho\sigma} = 0$.
  • Result: The unique solution is flat spacetime with constant scalars and no fluxes.

Comparison with $N=2$

• In $N=2$, the truncation from $N=3$ removes the $\Lambda_L$ field.
• Without the constraint $\delta \Lambda_L = 0$, the auxiliary field $T_{ab}^{ij}$ is not forced to zero.
• A non-zero $T_{ab}^{ij}$ corresponds to the radius of the $AdS_2 \times S^2$ geometry, allowing for non-trivial BPS vacua.

5. Significance and Implications

• Black Hole Physics: The result implies that the horizons of extremal black holes in $N=4$ supergravity cannot be fully supersymmetric (preserving all 16 supercharges). This aligns with recent arguments (e.g., [19]) suggesting that a decoupled $AdS_2 \times S^2$ near-horizon geometry preserving 16 supercharges is impossible in heterotic string theory contexts.
• Entropy Calculations: Since the attractor mechanism relies on a fully supersymmetric $AdS_2 \times S^2$ horizon, the standard attractor mechanism in its maximal form does not apply to $N=4$ black holes in the same way it does for $N=2$. This challenges previous methods of calculating black hole entropy in $N=4$ using $N=2$ truncations.
• Higher-Derivative Corrections: The proof holds to all orders in the derivative expansion for the class of theories considered. This suggests that the "flatness" of the vacuum is a robust feature of $N=3$ and $N=4$ supergravity, not an artifact of the two-derivative approximation.
• Future Directions: The authors suggest that while $AdS_2 \times S^2$ is not fully BPS, it might preserve a fraction of supersymmetry (e.g., 1/2-BPS or 1/4-BPS). Finding these partial-BPS solutions in higher-derivative $N=4$ supergravity is a necessary next step for understanding black hole entropy and the microscopic origin of the Bekenstein-Hawking formula in these theories.

In summary, the paper establishes a rigorous "no-go" theorem for non-flat, fully supersymmetric solutions in $N=3$ and $N=4$ supergravity with higher-derivative corrections, fundamentally distinguishing their vacuum structure from that of $N=2$ supergravity.