[论文解读] 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

一句话总结

本文通過證明模 $S$ 和 $T$ 矩陣在新基底下生成的置換對稱性恰好對應於相應的有限子群，從而建立了例外 $ȑ{SU}(2)$-WZW 模式不變量與 $SU(2)$ 的有限子群之間的新型對應關係。關鍵結果是：當使用模 $S$ 和 $T$ 矩陣在特徵基底下生成變換群時，會得到與例外 $SU(2)$ 子群同構的有限群，揭示了共形場論與有限群論之間更深層的代數聯繫。

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{SU}(2)$-WZW 模式不變量的分類與 $SU(2)$ 的有限子群之間的對應關係。
• 研究模 $S$ 和 $T$ 矩陣在生成變換群時，是否會產生與例外 $SU(2)$ 子群同構的有限群。
• 透過有限群的生成機制，澄清 WZW 模式不變量中 $ADE$ 模式的成因。
• 測試不變量的對稱結構是否完整地編碼了對應有限子群的群結構。

提出的方法

• 作者使用顯式的特徵表達式，分析了在 $k=5,9,21$ 水平下的例外 $\widehat{SU}(2)$-WZW 不變量的模 $S$ 和 $T$ 矩陣。
• 定義了一組新的仿射特徵的線性組合基底，使模變換在此基底下對角化。
• 透過模 $S$ 和 $T$ 矩陣在這些新特徵基底上的作用生成有限群。
• 計算並利用群論工具識別由 $S$ 和 $T$ 生成的變換群 $G := \langle S, T \rangle$。
• 將所得群結構與已知的例外 $SU(2)$ 有限子群（如二面體群）進行比較。
• 分析過程中使用了包含 $e_k(x) = \exp[-2\pi i x / 3(k+3)]$ 和 $\omega$-對稱性的顯式特徵公式，以簡化 $S$-矩陣。

实验结果

研究问题

• RQ1 模 $S$ 和 $T$ 矩陣在變換後的特徵基底下作用時，是否能生成與例外 $SU(2)$ 子群同構的有限群？
• RQ2 在新特徵基底下，模變換生成的群具有何種代數結構？
• RQ3 在 $\mathcal{E}_k$ 不變量中，特徵的置換對稱性與對應有限子群的群結構有何關係？
• RQ4 為何當將 $S$ 和 $T$ 矩陣直接作用於標準特徵基底時，無法生成正確的群？
• RQ5 是否存在更深層的代數或幾何機制，將 WZW 不變量的 $ADE$ 分類與 $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$ 和 $T$ 矩陣在此基底下作為有限群的生成元，其中 $S_{\lambda\lambda'}$ 和 $T_{\lambda\lambda'}$ 以 $e_k(x)$ 的三角函數和形式給出。
• 該方法成功地將模不變量與有限群聯繫起來，但同樣方法無法生成例外 $SU(3)$ 子群，暗示高秩情形下結構更為複雜。