[論文レビュー] K3 surfaces with involution, equivariant analytic torsion, and automorphic forms on the moduli space II: a structure theorem for r(M)>10

Kenichi Yoshikawa|arXiv (Cornell University)|Jul 16, 2010

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

ひとこと要約

本稿は、2-素性K3表面に対して、不変部分格子のランクが10を超える場合の、自己同型不変量に関連する構造定理を確立する。等変解析 torsion と Borcherds のリフト理論を用いて、不変量を支配する自己同型形式が、明示的な Borcherds リフトと Igusa のスiegelモジュラー形式のテンソル積であることを証明し、既知のモジュラー対象を用いた不変量の完全な分解を提供する。

ABSTRACT

We study the structure of the invariant of K3 surfaces with involution, which we obtained using equivariant analytic torsion. It was known before that the invariant is expressed as the Petersson norm of an automorphic form on the moduli space. When the rank of the invariant sublattice of the K3-lattice with respect to the involution is strictly bigger than 10, we prove that this automorphic form is expressed as the tensor product of an explicit Borcherds lift and Igusa's Siegel modular form.

研究の動機と目的

• r(M) > 10 のとき、2-素性K3表面に対して関連する自動形式不変量 τ_M の正確な構造を特定すること。
• τ_M を支配する自動形式 Φ_M を既知のモジュラー対象で表現すること。
• 非特異的格子 M に対して、Φ_M がボルチェルズリフトとイグザのスiegelモジュラー形式のテンソル積に分解されることを確立すること。
• τ_M をモジュラー形式と幾何的不変量で明示的な式で与えること。

提案手法

• 不変量 τ_M は、正則的自己同型を持つ実K3表面上の等変解析 torsion から導かれる。
• 自動形式 Φ_M は、値が O^+(M^⊥)-不変ラインバンドルをとる周期領域 Ω_{M^⊥}^+ 上に構成される。
• Φ_M の構造は、タイプIV領域上の無限積展開をもつ自動形式に関するボルチェルズ理論を用いて分析される。
• 自動形式は、ボルチェルズリフト Ψ_{M^⊥}(⋅,F_{M^⊥}) とイグザのスiegelモジュラー形式 χ_g のテンソル積に分解される。
• 証明は、2-素性格子の分類と、r(Λ) ≤ 4 のときのモジュライ空間における境界集合の既約性に依拠する。
• 分解は、除数構造の比較とK3表面のグローバルトーレリ定理を用いて検証される。

実験結果

リサーチクエスチョン

• RQ1 r(M) > 10 のとき、不変量 τ_M を支配する自動形式 Φ_M はどのように明示的に分解できるか？
• RQ2 非特異的 M に対して、自動形式 Φ_M は既知のモジュラー形式のテンソル積として表現可能か？
• RQ3 イグザのスiegelモジュラー形式 χ_g は、Φ_M の構造において果たす役割は何か？
• RQ4 r(M) > 10 のとき、ボルチェルズリフト Ψ_{M^⊥}(⋅,F_{M^⊥}) はモジュライ空間の幾何とどのように相互作用するか？
• RQ5 r(Λ) ≤ 4 のとき、モジュライ空間における境界集合の既約性は、Φ_M の構造にどのような意味を持つのか？

主な発見

• r(M) > 10 のとき、自動形式 Φ_M がボルチェルズリフトとイグザのスiegelモジュラー形式 χ_g のテンソル積であることが示された。
• 不変量 τ_M は τ_M = ||Φ_M||^{-1/(2ν)} で明示的に与えられ、ν ∈ ℤ>0 であり、div Φ_M = ν𝒟_{M^⊥} である。
• この分解は、r(M) > 10 で非特異的2-素性格子 M に対して成り立ち、以前の特異的ケースの結果を拡張する。
• r(Λ) ≤ 4 のとき、コンパクト化されたモジュライ空間における境界集合 B_Λ の既約性が確立され、自動形式構造の一意性を支持する。
• 証明は、最大の原始的同相部分格子とその O(Λ)-軌道の分類に依拠し、r(Λ) ≤ 4 のとき #[I_max(Λ)/O(Λ)] ≤ 1 であることが示された。
• この結果により、r(M) > 10 のとき、自動形式構造が格子 M によって一意に決定され、自然であることが確認された。