More about Birkhoff's Invariant and Thorne's Hoop Conjecture for Horizons

TL;DR

This paper investigates geometric inequalities related to black hole horizons, testing conjectures involving Birkhoff's invariant and the shortest geodesic length across various black hole solutions in different spacetime dimensions, confirming their validity.

Contribution

It extends the validity of Birkhoff's invariant and related inequalities to a wide class of black hole solutions in multiple dimensions and theories, including those with cosmological constants and magnetic fields.

Findings

Conjectures hold for all tested four-charged rotating black holes.

Inequalities are valid in the presence of a negative cosmological constant.

Results suggest these geometric bounds are generally applicable across various black hole solutions.

Abstract

A recent precise formulation of the hoop conjecture in four spacetime dimensions is that the Birkhoff invariant $\beta$ (the least maximal length of any sweepout or foliation by circles) of an apparent horizon of energy $E$ and area $A$ should satisfy $\beta \le 4 \pi E$. This conjecture together with the Cosmic Censorship or Isoperimetric inequality implies that the length $\ell$ of the shortest non-trivial closed geodesic satisfies $\ell^2 \le \pi A$. We have tested these conjectures on the horizons of all four-charged rotating black hole solutions of ungauged supergravity theories and find that they always hold. They continue to hold in the the presence of a negative cosmological constant, and for multi-charged rotating solutions in gauged supergravity. Surprisingly, they also hold for the Ernst-Wild static black holes immersed in a magnetic field, which are asymptotic to the Melvin solution. In five spacetime dimensions we define $\beta$ as the least maximal area of all sweepouts of the horizon by two-dimensional tori, and find in all cases examined that $ \beta(g) \le \frac{16 \pi}{3} E$, which we conjecture holds quiet generally for apparent horizons. In even spacetime dimensions $D=2N+2$, we find that for sweepouts by the product $S^1 \times S^{D-4}$, $\beta$ is bounded from above by a certain dimension-dependent multiple of the energy $E$. We also find that $\ell^{D-2}$ is bounded from above by a certain dimension-dependent multiple of the horizon area $A$. Finally, we show that $\ell^{D-3}$ is bounded from above by a certain dimension-dependent multiple of the energy, for all Kerr-AdS black holes.