[論文レビュー] Super-moonshine for Conway's largest sporadic group

John F. R. Duncan|ArXiv.org|Feb 13, 2005

Algebraic structures and combinatorial models参考文献 18被引用数 8

ひとこと要約

本稿は、自Dualで有理的 $N=1$ スーパーバーテックス作用素代数 $A^{f\natural}$ を、ランク 12 かつ次数 $1/2$ の部分空間が自明であるように構成し、その完全な自己同型群がコンウェイの最大特異群 $
\mathrm{Co}_1$ であることを証明する。$A^{f\natural}$ 上での群元のトレースを用いて、すべての共役類に対して明示的なモジュラー McKay–Thompson級数を導出し、モンスタームーンシャインに類似した $
\mathrm{Co}_1$ のムーンシャイン現象を確立する。

ABSTRACT

We study a self-dual N=1 super vertex operator algebra and prove that the full symmetry group is Conway's largest sporadic simple group. We verify a uniqueness result which is analogous to that conjectured to characterize the Moonshine vertex operator algebra. The action of the automorphism group is sufficiently transparent that one can derive explicit expressions for all the McKay-Thompson series. A corollary of the construction is that the perfect double cover of the Conway group may be characterized as a point-stabilizer in a spin module for the Spin group associated to a 24 dimensional Euclidean space.

研究の動機と目的

• ランク 12 かつ次数 $1/2$ の部分空間が自明な自己双対で有理的な $N=1$ スーパーバーテックス作用素代数 $A^{f\natural}$ を構成し、月のVOA $V^{\natural}$ に類似させる。
• $A^{f\natural}$ の完全な自己同型群がコンウェイの最大特異群 $
  \mathrm{Co}_1$ であることを証明する。
• $A^{f\natural}$ 上での群元の次数付きトレースから明示的な McKay–Thompson級数を計算することにより、$
  \mathrm{Co}_1$ に対してムーンシャイン現象を確立する。
• 自己双対性、ランク 12、および次数 $1/2$ の部分空間が自明であることの3条件を満たす、よい有理的 $N=1$ SVOA としての $A^{f\natural}$ の一意的特徴付けを提供する。

提案手法

• $V_L^f = A_L \otimes V_L$ を $E_8$ ラティスに付随する SVOA として、$\theta = \theta_f \otimes \theta_b$ という対合を用いて $\mathbb{Z}/2$-軌道をとり、その固定部分代数として $A^{f\natural}$ を構成する。
• $\theta$-twisted モジュール $(V_L^f)_\theta = (A_L)_{\theta_f} \otimes (V_L)_{\theta_b}$ を定義し、$A^{f\natural} = (V_L^f)^0 \oplus (V_L^f)^0_\theta$ とおく。
• $V_L^f$ の次数付き特徴を用いて、トレース生成関数 $\mathrm{tr}|_{V_L^f} q^{L(0)-c/24} = \frac{\theta_{E_8}(\tau)\eta(\tau)^8}{\eta(\tau/2)^8\eta(2\tau)^8}$ を導出し、8を引くことで $A^{f\natural}$ の特徴を求める。
• $\mathrm{Co}_0$ が複素化されたクリフォードモジュール $\mathbb{C} \otimes \mathfrak{l}$ に作用することを活用し、固有値とフレーム型を用いて群元のトレースを計算する。
• 関数 $\phi_g(\tau) = \prod_{k|m} \phi(k\tau)^{p_k}$ および $\eta_g(\tau) = \prod_{k|m} \eta(k\tau)^{p_k}$ を用いて McKay–Thompson級数を導出する。ここで $\phi(\tau) = \eta(\tau/2)/\eta(\tau)$ である。
• $g$ と $-g$ のトレースを平均することで、$
  \mathrm{Co}_1 = \mathrm{Co}_0 / \{\pm 1\}$ の元 $\bar{g}$ に対する $A^{f\natural}$ 上のトレースを計算し、公式 $\mathrm{tr}|_{A^{f\natural}} \bar{g} q^{L(0)-c/24} = \frac{1}{2}(\phi_g + \phi_{-g}) + \frac{1}{2}(\chi_G(g)\eta_{-g} + \chi_G(-g)\eta_g)$ を得る。

実験結果

リサーチクエスチョン

• RQ1 ランク 12 かつ次数 $1/2$ の部分空間が自明な自己双対で有理的な $N=1$ スーパーバーテックス作用素代数を構成でき、その自己同型群がコンウェイの最大特異群 $
  \mathrm{Co}_1$ になるだろうか？
• RQ2 このような構成により、モジュラー McKay–Thompson級数を通じて、モンスタームーンシャインに類似した $
  \mathrm{Co}_1$ のムーンシャイン現象が得られるだろうか？
• RQ3 SVOA $A^{f\natural}$ は、自己双対性、ランク 12、および次数 $1/2$ の部分空間が自明であることという条件によって、よい有理的 $N=1$ SVOA の中で一意に特徴付けられるだろうか？
• RQ4 フレーム型とモジュラー形式を用いて、$
  \mathrm{Co}_1$ の元が $A^{f\natural}$ 上に作用するときの次数付きトレースを明示的に計算できるだろうか？
• RQ5 $\mathrm{Co}_0$ が $
  \mathrm{Spin}(24)$ のスピンモジュールに作用する方法は、$A^{f\natural}$ の構造およびその自己同型群とどのように関係するだろうか？

主な発見

• $N=1$ SVOA $A^{f\natural}$ は、$E_8$ ラティスに付随する $V_L^f = A_L \otimes V_L$ の $\mathbb{Z}/2$-軌道の固定部分代数として構成され、自己双対で有理的であり、ランク 12 かつ次数 $1/2$ の部分空間が自明な SVOA である。
• $A^{f\natural}$ の完全な自己同型群は、定理 4.11 で示されたように、コンウェイの最大特異群 $
  \mathrm{Co}_1$ に同型である。
• $\mathrm{Co}_1$ のすべての共役類に対する McKay–Thompson級数は、明示的に $\mathrm{tr}|_{A^{f\natural}} \bar{g} q^{L(0)-c/24} = \frac{1}{2}(\phi_g + \phi_{-g}) + \frac{1}{2}(\chi_G(g)\eta_{-g} + \chi_G(-g)\eta_g)$ として計算され、ここで $\phi_g(\tau) = \prod_{k|m} \phi(k\tau)^{p_k}$ および $\eta_g(\tau) = \prod_{k|m} \eta(k\tau)^{p_k}$ である。
• $A^{f\natural}$ は、自己双対性、ランク 12、および次数 $1/2$ の部分空間が自明であることという性質によって、よい有理的 $N=1$ SVOA の中で一意に特徴付けられる（定理 5.28 に記載）。
• 完全な二重被覆 $
  \mathrm{Co}_1$ は、$
  \mathrm{Spin}(24)$ のスピンモジュールにおける点安定化子として現れ、群の幾何的実現を与える。
• $A^{f\natural}$ の次数付き特徴は $q^{-1/2}(1 + 276q + 2048q^{3/2} + \cdots)$ であり、$
  \mathrm{Co}_1$-モジュールの次元 $1$、$24$、$276$、$2024$、$1771$ と一致する。