Uniqueness of equipotential photon surfaces in 4-dimensional static vacuum asymptotically flat spacetimes for positive, negative, and zero mass -- and a new partial proof of the Willmore inequality

Abstract

We present different proofs of the uniqueness of 4-dimensional static vacuum asymptotically flat spacetimes containing a connected equipotential photon surface or in particular a connected photon sphere. We do not assume that the equipotential photon surface is outward directed or non-degenerate and hence cover not only the positive but also the negative and the zero mass case which has not yet been treated in the literature. Our results partially reproduce and extend beyond results by Cederbaum and by Cederbaum and Galloway. In the positive and negative mass cases, we give three proofs which are based on the approaches to proving black hole uniqueness by Israel, Robinson, and Agostiniani--Mazzieri, respectively. In the zero mass case, we give four proofs. One is based on the positive mass theorem, the second one is inspired by Israel's approach and in particular leads to a new proof of the Willmore inequality in $({\mathbb{R}}^3,\delta )$, under a technical assumption. The remaining two proofs are inspired by proofs of the Willmore inequality by Cederbaum and Miehe and by Agostiniani and Mazzieri, respectively. In particular, this suggests to view the Willmore inequality and its rigidity case as a zero mass version of equipotential photon surface uniqueness.

arXiv commentresults improved in view of decay rates, vanishing mass/degenerate photon surface case treated exhaustively

References in corpus (12)

• Uniqueness and non-uniqueness of static vacuum black holes in higher dimensions
• Uniqueness of photon spheres in electro-vacuum spacetimes
• Uniqueness of the static Einstein-Maxwell spacetimes with a photon sphere
• Classification of the static and asymptotically flat Einstein-Maxwell-dilaton spacetimes with a photon sphere
• Computing asymptotic invariants with the Ricci tensor on asymptotically flat and hyperbolic manifolds
• Photon surfaces with equipotential time-slices
• A spinorial proof of the rigidity of the Riemannian Schwarzschild manifold
• On equipotential photon surfaces in (electro-)static spacetimes of arbitrary dimension
• A new proof of the Willmore inequality via a divergence inequality
• Comparison geometry for substatic manifolds and a weighted Isoperimetric Inequality
• Uniqueness of static vacuum asymptotically flat black holes and equipotential photon surfaces in $n+1$ dimensions à la Robinson
• Black Hole and Equipotential Photon Surface Uniqueness in 4-dimensional Asymptotically Flat Electrostatic Electro-Vacuum Spacetimes