[论文解读] Exceptional collections on Dolgachev surfaces associated with degenerations

Yonghwa Cho, Yongnam Lee|arXiv (Cornell University)|Jun 17, 2015

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

一句话总结

本论文通过具有两个 $T_1$-奇点的奇异有理曲面的 $\rceil$-Gorenstein 平坦化，构建了类型 (2,3) 的 Dolgachev 曲面的最长异常集列。利用 Hacking 的方法将异常向量丛与这些奇点关联，作者显式计算了 Néron-Severi 晶格，并证明该集列并非完全的，从而表明导出范畴中存在非平凡的幻影范畴——这是在 Kodaira 维数为一的曲面上首次实现此类构造。

ABSTRACT

Dolgachev surfaces are simply connected minimal elliptic surfaces with $p_g=q=0$ and of Kodaira dimension 1. These surfaces were constructed by logarithmic transformations of rational elliptic surfaces. In this paper, we explain the construction of Dolgachev surfaces via $\mathbb Q$-Gorenstein smoothing of singular rational surfaces with two cyclic quotient singularities. This construction is based on the paper by Lee-Park. Also, some exceptional bundles on Dolgachev surfaces associated with $\mathbb Q$-Gorenstein smoothing are constructed based on the idea of Hacking. In the case if Dolgachev surfaces were of type $(2,3)$, we describe the Picard group and present an exceptional collection of maximal length. Finally, we prove that the presented exceptional collection is not full, hence there exist a nontrivial phantom category in the derived category.

研究动机与目标

• 在 Kodaira 维数为一的 (2,3) 型 Dolgachev 曲面的导出范畴中构造最长的异常集列。
• 利用 $\rceil$-Gorenstein 平坦化技术，显式给出此类曲面的 Néron-Severi 晶格的 $\rceil$-基。
• 应用 Hacking 在奇点上构造异常向量丛的方法，以在光滑的一般纤维上构造向量丛。
• 研究所构造的异常集列是否为完全集列，从而探查导出范畴的结构。
• 确立该曲面导出范畴中存在非平凡幻影范畴。

提出的方法

• 利用具有两个 $T_1$-奇点的奇异有理曲面的 $\rceil$-Gorenstein 平坦化，将一般纤维构造为 Dolgachev 曲面。
• 应用 Hacking 的框架，将每个形如 $\frac{1}{n^2}(1, na-1)$ 的 $T_1$-奇点与一个秩为 $n$ 的异常向量丛关联，其中 $n=2$，$a=1$ 对应该 (2,3)-型曲面。
• 构造一个中心纤维，其结构为正规交叉配置：奇异曲面的严格提升与一个有理曲面 $W$ 同构于 $\rceil\bb{P}^2$，当 $n=2$，$a=1$ 时。
• 通过同构 $\rceil\bb{O}_Z(1)^{\bigoplus n}$，将线丛 $\rceil\bb{O}_{\tilde{X}_0}(D')^{\bigoplus n}$ 与 $W$ 上的异常丛 $G$ 沿曲线 $Z$ 粘合，从而在中心纤维上构造出一个向量丛。
• 将粘合后的丛唯一地形变至一般纤维，得到光滑的 Dolgachev 曲面上一个秩为 $n=2$ 的异常向量丛。
• 通过分析 Néron-Severi 晶格并利用 Picard 群的结构，构造出一组线丛，形成最大长度的异常集列。

实验结果

研究问题

• RQ1 能否在 Kodaira 维数为一的 Dolgachev 曲面的导出范畴中构造出最长的异常集列？
• RQ2 通过 $\rceil$-Gorenstein 平坦化构造的 (2,3)-型 Dolgachev 曲面的 Néron-Severi 晶格具有何种结构？
• RQ3 通过 $\rceil$-Gorenstein 平坦化对具有 $T_1$-奇点的奇异曲面进行构造时，利用 Hacking 方法在一般纤维上构造的异常集列是否为完全集列？
• RQ4 此类 Dolgachev 曲面的导出范畴结构如何，特别是幻影范畴方面？
• RQ5 中心纤维上的异常向量丛如何形变至一般纤维？其秩和几何起源为何？

主要发现

• 通过 $\rceil$-Gorenstein 平坦化过程，Dolgachev 曲面 (2,3)-型的 Néron-Severi 晶格具有显式 $\rceil$-基。
• 在 $\rceil\bb{D}^{\rm b}(S)$ 中构造出最大长度为 10 的线丛异常集列，其长度与 Grothendieck 群的秩一致。
• 所构造的异常集列并非完全的，这是由于导出范畴中存在非平凡的幻影范畴。
• 幻影范畴的存在是因为异常集列的正交补非零，意味着该集列无法生成整个导出范畴。
• 一般纤维上的异常向量丛秩为 2，其来源于中心纤维上的粘合数据，当 $n=2$，$a=1$ 时，$W$ 上的丛为 $\rceil\bb{T}_{\rceil\bb{P}^2}(-1)$。
• 该构造证实，(2,3)-型 Dolgachev 曲面的导出范畴中包含一个非平凡的幻影范畴，这一现象此前在 Kodaira 维数为一的曲面上尚属未知。