[論文レビュー] Modular forms for the even unimodular lattice of signature (2,10)

Eberhard Freitag, Riccardo Salvati Manni|ArXiv.org|Nov 17, 2005

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

ひとこと要約

本稿は、符号 (2,10) の偶性単模形式格子に関連する直交モジュラー多様体上のモジュラー形式を、加法的および乗法的ボルチェルズ・リフトを用いて体系的に構成するフレームワークを開発する。Kondo のエンリケス表面のモジュライ空間における四次関係が、ある次数付き代数における基本的な二次関係に由来することを確立し、直交モジュラー形式の理論における重要な構造的問題を解決する。

ABSTRACT

Some years ago, Borcherds described in [Bo1] two methods for constructing modular forms on modular varieties related to the orthogonal group $Ø(2,n)$. They are the so called Borcherds' additive and multiplicative lifting. The multiplicative lifting has been used by Borcherds himself and other authors to construct modular forms with known vanishing locus and interesting properties. The additive lifting has been used to construct explicit maps from some modular varieties $Ø(2,n)$. In this paper we try a more systematic treatment in certain level 2 cases giving connections with Kondo's works

研究の動機と目的

• 符号 (2,10) の偶性単模形式格子にレベル 2 構造を施したモジュラー形式を体系的に研究すること。
• エンリケス表面のモジュライ空間におけるモジュラー関係の代数的起源を明確化すること。
• Kondo の四次関係が有限幾何的設定におけるより深い二次関係の結果であることを示すこと。
• ボルチェルズの加法的および乗法的リフトのフレームワークを (2,10) の場合に拡張し、対称性を強化すること。
• 格子 √2(U⊕U⊕−E₈) のモジュラー多様体と、P¹ 上の 8 点配置のような既知の構成との関係を確立すること。

提案手法

• 符号 (2,10) 森林に対応する m=6 の場合、偶性型 q を持つ有限幾何 (F₂²ᵐ, q) から次数付き代数 Rₘ/Iₘ を構成する。
• ボルチェルズの加法的リフトを用いて、O(F₂¹²) の 714 次元既約表現から重さ 4 のモジュラー形式を生成する。
• 判別子核 Γ_L = ker(O⁺(L) → O(L′/L)) を用いてモジュラー多様体 H/Γ_L を定義する。
• 格子 L = √2(U⊕U⊕−E₈) が 2L′ ⊂ L を満たし、L′/L ≅ F₂¹² かつ偶性二次形式を持つことを利用する。
• O(F₂¹²) の作用を用いることで構造を単純化し、Kondo の元々の O(F₂¹⁰) に基づく手法に見られる困難を回避する。
• Kondo の四次関係が、Rₘ における理想 Iₘ を通じて二次関係の結果であることを示す。

実験結果

リサーチクエスチョン

• RQ1 エンリケス表面のモジュライ空間におけるモジュラー関係は、より基本的な代数的構造から導出可能か？
• RQ2 有限幾何 (F₂¹², q) は、O(2,10) 格子に対するモジュラー形式の構成においてどのような役割を果たすか？
• RQ3 Kondo の四次関係は、環 Rₘ/Iₘ における基本的な二次関係とどのように関係するか？
• RQ4 O(F₂¹²) の作用下で、O(2,10)[2] の 715 次元加法的リフト空間は、1 つの形式によって生成されるか？
• RQ5 格子 √2(U⊕U⊕−E₈) のモジュラー多様体は、P¹ 上の 8 点配置のような既知の幾何的構成と関係づけられるか？

主な発見

• O⁺(II₂,₁₀)[2] における重さ 4 の 715 次元加法的リフト空間は、形式 F(2Z) を用いて O(F₂¹²)-加群として生成される。ここで F(Z) は完全不変形式である。
• エンリケス表面のモジュライ空間における Kondo の四次関係は、代数 R₅/I₅ における二次関係の結果である。
• √2(U⊕U⊕−E₈) に付随するモジュラー多様体は、Kondo の O(F₂¹⁰) よりも大きな対称性群 O(F₂¹²) を持つため、構造が単純化される。
• m=3 の N 格子に対して、C[N′/N]^{SL(2,Z)} の 14 次元既約表現は、Kondo の空間および本稿の 714 次元空間の両方に写像される。
• Koike によって確立された正則同型写像を通じて、射影多様体 proj(R₃/I₃) は 8 点の配置空間 X(2,8) に同型である。
• 理想 Iₘ ⊂ Rₘ は二次関係によって生成され、これにより Kondo の四次関係を含むすべての高次関係が導かれる。