[Paper Review] The Conformal Flow of Metrics and the General Penrose Inequality

Qing‐Long Han, Marcus Khuri|arXiv (Cornell University)|Aug 30, 2014

Advanced Differential Geometry Research20 references3 citations

TL;DR

This paper extends the conformal flow of metrics to prove a generalized Penrose inequality for time-asymmetric initial data sets in general relativity, establishing a lower bound for the ADM mass in terms of the minimal area enclosing an outermost apparent horizon. By constructing a strictly positive warping function and coupling it to a generalized Jang equation, the authors show that equality holds only for Schwarzschild spacetime slices with outermost apparent horizons.

ABSTRACT

The conformal flow of metrics [2] has been used to successfully establish a special case of the Penrose inequality, which yields a lower bound for the total mass of a spacetime in terms of horizon area. Here we show how to adapt the conformal flow of metrics, so that it may be applied to the Penrose inequality for general initial data sets of the Einstein equations. The Penrose conjecture without the assumption of time symmetry is then reduced to solving a system of PDE with desirable properties.

Motivation & Objective

• To generalize the Penrose inequality to non-time-symmetric initial data sets of the Einstein equations, where the extrinsic curvature $ k \neq 0 $.
• To overcome the degeneracy issue in inverse mean curvature flow by introducing a nondegenerate coupling via a conformal flow of metrics with a carefully chosen warping function $ \phi $.
• To establish a lower bound for the ADM mass in terms of the minimal area $ A_{\text{min}} $ required to enclose an outermost apparent horizon, even in the absence of time symmetry.
• To prove that equality in the inequality holds if and only if the initial data arise from a spacelike slice of the Schwarzschild spacetime with an outermost, outerminimizing boundary.

Proposed method

• Adapt the conformal flow of metrics from Bray's work to time-asymmetric settings by introducing a new warping function $ \phi $ that remains strictly positive away from the boundary $ \partial M $, avoiding degeneracy.
• Utilize a generalized Jang equation $ H_{\Sigma} - \text{Tr}_{\Sigma}K = 0 $ on a graph $ \Sigma = \{ t = f(x) \} $ in a warped product manifold $ (M \times \mathbb{R}, g + \phi^2 dt^2) $, ensuring weakly nonnegative scalar curvature on $ \Sigma $.
• Define the warping function $ \phi $ via an integral formula involving the conformal factor $ u_t $ and the function $ v_t $ from the conformal flow, ensuring $ \phi = \phi_{\text{SC}} $ in the equality case.
• Use spinor parallelism and the existence of a basis of parallel spinors on the Jang surface $ \Sigma_t $ to deduce that the scalar curvature $ \overline{R} \equiv 0 $, implying isometry to $ \mathbb{R}^3 $ with Euclidean metric.
• Show that the induced metric $ \overline{g} $ on $ \Sigma_0 $ is isometric to the exterior of the Schwarzschild spacetime, and that the embedding into $ \mathbb{SC}^4 $ is isometric with second fundamental form matching $ k $.
• Establish that the boundary $ \partial M $ must be an outermost apparent horizon by showing $ \phi \to 0 $ at $ \partial M $, and that equality in the mass bound implies $ |\partial M| = A_{\text{min}} $.

Experimental results

Research questions

• RQ1 Can the conformal flow of metrics be adapted to prove the Penrose inequality for general, non-time-symmetric initial data sets with $ k \neq 0 $?
• RQ2 How can a nondegenerate coupling between the generalized Jang equation and the conformal flow be achieved, avoiding vanishing warping functions that cause degeneracy?
• RQ3 Under what conditions does equality hold in the generalized Penrose inequality, and what spacetime geometry corresponds to equality?
• RQ4 Is the minimal area $ A_{\text{min}} $ enclosing the outermost apparent horizon sufficient to bound the ADM mass from below in the time-asymmetric case?
• RQ5 Does the rigidity statement hold: does equality imply the initial data must arise from a spacelike slice of the Schwarzschild spacetime?

Key findings

• The ADM mass satisfies $ M_{\text{ADM}} \geq \sqrt{A_{\text{min}}/(16\pi)} $, extending the Penrose inequality to non-time-symmetric initial data sets.
• The warping function $ \phi $ is explicitly constructed via the conformal flow and shown to equal the Schwarzschild warping factor $ \phi_{\text{SC}} $ in the equality case.
• Equality holds if and only if the initial data arise from a spacelike slice of the Schwarzschild spacetime with an outermost, outerminimizing boundary.
• The Jang surface $ \Sigma_0 $ is isometric to the exterior of the $ t=0 $ slice of the Schwarzschild spacetime, and the induced metric $ \overline{g} $ is conformally flat with zero scalar curvature.
• The boundary $ \partial M $ is shown to be an outermost apparent horizon, and the condition $ |\partial M| = A_{\text{min}} $ is necessary for equality.
• The generalized Jang equation with the new $ \phi $ ensures nondegeneracy and allows the use of spinorial techniques to prove rigidity, confirming that only Schwarzschild data achieve equality.