Topology and ϵ–regularity theorems on collapsed manifolds with Ricci curvature bounds

Aaron Naber, Ruobing Zhang

Research output: Contribution to journalArticlepeer-review

5 Scopus citations

Abstract

In this paper we discuss and prove ϵ –regularity theorems for Einstein manifolds (Mn, g), and more generally manifolds with just bounded Ricci curvature, in the collapsed setting. A key tool in the regularity theory of noncollapsed Einstein manifolds is the following. If x ϵ Mn is such that Vol(B1(x)) > υ > 0 and that B2(x) is sufficiently Gromov– Hausdorff close to a cone space B2(0n-, y*) ⊂ ℝn- ×C(Yℓ-1) for ℓ≤ 3, then in fact |Rm| ≤ 1 on B1(x). No such results are known in the collapsed setting, and in fact it is easy to see that without further assumptions such results are false. It turns out that the failure of such an estimate is related to topology. Our main theorem is that for the above setting in the collapsed context, either the curvature is bounded, or there are topological constraints on B1(x). More precisely, using established techniques one can see there exists ϵ(n) such that if (Mn; g) is an Einstein manifold and B2(x) is ϵ–Gromov–Hausdorff close to ball in B2(0k- ℓ, z*) ⊂ℝk-ℓ × Z, then the fibered fundamental group Γϵ(x) ≡ Image[π1(Bϵ(x))→π1(B2(x))is almost nilpotent with rank. Γϵ(x)) ≤ n-k. The main result of the this paper states that if rank(Γϵ(x)) = n - k is maximal, then |Rm| ≤ C on B1(x). In the case when the ball is close to Euclidean, this is both a necessary and sufficient condition. There are generalizations of this result to bounded Ricci curvature and even just lower Ricci curvature.

Original languageEnglish (US)
Pages (from-to)2575-2664
Number of pages90
JournalGeometry and Topology
Volume20
Issue number5
DOIs
StatePublished - Oct 7 2016

All Science Journal Classification (ASJC) codes

  • Geometry and Topology

Keywords

  • Epsilon regularity
  • Ricci curvature

Fingerprint

Dive into the research topics of 'Topology and ϵ–regularity theorems on collapsed manifolds with Ricci curvature bounds'. Together they form a unique fingerprint.

Cite this