Poincaré duality

E156194

Poincaré duality is a fundamental theorem in algebraic topology that relates the homology and cohomology groups of an oriented closed manifold in complementary dimensions.

All labels observed (5)

How this entity was disambiguated

Statements (45)

Predicate Object
instanceOf duality principle ⓘ
theorem in algebraic topology ⓘ
appliesTo compact oriented manifolds without boundary ⓘ
oriented closed manifolds ⓘ
characterizes Poincaré duality spaces ⓘ
linked to: Poincaré duality
cohomologyVersion isomorphism H^{k}(M;R) ≅ H_{n-k}(M;R) ⓘ
context de Rham cohomology for smooth manifolds ⓘ
simplicial homology for triangulated manifolds ⓘ
singular homology ⓘ
dimensionStatement for an n-dimensional manifold M, H_k(M) is dual to H^{n-k}(M) ⓘ
failsWithout orientability ⓘ
field algebraic topology ⓘ
generalizedBy Poincaré–Lefschetz duality ⓘ
linked to: Poincaré duality

Verdier duality ⓘ
hasVariant Poincaré duality for manifolds with boundary ⓘ
Poincaré duality with local coefficients ⓘ
linked to: Poincaré duality
historicalPeriod early 20th century mathematics ⓘ
holdsWithCoefficients field coefficients ⓘ
orientable local coefficient systems ⓘ
implies isomorphism between H_k(M;R) and H^{n-k}(M;R) for suitable coefficients R ⓘ
nondegenerate pairing between homology and cohomology ⓘ
symmetry of Betti numbers b_k = b_{n-k} for closed oriented manifolds ⓘ
involves Kronecker pairing ⓘ
cup product structure on cohomology ⓘ
namedAfter Henri Poincaré ⓘ
relatedConcept Alexander duality ⓘ
Hodge theory ⓘ
Lefschetz duality ⓘ
intersection pairing ⓘ
relates cohomology groups ⓘ
homology and cohomology in complementary degrees ⓘ
homology groups ⓘ
requires finite-dimensional homology groups for compact manifolds ⓘ
manifold to be closed ⓘ
orientation on the manifold ⓘ
usedIn Morse theory ⓘ
linked to: Morse Theory

classification of manifolds ⓘ
intersection homology ⓘ
study of manifold invariants ⓘ
surgery theory ⓘ
topological quantum field theory ⓘ
usedToShow 0th cohomology of a connected closed manifold is isomorphic to the coefficient ring ⓘ
top-dimensional homology of a closed oriented n-manifold is isomorphic to the coefficient ring ⓘ
uses cap product ⓘ
fundamental class of a manifold ⓘ

How these facts were elicited

Referenced by (17)

Full triples — surface form annotated when it differs from this entity's canonical label.

Henri Poincaré → notableWork → Poincaré duality ⓘ
Henri Poincaré → notableWork → Poincaré–Lefschetz duality ⓘ
linked to: Poincaré duality
Poincaré lemma → usedInProofOf → Poincaré duality ⓘ
Poincaré duality → generalizedBy → Poincaré–Lefschetz duality ⓘ
linked to: Poincaré duality
Poincaré duality → characterizes → Poincaré duality spaces ⓘ
linked to: Poincaré duality
Poincaré duality → hasVariant → Poincaré duality with local coefficients ⓘ
linked to: Poincaré duality
Weil conjectures → usesConcept → Poincaré duality ⓘ
Algebraic Topology → developsConcept → Poincaré duality ⓘ
subject linked to: "Algebraic Topology"
Hard Lefschetz theorem → usesConcept → Poincaré duality ⓘ
Hard Lefschetz theorem → isRelatedTo → Poincaré duality theorem ⓘ
linked to: Poincaré duality
de Rham cohomology → relatedConcept → Poincaré duality ⓘ
Verdier duality → generalizes → Poincaré duality ⓘ
Alexander duality → relatesTo → Poincaré duality ⓘ
Lefschetz duality → generalizes → Poincaré duality ⓘ
Lefschetz duality → isRelatedTo → Poincaré–Lefschetz duality ⓘ
linked to: Poincaré duality
Hodge star operator → relatedTo → Poincaré duality ⓘ