dp–convergence and 𝜖–regularity theorems for entropy and scalar curvature lower bounds

Lee, Man-Chun; Naber, Aaron; Neumayer, Robin

doi:10.2140/gt.2023.27.227

Download this article
	For screen
	For printing

Recent Issues

The Journal

Submission Guidelines

Submission Page

Policies for Authors

Ethics Statement

ISSN 1364-0380 (online)

ISSN 1465-3060 (print)

Author Index

To Appear

Other MSP Journals

$d_p$–convergence and $\epsilon$–regularity theorems for entropy and scalar curvature lower bounds

Man-Chun Lee, Aaron Naber and Robin Neumayer

Geometry & Topology 27 (2023) 227–350

DOI: 10.2140/gt.2023.27.227

Abstract

Consider a sequence of Riemannian manifolds $(M_{i}^{n}, g_{i})$ whose scalar curvatures and entropies are bounded from below by small constants $R_{i}, μ_{i} \geq - 𝜖_{i}$ . The goal of this paper is to understand notions of convergence and the structure of limits for such spaces. As a first issue, even in the seemingly rigid case $𝜖_{i} \to 0$ , we will construct examples showing that from the Gromov–Hausdorff or intrinsic flat points of view, such a sequence may converge wildly, in particular to metric spaces with varying dimensions and topologies and at best a Finsler-type structure. On the other hand, we will see that these classical notions of convergence are the incorrect ones to consider. Indeed, even a metric space is the wrong underlying category to be working on.

Instead, we will introduce a weaker notion of convergence called $d_{p}$ –convergence, which is valid for a class of rectifiable Riemannian spaces. These rectifiable spaces will have a well-behaved topology, measure theory and analysis. This includes the existence of gradients of functions and absolutely continuous curves, though potentially there will be no reasonably associated distance function. Under this $d_{p}$ notion of closeness, a space with almost nonnegative scalar curvature and small entropy bounds must in fact always be close to Euclidean space, and this will constitute our $𝜖$ –regularity theorem. In particular, any sequence $(M_{i}^{n}, g_{i})$ with lower scalar curvature and entropies tending to zero must $d_{p}$ –converge to Euclidean space.

More generally, we have a compactness theorem saying that sequences of Riemannian manifolds $(M_{i}^{n}, g_{i})$ with small lower scalar curvature and entropy bounds $R_{i}, μ_{i} \geq - 𝜖$ must $d_{p}$ –converge to such a rectifiable Riemannian space $X$ . In the context of the examples from the first paragraph, it may be that the distance functions of $M_{i}$ are degenerating, even though in a well-defined sense the analysis cannot be. Applications for manifolds with small scalar and entropy lower bounds include an $L^{\infty}$ –Sobolev embedding and a priori $L^{p}$ scalar curvature bounds for $p < 1$ .

Keywords

scalar curvature, epsilon regularity, metric spaces

Mathematical Subject Classification

Primary: 53C21

References

Publication

Received: 27 January 2021

Revised: 9 August 2021

Accepted: 10 September 2021

Published: 1 May 2023

Proposed: John Lott

Seconded: Tobias H Colding, Bruce Kleiner

Authors

Man-Chun Lee
Department of Mathematics The Chinese University of Hong Kong Shatin, NT Hong Kong

Aaron Naber
Department of Mathematics Northwestern University Evanston, IL United States

Robin Neumayer
Department of Mathematical Sciences Carnegie Mellon University Pittsburgh, PA United States

Open Access made possible by participating institutions via Subscribe to Open.

Volume 27, issue 1 (2023)