[論文レビュー] 24 faces of the Borcherds modular form Phi_{12}

Valery Gritsenko|arXiv (Cornell University)|Mar 29, 2012

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

ひとこと要約

この論文は、Borcherdsのモジュラー形式 $Φ_{12}$ の23個のニエメイヤー尖点における最初の非ゼロフーリエ・ジャコビ係数が、それぞれに対応するアフィンリー代数のウェイル・カスの分母関数に一致することを証明する。Borcherdsのリフトとジャコビ形式のモジュラー性を用いて、偽モンスターリー代数の文脈において、超曲線的Kac-Moody代数、シーゲルモジュラー形式、およびアフィンリー代数の間のFrenkelとFeingoldが提唱した関係の自動的実現が確立される。

ABSTRACT

The fake monster Lie algebra is determined by the Borcherds function Phi_{12} which is the reflective modular form of the minimal possible weight with respect to O(II_{2,26}). We prove that the first non-zero Fourier-Jacobi coefficient of Phi_{12} in any of 23 Niemeier cusps is equal to the Weyl-Kac denominator function of the affine Lie algebra of the root system of the corresponding Niemeier lattice. This is an automorphic answer (in the case of the fake monster Lie algebra) on the old question of I. Frenkel and A. Feingold (1983) about possible relations between hyperbolic Kac-Moody algebras, Siegel modular forms and affine Lie algebras.

研究の動機と目的

• FrenkelとFeingold（1983年）が提起した、超曲線的Kac-Moody代数、シーゲルモジュラー形式、およびアフィンリー代数の間の関係に関する長年の未解決問題を解決すること。
• $Ó^{+}(II_{2,26})$ に関する重さ12のBorcherdsモジュラー形式 $Φ_{12}$ を分析し、24個の尖点（23個のニエメイヤー尖点とリーク尖点）におけるその振る舞いを調べること。
• 各ニエメイヤー尖点における $Φ_{12}$ の最初の非ゼロフーリエ・ジャコビ係数が、対応するニエメイヤー格子の根系に付随するアフィンリー代数のウェイル・カス分母関数に一致することを示すこと。
• モジュラー形式を通じて、偽モンスターリー代数とアフィンリー代数との間の関係の自動的実現を提供すること。

提案手法

• 著者はBorcherdsの正規リフトを用いて、特に格子 $4A_1$ に対する重さ2、インデックス1/2のジャコビ形式 $θ_{4A_1}$ に注目し、ジャコビ形式からモジュラー形式を構成する。
• 方法論は、$II_{2,26}$ 内の $-2$-ベクトルによって定義される有理二次除数の近傍におけるモジュラー形式の振る舞いを分析することで、各ニエメイヤー尖点における $Φ_{12}$ のフーリエ・ジャコビ展開を計算することに帰着する。
• 鍵となるステップは、Borcherds積構成とKoecherの原理を用いて、最初の非消滅するフーリエ・ジャコビ係数を同定することであり、これにより商形式の正則性が保証される。
• 特異点と除数構造を特定するために、弱ジャコビ形式 $φ_{0,4A_1} = -3^{-1} θ_{4A_1}|_{2}T_{-}(3) / θ_{4A_1}$ を計算する。
• この手法は、$Ó^{+}(II_{2,26})\setminus\mathcal{D}(II_{2,26})$ のBaily-Borelコンパクト化に依存しており、24個の境界成分（1つの零次元尖点と23個の1次元モジュラー曲線、それぞれニエメイヤー格子に対応）を持つ。
• 証明は、各ニエメイヤー尖点における最初の非ゼロフーリエ・ジャコビ係数が、対応する根系に付随するアフィンリー代数のウェイル・カス分母関数に一致することを、ジャコビ形式のフーリエ係数の明示的計算により確認していることを利用している。

実験結果

リサーチクエスチョン

• RQ1 アフィンリー代数のウェイル・カス分母関数が、反射的モジュラー形式の最初の非ゼロフーリエ・ジャコビ係数として実現されるような、標準的なモジュラー形式が存在するか？
• RQ2 Borcherdsのモジュラー形式 $Φ_{12}$ は、そのフーリエ・ジャコビ展開を通じて、偽モンスターリー代数とアフィンリー代数との間の橋渡しを可能にするか？
• RQ3 各ニエメイヤー尖点における $Φ_{12}$ の最初の非ゼロフーリエ・ジャコビ係数が、対応するニエメイヤー格子の根系に付随するアフィンリー代数のウェイル・カス分母関数に対応するか？
• RQ4 $Ó^{+}(II_{2,26})\setminus\mathcal{D}(II_{2,26})$ の24個の尖点は、偽モンスターリー代数の構造とその根の重複度にどのように関係しているか？

主な発見

• 23個のニエメイヤー尖点の各々において、$Φ_{12}$ の最初の非ゼロフーリエ・ジャコビ係数は、その尖点に対応するニエメイヤー格子の根系に付随するアフィンリー代数のウェイル・カス分母関数に一致する。
• Borcherdsのモジュラー形式 $Φ_{12}$ は23個のニエメイヤー尖点すべてで消えることが確認され、最初の非ゼロ係数がジャコビ形式展開の段階で現れることを裏付けた。
• この結果により、偽モンスターリー代数の文脈においてFrenkel-Feingoldの予想が自動的実現され、超曲線的Kac-Moody代数、シーゲルモジュラー形式、およびアフィンリー代数の間の関係が明確に示された。
• $Φ_{12}$ は反射的モジュラー形式であり、その除数は $II_{2,26}$ 内の $-2$-ベクトルによって定義される有理二次除数の和集合である。また、その最初の非ゼロフーリエ・ジャコビ係数は、格子 $4A_1$ に対する重さ2、インデックス1/2のジャコビ形式である。
• 弱ジャコビ形式 $φ_{0,4A_1}$ は明示的に $r_1 + r_2 + r_3 + r_4 + 4 + r_1^{-1} + r_2^{-1} + r_3^{-1} + r_4^{-1} + q(\dots)$ として計算され、Borcherds積の特異点を特定する。
• リフト $Φ_2 = ÓÓ_{φ_{0,4A_1}}$ が $θ_{4A_1}$ のジャコビリフトに等しいことが示され、$Φ_2$ が重さ2の反射的モジュラー形式であり、最も単純な除数構造を持つことが確認された。