[論文レビュー] Elementary introduction to Moonshine

Shamit Kachru|arXiv (Cornell University)|May 2, 2016

Mathematics and Applications参考文献 10被引用数 7

ひとこと要約

この論文は、有限群の対称性、モジュラー形式、および2次元共形場理論（CFT）を結びつける、単純なモンスター月光とアンブル月光の入門を提供する。特筆すべきは、モンスター群の既約表現の次元がj不変量モジュラー関数の係数に現れることを示し、またK3表面の楕円的生成関数がコンウェイモジュールのtwining特徴によって実現されることを示しており、月光、数え上げ的幾何学、3次元ストリング理論における量子重力の間の深い関係を明らかにしている。

ABSTRACT

These notes provide an elementary (and incomplete) sketch of the objects and ideas involved in monstrous and umbral moonshine. They were the basis for a plenary lecture at the 18th International Congress on Mathematical Physics, and for a lecture series at the Centre International de Recontres Mathematiques school on "Mathematics of String Theory."

研究の動機と目的

• 数学および理論物理学の研究者を対象に、モンスター月光とアンブル月光について、技術的でない、理解しやすい概要を提供すること。
• モンスター群の表現の次元とj不変量モジュラー関数の係数の間の驚くべき数値的一致を説明すること。
• 月光、K3表面の楕円的生成関数、およびK3とそのヒルベルトスキームの数え上げ的幾何学との関係を確立すること。
• コンウェイモジュールとそのtwining特徴が、K3の楕円的生成関数および関連する不変量をどのように実現するかを明らかにすること。
• 月光、3次元量子重力、およびカバリ・ヤウ3次元多様体上のトポロジカルストリング理論との間の新たな関係を強調すること。

提案手法

• j不変量モジュラー関数 J(τ) = 1/q + 196884q + ... の係数が、モンスター群の表現次元の和に一致することを示す。
• 2次元CFTのトーラス分配関数を、状態上のモジュラー不変トレースとして構成し、ハミルトニアンを L0 − c/24 とする。
• 中心電荷 c = 16 を持つ s♮ モジュールを頂点演算子代数として定義し、その分配関数がK3の楕円的生成関数を実現することを示す。
• Dijkgraaf-Moore-Verlinde-Verlinde (DMVV) 公式を用いて、K3の楕円的生成関数とK3上の点のヒルベルトスキームの生成関数との関係を確立する。
• Co0の4平面を保存する部分群に属する群元 g による twining 特徴 Z_g^{s♮}(τ,z,w) を導入し、U(1)カレントを含む分配関数への一般化を実現する。
• twined 分配関数を χ_y 楕円的生成関数およびKKV不変量に特殊化することで、月光とK3表面の数え上げ的幾何学との関係を確立する。

実験結果

リサーチクエスチョン

• RQ1 なぜj不変量モジュラー関数の係数が、モンスター群の既約表現の次元の和に一致するのか？
• RQ2 K3表面の楕円的生成関数は、コンウェイモジュール s♮ のtwining特徴からどのように導かれるのか？
• RQ3 K3表面の曲線を数えるためのKKV公式は、月光モジュールの分配関数から導けるか？
• RQ4 コンウェイ群 Co0 が、月光を介してK3の楕円的生成関数を実現する上で、物理的・数学的意義は何か？
• RQ5 s♮ モジュールのtwining特徴は、K3 CFTの精錬不変量およびそのコンact化とどのように関係するか？

主な発見

• j不変量の係数 196884 は、モンスター群の自明表現と196883次元の既約表現の次元の和に等しい。
• j不変量の係数 21493760 は、モンスター群の自明表現、196883次元、21296876次元の既約表現の次元の和に等しい。
• s♮ モジュールの分配関数 Z^{s♮}(τ,z) は、K3 σ模型の楕円的生成関数 φ_K3(τ,z) に一致し、これは重み0、インデックス2の弱ジャコビ形式である。
• Co0の4平面を保存する部分群に属する g に対する twining 特徴 Z_g^{s♮}(τ,z,w) は、K3 CFTのtwined楕円的生成関数を実現し、その対称性のtwined不変量が月光由来である可能性を示唆する。
• K3表面の曲線数の生成関数に対するKKV公式は、DMVV公式を経由し、χ_y 楕円的生成関数への特殊化によって、K3の楕円的生成関数の係数から回復される。
• K3の精錬不変量、特に追加のU(1)カレントからのものも含めて、三変数分配関数 Z^{s♮}(τ,z,w) に符号化されており、これはCo0の対称性によるtwiningを持つモジュラー形式である。