[論文レビュー] Admissible subcategories of del Pezzo surfaces

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

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

ひとこと要約

この論文は、デル・ペッツォ表面の導来カテゴリ−における許容的部分カテゴリの研究を、その反自己双対的除集合との関係を用いて行っている。すべての許容的部分カテゴリが完全な例外的集合列を備えることを証明し、完全な分類を可能にした。また、3次以上のデル・ペッツォ表面には断片的部分カテゴリを含まないことが示され、これは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.

研究の動機と目的

• デル・ペッツォ表面の連接層の導来カテゴリにおける許容的部分カテゴリの構造を理解すること。
• このような部分カテゴリに断片的部分カテゴリ（K-理論が自明だがカテゴリ構造が非自明な対象）が存在するかどうかを特定すること。
• 例外的集合列を用いて、射影平面のすべての許容的部分カテゴリを分類すること。
• 高次元のデル・ペッツォ表面における許容的部分カテゴリの一般的性質を確立すること。

提案手法

• デル・ペッツォ表面における許容的部分カテゴリと反自己双対的除集合との幾何的関係を活用すること。
• 射影平面における例外的対象および例外的集合列の既知の分類結果を用いて、許容的部分カテゴリを分析すること。
• 半直交分解の技術を用いて、導来カテゴリ内の部分カテゴリを研究すること。
• K-理論的不変量を分析して、3次以上のデル・ペッツォ表面における断片的部分カテゴリの不在を検出すること。
• 三角カテゴリにおける完全な例外的集合列が、例外的系列による分類を可能にすることを活用すること。
• 3次以上のデル・ペッツォ表面における断片的部分カテゴリの不在が、幾何的およびカテゴリカル的制約から導かれるということを確立すること。

実験結果

リサーチクエスチョン

• RQ1 射影平面の許容的部分カテゴリは、完全な例外的集合列を備えているか？
• RQ2 3次以上のデル・ペッツォ表面に断片的部分カテゴリが存在しうるか？
• RQ3 どのような幾何的またはカテゴリカル的不変量が、デル・ペッツォ表面における許容的部分カテゴリの構造を制御するか？
• RQ4 反自己双対的除集合は、許容的部分カテゴリの存在および分類とどのように関係するか？
• RQ5 3次以上のデル・ペッツォ表面に、断片的でない非自明な許容的部分カテゴリは存在するか？

主な発見

• 射影平面の導来カテゴリのすべての許容的部分カテゴリは、完全な例外的集合列を備え、完全な分類が可能である。
• P²における例外的対象および集合列の分類から、D^b(P²)のすべての許容的部分カテゴリがそのような集合列によって完全に決定されることを示している。
• 3次以上のデル・ペッツォ表面には断片的部分カテゴリを含まない。
• これは、1次元を超える次元で非自明な許容的部分カテゴリを有するが断片的部分カテゴリを含まない最初の既知の多様体のクラスである。
• 3次以上のデル・ペッツォ表面における断片的部分カテゴリの不在は、K-理論的および幾何的制約から確立されている。
• 結果は、反自己双対的除集合とデル・ペッツォ表面における許容的部分カテゴリの構造との強い関連を示している。