[論文レビュー] McKay's observation and vertex operator algebras generated by two conformal vectors of central charge 1/2

Ching Hung Lam, Hiromichi Yamada+1 more|ArXiv.org|Mar 13, 2005

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

ひとこと要約

本稿は、$V_{\tilde{2}E_8}$ 内のコセット部分代数について技術的分析を行い、それらが中心電荷 $1/2$ の二つの自己随伴ベクトルによって生成されることを証明する。$V^\natural$ に埋め込まれる場合、これらの部分代数に関連する二つの Miyamoto 対合の積が、モンスターグループの所望の共軛類に属することを確立し、$1A$、$2A$、$2B$、$4A$ の場合の埋め込みを確認するとともに、$3A$、$5A$、$3C$ の場合についても議論する。本研究は、これらの部分代数の完全な可約モジュール分類を完了させ、McKay–Monstrous Moonshine 対応におけるその役割を裏付ける。

ABSTRACT

This paper is a continuation of our paper math.QA/0403010 at which several coset subalgebras of the lattice VOA $V_{\sqrt{2}E_8}$ were constructed and the relationship between such algebras with the famous McKay observation on the extended E_8 diagram and the Monster simple group were discussed. In this article, we shall provide the technical details. We completely determine the structure of the coset subalgebras constructed and show that they are all generated by two conformal vectors of central charge 1/2. We also study the representation theory of these coset subalgebras and show that the product of two Miyamoto involutions is in the desired conjugacy class of the Monster simple group if a coset subalgebra U is actually contained in the Moonshine VOA. The existence of U inside the Moonshine VOA for the cases of 1A, 2A, 2B and 4A is also established. Moreover, the cases for 3A, 5A and 3C are discussed.

研究の動機と目的

• 先行研究で構成された $V_{\sqrt{2}E_8}$ のコセット部分代数の構造的決定を技術的に詳細に提示すること。
• すべてのこのようなコセット部分代数が中心電荷 $1/2$ の二つの自己随伴ベクトルによって生成されることを証明し、$E_8$ 図における McKay の観察と関連付けること。
• これらの部分代数の表現論を研究し、二つの Miyamoto 対合の積がモンスターグループの特定の共軛類に属する条件を同定すること。
• 部分代数が $1A$、$2A$、$2B$、$4A$ の場合に $V^\natural$ に埋め込まれることを確立し、$3A$、$5A$、$3C$ の場合を分析すること。

提案手法

• 著者らは、$L \subset E_8$ である部分格子から生じるコセット部分代数 $U$ を、商格子によって誘導される位数 $n = |E_8 / L|$ の標準的自己同型 $\sigma$ を用いて分析する。
• 彼らは根格子 $R = A_n, D_n, E_n$ に対して、格子 VOAs $V_{\sqrt{2}R}$ 内に中心電荷 $1/2$ の二つの自己随伴ベクトル $\hat{e}$ と $\hat{f}$ を構成し、それらを用いて部分代数 $U$ を生成する。
• McKay 図の九つの共軛類に対して、VOA の表現論と融合規則を用いて、$U$ の構造を場合ごとに分析する。
• $U^{\tau_e}$ を $V \oplus W$ に分解することにより、$U$ の特徴関数を計算し、可約モジュールを分類する。ここで $V$ は $(\mathbb{Z}_2 \times \mathbb{Z}_2)$-階数の単純なジャイロス・エクステンションである。
• 単純ジャイロス拡張の理論を適用し、$W \cdot W = V \oplus W$ である事実を用いて、$V$ の表現論を通じて $U$ の可約モジュールを分類する。
• $5A$ および $3C$ の場合、$L(\frac{1}{2},0) \otimes L(\frac{25}{28},0) \otimes L(\frac{25}{28},0)$ の可約モジュールの分類と整数階条件を用いて、モジュール構造の一意性を証明する。

実験結果

リサーチクエスチョン

• RQ1 コセット部分代数 $U$ は、中心電荷 $1/2$ の二つの自己随伴ベクトルによって生成されるか？
• RQ2 部分代数 $U$ が $V^\natural$ に埋め込まれる場合、それに関連する二つの Miyamoto 対合の積は、モンスターグループの所望の共軛類に属するか？
• RQ3 McKay 図のどの共軛類（$1A$、$2A$、$2B$、$4A$、$3A$、$5A$、$3C$）に対して、対応するコセット部分代数 $U$ が Moonshine VOA $V^\natural$ に埋め込まれるか？
• RQ4 $U_{5A}$ および $U_{3C}$ のコセット部分代数の完全な可約モジュール分類は何か？
• RQ5 部分代数 $U$ の表現論は、$V^\natural$ およびモンスターグループの構造とどのように関係するか？

主な発見

• 部分格子 $E_8$ から構成されたコセット部分代数 $U$ は完全に決定され、中心電荷 $1/2$ の二つの自己随伴ベクトルによって生成されることを示した。これは、重要な構造的性質を確認するものである。
• $1A$、$2A$、$2B$、$4A$ の場合、$U$ が Moonshine VOA $V^\natural$ 内に埋め込まれることを厳密に確立した。
• $U \subset V^\natural$ の場合、$U$ に関連する二つの Miyamoto 対合の積が正しい共転類に属することを示し、VOA 構造と Moonshine 群作用の間の関連を裏付けた。
• $U_{5A}$ の可約モジュールは、$i,j = 1,3,5$ の場合にちょうど九種類の型 $U(i,j)$ に分類され、$L(\frac{1}{2},0) \otimes L(\frac{25}{28},0) \otimes L(\frac{25}{28},0)$ として明示的な分解が得られた。
• $U_{5A}^{\tau_e}$ の表現論は、分解 $U_{5A}^{\tau_e} = V \oplus W$ を用いて分析され、$W \cdot W = V \oplus W$ であることから、$U_{5A}$-可約モジュールの分類が可能になった。
• $U_{5A}$-モジュール構造が整数階条件と融合規則を用いて一意に特定され、可約モジュールの完全な分類が確認された。