The balance problem for $n$ aligned black holes

This paper employs soliton methods to derive the most general rational boundary data on the symmetry axis for $n$ aligned, rotating, and charged black holes, thereby reducing the complex problem of finding stationary equilibrium configurations to analyzing a finite-parameter family of candidate solutions.

The Gist

Imagine you are trying to build a tower of spinning tops. In the world of everyday physics (Newtonian gravity), this is impossible. Gravity is like a giant, invisible magnet that only pulls things together. If you put two spinning tops near each other, they will inevitably crash into one another. There is no way for them to just hover there, perfectly still, without touching.

But in the strange, warped world of Einstein's General Relativity, things are a bit more magical. Here, gravity isn't just a pull; it's a dance. If two black holes are spinning in the same direction, their spin creates a "repulsive" force (like two magnets pushing against each other). If they also have an electric charge, that adds even more push.

The Big Question:
Could you arrange a group of these spinning, charged black holes so that the "pull" of gravity is perfectly canceled out by the "push" of their spin and electricity? Could you have a stable, stationary lineup of black holes floating in space, never merging and never flying apart?

For a long time, physicists have been stuck on this puzzle. We know it's impossible for just one black hole (it's just a lonely sphere), and we know it's impossible for two uncharged black holes. But what about three? Or ten? What if they are charged?

The Paper's Solution: A Mathematical "Magic Trick"
Jörg Hennig, the author of this paper, didn't try to solve the whole universe at once. Instead, he used a clever mathematical shortcut called "soliton methods."

Think of the problem of balancing black holes like trying to solve a massive, 3D jigsaw puzzle where the pieces are constantly changing shape. It's too hard to look at the whole picture. Hennig's trick was to look only at the edges of the puzzle.

He realized that if a solution does exist, the mathematical "fingerprint" of the black holes along the central line (the axis) must follow a very specific, simple pattern. It's like saying, "If a perfect tower of tops exists, the tops must be made of a specific type of plastic with a specific number of ridges."

The "Recipe" for a Solution
Hennig discovered that if these black holes are balanced, the math describing them must look like a fraction made of polynomials (which are just fancy algebraic recipes with numbers and variables).

• The Old Way: You had to solve a terrifyingly complex, infinite equation that changes at every single point in space.
• The New Way: You just have to find the right numbers to plug into a simple algebraic recipe.

It's like going from trying to bake a cake by guessing the temperature of every single molecule in the oven, to just following a recipe card that says: "Mix 2 cups of flour, 3 eggs, and 1 cup of sugar."

What This Means for the Future
This discovery is a massive simplification. It turns an impossible, infinite search into a finite, manageable one.

• For 1 Black Hole: We already knew the recipe. It works perfectly (this is the famous Kerr black hole).
• For 2 Uncharged Black Holes: We tried the recipe, and it failed. The math showed that no matter how you mix the ingredients, the tower always collapses or breaks. This proves two uncharged black holes can never balance.
• For 2 Charged or 3+ Black Holes: We now have the recipe card. We have a specific list of ingredients (parameters) to try.

The Catch
Just because you have a recipe doesn't mean the cake will taste good. Hennig's work gives us the candidate recipes. The next step is to check if any of these recipes actually produce a "cake" (a physical solution) that doesn't have holes in it, doesn't have weird singularities, and obeys the laws of physics.

The Bottom Line
Hennig hasn't proven that a lineup of multiple black holes can exist yet. But he has built the ultimate filter. He has shown us that if such a thing exists, it must look exactly like this specific mathematical shape. Now, physicists just have to check if any of those shapes are real. If they aren't, then the universe is even more lonely than we thought: black holes are destined to merge, never to sit in peaceful balance.

Technical Summary

1. Problem Statement

The paper addresses a fundamental open problem in General Relativity: Can a stationary equilibrium configuration of multiple, physically relevant black holes exist?

• The Conflict: In Newtonian gravity, gravitational attraction prevents the stationary equilibrium of separated bodies. In General Relativity, repulsive effects—specifically spin-spin interactions (between co-rotating objects) and electrostatic repulsion (between charged bodies)—could theoretically counteract gravitational attraction.
• The Specific Challenge: While static, reflectionally symmetric $n$-body configurations are known not to exist, the stationary case remains unresolved.
• Physical Constraints: The study focuses on subextremal black holes (those with non-zero surface gravity). This is motivated by the third law of black hole thermodynamics, which suggests extremal black holes (zero surface gravity) cannot be formed in finite physical processes. This distinguishes the problem from the Majumdar-Papapetrou solution, which describes static equilibrium but requires extremal, charged black holes.
• Significance: Resolving this is crucial for black hole uniqueness theorems. If stationary multi-black-hole solutions exist, the end-state of gravitational collapse would not necessarily be a single Kerr or Kerr-Newman black hole.

2. Mathematical Formulation and Methodology

The author employs soliton methods to tackle the nonlinear Einstein-Maxwell equations governing the spacetime.

