Verdier duality

From Wikipedia, the free encyclopedia

In mathematics, Verdier duality is a generalization of Poincaré duality of manifolds, to spaces with singularities. The theory was introduced by Jean-Louis Verdier (1965), and there is a similar duality theory for schemes due to Grothendieck.

1 Notation
2 Verdier duality
3 Poincare duality
4 References

[edit] Notation

We let F be a field.
The dimension of a locally compact space is the smallest integer n such that H_cⁿ⁺¹(X,S)=0 for all sheaves S (or infinity if no such integer n exists).
X and Y are finite dimensional locally compact space, and f is a continuous map from X to Y.
[A,B] is the set of morphisms between elements A and B of the derived category of sheaves on a space.
f_* and f^* are the usual direct and inverse image functors between sheaves induced by f. The functor f^* is the left adjoint of f_*.
f_! is the direct image with compact support.

[edit] Verdier duality

Global Verdier duality states that Rf_! has a right adjoint f^! in the derived category, in other words

[R f! A, B] = [A, f! B]

If X is a finite covering space of Y then f^! takes sheaves to sheaves and is the same as f^*. If X is a closed subspace of Y then f^! again takes sheaves to sheaves, but in general its image on sheaves cannot be represented by a simgle sheaf, but only by a complex of sheaves on the derived category.

Local Verdier duality states that

R H o m (R f! A, B) = R f * R H o m (A, f! B)

in the right derived category of sheaves of F modules over X. Taking homology of both sides give global Verdier duality.

The dualizing complex D_X on X is defined to be

D X = f! (F)

where f is the map from X to a point.

If X is a finite dimensional locally compact space, and D^b(X) the bounded derived category of sheaves of abelian groups over X, then the Verdier dual is a contravariant functor

$D: D^b(X)\mapsto D^b(X)$

defined by

D (A) = R H o m (A, D X)

It has the following properties:

D²(S) is isomorphic to S.
(Verdier duality) If f is a continuous map from X to Y then there is an isomorphism

D (R f * (S)) = R f! D (S)

for any S ∈ D^b(X).

Here Rf_* denotes the higher direct image, at the derived category level.

In the special case when Y is a point and X is compact this says (roughly) that the cohomologies of dual complexes are dual.

[edit] Poincare duality

Poincare duality is a special case of Verdier duality; this can be seen as follows.

In the derived category, cohomology can be interpreted as chain homotopy classes of maps

H^k (X, F) = [F[−k],X] = [F, X[k]]

where F[−k] is the complex with the constant sheaf F concentrated in degree k, and [—, —] denote the chain homotopy classes of maps. The Verdier dual allows us to interpret homology in the derived category as well:

[F[−k], D_X] = H_k (X, F).

The left hand side is by definition the dual of the cohomology with compact support, so this equation says that homology is dual to cohomology with compact support.

It also follows that for an oriented manifold M, the Verdier dual is given by

D_M = F[−n].

Ordinary Poincaré duality of a manifold can then be interpreted as the perfect pairing

[F[−k], F] ⊗ [F[k−n], F[−n]] → [F[−n], F[−n]] → F.

[edit] References

A. Borel Intersection Cohomology (Progress in Mathematics (Birkhauser Boston)) ISBN 0817632743
Iversen, Birger Cohomology of sheaves. Universitext. Springer-Verlag, Berlin, 1986. xii+464 pp. ISBN 3-540-16389-1 MR 0842190
J.-L. Verdier, Dualité dans la cohomologie des espaces localement compacts, Seminaire Bourbaki Exp. 300 (1965-66)

Retrieved from "http://en.wikipedia.org../../../v/e/r/Verdier_duality.html"

Categories: Topology | Homological algebra | Sheaf theory | Duality theories