Formality of sphere bundles
In this paper the author considers orientable sphere bundles \( S^k \to X\to M \) where the base \(M\) is a closed manifold.\N\NAssuming that the base \(M\) is formal in the sense of rational homotopy theory, for which the classical reference is [\textit{Y. Felix} et al., Rational homotopy theory. New York, NY: Springer (2001; Zbl 0961.55002)] and using the tools from this theory, the author studies how the formality of the base implies the formality of the total space \(X\). We recall that essentially a space is formal if its rational homotopy type is a formal consequence of its rational cohomology.\N\NIn the case of fibrations of simply connected spaces this study was initiated, among others, by \textit{G. Lupton} [Banach Cent. Publ. 45, 115--135 (1998; Zbl 0931.55007)] and, \textit{M. Amann} and \textit{V. Kapovitch} [Adv. Math. 231, No. 3--4, 2048--2068 (2012; Zbl 1262.55005)]. From this study it is clear that for bundles with even sphere fibers the formality of the base is equivalent to the formality of the total space. So bundles with odd sphere fiber are of special relevance. In fact, there are simple examples with fibers odd spheres where the base is formal but the total space is not formal.\N\NThe main result of the paper asserts that for orientable sphere bundles over a formal closed manifold the formality of the total space is equivalent to the vanishing of the Bianchi-Massey tensor introduced by \textit{D. Crowley} and \textit{J. Nordström} [J. Topol. 13, No. 2, 539--575 (2020; Zbl 1458.55007)].\N\NAs a corollary of this, if the unit tangent bundle of a formal manifold is formal, then either the base manifold has vanishing Euler characteristic or its rational cohomology is generated by a single element.\N\NThe author also considers the case when the base is not formal and gives, under certain conditions related to the reducibility of the Euler class of the sphere bundle, an obstruction to the formality of it.
- scientific article; zbMATH DE number 1302890 (Why is no real title available?)
- scientific article; zbMATH DE number 1510507 (Why is no real title available?)
- Infinitesimal computations in topology
- Lectures on minimal models
- Odd sphere bundles, symplectic manifolds, and their intersection theory
- On fibrations with formal elliptic fibers
- On formality of Sasakian manifolds
- On the formality of k-1 connected compact manifolds of dimension less than or equal to 4k-2
- Real homotopy theory of Kähler manifolds
- The Lefschetz property, formality and blowing up in symplectic geometry
- The rational homotopy type of (n−1)‐connected manifolds of dimension up to 5n−3
This page was built for publication: Formality of sphere bundles
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6936507)
