Pierre-Paul夹钳 《佛得角双重宣言》。 （法语） Zbl 0612.55005号 Enseign公司。数学。，二、。Sér。 31, 227-247 (1985)。 本文的目的是提供以下定理的详细证明：J.-L.Verdier（威尔第）[塞明·布尔巴吉1965/1966，Exp.No.300（1966；Zbl 0268.55006号)]：设\（f:X\ to Y\）是两个局部紧拓扑空间X和Y之间的连续映射，并且设\（｛\mathbb｛R｝｝f_！：D（X）\ to D（Y）\）和\（f^！：D（Y）\ to D（X）\）是在R模（R是固定的交换noetherian环）的复形的导出范畴上定义的函子，它们扩展了槽的一般映象。然后，如果\（f！\）是有限上同调维，则存在函数同构\（{\mathbb{R}}Hom^；B^.）=｛\mathbb｛R｝｝f_*｛\mathbb｛R｝｝Hom^。（D^+（Y）中的（A^.；f^！（B^.）。审核人：L.Bădescu公司 MSC公司： 55N30型 代数拓扑中的剪切上同调 14层20 Etale和其他Grothendieck拓扑和（co）同调 5505万 代数拓扑中的对偶性 10层14号 差速器和其他特殊滑轮；D模块；Bernstein-Sato理想与多项式 关键词：交集同源性;D模块;Verdier对偶;局部紧拓扑空间;派生类别;上同调维数 引文：Zbl 0268.55006号 PDF格式BibTeX公司 XML格式引用 \textit{P.-P.Grivel}，Enseign（恩西）。数学。（2） 31227--247（1985；Zbl 0612.55005）