[論文レビュー] 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

ひとこと要約

本稿は、弱デル・フェッティ表面におけるラインバンドルの完全例外的コレクションを調査し、3次以上の次数の弱デル・フェッティ表面に対しては、任意の完全な強い例外的コレクションがHilleとPerlingの意味での増幅として得られることを証明する。2次の表面に対しては、このようなコレクションが増幅でない場合もあり、著者らは、巡回的で強い例外的トーリック系をもつすべての滑らかな射影的表面を分類し、それらが特定の型の弱デル・フェッティ表面であることを同定する。

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.

研究の動機と目的

• 滑らかな射影的表面のうち、ラインバンドルの巡回的で強い例外的コレクションをもつものについて特定すること。
• 最大長のこのようなコレクションをもつすべての弱デル・フェッティ表面を分類すること。
• 弱デル・フェッティ表面におけるラインバンドルのコレクションの例外的および強い例外的性を特徴づける基準を確立すること。
• 弱デル・フェッティ表面における完全な強い例外的コレクションが、Hille-Perlingの増幅によって得られるかどうかを調査すること。
• 最大長の巡回的で強い例外的トーリック系をもつ表面の完全な分類を提供すること。

提案手法

• トーリック系——Aᵢ·Aⱼ = 1 if |i−j|=1, 0 otherwise, かつ ∑Aᵢ = −K_X を満たす除法の巡回的列 (A₁,…,Aₙ)——を用いて、ラインバンドルの例外的コレクションを符号化する。
• Hille-Perlingの増幅構成を用いて、ヒルツェブルク表面から出発し、吹き上げた表面におけるトーリック系を構成する。
• Néron-Severi格子上のWeyl群作用を用いて、等長変換の下でのトーリック系の分析と分類を行う。
• 可能なトーリック系を制限するため、自己自己交叉 (Aᵢ²) の許容可能な列の概念を導入する。
• (-2)-曲線および反r-類との交点論を用いた有効除法の検出アルゴリズムを用いる。
• 初期のトーリック系をWeyl群を用いて変換し、除法の条件的有効性をテストする。

実験結果

リサーチクエスチョン

• RQ1 3次以上の次数の弱デル・フェッティ表面のうち、完全な強い例外的コレクションがヒルツェブルク表面のトーリック系の増幅として得られるものはどれか？
• RQ2 完全な強い例外的コレクションが増幅でない弱デル・フェッティ表面（2次）は存在するか？
• RQ3 最大長の巡回的で強い例外的トーリック系をもつ弱デル・フェッティ表面の完全な型は何か？
• RQ4 弱デル・フェッティ表面におけるトーリック系が例外的または強い例外的であるための必要十分条件は何か？
• RQ5 (-2)-曲線との交点データを用いて、トーリック系における反r-類の有効性をアルゴリズム的に決定できるか？

主な発見

• 3次以上の弱デル・フェッティ表面に対しては、任意の完全な強い例外的コレクションがヒルツェブルク表面のトーリック系の増幅として得られる。
• 完全な強い例外的コレクションが増幅でない弱デル・フェッティ表面（2次）が存在する。
• 巡回的で強い例外的トーリック系を最大長でもつ唯一の滑らかな射影的表面は、弱デル・フェッティ表面である。
• 著者らは、このような最大長の巡回的で強い例外的コレクションをもつ弱デル・フェッティ表面のすべての型を分類した。
• 自己自己交叉列 (Aᵢ²) とNéron-Severi格子上のWeyl群作用を用いた強い例外的性の基準を確立した。
• (-2)-曲線との交点数とWeyl群の対称性を用いて、反r-類の有効性をテストする有効なアルゴリズムを構築した。