[论文解读] 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

一句话总结

本文证明了在整数斜率 $\mu = d/r \in \mathbb{Z}_{\geq 1}$ 的一般曲线以及满足特定度-亏格不等式的 $d \geq 2r$ 曲线上，Minimal Resolution Conjecture（MRC）成立。通过利用 Raynaud 性质与 Koszul 上同调，本文表明此类曲线上一般点集的最小解析式在几何允许的范围内尽可能简单。主要贡献在于完全解决了关于一般曲线的 Ideal Generation Conjecture（IGC），并利用向量丛 $E_n$ 的一般截面的零点构造了 $K3$ 曲面上的 Ulrich 线丛。

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}$，Minimal Resolution Conjecture（MRC）成立。
• 确立关于一般曲线及其上一般点集的 Ideal Generation Conjecture（IGC）。
• 通过向量丛 $E_n$ 的一般截面的零点，在 $K3$ 曲面上构造 Ulrich 线丛。
• 证明 $K3$ 曲面上零维概形 $\Gamma$ 的 Betti 数满足 MRC 类型的消去条件，当 $\Gamma$ 由 Ulrich 线丛导出时。

提出的方法

• 通过证明核丛 $M_V$ 满足 Raynaud 性质（R）：对一般满足 $\deg \xi = g-1 + \lfloor i d / r \rfloor$ 的 $\xi$，有 $H^0(C, \bigwedge^i M_V \otimes \xi) = 0$，从而证明斜率 $\mu$ 为整数时的 MRC。
• 利用 Raynaud 性质与 $\bigwedge^i M_V$ 存在 theta 除子之间的等价性（当 $\mu \in \mathbb{Z}$ 时）。
• 应用 Koszul 上同调技术，通过与 $\mathcal{I}_{\Gamma/S}$ 关联的 Koszul 复形的长正合列，将 $\Gamma \subset S$ 的解析式与 $K3$ 曲面 $S$ 的解析式联系起来。
• 利用当 $E$ 是 $K3$ 曲面 $S$ 上的 Ulrich 线丛且 $\mathrm{Pic}(S) = \mathbb{Z} \cdot H$ 时，有 $K_{p,q}(S; E, H) = 0$ 对所有 $q \neq 0$ 成立的事实。
• 借助 Voisin 以及 Farkas–Gritsenko–Pareschi 关于 $K3$ 曲面上 Koszul 上同调的结果，证明 $\Gamma$ 的 Betti 表满足 $b_{i+1,j-1}(\Gamma) \cdot b_{i,j}(\Gamma) = 0$。
• 将 $\Gamma$ 的 Hilbert 函数与 $S$ 上 $\gamma_n$ 个一般点的 Hilbert 函数进行比较，发现当 $n$ 足够大时二者不同，从而解释为何 $\Gamma$ 的最小解析式不会退化为一般零维概形的解析式。

实验结果

研究问题

• RQ1 对于一般曲线 $C \subset \mathbb{P}^r$ 且整数斜率 $\mu = d/r \in \mathbb{Z}_{\geq 1}$，Minimal Resolution Conjecture 是否成立？
• RQ2 对于一般曲线及其上一般点集 $\gamma$，Ideal Generation Conjecture 是否成立？
• RQ3 能否通过向量丛 $E_n$ 的一般截面的零点在 $K3$ 曲面上构造 Ulrich 线丛？
• RQ4 $K3$ 曲面上零维概形 $\Gamma$ 的 Betti 数是否满足 MRC 类型的消去条件 $b_{i+1,j-1}(\Gamma) \cdot b_{i,j}(\Gamma) = 0$？
• RQ5 尽管 $\Gamma$ 与 $S$ 上 $\gamma_n$ 个一般点的 Betti 数模式相似，为何 $\Gamma$ 的最小解析式不与之重合？

主要发现

• 对于任意一般曲线 $C \subset \mathbb{P}^r$，其度数 $d = \mu r$，$\mu \in \mathbb{Z}_{\geq 1}$，且 $g \leq (r+1)(\mu - 1)$，Minimal Resolution Conjecture 成立。
• 关于一般曲线的 Ideal Generation Conjecture 已完全解决：$b_{1,u}(\Gamma) = \max\{ d - r(du - \gamma + 1 - g), 0 \}$，且 $I_\Gamma / I_C$ 的最小生成元数达到等式。
• 对于满足 $\mathrm{Pic}(S) = \mathbb{Z} \cdot H$ 的 $K3$ 曲面 $S$，向量丛 $E_n$ 的一般截面的零点 $\Gamma$ 满足对所有 $i,j$ 有 $b_{i+1,j-1}(\Gamma) \cdot b_{i,j}(\Gamma) = 0$，从而确认了 MRC 类型的消去条件。
• 同构关系 $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)$ 对所有 $i,a,n \geq 1$ 成立，将 $\Gamma$ 的解析式与 $S$ 的 Koszul 上同调联系起来。
• $\Gamma$ 的 Hilbert 函数与 $S$ 上 $\gamma_n$ 个一般点的 Hilbert 函数在 $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$。