arXiv subjects

Edward Bryden

Publications and source records attributed to Edward Bryden.

10 recordsLinked to original sources

arXiv2026

Torus and Positive Mass stability for metrics with Ricci curvature lower bound

Consider a sequence of metrics $g_i$ on the torus whose members have uniform lower bounds on their first stable systoles and Ricci curvatures, and have a uniform upper bound on their diameters. If the $L^1$ norm of the negative part of the scalar curvatures vanishes along this sequence, then we show there is a subsequence of the metrics which converges in the measured-Gromov-Hausdorff topology to a flat metric on the torus. Something analogous holds for sequences of asymptotically flat spin Riemannian manifolds with a uniform lower bound on Ricci curvature and nonnegative scalar curvature: if the ADM masses of the distinguished ends tend to zero along the sequence, then the manifolds converge to Euclidean space in the pointed measured Gromov-Hausdorff sense.

math.DG↗

arXiv2025

Proof of the Spacetime Penrose Inequality With Suboptimal Constant in the Asymptotically Flat and Asymptotically Hyperboloidal Regimes

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.

math.DG↗

arXiv2024

Volume Above Distance Below with Boundary II

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.

math.DG↗

arXiv2024

Stability for a class of three-tori with small negative scalar curvature

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.

math.DG↗

arXiv2023

On the Stability of Llarull's Theorem in Dimension Three

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.

math.DG↗

arXiv2023

Exploring a Modification of $d_p$ Convergence

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.

math.DG↗

arXiv2023

Sobolev Inequalities and Convergence For Riemannian Metrics and Distance Functions

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.

math.DG↗

arXiv2022

Stability of the positive mass theorem and torus rigidity theorems under integral curvature bounds

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.

math.DG↗

arXiv2021

Stability of the Spacetime Positive Mass Theorem in Spherical Symmetry

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.

math.DG↗

arXiv2019

Sobolev bounds and convergence of Riemannian manifolds

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.

math.DG↗