-
Scalar curvature and volume entropy of hyperbolic 3-manifolds
Authors:
Demetre Kazaras,
Antoine Song,
Kai Xu
Abstract:
We show that any closed hyperbolic 3-manifold M admits a Riemannian metric with scalar curvature at least -6, but with volume entropy strictly larger than 2. In particular, this construction gives counterexamples to a conjecture of I. Agol, P. Storm and W. Thurston.
We show that any closed hyperbolic 3-manifold M admits a Riemannian metric with scalar curvature at least -6, but with volume entropy strictly larger than 2. In particular, this construction gives counterexamples to a conjecture of I. Agol, P. Storm and W. Thurston.
△ Less
Submitted 30 November, 2023;
originally announced December 2023.
-
Drawstrings and flexibility in the Geroch conjecture
Authors:
Demetre Kazaras,
Kai Xu
Abstract:
In this paper, we observe new phenomena related to the structure of 3-manifolds satisfying lower scalar curvature bounds. We construct warped-product manifolds of almost nonnegative scalar curvature that converge to pulled string spaces in the Sormani-Wenger intrinsic flat topology. These examples extend the results of Lee-Naber-Neumayer \cite{LNN} to the case of dimension $3$. As a consequence, w…
▽ More
In this paper, we observe new phenomena related to the structure of 3-manifolds satisfying lower scalar curvature bounds. We construct warped-product manifolds of almost nonnegative scalar curvature that converge to pulled string spaces in the Sormani-Wenger intrinsic flat topology. These examples extend the results of Lee-Naber-Neumayer \cite{LNN} to the case of dimension $3$. As a consequence, we produce the first counterexample to a conjecture of Sormani \cite{SormaniConj} on the stability of the Geroch Conjecture. Our example tests the appropriate hypothesis for a related conjecture of Gromov. On the other hand, we demonstrate a $W^{1,p}$-stability statement ($1\leq p<2$) for the Geroch Conjecture in the class of warped products.
△ Less
Submitted 21 December, 2023; v1 submitted 7 September, 2023;
originally announced September 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.
-
Spectral Torical Band Inequalities and Generalizations of the Schoen-Yau Black Hole Existence Theorem
Authors:
Sven Hirsch,
Demetre Kazaras,
Marcus Khuri,
Yiyue Zhang
Abstract:
Generalized torical band inequalities give precise upper bounds for the width of compact manifolds with boundary in terms of positive pointwise lower bounds for scalar curvature, assuming certain topological conditions. We extend several incarnations of these results in which pointwise scalar curvature bounds are replaced with spectral scalar curvature bounds. More precisely, we prove upper bounds…
▽ More
Generalized torical band inequalities give precise upper bounds for the width of compact manifolds with boundary in terms of positive pointwise lower bounds for scalar curvature, assuming certain topological conditions. We extend several incarnations of these results in which pointwise scalar curvature bounds are replaced with spectral scalar curvature bounds. More precisely, we prove upper bounds for the width in terms of the principal eigenvalue of the operator $-Δ+cR$, where $R$ denotes scalar curvature and $c>0$ is a constant. Three separate strategies are employed to obtain distinct results holding in different dimensions and under varying hypotheses, namely we utilize spacetime harmonic functions, $μ$-bubbles, and spinorial Callias operators. In dimension 3, where the strongest result is produced, we are also able to treat open and incomplete manifolds, and establish the appropriate rigidity statements. Additionally, a version of such spectral torus band inequalities is given where tori are replaced with cubes. Finally, as a corollary we generalize classical work of Schoen and Yau, on the existence of black holes due to concentration of matter, to higher dimensions and with alternate measurements of size.
△ Less
Submitted 27 January, 2023; v1 submitted 19 January, 2023;
originally announced January 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.
-
Rigid comparison geometry for Riemannian bands and open incomplete manifolds
Authors:
Sven Hirsch,
Demetre Kazaras,
Marcus Khuri,
Yiyue Zhang
Abstract:
Comparison theorems are foundational to our understanding of the geometric features implied by various curvature constraints. This paper considers manifolds with a positive lower bound on either scalar, 2-Ricci, or Ricci curvature, and contains a variety of theorems which provide sharp relationships between this bound and notions of {\em{width}}. Some inequalities leverage geometric quantities suc…
▽ More
Comparison theorems are foundational to our understanding of the geometric features implied by various curvature constraints. This paper considers manifolds with a positive lower bound on either scalar, 2-Ricci, or Ricci curvature, and contains a variety of theorems which provide sharp relationships between this bound and notions of {\em{width}}. Some inequalities leverage geometric quantities such as boundary mean curvature, while others involve topological conditions in the form of linking requirements or homological constraints. In several of these results open and incomplete manifolds are studied, one of which partially addresses a conjecture of Gromov in this setting. The majority of results are accompanied by rigidity statements which isolate various model geometries -- both complete and incomplete -- including a new characterization of round lens spaces, and other models that have not appeared elsewhere. As a byproduct, we additionally give new and quantitative proofs of several classical comparison statements such as Bonnet-Myers' and Frankel's Theorem, as well as a version of Llarull's Theorem and a notable fact concerning asymptotically flat manifolds. The results that we present vary significantly in character, however a common theme is present in that the lead role in each proof is played by \emph{spacetime harmonic functions}, which are solutions to a certain elliptic equation originally designed to study mass in mathematical general relativity.
△ Less
Submitted 25 May, 2023; v1 submitted 26 September, 2022;
originally announced September 2022.
-
Stability of the positive mass theorem under Ricci curvature lower bounds
Authors:
Demetre Kazaras,
Marcus Khuri,
Dan Lee
Abstract:
We establish Gromov-Hausdorff stability of the Riemannian positive mass theorem under the assumption of a Ricci curvature lower bound. More precisely, consider a class of orientable complete uniformly asymptotically flat Riemannian 3-manifolds with nonnegative scalar curvature, vanishing second homology, and a uniform lower bound on Ricci curvature. We prove that if a sequence of such manifolds ha…
▽ More
We establish Gromov-Hausdorff stability of the Riemannian positive mass theorem under the assumption of a Ricci curvature lower bound. More precisely, consider a class of orientable complete uniformly asymptotically flat Riemannian 3-manifolds with nonnegative scalar curvature, vanishing second homology, and a uniform lower bound on Ricci curvature. We prove that if a sequence of such manifolds has ADM mass approaching zero, then it must converge to Euclidean 3-space in the pointed Gromov-Hausdorff sense. In particular, this confirms Huisken and Ilmanen's conjecture on stability of the positive mass theorem under the assumptions described above. The proof is based on the harmonic level set approach to proving the positive mass theorem, combined with techniques used in the proof of Cheeger and Colding's almost splitting theorem. Furthermore, we show that the same results hold under a more general lower bound on scalar curvature.
△ Less
Submitted 9 November, 2021;
originally announced November 2021.
-
Spacetime Harmonic Functions and Applications to Mass
Authors:
Hubert Bray,
Sven Hirsch,
Demetre Kazaras,
Marcus Khuri,
Yiyue Zhang
Abstract:
In the pioneering work of Stern, level sets of harmonic functions have been shown to be an effective tool in the study of scalar curvature in dimension 3. Generalizations of this idea, utilizing level sets of so called spacetime harmonic functions as well as other elliptic equations, are similarly effective in treating geometric inequalities involving the ADM mass. In this paper, we survey recent…
▽ More
In the pioneering work of Stern, level sets of harmonic functions have been shown to be an effective tool in the study of scalar curvature in dimension 3. Generalizations of this idea, utilizing level sets of so called spacetime harmonic functions as well as other elliptic equations, are similarly effective in treating geometric inequalities involving the ADM mass. In this paper, we survey recent results in this context, focusing on applications of spacetime harmonic functions to the asymptotically flat and asymptotically hyperbolic versions of the spacetime positive mass theorem, and additionally introduce a new concept of total mass valid in both settings which is encoded in interpolation regions between generic initial data and model geometries. Furthermore, a novel and elementary proof of the positive mass theorem with charge is presented, and the level set approach to the Penrose inequality given by Huisken and Ilmanen is related to the current developments. Lastly, we discuss several open problems.
△ Less
Submitted 22 February, 2021;
originally announced February 2021.
-
Spacetime Harmonic Functions and the Mass of 3-Dimensional Asymptotically Flat Initial Data for the Einstein Equations
Authors:
Sven Hirsch,
Demetre Kazaras,
Marcus Khuri
Abstract:
We give a lower bound for the Lorentz length of the ADM energy-momentum vector (ADM mass) of 3-dimensional asymptotically flat initial data sets for the Einstein equations. The bound is given in terms of linear growth `spacetime harmonic functions' in addition to the energy-momentum density of matter fields, and is valid regardless of whether the dominant energy condition holds or whether the data…
▽ More
We give a lower bound for the Lorentz length of the ADM energy-momentum vector (ADM mass) of 3-dimensional asymptotically flat initial data sets for the Einstein equations. The bound is given in terms of linear growth `spacetime harmonic functions' in addition to the energy-momentum density of matter fields, and is valid regardless of whether the dominant energy condition holds or whether the data possess a boundary. A corollary of this result is a new proof of the spacetime positive mass theorem for complete initial data or those with weakly trapped surface boundary, and includes the rigidity statement which asserts that the mass vanishes if and only if the data arise from Minkowski space. The proof has some analogy with both the Witten spinorial approach as well as the marginally outer trapped surface (MOTS) method of Eichmair, Huang, Lee, and Schoen. Furthermore, this paper generalizes the harmonic level set technique used in the Riemannian case by Bray, Stern, and the second and third authors, albeit with a different class of level sets. Thus, even in the time-symmetric (Riemannian) case a new inequality is achieved.
△ Less
Submitted 16 January, 2021; v1 submitted 4 February, 2020;
originally announced February 2020.
-
Harmonic Functions and The Mass of 3-Dimensional Asymptotically Flat Riemannian Manifolds
Authors:
Hubert L. Bray,
Demetre P. Kazaras,
Marcus A. Khuri,
Daniel L. Stern
Abstract:
An explicit lower bound for the mass of an asymptotically flat Riemannian 3-manifold is given in terms of linear growth harmonic functions and scalar curvature. As a consequence, a new proof of the positive mass theorem is achieved in dimension three. The proof has parallels with both the Schoen-Yau minimal hypersurface technique and Witten's spinorial approach. In particular, the role of harmonic…
▽ More
An explicit lower bound for the mass of an asymptotically flat Riemannian 3-manifold is given in terms of linear growth harmonic functions and scalar curvature. As a consequence, a new proof of the positive mass theorem is achieved in dimension three. The proof has parallels with both the Schoen-Yau minimal hypersurface technique and Witten's spinorial approach. In particular, the role of harmonic spinors and the Lichnerowicz formula in Witten's argument is replaced by that of harmonic functions and a formula introduced by the fourth named author in recent work, while the level sets of harmonic functions take on a role similar to that of the Schoen-Yau minimal hypersurfaces.
△ Less
Submitted 15 November, 2019;
originally announced November 2019.
-
Smocked Metric Spaces and their Tangent Cones
Authors:
Christina Sormani,
Demetre Kazaras,
David Afrifa,
Victoria Antonetti,
Moshe Dinowitz,
Hindy Drillick,
Maziar Farahzad,
Shanell George,
Aleah Lydeatte Hepburn,
Leslie Trang Huynh,
Emilio Minichiello,
Julinda Mujo Pillati,
Srivishnupreeth Rendla,
Ajmain Yamin
Abstract:
We introduce the notion of a smocked metric spaces and explore the balls and geodesics in a collection of different smocked spaces. We find their rescaled Gromov-Hausdorff limits and prove these tangent cones at infinity exist, are unique, and are normed spaces. We close with a variety of open questions suitable for advanced undergraduates, masters students, and doctoral students.
We introduce the notion of a smocked metric spaces and explore the balls and geodesics in a collection of different smocked spaces. We find their rescaled Gromov-Hausdorff limits and prove these tangent cones at infinity exist, are unique, and are normed spaces. We close with a variety of open questions suitable for advanced undergraduates, masters students, and doctoral students.
△ Less
Submitted 31 August, 2020; v1 submitted 8 June, 2019;
originally announced June 2019.
-
Desingularizing positive scalar curvature 4-manifolds
Authors:
Demetre Kazaras
Abstract:
We show that the bordism group of closed 3-manifolds with positive scalar curvature (psc) metrics is trivial by explicit methods. Our constructions are derived from scalar-flat K{ä}hler ALE surfaces discovered by Lock-Viaclovsky. Next, we study psc 4-manifolds with metric singularities along points and embedded circles. Our psc null-bordisms are essential tools in a desingularization process devel…
▽ More
We show that the bordism group of closed 3-manifolds with positive scalar curvature (psc) metrics is trivial by explicit methods. Our constructions are derived from scalar-flat K{ä}hler ALE surfaces discovered by Lock-Viaclovsky. Next, we study psc 4-manifolds with metric singularities along points and embedded circles. Our psc null-bordisms are essential tools in a desingularization process developed by Li-Mantoulidis. This allows us to prove a non-existence result for singular psc metrics on enlargeable 4-manifolds with uniformly Euclidean geometry. As a consequence, we obtain a positive mass theorem for asymptotically flat 4-manifolds with non-negative scalar curvature and low regularity.
△ Less
Submitted 13 May, 2019;
originally announced May 2019.
-
On positive scalar curvature cobordisms and the conformal Laplacian on end-periodic manifolds
Authors:
Demetre Kazaras,
Daniel Ruberman,
Nikolai Saveliev
Abstract:
We show that the periodic $η$-invariants introduced by Mrowka--Ruberman--Saveliev~\cite{MRS3} provide obstructions to the existence of cobordisms with positive scalar curvature metrics between manifolds of dimensions $4$ and $6$. The proof combines a relative version of the Schoen--Yau minimal surface technique with an end-periodic index theorem for the Dirac operator. As a result, we show that th…
▽ More
We show that the periodic $η$-invariants introduced by Mrowka--Ruberman--Saveliev~\cite{MRS3} provide obstructions to the existence of cobordisms with positive scalar curvature metrics between manifolds of dimensions $4$ and $6$. The proof combines a relative version of the Schoen--Yau minimal surface technique with an end-periodic index theorem for the Dirac operator. As a result, we show that the bordism groups $Ω^{spin,+}_{n+1}(S^1 \times BG)$ are infinite for any non-trivial group $G$ which is the fundamental group of a spin spherical space form of dimension $n=3$ or $5$.
△ Less
Submitted 28 October, 2019; v1 submitted 1 February, 2019;
originally announced February 2019.
-
An intrinsic flat limit of Riemannian manifolds with no geodesics
Authors:
Jorge Basilio,
Demetre Kazaras,
Christina Sormani
Abstract:
In this paper we produce a sequence of Riemannian manifolds $M_j^m$, $m \ge 2$, which converge in the intrinsic flat sense to the unit $m$-sphere with the restricted Euclidean distance. This limit space has no geodesics achieving the distances between points, exhibiting previously unknown behavior of intrinsic flat limits. In contrast, any compact Gromov-Hausdorff limit of a sequence of Riemannian…
▽ More
In this paper we produce a sequence of Riemannian manifolds $M_j^m$, $m \ge 2$, which converge in the intrinsic flat sense to the unit $m$-sphere with the restricted Euclidean distance. This limit space has no geodesics achieving the distances between points, exhibiting previously unknown behavior of intrinsic flat limits. In contrast, any compact Gromov-Hausdorff limit of a sequence of Riemannian manifolds is a geodesic space. Moreover, if $m\geq3$, the manifolds $M_j^m$ may be chosen to have positive scalar curvature.
△ Less
Submitted 29 October, 2018;
originally announced October 2018.
-
Minimal hypersurfaces and bordism of positive scalar curvature metrics
Authors:
Boris Botvinnik,
Demetre Kazaras
Abstract:
Let $(Y,g)$ be a compact Riemannian manifold of positive scalar curvature (psc). It is well-known, due to Schoen-Yau, that any closed stable minimal hypersurface of $Y$ also admits a psc-metric. We establish an analogous result for stable minimal hypersurfaces with free boundary. Furthermore, we combine this result with tools from geometric measure theory and conformal geometry to study psc-bordis…
▽ More
Let $(Y,g)$ be a compact Riemannian manifold of positive scalar curvature (psc). It is well-known, due to Schoen-Yau, that any closed stable minimal hypersurface of $Y$ also admits a psc-metric. We establish an analogous result for stable minimal hypersurfaces with free boundary. Furthermore, we combine this result with tools from geometric measure theory and conformal geometry to study psc-bordism. For instance, assume $(Y_0,g_0)$ and $(Y_1,g_1)$ are closed psc-manifolds equipped with stable minimal hypersurfaces $X_0 \subset Y_0$ and $X_1\subset Y_1$. Under natural topological conditions, we show that a psc-bordism $(Z,\bar g) : (Y_0,g_0)\rightsquigarrow (Y_1,g_1)$ gives rise to a psc-bordism between $X_0$ and $X_1$ equipped with the psc-metrics given by the Schoen-Yau construction.
△ Less
Submitted 3 February, 2017; v1 submitted 28 September, 2016;
originally announced September 2016.
-
Gluing Scalar-Flat Manifolds with Vanishing Mean Curvature on the Boundary
Authors:
Demetre Kazaras
Abstract:
We establish a gluing theorem for solutions of a Yamabe problem for manifolds with boundary studied by Escobar in the 90's. Given two scalar-flat Riemannian manifolds whose boundary has zero mean curvature and sharing a submanifold $K$, we produce the generalized connected sum along $K$. On this third manifold we produce a family of scalar-flat metrics with small, constant mean curvature on the bo…
▽ More
We establish a gluing theorem for solutions of a Yamabe problem for manifolds with boundary studied by Escobar in the 90's. Given two scalar-flat Riemannian manifolds whose boundary has zero mean curvature and sharing a submanifold $K$, we produce the generalized connected sum along $K$. On this third manifold we produce a family of scalar-flat metrics with small, constant mean curvature on the boundary which are close to the original metrics in the $C^2$ sense. Under extra geometric conditions on the original manifolds, we can arrange for this family to also have vanishing mean curvature on the boundary.
△ Less
Submitted 16 May, 2016; v1 submitted 19 January, 2016;
originally announced January 2016.
-
Harnack Estimate for the Endangered Species Equation
Authors:
Xiaodong Cao,
Mark Cerenzia,
Demetre Kazaras
Abstract:
We prove a differential Harnack inequality for the Endangered Species Equation, a nonlinear parabolic equation. Our derivation relies on an idea related to the parabolic maximum principle. As an application of this inequality, we will show that positive solutions to this equation must blowup in finite time. We also use this inequality to partially answer a question of Hamilton, 2011.
We prove a differential Harnack inequality for the Endangered Species Equation, a nonlinear parabolic equation. Our derivation relies on an idea related to the parabolic maximum principle. As an application of this inequality, we will show that positive solutions to this equation must blowup in finite time. We also use this inequality to partially answer a question of Hamilton, 2011.
△ Less
Submitted 26 June, 2014;
originally announced June 2014.
-
An Explicit Formula for the Spherical Curves with Constant Torsion
Authors:
Demetre Kazaras,
Ivan Sterling
Abstract:
The purpose of this article is to give an explicit formula for all curves of constant torsion $τ$ in the unit two-sphere $S^2(1)$. These curves and their basic properties have been known since the 1890's, and some of these properties are discussed in the Appendix. Some example curves, computed with a standard ODE package, with $τ=.1,.5,1,2$ are shown in Figure \ref{peter}. Though their existence a…
▽ More
The purpose of this article is to give an explicit formula for all curves of constant torsion $τ$ in the unit two-sphere $S^2(1)$. These curves and their basic properties have been known since the 1890's, and some of these properties are discussed in the Appendix. Some example curves, computed with a standard ODE package, with $τ=.1,.5,1,2$ are shown in Figure \ref{peter}. Though their existence and some of their general properties were known, our explicit formulas for them, in terms of hypergeometric functions, are new.
△ Less
Submitted 30 November, 2013;
originally announced December 2013.