[論文レビュー] Complex Multiplication for K3 Surfaces

Jordan Rizov|ArXiv.org|Jul 31, 2005

Algebraic Geometry and Number Theory参考文献 18被引用数 11

ひとこと要約

本稿では、レベル構造を備えたプリミティブに極小化されたK3多様体の周期準同型写像がℚ上に定義されることを証明することで、K3多様体に対する複素乗法の理論を確立した。これにより、SO(2,19)のシャイムラ多様体の標準モデルがℚ上のモジュライ空間として実現された。主な結果は、すべての複素乗法を持つK3多様体が、そのホッジ自己準同型体のアーベル拡大上で定義可能であるということであり、周期準同型写像と特別点を用いて、アーベル多様体における古典的CM理論をK3多様体へと拡張した。

ABSTRACT

In this note we prove analogues of the main theorems of complex multiplication for abelian varieties for K3 surfaces. This is done by studying the field of definition of the period morphism for complex K3 surfaces. More precisely we relate the moduli spaces of primitively polarized K3 surfaces with level structures over $\Q$, constructed using algebraic stacks, to the canonical model of the Shimura variety associated to $\SO(2,19)$.

研究の動機と目的

• アーベル多様体における古典的複素乗法理論をK3多様体へと拡張すること。
• SO(2,19)に関連するシャイムラ多様体の標準モデルをℚ上のモジュライ空間としてのモジュラー解釈を確立すること。
• レベル構造を備えたプリミティブに極小化されたK3多様体の周期準同型写像がℚ上に定義されることを示し、モジュライ構成の有理的性を保証すること。
• すべての複素乗法を持つK3多様体が、そのホッジ自己準同型体のアーベル拡大上で定義可能であることを証明すること。
• 特別点とコhomology上のガロア作用を用いて、K3多様体上のCM理論に幾何的・算術的基盤を提供すること。

提案手法

• 代数的スタックを用いて、ℤ[1/N]上にレベル構造を備えたプリミティブに極小化されたK3多様体のモジュライ空間を構成する。
• 第二エタールコホモロジーにレベル構造を導入し、これらのモジュライ空間からSO(2,19)のシャイムラ多様体の複素点への周期準同型写像を定義する。
• 特異K3多様体（ピカール数20）に対応する特別点におけるAut(ℂ)の作用を分析することで、周期準同型写像の定義体がℚであることを証明する。
• 塩田＝井上構成を用いて、特異K3多様体におけるCM定理をアーベル多様体における対応する結果に還元する。
• 固定された反射体を持つ特異K3多様体がモジュライ空間に稠密であることを利用して、周期準同型写像のグローバル有理的性を導く。
• シャイムラ多様体の標準モデルおよび特別点の理論の結果を応用し、周期準同型写像がℚ上へ下降することを結論づける。

実験結果

リサーチクエスチョン

• RQ1 周期準同型写像とシャイムラ多様体の標準モデルを用いて、アーベル多様体における複素乗法理論をK3多様体へ拡張できるか？
• RQ2 レベル構造を備えたプリミティブに極小化されたK3多様体の周期準同型写像はℚ上に定義されるか？
• RQ3 複素乗法を持つK3多様体は、そのホッジ自己準同型体のアーベル拡大上で定義可能か？
• RQ4 複素乗法を持つK3多様体の超越的ラティスとその共役多様体におけるガロア作用はどのように振る舞うか？
• RQ5 シャイムラ多様体における周期準同型写像の像は、コアの補集合が除数であるようなザリスキ・DNAな開部分集合を含むか？

主な発見

• レベル構造を備えたプリミティブに極小化されたK3多様体の周期準同型写像 $ j_{d,\text{K},\text{C}} $ は $ \mathbb{Q} $ 上に定義されており、したがって $ \mathbb{Q} $ 上の準同型写像に下降する。
• シャイムラ多様体 $ Sh_{\mathbb{K}}(\operatorname{SO}(2,19),\Omega^{\pm}) $ の標準モデルが $ \mathbb{Q} $ 上のK3多様体のモジュライ空間として実現され、モジュラー解釈が与えられる。
• 周期準同型写像の像はシャイムラ多様体においてザリスキ・ドメインであり、その補集合は、準極小化されたK3多様体に対応する除数である。
• すべての複素乗法を持つK3多様体は、そのホッジ自己準同型体のアーベル拡大上で定義可能であり、アーベル多様体における古典的CM結果を一般化する。
• CM K3多様体の超越的ラティスにおけるガロア作用は反射体によって制御され、共役多様体のラティスはガロア共役されたものと同型である。
• 周期準同型写像の有理的性とモジュライ空間における特別点の稠密性を通じて、K3多様体における複素乗法理論が完成する。