[論文レビュー] Koszul cohomology and applications to moduli

Marian Aprodu, Gavril Farkas|arXiv (Cornell University)|Nov 19, 2008

Algebraic Geometry and Number Theory参考文献 40被引用数 22

ひとこと要約

この論文は代数的曲線のコスズルコhomology理論を発展させ、$K3$ 表面への特化を用いて一般曲線および最大ゴノタリティを持つ曲線に対してグリーン予想を証明し、一般曲線上の線分束へと結果を拡張する。また、キーポイントとなる結果として、$p < \mathrm{Cliff}(C)$ のとき $K_{p,2}(C,K_C)$ の消滅、および特定の条件下で $K_{d-4,2}(C,K_C \otimes \eta)$ の消滅を確認する。さらに、キーポイントとなる新しい予想——最小キーゾジ予想と強最大ランク予想——を提示し、キーゾジの消滅を線分束の線形系列幾何と関連付ける。

ABSTRACT

We discuss recent progress on syzygies of curves, including proofs of Green's and Gonality Conjectures as well as applications of Koszul cycles to the study of the birational geometry of various moduli spaces of curves. We prove a number of new results, including a complete solution to Green's Conjecture for arbitrary hexagonal curves. Finally, we propose several new conjectures on syzygies, including a Prym-Green conjecture for l-roots of trivial bundles as well as a strong Maximal Rank Conjecture for generic curves. To appear in the Proceedings of Clay Mathematical Institute.

研究の動機と目的

• 一般曲線の種数 $g = 2p+3$ および $g = 2p+4$ に対して、$K3$ 表面へのヴォイシンの特化法を用いてグリーン予想を確立する。
• 最大ゴノタリティを持つ曲線へのグリーン予想の拡張を試み、次元論的議論を用いて $6$-ゴノタル曲線に対して証明する。
• 一般曲線上の線分束のキーゾジに関する新しい予想——最小キーゾジ予想と強最大ランク予想——を提示・動機づける。
• 古典的結果（ノイザー、エヌリクス＝バッジ＝ペトリ）および最近の進展（ヴォイシン、ヒルシュコヴィッチ＝ラマナン）をキーゾジ的枠組みで統一・一般化する。
• キーゾジ消滅の失敗集合の幾何を検討し、特にその余次元とモジュライ空間におけるスロープ予想との関係を明らかにする。

提案手法

• ヴォイシンの特化法を用いる：一般曲線を $K3$ 表面の曲線に特化して、一般曲線における $K_{p,2}(C,K_C)$ の消滅を証明する。
• 基本点フリーなペンキルトリックと双対性を用いて、特に対称冪および線分束の文脈での写像 $\nu_n(L)$ を分析する。
• ブリル＝ノイター理論および $W^r_d(C)$ の次元の上限を用いて、$d$-ゴノタルの場合のグリーン予想の条件を検証する。
• 線形系列写像の最大ランク性を研究するため、行列式的多様体 $\Sigma_{n,g,d}^r(C)$ の概念を導入する。
• 高次元線分束に対してムムフォードの定理を適用し、$\nu_2(L)$ の全射性を確認することで、非特異の場合における強最大ランク予想を検証する。
• 評価写像のランクと $\rho$-不変量との関係を提示する新しい予想的枠組み——最小キーゾジ予想——を提唱する。

実験結果

リサーチクエスチョン

• RQ1 種数 $g \geq 5$ のすべての一般曲線に対してグリーン予想は成り立つのか。また、$K3$ 表面への特化によって証明可能か。
• RQ2 次元論的条件 $\dim W^1_{g-d+2}(C) \leq g-d+2$ の下で、$p < \mathrm{Cliff}(C)$ のとき $K_{p,2}(C,K_C)$ の消滅が $d$-ゴノタル曲線へ拡張可能か。
• RQ3 $L \in W^r_d(C)$ に対して $K_{p,2}(C,L) \neq 0$ となる失敗集合はモジュライ空間において余次元1の集合か。これはスロープ予想とどのように関係するか。
• RQ4 すべての $n$, $g$, $r$, $d$ に対して強最大ランク予想が成り立つか。$\rho(g,r,d) < r-2$ のとき、その幾何的意味は何か。
• RQ5 $s > 2$ のとき最小キーゾジ予想を検証可能か。また、一般曲線におけるグリーン＝ラザルスフェルドのゴノタリティ予想をどのように精緻化するか。

主な発見

• 一般曲線の種数 $g = 2p+3$ および $g = 2p+4$ に対してグリーン予想がヴォイシンの $K3$ 特化法により証明された。
• 任意の曲線について $\mathrm{Cliff}(C) \geq 4$ ならば $K_{3,2}(C,K_C) = 0$ であり、これはすべての $6$-ゴノタル曲線に対するグリーン予想の確認である。
• 条件 $\dim W^1_{g-d+2}(C) \leq g-d+2$ が成り立てば $K_{d-3,2}(C,K_C) = 0$ であり、$2 \leq d \leq [g/2]+2$ の一般 $d$-ゴノタル曲線に対してグリーン予想が証明された。
• 非特異の場合（$r = d-g$）にはムムフォードの全射性定理により強最大ランク予想が成り立ち、$d \geq 2g+3$ のとき $\nu_2(L)$ が全射であることが確認された。
• 最小キーゾジ予想はグリーン予想を一般化する：$g = rs + s$, $d = rs + r$, および $p \leq \frac{r-2s}{s+1}$ のとき、すべての $L \in W^r_d(C)$ に対して $K_{p,2}(C,L) = 0$ であり、極限での等号成立は余次元1の失敗集合を意味する。
• 予想1.4は、一般の $[C,\eta] \in \mathfrak{Pic}_g^0$ に対して $K_{d-4,2}(C,K_C \otimes \eta) = 0$ を予測する。この失敗集合は真に余次元1の集合であると予想され、グリーン＝ラザルスフェルドのゴノタリティ予想を精緻化する。