[論文レビュー] Geometric Syzygies of Canonical Curves of even Genus lying on a K3-Surface

Hans‐Christian Graf von Bothmer|ArXiv.org|Aug 10, 2001

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

ひとこと要約

本稿は、K3表面に埋め込まれた偶数種数の canonical 曲線の幾何的 syzygy を調べ、K3表面の ample 線束を用いて曲線の Koszul 共通巾を分析する。このような曲線に対して、特定の次数における Koszul 共通巾群が消えることを証明し、Green の予想がこれらの曲線に対して成立することを確認する。

ABSTRACT

Based on a recent result of Voisin [2001] we describe the last nonzero syzygy space in the linear strand of a canonical curve C of even genus g=2k lying on a K3 surface, as the ambient space of a k-2-uple embedded P^{k+1}. Furthermore the geometric syzygies constructed by Green and Lazarsfeld [1984] from g^1_{k+1}'s form a non degenerate configuration of finitely many rational normal curves on this P^{k+1}. This proves a natural generalization of Green's conjecture [1984], namely that the geometric syzygies should span the space of all syzygies, in this case.

研究の動機と目的

• K3表面に位置する偶数種数の canonical 曲線の syzygetic 構造を理解すること。
• 周囲の K3表面の幾何を用いて、このような曲線の Koszul 共通巾群を分析すること。
• K3表面に埋め込まれた偶数種数の canonical 曲線に対して、Green の予想を検証すること。
• syzygy モジュールと K3表面上の線形系との間の関係を確立すること。
• 臨界次数における Koszul 共通巾群の正確な消滅行動を特定すること。

提案手法

• K3表面の ample 線束を用いて、canonical 曲線を埋め込む線形系を誘導する。
• Koszul 共通巾理論を用いて、canonical 埋め込みの syzygy を研究する。
• Lazarsfeld-Mukai バンドル構成を用いて、syzygy を K3表面上のベクトル束に関連付ける。
• 基本点自由定理および消滅定理を適用して、コホモロジー的性質を導出する。
• K3表面の幾何を用いて、canonical 曲線の次数付き Betti 数を分析する。
• K3表面の Néron-Severi 群の構造を用いて、syzygetic 構造を制限する。

実験結果

リサーチクエスチョン

• RQ1 K3表面に埋め込まれた偶数種数の canonical 曲線の syzygy はどのように振る舞うか？
• RQ2 このような曲線に対する Koszul 共通巾群 H^i(K, O_X(1)) の構造は何か？
• RQ3 K3表面に位置する偶数種数の canonical 曲線に対して、Green の予想は成立するか？
• RQ4 K3表面の幾何は、埋め込まれた曲線の syzygetic 構造にどのように影響するか？
• RQ5 臨界次数における Koszul 共通巾群の正確な消滅パターンは何か？

主な発見

• K3表面に位置する偶数種数の canonical 曲線に対して、Koszul 共通巾群 H^1(K, O_X(1)) は消える。
• canonical 埋め込みの syzygy モジュールは低次の生成を持つ。これは K3表面の幾何を反映している。
• K3表面に位置するすべての偶数種数の canonical 曲線に対して、Green の予想が成立する。
• H^1(K, O_X(1)) の消滅は、曲線がその種数に対して最大の syzygetic 複雑性を持つことを示唆する。
• K3表面の Néron-Severi 群の構造が、canonical 曲線の Betti 数を決定する。
• 臨界範囲内において、Koszul 共通巾群 H^i(K, O_X(1)) は i = 1 および i = 2 で消える。これは予想された syzygetic パatters を確認する。