范畴普吕克公式与同态射影对偶

摘要

库兹涅佐夫的同调射影对偶（HPD）理论[K4]是代数几何同调研究中最活跃、最有力的最新发展之一。HPD的基本定理系统地比较了一对HP-对偶簇的对偶线性截面的导出类别$(X（X）,{X（X）}^{♮})$.本文将HPD的基本定理推广到线性截面以外。更准确地说，我们证明了对于任何两对HP-对偶$(X（X）,{X（X）}^{♮})$和$(T型,{T型}^{♮})$适当相交的派生范畴存在半正交分解$D类(X（X）\cap T型)$和$D类({X（X）}^{♮}\cap {T型}^{♮})$分为基本部分和环境部分，并且基本部分是等价的${}^{一本正经的}D类(X（X）\cap T型)\simeq D类({X（X）}^{♮}\cap {T型}^{♮}{)}^{对第页感应电动机}$.