A note on the positive mass theorem with boundary
In this short note we explain how one can use established results to prove various versions of the positive mass theorem for initial data sets with boundary, in dimensions less than 8.
Source author record
Dan A. Lee
Dan A. Lee appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
ResearcherUnclaimed source record
Catalog footprint
What is connected
10works
4topics
4close collaborators
Research graph
See the researcher in context
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
Building this map preview
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
10 published item(s)
preprint2022arXiv
Bartnik mass minimizing initial data sets and improvability of the dominant energy scalar
We introduce the concept of improvability of the dominant energy scalar, and we derive strong consequences of non-improvability. In particular, we prove that a non-improvable initial data set without local symmetries must sit inside a null perfect fluid spacetime carrying a global Killing vector field. We also show that the dominant energy scalar is always almost improvable in a precise sense. Using these main results, we provide a characterization of Bartnik mass minimizing initial data sets which makes substantial progress toward Bartnik's stationary conjecture. Along the way we observe that in dimensions greater than eight there exist pp-wave counterexamples (without the optimal decay rate for asymptotically flatness) to the equality case of the spacetime positive mass theorem. As a consequence, there exist counterexamples to Bartnik's stationary and strict positivity conjectures in those dimensions.
0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv
Lower semicontinuity of mass under $C^0$ convergence and Huisken's isoperimetric mass
Given a sequence of asymptotically flat 3-manifolds of nonnegative scalar curvature with outermost minimal boundary, converging in the pointed $C^0$ Cheeger--Gromov sense to an asymptotically flat limit space, we show that the total mass of the limit is bounded above by the liminf of the total masses of the sequence. In other words, total mass is lower semicontinuous under such convergence. In order to prove this, we use Huisken's isoperimetric mass concept, together with a modified weak mean curvature flow argument. We include a brief discussion of Huisken's work before explaining our extension of that work. The results are all specific to three dimensions.
0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv
Intrinsic flat stability of the positive mass theorem for graphical hypersurfaces of Euclidean space
The rigidity of the Positive Mass Theorem states that the only complete asymptotically flat manifold of nonnegative scalar curvature and zero mass is Euclidean space. We study the stability of this statement for spaces that can be realized as graphical hypersurfaces in Euclidean space. We prove (under certain technical hypotheses) that if a sequence of complete asymptotically flat graphs of nonnegative scalar curvature has mass approaching zero, then the sequence must converge to Euclidean space in the pointed intrinsic flat sense. The appendix includes a new Gromov-Hausdorff and intrinsic flat compactness theorem for sequences of metric spaces with uniform Lipschitz bounds on their metrics.
0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv
Stability of the positive mass theorem for graphical hypersurfaces of Euclidean space
The rigidity of the positive mass theorem states that the only complete asymptotically flat manifold of nonnegative scalar curvature and zero mass is Euclidean space. We prove a corresponding stability theorem for spaces that can be realized as graphical hypersurfaces in $\mathbb{R}^{n+1}$. Specifically, for an asymptotically flat graphical hypersurface $M^n\subset \mathbb{R}^{n+1}$ of nonnegative scalar curvature (satisfying certain technical conditions), there is a horizontal hyperplane $Π\subset \mathbb{R}^{n+1}$ such that the flat distance between $M$ and $Π$ in any ball of radius $ρ$ can be bounded purely in terms of $n$, $ρ$, and the mass of $M$. In particular, this means that if the masses of a sequence of such graphs approach zero, then the sequence weakly converges (in the sense of currents, after a suitable vertical normalization) to a flat plane in $\mathbb{R}^{n+1}$. This result generalizes some of the earlier findings of the second author and C. Sormani and provides some evidence for a conjecture stated there.
0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv
Stability of the Positive Mass Theorem for Rotationally Symmetric Riemannian Manifolds
We study the stability of the Positive Mass Theorem using the Intrinsic Flat Distance. In particular we consider the class of complete asymptotically flat rotationally symmetric Riemannian manifolds with nonnegative scalar curvature and no interior closed minimal surfaces whose boundaries are either outermost minimal hypersurfaces or are empty. We prove that a sequence of these manifolds whose ADM masses converge to zero must converge to Euclidean space in the pointed Intrinsic Flat sense. In fact we provide explicit bounds on the Intrinsic Flat Distance between annular regions in the manifold and annular regions in Euclidean space by constructing an explicit filling manifold and estimating its volume. In addition, we include a variety of propositions that can be used to estimate the Intrinsic Flat distance between Riemannian manifolds without rotationally symmetry. Conjectures regarding the Intrinsic Flat stability of the Positive Mass Theorem in the general case are proposed in the final section.
0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv
The positive mass theorem for manifolds with distributional curvature
We formulate and prove a positive mass theorem for n-dimensional spin manifolds whose metrics have only the Sobolev regularity $C^0 \cap W^{1,n}$. At this level of regularity, the curvature of the metric is defined in the distributional sense only, and we propose here a (generalized) notion of ADM mass for such a metric. Our main theorem establishes that if the manifold is asymptotically flat and has non-negative scalar curvature distribution, then its (generalized) ADM mass is well-defined and non-negative, and vanishes only if the manifold is isometric to Euclidian space. Prior applications of Witten's spinor method by Lee and Parker and by Bartnik required the much stronger regularity $W^{2,2}$. Our proof is a generalization of Witten's arguments, in which we must treat the Dirac operator and its associated Lichnerowicz-Weitzenbock identity in the distributional sense and cope with certain averages of first-order derivatives of the metric over annuli that approach infinity. Finally, we observe that our arguments are not specific to scalar curvature and also allow us to establish a universal positive mass theorem.
0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv
The Penrose inequality for asymptotically locally hyperbolic spaces with nonpositive mass
In the asymptotically locally hyperbolic setting it is possible to have metrics with scalar curvature at least -6 and negative mass when the genus of the conformal boundary at infinity is positive. Using inverse mean curvature flow, we prove a Penrose inequality for these negative mass metrics. The motivation comes from a previous result of P. Chruściel and W. Simon, which states that the Penrose inequality we prove implies a static uniqueness theorem for negative mass Kottler metrics.
0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv
A positive mass theorem for Lipschitz metrics with small singular sets
We prove that the positive mass theorem applies to Lipschitz metrics as long as the singular set is low-dimensional, with no other conditions on the singular set. More precisely, let $g$ be an asymptotically flat Lipschitz metric on a smooth manifold $M^n$, such that $n<8$ or $M$ is spin. As long as $g$ has bounded $C^2$ norm and nonnegative scalar curvature on the complement of some singular set $S$ of Minkowski dimension less than $n/2$, the mass of $g$ must be nonnegative. We conjecture that the dimension of $S$ need only be less than $n-1$ for the result to hold. These results complement and contrast with earlier results of H. Bray, P. Miao, and Y. Shi and L.-F. Tam, where $S$ is a hypersurface.
0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv
Near-equality of the Penrose Inequality for rotationally symmetric Riemannian manifolds
This article is the sequel to our previous paper [LS] dealing with the near-equality case of the Positive Mass Theorem. We study the near-equality case of the Penrose Inequality for the class of complete asymptotically flat rotationally symmetric Riemannian manifolds with nonnegative scalar curvature whose boundaries are outermost minimal hypersurfaces. Specifically, we prove that if the Penrose Inequality is sufficiently close to being an equality on one of these manifolds, then it must be close to a Schwarzschild space with an appended cylinder, in the sense of Lipschitz Distance. Since the Lipschitz Distance bounds the Intrinsic Flat Distance on compact sets, we also obtain a result for Intrinsic Flat Distance, which is a more appropriate distance for more general near-equality results, as discussed in [LS]
0 citations0 reviewsNo code linkedOpen access