[论文解读] Derived Categories of Quadric Fibrations and Intersections of Quadrics

Alexander Kuznetsov|ArXiv.org|Oct 31, 2005

Geometric and Algebraic Topology参考文献 10被引用 4

一句话总结

本文通过基上 Clifford 代数的偶部层，建立了二次曲面纤维丛的导出范畴的半正交分解，推广了 Kapranov 对单个二次曲面的描述。证明了在双 Veronese 嵌入下，非交换概形 $(\mathbb{P}(S^2W^*), B_0)$ 与 $\mathbb{P}(W)$ 之间存在同调投影对偶性，从而通过 HP-对偶性完整描述了二次曲面交的导出范畴。

ABSTRACT

We construct a semiorthogonal decomposition of the derived category of coherent sheaves on a quadric fibration consisting of several copies of the derived category of the base of the fibration and the derived category of coherent sheaves of modules over the sheaf of even parts of the Clifford algebras on the base corresponding to this quadric fibration, generalizing the Kapranov's description of the derived category of a single quadric. As an application we verify that the noncommutative algebraic variety $(\PP(S^2W^*),\CB_0)$, where $\CB_0$ is the universal sheaf of even parts of Clifford algebras, is Homologically Projectively Dual to the projective space $\PP(W)$ in the double Veronese embedding $\PP(W) o \PP(S^2W)$. Using the properties of the Homological Projective Duality we obtain a description of the derived category of coherent sheaves on a complete intersection of any number of quadrics.

研究动机与目标

• 将 Kapranov 对单个二次曲面的导出范畴的半正交分解推广到基概形上的二次曲面纤维丛情形。
• 基于基的导出范畴与 Clifford 代数的偶部层，构造二次曲面纤维丛的导出范畴的半正交分解。
• 在双 Veronese 嵌入下，建立 $\mathbb{P}(W)$ 与非交换概形 $(\mathbb{P}(S^2W^*), B_0)$ 之间的同调投影对偶性。
• 利用同调投影对偶性的工具，推导出二次曲面完全交的导出范畴的完整描述。

提出的方法

• 利用二次曲面纤维丛的坐标代数与齐次 Clifford 代数之间的 Koszul 对偶性，构造半正交分解。
• 在基 $\mathbb{P}(S^2W^*)$ 上定义 Clifford 代数的偶部层 $B_0$，并证明其在纤维丛的导出范畴中给出一个非平凡的分量。
• 将同调投影对偶性（HP-对偶性）理论应用于双 Veronese 嵌入 $f: \mathbb{P}(W) \to \mathbb{P}(S^2W)$，将全空间二次曲面视为超平面截面。
• 通过检查全空间超平面截面所需的半正交分解，验证非交换概形 $(\mathbb{P}(S^2W^*), B_0)$ 满足与 $\mathbb{P}(W)$ 的 HP-对偶性条件。
• 利用所得对偶性，推导出线性截面 $X_L$ 与 $Y_L$ 的半正交分解，分别对应于二次曲面的完全交及其非交换对应物。

实验结果

研究问题

• RQ1 如何将基概形上的二次曲面纤维丛的导出范畴分解为更简单的 triangulated 范畴？
• RQ2 Clifford 代数的偶部层在二次曲面纤维丛的导出范畴中起什么作用？
• RQ3 在双 Veronese 嵌入下，非交换概形 $(\mathbb{P}(S^2W^*), B_0)$ 是否与 $\mathbb{P}(W)$ 同调投影对偶？
• RQ4 能否通过 HP-对偶性与 Clifford 代数的结构，描述二次曲面完全交的导出范畴？

主要发现

• 平坦的二次曲面纤维丛 $p: X \to S$（相对维数为 $n-2$）的导出范畴 admits 半正交分解：$D^b(X) = \langle D^b(S, B_0), p^*D^b(S)(1), \dots, p^*D^b(S)(n-2) \rangle$，其中 $B_0$ 是 $S$ 上 Clifford 代数的偶部层。
• 非交换概形 $Y = (\mathbb{P}(S^2W^*), B_0)$ 在双 Veronese 嵌入下与 $\mathbb{P}(W)$ 同调投影对偶。
• 对于任意子空间 $L \subset S^2W^*$，使得 $X_L$ 是 $\mathbb{P}(W)$ 中 $r = \dim L$ 个二次曲面的完全交，存在半正交分解 $D^b(X_L) = \langle D^b(P(L), B_0), \mathcal{O}_{X_L}(1), \dots, \mathcal{O}_{X_L}(n-2r) \rangle$，当 $r \leq n/2$ 时成立，且当 $r \geq n/2$ 时对偶成立。
• 当 $r = \dim L = 1$ 时，$X_1$ 是单个二次曲面，且 $D^b(P(L), B_0)$ 恢复了 Kapranov 的描述：$D^b(X_1) = \langle D^b(B_0), \mathcal{O}_{X_1}(1), \dots, \mathcal{O}_{X_1}(n-2) \rangle$，其中 $D^b(B_0)$ 由一个或两个例外对象生成，具体取决于 $n$ 的奇偶性。
• 当 $r = \dim L = 2$ 时，$X_2$ 是光滑的两个二次曲面的完全交，且 $D^b(X_2)$ 允许一个涉及范畴 $C$ 的半正交分解，该范畴在 $n$ 为偶数时是 $\mathbb{P}^1$ 上在临界值处分支的双重覆盖，在 $n$ 为奇数时是 $\mathbb{P}^1$ 上的 $\mathbb{Z}/2\mathbb{Z}$-叠。
• 当 $\dim L = n/2$ 时，存在全忠实等价 $D^b(X_L) \simeq D^b(P(L), B_0)$，表明交的导出范畴与非交换解消之间存在对偶等价。