[論文レビュー] Automorphism groups in a family of K3 surfaces

Keiji Oguiso|ArXiv.org|Apr 4, 2001

Algebraic Geometry and Number Theory参考文献 9被引用数 4

ひとこと要約

本稿は、複素数体上の1パラメータ族におけるK3表面の自己同型群の挙動を調査する。ラティス理論的手法とグローバルTorelli定理を用いて、任意の非自明な射影的族において、自己同型群がファイバーの稠密部分集合で無限大であることを証明する。これは、自己同型群が変形によって縮小すると予想されるのとは対照的である。主な結果は、一般ファイバーの自己同型群が有限であっても、自己同型群が無限大になることがあることである。

ABSTRACT

A few facts concerning the phrase "the automorphism groups become larger at special points of the moduli of K3 surfaces" are presented. It is also shown that the automorphism groups are of infinite order over a dense subset in any one-dimensional non-trivial family of projective K3 surfaces.

研究の動機と目的

• K3表面の自己同型群が族内での変形においてどのように挙動するかを明確化すること。
• 『モジュライ空間の特別点において自己同型群が拡大する』というヒューリスティックの妥当性を調査すること。
• 一般ファイバーの自己同型群が有限であっても、自己同型群が稠密部分集合のファイバーで無限大になることが示されること。
• ピカール数の増加、有理曲線、楕円曲線束、自己同型群の大きさがすべて族内で独立に振る舞うことを示す具体的な例を構成すること。
• K3族における無限大自己同型群の現象が、高次元のCalabi-Yau多様体へは拡張されないことを示すこと。

提案手法

• K3表面のグローバルTorelli定理を用い、自己同型群をピカール格子の直交群（2反射を除く）と関連付ける。
• K3格子構造 $\Lambda \cong U^3 \oplus E_8(-1)^2$ を用い、マークデータ $\tau: R^2\varphi_*\mathbb{Z}_\mathcal{X} \to \Lambda \times \Delta$ を通じて族を構成する。
• 点 $t \in \Delta$ における $\rho(\mathcal{X}_t)$ のジャンプの稠密性に基づき、一般ファイバーと特別ファイバーを定義する。
• 正則2形式 $\omega$ に直交する線形部分空間 $\mathcal{K}^i \subset \mathcal{P}$ への制限により、5つの具体的な族 $\mathcal{X}^i \to \Delta$ を構成する。
• ピカール格子 $\text{NS}(\mathcal{X}_t^i)$ 及びその交差形式を解析し、正錐とアーモニック錐が一致するかどうかを調べ、これにより自己同型群が無限大であることを示す。
• ピカール格子の符号型が $(1,\rho-1)$ で、滑らかな有理曲線も楕円曲線束も存在しない場合、直交群が有限核を除いて無限大であるため、$\text{Aut}(\mathcal{X}_t)$ も無限大であることを用いる。

実験結果

リサーチクエスチョン

• RQ1 非自明な1次元族において、K3表面の自己同型群がファイバーの稠密部分集合で無限大になることは可能か？
• RQ2 『自己同型群は特別点で拡大する』というヒューリスティックは、どの程度数学的に正当化されるか？
• RQ3 一般ファイバーの自己同型群が有限であっても、自己同型群が無限大になる族は存在するか？
• RQ4 滑らかな有理曲線、楕円曲線束、またはピカール数の増加は、自己同型群の大きさと相関するか？
• RQ5 K3族における無限大自己同型群の現象は、高次元のCalabi-Yau多様体へも拡張可能か？

主な発見

• 単位ディスク上の任意の非自明な射影的族において、K3表面の自己同型群はファイバーの稠密部分集合で無限大である。
• 一般ファイバーの自己同型群が有限である族（例：$|\text{Aut}(\mathcal{X}_t)| < \infty$）が存在し、その中で自己同型群が稠密部分集合のファイバーで無限大である。
• 構成された族 $\mathcal{U}^2 \to \mathcal{K}^2$ の一般ファイバーにおいて、ピカール格子の交差形式は $4x^2 - 4y^2 - 4z^2$ であり、$-2$ を表さないため、滑らかな有理曲線は存在せず、アーモニック錐と正錐が一致する。これにより $|\text{Aut}(\mathcal{U}_t^2)| = \infty$ であることが示される。
• 族 $\mathcal{U}^3 \to \mathcal{K}^3$ において、ピカール格子は $U \oplus \langle -8 \rangle$ であり、楕円曲線束のMordell-Weil格子から無限大位数の自己同型が生じる。したがって $|\text{Aut}(\mathcal{U}_t^3)| = \infty$ である。
• 族 $\mathcal{U}^4 \to \mathcal{K}^4$ において、交差形式 $12x^2 - 4y^2 - 4z^2$ は $0$ も $-2$ も表さないため、滑らかな有理曲線も楕円曲線束も存在せず、再び $|\text{Aut}(\mathcal{U}_t^4)| = \infty$ である。
• 非射影的族 $\mathcal{U}^5 \to \mathcal{K}^5$ において、ピカール格子は $U \oplus A_1(-1)$ であり、中心ファイバーにはアーモニッククラスが存在しないが、直交群の構造により $|\text{Aut}(\mathcal{U}_t^5)| = \infty$ である。