Jump to content

Rational homology sphere

From Wikipedia, the free encyclopedia
(Redirected from Rational homology 3-sphere)

In algebraic topology, a rational homology -sphere is an -dimensional manifold with the same rational homology groups as the -sphere. These serve, among other things, to understand which information the rational homology groups of a space can or cannot measure and which attenuations result from neglecting torsion in comparison to the (integral) homology groups of the space.

Definition

[edit]

A rational homology -sphere is an -dimensional manifold with the same rational homology groups as the -sphere :

Properties

[edit]
  • Every (integral) homology sphere is a rational homology sphere.
  • Every simply connected rational homology -sphere with is homeomorphic to the -sphere.

Examples

[edit]
  • The -sphere itself is obviously a rational homology -sphere.
  • The pseudocircle (for which a weak homotopy equivalence from the circle exists) is a rational homotopy -sphere, which is not a homotopy -sphere.
  • The Klein bottle has two dimensions, but has the same rational homology as the -sphere as its (integral) homology groups are given by:[1]
Hence it is not a rational homology sphere, but would be if the requirement to be of same dimension was dropped.
  • The real projective space is a rational homology sphere for odd as its (integral) homology groups are given by:[2][3]
is the sphere in particular.
  • The five-dimensional Wu manifold is a simply connected rational homology sphere (with non-trivial homology groups , und ), which is not a homotopy sphere.

See also

[edit]

Literature

[edit]
  • Hatcher, Allen (2002), Algebraic Topology, Cambridge University Press, ISBN 0-521-79540-0
[edit]

References

[edit]
  1. ^ Hatcher 02, Example 2.47., p. 151
  2. ^ Hatcher 02, Example 2.42, S. 144
  3. ^ "Homology of real projective space". Retrieved 2024-01-30.