A Comment On Topological Degeneracy In Gauged WZW Models

技術的要約：ゲージ化されたWZWモデルにおけるトポロジカルな縮退に関する考察

問題提起
本論文は、二つの密接に関連する二次元共形場理論（CFT）である、ゲージ化されたワess-Zumino-Witten（WZW）モデル（$WZW(G, H; k)$と表記）と、ゴダード・ケント・オリブ（GKO）余積構成（$GKO(G, H; k)$と表記）の間の関係に関する、文献における長年の曖昧さに対処するものである。これら二つの理論は、中心電荷およびヴィラソロ共形ウェイトのリストを（縮退を除いて）共有しているが、同一ではない。自由フェルミオン系の部分群をゲージ化することによってユニタリ・ミニマルモデルを構成した先行研究では、標準的なGKO構成には存在しない非自明な有限の真空縮退が、ゲージ化されたWZWモデルにおいて観察されていた。中心的な問題は、この相違の正確な性質を特徴付け、GKO余積理論と区別するトポロカルな自由度を特定することである。

手法
著者らは、頂点演算子代数（VOA）理論、モジュラー・テンソル・カテゴリー（MTC）の手法、および円周上でのハミルトニアン量子化を組み合わせて用いる。

1. VOAと分岐: 解析は、$V(G; k)$内の部分VOA $V(H; \tilde{k})$の交換子としてGKO VOA $V(G, H; k)$を定義することから始まる。状態空間は、$V(G; k)$の既約$V(H; \tilde{k})$加群への同型分解を通じて解析される。これにより、分岐表現 $L_{g/h}(\hat{\lambda}, \hat{\mu})$ が得られる。
2. 圏論的枠組み: 複雑な選択則、場の識別、および固定点分解（これらは必ずしも単純な単純電流によって制御されるわけではない）を扱うために、著者らは圏論的な余積構成を利用する。彼らは、GKO加群の圏を、$G$および$H$に付随するMTCのデリーニュ・テンソル積内にある特定の可換対称特殊フロベニウス代数対象 $B$ の局所加群の圏として特定する。
3. ハミルトニアン量子化: 著者らは、WZWモデルに結合した2次元ヤン・ミルズ理論の $e^2 \to \infty$ 極限を取ることにより、円周上でのゲージ化されたWZWモデルのヒルベルト空間を明示的に計算する。ガウスの法則の制約を課すことで、物理的状態がゲージ不変であることを強制する。この手続きは、自然に$H$-WZWモデルに関連するイシバシ状態を導入する。
4. トポロジカル場理論（TFT）の特定: 著者らは、得られた縮退空間を2次元TFTの状態空間として解釈する。彼らは、代数対象 $B$ の自己準同型代数 $End(B)$ を、このトポロジカルなセクターを特徴付ける可換フロベニウス代数として特定する。

主要な貢献および結果

• 主要定理（Z-正則な場合）: $G$および$H$が連結で単連結な半単純群であり、「$Z$-正則性」（選択則と場の識別が共通の中心 $Z = Z(G) \cap Z(H)$ の作用によって完全に制御されるという条件）を満たす場合について、著者らはゲージ化されたWZWモデルのヒルベルト空間が以下のように分解されることを証明する：
  $$\mathcal{H}^{WZW}_{G/H} \cong \bigoplus_{r \in \text{Irrep}(V(G,H;k))} \left( W^r \otimes \overline{W^r} \right) \otimes D_r$$
  ここで、$W^r$ はGKO理論の既約加数であり、$D_r$ は有限次元の縮退空間である。決定的なことに、$D_r$ は代数 $End(B)$上の自由ランク1の加数である。真空加数（$r=1$）の場合、$D_1 \cong End(B)$ である。
• トポロジカルな縮退: 本論文は、ゲージ化されたWZWモデルが、フロベニウス代数 $End(B)$ によって定義される2次元TFTと「結合された」GKO余積理論であると確立している。この結合は単純なテンソル積ではなく、トポロジカルなセクターがGKOセクターに作用する「インターツワイン（絡み合い）」である。
• 分配関数との関係: 直接的な帰結として、トーラス上の分配関数は、自己準同型代数の次元に等しい定数因子によって異なる：
  $$Z(WZW(G, H; k)) = N \cdot Z(GKO(G, H; k))$$
  ここで $N = \dim_{\mathbb{C}} End(B)$ である。$Z$-正則な場合、$N = |Z|$ となり、以前の研究で観察された真空縮退が回収される。
• 一般化と予想: 著者らは、この関係が単純な中心による制御だけでなく、すべてのコンパクトリー群のペア $H < G$ に対して保持されると予想している。彼らは、代数対象 $B$ を圏論的構成を通じて一般的に定義し、以下を提案する：
  $$WZW(G, H; k) \sim GKO(G, H; k) \tilde{\otimes} End(B)$$
• 例: 論文は、以下の非自明なケースにおいてこの予想を検証している：
  • ユニタリ・ミニマルモデル: 縮退が共通の中心の群環（例：アイジングモデルにおける $\mathbb{Z}_2$）によって与えられることを確認している。
  • **パラフェルミオン ($SU(2)/U(1)$):**$H$ が単連結でない場合でも結果が保持されることを示している。
  • 共形埋め込み: GKO中心電荷が消失するケース（例：$G/G$ モデル）において、GKO理論は自明であり、ゲージ化されたWZWモデルは $End(B)$ によって定義されるTFT全体として特定される。
  • マベリック・コセット: $SU(3)_2/SO(3)_8$ コセットのような、非標準的な選択則を持つケースにおいても、予想が保持されることがテストされている。

意義および応用
本論文は、その主要な意義は、欠落しているトポロジカルな自由度を、余積の代数的構造から導かれる特定の2次元TFTとして特定することにより、「真空縮退のパズル」を解決することにあると主張している。

• 弦理論: ゲージ化されたWZWモデルが（特に $SL(2, \mathbb{R})$ のような非コンパクト群を含む）弦のコンパクト化の構成要素として使用される場合、このトポロジカル・セクターの存在は、種数に依存する繰り込みの期待とは異なる、弦結合定数の有限の繰り込みを意味することを示唆している。
• 2次元ヤン・ミルズ理論: 本結果は、非アノマリーな物質に結合した2次元ヤン・ミルズ理論の赤外相に関する洞察を与える。トポロジカルな縮退は、理論の「0形式」および「1形式」の対称性、具体的には、共通の中心 $Z$ の双対である可逆なトポロジカル・ポイント演算子の群を特定している。
• 分解: 本研究は、2次元場理論の分解というより広い主題へと接続しており、効果的な作用（または特定の中心作用）を持つ対称性をゲージ化することが、トポロジカル・セクターによってツイストされた理論の和への分解につながることを示唆している。

論文は、GKO理論とトポロジカル・セクターの間の「インターツワイン」メカニズムは、ヒルベルト空間および分配関数のレベルでは明確に定義されているものの、この結合に関するより深い概念的な理解は依然として未解決の問題であると述べて締めくくっている。