-
Proof of the Spacetime Penrose Inequality With Suboptimal Constant in the Asymptotically Flat and Asymptotically Hyperboloidal Regimes
Authors:
Brian Allen,
Edward Bryden,
Demetre Kazaras,
Marcus Khuri
Abstract:
We establish mass lower bounds of Penrose-type in the setting of $3$-dimensional initial data sets for the Einstein equations satisfying the dominant energy condition, which are either asymptotically flat or asymptotically hyperboloidal. More precisely, the lower bound consists of a universal constant multiplied by the square root of the minimal area required to enclose the outermost apparent hori…
▽ More
We establish mass lower bounds of Penrose-type in the setting of $3$-dimensional initial data sets for the Einstein equations satisfying the dominant energy condition, which are either asymptotically flat or asymptotically hyperboloidal. More precisely, the lower bound consists of a universal constant multiplied by the square root of the minimal area required to enclose the outermost apparent horizon. Here the outermost apparent horizon may contain both marginally outer trapped (MOTS) and marginally inner trapped (MITS) components. The proof is based on the harmonic level set approach to the positive mass theorem, combined with the Jang equation and techniques arising from the stability argument of Dong-Song \cite{Dong-Song}. As a corollary, we also obtain a version of the Penrose inequality for 3-dimensional asymptotically hyperbolic Riemannian manifolds.
△ Less
Submitted 14 April, 2025;
originally announced April 2025.
-
Volume Above Distance Below with Boundary II
Authors:
Brian Allen,
Edward Bryden
Abstract:
It was shown by B. Allen, R. Perales, and C. Sormani that on a closed manifold where the diameter of a sequence of Riemannian metrics is bounded, if the volume converges to the volume of a limit manifold, and the sequence of Riemannian metrics are $C^0$ converging from below then one can conclude volume preserving Sormani-Wenger Intrinsic Flat convergence. The result was extended to manifolds with…
▽ More
It was shown by B. Allen, R. Perales, and C. Sormani that on a closed manifold where the diameter of a sequence of Riemannian metrics is bounded, if the volume converges to the volume of a limit manifold, and the sequence of Riemannian metrics are $C^0$ converging from below then one can conclude volume preserving Sormani-Wenger Intrinsic Flat convergence. The result was extended to manifolds with boundary by B. Allen and R. Perales by a doubling with necks procedure which produced a closed manifold and reduced the case with boundary to the case without boundary. The consequence of the doubling with necks procedure was requiring a stronger condition than necessary on the boundary. Using the estimates for the Sormani-Wenger Intrinsic Flat distance on manifolds with boundary developed by B. Allen and R. Perales, we show that only a bound on the area of the boundary is needed in order to conclude volume preserving intrinsic flat convergence for manifolds with boundary. We also provide an example which shows that one should not expect convergence without a bound on area.
△ Less
Submitted 17 June, 2024;
originally announced June 2024.
-
Stability for a class of three-tori with small negative scalar curvature
Authors:
Edward Bryden,
Lizhi Chen
Abstract:
We define a flexible class of Riemmanian metrics on the three-torus. Then, using Stern's inequality relating scalar curvature to harmonic one-forms, we show that any sequence of metrics in this family whose negative part of the scalar curvature tends to zero in $L^2$ norm has a subsequence which converges to some flat metric on the three-torus in the sense of Dong-Song.
We define a flexible class of Riemmanian metrics on the three-torus. Then, using Stern's inequality relating scalar curvature to harmonic one-forms, we show that any sequence of metrics in this family whose negative part of the scalar curvature tends to zero in $L^2$ norm has a subsequence which converges to some flat metric on the three-torus in the sense of Dong-Song.
△ Less
Submitted 14 May, 2024; v1 submitted 19 April, 2024;
originally announced April 2024.
-
Exploring a Modification of $d_p$ Convergence
Authors:
Brian Allen,
Edward Bryden
Abstract:
In the work by M. C. Lee, A. Naber, and R. Neumayer a beautiful $\varepsilon$-regularity theorem is proved under small negative scalar curvature and entropy bounds. In that paper, the $d_p$ distance for Riemannian manifolds is introduced and the quantitative stability results are given in terms of this notion of distance, with important examples showing why other existing notions of convergence ar…
▽ More
In the work by M. C. Lee, A. Naber, and R. Neumayer a beautiful $\varepsilon$-regularity theorem is proved under small negative scalar curvature and entropy bounds. In that paper, the $d_p$ distance for Riemannian manifolds is introduced and the quantitative stability results are given in terms of this notion of distance, with important examples showing why other existing notions of convergence are not adequate in their setting. Due to the presence of an entropy bound, the possibility of long, thin splines forming along a sequence of Riemannian manifolds whose scalar curvature is becoming almost positive is ruled out. It is important to rule out such examples since the $d_p$ distance is not well behaved in the presences of splines that persist in the limit. Since there are many geometric stability conjectures where we want to allow for the presence of splines that persist in the limit, it is crucial to be able to modify the $d_p$ distance to retain its positive qualities and prevent it from being sensitive to splines. In this paper we explore one such modification of the $d_p$ distance and give a theorem which allows one to estimate the modified $d_p$ distance, which we expect to be useful in practice.
△ Less
Submitted 24 June, 2024; v1 submitted 22 November, 2023;
originally announced November 2023.
-
On the Stability of Llarull's Theorem in Dimension Three
Authors:
Brian Allen,
Edward Bryden,
Demetre Kazaras
Abstract:
Llarull's Theorem states that any Riemannian metric on the $n$-sphere which has scalar curv{\-}ature greater than or equal to $n(n-1)$, and whose distance function is bounded below by the unit sphere's, is isometric to the unit sphere. Gromov later posed the {\emph{Spherical Stability Problem}}, which probes the flexibility of this fact. We give a resolution to this problem in dimension $3$. Infor…
▽ More
Llarull's Theorem states that any Riemannian metric on the $n$-sphere which has scalar curv{\-}ature greater than or equal to $n(n-1)$, and whose distance function is bounded below by the unit sphere's, is isometric to the unit sphere. Gromov later posed the {\emph{Spherical Stability Problem}}, which probes the flexibility of this fact. We give a resolution to this problem in dimension $3$. Informally, the main result asserts that a sequence of Riemannian $3$-spheres whose distance functions are bounded below by the unit sphere's with uniformly bounded Cheeger isoperimetric constant and scalar curvatures tending to $6$ must approach the round $3$-sphere in the volume preserving Sormani-Wenger Intrinsic Flat sense. The argument is based on a proof of Llarull's Theorem due to Hirsch-Kazaras-Khuri-Zhang using spacetime harmonic functions.
△ Less
Submitted 24 November, 2023; v1 submitted 29 May, 2023;
originally announced May 2023.
-
Stability of the positive mass theorem and torus rigidity theorems under integral curvature bounds
Authors:
Brian Allen,
Edward Bryden,
Demetre Kazaras
Abstract:
Work of D. Stern and Bray-Kazaras-Khuri-Stern provide differential-geometric identities which relate the scalar curvature of Riemannian 3-manifolds to global invariants in terms of harmonic functions. These quantitative formulas are useful for stability results and show promise for more applications of this type. In this paper, we analyze harmonic maps to flat model spaces in order to address conj…
▽ More
Work of D. Stern and Bray-Kazaras-Khuri-Stern provide differential-geometric identities which relate the scalar curvature of Riemannian 3-manifolds to global invariants in terms of harmonic functions. These quantitative formulas are useful for stability results and show promise for more applications of this type. In this paper, we analyze harmonic maps to flat model spaces in order to address conjectures concerning the geometric stability of the positive mass theorem and the Geroch conjecture. By imposing integral Ricci curvature and isoperimetric bounds, we leverage the previously mentioned formulas to establish strong control on these harmonic maps. When the mass of an asymptotically flat manifold is sufficiently small or when a Riemannian torus has almost non-negative scalar curvature, we upgrade the maps to diffeomorphisms and give quantitative Hölder closeness to the model spaces.
△ Less
Submitted 9 October, 2022;
originally announced October 2022.
-
Sobolev Inequalities and Convergence For Riemannian Metrics and Distance Functions
Authors:
Brian Allen,
Edward Bryden
Abstract:
If one thinks of a Riemannian metric, $g_1$, analogously as the gradient of the corresponding distance function, $d_1$, with respect to a background Riemannian metric, $g_0$, then a natural question arises as to whether a corresponding theory of Sobolev inequalities exists between the Riemannian metric and its distance function. In this paper we study the sub-critical case $p < \frac{m}{2}$ and sh…
▽ More
If one thinks of a Riemannian metric, $g_1$, analogously as the gradient of the corresponding distance function, $d_1$, with respect to a background Riemannian metric, $g_0$, then a natural question arises as to whether a corresponding theory of Sobolev inequalities exists between the Riemannian metric and its distance function. In this paper we study the sub-critical case $p < \frac{m}{2}$ and show a Sobolev inequality exists where an $L^{\frac{p}{2}}$ bound on a Riemannian metric implies an $L^q$ bound on its corresponding distance function. We then use this result to state a convergence theorem and show how this theorem can be useful to prove geometric stability results by proving a version of Gromov's conjecture for tori with almost non-negative scalar curvature in the conformal case. Examples are given to show that the hypotheses of the main theorems are necessary.
△ Less
Submitted 5 June, 2023; v1 submitted 9 December, 2021;
originally announced December 2021.
-
Stability of the Spacetime Positive Mass Theorem in Spherical Symmetry
Authors:
Edward Bryden,
Marcus Khuri,
Christina Sormani
Abstract:
The rigidity statement of the positive mass theorem asserts that an asymptotically flat initial data set for the Einstein equations with zero ADM mass, and satisfying the dominant energy condition, must arise from an embedding into Minkowski space. In this paper we address the question of what happens when the mass is merely small. In particular, we formulate a conjecture for the stability stateme…
▽ More
The rigidity statement of the positive mass theorem asserts that an asymptotically flat initial data set for the Einstein equations with zero ADM mass, and satisfying the dominant energy condition, must arise from an embedding into Minkowski space. In this paper we address the question of what happens when the mass is merely small. In particular, we formulate a conjecture for the stability statement associated with the spacetime version of the positive mass theorem, and give examples to show how it is basically sharp if true. This conjecture is then established under the assumption of spherical symmetry in all dimensions. More precisely, it is shown that a sequence of asymptotically flat initial data satisfying the dominant energy condition, without horizons except possibly at an inner boundary, and with ADM masses tending to zero must arise from isometric embeddings into a sequence of static spacetimes converging to Minkowski space in the pointed volume preserving intrinsic flat sense. The difference of second fundamental forms coming from the embeddings and initial data must converge to zero in $L^p$, $1\leq p<2$. In addition some minor tangential results are also given, including the spacetime version of the Penrose inequality with rigidity statement in all dimensions for spherically symmetric initial data, as well as symmetry inheritance properties for outermost apparent horizons.
△ Less
Submitted 17 January, 2021; v1 submitted 26 June, 2019;
originally announced June 2019.
-
Sobolev bounds and convergence of Riemannian manifolds
Authors:
Brian Allen,
Edward Bryden
Abstract:
We consider sequences of compact Riemannian manifolds with uniform Sobolev bounds on their metric tensors, and prove that their distance functions are uniformly bounded in the Hölder sense. This is done by establishing a general trace inequality on Riemannian manifolds which is an interesting result on its own. We provide examples demonstrating how each of our hypotheses are necessary. In the Appe…
▽ More
We consider sequences of compact Riemannian manifolds with uniform Sobolev bounds on their metric tensors, and prove that their distance functions are uniformly bounded in the Hölder sense. This is done by establishing a general trace inequality on Riemannian manifolds which is an interesting result on its own. We provide examples demonstrating how each of our hypotheses are necessary. In the Appendix by the first author with Christina Sormani, we prove that sequences of compact integral current spaces without boundary (including Riemannian manifolds) that have uniform Hölder bounds on their distance functions have subsequences converging in the Gromov--Hausdorff (GH) sense. If in addition they have a uniform upper bound on mass (volume) then they converge in the Sormani--Wenger Intrinsic Flat (SWIF) sense to a limit whose metric completion is the GH limit. We provide an example of a sequence developing a cusp demonstrating why the SWIF and GH limits may not agree.
△ Less
Submitted 10 May, 2019; v1 submitted 1 October, 2018;
originally announced October 2018.
-
The Positive Mass Theorem with Angular Momentum and Charge for Manifolds with Boundary
Authors:
Edward T. Bryden,
Marcus A. Khuri,
Benjamin D. Sokolowsky
Abstract:
Motivated by the cosmic censorship conjecture in mathematical relativity, we establish the precise mass lower bound for an asymptotically flat Riemannian 3-manifold with nonnegative scalar curvature and minimal surface boundary, in terms of angular momentum and charge. In particular this result does not require the restrictive assumptions of simple connectivity and completeness, which are undesira…
▽ More
Motivated by the cosmic censorship conjecture in mathematical relativity, we establish the precise mass lower bound for an asymptotically flat Riemannian 3-manifold with nonnegative scalar curvature and minimal surface boundary, in terms of angular momentum and charge. In particular this result does not require the restrictive assumptions of simple connectivity and completeness, which are undesirable from both a mathematical and physical perspective.
△ Less
Submitted 24 January, 2021; v1 submitted 27 June, 2018;
originally announced June 2018.
-
Stability of the Positive Mass Theorem for Axisymmetric Manifolds
Authors:
Edward T. Bryden
Abstract:
Away from the central axis, we prove the stability of the Positive Mass Theorem in the $W^{1,p}$ sense for asymptotically flat axisymmetric manifolds with nonnegative scalar curvature satisfying some additional technical assumptions. We also derive estimates for the volumes of regions, the areas of axisymmetric surfaces, and the distances between points within the manifolds.
Away from the central axis, we prove the stability of the Positive Mass Theorem in the $W^{1,p}$ sense for asymptotically flat axisymmetric manifolds with nonnegative scalar curvature satisfying some additional technical assumptions. We also derive estimates for the volumes of regions, the areas of axisymmetric surfaces, and the distances between points within the manifolds.
△ Less
Submitted 6 June, 2018;
originally announced June 2018.
-
The Area-Angular Momentum-Charge Inequality for Black Holes With Positive Cosmological Constant
Authors:
Edward T. Bryden,
Marcus A. Khuri
Abstract:
We establish the conjectured area-angular momentum-charge inequality for stable apparent horizons in the presence of a positive cosmological constant, and show that it is saturated precisely for extreme Kerr-Newman-de Sitter horizons. As with previous inequalities of this type, the proof is reduced to minimizing an `area functional' related to a harmonic map energy; in this case maps are from the…
▽ More
We establish the conjectured area-angular momentum-charge inequality for stable apparent horizons in the presence of a positive cosmological constant, and show that it is saturated precisely for extreme Kerr-Newman-de Sitter horizons. As with previous inequalities of this type, the proof is reduced to minimizing an `area functional' related to a harmonic map energy; in this case maps are from the 2-sphere to the complex hyperbolic plane. The proof here is simplified compared to previous results for less embellished inequalities, due to the observation that the functional is convex along geodesic deformations in the target.
△ Less
Submitted 30 November, 2016;
originally announced November 2016.
