[論文レビュー] K3 projective models in scrolls

Trygve Johnsen, Andreas Leopold Knutsen|ArXiv.org|Aug 28, 2001

Algebraic Geometry and Number Theory参考文献 160被引用数 34

ひとこと要約

本稿は、$ g \leq 10 $ であるが一般でないクリフォード指数をもつ複素数 K3 表面の射影的モデルを分類し、自由クリフォード除数を介して有理正規スクリューに自然に埋め込まれることを示す。クリフォード指数 $ c = 1 $ または $ 2 $ の場合、そのような表面は滑らかなスクリュー内での完全交差であることが確立され、特異点を持つスクリューについては吹き上げと特異点解消を用いた解消が行われ、ムカイの一般ケースを超えた低 genus K3 表面埋め込みの全体像が完成する。

ABSTRACT

We study the projective models of complex K3 surfaces polarized by a line bundle L such that all smooth curves in |L| have non-general Clifford index. Such models are in a natural way contained in rational normal scrolls. We use this study to classify and describe all projective models of K3 surfaces of genus at most 10.

研究の動機と目的

• 極付き K3 表面の genus $ g \leq 10 $ で一般でないクリフォード指数をもつすべての射影的モデルを分類すること。
• それらのモデルの幾何的構造を有理正規スクリューへの埋め込みによって記述すること。
• スクリューの特異点を吹き上げと最小自由解体を用いて解消し、埋め込まれた表面の最小自由解体を構成すること。
• ムカイの一般 K3 表面の分類を、低 genus における一般でないケースを分析することで拡張すること。

提案手法

• K3 表面上の自由クリフォード除数 $ D $ を用いて、$ \{D_\lambda\} $ という線形系を構成し、その線形包が有理正規スクリュー $ \mathcal{T} $ を生成することを示す。
• スクリュー $ \mathcal{T} $ と表面 $ \phi_L(S) $ の特異点集合を分析し、$ D^2 $ に依存して特異点が制御されることを示す。
• 特異点を持つスクリューに対して、$ \{D_\lambda\} $ の基本点での吹き上げ $ f: \tilde{S} \to S $ を行い、新たな線分束 $ H = f^*L + f^*D - E $ を構成する。
• $ \phi_H(\tilde{S}) $ が滑らかな有理正規スクリュー $ \mathcal{T}_0 $ に埋め込まれることを示し、$ \mathcal{T}_0 $ は $ \mathcal{T} $ の特異点解消である。
• $ \mathcal{T}_0 $ 内で $ \phi_H(\tilde{S}) $ の最小自由解体を提供し、これが $ \mathcal{T} $ 内の $ \phi_L(S) $ の解体に引き上げられるかどうかを検討する。
• [Kn2] の存在定理を用いて、所望のクリフォード指数 $ c $ をもつ例を構成し、曲線 $ \Gamma_i $ の配置によりスクリュー型を分類する。

実験結果

リサーチクエスチョン

• RQ1 クリフォード指数が一般でない $ K3 $ 表面の射影的モデルで、$ g \leq 10 $ かつ有理正規スクリューに埋め込めるものはどれか？
• RQ2 周囲のスクリュー $ \mathcal{T} $ の特異点は、$ K3 $ 表面およびその自由クリフォード除数 $ D $ の幾何にどのように関係するか？
• RQ3 自然な周囲スクリューが特異点を持つ場合、$ K3 $ 表面の射影的モデルを滑らかな有理正規スクリュー内で解体できるか？
• RQ4 $ c = 1, 2, 3 $ の各スクリュー型を実現する曲線および除数類の可能な配置は何か？
• RQ5 このような $ K3 $ 表面のモジュライ空間は、スクリュー構造およびクリフォード指数とどのように関係するか？

主な発見

• $ c = 1 $ および $ c = 2 $ で $ D^2 = 0 $ の場合、$ K3 $ 表面はその滑らかな有理正規スクリュー内での完全交差である。
• $ D^2 > 0 $ の場合、表面は特異スクリュー $ \mathcal{T} $ 内では完全交差ではないが、その吹き上げにより滑らかなスクリュー $ \mathcal{T}_0 $ 内の表面に解体される。
• (CG2)’ の場合、モジュライ数は 17 で、最も軽い特異点は $ A_1 $ であり、(CG4)’ の場合はモジュライ数が 15 で $ A_1 + A_3 $ 特異点を持つ。
• 本稿は $ g \leq 10 $ のすべての射影的モデルを完全にリストアップし、12 種類の異なるスクリュー型を含み、$ L \sim 3D + 2\Gamma_1 + 2\Gamma_2 + \Gamma_3 + \Gamma_4 $ のような明示的な除数配置を提示する。
• $ 0 \leq D^2 \leq c+2 $ をみたす自由クリフォード除数 $ D $ の存在は、表面が有理正規スクリュー内にあることを保証する。このような除数は、すべての $ (g,c) $ に対して $ 0 \leq c \leq \lfloor (g-1)/2 \rfloor $ をみたす場合に存在する。
• $ \phi_L(S) $ の $ \mathcal{T} $ 内での解体は、スクリュー $ \mathcal{T} $ が滑らかであるか、または吹き上げ構成により特異点が解消されている場合に限り可能である。