Free Field Realization of $\mathcal{W}$-Algebra Associated with Exceptional Lie Algebras

技術要約：例外型リー代数に付随するW代数の自由場実現

問題提起
本論文は、例外型リー代数（$E_6, E_7, E_8, F_4$）に付随するW代数の明示的な自由場実現を構築するという課題に取り組んでいる。古典的なリー代数（タイプA, B, C, D）のW代数は、量子ドリンフェルト・ソコロフ簡約およびミアラ変換を通じて十分に理解されているが、例外型の場合は計算の複雑さから、これまであまり探索されてこなかった。標準的な簡約法は、リー代数の次元に等しい自由場を必要とするため、高次元の例外型群においては計算が煩雑になる。著者らは、自由場の数をリー代数のランクに等しくする、より効率的な再帰的フレームワークを開発することを目的としている。これにより、W電流およびその演算子積展開（OPE）の明示的な計算が容易になる。

手法
著者らは、W電流とスクリーニング電荷の間のゼロ交換関係に基づく再帰的構成法を用いている。核心となる戦略は、ランク $r$ のW代数を、ランク $r-1$ のW代数と追加の自由ボゾンへと分解することである。

1. 再帰的フレームワーク： 単純リー代数 $\mathfrak{g}_r$ に対し、著者らはデーンキン図形から特定のノードを取り除くことによって、部分代数 $\mathfrak{g}_{r-1}$ を特定する。$\mathfrak{g}_r$ の単純ルートは、$\mathfrak{g}_{r-1}$ のルートと、新しい自由ボゾン $\phi$ に対応する直交方向へと分解される。
2. アンザッツと制約： 高ランクのW電流は、低ランクの代数の生成元、新しい自由ボゾン、およびそれらの導来項からなる一般的なアンザッツとして構成される。このアンザッツの係数は、電流が追加の単純ルート（$\alpha^*$）に関連するスクリーニング電荷と可換であるという条件を課すことで決定される。
3. 計算ツール： これらの係数を解くために必要なOPE計算は、Mathematicaプログラム「OPEdefs.m」を用いて行われる。
4. W電荷： 著者らは、最高ウェイト表現におけるW電流のゼロモードの固有値であるW電荷を計算している。これらは、それぞれのリー代数における特定の基本表現において評価されたカシミール不変量を用いて表現される。

主要な貢献と結果

• $W_{E_6}$ の再帰的構成：

  • $W_{D_5}$ 代数と自由ボゾンから $W_{E_6}$ 代数を構成した。
  • スピン5の電流（$W_5$）および高スピン電流（$W_6, W_8, W_9, W_{12}$）を明示的に導出した。
  • この構成が、$W_{A_5}$ に基づく従来の実現と等価であり、自由場基底の直交変換によってのみ異なることを示した。
  • $E_6$ のカシミール不変量（次数 2, 5, 6, 8, 9, 12）の形式で、すべての生成元に対するW電荷を計算した。

• $W_{E_7}$ の再帰的構成：

  • $W_{D_6}$ からの構成と、$W_{E_6}$ に自由ボゾンを加える構成の2つの等価な構成法を提供した。
  • OPEを通じて、スピン6の電流（$W_6$）および高スピン電流（$W_8, W_{10}, W_{12}, W_{14}, W_{18}$）を導出した。
  • 自由場の基底変換を通じて、これら2つの構成の等価性を示した。
  • $E_7$ のカシミール不変量（次数 2, 6, 8, 10, 12, 14, 18）を用いた $W_2, W_6, W_8, W_{10}$ のW電荷を計算した。

• $W_{E_8}$ の部分的構成：

  • $W_{D_7}$ 代数から出発して、スピン8の電流（$W_8$）を構成した。
  • $W_{E_8}$ の全生成子の完全な構成は未解決の問題として残されているが、スピン8の生成子は本手法の整合性チェックとして機能する。

• $W_{BC_r}$ および $W_{F_4}$ の再帰的構成：

  • $B_r$ のルートを $B_{r-1}$ と直交方向へと分解することにより、$W_{BC_r}$ 代数（$B_r$ および $C_r$ に関連）の再帰的構造を確立した。
  • $W_{BC_2}$ および $W_{BC_3}$ のスピン4およびスピン6の電流を明示的に構成した。
  • $W_{BC_3}$ 代数と自由ボゾンに基づいた $W_{F_4}$ 代量を実現した。
  • $F_4$ のスピン6電流（$W_6$）および高スキンスピン電流（$W_8, W_{12}$）を導出した。
  • $W_{BC_2}, W_{BC_3}$, および $W_{F_4}$ の生成元に対するW電荷を計算した。

意義と主張
本論文は、例外型W代数を研究するための実用的かつ効率的な計算フレームワークを提供すると主張している。自由場の数をリー代数の次元からランクへと削減することで、著者らは、これまで困難であったOPEやW電荷の明示的な計算を可能にした。

本研究の意義は、以下の既存の理論的文脈の中で位置づけられている：

• ODE/IM 対応： 明示的な構成は、量子スペクトル問題と共形場理論におけるW対称性の間の対応関係（特に、そのようなツールが限定的であった例外型の場合）を研究するための基礎を提供する。
• 表現論： 生成元とその頂点演算子における固有値の導出された式は、最高ウェイト表現を構築し、その加群構造を調査するための出発点となる。
• AGT 対応： 著者らは、これらの実現が、例外型ゲージ群へのAGT対応（2次元CFTと超対称ゲージ理論の関連性）の拡張を促進する可能性を示唆している。これはまだ十分に探索されていない領域である。
• 可積分系： 明示的な自由場実現は、共形場理論の可積分な変形を研究し、例外型リー代数に関連する交換可能な保存量（integrals of motion）を構築するためのツールを提供する。

著者らは、今後の課題について謙虚な姿勢を維持しており、$W_{E_8}$ の全生成子の完全な構成は依然として未解決であることを述べている。また、共形ブロックや相関関数に関するさらなる調査が必要であるとも指摘している。彼らは、自らの研究が関連する表現論の問題のすべてを解決したと主張するのではなく、将来の調査に必要な計算ツールを提供したものであることを強調している。