[论文解读] Categorical duality between joins and intersections

Qingyuan Jiang, Naichung Conan Leung|arXiv (Cornell University)|Nov 13, 2018

Algebraic Geometry and Number Theory参考文献 16被引用 4

一句话总结

本文在同调投影对偶性（HPD）框架下建立了并集与交集之间的范畴对偶性，证明了范畴并集 $X_1 \star X_2$ 的 HPD 对偶同构于其对偶的纤维积 $X_1^\natural \times_{\mathbb{P}(V^\vee)} X_2^\natural$，前提是交集具有预期维数。该结果为经典射影对偶性提供了范畴化改进，并验证了同调投影几何中的一个关键预测。

ABSTRACT

Classically, the projective duality between joins of varieties and the intersections of varieties only holds in good cases. In this paper, we show that categorically, the duality between joins and intersections holds in the framework of homological projective duality (HPD) [K07], as long as the intersections have expected dimensions. This result together with its various applications provide further evidences for the proposal of homological projective geometry of Kuznetsov and Perry [KP18]. When the varieties are inside disjoint linear subspaces, our approach also provides a new proof of the main result "formation of categorical joins commutes with HPD" of [KP18]. We also introduce the concept of an $n$-HPD category, and study its properties and connections with joins and HPDs.

研究动机与目标

• 在同调投影对偶性（HPD）框架下，建立并集与交集之间的范畴对偶性，将经典射影对偶性从其有限适用范围中拓展出来。
• 通过引入同调框架，解决经典射影对偶性在并集与交集之间失效的问题，使对偶性在范畴层面成立。
• 利用本文发展的对偶性框架，为 [KP18] 中‘范畴并集的构造与 HPD 可交换’的结果提供新的证明。
• 引入并研究 $n$-HPD 范畴的概念，及其与范畴并集和 HPD 的关系。
• 证明在 HPD 框架下，范畴并集构造关于 $\mathbb{P}(V)$-线性等价是结合的。

提出的方法

• 将范畴并集 $X_1 \star X_2$ 定义为 $X_1 \times X_2$ 上的射影丛的导出范畴的子范畴，利用典范线丛和 Lefschetz 结构。
• 使用同调投影对偶性（HPD）框架替代经典射影对偶性，其中 $X \mapsto X^\natural$ 是导出范畴上的自反对应关系。
• 建立范畴并集 $(X_1 \star X_2)^\natural$ 与纤维积 $X_1^\natural \times_{\mathbb{P}(V^\vee)} X_2^\natural$ 之间的 $\mathbb{P}(V)$-线性等价。
• 应用 Lefschetz 分解技术分析范畴并集及其对偶的结构，证明 $\mathbb{P}(V)$-线性结构的相容性。
• 利用导出范畴的基变换与伴随形式主义，证明函子 $\pi_{(12)3}^* \circ \pi_{1,23,*}$ 及其伴随函子在不同结合方式的范畴并集之间诱导出 $\mathbb{P}(V)$-线性等价。
• 通过将 $\mathbb{P}(V)$-线性等价论证推广至更高 $n$，将结合性与对偶性结果推广至 $n$ 重范畴并集。

实验结果

研究问题

• RQ1 在同调投影对偶性框架下，并集与交集之间的对偶性是否在范畴层面成立？
• RQ2 在何种条件下，范畴并集 $X_1 \star X_2$ 的 HPD 对偶与纤维积 $X_1^\natural \times_{\mathbb{P}(V^\vee)} X_2^\natural$ 重合？
• RQ3 ‘范畴并集的构造与 HPD 可交换’这一结果能否作为更一般对偶性原理的推论被恢复？
• RQ4 $n$ 重范畴并集的结构是怎样的？它与 $n$-HPD 范畴有何关系？
• RQ5 $\mathbb{P}(V)$-线性结构在导出范畴上如何在范畴并集及其对偶下相互作用？

主要发现

• 主要结果建立了 $\mathbb{P}(V)$-线性等价 $(X_1 \star X_2)^\natural \simeq X_1^\natural \times_{\mathbb{P}(V^\vee)} X_2^\natural$，当交集 $X_1^\natural \cap X_2^\natural$ 具有预期维数时成立。
• 该证明为 [KP18] 中‘范畴并集的构造与 HPD 可交换’的结果提供了新推导，现作为并集与交集之间对偶性的结果。
• 范畴并集的结合性在 $\mathbb{P}(V)$-线性等价意义下成立，所有 $n$ 重并集的不同结合方式均通过 $\mathbb{P}(V)$-线性函子相互等价。
• $n$ 重范畴并集 $\mathcal{J}$ 具有由各独立范畴 $\mathcal{A}^{(k)}$ 上的 $\mathbb{P}(V)$-线性结构自然诱导出的 $\mathbb{P}(V)$-线性结构。
• 范畴并集及其对偶的 Lefschetz 分量通过拉回与张量积显式描述，其中零分量为 $p_{(12)3}^*(p_{12}^*(\mathcal{A}_0^{(1)} \otimes \mathcal{A}_0^{(2)}) \otimes \mathcal{A}_0^{(3)})$。
• 不同结合方式的范畴并集之间的等价性由 $\mathbb{P}(V)$-线性函子及其伴随函子诱导，且在整个过程中保持 $\mathbb{P}(V)$-线性结构。