[論文レビュー] Stable Ulrich bundles

Marta Casanellas, Robin Hartshorne|arXiv (Cornell University)|Feb 4, 2011

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

ひとこと要約

本稿は、射影空間内の非特異な立方曲面および立方三様体上での安定Ulrichバンドルの存在に関する必要十分条件を確立する。変形理論と有限体上のMacaulay2計算を用いて、このようなバンドルが存在するのは、第一チャーン類が直線およびねじれ三次曲線と特定の交点条件を満たす場合に限ることを証明し、安定Ulrichバンドルのモジュライ空間が滑らかで、既約的であり、次元 $ D^2 - 2r^2 + 1 $ であることを示している。結果は立方三様体へ拡張され、任意のランクの安定Ulrichバンドルの存在が証明され、超平面切断への制限写像が一般にエタール的かつ全射的であることが示された。

ABSTRACT

The existence of stable ACM vector bundles of high rank on algebraic varieties is a challenging problem. In this paper, we study stable Ulrich bundles (that is, stable ACM bundles whose corresponding module has the maximum number of generators) on nonsingular cubic surfaces $X \subset \mathbb{P}^3.$ We give necessary and sufficient conditions on the first Chern class $D$ for the existence of stable Ulrich bundles on $X$ of rank $r$ and $c_1=D$. When such bundles exist, we prove that that the corresponding moduli space of stable bundles is smooth and irreducible of dimension $D^2-2r^2+1$ and consists entirely of stable Ulrich bundles (see Theorem 1.1). As a consequence, we are also able to prove the existence of stable Ulrich bundles of any rank on nonsingular cubic threefolds in $\mathbb{P}^4$.

研究の動機と目的

• 非特異な立方曲面 $ X \subset \mathbb{P}^3 $ 上でのランク $ r \geq 2 $ の安定Ulrichバンドルの存在に必要な十分な第一チャーン類 $ D $ の条件を同定すること。
• このような曲面上での安定Ulrichバンドルのモジュライ空間が滑らかで、既約的であり、次元 $ D^2 - 2r^2 + 1 $ であることを示すこと。
• 立方三様体 $ \mathbb{P}^4 $ における存在結果を拡張し、任意のランクの安定Ulrichバンドルの存在を証明すること。
• 立方三様体上の安定バンドルから超平面切断（立方曲面）への制限写像を分析し、それが一般にエタール的かつ全射的であることを示すこと。
• 計算代数幾何学を用いて、一般の立方三様体上での楕円曲線および genus-10 曲線のねじれ正規バンドルのコホモロジーの消滅条件を検証すること。

提案手法

• 立方曲面上の単純なUlrichバンドルのモジュライ族の次元を計算するために変形理論の使用。
• 有限体上での半連続性および特殊化の議論をMacaulay2を用いて応用し、コホモロジーの消滅および幾何的性質を検証すること。
• Pfaffiansおよび自由分解を用いて、立方三様体上での楕円曲線 $ E $ のねじれ正規バンドル $ \mathcal{N}_{E/X}(-1) $ を計算すること。
• $ \mathcal{I}_{E/X}(2) $ からの非自明な拡張 $ \mathcal{F} $ の構成および、層コホモロジー計算により $ H^1(\mathcal{F} \otimes \mathcal{I}_{C/X}) = H^2(\mathcal{F} \otimes \mathcal{I}_{C/X}) = 0 $ の検証。
• $ \mathcal{O}_E $ を $ \mathcal{O}_X $-加群として周期的自由分解を用いて、 $ E $ を定義する切断の選び方に依存しない $ H^0(\mathcal{N}_{E/X}(-1)) $ の計算。
• Macaulay2におけるランダム化サーチルーチンの実装により、 $ H^0(\mathcal{N}_{E/X}(-1)) $ が消えるような滑らかな立方三様体および楕円曲線を探索し、ねじれ正規バンドルの所望の分解を保証すること。

実験結果

リサーチクエスチョン

• RQ1 非特異な立方曲面 $ X \subset \mathbb{P}^3 $ 上で、ランク $ r \geq 2 $ の安定Ulrichバンドルが存在するための除数類 $ D $ は何か？
• RQ2 第一チャーン類 $ c_1 = D $ を持つ立方曲面上での安定Ulrichバンドルのモジュライ空間の次元および幾何的構造（滑らかさ、既約性）は何か？
• RQ3 非特異な立方三様体 $ Y \subset \mathbb{P}^4 $ 上では、任意のランクの安定Ulrichバンドルを構成可能か？ そのモジュライ空間の次元は？
• RQ4 立方三様体上の安定バンドルから超平面切断（立方曲面）への制限写像は、一般にエタール的かつ全射的か？
• RQ5 楕円曲線 $ E \subset X $ のねじれ正規バンドル $ \mathcal{N}_{E/X}(-1) $ が $ L \oplus L^{-1} $ に分解し、 $ L \not\cong \mathcal{O}_E $ であるような条件は何か？ また、どのようなコホモロジーの消滅が成立するか？

主な発見

• 非特異な立方曲面 $ X \subset \mathbb{P}^3 $ 上でのランク $ r \geq 2 $ の安定Ulrichバンドルが存在するのは、すべての直線 $ L $ に対して $ 0 \leq D \cdot L \leq 2r $ かつすべてのねじれ三次曲線 $ T $ に対して $ D \cdot T \geq 2r $ を満たす場合に限る（一つの例外を除く）。
• このようなバンドルが存在するとき、モジュライ空間 $ \mathcal{M}_X^s(r; c_1 = D, c_2 = \frac{D^2 - r}{2}) $ は滑らかで、既約的であり、次元 $ D^2 - 2r^2 + 1 $ である。また、この空間はすべて安定Ulrichバンドルからなる。
• 任意の $ r \geq 2 $ に対して、一般の立方三様体 $ Y \subset \mathbb{P}^4 $ 上でのランク $ r $ の安定Ulrichバンドルのモジュライ空間は空でなく、滑らかで、次元 $ r^2 + 1 $ である。
• 立方三様体上の安定バンドルのモジュライ空間から超平面切断への制限写像は、一般にエタール的かつ全射的である。
• 一般の立方三様体上での5次正規楕円曲線 $ E \subset X $ に対して、 $ \mathcal{N}_{E/X}(-1) \cong L \oplus L^{-1} $ であり、 $ L \in \mathrm{Pic}^0(E) $、 $ L \not\cong \mathcal{O}_E $ であり、 $ H^1(E, \mathcal{N}_{E/X}(-1)) = 0 $ である。
• 一般のアリトメチック的に Cohen-Macaulay な曲線 $ C \subset X $ に対して、 genus 10 で次数12であるとき、 $ H^1(C, \mathcal{N}_{C/X}(-1)) = 0 $ であり、 $ E \cap C = \emptyset $、 $ \mathrm{Ext}^1_{\mathcal{O}_X}(\mathcal{I}_{E/X}(2), \mathcal{O}_X) $ が1次元であり、非自明な拡張 $ \mathcal{F} $ に対して $ H^1(\mathcal{F} \otimes \mathcal{I}_{C/X}) = H^2(\mathcal{F} \otimes \mathcal{I}_{C/X}) = 0 $ であるような三重組 $ (C, E, X) $ の非空な開部分集合が存在する。