• Spacetime Geometry: The study assumes a stationary, axisymmetric, asymptotically flat spacetime ($\Lambda = 0$) with $n$ aligned black holes. The metric is expressed in Weyl–Lewis–Papapetrou coordinates $(\rho, \zeta, \phi, t)$.
• Ernst Equations: The Einstein-Maxwell equations are reformulated using two complex potentials:
  • Gravitational Ernst potential: $E(\rho, \zeta)$
  • Electromagnetic Ernst potential: $\Phi(\rho, \zeta)$
    These satisfy a coupled nonlinear system of partial differential equations (PDEs).
• Integrability and Soliton Methods: The system is identified as completely integrable, belonging to the class of soliton equations. It is equivalent to the integrability condition of an associated Linear Problem (LP): a system of linear first-order PDEs for a $3 \times 3$ matrix function $Y(\rho, \zeta; K)$, where $K$ is a complex spectral parameter.
• Boundary Value Problem: The physical setup is defined as a boundary value problem on the symmetry axis ($\rho=0$):
  • Horizons ($H_i$): Represented as $n$ disjoint intervals on the $\zeta$-axis.
  • Axis Segments ($A_j$): The regions between horizons.
  • Conditions: Regularity on the axis, specific horizon conditions (null surfaces rotating with constant angular velocity $\Omega_i$), and asymptotic flatness at infinity.

3. Key Contributions and Derivation

The paper's primary contribution is a method to reduce the infinite-dimensional PDE problem to a finite-dimensional algebraic problem by analyzing the behavior of the solution on the symmetry axis.

• Axis Integration: Instead of solving the LP in the full 2D domain, the author integrates the LP along the boundaries (the $\zeta$-axis). On the axis, the LP simplifies to a system of ordinary differential equations (ODEs) that can be solved exactly.
• Structural Properties: The derivation relies on two key structural features of the LP:
  1. Riemann Surface Structure: The solution $Y$ is defined on a two-sheeted Riemann surface due to a square-root dependence on $K$. An algebraic transformation relates the solutions on the two sheets, allowing connection between $\zeta \to \infty$ and $\zeta \to -\infty$.
  2. Co-rotating Frame: The transformation to a frame co-rotating with a black hole (required for horizon boundary conditions) is expressed as a simple matrix multiplication on $Y$.
• Continuity and Constraints: By enforcing continuity at the poles (endpoints of horizon intervals) and utilizing the structural properties, the author derives strict constraints on the integration constants.
• Main Result (Rational Form): The analysis proves that if a stationary equilibrium exists, the Ernst potentials on the uppermost axis segment ($A_1$) must take a specific rational form:
  $$E(\zeta) = \frac{\pi_n(\zeta)}{r_n(\zeta)}, \quad \Phi(\zeta) = \frac{\pi_{n-1}(\zeta)}{r_n(\zeta)}$$
  Where:
  • $\pi_n$ and $r_n$ are monic complex polynomials of degree $n$.
  • $\pi_{n-1}$ is a complex polynomial of degree $n-1$.
  • The Hauser-Ernst theorem guarantees that these axis potentials uniquely determine the solution in the entire spacetime.

4. Results and Known Cases

The rational form (3) reduces the search for solutions to finding the coefficients of these polynomials that satisfy physical regularity conditions.

Required Physical Conditions:
To be physically viable, the solution must satisfy:

1. Freedom from naked singularities off the axis.
2. Absence of a NUT parameter (to ensure correct asymptotic behavior).
3. Absence of conical singularities ("struts") on the axis between black holes.
4. Vanishing net magnetic charge.

Review of Known Cases:

• Case $n=1$ (Single Black Hole): The rational form uniquely leads to the Kerr (vacuum) and Kerr-Newman (electrovacuum) solutions. This provides a constructive proof of the uniqueness of these single-black-hole solutions.
• Case $n=2$ (Vacuum): For two uncharged black holes, the axis potential corresponds to the double-Kerr-NUT family. A rigorous analysis of this family showed that any parameter choice free of "struts" forces at least one black hole to violate the universal inequality $8\pi|J| < A$ (a condition for regular subextremal black holes). Conclusion: Stationary two-black-hole configurations in vacuum do not exist.

Open Problems:

• The existence of stationary equilibrium for two charged black holes (electrovacuum).
• The existence of stationary equilibrium for three or more black holes (vacuum or electrovacuum).

5. Significance

This work represents a dramatic simplification of the balance problem.

• Reduction of Complexity: It transforms the problem from solving a highly nonlinear system of PDEs to analyzing a well-defined, finite-parameter family of candidate solutions (the coefficients of the polynomials).
• Systematic Approach: It provides a clear roadmap for future research: one must now determine if any set of coefficients within these rational families can simultaneously satisfy all physical regularity conditions (no struts, no singularities, subextremality).
• Implications: If no such parameters exist for $n \geq 2$, it would confirm that the end-state of gravitational collapse is always a single black hole, reinforcing the black hole uniqueness paradigm. If solutions are found, it would revolutionize our understanding of multi-body gravitational systems.