[論文レビュー] ACM bundles on cubic fourfolds containing a plane

Martí Lahoz, Emanuele Macrì+1 more|arXiv (Cornell University)|Mar 27, 2013

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

ひとこと要約

本稿は、平面を含む立方体四次曲面 Y に付随する K3 表面の滑らかさを持つ部分 S_reg と、Y 上のランク 4 の Gieseker 安定 ACM バンドルのモジュライ空間との間に幾何的対応を確立する。Kuznetsov の半直交分解と導来カテゴリー技法を用いて、K3 表面をこのようなバンドルのモジュライ空間として実現し、立方体四次曲面にランク 4 の安定 ACM バンドルの 2 次元族が存在する最初の既知の例を提供する。

ABSTRACT

We study ACM bundles on cubic fourfolds containing a plane exploiting the geometry of the associated quadric fibration and Kuznetsov's treatment of their bounded derived categories of coherent sheaves. More precisely, we recover the K3 surface naturally associated to the fourfold as a moduli space of Gieseker stable ACM bundles of rank four.

研究の動機と目的

• 平面を含む立方体四次曲面における Arithmetically Cohen-Macaulay (ACM) バンドルの構造を理解すること。
• Kuznetsov の半直交分解を用いたそのような四次曲面の導来カテゴリ一と、関連する K3 表面の幾何との関係を調査すること。
• 二次曲面のファイブレーションの幾何を用いて、立方体四次曲面の安定 ACM バンドルのモジュライ空間を構成し、特徴づけること。
• 四次曲面に付随する K3 表面を、ランク 4 の Gieseker 安定 ACM バンドルのモジュライ空間として実現すること。
• Fourier-Mukai ファンクターを通じて、K3 表面の導来カテゴリ一が立方体四次曲面の導来カテゴリ一に埋め込まれる幾何的実現を提供すること。

提案手法

• 平面を含む立方体四次曲面の導来カテゴリ一の Kuznetsov の半直交分解を用い、それを部分カテゴリ T_Y と 3 個のラインバンドルに分解する。
• 四次曲面から平面を射影することで、P² 上の二次曲面ファイブレーション π を構成し、P² 上のクリフォード代数の層 B₀ を得る。
• D^b(P², B₀) と D^b(S, A₀) の間の同値関係を確立する。ここで S は 6 次曲線 C に沿って分岐する P² の 2 重被覆である K3 表面である。
• 導来同値を用いて、四次曲面の ACM バンドルの研究を P² 上の B₀-加群の複体の研究へ移す。
• 移入と Fourier-Mukai ファンクターを用いて、D^b(S × Y, p₁*α) 内にねじれ型の普遍族 M を構成し、D^b(S, α) の D^b(Y) への埋め込みを実現する。
• K3 表面 S の滑らかさを持つ部分 S_reg が、Y 上のクラス (4, -2H, -P, l, 1/4) の Gieseker 安定 ACM バンドルのモジュライ空間の開部分集合に同型であることを証明する。

実験結果

リサーチクエスチョン

• RQ1 平面を含む立方体四次曲面に付随する K3 表面は、その四次曲面における安定 ACM バンドルのモジュライ空間として実現可能か？
• RQ2 平面を含む立方体四次曲面におけるランク 4 の Gieseker 安定 ACM バンドルのモジュライ空間の幾何的構造は何か？
• RQ3 四次曲面の導来カテゴリ一は、その半直交分解を通じて、関連する K3 表面の幾何とどのように関係するか？
• RQ4 K3 表面の導来カテゴリ一が四次曲面の導来カテゴリ一に埋め込まれる自然な Fourier-Mukai 核は存在するか？
• RQ5 このような四次曲面における安定 ACM バンドルの族の次元と構造は何か？

主な発見

• 平面 P を含む立方体四次曲面 Y に付随する K3 表面 S の滑らかさを持つ部分 S_reg は、クラス (4, -2H, -P, l, 1/4) の Gieseker 安定 ACM バンドルのモジュライ空間の開部分集合に同型である。
• これは、立方体四次曲面にランク 4 の安定 ACM バンドルの 2 次元族が存在する最初の既知の例を提供する。
• このようなバンドルのモジュライ空間は、その滑らかさを持つ部分に自然なシンプレクティック形式を備えている。これは、Ext 群によって誘導される接空間同型が S のシンプレクティック構造と一致するためである。
• Y × S 上のバンドルの普遍族は、例外的除集合とファイブレーション構造を含む複体の移入を用いてねじれ層として構成される。
• D^b(S, α) の D^b(Y) への埋め込みは、S × Y 上のねじれ型局所自由層 M を核とする完全忠実な Fourier-Mukai ファンクターとして実現される。
• S が滑らかであれば、モジュライ空間は S に同型であり、K3 表面とランク 4 の ACM バンドルのモジュライの間の明確な幾何的対応が確立される。