On hyperplane sections of K3 surfaces
Arbarello, Bruno, Sernesi · math.AG · 2016-11-13 · 原文
Let C be a Brill-Noether-Petri curve of genus g\geq 12. We prove that C lies on a polarized K3 surface, or on a limit thereof, if and only if the Gauss-Wahl map for C is not surjective. The proof is obtained by studying the validity of two conjectures by J. Wahl. Let I_C be the ideal sheaf of a non-hyperelliptic, genus g, canonical curve. The first conjecture states that, if g\geq 8, and if the Clifford index of C is greater than 2, then H^1(P^{g-1}, I_C^2(k))=0, for k\geq 3. We prove this conjecture for g\geq 11. The second conjecture states that a Brill-Noether-Petri curve of genus g\geq 12 is extendable if and only if C lies on a K3 surface. As observed in the Introduction, the correct version of this conjecture should admit limits of polarised K3 surfaces in its statement. This is what we prove in the present work.
讲义
讲义·推断 依据「原文」自动生成的结构化摘要（推断），非原文表述；以原文为准。
1. 人话版
Let C be a Brill-Noether-Petri curve of genus g\geq 12.
We prove that C lies on a polarized K3 surface, or on a limit thereof, if and only if the Gauss-Wahl map for C is not surjective.
2. 领域脉络
本文类目：math.AG，属于其所在研究脉络的最新进展。
3. 机制拆解
The proof is obtained by studying the validity of two conjectures by J.
Let I_C be the ideal sheaf of a non-hyperelliptic, genus g, canonical curve.
4. 证据与数字
The first conjecture states that, if g\geq 8, and if the Clifford index of C is greater than 2, then H^1(P^{g-1}, I_C^2(k))=0, for k\geq 3.
We prove this conjecture for g\geq 11.
The second conjecture states that a Brill-Noether-Petri curve of genus g\geq 12 is extendable if and only if C lies on a K3 surface.
5. 反例与边界
As observed in the Introduction, the correct version of this conjecture should admit limits of polarised K3 surfaces in its statement.
6. 跨领域连接与意外收获
思考本文机制能否迁移到你正在跟进的问题。
7. 可复用方法
把本文机制与你手头项目对照，找一个两周内能验证的最小实验。
8. 术语表
精读时把不熟的术语记入此处，作为下次回忆的锚点。