- Verdier duality
-
In mathematics, Verdier duality is a generalization of the 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. It plays a role in the theory of perverse sheaves.
Contents
Notation
Image functors for sheaves direct image f∗ inverse image f∗ direct image with compact support f! exceptional inverse image Rf! v · field. - The dimension of a locally compact space is the smallest integer n such that Hcn+1(X,S) = 0 for all abelian sheaves S (or infinity if no such integer n exists).
- X and Y are finite dimensional locally compact spaces, 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 and Rf! is the exceptional inverse image functor.
The exclamation mark is often pronounced "shriek" (slang for exclamation mark), and the maps called "f shriek" or "f lower shriek" and "f upper shriek" – see also shriek map.
Verdier duality
Global Verdier duality states that Rf! has a right adjoint f! in the derived category, in other words
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 single sheaf, but only by a complex of sheaves on the derived category.
Local Verdier duality states that
in the right derived category of sheaves of F modules over X. Taking homology of both sides gives global Verdier duality.
The dualizing complex DX on X is defined to be
where f is the map from X to a point.
If X is a finite dimensional locally compact space, and Db(X) the bounded derived category of sheaves of abelian groups over X, then the Verdier dual is a contravariant functor
defined by
It has the following properties:
- D2(S) is isomorphic to S when S has constructible cohomology.
- (Verdier duality) If f is a continuous map from X to Y then there is an isomorphism
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.
Poincaré duality
Poincaré 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
- Hk (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], DX] = Hk (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
- DM = 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.
References
- Borel, Armand (1984), Intersection cohomology, Progress in Mathematics, Basel, Boston, Berlin: Birkhäuser, ISBN 978-0-8176-3274-8
- Gelfand, Sergei I.; Manin, Yuri Ivanovich (1999), Homological algebra, Berlin: Springer, ISBN 978-3-540-65378-3
- Grothendieck, Alexandre (1977), Séminaire de Géométrie Algébrique du Bois Marie - 1965-66 - Cohomologie l-adique et Fonctions L - (SGA 5), Lecture notes in mathematics, 589, Berlin, New York: Springer-Verlag, pp. xii+484, ISBN 978-3-540-08248-4 , Exposés I and II contain the corresponding theory in the étale situation
- Iversen, Birger (1986), Cohomology of sheaves, Universitext, Berlin, New York: Springer-Verlag, ISBN 978-3-540-16389-3, MR842190
- J.-L. Verdier, Dualité dans la cohomologie des espaces localement compacts, Seminaire Bourbaki Exp. 300 (1965–66)
Categories:- Topology
- Homological algebra
- Sheaf theory
- Duality theories
Wikimedia Foundation. 2010.
Look at other dictionaries:
Duality (mathematics) — In mathematics, a duality, generally speaking, translates concepts, theorems or mathematical structures into other concepts, theorems or structures, in a one to one fashion, often (but not always) by means of an involution operation: if the dual… … Wikipedia
Verdier — The name Verdier can refer to several people: *Jean Antoine Verdier, General *Jean Louis Verdier, mathematician, inventor of Verdier duality *Michele Verdier, press officer … Wikipedia
Coherent duality — In mathematics, coherent duality is any of a number of generalisations of Serre duality, applying to coherent sheaves, in algebraic geometry and complex manifold theory, as well as some aspects of commutative algebra that are part of the local… … Wikipedia
Poincaré duality — In mathematics, the Poincaré duality theorem, named after Henri Poincaré, is a basic result on the structure of the homology and cohomology groups of manifolds. It states that if M is an n dimensional compact oriented manifold, then the k th… … Wikipedia
Jean-Louis Verdier — (1935 ndash; 1989) was a French mathematician who worked, under the guidance of Alexander Grothendieck, on derived categories and Verdier duality. He was a close collaborator of Alexander Grothendieck, notably contributing to SGA 4 his theory of… … Wikipedia
Sheaf (mathematics) — This article is about sheaves on topological spaces. For sheaves on a site see Grothendieck topology and Topos. In mathematics, a sheaf is a tool for systematically tracking locally defined data attached to the open sets of a topological space.… … Wikipedia
Image functors for sheaves — In mathematics, especially in sheaf theory, a domain applied in areas such as topology, logic and algebraic geometry, there are four image functors for sheaves which belong together in various senses.Given a continuous mapping f : X rarr; Y of… … Wikipedia
Intersection homology — In topology, a branch of mathematics, intersection homology is an analogue of singular homology especially well suited for the study of singular spaces, discovered by Mark Goresky and Robert MacPherson in the fall of 1974 and developed by them… … Wikipedia
Perverse sheaf — The mathematical term perverse sheaves refers to a certain abelian category associated to a topological space X , which may be a real or complex manifold, or a more general stratified space, usually singular. This concept was introduced by Joseph … Wikipedia
List of mathematics articles (V) — NOTOC Vac Vacuous truth Vague topology Valence of average numbers Valentin Vornicu Validity (statistics) Valuation (algebra) Valuation (logic) Valuation (mathematics) Valuation (measure theory) Valuation of options Valuation ring Valuative… … Wikipedia
Share the article and excerpts
Direct link
https://en-academic.com/dic.nsf/enwiki/3715052 Do a right-click on the link above
and select “Copy Link”
Verdier duality
- Verdier duality
-
In mathematics, Verdier duality is a generalization of the 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. It plays a role in the theory of perverse sheaves.
Contents
Notation
Image functors for sheaves direct image f∗ inverse image f∗ direct image with compact support f! exceptional inverse image Rf!