[論文レビュー] Stability of Rank 2 Ulrich Bundles on Projective K3 Surfaces

Gianfranco Casnati, Federica Galluzzi|arXiv (Cornell University)|Jul 19, 2016

Algebraic Geometry and Number Theory参考文献 16被引用数 4

ひとこと要約

この論文は、$a \geq 2$ に対して、次数 $2a$ の射影的 K3 表面におけるランク 2 の Ulrich バンドルの安定性を調査する。モジュライ空間の技法と Ulrich 線束の拡張による構成を用いて、各 $a \geq 2$ に対して、$c_1^2 = 8a - 8 + 2u$ である非特異的かつ安定なランク 2 Ulrich バンドルの族を有する K3 表面が存在することを証明する。ここで $u \in [4a-1, 5a+4]$ で $u \neq 5a+3$ であり、$u \geq 4a$ のとき、そのようなバンドルは安定である。主な貢献は、既知の特別な場合を超えた安定 Ulrich バンドルの構成である。

ABSTRACT

Let $F\subseteq\mathbb P ^{a+1}$ be a non-degenerate $K3$ surface of degree $2a$, where $a\ge2$. In this paper we deal with Ulrich bundles on $F$ of rank $2$. We deal with their stability and we construct $K3$ surfaces endowed with families of non-special Ulrich bundles of rank $2$ for each $a\ge2$.

研究の動機と目的

• 射影的 K3 表面の次数 $2a$（$a \geq 2$）におけるランク 2 Ulrich バンドルの安定性の性質を調査すること。
• このような表面におけるランク 2 Ulrich バンドルのチャーン類に制限があるかを特定すること。
• すべての $a \geq 2$ に対して、非特異的かつ安定なランク 2 Ulrich バンドルの族を有する K3 表面を構成すること。
• 既知の「特別な」ケースを超えて、非特異的ランク 2 Ulrich バンドルが存在するかを解明すること。

提案手法

• 著者たちは、安定バンドルのモジュライ空間を用い、S-同値類を分析することで、K3 表面におけるランク 2 Ulrich バンドルの安定性を研究する。
• 彼らは、$AB = 4a - 1$ を満たす Ulrich 線束 $\mathcal{O}_F(A)$ と $\mathcal{O}_F(B)$ の拡張としてバンドルを構成し、厳密に半安定な場合を実現する。
• この構成は、Ulrich 線束の存在と、バンドルが初期化されかつ aCM であることを保証するコhomオロジー的基準の使用に依存する。
• 論文は $S$-同値の概念を用い、ジョルダン・ホルダー分解を分析することで、厳密に半安定バンドルの構造を特徴付ける。
• Ulrich 条件とホッジ指数定理から導かれる $c_1^2$ の上限・下限を用いて、可能なチャーン類を制約する。
• 鍵となる技術的道具は、モジュライ空間 $\mathcal{M}^{s,aCM}_{F}(2; A+B, AB)$ の分析であり、その成分の既約性と閉包性を示す。

実験結果

リサーチクエスチョン

• RQ1 K3 表面の次数 $2a$ における Ulrich バンドルのチャーン類に制限はあるか？
• RQ2 $c_1 = 3rh/2$ という特別なケースを超えて、ランク 2 の分解不能な Ulrich バンドルは K3 表面に存在するか？
• RQ3 K3 表面におけるランク 2 の分解不能な Ulrich バンドルは、どのような（半）安定性の性質を有するか？
• RQ4 次数 $2a$ のある K3 表面において、$c_1^2 = 16a - 10$ である安定 Ulrich バンドルが存在するか？
• RQ5 すべての $a \geq 2$ に対して、非特異的 Ulrich バンドルの族を有する K3 表面は存在するか？

主な発見

• 各 $a \geq 2$ に対して、$c_1^2 = 8a - 8 + 2u$ である非特異的かつ安定なランク 2 Ulrich バンドルの族を有する K3 表面が存在する。ここで $u$ は整数で $4a-1 \leq u \leq 5a+4$ かつ $u \neq 5a+3$ を満たす。
• $u \geq 4a$ のとき、一般のバンドルは安定であり、安定 Ulrich バンドルが特別な場合を超えて存在することを確認する。
• ランク 2 Ulrich バンドルの $c_1^2$ の上限と下限は鋭く、$c_1^2 \leq \frac{9}{2}a$ および $c_1^2 \geq 4(a-1)$ が成り立ち、上限で等号が成立するのは $c_1 = 3h/2$ の場合に限る。
• $u = 4a - 1$ のとき、モジュライ空間は有限であり、少なくとも一つの厳密に半安定な Ulrich バンドルを含み、$c_1^2 = 16a - 10$ かつ $c_2 = 4a - 1$ である。
• 厳密に半安定な Ulrich バンドルの $S$-同値類は、$AB = 4a - 1$ を満たす Ulrich 線束の無順序対 $\{\mathcal{O}_F(A), \mathcal{O}_F(B)\}$ によって決定され、このようなバンドルは対の同型を除いて一意に定まる。
• 論文は、特別なケース $c_1^2 = 16a - 10$ が厳密に半安定バンドルに対応することを確認し、その上で、このようなバンドルが一部の K3 表面で安定である可能性があるかという未解決の問題を提起する。