Book contents
- Frontmatter
- Contents
- Preface
- I Algebraic Preliminaries
- II General results on the homotopy type of 4-manifolds
- III Mapping tori and circle bundles
- IV Surface bundles
- V Simple homotopy type, s-cobordism and homeomorphism
- VI Aspherical geometries
- VII Manifolds covered by S2 × R2
- VIII Manifolds covered by S3 × R
- IX Geometries with compact models
- X Applications to 2-knots and complex surfaces
- Appendix: 3-dimensional Poincaré duality complexes
- Problems
- References
- Index
IV - Surface bundles
Published online by Cambridge University Press: 16 September 2009
- Frontmatter
- Contents
- Preface
- I Algebraic Preliminaries
- II General results on the homotopy type of 4-manifolds
- III Mapping tori and circle bundles
- IV Surface bundles
- V Simple homotopy type, s-cobordism and homeomorphism
- VI Aspherical geometries
- VII Manifolds covered by S2 × R2
- VIII Manifolds covered by S3 × R
- IX Geometries with compact models
- X Applications to 2-knots and complex surfaces
- Appendix: 3-dimensional Poincaré duality complexes
- Problems
- References
- Index
Summary
If B, E and F are connected finite complexes and p : E → B is a Hurewicz fibration with fibre homotopy equivalent to F then χ(E) = χ(B)χ(F) and there is an exact sequence π2(B) → π1(F) → π1(E) → π1(B) → 1 in which the image of π2(B) is in the centre of π1(F). These conditions are clearly homotopy invariant.
In this chapter we shall show that a closed 4-manifold M is homotopy equivalent to the total space of a fibre bundle with base and fibre closed surfaces if and only if these conditions on the Euler characteristic and fundamental group hold. When the base is S2 or RP2 we need also conditions on the characteristic classes of M, and in the latter case our results are incomplete when M is nonorientable.
Bundles with base an aspherical surface
If X is a finite complex let E(X) be the monoid of all self homotopy equivalences of X, with the compact-open topology, and if X has been given a base point let E0(X) be the subspace (and submonoid) of base point preserving self homotopy equivalences. The evaluation map from E(X) to X is a Hurewicz fibration with fibre E0(X) [Go68].
- Type
- Chapter
- Information
- The Algebraic Characterization of Geometric 4-Manifolds , pp. 50 - 66Publisher: Cambridge University PressPrint publication year: 1994