[论文解读] Green-Lazarsfeld's Conjecture for Generic Curves of Large Gonality

Marian Aprodu, Claire Voisin|arXiv (Cornell University)|Jan 23, 2003

Algebraic Geometry and Number Theory被引用 5

一句话总结

该论文通过利用格林的canonical syzygy猜想和奇异K3曲面上的Koszul上同调，证明了大gonality的通用曲线的Green-Lazarsfeld gonality猜想。研究结果表明，对于genus $ g $ 且 gonality $ d $ 满足 $ g/3 < d < [g/2] + 2 $ 的通用曲线，所有足够ample的线丛 $ L $ 均有 $ K_{h^0(L)-d,1}(C,L) = 0 $ 成立，通过nodal曲线的退化和K3曲面上的syzygy消失性，确认了这些情况下的猜想。

ABSTRACT

We use Green's canonical syzygy conjecture for generic curves to prove that the Green-Lazarsfeld gonality conjecture holds for generic curves of genus g, and gonality d, if $g/3

研究动机与目标

• 验证Green-Lazarsfeld的gonality猜想在$ g/3 < d < [g/2] + 2 $范围内的大gonality通用曲线上的成立。
• 为genus $ g $ 且 gonality $ d $ 的通用$ d $-gonal曲线建立 $ K_{h^0(L)-d,1}(C,L) $ 的消失性，从而确认猜想的最优性。
• 通过K3曲面上的nodal曲线退化，建立Green的canonical syzygy猜想与gonality猜想之间的联系。
• 将gonality猜想的有效性扩展至通用情况之外，涵盖偶数genus和非最大gonality的曲线。

提出的方法

• 构造一个具有循环Picard群的$ K3 $曲面 $ S $，其生成线丛 $ \mathcal{L} $ 满足自交数为 $ 4k-2 $，其中 $ k = g - d + 1 $。
• 使用一个不可约的nodal曲线 $ X \in |\mathcal{L}| $，其具有 $ \nu = g - 2d + 2 $ 个节点，其正规化 $ C $ 的gonality为 $ d = k + 1 - \nu $。
• 在 $ C $ 上定义线丛 $ L = K_C(p+q) $，其中 $ p, q $ 位于 $ X $ 的一个节点上，以确保 $ h^0(L) - d = k $。
• 应用超平面截面定理，将 $ K_{k,1}(S,\mathcal{L}) = 0 $ 的消失性转移至 $ K_{k,1}(X,K_X) = 0 $。
• 通过余数定理和wedge积同伦，建立映射 $ K_{k,1}(C,L) \subset K_{k,1}(X,K_X) $ 的单射性，从而证明 $ K_{k,1}(C,L) = 0 $。
• 利用Zariski半连续性及定理4，将消失性推广至 $ C $ 上所有足够ample的线丛 $ L' $。

实验结果

研究问题

• RQ1 当 $ g/3 < d < [g/2] + 2 $ 时，Green-Lazarsfeld的gonality猜想是否对genus $ g $ 且 gonality $ d $ 的通用曲线成立？
• RQ2 能否通过K3曲面上的退化技术，为通用$ d $-gonal曲线建立 $ K_{h^0(L)-d,1}(C,L) = 0 $ 的消失性？
• RQ3 在nodal曲线和$ K3 $曲面的背景下，Green的canonical syzygy猜想与gonality猜想之间存在何种关系？
• RQ4 gonality猜想是否对偶数genus的通用曲线成立，特别是当 $ d = g/2 + 1 $ 时？
• RQ5 能否将 $ K_{h^0(L)-d,1}(C,L) $ 的消失性扩展至通用$ d $-gonal曲线上所有度数 $ \geq 3g $ 的线丛？

主要发现

• 当 $ g/3 + 1 \leq d < [(g+3)/2] $ 时，gonality猜想对genus $ g $ 且 gonality $ d $ 的通用曲线成立，覆盖了所有非通用且不过小的gonality情况。
• 对于genus $ g = 2k $ 的偶数genus通用曲线，当 $ d = k + 1 $（即最大gonality）时，gonality猜想成立。
• 通过从 $ K_{k,1}(C,L) $ 到 $ K_{k,1}(X,K_X) $ 的单射映射，建立了 $ K_{k,1}(C,L) = 0 $ 的消失性，其中 $ X $ 是$ K3 $曲面上的nodal曲线。
• 由于定理4和Betti数的半连续性，该结果可推广至曲线 $ C $ 上所有度数至少为 $ 3g $ 的线丛 $ L' $。
• 该证明揭示了通过K3曲面上nodal曲线退化，Green的canonical syzygy猜想与gonality猜想之间存在深刻联系。
• 对于所有满足 $ d \geq 6 $ 的 $ d $-gonal曲线，当 $ 3d-3 < g \leq (d-1)(d-2) $ 时，猜想几乎成立，但该区间内需使用其他方法。