[论文解读] Admissible subcategories of del Pezzo surfaces

Dmitrii Pirozhkov|arXiv (Cornell University)|Jan 1, 2020

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

一句话总结

本文利用 del Pezzo 曲面与反 canonical 除子的关系，研究其导出范畴中的可接受子范畴。证明了射影平面的所有可接受子范畴均存在全例外族，从而实现完全分类，并表明度数 ≥3 的 del Pezzo 曲面不包含赝影子范畴——这是在维度 >1 且无赝影子范畴的首个此类例子。

ABSTRACT

Admissible subcategories are building blocks of semiorthogonal decompositions. Many examples of them are known, but few general properties have been proved, even for admissible subcategories in the derived categories of coherent sheaves on basic varieties such as projective spaces. We use a relation between admissible subcategories and anticanonical divisors to study admissible subcategories of del Pezzo surfaces. We show that any admissible subcategory of the projective plane has a full exceptional collection, and since all exceptional objects and collections for the projective plane are known, this provides a classification result for admissible subcategories. We also show that del Pezzo surfaces of degree at least three do not contain so-called phantom subcategories. These are the first examples of varieties of dimension larger than one that have some nontrivial admissible subcategories, but provably do not contain phantoms.

研究动机与目标

• 理解 coherent sheaves 的导出范畴在 del Pezzo 曲面上的可接受子范畴的结构。
• 确定此类子范畴是否包含赝影子范畴——即 K-理论平凡但范畴结构非平凡的对象。
• 通过其例外族对射影平面的所有可接受子范畴进行分类。
• 建立高阶 del Pezzo 曲面中可接受子范畴的一般性质。

提出的方法

• 利用 del Pezzo 曲面上可接受子范畴与反 canonical 除子之间的几何关系。
• 利用射影平面上例外对象与例外族的已知分类结果，分析可接受子范畴。
• 应用半正交分解技术，研究导出范畴中的子范畴。
• 通过 K-理论不变量分析，检测度数 ≥3 的 del Pezzo 曲面中赝影子范畴的缺失。
• 利用三角范畴中全例外族意味着可通过例外序列实现分类的事实。
• 建立度数 ≥3 的 del Pezzo 曲面中无赝影子范畴的结论，源于几何与范畴论约束。

实验结果

研究问题

• RQ1 射影平面的可接受子范畴是否都存在全例外族？
• RQ2 度数至少为三的 del Pezzo 曲面中是否可能存在赝影子范畴？
• RQ3 何种几何或范畴论不变量控制 del Pezzo 曲面中可接受子范畴的结构？
• RQ4 反 canonical 除子如何与可接受子范畴的存在性及分类相关联？
• RQ5 在度数 ≥3 的 del Pezzo 曲面中，是否存在非平凡的可接受子范畴，且其非赝影子型？

主要发现

• 射影平面的导出范畴的所有可接受子范畴均存在全例外族，从而实现完全分类。
• P² 上例外对象与例外族的分类表明，D^b(P²) 的所有可接受子范畴均由此类族完全确定。
• 度数至少为三的 del Pezzo 曲面不包含赝影子范畴。
• 这是首个已知的维度大于一、具有非平凡可接受子范畴但不包含赝影子范畴的代数簇类。
• 通过 K-理论与几何约束，确立了度数 ≥3 的 del Pezzo 曲面中无赝影子范畴。
• 研究结果表明，反 canonical 除子与 del Pezzo 曲面中可接受子范畴的结构之间存在强关联。