Abstract
These notes are intended to be an introduction to the geometrisation of 3-manifold. The goal is not to give detailed proofs of the results presented here, but mainly to emphasize geometric properties of 3-manifolds and to illustrate some basic ideas or methods underlying Perelman’s proof of the geometrisation conjecture. The material is largely based on the monographs (Bessière et al., EMS Tracts Math 13, 2010) and (Boileau et al., Monographie, Panorama et Synthèse 15:167 pp, 2003). The author wants to thank the organizers of the CIME Summer School in Cetraro 2010 for their patience whilst these notes were completed.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
I. Agol, The virtual Haken conjecture. With an appendix by Agol, Daniel Groves, and Jason Manning. Doc. Math. 18, 1045–1087 (2013)
M.T. Anderson, Scalar curvature and the existence of geometric structures on 3-manifolds. I. J. Reine Angew. Math. 553 (2002)
R. Benedetti, C. Petronio, Lectures on Hyperbolic Geometry. Universitext (Springer, Berlin, 1992)
L. Bessières, Sur le volume minimal des variétés ouvertes. Ann. Inst. Fourier 50 (3), 965–980 (2000)
L. Bessières, G. Besson, M. Boileau, S. Maillot, J. Porti, Geometrisation of 3-manifolds. EMS Tracts Math. 13 (2010)
L. Bessières, G. Besson, M. Boileau, S. Maillot, J. Porti, Collapsing irreducible 3-manifolds with non-trivial fundamental group. Invent. Math. 179, 435–460 (2010)
G. Besson, G. Courtois, S. Gallot, Minimal entropy and Mostow’s rigidity theorems. Ergodic Theory Dyn. Syst. 16, 623–649 (1996)
M. Boileau, Uniformization en dimension trois, in Séminaire Bourbaki, 1998/99; Astérisque 266, Exp. No. 855, 137–174 (2000)
M. Boileau, D. Cooper, On three-manifolds with bounded geometry. Bol. Soc. Mat. Mex. 10 (3), Special Issue, 43–53 (2004)
M. Boileau, J. Porti, Geometrization of 3-orbifolds of cyclic type. Appendix A by M. Heusener and Porti. Astérisque 272 (2001)
M. Boileau, S. Druck, E. Vogt, A vanishing theorem for the Gromov volume with an application to circle foliations. Math. Ann. 322, 493–524 (2002)
M. Boileau, S. Maillot, J. Porti, Three-dimensional orbifolds and their geometric structures. Monographie, Panorama et Synthèse 15, 167 pp. (2003)
J. Boland, C. Connell, J. Souto, Volume rigidity for finite volume manifolds. Am. J. Math. 127, 535–550 (2005)
F. Bonahon, Geometric structures on 3-manifolds, in Handbook of Geometric Topology (North-Holland, Amsterdam, 2002), pp. 93–164
D. Burago, Y. Burago, S. Ivanov, A Course in Metric Geometry. Graduate Studies in Mathematics, vol. 33 (American Mathematical Society, Providence, 2001)
H.-D. Cao, X.-P. Zhu, A complete proof of the Poincaré and geometrization conjectures—application of the Hamilton-Perelman theory of the Ricci flow. Asian J. Math. 10, 165–492 (2006)
A. Casson, D. Jungreis, Convergence group and Seifert fibered 3-manifolds. Invent. Math. 118, 441–456 (1994)
I. Chavel, Riemannian Geometry - A Modern Introduction (Cambridge University Press, Cambridge, 1993)
J. Cheeger, Finiteness theorems for Riemannian manifolds. Am. J. Math. 92, 61–75 (1970)
J. Cheeger, D. Gromoll, On the structure of complete manifolds of nonnegative curvature. Ann. Math. (2) 96, 413–443 (1972)
J. Cheeger, M. Gromov, Collapsing Riemannian manifolds while keeping their curvature bounded. Part I: J. Differ. Geom. 23, 309–346 (1986); Part II: J. Differ. Geom. 32, 269–298 (1990)
J. Cheeger, M. Gromov, Chopping Riemannian manifolds, in Pitman Monographs Surveys Pure Appl. Math, vol. 52 (Longman Sci. Tech., Harlow, 1991), pp. 85–94
J. Cheeger, K. Fukaya, M. Gromov, Nilpotent structures and invariant metrics on collapsed manifolds. J. Am. Math. Soc. 5, 327–372 (1992)
B. Chow, D. Knopf, The Ricci Flow: An Introduction. Mathematical Surveys and Monographs, vol. 110 (American Mathematical Society, Providence, 2004)
T.H. Colding, W.P. Minicozzi, II, Estimates for the extinction time for the Ricci flow on certain 3-manifolds and a question of Perelman. J. Am. Math. Soc. 18, 561–569 (2005)
T.H. Colding, W.P. Minicozzi, II, Width and finite extinction time of ricci flow. Geom. Topol. 12, 2537–2586 (2008)
F. Fang, Gromov-Hausdorff convergence of Riemannian manifolds, in XI Escola de Geometria Diferencial (Universidae Federal Fluminense, Niteroi, 2000)
K. Fukaya, Hausdorff convergence of Riemannian manifolds and its applications, in Recent Topics in Differential and Analytic Geometry. Advanced Studies in Pure Math., vol. 18-I (North-Holland, Amsterdam, 1990), pp. 143–238
D. Gabai, Convergence groups are Fuchsian groups. Ann. Math. 136, 447–510 (1992)
J.C. Gómez-Larrañaga, F. González-Acuña, Lusternik-Schnirelmann category of 3- manifolds. Topology 31, 791–800 (1992)
R. Greene, H. Wu, Lipschitz convergence of Riemannian manifolds. J. Pac. J. Math. 131, 119–141 (1988)
M. Gromov, Hyperbolic manifolds (according to Thurston and Jørgensen), in Bourbaki Seminar, Vol. 1979/80. Lecture Notes in Math., vol. 842 (Springer, Berlin, 1981), pp. 40–53
M. Gromov, Structures métriques pour les variétés riemanniennes, ed. by J. Lafontaine, P. Pansu. Textes Mathématiques [Mathematical Texts], vol. 1 (CEDIC, Paris, 1981)
M. Gromov, Volume and bounded cohomology. Inst. Hautes Études Sci. Publ. Math. 56, 5–99 (1983)
M. Gromov, Metric Structures for Riemannian and Non-Riemannian Spaces. Progress in Mathematics, vol. 152 (Birkhaüser, Basel, 1999)
W. Haken, Theorie der Normalflächen. Acta Math. 105, 245–375 (1961)
W. Haken, Some results on surfaces in 3-manifolds, in Studies in Modern Topology. M.A.A. Studies in Math., vol. 5 (Prentice Hall, Englewood Cliffs, 1968), pp. 39–98
R.S. Hamilton, Three-manifolds with positive Ricci curvature. J. Differ. Geom. 17 (2), 255–306 (1982)
R.S. Hamilton, Four-manifolds with positive curvature operator. J. Differ. Geom. 24 (2), 153–179 (1986)
R.S. Hamilton, A compactness property for solutions of the Ricci flow. Am. J. Math. 117 (3), 545–572 (1995)
R.S. Hamilton, Four-manifolds with positive isotropic curvature. Commun. Anal. Geom. 1, 1–92 (1997)
R.S. Hamilton, Non-singular solutions of the Ricci flow on three-manifolds. Commun. Anal. Geom. 7 (4), 695–729 (1999)
J. Hempel, 3-Manifolds. Ann. of Math. Studies, vol. 86 (Princeton University Press, Princeton; University of Tokyo Press, Tokyo, 1976)
W. Hurewicz, H. Wallman, Dimension Theory. Princeton Mathematical Series, vol. 4 (Princeton University Press, Princeton, 1941)
N.V. Ivanov, Foundations of the theory of bounded cohomology. J. Sov. Math. 37, 1090–1115 (1987)
W. Jaco, Lectures on Three-Manifold Topology. CBMS Regional Conference Series in Mathematics, vol. 43 (American Mathematical Society, Providence, 1980)
W. Jaco, P.B. Shalen, Seifert fibred spaces in 3-manifolds. Mem. Am. Math. Soc. 220 (1979)
K. Johannson, Homotopy Equivalences of 3-Manifolds with Boundary. Lecture Notes in Mathematics, vol. 761 (Springer, Heidelberg, 1979)
M. Kapovich, Hyperbolic Manifolds and Discrete Groups. Progress in Mathematics, vol. 183 (Birkhäuser, Boston, 2001)
V. Kapovich, Perelman’s stability theorem, in Metric and Comparison Geometry. Surveys in Differential Geometry, vol. XI (International Press, Somerville, 2007), pp. 103–136
B. Kleiner, J. Lott, Notes on Perelman’s papers. Geom. Topol. 12 (5), 2587–2855 (2008)
B. Kleiner, J. Lott, Local collapsing, orbifolds, and geometrization. Astérisque 365 (2014)
H. Kneser, Geschlossene Flächen in dreidimensionalen Mannigfaltigkeiten. Jahresbericht D. M. V. 38, 248–260 (1929)
T. Kuessner, Relative simplicial volume. PhD. Thesis, Tübingen (2001)
F. Löbell, Beispiele geschlossener dreidimensionaler Clifford-Kleinscher Räume negativer Krümmung. Ber. d. Sächs. Akad. d. Wiss. 83, 167–174 (1931)
C. Maclachlan, A.W. Reid, The Arithmetic of Hyperbolic 3-Manifolds. Graduate Texts in Mathematics, vol. 219 (Springer, New York, 2003)
S. Maillot, Quasi-isometries of groups, graphs and surfaces. Comment. Math. Helv. 76, 20–60 (2001)
S. Maillot, Open 3-manifolds whose fundamental groups have infinite center, and a torus theorem for 3-orbifolds. Trans. Am. Math. Soc. 355 (11), 4595–4638 (2003)
C. McMullen, Riemann surfaces and the geometrization of 3-manifolds. Bull. Am. Math. Soc. 27, 207–216 (1992)
G. Mess, The Seifert conjecture and groups which are coarse quasiisometric to planes. Preprint
J. Milnor, A unique decomposition theorem for 3-manifolds. Am. J. Math. 84, 1–7 (1962)
J.M. Montesinos, Classical Tessellations and Three-Manifolds (Springer, Berlin, 1987)
J. Morgan, G. Tian, Ricci Flow and the Poincaré Conjecture. Clay Mathematics Monographs, vol. 3 (American Mathematical Society, Providence, 2007)
J. Morgan, G. Tian, Completion of the proof of the geometrization conjecture (2008). http://arxiv.org/abs/0809.4040v1
R. Myers, Simple knots in compact, orientable 3-manifolds. Trans. Am. Math. Soc. 273 (1), 75–91 (1982)
W.D. Neumann, G.A. Swarup, Canonical decompositions of 3-manifolds. Geom. Topol. 1, 21–40 (electronic) (1997)
P. Orlik, Seifert Manifolds. Lecture Notes in Mathematics, vol. 291 (Springer, Berlin, 1972)
P. Orlik, E. Vogt, H. Zieschang, Zur Topologie gefaserter dreidimensionnaler Mannigfaltigkeiten. Topology 6, 49–64 (1967)
J.-P. Otal, Thurston’s hyperbolization of Haken manifolds, in Surveys in Differential Geometry, Vol. III (Cambridge, MA, 1996) (International Press, Boston, 1998), pp. 77–194
J.-P. Otal, The Hyperbolization Theorem for Fibered 3-Manifolds. SMF/AMS Texts and Monographs, vol. 7 (American Mathematical Society, Providence, 2001). Translated from the 1996 French original by Leslie D. Kay
G. Perelman, The entropy formula for the Ricci flow and its geometric applications. ArXiv: math.DG/0211159 (2002)
G. Perelman, Ricci flow with surgery on three-manifolds. ArXiv: math.DG/0303109 (2003)
G. Perelman, Finite extinction time for the solutions to the Ricci flow on certain three-manifolds. ArXiv: math.DG/0307245 (2003)
S. Peters, Cheeger’s finiteness theorem for diffeomorphism classes of Riemannian manifolds. J. Reine Angrew. Math. 394, 77–82 (1984)
S. Peters, Convergence of Riemannian manifolds. Compos. Math. 62, 3–16 (1987)
P. Petersen, Gromov-Hausdorff convergence of metric spaces, in Proceedings Symposia in Pure Mathematics, Part 3, vol. 54 (1993), pp. 489–504
P. Petersen, Riemannian Geometry. Graduate Texts in Mathematics, vol. 171 (Springer, Berlin, 1997)
J.G. Ratcliffe, Foundations of Hyperbolic Manifolds. Graduate Texts in Mathematics, vol. 149 (Springer, New York, 1994)
X. Rong, The limiting eta invariant of collapsed 3-manifolds. J. Differ. Geom. 37, 535–568 (1993)
A. Salgueiro, Orders and actions of branched coverings of hyperbolic links. Topol. Appl. 156, 1703–1710 (2009)
P. Scott, A new proof of the annulus and torus theorems. Am. J. Math. 102, 241–277 (1980)
P. Scott, The geometries of 3-manifolds. Bull. Lond. Math. Soc. 15 (5), 401–487 (1983)
P. Scott, There are no fake Seifert fibre spaces with infinite π 1. Ann. Math. (2) 117 (1), 35–70 (1983)
P. Scott, H. Short, The homeomorphism problem for closed 3-manifolds. Algedr. Geom. Topol. 14, 2431–2444 (2014)
H. Seifert, Topologie der dreidimensionaler gefaserter Raüme. Acta Math. 60, 147–288 (1933)
T. Shioya, T. Yamaguchi, Volume collapsed three-manifolds with a lower curvature bound. Math. Ann. 333 (1), 131–155 (2005)
T. Soma, The Gromov invariant of links. Invent. Math. 64 445–454 (1981)
C.B. Thomas, Elliptic Structures on 3-Manifolds. London Mathematical Society Lecture Notes Series, vol. 104 (Cambridge University press, Cambridge, 1986)
W. Threlfall, Quelques résultats récents de la topologie des variétés. Enseign. Math. 35, 242–255 (1936)
W. Threlfall, H. Seifert, Topologische Untersuchung der Diskontinuitätsbereiche endlicher Bewegungsgruppen des dreidimensionalen sphärischen Raumes I and II. Math. Ann. 104, 1–70 (1931); 107, 543–586 (1932)
W.P. Thurston, The Geometry and Topology of 3-Manifolds (Princeton University, Princeton, 1979)
W.P. Thurston, Three dimensional manifolds, Kleinian groups and hyperbolic geometry. Bull. Am. Math. Soc. 6, 357–381 (1982)
W.P. Thurston, Hyperbolic structures on 3-manifolds, I: deformations of acylindrical manifolds. Ann. Math. (2) 124, 203–246 (1986)
W.P. Thurston, Hyperbolic structures on 3-manifolds, II: surface groups and manifolds which fiber over S 1. Preprint (1986)
W.P. Thurston, Three-Dimensional Geometry and Topology, vol. 1 (Princeton Mathematical Press, Princeton, 1997)
P. Tukia, Homeomorphic conjugates of Fuchsian groups. J. Reine Angew. Math. 391, 1–54 (1988)
F. Waldhausen, Eine Klasse von 3-dimensionalen Mannigfaltigkeiten. Invent. Math. 3–4, 308–333, 87–117 (1967)
F. Waldhausen, Gruppen mit Zentrum und 3-dimensionale Mannigfaltigkeiten. Topology 6, 505–517 (1967)
C. Weber, H. Seifert, Die beiden Dodekaederräume. Math. Z. 37, 237–253 (1933)
K. Yano, Gromov invariant and S 1-actions. J. Fac. Sci. Univ. Tokyo Sect. I A Math. 29 (3), 493–501 (1982)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Appendix: Sequences of Riemannian Manifolds
Appendix: Sequences of Riemannian Manifolds
The goal of this appendix is to present some fundamental tools and results in the theory of Gromov-Hausdorff convergence of Riemannian manifolds. Details of the proofs of the results presented here can be found in the following basic references: [15, 27, 28, 33, 35, 77].
2.1.1 Gromov-Hausdorff Distance Between Metric Spaces
In the 1980s Gromov extended the classical Hausdorff distance between compact subspaces of a metric space to a distance between abstract metric spaces, called the Gromov-Hausdorff distance (G-H distance for short). However two metric spaces which are close for this distance generally can be topologically different.
All metric spaces in this section will be separable metric space (X, d).
For a subset A ⊂ X the ɛ-neighborhood around A is B(A, ɛ) = {x ∈ X: d(x, A) < ɛ}.
The classical Hausdorff distance between two subsets A, B in a metric space X is:
This metric is only a pseudo-metric since d H X(A, B) = 0 implies only that the closures \(\overline{A} = \overline{B}\). However for closed subspaces of X it is a metric.
Gromov extended this notion to the setting of abstract metric spaces by getting ride of the role of the ambient space and found important applications to differential geometry.
Definition 2.80 (Gromov-Hausdorff Distance)
Two metric spaces X and Y are ɛ-near in the Gromov-Hausdorff topology if there is a metric on the disjoint union X ⊔ Y which extends the metrics on X and Y such that d H X⊔Y(X, Y ) ≤ ɛ.
Then define: d GH (X, Y ) = inf{ɛ such that X and Y are ɛ-near}.
From the definition it follows that d GH (X, Y ) = d GH (Y, X) and that d GH (X, Y ) is finite if X and Y are compact. We will show below that d GH is a distance on the set of compact metric spaces.
First we give some basic examples which show that often one can give upper bound for the G-H distance, even if it is usually very hard to compute it exactly.
Example 2.81
Let X and Y be compact metric spaces with diam(X) ≤ D and diam(Y ) ≤ D. Then d GH (X, Y ) ≤ D∕2.
Example 2.82
Let (X = { x 1, …, x k }, d) and (Y = { y 1, …, y k }, d) be finite metric spaces with k points. If | d(x i , x j ) − d(y i , y j ) | < ɛ for all 1 ≥ i, j ≤ k, then d GH (X, Y ) ≤ ɛ
Example 2.83
A map f: X → Y between two compact metric spaces is called a ɛ-Hausdorff approximation if the following holds:
-
(i)
Y is the ɛ-tube around f(X).
-
(ii)
\(\forall u,v \in X,\vert d(\,f(u),f(v)) - d(u,v)\vert <\varepsilon\)
If f: X → Y is a ɛ-Hausdorff approximation then d GH (X, Y ) ≤ 3ɛ.
The following examples show that the Hausdorff dimension is not continuous with respect to the Gromov-Hausdorff topology.
Example 2.84
Let X be a compact space with a metric d. Then (X, λ d) converges to a point for the Gromov-Hausdorff distance when λ → 0.
Example 2.85
Consider the unit sphere \(\mathbb{S}^{3} \subset \mathbb{C}^{2}\) with the standard S 1-action induced by \(\mathbb{C}^{{\ast}}\). The quotient \(\pi: \mathbb{S}^{3} \rightarrow \mathbb{S}^{3}/S^{1} = \mathbb{S}^{2}\) is the Hopf fibration, where \(\mathbb{S}^{2} \subset \mathbb{R}^{3}\) is the standard sphere with curvature 4. The finite cyclic subgroup \(\mathbb{Z}_{n} \subset S^{1}\) of order n acts freely and orthogonally on \(\mathbb{S}^{3}\). One denotes by \(\mathbb{S}^{3}/\mathbb{Z}_{n} = L_{n}\) the lens space obtained. As n → ∞, the subgroup \(\mathbb{Z}_{n}\) fills up S 1 and the 3-dimensional lens spaces L n converge for the Gromov-Hausdorff distance to the 2-dimensional base \(\mathbb{S}^{2}\) of the Hopf fibration. This phenomenon is called a collapse because the dimension of the limit space is smaller than the dimension of the spaces in the sequence. We will come back to this phenomenon latter on.
Example 2.86
Let \(X_{n} =\{ \frac{1} {n}(\,p,q): p \in \mathbb{Z},q \in \mathbb{Z}\}\), then X n with the induced metric from \(\mathbb{R}^{2}\) converges for the Hausdorff-Gromov metric to \(\mathbb{R}^{2}\).
In the unit cube \([0,1]^{3} \subset \mathbb{R}^{3}\) consider the subspace X n = { (x, y, z) ∈ [0, 1]3}, where at least two coordinates are of the form \(\frac{p} {n},p \in \mathbb{Z}\). Then Y n = ∂ X n is a surface in \(\mathbb{R}^{3}\) which fills up [0, 1]3 as n → ∞. This phenomenon is called an explosion, since the limit space has larger dimension than the spaces in the sequence.
Let \(\mathcal{M}\) be the set of isometry classes of compact metric spaces, then d GH is a distance on \(\mathcal{M}\) and:
Theorem 2.87
\((\mathcal{M},d_{GH})\) is a metric space which is separable and complete.
2.1.2 Gromov’s Precompactness Theorem
In order to state Gromov’s precompactness criterion we need the following definitions:
Definition 2.88
Let X be a compact metric space and ɛ > 0 a real number:
A ɛ-net is a finite set of points Z ɛ in X such that X = B(Z, ɛ).
Define Cov(X, ɛ) has the minimal number of points of a ɛ-net in X.
Lemma 2.89
Let \(X,Y \in \mathcal{M}\) such that d GH (X,Y ) ≤δ, then Cov(X,ɛ + 2δ) ≤ Cov(Y,ɛ).
The following precompactness criterion for subset \(\mathcal{C}\) in \(\mathcal{M}\) is important and very useful:
Theorem 2.90
A subset \(\mathcal{C}\subset \mathcal{M}\) is precompact for the Gromov-Hausdorff topology iff there is a function N: (0,β) → (0,∞) such that: \(\forall \,\,\varepsilon> 0\) and \(\forall \,\,X \in \mathcal{C}\) one has Cov(X,ɛ) ≤ N(ɛ).
Example 2.91
Let N: (0, β) → (0, ∞) be a function and let \(\mathcal{C}_{N} \subset \mathcal{M}\) be the class of compact metric spaces X such that \(Cov(X,\varepsilon ) \leq N(\varepsilon ),\forall \,\,\varepsilon \in (0,\beta )\). Then \(\mathcal{C}_{N}\) is compact.
We present now two important applications of Gromov’s precompactness criterion to Riemannian geometry.
2.1.3 Riemannian Manifolds with a Lower Bound on the Injectivity Radius
The injectivity radius inj(M, x) of a Riemannian manifold M at a point x is the maximal radius r so that the exponential exp x : B(0, r) ⊂ T x M → M is an embedding. The injectivity radius of M is inj(M) = inf x ∈ M inj(M, x).
Denote by \(\mathcal{R}(n,\delta,v)\) the set of closed, connected Riemannian manifolds of dimension n with injectivity radius inj(M) ≥ δ > 0 and volume vol(M) ≤ v.
The following result is a consequence of Croke’s isoperimetric inequality, see [18, Sect. 6.6]:
Proposition 2.92
Let M be a closed Riemannian n-manifold. If inj(M) ≥δ, there is a constant c(n) depending only on the dimension n such that vol(B(x,r) ≥ c(n)r n for any 0 < r ≤δ∕2 and any x ∈ M.
Given a Riemannian manifold \(M \in \mathcal{R}(n,\delta,v)\) one chooses a maximal set {B(x i , ɛ∕2)} of disjoint balls in M. Then the set of balls {B(x i , ɛ)} covers M and one gets that \(Cov(M,\varepsilon ) \leq \frac{2^{n}v} {c(n)}\varepsilon ^{-n}\). Thus Gromov’s criterion applies to show:
Corollary 2.93
The set \(\mathcal{R}(n,\delta,v)\) is precompact in \(\mathcal{M}\) for the Gromov-Hausdorff topology.
2.1.4 Riemannian Manifolds with a Lower Bound on the Ricci Curvature
For our second application of Gromov’s precompactness criterion we consider the set \(\mathcal{R}(n,k,D)\) of closed, connected Riemannian manifolds of dimension n with Ricci curvature Ric M ≥ k(n − 1) and diameter diam(M) ≤ D.
The Ricci curvature reflects important information on the growth of the volume of the balls in M.
Theorem 2.94 (Bishop-Gromov)
Let M be a complete Riemannian n-manifold with Ric M ≥ k(n − 1). Then for every point x ∈ M the quantity \(\frac{vol(B(x,r))} {v_{k}(r)}\) is decreasing with respect to r, where v k (n,r) denotes the volume of a geodesic ball in the space form of constant sectional curvature k and of dimension n.
In particular:
Therefore as above \(Cov(M,\varepsilon ) \leq \frac{v_{k}(n,D)} {v_{k}(n,r)} \leq c(n,k,D)\varepsilon ^{-n}\). Gromov’s criterion applies once more to show:
Corollary 2.95
The set \(\mathcal{R}(n,k,D)\) is precompact in \(\mathcal{M}\) for the Gromov-Hausdorff topology.
2.1.5 Dimension of the Limit Space
We have shown that every sequence in \(\mathcal{R}(n,\delta,v)\) or \(\mathcal{R}(n,k,D)\) subconverges in \(\mathcal{M}\), but a priori the limit space may not be a manifold and may have a dimension different from n. Here we show that in both cases the dimension of the limit space stays ≤ n, so no explosion can occur like in Example 2.86. However the Example 2.85 shows that collapses may occur in \(\mathcal{R}(n,k,D)\), even with pinched sectional curvature. We will show that no collapse can occur in \(\mathcal{R}(n,\delta,v)\), this points out the importance of controlling the injectivity radius.
We first recall the definition of the (covering) dimension of a topological space:
Definition 2.96
The (covering) dimension of a topological space X is ≤ n if every locally finite, open covering of X admits a refinement such that no point in X belongs to more than n + 1 open subsets. The dimension dim(X) is the smallest integer n such that X has dimension ≤ n.
The (covering) dimension of a n-dimensional manifold is n.
For a metric space there is another concept of dimension which has a more metric flavor. Both concept coincides for a compact n-dimensional manifold
Definition 2.97
For a compact metric space X the Hausdorff dimension is:
This metric dimension can take non integral values for Cantor sets. It is related to the usual (covering) dimension by the following inequality [44] for a compact metric space X, dim(X) ≤ dim H (X).
Proposition 2.98
Let {M i } be a sequence of closed Riemannian n-manifolds which converges in the Gromov-Hausdorff topology to a compact metric space X.
-
(1)
If \(\{M_{i}\} \subset \mathcal{R}(n,\delta,v)\) then dim(X) = dim H (X) = n. So no collapse, nor explosion occur.
-
(2)
If \(\{M_{i}\} \subset \mathcal{R}(n,k,D)\) then dim(X) ≤ dim H (X) ≤ n. So no explosion occur, but collapses are possible.
The fact that in both cases (1) and (2) dim H ≤ n follows immediately from the bound Cov(M, ɛ) ≤ c ɛ −n, where the constant c depends only of the dimension n and the bounds given on the injectivity and the volume, or on the Ricci curvature and the diameter.
The fact that in case (1) the dimension cannot decrease is more subtle: it uses the notion of (n − 1)-diameter and a local contractibility argument, see [76].
As a consequence of Perelman’s stability theorem for Alexandrov spaces with lower curvature bound (see [15, 50]) one obtains:
Corollary 2.99
The set of closed, connected Riemannian n-manifolds M with K M ≥−1, inj(M) ≥δ > 0 and vol(M) ≤ v contains only finitely many homeomorphism types.
Instead of working in the general class of compact metric spaces we could have work in the smaller class of length spaces:
Definition 2.100
Let X be a compact metric space. A continuous map ℓ: [0, a] → X is a minimizing geodesic if d(ℓ(u) − ℓ(v)) = | u − v | holds for each 0 ≤ u ≤ v ≤ a. The space X is a length space if two points in X can be joined by a minimizing geodesic.
An easy application of Ascoli-Arzela ’s theorem shows that a Gromov-Hausdorff limit of length spaces is a length space.
2.1.6 Lipschitz Topology
We introduce a new topology on the set of metric spaces called the Lipschitz topology.
Definition 2.101
Let X and Y be two metric spaces.
- For a map f::
-
X → Y let \(dil(\,f) =\sup _{x\not =y}\frac{d(\,f(x),f(y))} {d(x,y)}\) denote the dilatation of f. It is finite for a Lipschitz map.
- A homeomorphism f::
-
X → Y is said bi-Lipschitz if both dil( f) and dil( f −1) are finite
Example 2.102
Let f: M → N be a \(\mathcal{C}^{1}\)-map between two compact Riemannian manifolds, then dil( f) = sup x ∈ M ∥ df(x) ∥ .
Definition 2.103 (Lipschitz Distance)
Let X and Y be metric spaces. The Lipschitz distance d L (X, Y ) between X and Y is defined as:
-
d L (X, Y ) = inf{ | log(dil( f)) | + log(dil( f −1) | over all bi-Lipschitz homeomorphism f: X → Y
-
d L (X, Y ) = ∞ if X and Y are not bi-Lipschitz homeomorphic.
Proposition 2.104
Let \(\mathcal{M}\) be the set of isometry classes of compact metric spaces, then d L is a distance on \(\mathcal{M}\) .
The next proposition shows that Lipschitz convergence implies Gromov-Hausdorff convergence. Hence the Gromov-Hausdorff topology is weaker than the Lipschitz topology on \(\mathcal{M}\).
Proposition 2.105
Let \(\{X_{n}\}_{n\in \mathbb{N}}\) and X be compact metric spaces in \(\mathcal{M}\) .
-
(i)
Assume that limn→0 d GH (X n ,X) = 0. Then given ɛ > 0 and η > 0, for any η-discrete ɛ-net Z ɛ ⊂ X there is a sequence of ɛ n -nets \(Z_{n}^{\varepsilon _{n}} \subset X_{n}\) such that \(\lim _{n\rightarrow 0}d_{L}(Z_{n}^{\varepsilon _{n}},Z^{\varepsilon }) = 0\) with 0 ≥ɛ n −ɛ → 0.
-
(ii)
Conversely assume that \(\forall \varepsilon> 0\) there is a ɛ-net Z ɛ ⊂ X and a sequence of ɛ-nets Z n ɛ ⊂ X n such that limn→0 d L (Z n ɛ ,Z ɛ ) = 0. Then limn→0 d GH (X n ,X) = 0.
Part (ii) of the above proposition immediately implies the following:
Corollary 2.106
Let \(\{X_{n}\}_{n\in \mathbb{N}}\) and X be compact metric spaces in \(\mathcal{M}\) . If limn→0 d L (X n ,X) = 0, then limn→0 d GH (X n ,X) = 0.
2.1.7 Rigidity Theorem
In general the Lipschitz topology is stronger than the Gromov-Hausdorff topology. However in the setting of Riemannian manifolds with pinched sectional curvature both topology coincides.
More precisely, let \(\mathcal{R}_{1}(n,\delta,v)\) be the set of Riemannian n-manifolds M with a pinched sectional curvature | K M | ≤ 1, a lower bound on the injectivity radius inj(M) ≥ δ > 0 and an upper bound on the volume vol(M) ≤ v. Then two Riemannian manifolds in \(\mathcal{R}_{1}(n,\delta,v)\) which are sufficiently nearby in the Gromov-Hausdorff topology are in fact bi-Lipschitz homeomorphic: this the content of the following result due to Gromov [33, 35].
Theorem 2.107 (Rigidity Theorem)
Given ɛ > 0 there is a constant η(n,δ,v,ɛ) > 0 such that if d GH (M,N) ≤η for M and N in \(\mathcal{R}_{1}(n,\delta,v)\) , then d L (M,N) ≤ɛ.
The proof of this theorem goes back in fact to Cheeger’s finiteness Theorem [19, 74] which now is a consequence of it and of Gromov’s precompacness theorem:
Corollary 2.108 (Finiteness Theorem)
Up to diffeomorphism there are only finitely many manifolds in \(\mathcal{R}_{1}(n,\delta,v)\) .
Another important corollary is the following convergence theorem due to Gromov [33, 35, 75]:
Corollary 2.109 (Gromov Convergence Theorem)
Every sequence \(\{M_{k}\}_{k\in \mathbb{N}}\) in \(\mathcal{R}_{1}(n,\delta,v)\) subconverges in the Lipschitz topology to a smooth n-dimensional Riemannian manifold (M ∞ ,g ∞ ) where the Riemannian metric g ∞ is of class \(\mathcal{C}^{1,\alpha }\) with 0 < α < 1. Moreover M is diffeomorphic to M k for k sufficiently large.
It is in fact shown in [31] that the convergence takes place in the \(\mathcal{C}^{1,\alpha }\). More precisely, there exists diffeomorphisms f k from M ∞ to M k such that f k ∗ (g k ) converges to g ∞ in the \(\mathcal{C}^{1,\alpha }\) norm (cf. [31, pp. 139–140]).
2.1.8 Pointed Topologies
Gromov-Hausdorff or Lipschitz convergences, as defined above, are too restrictive, because one may be interested in sequences X n with diamX n → ∞. Such a sequence cannot converge to a compact space in any reasonable sense. For instance, intuitively, a sequence of round 2-spheres of radius n should converge to \(\mathbb{E}^{2}\). But if X n is obtained by gluing a round 2-sphere of radius n to a round 3-sphere of radius n (the union occurring at a single point), then what should the limit limX n be: \(\mathbb{E}^{2}\) or \(\mathbb{E}^{3}\)?
This problem is solved by considering sequences of pointed spaces, i.e. pairs (X, x) where X is a metric space and x is a point of X. This works well when the spaces considered are proper (which means that metric balls are compact).
Definition 2.110
Let (X n , x n ) be a sequence of pointed proper metric spaces and (X, x) be a pointed proper metric space. Then (X n , x n ) converges to (X, x) for the pointed Gromov-Hausdorff topology if for every R > 0
If the limit exists, it is unique up to isometry. The next example illustrates the importance of the choice of basepoint in a hyperbolic context.
Example 2.111
Let M be a noncompact hyperbolic manifold. Set X n = M and choose x n ∈ M.
-
When the sequence x n stays in a compact subset of M, (X n , x n ) subconverges to some (X ∞ , x ∞ ) with X ∞ isometric to M.
-
When x n goes to infinity in a cusp of maximal rank, (X n , x n ) converges to a line. The cusp is a warped product of a compact Euclidean manifold with a line, and the diameter of the Euclidean manifold containing x n converges to zero as x n goes to infinity.
-
When x n goes to infinity in a geometrically finite end of infinite volume, (X n , x n ) converges to a hyperbolic space of dimension dimM. This holds true because one can find metric round balls \(B_{R_{n}}(x_{n})\) with R n → ∞.
Here is the version of Gromov’s precompactness criterion for pointed metric spaces:
For a metric space X and for constants R > ɛ > 0, let Cov(X, R, ɛ) denote the maximal number of disjoints balls of radius ɛ in a ball of radius R in X.
Theorem 2.112 (Precompactness Criterion)
A sequence of pointed metric geodesic spaces (X n ,x n ) is precompact for the pointed Hausdorff-Gromov topology if and only if, for every ɛ > 0 and R > 0, Cov(X n ,R,ɛ) is bounded on n.
In an analogous way there is a notion of Lipschitz convergence for pointed proper metric spaces:
Definition 2.113 (Pointed Lipschitz Convergence)
A sequence of pointed proper metric spaces (X n , x n ) converges to a proper metric space (X, x) for the pointed Lipschitz topology if for every R > 0
Remark 2.114
When (X n , x n ) → (X, x) for the pointed Lipschitz topology, if the limit X is compact, then for n large enough X n is bi-Lipschitz homeomorphic to X.
Then one has the following compactness theorem:
Theorem 2.115 (Compactness Theorem)
The set \(\mathcal{R}_{1}(n,\delta )\) of complete Riemannian n-manifolds M with bounded sectional curvature |K M |≤ 1 and lower bound on the injectivity radius inj(M) ≥δ > 0 is compact for the Lipschitz topology.
2.1.9 Collapses
We say that a family of Riemannian metrics on a manifold collapses with bounded geometry if all the sectional curvatures remain bounded while the injectivity radius goes uniformly everywhere to zero.
Collapsing phenomena have received much attention in all dimensions.
Example 2.116 (Berger Spheres)
Let \(\pi: \mathbb{S}^{3} \rightarrow \mathbb{S}^{2}\) be the Hopf fibration and g the standard metric on \(\mathbb{S}^{3}\). Let g ɛ be the metric obtained after rescaling by ɛ the metric g in the direction tangent to the fibers. It means that for a tangent vector \(v \in T_{x}\mathbb{S}^{3}\), g ɛ (x)(v, v) = ɛ g(x)(v, v) if d π x (v) = 0, while g ɛ (x)(v, v) = g(x)(v, v) if v is orthogonal to the Hopf fiber. Moreover \(\sup _{(0,1]}\vert K_{g_{\varepsilon }}\vert \leq 1\).
If we put on \(\mathbb{S}^{2}\) a Riemannian metric with constant curvature equal to 4, then \(\lim _{\varepsilon \rightarrow 0}d_{GH}((\mathbb{S}^{3},g_{\varepsilon }), \mathbb{S}^{2}) = 0\).
This example can be generalized to any isometric locally free S 1-action on a closed Riemannian manifolds. For example any flat torus T n collapses to any smaller dimensional torus T k with k < n by rescaling the metric on some of the S 1 factors. These examples turn out to be basic.
Cheeger and Gromov [21] have proved that a necessary and sufficient condition for a manifold to have such a collapse with bounded geometry is the existence of a “generalized torus action” which they call an F-structure, where F stands for “flat” in this terminology. Intuitively an F-structure corresponds to different tori of varying dimension acting locally on finite coverings of open subsets of the manifold. Certain compatibility conditions on these local actions on intersections of these open subsets will insure that the manifold is partitioned into disjoint orbits of positive dimension.
Definition 2.117
A pure F-structure \(\mathcal{F}\) of positive rank k > 0 on a manifold M is a partition of M into compact submanifolds (leaves of variable dimension) which support an affine flat structure. Moreover M has an open covering {U α } such that the partition induced on some regular finite covering \(\pi _{\alpha }:\widetilde{ U_{\alpha }} \rightarrow U_{\alpha }\) coincides with the orbits of a smooth affine action of the k-dimensional torus \(\mathbb{T}^{k}\) on \(\widetilde{U_{\alpha }}\).
Two pure F-structures \(\mathcal{F}_{1}\) and \(\mathcal{F}_{2}\) are compatible if either \(\mathcal{F}_{1} \subset \mathcal{F}_{2}\) (i.e. every leaf of \(\mathcal{F}_{1}\) is an affine submanifold of a leaf of \(\mathcal{F}_{2}\)) or \(\mathcal{F}_{2} \subset \mathcal{F}_{1}\).
Definition 2.118
A F-structure \(\mathcal{F}\) on a manifold M is an open covering \(\{(U_{\alpha },\mathcal{F}_{\alpha })\}\) of M where \(\mathcal{F}_{\alpha }\) is a pure F-structure on U α such that \(\mathcal{F}_{\alpha }\) and \(\mathcal{F}_{\beta }\) are compatible on U α ∩ U β .
The rank of \(\mathcal{F}\) is the minimum rank of the local F-structures \(\mathcal{F}\alpha\).
A more precise definition of an F-structure can be given using the notion of sheaf of local groups actions.
A compact orientable 3-manifold M with an F-structure admits a partition into orbits which are circles and tori, such that each orbit has a saturated subset. It follows from the definition of F-structure that such a partition corresponds to a graph structure on M (see [79, 97]).
Another description of the family of all graph manifolds is that they are precisely those compact three manifolds which can be obtained, starting with the family of compact geometric non-hyperbolic three-manifolds, by the operations of connect sum and of gluing boundary tori together. Thus they arise naturally in both the Geometrisation of 3-manifolds and in Riemannian geometry.
The following theorem is a version of Cheeger-Gromov’s thick/thin decomposition (see [23, Theorems 1.3 and 1.7], see also [9]). In this setting the ɛ-thin part of a Riemannian n-manifold (M, g) is the set of points \(\mathcal{F}(\varepsilon ) =\{ x \in M\,,inj(x,g)\, <\varepsilon \}\)
Theorem 2.119
For each n, there is a constant μ n , depending only on the dimension n, such that for any 0 < ɛ ≤μ n and any complete Riemannian n-manifold (M,g) with |K g |≤ 1, there exists a Riemannian metric g ɛ on M such that:
-
(1)
The ɛ-thin part \(\mathcal{F}(\varepsilon )\) of (M,g ε ) admits an F-structure compatible with the metric g ɛ , whose orbits are all compact tori of dimension ≥ 1 and with diameter < ɛ.
-
(2)
The Riemannian metric g ɛ is ɛ-quasi-isometric to g and has bounded covariant derivatives of curvature, i.e. it verifies the following properties:
-
e −ɛ g ɛ ≤ g ≤ e ɛ g ɛ .
-
\(\Vert \nabla ^{g} -\nabla ^{g_{\varepsilon }}\Vert \leq \varepsilon\) , where ∇ and \(\nabla ^{g_{\varepsilon }}\) are the Levi-Civita connections of g and g ɛ respectively.
-
\(\Vert (\nabla ^{g_{\varepsilon }})^{k}R_{g_{\varepsilon }}\Vert \leq C(n,k,\varepsilon )\) , where the constant C depends only on ɛ, the dimension n and the order of derivative k.
-
Using Cheeger-Gromov’s chopping theorem [22] one can prove the following proposition which is the analogue in bounded curvature of Jørgensen’s finiteness theorem [32, 91], which states that all complete hyperbolic 3-manifolds of bounded volume can be obtained by surgery on a finite number of cusped hyperbolic 3-manifolds. The finiteness of hyperbolic manifolds with volume bounded above and injectivity radius bounded below is a particular case of Cheeger finiteness theorem, while the Margulis lemma takes the place of the Cheeger-Gromov thick/thin decomposition [21].
Proposition 2.120
Let M be a closed Riemannian n-manifold with |K M |≤ 1 and vol(M) ≤ v. Then M has a decomposition M = N ∪ G into two compact n-submanifolds such that:
-
G admits an F-structure such that ∂N = ∂G is an union of orbits.
-
N belongs, up to diffeomorphism, to a finite set \(\mathcal{N}(n,v)\) of smooth, compact, orientable n-manifolds.
Rights and permissions
Copyright information
© 2016 Springer International Publishing Switzerland
About this chapter
Cite this chapter
Boileau, M. (2016). Thick/Thin Decomposition of Three-Manifolds and the Geometrisation Conjecture. In: Benedetti, R., Mantegazza, C. (eds) Ricci Flow and Geometric Applications. Lecture Notes in Mathematics(), vol 2166. Springer, Cham. https://doi.org/10.1007/978-3-319-42351-7_2
Download citation
DOI: https://doi.org/10.1007/978-3-319-42351-7_2
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-42350-0
Online ISBN: 978-3-319-42351-7
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)