Verdier 对偶：同调代数与代数几何中的一种深刻对偶理论，通常表述为：在适当条件下（如局部紧 Hausdorff 空间、或适当的几何情形），导出范畴中的（构造性）推前函子与某个“异常逆像”函子之间存在对偶关系。它可被视为对 Grothendieck 对偶 与经典对偶现象（如 Poincaré 对偶）的范畴化与统一框架，常用于研究层（sheaf）、（上同调/紧支撑上同调）以及导出函子之间的对应。
/ˈvɛrdi.eɪ duˈælɪti/
Verdier duality relates cohomology with compact support to ordinary cohomology.
Verdier 对偶把紧支撑上同调与通常上同调联系起来。
In the derived category of sheaves, Verdier duality provides a functorial way to express duality on a locally compact space.
在层的导出范畴中，Verdier 对偶以函子化的方式表达局部紧空间上的对偶关系。
“Verdier duality” 得名于法国数学家 Jean-Louis Verdier。该理论在 Grothendieck 学派与导出范畴语言的发展背景下成形，把“对偶”的思想提升到导出层与六函子形式主义（如推前、逆像及其“异常”版本）的框架中，从而成为现代几何与同调代数的重要工具。
Select Language