Relations among characteristic classes of manifold bundles

Grigoriev, Ilya¹

¹ Department of Mathematics, University of Chicago, 5734 S University Ave, Chicago, IL 60637, United States

Geometry & topology, Tome 21 (2017) no. 4, pp. 2015-2048.

Résumé

We study relations among characteristic classes of smooth manifold bundles with highly connected fibers. For bundles with fiber the connected sum of $g$ copies of a product of spheres $S^d\times S^d$, where $d$ is odd, we find numerous algebraic relations among so-called “generalized Miller–Morita–Mumford classes”. For all $g>1$, we show that these infinitely many classes are algebraically generated by a finite subset.

Our results contrast with the fact that there are no algebraic relations among these classes in a range of cohomological degrees that grows linearly with $g$, according to recent homological stability results. In the case of surface bundles ($d=1$), our approach recovers some previously known results about the structure of the classical “tautological ring”, as introduced by Mumford, using only the tools of algebraic topology.

Détail

DOI : 10.2140/gt.2017.21.2015

Classification : 55R40, 55T10, 57R22
Keywords: manifold bundles, characteristic classes, tautological ring, Miller–Morita–Mumford classes

Bibliographie

[1] J C Becker, D H Gottlieb, The transfer map and fiber bundles, Topology 14 (1975) 1 | DOI

[2] J M Boardman, Stable homotopy theory, V: Duality and Thom spectra, notes (1966)

[3] S K Boldsen, Improved homological stability for the mapping class group with integral or twisted coefficients, Math. Z. 270 (2012) 297 | DOI

[4] A Borel, F Hirzebruch, Characteristic classes and homogeneous spaces, I, Amer. J. Math. 80 (1958) 458 | DOI

[5] C J Earle, J Eells, A fibre bundle description of Teichmüller theory, J. Differential Geometry 3 (1969) 19

[6] J Ebert, O Randal-Williams, Generalised Miller–Morita–Mumford classes for block bundles and topological bundles, Algebr. Geom. Topol. 14 (2014) 1181 | DOI

[7] C Faber, A conjectural description of the tautological ring of the moduli space of curves, from: "Moduli of curves and abelian varieties" (editors C Faber, E Looijenga), Aspects Math. E33, Friedr. Vieweg (1999) 109 | DOI

[8] B Farb, D Margalit, A primer on mapping class groups, 49, Princeton University Press (2012)

[9] S Galatius, O Randal-Williams, Homological stability for moduli spaces of high dimensional manifolds, I, preprint (2014)

[10] S Galatius, O Randal-Williams, Stable moduli spaces of high-dimensional manifolds, Acta Math. 212 (2014) 257 | DOI

[11] J L Harer, Stability of the homology of the mapping class groups of orientable surfaces, Ann. of Math. 121 (1985) 215 | DOI

[12] A Hatcher, Algebraic topology, Cambridge University Press (2002)

[13] E Looijenga, On the tautological ring of Mg, Invent. Math. 121 (1995) 411 | DOI

[14] I Madsen, U Tillmann, The stable mapping class group and Q(CP+∞), Invent. Math. 145 (2001) 509 | DOI

[15] I Madsen, M Weiss, The stable moduli space of Riemann surfaces : Mumford’s conjecture, Ann. of Math. 165 (2007) 843 | DOI

[16] J Mccleary, A user’s guide to spectral sequences, 58, Cambridge University Press (2001)

[17] J W Milnor, J D Stasheff, Characteristic classes, 76, Princeton University Press (1974)

[18] S Morita, Families of Jacobian manifolds and characteristic classes of surface bundles, I, Ann. Inst. Fourier (Grenoble) 39 (1989) 777 | DOI

[19] S Morita, Generators for the tautological algebra of the moduli space of curves, Topology 42 (2003) 787 | DOI

[20] D Mumford, Towards an enumerative geometry of the moduli space of curves, from: "Arithmetic and geometry, II" (editors M Artin, J Tate), Progr. Math. 36, Birkhäuser (1983) 271 | DOI

[21] R Pandharipande, A Pixton, Relations in the tautological ring of the moduli space of curves, preprint (2013)

[22] O Randal-Williams, Relations among tautological classes revisited, Adv. Math. 231 (2012) 1773 | DOI

[23] N E Steenrod, Homology with local coefficients, Ann. of Math. 44 (1943) 610 | DOI

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