Poincaré Duality — Mathematics Knowledge System

Overview

Poincaré duality is a fundamental theorem stating that for a closed orientable n-manifold M, the k-th homology and (n-k)-th cohomology groups are isomorphic: H_k(M; Z) ≅ H^{n-k}(M; Z). The isomorphism is given by cap product with the fundamental class [M] ∈ H_n(M; Z). This duality is a deep symmetry of manifolds with no counterpart for general spaces.

Intuition

On a closed orientable surface of genus g, Poincaré duality says H_0 ≅ H^2, H_1 ≅ H^1, H_2 ≅ H^0. Each k-cycle can be intersected with (n-k)-cycles to give a number, and this intersection pairing is non-degenerate. Geometrically, duality pairs 'big' cycles (close to the whole manifold) with 'small' ones (close to a point). On the torus T^2, the two S^1 factors are Poincaré dual to each other: they intersect in exactly one point.

Formal Definition

Definition

An orientation of a connected n-manifold M is a consistent choice of generator [M_x] ∈ H_n(M, M\{x}; Z) ≅ Z at each point x. A closed orientable n-manifold has a fundamental class [M] ∈ H_n(M; Z). The cap product with [M] gives the Poincaré duality isomorphism: D: H^k(M; Z) → H_{n-k}(M; Z), D(α) = α ∩ [M].

D: H^k(M;\mathbb{Z}) \xrightarrow{\sim} H_{n-k}(M;\mathbb{Z}),\quad D(\alpha) = \alpha \cap [M]

Poincaré duality isomorphism

\alpha \cap \sigma = \alpha(\sigma|_{[v_0,\ldots,v_k]}) \cdot \sigma|_{[v_k,\ldots,v_n]}

Cap product definition

\langle \alpha, D(\beta) \rangle = \langle \alpha \cup \beta, [M] \rangle

Duality pairing

H_k(M;\mathbb{Z}) \cong H^{n-k}(M;\mathbb{Z}) \quad \text{for } M \text{ closed, orientable, } n\text{-manifold}

Poincaré duality

Notation

Notation	Meaning
$[M]$	Fundamental class of the closed orientable n-manifold M
$\alpha \cap \sigma$	Cap product of cochain α with chain σ
$D$	Poincaré duality isomorphism D(α) = α ∩ [M]
$\langle \alpha, [M] \rangle$	Kronecker pairing: evaluation of cocycle α on fundamental class

Theorems

Theorem 1: Poincaré Duality Theorem

If M is a closed connected orientable n-manifold, then for all k, the cap product with the fundamental class [M] induces isomorphisms H^k(M; Z) ≅ H_{n-k}(M; Z) and H^k(M; R) ≅ H_{n-k}(M; R) for any ring R.

Theorem 2: Poincaré Duality for Manifolds with Boundary

For a compact orientable n-manifold M with boundary ∂M, the relative fundamental class [M,∂M] ∈ H_n(M,∂M;Z) induces isomorphisms H^k(M;Z) ≅ H_{n-k}(M,∂M;Z).

Theorem 3: Intersection Form

\text{For a closed orientable }2n\text{-manifold }M\text{, Poincar\'{e} duality implies the intersection form }Q: H_n(M;\mathbb{Z}) \times H_n(M;\mathbb{Z}) \to \mathbb{Z}\text{, }Q(\alpha,\beta) = (PD^{-1}\alpha \cup PD^{-1}\beta)[M]\text{, is a nondegenerate symmetric (}n\text{ even) or skew-symmetric (}n\text{ odd) bilinear form.}

Worked Examples

1
T^2 is a closed orientable 2-manifold. H_0=Z, H_1=Z², H_2=Z; H^0=Z, H^1=Z², H^2=Z.
$H_k(T^2) \cong H^{2-k}(T^2):\quad H_0 \cong H^2 \cong \mathbb{Z},\; H_1 \cong H^1 \cong \mathbb{Z}^2$
2
The fundamental class [T^2] ∈ H_2(T^2;Z) = Z is the generator.
3
The duality isomorphism D: H^1(T^2) → H_1(T^2) sends the generator α to the cycle α∩[T^2] = the dual circle.
$D(\alpha) = \alpha \cap [T^2]$
4
Explicitly, if α, β generate H^1(T^2) dual to the two circle factors a, b: D(α)=[b], D(β)=[a], consistent with intersection number α·β=1.

✓ Answer

Poincaré duality holds: H^k(T^2) ≅ H_{2-k}(T^2) with isomorphism given by cap product with [T^2].

Practice Problems

Hardproof writing

Use Poincaré duality to compute H_1(S^3; Z) without using the long exact sequence.

Mediumfree response

Explain why an odd-dimensional closed orientable manifold must have Euler characteristic 0.

Common Mistakes

Common Mistake

Poincaré duality holds for all closed manifolds.

Poincaré duality requires orientability. For non-orientable closed manifolds like RP^2, the duality holds with Z/2Z coefficients but not with Z coefficients. H_1(RP^2;Z) = Z/2Z while H^1(RP^2;Z) = 0.

Common Mistake

Poincaré duality says H_k ≅ H^k.

Poincaré duality says H_k(M;Z) ≅ H^{n-k}(M;Z), pairing complementary dimensions. The complementary index is n-k, not k.

Quiz

Historical Background

Poincaré discovered the duality in 1895 in Analysis Situs, stating it in terms of Betti numbers. He initially gave an incorrect proof; the gaps were filled by Lefschetz and others. The modern formulation using the cap product and fundamental class was developed by Lefschetz and later refined by Eilenberg and Mac Lane. Poincaré duality is a cornerstone of the classification of manifolds and has deep connections to intersection theory.

1895
Poincaré states duality in terms of Betti numbers in Analysis Situs
Poincaré
1923
Lefschetz provides a rigorous proof and extends to manifolds with boundary
Lefschetz
1960s
Atiyah and Singer relate Poincaré duality to the index theorem
Atiyah, Singer

Summary

Poincaré duality for a closed orientable n-manifold M: H^k(M;Z) ≅ H_{n-k}(M;Z) via cap product with the fundamental class [M].
The fundamental class [M] ∈ H_n(M;Z) is a generator, existing only for orientable manifolds.
Poincaré duality implies that odd-dimensional closed manifolds have Euler characteristic 0.
For closed 2n-manifolds, the intersection form on H_n is a nondegenerate bilinear form, key in 4-manifold topology.
Duality extends to manifolds with boundary via relative cohomology: H^k(M;Z) ≅ H_{n-k}(M,∂M;Z).

References

BookHatcher, A. Algebraic Topology. Cambridge University Press, 2002. Section 3.3.
BookMilnor, J. and Stasheff, J. Characteristic Classes. Princeton University Press, 1974.
WebsiteWikipedia: Poincaré duality