[論文レビュー] The Automorphism Group of the Vertex Operator Algebra $V_L^+$ for an even lattice $L$ without roots

Hiroki Shimakura|ArXiv.org|Nov 10, 2003

Algebraic structures and combinatorial models参考文献 13被引用数 4

ひとこと要約

本稿は、融合規則を通じて可約モジュールへの作用を分析することにより、根を持たない偶数格子 $L$ に対する頂点 operator 代数 $V_L^+$ の自己同型群を特定する。$V_L^+$ に $H_L$ 以外の自己同型が存在するための必要十分条件は、$L$ が二進コードを用いた構成Bによって得られる格子であることである。主な結果として、$\mathrm{Aut}(V_{\Lambda_{16}}^+) \cong 2^{16} \cdot \Omega_{10}^+(2)$ が得られ、$\Lambda_{16}$ の場合に完全に特徴付けられる。

ABSTRACT

The automorphism group of the vertex operator algebra $V_L^+$ is studied by using its action on isomorphism classes of irreducible $V_L^+$-modules. In particular, the shape of the automorphism group of $V_L^+$ is determined when $L$ is isomorphic to an even unimodular lattice without roots, $\sqrt2R$ for an irreducible root lattice $R$ of type $ADE$ and the Barnes-Wall lattice of rank 16.

研究の動機と目的

• 根を持たない偶数格子 $L$ に対して $\mathrm{Aut}(V_L^+)$ を完全に特定すること、特に $H_L$ を超える追加の自己同型が存在する場合を含む。
• 可約 $V_L^+$-モジュールの同型類への作用を用いた、$\mathrm{Aut}(V_L^+)$ を一様に計算する方法を確立すること。
• $V_L^+$ が追加の自己同型をもつための条件を明確にし、それが $L$ が二進コードを用いた構成Bによって得られる場合に限り成り立つことを示すこと。
• 特に、根を持たない偶数単模格子 $\Lambda_{16}$、$ADE$ 根格子 $R$ の $\sqrt{2}R$、およびバーンズ＝ウォール格子の $V_L^+$ の自己同型群を明示的に計算すること。

提案手法

• 本手法は、$\mathrm{Aut}(V_L^+)$ が可約 $V_L^+$-モジュールの同型類の集合 $S_L$ に作用することに着目し、特に $(-1)$-固有空間 $V_L^-$ の軌道に注目する。
• $\mathrm{Aut}(V_L^+)$ が不変であり、融合規則に関して閉じた部分集合 $P \subset S_L$ を構成し、$\mathbb{F}_2$ 上のベクトル空間として扱う。
• 融合規則の不変性を用いて、群準同型 $\zeta_{V_L^+}: \mathrm{Aut}(V_L^+) \to \mathrm{GL}(P)$ を定義する。
• $\zeta_{V_L^+}$ の核は、$H_L$ を用いて分析され、$\theta_{V_L}$ の中心化群を $\mathrm{Aut}(V_L)$ から $\langle \theta_{V_L} \rangle$ で商取ったものと同型であることが示され、構造は $\mathrm{Hom}(L, \mathbb{Z}_2) \cdot (O(L)/\langle -1 \rangle)$ である。
• $[0]^{-}$ の軌道のサイズを分析し、$\mathrm{GL}(P)$ 内の群論的制約を用いて、特に $\Lambda_{16}$ の場合に $\mathrm{Im}(\zeta_{V_L^+})$ を特定する。
• バーンズ＝ウォール格子 $\Lambda_{16}$ の場合、$[0]^{-}$ の軌道サイズが 527 であることが示され、$\mathrm{Im}(\zeta_{V_{\Lambda_{16}}^+}}) \cong \Omega_{10}^+(2)$ であると結論づける。

実験結果

リサーチクエスチョン

• RQ1 いつ $V_L^+$ は $H_L$ に属さない自己同型（追加の自己同型）をもつのか？
• RQ2 根を持たない偶数単模格子 $L$（例：$\Lambda_{16}$）に対して $\mathrm{Aut}(V_L^+)$ の正確な構造は何か？
• RQ3 $L$ が二進コードを用いた構成Bによって得られる場合、$V_L^+$ の自己同型群は格子 $L$ とどのように関係するか？
• RQ4 融合規則とモジュールの軌道は、$V_L^+$ の自己同型群を特定する上で果たす役割は何か？
• RQ5 $L = \Lambda_{16}$ の場合、正確な列 $1 \to F \to \mathrm{Aut}(V_L^+) \to \mathrm{Im}(\zeta) \to 1$ は分解するか？

主な発見

• $\mathrm{Aut}(V_L^+)$ が $H_L$ に同型であるのは、$L$ が二進コードを用いた構成Bによって得られない場合に限る。そうでない場合、追加の自己同型が存在する。
• バーンズ＝ウォール格子 $\Lambda_{16}$ に対して、$\mathrm{Aut}(V_{\Lambda_{16}}^+)$ は $2^{16} \cdot \Omega_{10}^+(2)$ の形をしており、$2^{16}$-正規部分群 $F$ は $\zeta_{V_{\Lambda_{16}}^+}$ の核に一致する。
• $\Lambda_{16}$ の軌道 $Q_{\Lambda_{16}}$ は、$S_{\Lambda_{16}}$ のすべての非零自己直交ベクトルに対応する 527 個の元からなる。
• $\zeta_{V_{\Lambda_{16}}^+}$ の像は $\Omega_{10}^+(2)$ であり、正確な列 $1 \to F \to \mathrm{Aut}(V_{\Lambda_{16}}^+) \to \Omega_{10}^+(2) \to 1$ は非分解である。
• $H_{\Lambda_{16}}$ の形は $2^{16} \cdot 2^8 \cdot \Omega_8^+(2)$ であり、$\zeta_{V_{\Lambda_{16}}^+}$ の核 $F$ は $2^{16}$ に同型で、位数 2 の元によって生成される。
• $\mathrm{Aut}(V_{\Lambda_{16}}^+)$ は $O(\hat{\Lambda}_{16})/\langle \theta_{V_{\Lambda_{16}}} \rangle$ と、2.3節の追加自己同型 $\sigma$ によって生成され、完全な群構造が確認される。