Static manifolds with boundary: Their geometry and some uniqueness theorems

TL;DR

This paper explores the geometry and topology of static manifolds with boundary, establishing new theorems that connect their structure to properties of their potential's zero-level set, with implications for general relativity.

Contribution

It introduces new geometric and topological theorems for static manifolds with boundary, including characterizations and uniqueness results related to the potential's zero-level set.

Findings

Characterization of the round ball as the unique scalar-flat static manifold with mean-convex boundary and Morse index one zero-level set

An isoperimetric inequality for 3D static manifolds with boundary

Uniqueness theorems for domains bounded by the photon sphere in Schwarzschild manifold

Abstract

Static manifolds with boundary were recently introduced to mathematics. This kind of manifold appears naturally in the prescribed scalar curvature problem on manifolds with boundary when the mean curvature of the boundary is also prescribed. They are also interesting from the point of view of general relativity. For example, the (time-slice of the) photon sphere on the Riemannian Schwarzschild manifold splits it into static manifolds with boundary. In this paper, we prove a number of theorems that relate the topology and geometry of a given static manifold with boundary to some properties of the zero-level set of its potential (such as connectedness and closedness). Also, we characterize the round ball in the Euclidean 3-space with standard potential as the only scalar-flat static manifold with mean-convex boundary whose zero-level set of the potential has Morse index one. This result follows from a general isoperimetric inequality for 3-dimensional static manifolds with boundary, whose zero-level set of the potential has Morse index one. Finally, we prove some uniqueness theorems for the domains bounded by the photon sphere on the Riemannian Schwarzschild manifold.