Verdier duality is a fundamental theorem in homological algebra and algebraic geometry that generalizes Poincaré duality to the setting of sheaf theory on locally compact topological spaces, and more broadly to derived categories of sheaves on schemes and complex analytic spaces. Formulated by Jean‑Louis Verdier in the early 1960s, the theorem provides an involutive dualizing functor on the derived category of bounded constructible complexes of sheaves, establishing a duality between cohomology with compact support and ordinary cohomology.
Statement (simplified)
Let $X$ be a separated, locally compact Hausdorff space (or a reasonable scheme/analytic space) equipped with a dualizing complex $\omega_X^\bullet$. For an object $F^\bullet$ of the bounded derived category $D^b_c(X)$ of sheaves of abelian groups (or $ \mathbb{Z}$-modules) with constructible cohomology, the Verdier dual is defined as
$$
\mathbb{D}_X(F^\bullet) ;:=; \mathbf{R}!\mathcal{H}om(F^\bullet,\omega_X^\bullet),
$$
where $\mathbf{R}!\mathcal{H}om$ denotes the derived sheaf Hom. Verdier duality asserts that $\mathbb{D}_X$ is an involutive anti‑equivalence:
$$
\mathbb{D}_X\bigl(\mathbb{D}_X(F^\bullet)\bigr) \cong F^\bullet,
$$
and that for any such $F^\bullet$ there is a natural perfect pairing
$$
H^i_c(X;F^\bullet) \times H^{-i}\bigl(X;\mathbb{D}_X(F^\bullet)\bigr) ;\longrightarrow; \mathbb{Z},
$$
generalizing the classical intersection pairing on manifolds.
Key components
-
Dualizing complex $\omega_X^\bullet$ – a bounded complex of injective sheaves on $X$ that plays the role of an orientation sheaf in Poincaré duality. For a smooth $n$-dimensional manifold, $\omega_X^\bullet$ is the shifted orientation sheaf $\mathbb{Z}_X[n]$; for a complex algebraic variety, it is often taken to be the shifted canonical sheaf.
-
Constructible complexes – complexes whose cohomology sheaves are locally constant on a stratification of $X$ and have finite stalks. This finiteness condition ensures that the derived Hom and derived tensor operations are well‑behaved.
-
Derived categories – Verdier duality is naturally expressed in the language of derived categories, allowing one to treat complexes up to quasi‑isomorphism and to perform homological operations functorially.
Historical context
Jean‑Louis Verdier introduced the duality in his 1965 thesis “Le théorème de dualité dans la cohomologie des faisceaux” (published in Lecture Notes in Mathematics vol. 79). The result built upon earlier work of Alexander Grothendieck on duality for coherent sheaves, as well as the classical Poincaré duality for manifolds. Verdier’s construction unified these perspectives and became a cornerstone of the theory of perverse sheaves, where the duality interchanges the standard and costandard t‑structures.
Applications
- Perverse sheaves – Verdier duality exchanges perverse sheaves with their Verdier duals, underpinning the self‑duality of the intersection cohomology complex.
- Algebraic geometry – The theorem yields Grothendieck duality for proper morphisms of schemes when combined with push‑forward and pull‑back functors.
- Representation theory – Through the geometric Satake correspondence and the theory of character sheaves, Verdier duality provides categorical dualities reflecting representation‑theoretic symmetries.
- Topological field theory – In contexts such as derived categories of constructible sheaves on manifolds, Verdier duality embodies the physical notion of charge‑anti‑charge pairing.
References
- Verdier, J.-L. Le théorème de dualité dans la cohomologie des faisceaux. Lecture Notes in Mathematics, vol. 79. Springer, 1965.
- Kashiwara, M., Schapira, P. Sheaves on Manifolds. Grundlehren der mathematischen Wissenschaften, vol. 292. Springer, 1990.
- Hartshorne, R. Residues and Duality. Lecture Notes in Mathematics, vol. 20. Springer, 1966.
- Borel, A., et al., eds. Intersection Cohomology. Progress in Mathematics, vol. 50. Birkhäuser, 1984.
- Goresky, M., MacPherson, R. Stratified Morse Theory. Springer, 1988.
Verdier duality remains an active area of research, with ongoing extensions to derived algebraic geometry, ∞‑categories, and non‑commutative settings.
