Verdier duality

E620670

Verdier duality is a powerful generalization of Poincaré duality formulated in the language of derived categories and sheaf theory, providing a duality functor that relates cohomology with compact support to ordinary cohomology on possibly singular or non-compact spaces.

All labels observed (5)

How this entity was disambiguated

Statements (51)

Predicate Object
instanceOf duality theory ⓘ
mathematical concept ⓘ
theorem in algebraic topology ⓘ
theorem in homological algebra ⓘ
theorem in sheaf theory ⓘ
appliesTo complex algebraic varieties ⓘ
locally compact topological spaces ⓘ
non-compact spaces ⓘ
possibly singular spaces ⓘ
schemes ⓘ
compatibleWith six operations formalism ⓘ
defines Verdier duality functor ⓘ
linked to: Verdier duality

duality functor ⓘ
developedIn 20th century ⓘ
expressesAsIsomorphism H_c^i(X, F) ≅ H^{-i}(X, D_X F)^∨ under finiteness conditions ⓘ
RHom(F, D_X G) ≅ RHom(Rf_! F, G) ⓘ
field algebraic geometry ⓘ
algebraic topology ⓘ
derived category theory ⓘ
homological algebra ⓘ
sheaf theory ⓘ
formalizedIn language of derived categories of sheaves ⓘ
language of triangulated categories ⓘ
frameworkFor Grothendieck’s six functors formalism ⓘ
intersection cohomology ⓘ
perverse sheaves ⓘ
generalizes Poincaré duality ⓘ
hasConsequence Poincaré duality for smooth manifolds ⓘ
self-duality of intersection cohomology ⓘ
hasKeyFunctor derived direct image Rf_* ⓘ
derived direct image with proper support Rf_! ⓘ
derived functor RHom ⓘ
extraordinary pullback f^! ⓘ
hasKeyObject Verdier dualizing complex ⓘ
dualizing complex ⓘ
hasVariant Verdier duality for perverse sheaves ⓘ
equivariant Verdier duality ⓘ
relative Verdier duality ⓘ
linked to: Verdier duality
implies Poincaré duality for compact oriented manifolds ⓘ
namedAfter Jean-Louis Verdier ⓘ
relatedTo Grothendieck duality theory ⓘ
Serre duality ⓘ
relates cohomology with compact support ⓘ
ordinary cohomology ⓘ
usesConcept Grothendieck duality ⓘ
bounded derived category of sheaves ⓘ
cohomology with compact support ⓘ
constructible sheaf ⓘ
derived category ⓘ
extraordinary inverse image functor ⓘ
sheaf cohomology ⓘ

How these facts were elicited

Referenced by (7)

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

Poincaré duality → generalizedBy → Verdier duality ⓘ
Alexander Beilinson → influenced → theory of perverse sheaves ⓘ
linked to: Verdier duality
Grothendieck duality → relatedConcept → Verdier duality ⓘ
Verdier duality → defines → Verdier duality functor ⓘ
linked to: Verdier duality
Verdier duality → hasVariant → relative Verdier duality ⓘ
linked to: Verdier duality
Lefschetz duality → isSpecialCaseOf → Verdier duality ⓘ
Poitou–Tate duality → relatedTo → Artin–Verdier duality ⓘ
linked to: Verdier duality