[論文レビュー] Minimal resolutions, Chow forms and Ulrich bundles on K3 surfaces

Marian Aprodu, Gavril Farkas+1 more|arXiv (Cornell University)|Dec 26, 2012

Algebraic Geometry and Number Theory参考文献 14被引用数 20

ひとこと要約

本稿は、整数斜度 $μ = d/r \in \mathbb{Z}_{\geq 1}$ を持つ一般の曲線および $d \geq 2r$ かつ特定の次数・種数不等式を満たす曲線に対して、最小分解予想（MRC）を証明する。幾何学的に許されるだけ単純な形になる一般の点集合の最小分解を、レイノー・性質とコーゴルツ・コhomologyを用いて確立する。主な貢献は、一般の曲線に対する理想生成予想の完全な解決および、ベクトルバンドルの一般の切断の零点を用いた $K3$ 表面へのウルリッヒバンドルの構成である。

ABSTRACT

The Minimal Resolution Conjecture (MRC) for points on a projective variety X predicts that the Betti numbers of general sets of points in X are as small as the geometry (Hilbert function) of X allows. To a large extent, we settle this conjecture for a curve C with general moduli. We show that, independently of the genus, MRC holds for a general linear system of degree d and dimension r on C if and only if d>2r-1. We then proceed to find a full solution to the Ideal Generation Conjecture for curves with general moduli. In a different direction, we prove that K3 surfaces admit Ulrich bundles of every rank. We apply this to describe a pfaffian equation for the Chow form of a K3 surface.

研究の動機と目的

• 一般の曲線 $C \subset \mathbb{P}^r$ に対して、整数斜度 $\mu = d/r \in \mathbb{Z}_{\geq 1}$ を持つ最小分解予想（MRC）を証明すること。
• 一般の曲線およびそのような曲線上の一般の点集合に対して、理想生成予想（IGC）を確立すること。
• ベクトルバンドル $E_n$ の一般の切断の零点を用いて、$K3$ 表面へのウルリッヒバンドルを構成すること。
• $K3$ 表面上の零次元的スキーム $\Gamma$ のベッチ数が、ウルリッヒバンドルから得られる場合に、MRC型の消滅条件を満たすことを示すこと。

提案手法

• 整数斜度 $\mu$ を持つ曲線に対して MRC を証明するため、核バンドル $M_V$ がレイノー性質 (R) を満たすことを示す：一般の $\xi$ に対して $H^0(C, \bigwedge^i M_V \otimes \xi) = 0$ が、$\deg \xi = g-1 + \lfloor i d / r \rfloor$ のとき成り立つこと。
• $\mu \in \mathbb{Z}$ のとき、$\bigwedge^i M_V$ に対するtheta divisor の存在とレイノー性質が同値であることを用いる。
• コーゴルツ・コhomologyの技法を用い、$\Gamma \subset S$ の分解を $K3$ 表面 $S$ の分解と関連付ける。$\mathcal{I}_{\Gamma/S}$ に関連するコーゴルツ複体の長完全列を適用する。
• ベクトルバンドル $E$ が $K3$ 表面 $S$ 上にウルリッヒバンドルであり、$\mathrm{Pic}(S) = \mathbb{Z} \cdot H$ であるとき、$K_{p,q}(S; E, H) = 0$（$q \neq 0$）であるという事実を活用する。
• ヴォジンおよびファルカス–グリツェンコ–パーチェの $K3$ 表面のコーゴルツ・コhomology に関する結果を用い、$\Gamma$ のベッチテーブルが $b_{i+1,j-1}(\Gamma) \cdot b_{i,j}(\Gamma) = 0$ を満たすことを示す。
• 一般の $n$ 個の点 $\gamma_n$ の Hilbert 関数と $\Gamma$ の Hilbert 関数を比較し、$n$ が十分に大きいと異なることから、$\Gamma$ の分解が一般の零次元的サイクルの分解に退化しない理由を説明する。

実験結果

リサーチクエスチョン

• RQ1 一般の曲線 $C \subset \mathbb{P}^r$ に対して、整数斜度 $\mu = d/r \in \mathbb{Z}_{\geq 1}$ を持つ最小分解予想は成り立つか？
• RQ2 一般の曲線およびそのような曲線上の一般の $\gamma$ 個の点に対して、理想生成予想は成り立つか？
• RQ3 $K3$ 表面上のウルリッヒバンドルは、ベクトルバンドル $E_n$ の一般の切断の零点として構成可能か？
• RQ4 $K3$ 表面上の零次元的スキーム $\Gamma$ のベッチ数は、MRC型の消滅条件 $b_{i+1,j-1}(\Gamma) \cdot b_{i,j}(\Gamma) = 0$ を満たすか？
• RQ5 ベッチ数のパターンが類似しているにもかかわらず、なぜ $\Gamma$ の最小分解が $S$ 上の一般の $\gamma_n$ 個の点の分解と一致しないのか？

主な発見

• 任意の一般の曲線 $C \subset \mathbb{P}^r$ に対して、$d = \mu r$ かつ $\mu \in \mathbb{Z}_{\geq 1}$、$g \leq (r+1)(\mu - 1)$ を満たす場合、最小分解予想が成立する。
• 一般の曲線に対して理想生成予想は完全に解決された：$b_{1,u}(\Gamma) = \max\{ d - r(du - \gamma + 1 - g), 0 \}$ であり、$I_\Gamma / I_C$ の生成数の最小値で等号が成立する。
• $K3$ 表面 $S$ に対して $\mathrm{Pic}(S) = \mathbb{Z} \cdot H$ が成り立つとき、$E_n$ の一般の切断の零点 $\Gamma$ は、すべての $i,j$ に対して $b_{i+1,j-1}(\Gamma) \cdot b_{i,j}(\Gamma) = 0$ を満たす。これは MRC型の消滅を確認する。
• すべての $i,a,n \geq 1$ に対して、$K_{i,n+3+a}(\Gamma, \mathcal{O}_\Gamma(1)) \cong K_{i-2,a+2-n}(S,H)$ および $K_{i+1,n+2+a}(\Gamma, \mathcal{O}_\Gamma(1)) \cong K_{i-1,a+1-n}(S,H)$ が成り立つ。これにより、$\Gamma$ の分解が $S$ のコーゴルツ・コhomology と関連づけられる。
• 大きな $n$ に対して、$\Gamma$ の Hilbert 関数は $S$ 上の $\gamma_n$ 個の一般の点のそれと異なる。なぜなら $h^0(\mathcal{I}_{\Gamma/S}(u_n - 1)) = h^0(S, E(u_n - n - 4)) \neq 0$ であるため、半連続性により分解が等しくならない。
• $\mathrm{Pic}(S) = \mathbb{Z} \cdot H$ のとき、$S$ の分解は自然である（すなわち $b_{i+1,1}(S) \cdot b_{i,2}(S) = 0$）が、これは命題 3.1 の同型により $\Gamma$ へと持ち上がる。