Poincaré space

In algebraic topology, a Poincaré space is an n-dimensional topological space with a distinguished element µ of its nth homology group such that taking the cap product with an element of the kth cohomology group yields an isomorphism to the (n − k)th homology group.[1] The space is essentially one for which Poincaré duality is valid; more precisely, one whose singular chain complex forms a Poincaré complex with respect to the distinguished element µ.

For example, any closed, orientable, connected manifold M is a Poincaré space, where the distinguished element is the fundamental class

Poincaré spaces are used in surgery theory to analyze and classify manifolds. Not every Poincaré space is a manifold, but the difference can be studied, first by having a normal map from a manifold, and then via obstruction theory.

Other uses

Sometimes,[2] Poincaré space means a homology sphere with non-trivial fundamental group—for instance, the Poincaré dodecahedral space in 3 dimensions.

gollark: It's not my fault that I don't run the required tests of code changes half the time.
gollark: Anyway, it was a minor beeoidality criticality event.
gollark: ++magic reload_ext heavserver
gollark: You need to quote it, apioform 11595, and also it's timezoned.
gollark: Ah yes.

See also

References
  1. Rudyak, Yu.B. (2001) [1994], "Poincaré space", Encyclopedia of Mathematics, EMS Press
  2. Edward G. Begle (1942). "Locally Connected Spaces and Generalized Manifolds". American Journal of Mathematics. 64 (1): 553–574. doi:10.2307/2371704. JSTOR 2371704.


This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.