[论文解读] The Derived Category of the Intersection of Four Quadrics

Nicolas Addington|ArXiv.org|Apr 11, 2009

Algebraic Geometry and Number Theory参考文献 19被引用 20

一句话总结

本文建立了在 $\mathbb{P}^{2n-1}$ 中的一般四次二次曲面交的导出范畴的半正交分解，表明其分裂为 $\langle\mathcal{O}(-2n+9),\dotsc,\mathcal{O}(-1),\mathcal{O},\mathcal{D}\rangle$，其中 $\mathcal{D}$ 是由一个模问题导出的非代数复三维流形上的扭曲层的导出范畴。当 $n=4$ 时，这给出了卡拉比-丘 3-流形之间的导出等价，确认了格罗斯通过避免非交换几何的几何构造所作的预测。

ABSTRACT

The derived category of a general complete intersection of four quadrics in P^{2n-1} has a semi-orthogonal decomposition < O(-2n+9), ..., O(-1), O, D >, where D is the derived category of twisted sheaves on a certain non-algebraic complex 3-fold coming from a moduli problem. In particular, when n=4 we obtain a (twisted) derived equivalence of Calabi-Yau 3-folds predicted by Gross. This differs from Kuznetsov's result in that our construction is geometric and avoids non-commutative varieties.

研究动机与目标

• 为 $\mathbb{P}^{2n-1}$ 中四次二次曲面交的导出范畴提供一个避免非交换概形的半正交分解的几何构造。
• 将余留范畴 $\mathcal{D}$ 识别为由模问题导出的非代数复三维流形上的扭曲层的导出范畴。
• 在 $n=4$ 的情况下，建立卡拉比-丘 3-流形之间的导出等价，确认格罗斯的预测。
• 通过将旋量丛和克利福德代数的使用推广到更高维交，推广邦达尔-奥罗夫和卡普兰诺夫的框架。

提出的方法

• 构造由四次二次曲面张成的直线 $L$ 的双重覆盖 $\mathcal{M}$，其分支于二次曲面的奇异点集，该覆盖作为交 $X$ 上向量丛的模空间。
• 利用二次曲面空间中奇异点集 $\Delta_2$ 的几何性质，表明当 $n > 3$ 时 $\mathcal{M}$ 是奇异的，从而需要使用扭曲层。
• 通过广义克利福德代数结构在 $L$ 上定义一个代数层 $\mathcal{A}$，并通过推出和对偶性将它的导出范畴与 $D(X)$ 关联。
• 证明从 $\tilde{\mathcal{M}}$ 到 $\mathcal{M}$ 的层 $\mathcal{H}$ 的推出是无高阶上同调的向量丛，意味着 $\pi_*\mathcal{H}$ 是局部自由的。
• 通过在 $\mathbb{P}^1$-丛 $P$ 上对偶化一个正合列，建立同构 $\mathcal{J}_{2n}^* \cong \pi_*\mathcal{I}_{2n}^*$，从而识别理想层的结构。
• 利用同构 $\mathcal{H}om(\mathcal{I}_k, \mathcal{I}_{k+j}) \cong \mathcal{A}_{2n}(j/2 - n) \otimes \pi^*\mathcal{O}_L(j/2 - n)$ 控制整体截面和上同调，确保分解是半正交的。

实验结果

研究问题

• RQ1 如何将 $\mathbb{P}^{2n-1}$ 中四次二次曲面交的导出范畴分解为更简单的组成部分？
• RQ2 此类分解中的余留范畴 $\mathcal{D}$ 的本质是什么，它与丛的模空间有何关联？
• RQ3 能否通过几何构造在不依赖非交换解析解的情况下，实现卡拉比-丘 3-流形之间的导出等价？
• RQ4 四次二次曲面张成的直线中出现的秩为 2 的二次曲面如何影响相关模空间 $\mathcal{M}$ 的几何结构？

主要发现

• 在 $\mathbb{P}^{2n-1}$ 中的一般四次二次曲面交的导出范畴 admits 半正交分解 $\langle\mathcal{O}(-2n+9),\dotsc,\mathcal{O}(-1),\mathcal{O},\mathcal{D}\rangle$，其中 $\mathcal{D}$ 是由一个模问题导出的非代数复三维流形上的扭曲层的导出范畴。
• 当 $n > 3$ 时，$X$ 上旋量丛的模空间 $\mathcal{M}$ 是奇异的，因为直线 $L$ 与秩为 2 的点集 $\Delta_2$ 相交，这导致必须使用扭曲层。
• 当 $n=4$ 时，该构造给出了卡拉比-丘 3-流形之间的（扭曲）导出等价，确认了格罗斯的预测。
• $\pi_*\mathcal{H}$ 是一个无高阶上同调的向量丛，这由 $H^1(\mathcal{H}|_\ell)$ 的消失和秩等式 $\dim H^0(\mathcal{H}|_\ell) = \operatorname{rank}\mathcal{H}$ 推出。
• 通过在 $\mathbb{P}^1$-丛 $P$ 上对序列进行对偶化，建立了同构 $\mathcal{J}_{2n}^* \cong \pi_*\mathcal{I}_{2n}^*$，表明 $\mathcal{I}_{2n}$ 是 $\mathcal{O}_P \otimes \pi^*\mathcal{J}_{2n}$ 到自然映射的像。
• 通过同调控制 $\mathcal{H}om(\mathcal{I}_k, \mathcal{I}_{k+j}) \cong \mathcal{A}_{2n}(j/2 - n) \otimes \pi^*\mathcal{O}_L(j/2 - n)$，确保中间上同调消失且当 $j/2 - n \geq -3$ 时上同调最高项消失，从而支持分解的半正交性。