Êtes-vous un étudiant de l'EPFL à la recherche d'un projet de semestre?
Travaillez avec nous sur des projets en science des données et en visualisation, et déployez votre projet sous forme d'application sur Graph Search.
Concept
Verdier duality
Résumé
In mathematics, Verdier duality is a cohomological duality in algebraic topology that generalizes Poincaré duality for manifolds. Verdier duality was introduced in 1965 by as an analog for locally compact topological spaces of
Alexander Grothendieck's theory of
Poincaré duality in étale cohomology
for schemes in algebraic geometry. It is thus (together with the said étale theory and for example Grothendieck's coherent duality) one instance of Grothendieck's six operations formalism.
Verdier duality generalises the classical Poincaré duality of manifolds in two directions: it applies to continuous maps from one space to another (reducing to the classical case for the unique map from a manifold to a one-point space), and it applies to spaces that fail to be manifolds due to the presence of singularities. It is commonly encountered when studying constructible or perverse sheaves.
Verdier duality states that (subject to suitable finiteness conditions discussed below)
certain are actually adjoint functors. There are two versions.
Global Verdier duality states that for a continuous map of locally compact Hausdorff spaces, the derived functor of the direct image with compact (or proper) supports has a right adjoint in the of
sheaves, in other words, for (complexes of) sheaves (of abelian groups) on and on we have
Local Verdier duality states that
in the derived category of sheaves on Y.
It is important to note that the distinction between the global and local versions is that the former relates morphisms between
complexes of sheaves in the derived categories, whereas the latter relates internal Hom-complexes and so can be evaluated locally. Taking global sections of both sides in the local statement gives the global Verdier duality.
These results hold subject to the compactly supported direct image functor having finite cohomological dimension.
This is the case if the there is a bound such that the compactly supported cohomology
vanishes for all fibres (where )
and .
Source officielle
À propos de ce résultat
Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.