Lower bounds on Ricci curvature and quantitative behavior of singular sets
Name
222_2012_Article_394.pdf
Size
632.49 KB
Format
Adobe PDF
Checksum (MD5)
0f0ccd1c8e88360f0276dcb3a2d2d8fe
Author(s)
Cheeger, Jeff
Naber, Aaron Charles
Date Issued
March 2012
Journal
Inventiones mathematicae
Publisher
Springer-Verlag
Citation
Cheeger, Jeff, and Aaron Naber. “Lower Bounds on Ricci Curvature and Quantitative Behavior of Singular Sets.” Inventiones mathematicae 191.2 (2013): 321–339.
Version
Author's final manuscript
Abstract
Let Yn denote the Gromov-Hausdorff limit M[superscript n][subscript i][d[subscript GH] over ⟶]Y[superscript n] of v-noncollapsed Riemannian manifolds with Ric[subscript M[superscript n][subscript i]] ≥ −(n−1). The singular set S ⊂ Y has a stratification S[superscript 0] ⊂ S[superscript 1] ⊂ ⋯ ⊂ S, where y ∈ S[superscript k] if no tangent cone at y splits off a factor ℝ[superscript k+1] isometrically. Here, we define for all η > 0, 0 < r ≤1, the k-th effective singular stratum S[superscript k][subscript η,r] satisfying ⋃[subscript η]⋂[subscript r]S[superscript k][subscript η,r] = S[superscript k]. Sharpening the known Hausdorff dimension bound dim S[superscript k] ≤ k, we prove that for all y, the volume of the r-tubular neighborhood of S[superscript k][subscript η,r] satisfies Vol(T[subscript r](S[superscript k][subscript η,r])∩B[subscript 1/2](y)) ≤ c(n,v,η)r[superscript n−k−η]. The proof involves a quantitative differentiation argument. This result has applications to Einstein manifolds. Let B[subscript r] denote the set of points at which the C[superscript 2]-harmonic radius is ≤ r. If also the M[superscript n][subscript i] are Kähler-Einstein with L[subscript 2] curvature bound, ∥Rm∥[subscript L2] ≤ C, then Vol(B[subscript r]∩B[subscript 1/2](y)) ≤ c(n,v,C)r[superscript 4] for all y. In the Kähler-Einstein case, without assuming any integral curvature bound on the M[superscript n][subscript i], we obtain a slightly weaker volume bound on B[subscript r] which yields an a priori L[subscript p] curvature bound for all p < 2. The methodology developed in this paper is new and is applicable in many other contexts. These include harmonic maps, minimal hypersurfaces, mean curvature flow and critical sets of solutions to elliptic equations.
MIT Department
Massachusetts Institute of Technology. Department of Mathematics
Terms of Use
Creative Commons Attribution-Noncommercial-Share Alike
Persistent DSpace Link
DOI of Published Version
https://doi.org/10.1007/s00222-012-0394-3
