An isomorphism on a closed, oriented n-dimensional manifold M that pairs k-th homology H_k(M;R) with (n−k)-th cohomology H^{n-k}(M;R) via cap product with a chosen fundamental class, yielding perfect pairings under suitable coefficients.

Principle

An oriented fundamental class in top-dimensional homology provides an evaluation isomorphism between homology and complementary-degree cohomology; orientation and compactness without boundary are the organizing hypotheses that make the cap product nondegenerate.

Demonstration

On a closed oriented surface of genus g, H_1 pairs with H^1 through the intersection form determined by the fundamental class; on S^n the nontrivial H_0 pairs with H^n and all intermediate groups vanish as predicted by Poincaré duality.

Misapplication

Applying Poincaré duality to noncompact manifolds, manifolds with boundary without using relative/cohomology with compact support, or unoriented manifolds without twisted coefficients leads to false conclusions about group isomorphisms.

Consequence

Correct use yields symmetry relations among Betti numbers, constrains possible homology groups for closed oriented manifolds, and enables computations of invariants (e.g., intersection pairings, signature) that detect manifold structure.

Reversal

Its inversion is to expect a global homology–cohomology pairing in spaces lacking a fundamental class (noncompact or nonoriented spaces); failure of duality in such cases indicates the necessity of boundary conditions or twisted coefficients.

Boundary

Holds for closed, oriented n-manifolds with coefficients in a ring where the orientation class is defined; must be modified for manifolds with boundary (relative Poincaré duality), for nonorientable manifolds (use local coefficient systems), or for noncompact spaces (use compactly supported cohomology).

Semantic Tension

Competes with duality statements in algebraic topology (Alexander duality, Lefschetz duality, Verdier duality) that apply in different contexts; the tension is between global manifold-oriented duality and dualities adapted to embeddings, boundaries, or sheaf-theoretic contexts.

Synthesis

Poincaré duality identifies homology in degree k with cohomology in complementary degree on a closed oriented manifold via the fundamental class, encoding orientation and compactness into a bilinear, nondegenerate pairing that governs manifold invariants.