[論文レビュー] 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) の表面を構成し、その生成子を明示的に特定する。さらに、n ≥ 4 の場合にそのような表面が二次曲面の交線として実現可能である条件を特定し、k ≥ 1 の任意の整数 k に対して線分束 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 群の生成子を明示的に指定すること。
• 特に n ≥ 4 の場合に、そのような K3 表面が二次曲面の完全交線として実現可能である条件を特徴づけること。
• 任意の整数 k ≥ 1 に対して線分束 O_C(k) が非特異であるための必要十分条件を確立すること。

提案手法

• K3 表面における線形系統と除因子論に焦点を当てた代数幾何学的技法を用いる。
• 付随公式を適用し、曲線 C の種数 g とその次数 d および表面の正則類の関係を関係づける。
• 格子論的技法を用いて Picard 群を分析し、最小ランク構成を同定する。
• 超平面切断とその次数 2n の極性を用いて K3 表面の ℙ^{n+1} への埋め込みを分析する。
• リーマン・ロッホとコhomオロジーの消失を用いた、曲線上の線分束の非特異性の基準を適用する。
• 既知の完全交線に関する結果を活用し、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 表面の Picard 群はランク 1 または 2 であり、それぞれのケースに対して明示的な生成子が提供されている。
• n ≥ 4 の場合、K3 表面は二次曲面の交線として選べる。n < 4 の場合、そのような実現は不可能であり、より高次の形式が必要となる。
• 線分束 O_C(k) が非特異であるための必要十分条件は、リーマン・ロッホ定理から導かれるあるコhomオロジー的条件が満たされることであり、その条件は明示的に同定されている。