Une démonstration du théorème de dualité de Verdier (Q1088194): Difference between revisions
From MaRDI portal
Changed an Item |
Set profile property. |
||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank |
Latest revision as of 03:10, 5 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Une démonstration du théorème de dualité de Verdier |
scientific article |
Statements
Une démonstration du théorème de dualité de Verdier (English)
0 references
1985
0 references
The aim of this paper is to supply a detailed proof of the following theorem announced by \textit{J.-L. Verdier} [Sémin. Bourbaki 1965/1966, Exp. No.300 (1966; Zbl 0268.55006)]: Let \(f: X\to Y\) be a continuous map between two locally compact topological spaces X and Y, and let \({\mathbb{R}}f_ !: D(X)\to D(Y)\) and \(f^ !: D(Y)\to D(X)\) be the functors defined on the derived categories of complexes of R-modules (with R a fixed commutative noetherian ring), which extend the usual images of sheaves. Then, if \(f_ !\) is of finite cohomological dimension, there is a functorial isomorphism \({\mathbb{R}} Hom^.({\mathbb{R}}f_ !(A^.);B^.)={\mathbb{R}}f_* {\mathbb{R}} Hom^.(A^.;f^ !(B^.))\) in \(D^+(Y)\), where \(A^.\in Ob D^-(X)\) and \(B^.\in Ob D^ b(Y)\).
0 references
intersection homology
0 references
D-modules
0 references
Verdier duality
0 references
locally compact topological spaces
0 references
derived categories
0 references
cohomological dimension
0 references