[论文解读] Koszul cohomology and applications to moduli

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

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

一句话总结

本文推进了代数曲线的 Koszul 上同调理论，通过在 $K3$ 曲面上的专门化方法，证明了关于一般曲线和最大亏格曲线的 Green 猜想，并将结果推广至一般曲线上的线丛。文中提出了新的猜想——如最小关系式猜想和强最大秩猜想——将关系式消失与线丛几何联系起来，关键结果确认了当 $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.

研究动机与目标

• 通过在 $K3$ 曲面上使用 Voisin 的专门化技术，证明一般亏格为 $g = 2p+3$ 和 $g = 2p+4$ 的曲线的 Green 猜想。
• 将 Green 猜想推广至最大亏格曲线，并通过维数论论证证明其对 $6$-亏格曲线成立。
• 提出并论证关于一般曲线上线丛关系式的新的猜想，包括最小关系式猜想和强最大秩猜想。
• 通过关系式框架统一并推广经典结果（Noether、Enriques-Babbage-Petri）与近期进展（Voisin、Hirschowitz-Ramanan）。
• 探索关系式消失失败簇的几何性质，特别是其余维数与模空间中斜率猜想的关系。

提出的方法

• 利用 Voisin 的专门化方法：将一般曲线退化为 $K3$ 曲面上的曲线，以证明一般曲线上 $K_{p,2}(C,K_C)$ 的消失性。
• 应用基点自由铅笔技巧与对偶性，分析映射 $\nu_n(L)$，尤其在对称幂与线丛的背景下。
• 结合 Brill-Noether 理论与 $W^r_d(C)$ 的维数界，验证 $d$-亏格情形下 Green 猜想的条件。
• 引入行列式簇 $\Sigma_{n,g,d}^r(C)$ 的概念，以研究线丛映射的最大秩性质。
• 应用 Mumford 定理，证明高阶线丛的 $\nu_2(L)$ 的满射性，从而在非特殊情形下验证强最大秩猜想。
• 提出一个新猜想框架——最小关系式猜想——将 $K_{p,2}(C,L)$ 的消失性与评价映射的秩及 $\rho$-不变量联系起来。

实验结果

研究问题

• RQ1 Green 猜想是否对所有亏格 $g \geq 5$ 的一般曲线成立，且能否通过 $K3$ 曲面退化来证明？
• RQ2 在 $W^1_{g-d+2}(C)$ 的维数论条件下，$K_{p,2}(C,K_C)$ 在 $p < \mathrm{Cliff}(C)$ 时的消失性是否可推广至 $d$-亏格曲线？
• RQ3 $K_{p,2}(C,L) \neq 0$ 在 $L \in W^r_d(C)$ 时的失败簇在模空间中是否为除子？其与斜率猜想有何关系？
• RQ4 强最大秩猜想是否对所有满足 $\rho(g,r,d) < r-2$ 的 $n$、$g$、$r$、$d$ 成立？其几何意义为何？
• RQ5 最小关系式猜想是否可在 $s > 2$ 时被验证？它是否能对一般曲线的 Green-Lazarsfeld 亏格猜想进行细化？

主要发现

• 通过 Voisin 的 $K3$ 专门化方法，证明了 Green 猜想对一般亏格为 $g = 2p+3$ 和 $g = 2p+4$ 的曲线成立。
• 对任意满足 $\mathrm{Cliff}(C) \geq 4$ 的曲线，有 $K_{3,2}(C,K_C) = 0$，从而确认了对所有 $6$-亏格曲线的 Green 猜想。
• 若 $\dim W^1_{g-d+2}(C) \leq g-d+2$，则 $K_{d-3,2}(C,K_C) = 0$，从而证明了一般 $d$-亏格曲线（$2 \leq d \leq [g/2]+2$）的 Green 猜想。
• 由于 Mumford 的满射性定理，强最大秩猜想在一般非特殊曲线（$r = d-g$）情形下成立，确认了当 $d \geq 2g+3$ 时 $\nu_2(L)$ 是满射。
• 最小关系式猜想推广了 Green 猜想：当 $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.4 预言：对一般 $[C,\eta] \in \mathfrak{Pic}_g^0$，有 $K_{d-4,2}(C,K_C \otimes \eta) = 0$，且该失败簇预期为真正的除子，从而细化了 Green-Lazarsfeld 亏格猜想。