TOPICS
Search

Poincaré Duality

Poincaré duality states that for a connected closed orientable manifold M of dimension n, a field F, and the fundamental class [M] in H_n(M;F), taking the cap product with [M] gives an isomorphism

H^k(M;F)->H_(n-k)(M;F), alpha|->[M]⌢alpha.

Consequently, the Betti numbers satisfy

b_k(M)=b_(n-k)(M).

Under this correspondence, the cup product of cohomology classes is dual to the intersection product of homology classes. For a compact orientable manifold with boundary, the corresponding statement is the Poincaré-Lefschetz duality isomorphism H^k(M;F)=H_(n-k)(M,partialM;F). With coefficients in F_2, an orientation is not required.

See also

Betti Number, Cap Product, Cohomology, Cup Product, Fundamental Class, Homology, Homology Intersection, Local Coefficient System, Poincaré Complex, Poincaré Duality Group, Singer Conjecture

Explore with Wolfram|Alpha

References

Hatcher, A. Algebraic Topology. Cambridge, England: Cambridge University Press, 2002. https://pi.math.cornell.edu/~hatcher/AT/AT.pdf.Munkres, J. R. Elements of Algebraic Topology. Menlo Park, CA: Addison-Wesley, 1984.

Referenced on Wolfram|Alpha

Poincaré Duality

Cite this as:

Weisstein, Eric W. "Poincaré Duality." From MathWorld--A Wolfram Resource. https://mathworld.wolfram.com/PoincareDuality.html

Subject classifications