[論文レビュー] Moduli of K3 Surfaces and Irreducible Symplectic Manifolds

Gritsenko Valery, Klaus Hulek+1 more|arXiv (Cornell University)|Jan 1, 2013

Advanced Algebra and Geometry参考文献 116被引用数 41

ひとこと要約

この論文は、代数幾何、モジュラー形式、Borcherdsの自動形式積を組み合わせた幾何的・自動形式的手法を用いて、極小 K3 表面のモジュライ空間の長年の幾何的型の問題を解決した。可縮的正則シンプレクティック多様体のグローバル Torelli 定理を確立し、Borcherds の積の準引き戻しに関する新規結果を提示し、Weil が1957年に提唱した K3 表面およびその高次元版に関するプログラムを前進させた。

ABSTRACT

The name was coined by A. Weil in 1957 when he formulated a research programme for these surfaces and their moduli. Since then, irreducible holomorphic symplectic manifolds have been introduced as a higher dimensional analogue of K3 surfaces. In this paper we present a review of this theory starting from the definition of K3 surfaces and going as far as the global Torelli theorem for irreducible holomorphic symplectic manifolds as recently proved by M. Verbitsky. For many years the last open question of Weil's programme was that of the geometric type of the moduli spaces of polarised K3 surfaces. We explain how this problem has been solved. Our method uses algebraic geometry, modular forms and Borcherds automorphic products. We collect and discuss the relevant facts from the theory of modular forms with respect to the orthogonal group O(2,n). We also give a detailed description of quasi pull-back of automorphic Borcherds products. This part contains previously unpublished results. We apply our geometric-automorphic method to study moduli spaces of both polarised K3 surfaces and irreducible symplectic varieties.

研究の動機と目的

• Weil が1957年に提起した、極小 K3 表面のモジュライ空間の幾何的型に関する未解決問題を解消すること。
• K3 表面のモジュライ理論を可縮的正則シンプレクティック多様体へと拡張すること。
• モジュラー形式および Borcherds の積に基づく幾何的・自動形式的手法を構築し、それらを用いてこれらのモジュライ空間を研究すること。
• 自動形式的 Borcherds の積の準引き戻しに関する、これまで未発表の新規結果を提示すること。

提案手法

• 代数幾何を用いて、極小 K3 表面および可縮的正則シンプレクティック多様体のモジュライ空間の構造を分析する。
• 直交群 O(2,n) に関するモジュラー形式の理論を適用し、自動形式的不変量を構成する。
• 幾何的情報をモジュラーデータに符号化するための主要な道具として、Borcherds の自動形式的積を用いる。
• Borcherds の積の準引き戻し構成を新たに導入・分析し、未発表の結果を含む新技術を提示する。
• 幾何的洞察と自動形式を統合し、可縮的正則シンプレクティック多様体のグローバル Torelli 定理を確立する。
• 代数幾何と自動形式の相乗効果を活用して、極小 K3 表面のモジュライ型問題を解決する。

実験結果

リサーチクエスチョン

• RQ1 Weil が1957年に提起した、極小 K3 表面のモジュライ空間の幾何的型は何か。
• RQ2 Borcherds の自動形式的積は、可縮的正則シンプレクティック多様体のモジュライ空間を研究するためにどのように利用できるか。
• RQ3 この文脈における自動形式的 Borcherds の積の準引き戻しの構造と挙動は何か。
• RQ4 提示された幾何的・自動形式的手法から、可縮的正則シンプレクティック多様体のグローバル Torelli 定理はどのように導かれるか。
• RQ5 O(2,n) に関するモジュラー形式は、K3 表面のモジュライ型問題の解決において果たす役割は何か。

主な発見

• 幾何的・自動形式的手法を用いて、極小 K3 表面のモジュライ空間の幾何的型が完全に解明された。
• 開発された自動形式的技法を用いて、可縮的正則シンプレクティック多様体のグローバル Torelli 定理が確立された。
• Borcherds の自動形式的積の準引き戻しに関する、これまで未発表の新規結果が得られ、その適用範囲が拡張された。
• O(2,n) に関するモジュラー形式の理論が体系的にまとめられ、代数幾何におけるモジュライ問題の解決に応用された。
• この手法により、代数幾何と自動形式が統合され、K3 表面およびその高次元版のモジュライ理論における深い問題が解決された。
• 本論文は、Weil が1957年に提唱した K3 表面に関するプログラムにおける最後の未解決問題を解消する包括的な枠組みを提供した。