In mathematics, a 5-manifold is a 5-dimensional topological manifold, possibly with a piecewise linear or smooth structure.

Non-simply connected 5-manifolds are impossible to classify, as this is harder than solving the word problem for groups.[1] Simply connected compact 5-manifolds were first classified by Stephen Smale[2] and then in full generality by Dennis Barden,[3] while another proof was later given by Aleksey V. Zhubr.[4] This turns out to be easier than the 3- or 4-dimensional case: the 3-dimensional case is the Thurston geometrisation conjecture, and the 4-dimensional case was solved by Michael Freedman (1982) in the topological case,[5] but is a very hard unsolved problem in the smooth case.

In dimension 5, the smooth classification of simply connected manifolds is governed by classical algebraic topology. Namely, two simply connected, smooth 5-manifolds are diffeomorphic if and only if there exists an isomorphism of their second homology groups with integer coefficients, preserving the linking form and the second Stiefel–Whitney class. Moreover, any such isomorphism in second homology is induced by some diffeomorphism. It is undecidable if a given 5-manifold is homeomorphic to , the 5-sphere.[1]

Examples

edit

Here are some examples of smooth, closed, simply connected 5-manifolds:

  •  , the 5-sphere.
  •  , the product of a 2-sphere with a 3-sphere.
  •  , the total space of the non-trivial  -bundle over  .
  •  , the Wu manifold, the homogeneous space obtained as the quotient of the special unitary group SU(3) by the rotation subgroup SO(3).

References

edit
  1. ^ a b Stillwell, John (1993), Classical Topology and Combinatorial Group Theory, Graduate Texts in Mathematics, vol. 72, Springer, p. 247, ISBN 9780387979700.
  2. ^ Smale, Stephen (1962). "On the structure of 5-manifolds". Annals of Mathematics. 2. 75: 38–46. doi:10.2307/1970417. MR 0141133.
  3. ^ Barden, Dennis (1965). "Simply Connected Five-Manifolds". Annals of Mathematics. 2nd Ser. 82 (3): 365–385. doi:10.2307/1970702. JSTOR 1970702. MR 0184241.
  4. ^ Zhubr, Aleksey Viktorovich (2004). "On a paper of Barden". Journal of Mathematical Sciences. 119 (1): 35–44. doi:10.1023/B:JOTH.0000008739.46142.89. MR 1846073.
  5. ^ Freedman, Michael Hartley (1982). "The topology of four-dimensional manifolds". Journal of Differential Geometry. 17 (3): 357–453. ISSN 0022-040X. MR 0679066.
edit