Complexity of PL manifolds

Martelli, Bruno¹

¹Dipartimento di Matematica “Tonelli”, Università di Pisa, Largo Pontecorvo 5, 56127 Pisa, Italy

Algebraic and Geometric Topology, Tome 10 (2010) no. 2, pp. 1107-1164

Résumé

We extend Matveev’s complexity of 3–manifolds to PL compact manifolds of arbitrary dimension, and we study its properties. The complexity of a manifold is the minimum number of vertices in a simple spine. We study how this quantity changes under the most common topological operations (handle additions, finite coverings, drilling and surgery of spheres, products, connected sums) and its relations with some geometric invariants (Gromov norm, spherical volume, volume entropy, systolic constant).

Complexity distinguishes some homotopically equivalent manifolds and is positive on all closed aspherical manifolds (in particular, on manifolds with nonpositive sectional curvature). There are finitely many closed hyperbolic manifolds of any given complexity. On the other hand, there are many closed 4–manifolds of complexity zero (manifolds without 3–handles, doubles of 2–handlebodies, infinitely many exotic K3 surfaces, symplectic manifolds with arbitrary fundamental group).

Détail

DOI : 10.2140/agt.2010.10.1107

Keywords: complexity, spine

Bibliographie

[1] E Akin, Manifold phenomena in the theory of polyhedra, Trans. Amer. Math. Soc. 143 (1969) 413

[2] S B Alexander, R L Bishop, Spines and homology of thin Riemannian manifolds with boundary, Adv. Math. 155 (2000) 23

[3] S B Alexander, R L Bishop, Spines and topology of thin Riemannian manifolds, Trans. Amer. Math. Soc. 355 (2003) 4933

[4] M A Armstrong, Transversality for polyhedra, Ann. of Math. $(2)$ 86 (1967) 172

[5] I K Babenko, Asymptotic invariants of smooth manifolds, Izv. Ross. Akad. Nauk Ser. Mat. 56 (1992) 707

[6] R Benedetti, C Petronio, Lectures on hyperbolic geometry, Universitext, Springer (1992)

[7] G Besson, G Courtois, S Gallot, Volume et entropie minimale des espaces localement symétriques, Invent. Math. 103 (1991) 417

[8] B A Burton, Enumeration of non-orientable $3$–manifolds using face-pairing graphs and union-find, Discrete Comput. Geom. 38 (2007) 527

[9] P J Callahan, M V Hildebrand, J R Weeks, A census of cusped hyperbolic $3$–manifolds, Math. Comp. 68 (1999) 321

[10] F Costantino, Complexity of $4$–manifolds, Experiment. Math. 15 (2006) 237

[11] F Costantino, D Thurston, $3$–manifolds efficiently bound $4$–manifolds, J. Topol. 1 (2008) 703

[12] S Eilenberg, J A Zilber, Semi-simplicial complexes and singular homology, Ann. of Math. $(2)$ 51 (1950) 499

[13] R Fintushel, R J Stern, Knots, links, and $4$–manifolds, Invent. Math. 134 (1998) 363

[14] R Frigerio, B Martelli, C Petronio, Small hyperbolic $3$–manifolds with geodesic boundary, Experiment. Math. 13 (2004) 171

[15] R E Gompf, A new construction of symplectic manifolds, Ann. of Math. $(2)$ 142 (1995) 527

[16] R E Gompf, A I Stipsicz, $4$–manifolds and Kirby calculus, Graduate Studies in Math. 20, Amer. Math. Soc. (1999)

[17] M Gromov, Volume and bounded cohomology, Inst. Hautes Études Sci. Publ. Math. (1982)

[18] M Gromov, Filling Riemannian manifolds, J. Differential Geom. 18 (1983) 1

[19] A Hatcher, Algebraic topology, Cambridge Univ. Press (2002)

[20] D Kotschick, Entropies, volumes, and Einstein metrics

[21] T Kuessner, Multicomplexes, bounded cohomology and additivity of simplicial volume

[22] A Manning, Topological entropy for geodesic flows, Ann. of Math. $(2)$ 110 (1979) 567

[23] B Martelli, Four-manifolds with shadow-complexity zero

[24] B Martelli, Links, two-handles, and four-manifolds, Int. Math. Res. Not. (2005) 3595

[25] B Martelli, Complexity of $3$-manifolds, from: "Spaces of Kleinian groups" (editors M N., M Sakuma, C Series), London Math. Soc. Lecture Note Ser. 329, Cambridge Univ. Press (2006) 91

[26] B Martelli, C Petronio, Three-manifolds having complexity at most 9, Experiment. Math. 10 (2001) 207

[27] S V Matveev, Special skeletons of piecewise linear manifolds, Mat. Sb. $($N.S.$)$ 92(134) (1973) 282, 344

[28] S V Matveev, The theory of the complexity of three-dimensional manifolds, Akad. Nauk Ukrain. SSR Inst. Mat. Preprint (1988) 32

[29] S V Matveev, Complexity theory of three-dimensional manifolds, Acta Appl. Math. 19 (1990) 101

[30] S V Matveev, Tabulation of three-dimensional manifolds, Uspekhi Mat. Nauk 60 (2005) 97

[31] S V Matveev, Algorithmic topology and classification of $3$–manifolds, Algorithms and Computation in Math. 9, Springer (2007)

[32] C Mccrory, Cone complexes and PL transversality, Trans. Amer. Math. Soc. 207 (1975) 269

[33] G Mikhalkin, Decomposition into pairs-of-pants for complex algebraic hypersurfaces, Topology 43 (2004) 1035

[34] H R Morton, Joins of polyhedra, Topology 9 (1970) 243

[35] G P Paternain, J Petean, Minimal entropy and collapsing with curvature bounded from below, Invent. Math. 151 (2003) 415

[36] C P Rourke, B J Sanderson, Block bundles. I, Ann. of Math. $(2)$ 87 (1968) 1

[37] C P Rourke, B J Sanderson, Introduction to piecewise-linear topology, Ergebnisse Math. ihrer Grenzgebiete 69, Springer (1972)

[38] D A Stone, Stratified polyhedra, Lecture Notes in Math. 252, Springer (1972)

[39] J H C Whitehead, On $C^1$–complexes, Ann. of Math. $(2)$ 41 (1940) 809