[論文レビュー] Postcards from the edge, or Snapshots of the theory of generalised Moonshine

Terry Gannon|ArXiv.org|Sep 10, 2001

Algebraic structures and combinatorial modelsMathematics参考文献 12被引用数 21

ひとこと要約

本稿は、コンformal field theoryおよびsubfactor理論の視点から、モジュラー形式、有限群（特にモンスターグループ）およびトポロジカル不変量を結びつける一般化されたムーンシャインの概念的概要を提示する。モジュラーデータ（S行列およびT行列に符号化されたもの）が、きずの不変量および有限群の表現から生じることを示し、融合規則、モジュラー表現、および頂点演算子代数の構造との関係を明らかにする。

ABSTRACT

In 1978, John McKay made an intriguing observation: 196884=196883+1. Monstrous Moonshine is the collection of questions (and a few answers) inspired by this observation. Like moonlight itself, Moonshine is an indirect phenomenon. Just as in the theory of moonlight one must introduce the sun, so in the theory of Moonshine one should go well beyond the Monster. Much as a talk discussing moonlight may include a few words on sunsets or comet tails, so will we see snapshots of the Theory of Generalised Moonshine.

研究の動機と目的

• モジュラー関数、有限群、トポロジカル不変量を結びつける概念的枠組みを提供すること。
• トポロジカル場理論において、きずの不変量および有限群の表現から、モジュラーデータ（S行列およびT行列）がどのように生じるかを説明すること。
• モジュラー群SL₂(ℤ)およびその合同部分群が、モジュラー関数の分類とその変換性を特徴づける役割を明確にすること。
• 頂点演算子代数における融合規則および特徴関数が、モジュラー表現およびきずの不変量とどのように関係するかを示すこと。
• モンスターグループの構造が、ラティスやモジュラー形式、きずの不変量といった補助的数学的対象を通じて間接的に明らかにされることを示すこと。

提案手法

• 複素数ℂにおける類似ラティスのモジュライ空間を、上半平面ℋ ∪ ℚ ∪ {∞}として特定し、SL₂(ℤ)変換に関して不変なモジュラー関数を定義する。
• Eisenstein級数Gₖ(τ)の理論を適用してモジュラー形式を構成し、それらを有理関数に組み合わせることでモジュラー関数を得る。
• cusp形式およびcuspにおけるメロモルフィック性（例：τ = ∞）を、q = e²πiτに関するフーリエ展開を通じて導入する。
• モジュラー関数が、特にG₄³/G₆²およびG₈/G₄²のようなEisenstein級数の有理結合として生じることを確立する。
• きず理論を用いて、きず図の3色塗り分けを通じて不変量を定義し、その色塗り分けの数が、きず群からS₃への群準同型に対応することを示す。
• トポロジカル場理論とモジュラーデータを結びつけるために、ホップリンクからS行列、フレーム付きリボンねじれからT行列を導出する。

実験結果

リサーチクエスチョン

• RQ1 SL₂(ℤ)のモジュラー関数は、ラティスの幾何学的性質およびその類似クラスからどのように生じるか？
• RQ2 モジュラー群SL₂(ℤ)は、等角同値なトーラスおよびそれに関連する関数を分類する上で果たす役割は何か？
• RQ3 3色塗り分けのようなきずの不変量は、群準同型およびトポロジカル場理論におけるモジュラーデータとどのように関係するか？
• RQ4 有限群に関連するトポロジカル場理論から、モジュラーデータのS行列およびT行列は、どのような方法で生じるか？
• RQ5 一般化されたムーンシャインは、モンスターグループをモジュラー形式およびトポロジカル不変量と結びつけることで、元々のモノストラスムーンシャインをどのように拡張するか？

主な発見

• SL₂(ℤ)のモジュラー関数は、分数線形変換によるSL₂(ℤ)作用に関して不変な、ℋ ∪ ℚ ∪ {∞}上のメロモルフィック関数である。
• 偶数k > 2に対するEisenstein級数Gₖ(τ)は、重みkでSL₂(ℤ)に対して変換する正則モジュラー形式であり、G₄³/G₆²やG₈/G₄²のような有理結合によりモジュラー関数が得られる。
• きず図の3色塗り分けの数はきずの不変量であり、自明なきずには正確に3通りの塗り分けがあり、トレフォイルは9通りであるため、トレフォイルが非自明であることが示される。
• きず群π₁(ℝ³⧵K)はS₃への準同型を許容し、特に全射準同型の数を数えることで、モジュラーデータに関連するきずの不変量が得られる。
• 有限群S₃の表現に基づくトポロジカル場理論から導かれるS行列およびT行列は、有理的コンformal field theoryのモジュラーデータと一致し、本稿で明示的な成分が与えられている。
• 一般化されたムーンシャインは間接的現象である：モンスターグループの構造は、直接的に明らかにされるのではなく、モジュラー形式、融合環、およびきずの不変量といった補助的構造を通じて明らかにされる。