[Paper Review] On Certain 5-manifolds with Fundamental Group of Order 2

Ian Hambleton, Yang Su|arXiv (Cornell University)|Mar 30, 2009

Geometric and Algebraic Topology19 references3 citations

TL;DR

This paper provides a complete classification of smooth and topological, closed, orientable 5-manifolds with fundamental group ℤ/2 and torsion-free second homology, under the fibered type condition. Using Pin^dagger-bordism invariants and the rank of H₂, it establishes that two such manifolds are diffeomorphic (or homeomorphic) if and only if they share the same w₂-type, H₂ rank, and characteristic submanifold bordism class in Ω₄^Pin^†/±.

ABSTRACT

In this paper, an explicit classification result for certain 5-manifolds with fundamental group Z/2 is obtained. These manifolds include total spaces of circle bundles over simply-connected 4-manifolds.

Motivation & Objective

• To classify smooth and topological 5-manifolds with fundamental group ℤ/2 and torsion-free H₂ under the fibered type condition.
• To identify a complete set of invariants that determine the diffeomorphism and homeomorphism types of such manifolds.
• To provide explicit geometric models for circle bundles over simply-connected 4-manifolds with π₁ = ℤ/2.
• To establish conditions under which such 5-manifolds are smoothable or non-smoothable.
• To connect the classification to the existence of geometric structures like contact, Sasakian, or Einstein metrics.

Proposed method

• Applies modified surgery theory developed by Kreck to classify manifolds in the given homotopy type.
• Uses the surgery exact sequence and Pin^†-structures on stable vector bundles to define invariants.
• Employs the characteristic submanifold P of a 5-manifold M to define a bordism class [P] ∈ Ω₄^Pin^†/±.
• Relies on the classification of Pin^†-bordism groups, particularly Ω₄^Pin^c ≅ ℤ/8 ⊕ ℤ/2 and Ω₄^Top ≅ ℤ ⊕ ℤ/2.
• Applies the w₂-type classification (I, II, III) to distinguish between different spin and non-spin structures.
• Uses the mod 2 and mod 8 invariants of c₁(ξ)² and w₂(X)² to determine bordism classes and smoothability.

Experimental results

Research questions

• RQ1 What invariants completely classify smooth and topological 5-manifolds with π₁ = ℤ/2 and torsion-free H₂ under the fibered type condition?
• RQ2 How do the Pin^†-bordism classes of characteristic submanifolds determine the diffeomorphism type of such 5-manifolds?
• RQ3 Under what conditions is a circle bundle over a simply-connected 4-manifold with c₁(ξ) = 2·(primitive) smoothable or non-smoothable?
• RQ4 How do the invariants w₂-type, H₂ rank, and bordism class of the characteristic submanifold relate in the classification?
• RQ5 Can explicit geometric models be constructed for these 5-manifolds, particularly for circle bundles over 4-manifolds with π₁ = ℤ/2?

Key findings

• Two smooth, closed, orientable fibered type 5-manifolds with π₁ = ℤ/2 and torsion-free H₂ are diffeomorphic if and only if they have the same w₂-type, H₂ rank, and Pin^†-bordism class of their characteristic submanifolds.
• For type II circle bundles over simply-connected spin 4-manifolds with c₁(ξ) = 2·(primitive), M is diffeomorphic to (S²×ℝP³)♯_{S¹}((#_k S²×S²)×S¹) if KS(X) = 0, and homeomorphic to the same with a non-smoothable S²×ℝP³ if KS(X) = 1.
• For type I circle bundles over non-spin 4-manifolds, the diffeomorphism type depends on the mod 2 parity of w₂(X)² and c₁(ξ)², with distinct models involving X⁵(q)♯_{S¹}(S²×ℝP³) or X⁵(q)♯_{S¹}(ℂP²×S¹).
• The integer k in the connected sum decomposition is given by k = ½(rank H₂(X) − ½(7 + (−1)^q)) for the S²×ℝP³ case and k = ½(rank H₂(X) − ½(5 + (−1)^q)) for the ℂP²×S¹ case.
• The classification ensures all listed manifolds satisfy W₃ = 0, a necessary condition for the existence of contact structures.
• The results have been applied by Geiges and Stipsicz to prove new existence theorems for contact structures on 5-manifolds.