[論文レビュー] An Observation on Finite Groups and WZW Modular Invariants

Bo Feng, Yang‐Hui He|ArXiv.org|Sep 11, 2000

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

ひとこと要約

本稿は、特異的 $\mathrm{SU}(2)$-WZW におけるモジュラー不変量と $\mathrm{SU}(2)$ の有限部分群との間の新しい対応関係を確立している。具体的には、不変量に現れる特徴関数の置換対称性が、ちょうどそれに対応する有限群を生成することを示している。主な結果は、モジュラー $S$ および $T$ 行列を特徴関数の基底で作用させることで生成される変換群が、特異的 $\mathrm{SU}(2)$ の部分群と同型である有限群を生成することであり、これは conformal field theory と finite group theory の間のより深い代数的関係を示している。

ABSTRACT

In this short note, inspired by much recent activity centered around attempts to formulate various correspondences between the classification of affine SU(k) WZW modular-invariant partition functions and that of discrete finite subgroups of SU(k), we present a small and perhaps interesting observation in this light. In particular we show how the groups generated by the permutation of the terms in the exceptional Affine SU(2)-WZW invariants encode the corresponding exceptional SU(2) subgroups.

研究の動機と目的

• アフィン $\widehat{\mathrm{SU}}(2)$-WZW モジュラー不変量の分類と $\mathrm{SU}(2)$ の有限部分群との間の対応関係を調査すること。
• モジュラー $S$ および $T$ 行列が変換群を生成する際、それが特異的 $\mathrm{SU}(2)$ の部分群と同型である有限群を生成するかどうかを検討すること。
• 有限群生成を通じて、WZW モジュラー不変量における $ADE$ パatters のメカニズムを明確化すること。
• 不変量の対称性構造が、対応する有限部分群の完全な群構造を符号化しているかどうかを検証すること。

提案手法

• 著者らは、レベル $k=5,9,21$ の特異的 $\widehat{\mathrm{SU}}(2)$-WZW 不変量について、明示的な特徴関数表現を用いてモジュラー $S$ および $T$ 行列を分析した。
• モジュラー変換を対角化する線形結合の新しい基底を定義した。
• 有限群は、この新しい特徴関数基底上でモジュラー $S$ および $T$ 行列の作用によって生成された。
• 得られた変換群 $G := \langle S, T \rangle$ は群論的手法を用いて計算され、同定された。
• 群構造は、二面体群や二面体群に類似した既知の特異的 $\mathrm{SU}(2)$ 有限部分群（例：二面体群）と比較された。
• $S$-行列の簡略化に、$e_k(x) = \exp[-2\pi i x / 3(k+3)]$ および $\omega$-対称性を含む明示的特徴関数公式が使用された。

実験結果

リサーチクエスチョン

• RQ1 変換された特徴関数基底上で作用するモジュラー $S$ および $T$ 行列が、特異的 $\mathrm{SU}(2)$ の部分群と同型である有限群を生成できるか？
• RQ2 新しい特徴関数基底におけるモジュラー変換によって生成される群の代数的構造は何か？
• RQ3 不変量 $\mathcal{E}_k$ に現れる特徴関数の置換対称性は、対応する有限部分群の群構造とどのように関係しているか？
• RQ4 標準的特徴関数基底にそのまま $S$ および $T$ 行列を適用すると、なぜ正しくない群が生成されるのか？
• RQ5 WZW 不変量の $ADE$ 分類と $\mathrm{SU}(2)$ の有限部分群との間に、より深い代数的または幾何的メカニズムが存在するか？

主な発見

• $\mathcal{E}_5$ 不変量に対して、新しい基底における $S$ および $T$ によって生成される群は $G_{1152}$ であり、これは二面体群の位数と一致する。
• $\mathcal{E}_9^{(1)}$ に対しては、群 $G_{48}$ が生成され、これは位数 48 の二面体群に対応する。
• $\mathcal{E}_9^{(2)}$ に対しても、再び $G_{1152}$ が生成され、二面体群と整合的である。
• $\mathcal{E}_{21}$ に対しては、群 $G_{144}$ が生成され、これは二面体群の位数と一致する。
• 特徴関数基底は明示的に構成されており、$S_{\lambda\lambda'}$ および $T_{\lambda\lambda'}$ は $e_k(x)$ を用いた三角関数の和として与えられる。
• この手法により、モジュラー不変量と有限群との間の関係が成功裏に確立されたが、同様の手法では特異的 $\mathrm{SU}(3)$ の部分群は生成されず、高ランクにおけるより複雑な構造が示唆された。