[论文解读] On exceptional collections of line bundles on weak del Pezzo surfaces

Elagin Alexey, Junyan Xu+1 more|arXiv (Cornell University)|Oct 11, 2017

Algebraic Geometry and Number Theory参考文献 7被引用 5

一句话总结

本文研究弱 del Pezzo 曲面上线丛的全例外族，证明对于度数 ≥3 的弱 del Pezzo 曲面，任意全强例外族的线丛均源于 Hille 和 Perling 意义下的提升构造。对于度数为 2 的曲面，此类族可能并非提升构造，作者对所有具有循环强例外 toric 系统的光滑射影曲面进行了分类，将其识别为特定类型的弱 del Pezzo 曲面。

ABSTRACT

We study full exceptional collections of line bundles on surfaces. We prove that any full strong exceptional collection of line bundles on a weak del Pezzo surface of degree $\ge 3$ is an augmentation in the sense of L.Hille and M.Perling, while for some weak del Pezzo surfaces of degree $2$ the above is not true. We classify smooth projective surfaces possessing a cyclic strong exceptional collection of line bundles of maximal length: we prove that they are weak del Pezzo surfaces and find all types of weak del Pezzo surfaces admitting such a collection. We find simple criteria of exceptionality/strong exceptionality for collections of line bundles on weak del Pezzo surfaces.

研究动机与目标

• 确定哪些光滑射影曲面允许存在线丛的循环强例外族。
• 对支持最大长度此类族的所有弱 del Pezzo 曲面进行分类。
• 建立弱 del Pezzo 曲面上线丛族的例外性与强例外性的判别准则。
• 研究弱 del Pezzo 曲面上的全强例外族是否均通过 Hille-Perling 提升构造得到。
• 对具有最大长度循环强例外 toric 系统的曲面提供完整分类。

提出的方法

• 使用 toric 系统——即满足 Aᵢ·Aⱼ = 1 当 |i−j|=1，否则为 0，且 ∑Aᵢ = −K_X 的循环除子序列 (A₁,…,Aₙ)——来编码线丛的例外族。
• 应用 Hille-Perling 提升构造，在从 Hirzebruch 曲面出发的 blows-up 上构造 toric 系统。
• 利用 Néron-Severi 晶格上的 Weyl 群作用分析并分类 under 同构的 toric 系统。
• 引入自交序列 (Aᵢ²) 的可接受序列概念，以限制可能的 toric 系统。
• 使用基于与 (−2)-曲线及 anti-r-类相交的除子有效性检测算法。
• 应用 Weyl 群变换初始 toric 系统，并测试除子的条件有效性。

实验结果

研究问题

• RQ1 哪些度数 ≥3 的弱 del Pezzo 曲面允许存在作为 Hirzebruch 曲面 toric 系统提升的全强例外族？
• RQ2 是否存在度数为 2 的弱 del Pezzo 曲面，其全强例外族线丛均非提升构造？
• RQ3 支持最大长度循环强例外 toric 系统的弱 del Pezzo 曲面的完整类型是什么？
• RQ4 弱 del Pezzo 曲面上的 toric 系统成为例外或强例外的必要与充分条件是什么？
• RQ5 能否通过与 (−2)-曲线的相交数据算法性地判定 toric 系统中 anti-r-类的有效性？

主要发现

• 对于度数 ≥3 的弱 del Pezzo 曲面，任意全强例外族线丛均为 Hirzebruch 曲面上 toric 系统的提升。
• 存在度数为 2 的弱 del Pezzo 曲面，其允许全强例外族线丛但非提升构造。
• 唯一支持最大长度循环强例外 toric 系统的光滑射影曲面为弱 del Pezzo 曲面。
• 作者对支持此类最大长度循环强例外族的所有弱 del Pezzo 曲面类型进行了分类。
• 通过自交序列 (Aᵢ²) 与 Néron-Severi 晶格上的 Weyl 群作用，建立了强例外性的判别准则。
• 构建了一种有效算法，利用与 (−2)-曲线的相交数及 Weyl 群对称性，测试 anti-r-类的有效性。