[论文解读] Categorical cones and quadratic homological projective duality

Perry Alexander, Kuznetsov Aleksandr Gennad'evich|arXiv (Cornell University)|Feb 26, 2019

Algebraic Geometry and Number Theory参考文献 21被引用 5

一句话总结

本文引入了范畴锥作为射影代数簇上经典锥的范畴化，使得可通过同调投影对偶性（HPD）对奇异二次曲面的导出范畴进行精细研究。通过使用奇异二次曲面的范畴化解析，建立了二次HPD定理，证明了Gushel–Mukai簇的对偶性猜想，并在非交换与交换Calabi–Yau三fold之间构造了锥形过渡。

ABSTRACT

We introduce the notion of a categorical cone, which provides a categorification of the classical cone over a projective variety, and use our work on categorical joins to describe its behavior under homological projective duality. In particular, our construction provides well-behaved categorical resolutions of singular quadrics, which we use to obtain an explicit quadratic version of the main theorem of homological projective duality. As applications, we prove the duality conjecture for Gushel-Mukai varieties, and produce interesting examples of conifold transitions between noncommutative and honest Calabi-Yau threefolds.

研究动机与目标

• 开发射影代数簇上锥的范畴框架，将经典构造推广至奇异和非交换情形。
• 为奇异二次曲面提供良好的范畴化解析，这对于将同调投影对偶性推广至二次截面至关重要。
• 通过范畴锥建立HPD主定理的二次版本。
• 通过奇异二次曲面的范畴化解析证明Gushel–Mukai簇的对偶性猜想。
• 构造非交换与交换Calabi–Yau三fold之间锥形过渡的显式例子。

提出的方法

• 将范畴锥 $\mathcal{C}_{V_0}(X)$ 定义为 $\mathrm{Perf}(\tilde{\mathbf{C}}_{V_0}(X))$ 的三角子范畴，其中 $\tilde{\mathbf{C}}_{V_0}(X)$ 是经典锥沿顶点的爆破。
• 基于文献[12]中的构造定义范畴锥，将其视为对解析锥的例外除子处的非交换双有理修改。
• 利用文献[23]中的范畴连接理论，将范畴锥的HPD与对偶的范畴连接联系起来，证明 $\mathcal{J}(X_1,X_2)^\natural \simeq \mathcal{J}(X_1^\natural,X_2^\natural)$。
• 利用Lefschetz范畴上的 $\mathbf{P}(V)$-线性结构，定义并分析线性截面及其对偶的导出范畴。
• 通过构造奇异二次曲面的范畴解析并证明其与HPD的相容性，将该框架应用于奇异二次曲面。
• 利用所得形式系统证明Gushel–Mukai簇的对偶性猜想，并在非交换与交换Calabi–Yau三fold之间构造锥形过渡。

实验结果

研究问题

• RQ1 经典射影代数簇上锥的概念如何被范畴化，以处理奇点和非交换情形？
• RQ2 范畴锥能否为在导出范畴框架下系统解析奇异二次曲面提供方法？
• RQ3 当允许奇异二次曲面作为截面时，同调投影对偶性的主定理是否具有二次版本？
• RQ4 能否通过奇异二次曲面的范畴化解析证明Gushel–Mukai簇的对偶性猜想？
• RQ5 范畴锥对构造非交换与交换Calabi–Yau三fold之间锥形过渡有何影响？

主要发现

• 范畴锥 $\mathcal{C}_{V_0}(X)$ 即使在 $X$ 为奇异或非交换时，也能为经典锥 $\mathbf{C}_{V_0}(X)$ 提供良好且非交换的解析。
• 该构造产生了HPD主定理的二次版本，适用于奇异二次曲面截面。
• 通过奇异二次曲面的范畴化解析及其HPD行为，证明了Gushel–Mukai簇的对偶性猜想。
• 利用范畴锥框架，显式构造了非交换与交换Calabi–Yau三fold之间的锥形过渡。
• 范畴连接的HPD满足 $\mathcal{J}(X_1,X_2)^\natural \simeq \mathcal{J}(X_1^\natural,X_2^\natural)$，将经典对偶性推广至范畴设定。
• 证明了范畴锥对偶的Lefschetz结构与预期对偶相容，其对偶范畴的中心与预期分量一致。