[論文レビュー] On orbifold constructions associated with the Leech lattice vertex operator algebra

Ching Hung Lam, Hiroki Shimakura|arXiv (Cornell University)|May 3, 2017

Algebraic structures and combinatorial models参考文献 21被引用数 6

ひとこと要約

この論文は、リー代数 $A_{3,4}^3A_{1,2}$, $A_{4,5}^2$, $D_{4,12}A_{2,6}$, $A_{6,7}$, $A_{7,4}A_{1,1}^3$, $D_{5,8}A_{1,2}$, および $D_{6,5}A_{1,1}^2$ を持つ中心指数 24 の強く正則な特異的可換ホロモルフィック頂点演算子代数（VOA）の一意性を、Leech格子VOAからの逆軌道化構成を用いて確立する。主な貢献は、このようなVOAがその重み1のリー代数構造によって一意に決定されることを証明し、$A_{6,7}$ を除くすべてのケースに対して代替的構成を提供することにある。

ABSTRACT

In this article, we study orbifold constructions associated with the Leech lattice vertex operator algebra. As an application, we prove that the structure of a strongly regular holomorphic vertex operator algebra of central charge $24$ is uniquely determined by its weight one Lie algebra if the Lie algebra has the type $A_{3,4}^3A_{1,2}$, $A_{4,5}^2$, $D_{4,12}A_{2,6}$, $A_{6,7}$, $A_{7,4}A_{1,1}^3$, $D_{5,8}A_{1,2}$ or $D_{6,5}A_{1,1}^2$ by using the reverse orbifold construction. Our result also provides alternative constructions of these vertex operator algebras (except for the case $A_{6,7}$) from the Leech lattice vertex operator algebra.

研究の動機と目的

• 中心指数24の強く正則な可換VOAが指定された重み1のリー代数を持つ場合の一意性を確立すること。
• Schellekens が開始した分類プログラムを拡張し、残りの同型類の一意性を解消すること。
• Leech格子VOAから出発する逆軌道化法を用いて、これらのVOAの代替的構成を提供すること。
• 軌道化制約下で、Leech格子VOAの自己同型群内の自己同型類が一意に決定されることを確認すること。

提案手法

• 逆軌道化構成を適用する：与えられた $V_1$ を持つ可換VOA $V$ から出発し、$V$ と $\sigma$ の $\mathbb{Z}_n$-軌道化構成がLeech格子VOAを生成するような位数 $n$ の内部自己同型 $\sigma$ を定義する。
• 文献 [Mo94, Mö, EMS2] に由来する次元公式を用いて、得られたVOAが $V_1$ の次元が24であることを確認し、それが実際にLeech格子VOAであることを裏付ける。
• 文献 [LS] と同様の組合せ論的議論により、$1 \leq i \leq n-1$ に対して $\sigma^i$-ねじれ $V$-加群の相反的重みが1以上であることを証明する。
• 自己同型群 $\mathrm{Aut}\,V_\Lambda$ を $O(\Lambda)$ による拡張 $(\mathbb{C}^\times)^{24}$ として解析し、自己同型 $\varphi$ を $\sigma \phi_g$ に分解する。
• 固定点部分代数およびねじれ加群の重みに関する制約を用いて、$O(\Lambda)$ 内の等長変換 $g$ の共役類を一意に決定し、$\sigma$ が共役を除いて一意であることを示す。
• 既知の $\mathrm{Aut}\,V_\Lambda$ の構造を活用し、問題を Conway 群における格子レベルの計算に還元することで、共役類の一意性を保証する。

実験結果

リサーチクエスチョン

• RQ1 逆軌道化法を用いて、リー型 $A_{3,4}^3A_{1,2}$, $A_{4,5}^2$, $D_{4,12}A_{2,6}$, $A_{6,7}$, $A_{7,4}A_{1,1}^3$, $D_{5,8}A_{1,2}$, $D_{6,5}A_{1,1}^2$ を持つ中心指数24の可換VOAの一意性を証明できるか。
• RQ2 VOA $V_\Lambda$ と $\varphi$ の軌道化構成が与えられた重み1のリー代数を持つVOAを生成する場合、$\mathrm{Aut}\,V_\Lambda$ 内の自己同型 $\varphi$ は共役を除いて一意に決定されるか。
• RQ3 これらのVOAは、$A_{6,7}$ を除き、Leech格子VOAからの $\mathbb{Z}_n$-軌道化構成を用いて代替的構成が得られるか。
• RQ4 Leech格子VOAに基づく逆軌道化アプローチは、中心指数24の可換VOA分類における残りの同型類の一意性を解消するための体系的な方法を提供するか。

主な発見

• 中心指数24の強く正則な可換VOAの構造は、$A_{3,4}^3A_{1,2}$, $A_{4,5}^2$, $D_{4,12}A_{2,6}$, $A_{6,7}$, $A_{7,4}A_{1,1}^3$, $D_{5,8}A_{1,2}$, $D_{6,5}A_{1,1}^2$ の型において、その重み1のリー代数によって一意に決定される。
• $A_{6,7}$ を除くすべてのケースにおいて、Leech格子VOAへの $\mathbb{Z}_n$-軌道化構成を適用することで、VOAの代替的構成が得られる。
• 逆軌道化構成は、目標VOAから出発してLeech格子VOAを再現でき、$\mathrm{Aut}\,V_\Lambda$ 内の自己同型類が与えられた制約下で一意に決定されることを確認した。
• $\dim(V_\Lambda^\varphi)_1$ およびねじれ加群の重みに関する条件により、等長変換 $g \in O(\Lambda)$ の共役類は一意に決定される。
• 内部自己同型 $\sigma \in (\mathbb{C}^\times)^{24}$ は $C_{O(\Lambda)}(g)$ による共役を除いて一意であり、$\varphi = \sigma \phi_g$ が一意な共役類に属することを保証する。
• この方法により、問題がLeech格子およびその等長変換群における有限群論的・リー代数的計算に還元されることで、VOA構造の一意性が確認された。