[论文解读] On Degrees and Genera of Smooth Curves on Projective K3 Surfaces

Andreas Leopold Knutsen|arXiv (Cornell University)|May 29, 1998

Algebraic Geometry and Number Theory被引用 4

一句话总结

该论文为在 ℙ^{n+1} 中的度为 2n 的 K3 表面中存在给定次数 d 和亏格 g 的光滑曲线，建立了必要且充分的条件，构造了具有最小 Picard 秩（1 或 2）的曲面，并明确指定了 Picard 群的生成元。此外，还确定了当 n ≥ 4 时此类曲面是否为二次曲面的交集，以及当 k ≥ 1 时线丛 O_C(k) 何时为非特殊。

ABSTRACT

In this paper we give for all $n \geq 2$, d>0, $g \geq 0$ necessary and sufficient conditions for the existence of a pair (X,C), where X is a K3 surface of degree 2n in $\matbf{P}^{n+1}$ and C is a smooth (reduced and irreducible) curve of degree d and genus g on X. The surfaces constructed have Picard group of minimal rank possible (being either 1 or 2), and in each case we specify a set of generators. For $n \geq 4$ we also determine when X can be chosen to be an intersection of quadrics (in all other cases X has to be an intersection of both quadrics and cubics). Finally, we give necessary and sufficient conditions for $O_C (k)$ to be non-special, for any integer $k \geq 1$.

研究动机与目标

• 确定在 ℙ^{n+1} 中度为 2n 的 K3 表面中存在次数 d 和亏格 g 的光滑曲线的必要且充分条件。
• 构造 Picard 群秩最小可能（1 或 2）的 K3 表面，并显式指定 Picard 群的生成元。
• 刻画此类 K3 表面在何种情况下可作为二次曲面的完全交集实现，特别是当 n ≥ 4 时。
• 建立线丛 O_C(k) 对任意整数 k ≥ 1 为非特殊的必要且充分条件。

提出的方法

• 使用代数几何技术研究 K3 表面，重点在于线性系统与除子理论。
• 应用关联公式，将曲线 C 的亏格 g 与它的次数 d 及曲面的 canonical 类联系起来。
• 采用格理论方法分析 Picard 群并确定最小秩配置。
• 通过超平面截面及其度为 2n 的极化，分析 K3 表面在 ℙ^{n+1} 中的嵌入。
• 利用 Riemann-Roch 和上同调消去条件，应用线丛非特殊性的判别准则。
• 利用已知的完全交集结果，确定 K3 表面何时为二次曲面的交集。

实验结果

研究问题

• RQ1 对于满足 n ≥ 2、d > 0、g ≥ 0 的三元组 (n, d, g)，是否存在一个在 ℙ^{n+1} 中度为 2n 的 K3 表面 X，其包含一条次数 d、亏格 g 的光滑曲线 C？
• RQ2 此类 K3 表面 X 的 Picard 秩最小可能为何？在这些情况下，其 Picard 群如何生成？
• RQ3 当 n ≥ 4 时，K3 表面 X 是否可作为 ℙ^{n+1} 中二次曲面的交集实现？
• RQ4 对于给定的 k ≥ 1，曲线 C 上的线丛 O_C(k) 何时为非特殊？

主要发现

• 对所有 n ≥ 2、d > 0、g ≥ 0，完全刻画了在 ℙ^{n+1} 中度为 2n 的 K3 表面 X 上存在次数 d 和亏格 g 的光滑曲线 C 的必要且充分条件。
• 所构造的 K3 表面具有秩为 1 或 2 的 Picard 群，且每种情况下均提供了显式的生成元。
• 当 n ≥ 4 时，可将 K3 表面选为二次曲面的交集；当 n < 4 时，此类实现不可能，需使用更高次的曲面。
• 线丛 O_C(k) 为非特殊当且仅当满足由 Riemann-Roch 定理导出的某些上同调条件，且这些条件已明确确定。