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

Naber, Aaron¹ ; Zhang, Ruobing²

¹ Department of Mathematics, Northwestern University, Evanston, IL 60208, United States
² Department of Mathematics, Princeton University, Fine Hall, Washington Road, Princeton, NJ 08544-1000, United States

Geometry & topology, Tome 20 (2016) no. 5, pp. 2575-2664.

Résumé

In this paper we discuss and prove $ϵ$–regularity theorems for Einstein manifolds $\left(M^n,g\right)$, 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\in M^n$ is such that $V\; ol\left(B_1\left(x\right)\right)>v>0$ and that $B_2\left(x\right)$ is sufficiently Gromov–Hausdorff close to a cone space $B_2\left(0^{n-\ell },y^{\ast }\right)\subset {ℝ}^{n-\ell }\times C\left(Y^{\ell -1}\right)$ for $\ell \le 3$, then in fact $|Rm|\le 1$ on $B_1\left(x\right)$. 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 $B_1\left(x\right)$.

More precisely, using established techniques one can see there exists $ϵ\left(n\right)$ such that if $\left(M^n,g\right)$ is an Einstein manifold and $B_2\left(x\right)$ is $ϵ$–Gromov–Hausdorff close to ball in $B_2\left(0^{k-\ell },z^{\ast }\right)\subset {ℝ}^{k-\ell }\times Z^{\ell }$, then the fibered fundamental group ${\Gamma }_{ϵ}\left(x\right)\equiv Image\left[{\pi }_1\left(B_{ϵ}\left(x\right)\right)\to {\pi }_1\left(B_2\left(x\right)\right)\right]$ is almost nilpotent with $rank\left({\Gamma }_{ϵ}\left(x\right)\right)\le n-k$. The main result of the this paper states that if $rank\left({\Gamma }_{ϵ}\left(x\right)\right)=n-k$ is maximal, then $|Rm|\le C$ on $B_1\left(x\right)$. 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.

Détail

DOI : 10.2140/gt.2016.20.2575

Classification : 53C21, 53C25, 53B21
Keywords: epsilon regularity, Ricci curvature

Bibliographie

[1] M T Anderson, Convergence and rigidity of manifolds under Ricci curvature bounds, Invent. Math. 102 (1990) 429 | DOI

[2] M T Anderson, Hausdorff perturbations of Ricci-flat manifolds and the splitting theorem, Duke Math. J. 68 (1992) 67 | DOI

[3] M T Anderson, The L2 structure of moduli spaces of Einstein metrics on 4–manifolds, Geom. Funct. Anal. 2 (1992) 29 | DOI

[4] J Cheeger, T H Colding, Lower bounds on Ricci curvature and the almost rigidity of warped products, Ann. of Math. 144 (1996) 189 | DOI

[5] J Cheeger, T H Colding, On the structure of spaces with Ricci curvature bounded below, I, J. Differential Geom. 46 (1997) 406

[6] J Cheeger, D Gromoll, The splitting theorem for manifolds of nonnegative Ricci curvature, J. Differential Geometry 6 (1971/72) 119

[7] J Cheeger, A Naber, Lower bounds on Ricci curvature and quantitative behavior of singular sets, Invent. Math. 191 (2013) 321 | DOI

[8] J Cheeger, A Naber, Regularity of Einstein manifolds and the codimension 4 conjecture, Ann. of Math. 182 (2015) 1093 | DOI

[9] J Cheeger, G Tian, Curvature and injectivity radius estimates for Einstein 4–manifolds, J. Amer. Math. Soc. 19 (2006) 487 | DOI

[10] S Y Cheng, S T Yau, Differential equations on Riemannian manifolds and their geometric applications, Comm. Pure Appl. Math. 28 (1975) 333 | DOI

[11] T H Colding, A Naber, Sharp Hölder continuity of tangent cones for spaces with a lower Ricci curvature bound and applications, Ann. of Math. 176 (2012) 1173 | DOI

[12] X Dai, G Wei, R Ye, Smoothing Riemannian metrics with Ricci curvature bounds, Manuscripta Math. 90 (1996) 49 | DOI

[13] K Fukaya, T Yamaguchi, The fundamental groups of almost nonnegatively curved manifolds, Ann. of Math. 136 (1992) 253 | DOI

[14] M Gromov, Almost flat manifolds, J. Differential Geom. 13 (1978) 231

[15] M Gross, V Tosatti, Y Zhang, Gromov–Hausdorff collapsing of Calabi–Yau manifolds,

[16] M Gross, P M H Wilson, Large complex structure limits of K3 surfaces, J. Differential Geom. 55 (2000) 475

[17] V Kapovitch, A Petrunin, W Tuschmann, Nilpotency, almost nonnegative curvature, and the gradient flow on Alexandrov spaces, Ann. of Math. 171 (2010) 343 | DOI

[18] V Kapovitch, B Wilking, Structure of fundamental groups of manifolds with Ricci curvature bounded below,

[19] M I Kargapolov, J I Merzljakov, Fundamentals of the theory of groups, 62, Springer (1979)

[20] M S Raghunathan, Discrete subgroups of Lie groups, 68, Springer (1972)

[21] E A Ruh, Almost flat manifolds, J. Differential Geom. 17 (1982) 1

[22] Á Seress, Permutation group algorithms, 152, Cambridge Univ. Press (2003) | DOI

[23] G Wei, Examples of complete manifolds of positive Ricci curvature with nilpotent isometry groups, Bull. Amer. Math. Soc. 19 (1988) 311 | DOI

[24] T Yamaguchi, Collapsing and pinching under a lower curvature bound, Ann. of Math. 133 (1991) 317 | DOI

[25] T Yamaguchi, A convergence theorem in the geometry of Alexandrov spaces, from: "Actes de la Table Ronde de Géométrie Différentielle" (editor A L Besse), Sémin. Congr. 1, Soc. Math. France (1996) 601