Algebraic independence of generalized MMM-classes

DOI10.2140/AGT.2011.11.69MaRDI QIDQ618733zbMATH OpenOpenAlexFDO

Authors Johannes Ebert

Publication date 17 January 2011

Published in Algebraic \& Geometric Topology (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/0910.1030

zbMATH Keywords

characteristic classgeneralized Miller-Morita-Mumford (MMM) classGysin homomorphismMadsen-Tillmann-Weiss spectrummanifold bundletransfer

Mathematics Subject Classification ID

Homology of classifying spaces and characteristic classes in algebraic topology (55R40) Characteristic classes and numbers in differential topology (57R20) Topology of vector bundles and fiber bundles (57R22)

Abstract: The generalized Morita-Miller-Mumford classes of a smooth oriented manifold bundle are defined as the image of the characteristic classes of the vertical tangent bundle under the Gysin homomorphism. We show that if the dimension of the manifold is even, then all MMM-classes in rational cohomology are nonzero for some bundle. In odd dimensions, this is also true with one exception: the MMM-class associated with the Hirzebruch $cL$-class is always zero. We also show a similar result for holomorphic fibre bundles.

Review text

For smooth fibre bundles with fibre a closed connected oriented surface, there are certain characteristic classes, first studied by E. Miller, S. Morita, and D. Mumford, and therefore called Miller-Morita-Mumford (or MMM) classes; see, for example, Ch. 4 of Morita's book [\textit{S. Morita}, Geometry of characteristic classes. Transl. from the Japanese by the author. Translations of Mathematical Monographs. Iwanami Series in Modern Mathematics. 199. Providence, RI: American Mathematical Society (AMS). (2001; Zbl 0976.57026)]. The paper under review mainly studies a generalization of the MMM-classes to the context of fibre bundles with fibre a smooth closed manifold of arbitrary dimension. Let \(M\) be a smooth closed oriented \(n\)-dimensional manifold, and let \(\text{Diff}^ +(M)\) be the topological group of all orientation-preserving diffeomorphisms of \(M\). By a smooth oriented \(M\)-bundle (note that the adjective ``smooth\, refers to \(M\), and not to the bundle), the author means a fibre bundle with structure group \(\text{Diff}^ +(M)\) and fibre \(M\); the base space of the bundle is not assumed to be a manifold. Let \(f: E\rightarrow B\) be a smooth oriented \(M\)-bundle, and \(P\rightarrow B\) be its associated \(\text{Diff}^ +(M)\)-principal bundle; \(E\) can be identified with \(P\times_{\text{Diff}^ +(M)} M\). Then the vertical tangent bundle of \(f\) is the oriented \(n\)-dimensional vector bundle \(T^ f:=P\times_{\text{Diff}^ +(M)} TM \rightarrow E\). For each rational cohomology class \(c\) of the classifying space \(BSO(n)\), one has the associated cohomology class \(c(T^ f)\in H^ *(E;\mathbb Q)\). The corresponding generalized Miller-Morita-Mumford or MMM-class of \(f\) is defined to be \({\kappa_ E}(c):=f_ {!}(c(T^ f)) \in H^ {*-n} (B;\mathbb Q)\), where \(f_ {!}: H^ *(E;\mathbb Q)\rightarrow H^ {*-n}(B;\mathbb Q)\) is the Gysin (or Umkehr) homomorphism. The central result of the paper under review, Theorem A, basically says that (1) if \(n\geq 0\) is even, then for each nonzero \(c\in H^ *(BSO(n);\mathbb Q)\), there is a connected smooth closed oriented \(n\)-dimensional manifold \(M\) and a smooth oriented \(M\)-bundle \(f: E\rightarrow B\) with \({\kappa_ E}(c)\neq 0\); (2) for \(n\geq 1\) odd, the analogous statement is ``almost true in the sense that there is one exception: the MMM-class associated with the Hirzebruch \(\mathcal L\)-class always vanishes. For \(n=2\), this theorem covers a known result for surface bundles that was first proved by \textit{E. Y. Miller} [J. Differ. Geom. 24, 1--14 (1986; Zbl 0618.57005)] and \textit{S. Morita} [Invent. Math. 90, 551--577 (1987; Zbl 0608.57020)], and the author of the paper under review uses this in his proof. A result similar to Theorem A is derived for holomorphic fibre bundles. In addition, the author explains how the results of this paper can be interpreted in terms of the Madsen-Tillmann-Weiss spectra, and he also deals with the case of unoriented-manifold bundles.

Recommendations

• scientific article; zbMATH DE number 1453813
• Independence algebras
• Independence Algebras
• Asymptotic properties of MMM-classes
• Independence in abstract algebras results and problems
• On the algebraic independence of functions of a certain class
• Some results on algebraic independence
• Some results on algebraic independence
• scientific article; zbMATH DE number 2129917
• scientific article; zbMATH DE number 781267

Cites work

• A vanishing theorem for characteristic classes of odd-dimensional manifold bundles
• Characteristic Classes and Homogeneous Spaces, I
• Characteristic classes of surface bundles
• Characteristic Classes. (AM-76)
• Curvature and characteristic classes
• Differential Topology
• Fibering over the circle within a bordism class
• Geometry of characteristic classes. Transl. from the Japanese by the author
• Homology of the infinite symmetric group
• scientific article; zbMATH DE number 3882570 (Why is no real title available?)
• scientific article; zbMATH DE number 53239 (Why is no real title available?)
• scientific article; zbMATH DE number 3308093 (Why is no real title available?)
• scientific article; zbMATH DE number 3385027 (Why is no real title available?)
• Monoids of moduli spaces of manifolds
• On invariants with the Novikov additive property
• On spaces of maps from Riemann surfaces to Grassmannians and applications to the cohomology of moduli of vector bundles
• On the divisibility of characteristic classes of non-oriented surface bundles
• Oriented Manifolds Fibered over the Circle
• Periodic surface automorphisms and algebraic independence of Morita-Mumford classes
• Pontrjagin-Thom maps and the homology of the moduli stack of stable curves
• Quelques propriétés globales des variétés différentiables
• Surgery obstructions of fibre bundles
• The bordism class of a bundle space
• The diffeomorphism group of a K3 surface and Nielsen realization
• The homology of the mapping class group
• The homology theory of the closed geodesic problem
• The homotopy type of the cobordism category
• The index of elliptic operators. IV, V
• The moment map and equivariant cohomology
• The stable mapping class group and \(Q(\mathbb C P^ \infty_ +)\).
• The stable moduli space of Riemann surfaces: Mumford's conjecture
• The topology of spaces of rational functions
• The transfer map and fiber bundles

Cited in

(9)

• Stable moduli spaces of high-dimensional manifolds
• Relations among characteristic classes of manifold bundles
• Generalised Miller-Morita-Mumford classes for block bundles and topological bundles
• Rigidity and characteristic classes of smooth bundles with nonpositively curved fibers
• Invariance properties of Miller-Morita-Mumford characteristic numbers of fibre bundles
• Spaces of graphs and surfaces: on the work of Søren Galatius
• Characteristic classes of fiber bundles
• Asymptotic properties of MMM-classes
• Characteristic classes for families of bundles

This page was built for publication: Algebraic independence of generalized MMM-classes

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q618733)