[論文レビュー] Kac-Moody Algebras, the Monstrous Moonshine, Jacobi Forms and Infinite Products

Jae-Hyun Yang|arXiv (Cornell University)|Dec 16, 2006

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

ひとこと要約

本論文は、カク＝ムーディ代数、モノスターモンクショーコンjecture、ヤコビ形式、モジュラー形式の無限積展開を結びつけるリチャード・ボーアーディズの画期的な業績を包括的に調査している。ボーアーディズが一般化されたカク＝ムーディ代数と無限積を用いて、直交群上の自動形式を構成し、特にほぼ正則ヤコビ形式とノーゴースト定理を介して、判別関数やj不変量といったモジュラー形式を無限積として表現した方法を説明している。

ABSTRACT

In this article, we discuss the relation between Kac-Moody algebras, the monstrous moonshine, Jacobi forms and infinite products. We also review Borcherds' solution of the Moonshine Conjecture and his work of constructing automorphic forms on the orthogonal group which can be written as infinite products.

研究の動機と目的

• モノスターモンクショーコンジェクチャを解いたボーアーディズの解決法、特にモンスター・リース代数の構成とノーゴースト定理の解説。
• 特にほぼ正則ヤコビ形式が、モジュラー形式の無限積展開を構成する役割を説明すること。
• 一般化されたカク＝ムーディ代数、特にフェイク・モンスター・リース代数が、リーク格子を介して算術的双曲型とモジュラー形式とどのように結びつくかを明らかにすること。
• Kohnenのプラス空間とMaass Spezialscharを用いて、Δ(τ)、j(τ)、Eₖ(τ)といった古典的モジュラー形式の明示的な無限積公式を提示すること。
• 未解決問題や一般化、特に高レベルでのMaass対応と直交群O_{s+2,2}(ℝ)の役割を強調すること。

提案手法

• カク＝ムーディ代数のWeyl-Kac特徴関数公式と根の重複度公式を用いて、その構造と表現を分析する。
• ノーゴースト定理を応用し、頂点演算子代数からモンスター・リース代数を構成することで、モンスター群とトーマス・シリーズを結びつける。
• 特にアフィンベクトル系を介して、次数1のヤコビ形式理論、特にほぼ正則ヤコビ形式を生成する。
• ほぼ正則モジュラー形式の係数が無限積展開の指数として機能する「モジュラー積」の概念を適用し、モジュラー形式を表現する。
• Kohnenのプラス空間とMaass Spezialscharを用いて、半整数重みのモジュラー形式を特徴づけ、無限積恒等式を導出する。
• リーク格子Λのシータ級数Θ_Λ(τ)を、シータ関数θ₂、θ₃、θ₄および判別関数Δ(τ)への分解を分析する。

実験結果

リサーチクエスチョン

• RQ1 一般化されたカク＝ムーディ代数、特にフェイク・モンスター・リース代数は、モジュラー形式およびリーク格子とどのように関係しているか？
• RQ2 ヤコビ形式、特にほぼ正則ヤコビ形式は、モジュラー形式の無限積展開を構成するためにどのように機能するか？
• RQ3 ボーアーディズがO_{s+2,2}(ℝ)上の自動形式に取り組んだことで、無限積恒等式を介してムーンシャイン予想がどのように実現されたか？
• RQ4 モンスター群のトーマス・シリーズと、無限積として構成されたモジュラー形式との明確な関係は何か？
• RQ5 条件(K1)–(K4)が、マチュー群M₂₄の元に対応するモジュラー形式f_g(τ)をどのように一意に特徴づけるか？

主な発見

• 判別関数Δ(τ)は無限積として表される：Δ(τ) = q²∏ₙ>₀(1−q²ⁿ)²⁴ = {½θ₂θ₃θ₄}⁸。
• モジュラー不変量j(τ)とエーゼンスタイン級数Eₖ(τ)（k ≥ 4、偶数）は、Kohnenのプラス空間とMaass Spezialscharを用いて明示的に無限積として表現できる。
• リーク格子のシータ級数はΘ_Λ(τ) = ⅛(θ₂⁸ + θ₃⁸ + θ₄⁸)³ − 45/16(θ₂θ₃θ₄)⁸ = 1 + 196560q⁴ + 16773120q⁶ + ⋯を満たす。
• g ∈ M₂₄に対して、θ_g(τ)η_g(τ)⁻¹はSL(2,ℝ)の genus 0 の離散部分群のHauptmodulであり、θ_g(τ)は条件(K1)–(K4)によって一意に特徴づけられる。
• f_g(τ) = 1 + ∑ₙ≥₀ a_g(n)q²ⁿにおける係数a_g(2)は、固定格子Λ_gにおけるノルム4のベクトルの数に等しい。
• 偶数mに対して、リーク格子におけるノルムmのベクトル数を表す式N_m(Λ) = 65520/691(σ₁₁(m/2) − τ(m/2))が成り立つ。