[論文レビュー] ACM bundles on del Pezzo surfaces

Joan Pons-Llopis, Fabio Tonini|arXiv (Cornell University)|Mar 17, 2010

Algebraic Geometry and Number Theory被引用数 25

ひとこと要約

本稿では、次数 ≤6 のデル・ペッツォ表面におけるランク1のACM バンドルを分類し、それらが構造層または次数 ≤d の有理正規曲線に付随するラインバンドルに同型であることを示している。さらに、繰り返し拡張を用いて、任意の n≥2 に対してランク n の非同型な単純ACM バンドルの族を、次元 ≥n−1 で構成し、これらの表面が野生的表現型であることを証明している。

ABSTRACT

ACM rank 1 bundles on del Pezzo surfaces are classified in terms of the rational normal curves that they contain. A complete list of ACM line bundles is provided. Moreover, for any del Pezzo surface $X$ of degree less or equal than six and for any $n\geq 2$ we construct a family of dimension $\geq n-1$ of non-isomorphic simple ACM bundles of rank $n$ on $X$.

研究の動機と目的

• 次数 d ≤ 6 のデル・ペッツォ表面における初期化されたACM ラインバンドルを分類すること。
• ラインバンドルがACMであるための幾何的条件を、特に有理正規曲線に焦点を当てて特定すること。
• 次数 ≤6 のデル・ペッツォ表面における高ランク単純ACM ベクトルバンドルの族を構成すること。
• 非同型な単純ACM バンドルの任意に大きな族を提示することにより、これらの表面が野生的表現型であることを確立すること。
• ヒルベルト多項式と拡張列を用いて、構成されたACM バンドルの半安定性の性質を分析すること。

提案手法

• P² に高々6点を吹き上げたものとしてのデル・ペッツォ表面の分類を用い、ラインバンドルと曲線を分析する。
• 例外的除算との交点数に基づき、線形系に滑らかな曲線を含むかを特定するため、ベルティーニ型定理を適用する。
• 有理正規曲線 D ⊆ X ⊆ P^d で deg(D) ≤ d を満たすものと対応するACM ラインバンドルを特徴付ける。
• Ext^1 群を用いて、低ランクACM バンドルの繰り返し拡張により高ランクACM バンドルを構成する。
• リーマン・ロッホと交線論を用いて Ext^1 群の次元を計算し、特に dim Ext^1(O_X(R), E_i) = 2 - 2N + C·R + D·R を得る。
• 補題5.1.6 を用い、拡張列における等しい勾配比の検証により、帰納的に構成されたバンドルの半安定性を証明する。

実験結果

リサーチクエスチョン

• RQ1 次数 d ≤ 6 のデル・ペッツォ表面におけるどのラインバンドルが初期化され、ACM であるか？
• RQ2 このようなACM ラインバンドルの幾何的特徴づけは、表面に埋め込まれた曲線を用いてどのように記述できるか？
• RQ3 任意のランク n ≥ 2 に対して、次数 ≤6 のデル・ペッツォ表面に非同型な単純ACM バンドルの族を構成できるか？
• RQ4 そのようなACM バンドルの族の次元は何か？また、n と共に増大するか？
• RQ5 構成されたACM バンドルは半安定または安定か？その勾配は何か？

主な発見

• 次数 d ≤ 6 のデル・ペッツォ表面 X におけるラインバンドル L が初期化され、ACM であるための必要十分条件は、L ≅ O_X または L ≅ O_X(D)（D ⊆ X は次数 ≤ d の有理正規曲線）であることである。
• 任意の n ≥ 2 に対して、次数 ≤6 の任意のデル・ペッツォ表面において、非同型な単純ACM ベクトルバンドルの族が次元 ≥ n−1 で存在する。
• 構成されたバンドルは、一定の勾配 d を持つ厳密な半安定型であり、すべての部分バンドルと商バンドルが同じ勾配比を持つ。
• 構成はランク1およびランク2m+1 バンドルの繰り返し拡張により行われ、Ext^1 の次元は交線論とリーマン・ロッホにより計算される。
• ランク 2m+1 バンドルの族の次元は (P²)^m であり、ランク 2m+2 バンドルでは P^{1+3m} である。これは ≥n−1 の下界を確認する。
• 安定性条件における厳密な不等式に反する部分バンドルの存在のため、バンドルは安定ではない。