[論文レビュー] ACM bundles on K3 surfaces of genus 2

K. Watanabe|arXiv (Cornell University)|Jul 7, 2014

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

ひとこと要約

この論文は、6次曲線を分岐被覆として持つ射影平面の2重被覆として得られる、 genus 2 の K3 表面における初期化済みで、算術的に Cohen-Macaulay (ACM) なラインバンドルの数値的特徴付けを提供する。特に、Picard ラティスの条件 ρ = a = 9 のもとで、ランクの増加に比例して次元が線形に増加する、半安定かつ分解不能な ACM ラインバンドルの拡張を用いた、高ランクの ACM バンドルの族を構成する。

ABSTRACT

Let $π:X ightarrow \mathbb{P}^2$ be a K3 surface of genus 2 and $L=π^{\ast}\mathcal{O}_{\mathbb{P}^2}(3)$, and assume that $π^{\ast}\mathcal{O}_{\mathbb{P}^2}(1)$ is ample as a line bundle on $X$. In this paper, we give a numerical characterization of initialized and ACM line bundles on $X$ with respect to $L$ and construct families of semistable indecomposable ACM bundles of higher rank, by using extensions of ACM line bundles.

研究の動機と目的

• 非常に豊富なラインバンドル L = π*O(3) に関して、genus 2 の K3 表面における初期化済みで ACM なラインバンドルの完全な数値的分類を提供すること。
• Néron-Severi ラティスが 2-要素的である K3 表面における ACM バンドルの構造を調査すること、特に Picard 数 ρ(X) = a = 9 の場合に注目すること。
• ACM ラインバンドルの拡張を用いて、高ランクの半安定かつ分解不能な ACM ベクトルバンドルの族を構成すること。
• このような族がバンドルのランクに比例して少なくとも線形に次元が増加することを確立すること。

提案手法

• X → ℙ² における6次曲線を分岐被覆とする2重被覆 π を用い、π*O(1) が X 上で非常に豊富である条件の下で、非常に豊富なラインバンドル L = π*O(3) を定義する。
• K3 表面におけるハイパーオーバラインシステムの理論を適用し、除釈 D に関する交差理論的条件を用いて、ACM および初期化済みラインバンドルを特徴付ける。
• 0 → ⨁E_i → G → O_X(D_3) → 0 の形の拡張系列を用いて、低ランクの ACM ラインバンドルから高ランクの ACM バンドルを構成する。
• コhomological な消去と Ext-群の計算（例：dim Ext^1(O_X(D_i), E_j) = 4）を用い、得られたバンドルが単純かつ ACM であることを保証する。
• 2-要素的 Néron-Severi ラティスを持つ K3 表面における標準的自己同型 θ を用い、固定集合 X^θ を genus 2 曲線として特定し、L = O_X(3X^θ) を生成する。
• 命題 6.1 を適用して、このようなバンドルの族の次元がランク n のバンドルに対して少なくとも n に達することを示し、射影空間のパラメータ（例：ランク 2m+2 の場合に ℙ^{4m+1}）から明示的な下界を得る。

実験結果

リサーチクエスチョン

• RQ1 K3 表面におけるラインバンドル O_X(D) が、L に関して初期化済みかつ ACM であるための、除釈 D に関する数値的条件は何か？
• RQ2 このような K3 表面における、半安定かつ分解不能な高ランクの ACM バンドルの族を体系的に構成する方法は何か？
• RQ3 Néron-Severi ラティスの 2-要素的構造が、Donagi-Morrison 線形システム |L| の存在および豊富性に果たす役割は何か？
• RQ4 Picard 数およびラティス構造がどのような条件下で、ラインバンドル L = O_X(3X^θ) が非常に豊富になり、Harris-Mumford 予想の反例を生成するか？
• RQ5 このような K3 表面における、非同型で半安定かつ分解不能な ACM バンドル（ランク n）の族の次元は何か？

主な発見

• genus 2 の K3 表面における初期化済みで ACM なラインバンドルの完全な数値的分類が与えられる：O_X(D) が L に関して ACM かつ初期化済みであることは、D が D² と H.D（H ∈ |L|）に関して8通りのケースのいずれかを満たすことと同値である。
• Ulrich ラインバンドルは、自己交差数が最大となる初期化済みで ACM なラインバンドルとして特徴付けられ、D² = 20, 26, 32 かつ D² = 2H.D - 22 を満たすケース (h) に対応する。
• 2-要素的 Néron-Severi ラティスかつ ρ(X) = a = 9 を満たす K3 表面では、Donagi-Morrison 例 |L| は豊富であり、|3X^θ| に等しくなる。ここで X^θ は標準的自己同型の固定曲線である。
• 任意の n ≥ 3 に対して、L に関してランク n の非同型で分解不能かつ半安定な ACM バンドルの族が、次元が少なくとも n に達するものとして存在する。
• 拡張系列による構成は、ランク 2m+2 の場合に少なくとも 4m+1 次元の射影空間でパラメータ化される族を生じ、族の次元がランクに比例して線形に増加することを示す。
• 得られた高ランクバンドルは、構成に用いられたラインバンドルの Hilbert 多項式が等しいことと、補題 6.1 を用いた帰納的安定性の議論により、半安定（しかし安定ではない）である。