[论文解读] Semiorthogonal decompositions in algebraic geometry

Alexander Kuznetsov|arXiv (Cornell University)|Apr 11, 2014

Algebraic structures and combinatorial models参考文献 41被引用 104

一句话总结

本文综述了代数几何中的半正交分解，重点探讨了通过同调投影对偶性构造半正交分解以及奇点的范畴化解析。研究结果表明，某些法诺四fold（如普拉蒂安三次四fold和格拉斯曼空间 Gr(2,5) 中的十次四fold）的导出范畴包含非交换 K3 类别，其相关的超凯勒流形则通过法诺纲和双 EPW 六次曲面实现。

ABSTRACT

In this review we discuss what is known about semiorthogonal decompositions of derived categories of algebraic varieties. We review existing constructions, especially the homological projective duality approach, and discuss some related issues such as categorical resolutions of singularities.

研究动机与目标

• 系统化并综述代数簇上凝聚层导出范畴中半正交分解的已知构造方法。
• 探讨同调投影对偶性作为构造此类分解的有力方法的作用。
• 研究范畴化奇点解析与同调投影对偶性之间的相互作用。
• 识别并分析导出范畴的半正交分量为非交换 K3 类别的案例，特别是法诺四fold 中的情形。
• 探索通过法诺纲和双 EPW 六次曲面从法诺四fold 的导出范畴几何实现超凯勒流形的方法。

提出的方法

• 使用三角范畴和光滑射影代数簇上凝聚层的导出范畴，定义在域 k 上。
• 应用可接受子范畴及其左/右正交补的概念，以构造半正交分解。
• 采用例外丛和莱夫谢茨分解，特别是在格拉斯曼簇、二次曲面和射影丛的背景下。
• 将同调投影对偶性（HPD）应用于关联对偶代数簇的导出范畴，特别是在普拉蒂安三次四fold 和十次四fold 的情形。
• 应用半正交分解在基变换和导出拉回下的基变换公式。
• 应用范畴化奇点解析理论，以关联奇异与光滑的导出范畴。

实验结果

研究问题

• RQ1 如何系统地构造代数簇导出范畴的半正交分解？
• RQ2 同调投影对偶性在生成半正交分解（尤其是法诺簇）中起什么作用？
• RQ3 在哪些情况下，法诺四fold 的导出范畴的半正交分量会生成非交换 K3 类别？
• RQ4 能否通过法诺纲或双覆盖，从法诺四fold 的导出范畴几何实现超凯勒流形？
• RQ5 在 Gr(3,7) 中具有矩形莱夫谢茨分解的五fold 的导出范畴结构如何？其超平面截面是否产生 K3 类型的范畴？

主要发现

• 普拉蒂安三次四fold 的导出范畴具有半正交分解，其一个分量与 K3 曲面的导出范畴等价，暗示其具有非交换 K3 结构。
• 在 Gr(2,5) 中十次的四fold Y，其导出范畴分解为 Db(coh(Y)) = ⟨AY, OY, U∨Y, OY(1), U∨Y(1)⟩，其中 AY 是一个二维的卡拉比–丘范畴。
• 十次四fold 的范畴 AY 被猜想等价于某 K3 曲面的导出范畴，且 Y 上的圆锥法诺纲纤维化为一个双 EPW 六次曲面，即一个超凯勒四fold。
• 五fold X ⊂ Gr(3,7) 具有猜想中的矩形莱夫谢茨分解 Db(coh(X)) = ⟨B, B(1)⟩，其中 B 由六个例外对象生成，暗示其超平面截面 Y 具有半正交分解，且包含一个 K3 类型的分量 AY。
• 三次四fold 上的直线法诺纲被实现为一个超凯勒流形，且双 EPW 六次曲面构造方法可推广至具有类似霍奇钻石的其他四fold。
• 对于具有矩形莱夫谢茨分解的光滑射影簇 X（其指标为 m），其超平面截面 Yd 的导出范畴具有半正交分解，当 d 整除 m 时，包含一个卡拉比–丘分量 AYd。