[论文解读] Categorical joins

Alexander Kuznetsov, Alexander Perry|arXiv (Cornell University)|Mar 31, 2018

Homotopy and Cohomology in Algebraic Topology参考文献 10被引用 6

一句话总结

本文引入了范畴化并集（categorical join）作为射影代数簇经典并集的范畴化推广，将同调投影对偶性扩展至范畴框架。其主要结果表明，范畴并集的同调投影对偶自然等价于对偶范畴的范畴并集，从而实现了经典对偶性的范畴化，并使得同调投影对偶主定理的非线性推广成为可能。

ABSTRACT

We introduce the notion of a categorical join, which can be thought of as a categorification of the classical join of two projective varieties. This notion is in the spirit of homological projective duality, which categorifies classical projective duality. Our main theorem says that the homological projective dual category of the categorical join is naturally equivalent to the categorical join of the homological projective dual categories. This categorifies the classical version of this assertion and has many applications, including a nonlinear version of the main theorem of homological projective duality.

研究动机与目标

• 开发代数几何中经典并集构造的范畴化框架。
• 将同调投影对偶性扩展至涉及范畴并集的设定。
• 建立范畴并集的同调投影对偶与对偶范畴的范畴并集之间的对偶等价关系。
• 为同调投影对偶主定理提供非线性推广。

提出的方法

• 在导出代数几何中，通过纤维积构造定义范畴并集，使用微分分次范畴（dg categories）与导出范畴。
• 运用饱和微分分次范畴与全序分解的语言来形式化该构造。
• 利用同调投影对偶理论，将范畴并集的对偶与对偶范畴的并集联系起来。
• 应用基变换与伴随关系技术，在导出设定中证明对偶等价性。
• 通过普遍性质及与全序分解的相容性建立等价关系。
• 借助Lunts-Orlov框架，确保构造在基变换与对偶性下保持良好行为。

实验结果

研究问题

• RQ1 如何利用导出范畴与微分分次范畴，对射影代数簇的经典并集进行范畴化推广？
• RQ2 范畴并集的同调投影对偶与对偶范畴的范畴并集之间存在何种关系？
• RQ3 范畴并集之间的对偶性是否满足类似于经典同调投影对偶的普遍性质？
• RQ4 通过该构造，能否将同调投影对偶主定理扩展至非线性或非阿贝尔设定？
• RQ5 该对偶等价性对代数几何中导出范畴的结构有何影响？

主要发现

• 范畴并集的同调投影对偶自然等价于其对偶范畴的范畴并集。
• 该对偶等价性对偶了经典中两个簇的并集与其对偶的并集之间的对偶关系。
• 该构造为同调投影对偶主定理提供了非线性推广。
• 该结果在饱和微分分次范畴设定下成立，且与全序分解相容。
• 该框架使得同调投影对偶性可被推广至非线性与非阿贝尔几何背景。
• 等价性通过普遍性质与导出基变换建立，确保在几何运算下具有鲁棒性。