Functorial seminorms on singular homology and (in)flexible manifolds

Crowley, Diarmuid¹ ; Löh, Clara²

¹Institute of Mathematics, University of Aberdeen, Aberdeen AB24 3UE, UK
²Fakultät für Mathematik, Universität Regensburg, 93040 Regensburg, Germany

Algebraic and Geometric Topology, Tome 15 (2015) no. 3, pp. 1453-1499

Résumé

A functorial seminorm on singular homology is a collection of seminorms on the singular homology groups of spaces such that continuous maps between spaces induce norm-decreasing maps in homology. Functorial seminorms can be used to give constraints on the possible mapping degrees of maps between oriented manifolds.

In this paper, we use information about the degrees of maps between manifolds to construct new functorial seminorms with interesting properties. In particular, we answer a question of Gromov by providing a functorial seminorm that takes finite positive values on homology classes of certain simply connected spaces. Our construction relies on the existence of simply connected manifolds that are inflexible in the sense that all their self-maps have degree  − 1, 0 or 1. The existence of such manifolds was first established by Arkowitz and Lupton; we extend their methods to produce a wide variety of such manifolds.

Détail

DOI : 10.2140/agt.2015.15.1453

Classification : 57N65, 55N10, 55N35, 55P62
Keywords: mapping degrees, simply connected manifolds, functorial seminorms on homology

Bibliographie

[1] M Amann, Mapping degrees of self-maps of simply-connected manifolds, (2011)

[2] M Arkowitz, G Lupton, Rational obstruction theory and rational homotopy sets, Math. Z. 235 (2000) 525

[3] J Barge, Structures différentiables sur les types d'homotopie rationnelle simplement connexes, Ann. Sci. École Norm. Sup. 9 (1976) 469

[4] J Barge, É Ghys, Surfaces et cohomologie bornée, Invent. Math. 92 (1988) 509

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

[6] C Costoya, A Viruel, Every finite group is the group of self-homotopy equivalences of an elliptic space, Acta Math. 213 (2014) 49

[7] Y Félix, S Halperin, J C Thomas, Rational homotopy theory, Graduate Texts in Math. 205, Springer (2001)

[8] A A Gaifullin, Combinatorial realisation of cycles and small covers,

[9] A A Gaifullin, Universal realisators for homology classes, Geom. Topol. 17 (2013) 1745

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

[11] M Gromov, Metric structures for Riemannian and non-Riemannian spaces, Progress in Math. 152, Birkhäuser (1999)

[12] N V Ivanov, Foundations of the theory of bounded cohomology, Zap. Nauchn. Sem. Leningrad. Otdel. Mat. Inst. Steklov. (LOMI) 143 (1985) 69, 177

[13] D Kotschick, C Löh, Fundamental classes not representable by products, J. Lond. Math. Soc. 79 (2009) 545

[14] M Kreck, Surgery and duality, Ann. of Math. 149 (1999) 707

[15] C Löh, Measure homology and singular homology are isometrically isomorphic, Math. Z. 253 (2006) 197

[16] C Löh, R Sauer, Degree theorems and Lipschitz simplicial volume for nonpositively curved manifolds of finite volume, J. Topol. 2 (2009) 193

[17] J W Milnor, D Husemoller, Symmetric bilinear forms, Ergeb. Math. Grenz. 73, Springer (1973)

[18] J W Milnor, J D Stasheff, Characteristic classes, Annals of Math. Studies 76, Princeton Univ. Press, Univ. Tokyo Press (1974)

[19] J Neisendorfer, T Miller, Formal and coformal spaces, Illinois J. Math. 22 (1978) 565

[20] A Sambusetti, An obstruction to the existence of Einstein metrics on $4$–manifolds, Math. Ann. 311 (1998) 533

[21] H Shiga, Rational homotopy type and self-maps, J. Math. Soc. Japan 31 (1979) 427

[22] D Sullivan, Infinitesimal computations in topology, Inst. Hautes Études Sci. Publ. Math. 47 (1977) 269

[23] R Thom, Quelques propriétés globales des variétés différentiables, Comment. Math. Helv. 28 (1954) 17

[24] W P Thurston, The geometry and topology of three-manifolds, lecture notes (1979)

[25] C T C Wall, Determination of the cobordism ring, Ann. of Math. 72 (1960) 292