Characteristic classes for families of bundles

Abstract

AbstractThe generalized Miller–Morita–Mumford classes of a manifold bundle with fiberMdepend only on the underlying$$\tau _M$$τM-fibration, meaning the family of vector bundles formed by the tangent bundles of the fibers. This motivates a closer study of the classifying space for$$\tau _M$$τM-fibrations,$$Baut(\tau _M)$$Baut(τM), and its cohomology ring, i.e., the ring of characteristic classes of$$\tau _M$$τM-fibrations. For a bundle$$\xi $$ξover a simply connected Poincaré duality space, we construct a relative Sullivan model for the universal$$\xi $$ξ-fibration with holonomy in a given connected monoid, together with explicit cocycle representatives for the characteristic classes of the canonical bundle over its total space. This yields tools for computing the rational cohomology ring of$$Baut(\xi )$$Baut(ξ)as well as the subring generated by the generalized Miller–Morita–Mumford classes. To illustrate, we carry out sample computations for spheres and complex projective spaces. We discuss applications to tautological rings of simply connected manifolds and to the problem of deciding whether a given$$\tau _M$$τM-fibration comes from a manifold bundle.