[论文解读] Derived category of toric varieties with Picard number three

Arijit Dey, Michał Lasoń+1 more|arXiv (Cornell University)|Feb 18, 2010

Algebraic Geometry and Number Theory参考文献 11被引用 8

一句话总结

本文在特定一族光滑、完备的toric代数簇上构造了一个完整的强例外线丛族，其Picard数为三，即$\mathbb{P}(\mathcal{O}_{\mathbb{P}^{n-1}} \oplus \mathcal{O}_{\mathbb{P}^{n-1}}(b_1))$沿一个维数为$n-2$的线性空间的blow-up，其中$b_1$为非负整数。关键贡献是通过Koszul复形与除子关系的显式构造，证明了此类族中存在这样的族，从而证实了该类非Fano toric代数簇的一个猜想。

ABSTRACT

We construct a full, strongly exceptional collection of line bundles on the variety X that is the blow up of the projectivization of the vector bundle O_{P^{n-1}}\oplus O_{P^{n-1}}(b) along a linear space of dimension n-2, where b is a non-negative integer.

研究动机与目标

• 解决关于光滑、完备toric代数簇在Picard数为三时，其线丛族存在完整、强例外族的开放猜想。
• 通过分析特定族的投影丛blow-up，将已知结果扩展至Fano与低Picard数情形之外。
• 利用除子类与上同调技巧，显式构造此类族。
• 通过Koszul复形与除子关系，验证所构造族既为强例外又为完整。

提出的方法

• 作者采用Batyrev对Picard数为三的toric代数簇的分类，聚焦于具有五个极小生成集的代数簇。
• 将代数簇$X$定义为$\mathbb{P}(\mathcal{O}_{\mathbb{P}^{n-1}} \oplus \mathcal{O}_{\mathbb{P}^{n-1}}(b_1))$沿维数为$n-2$的线性空间的blow-up，并显式描述其扇形与极小关系。
• 通过其除子类对线丛进行排序，构造强例外族：$\mathcal{O}(-kD_v - D_y - D_t)$与$\mathcal{O}(-kD_v - D_t)$，其系数受极小关系约束。
• 将族分为两部分：$Col_1$包含涉及$D_y$与$D_t$的除子，$Col_2$仅含$D_v$项，以确保除子类之间无负差。
• 对$\mathcal{O}(D_y), \mathcal{O}(D_{v_1}), \dots, \mathcal{O}(D_{v_{n-1}})$及其对偶复形应用Koszul复形，以在导出范畴中生成中间线丛。
• 通过两个引理的归纳法证明完整性：一个用于从$Col_1$与$Col_2$生成$\mathcal{O}(-kD_v - D_t)$，另一个用于从对偶复形生成$\mathcal{O}(-kD_v - D_y - D_t)$。

实验结果

研究问题

• RQ1 在$\mathbb{P}(\mathcal{O}_{\mathbb{P}^{n-1}} \oplus \mathcal{O}_{\mathbb{P}^{n-1}}(b_1))$沿维数为$n-2$的线性空间的blow-up上，是否存在一个完整、强例外的线丛族？
• RQ2 对于非Fano的Picard数为三的toric代数簇，能否显式构造此类族？
• RQ3 在具有特定除子关系的投影丛blow-up下，完整、强例外线丛族的存在性是否保持不变？
• RQ4 Koszul复形能否有效用于从给定的例外族生成导出范畴中缺失的线丛？
• RQ5 所构造的族是否满足该族非Fano toric代数簇的强例外性与完整性的双重条件？

主要发现

• 本文在维数为$n$、Picard数为三的光滑、完备toric代数簇$X$上，构造了一个完整、强例外的线丛族。
• 该族显式排序为$\mathcal{O}(-(n-1+b)D_v - D_y - D_t), \dots, \mathcal{O}(-bD_v - D_y - D_t), \mathcal{O}(-(n-1)D_v), \dots, \mathcal{O}$，其中$b = b_1$。
• 通过证明族中任意两个丛之间所有正的高阶Ext群均为零，从而证明了强例外性。
• 通过证明集合$B_1$、$B_2$与$B_3$中的所有线丛均可通过Koszul复形从该族生成，从而确立了完整性。
• 即使$X$不是Fano代数簇，该构造依然有效，因为$X$仅在$b < n-1$时为Fano，但结果对所有$b \geq 0$均成立，包括非Fano情形。
• 该方法依赖于除子关系与扇形结构，以确保族中除子类之间的差不产生有效类，从而保持强例外性。