[論文レビュー] An introduction to Ulrich bundles

Arnaud Beauville|HAL (Le Centre pour la Communication Scientifique Directe)|Oct 10, 2016

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

ひとこと要約

本稿は、滑らかな射影的多様体上のUlrich束を導入し、特定の曲面および3次元多様体におけるSerre構成を用いたその存在を検討する。Ulrich束の同値な特徴づけを、コホモロジーの消失と有限線形射影による押し出しの自明性を通じて確立し、Fano 3次元多様体および4次元多様体上でランク2のUlrich束の存在を、射影空間内の楕円曲線を用いて証明する。

ABSTRACT

After recalling the definition and basic properties of Ulrich bundles, we focus on the existence problem: does any smooth projective variety carry a Ulrich bundle? We show that the Serre construction provides a positive answer on certain surfaces and threefolds.

研究の動機と目的

• コホモロジーの消失および線形分解を用いて、滑らかな射影的多様体上のUlrich束を定義・特徴づけること。
• 基本的な存在問題を調査する：任意の滑らかな射影的多様体はUlrich束をもつのか？
• Serre構成を用いて、超曲面、曲面、3次元多様体におけるUlrich束の明示的例を構成すること。
• Fano 3次元多様体および4次元多様体上のランク2特別Ulrich束のモジュライ空間を研究し、その滑らかさと次元を示すこと。
• 特に立方体3次元多様体の場合に、Ulrich束を楕円曲線や中間ヤコビアンといった幾何的対象と関連付けること。

提案手法

• 滑らかな超曲面 X ⊂ ℙ における行列式的多様体の理想層を解体することにより、ランク r のベクトル束 E をSerre構成で構成する。
• 1 ≤ p ≤ dim(X) に対して、H•(X, E(−p)) のコホモロジー群の消失を用いてUlrich束を特徴づける。
• Auslander-Buchsbaumの公式を適用し、捩れた自明なバンドル間の線形写像の余核が X 上で局所自由であることを検証する。
• 有限線形射影 π: X → ℙⁿ を用いて、コホモロジー的条件を ℙⁿ 上の π⁎E の自明性に還元する。
• Hilbert多様体を用いて X 内の正規楕円曲線をパラメトライズし、正規バンドルを分析することで、ランク2 Ulrich束のモジュライ空間を構成する。
• E の行列表示から得られる双対コホモロジー列を用い、曲線 Γ の正規バンドル N に対して H¹(Γ, N) = 0 を示すことで、モジュライ空間の滑らかさを証明する。

実験結果

リサーチクエスチョン

• RQ1 任意の滑らかな射影的多様体はUlrich束をもつのか？
• RQ2 Serre構成が、滑らかな超曲面上でUlrich束をもたらす条件は何か？
• RQ3 Fano 3次元多様体または4次元多様体上のランク2特別Ulrich束のモジュライ空間の構造と次元は何か？
• RQ4 立方体3次元多様体上のUlrich束は、中間ヤコビアンおよび2次元の1次元サイクルとどのように関係するか？
• RQ5 ℙ³ 上のUlrich束は、接触形式および線形形式の斜交行列を用いて記述可能か？

主な発見

• Fano 3次元多様体 X（インデックス2、次数 d）上のランク2特別Ulrich束のモジュライ空間 𝒟 は、次元5の滑らかな多様体である。
• d = 3, 4, 5 の場合、モジュライ空間 ℳ は、c₁ = 0、c₂ = 4 を満たすK3表面 S ⊂ X 上の安定バンドルのO'Gradyモジュライ空間におけるラグランジュ部分多様体として埋め込まれる。
• 立方体3次元多様体 X に対して、写像 ℳ → J²X は E に対して c₂(E(−1)) を送るが、これは開埋め込みであり、2本の直線の和をパラメトライズする除数の補集合に像を持つ。
• X = ℙ³ がVeronese埋め込みで埋め込まれる場合、モジュライ空間 ℳ は H⁰(ℙ³, Ω¹(2)) 内の非退化な斜交行列 4×4 の開部分集合である。
• インデックス3のFano 4次元多様体で、次数 d+2 のデル・ペッツォ表面を含むものに対して、同じ構成によりランク2 Ulrich束が存在するが、このような4次元多様体は一般的ではない（例：d=5 の場合、Pfaffian な立方体）。
• ランク2 Ulrich束をパラメトライズする曲線 Γ ⊂ X の正規バンドル N に対して、deg N = 2d+4 かつ H¹(Γ, N) = 0 が成り立ち、これはHilbert多様体およびしたがってモジュライ空間の滑らかさを示す。