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

Kenji Hashimoto, Kazushi Ueda|arXiv (Cornell University)|Jun 2, 2014

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

ひとこと要約

本稿は、符号 (2,10) の偶数ユニモジュラー格子に対する特徴付きモジュラー形式の環の構造を決定し、それが重み 4, 10, 12, 16, 18, 22, 24, 28, 30, 36, 42, および 252 の形式によって生成され、重み 504 の関係が一つあることを証明する。証明は、対称領域の軌道商と重み付き射影空間上のルートスタック構成との間のビメルモーフィック写像を用い、余次元 1 で同型を確立し、 canonical バンドルと Picard 群の解析によって環構造の計算を可能にする。

ABSTRACT

We show that the ring of modular forms with characters for the even unimodular lattice of signature (2,18) is obtained from the invariant ring of $\mathrm{Sym}(\mathrm{Sym}^8(V) \oplus \mathrm{Sym}^{12}(V))$ with respect to the action of $\mathrm{SL}(V)$ by adding a Borcherds product of weight 132 with one relation of weight 264, where $V$ is a 2-dimensional $\mathbb{C}$-vector space. The proof is based on the study of the moduli space of elliptic K3 surfaces with a section.

研究の動機と目的

• 符号 (2,10) の偶数ユニモジュラー格子に対する特徴付きモジュラー形式の次数付き環の完全な構造を決定すること。
• 対称領域の軌道商と重み付き射影空間上のルートスタックとの間のビメルモーフィック同値性を確立すること。
• K3 表面のモジュライ空間における幾何学的・コホノロジー的技法を用いて、モジュラー形式環の生成子と定義関係を同定すること。

提案手法

• 対称領域 D と離散群 Γ による商 D/Γ として、T2,3,7-極化 K3 表面の粗モジュライ空間 M を構成する。
• 粗モジュライ空間間の周期写像を、M と T∗ の間の有理型写像に上昇させ、ここで T∗ は重み付き射影空間 P(w) 上のルートスタックである。
• 重み 504 の超曲面 HP に沿った 2 項のルートスタック構成を用いて、軌道 T∗ をモデル化し、Γ の特徴構造を捉える。
• canonical バンドルの分岐公式を適用して、判別式超曲面 ∆T の次数を計算し、deg ∆T = 504 を得る。
• Pic T∗ を Z⊕Z/2Z と特定し、OP(1) の引き戻しと、tangent bundle OT∗(HT∗) が生成子となる。ここで OT∗(HT∗)⊗2 ∼= p∗OP(HP) を満たす。
• Pic M ≅ Pic T∗ と関係 s² = ∆T を用いて、モジュラー形式環が指定された重みの形式によって生成され、重み 504 の関係が一つあることを結論づける。

実験結果

リサーチクエスチョン

• RQ1 符号 (2,10) の偶数ユニモジュラー格子に対する特徴付きモジュラー形式の環の完全な構造は何か？
• RQ2 対称領域の軌道商は、重み付き射影空間上のルートスタック構成とどのように関係するか？
• RQ3 モジュラー形式環の関係を定義する判別式超曲面 ∆T の次数は何か？
• RQ4 モジュライ空間の canonical バンドルは、ルートスタック上の標準的ラインバンドルとどのように関係するか？
• RQ5 Z/2Z の特徴群は、モジュラー形式環の構造において果たす役割は何か？

主な発見

• 符号 (2,10) の偶数ユニモジュラー格子に対する特徴付きモジュラー形式の環は、重み 4, 10, 12, 16, 18, 22, 24, 28, 30, 36, 42, および 252 の形式によって生成される。
• 環には重み 504 の関係が一つあり、これは重み付き射影空間 P(w) 内の超曲面 HP の定義方程式に由来する。
• 判別式超曲面 ∆T の次数は正確に 504 であり、ルートスタック T∗ 上での canonical バンドルの分岐公式により計算された。
• モジュライ空間 M の Picard 群は Z⊕Z/2Z と同型であり、自由部分は OP(1) の引き戻しで生成され、 torsion 部分は tautological バンドル OT∗(HT∗) で生成される。
• M が滑らかで T∗ が特異点を持つにもかかわらず、M と T∗ 間のビメルモーフィック写像は余次元 1 で同型である。
• 環の関係は、∆T(t) = k(t)/r(t)³ に相当する。ここで k(t) は判別式、r(t) は多項式 g2 と g3 の結果式である。