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-代数已通过量子 Drinfeld–Sokolov 归约和 Miura 变换得到了充分理解，但由于计算复杂性，例外情况的研究仍较少。标准的归约方法要求自由场的数量等于李代数的维数，这导致在处理高维例外群时计算过程异常繁琐。作者旨在开发一种更高效的递归框架，利用自由场的数量等于代数的秩，从而促进 W-流（W-currents）及其算符乘积展开（OPEs）的显式计算。

方法论
作者采用了一种基于 W-流与筛选电荷（screening charges）之间零对易关系的递归构造方法。其核心策略是将秩为 $r$ 的 W-代数分解为一个秩为 $r-1$ 的 W-代数和一个额外的自由玻色子。

1. 递归框架： 对于一个单李代数 $\mathfrak{g}_r$，作者通过从 Dynkin 图中移除一个特定的节点来识别子代数 $\mathfrak{g}_{r-1}$。$\mathfrak{g}_r$ 的单根被分解为 $\mathfrak{g}_{r-1}$ 的单根以及对应于一个新的自由玻色子 $\phi$ 的正交方向。
2. 假设与约束： 高秩代数的 W-流被构造为一个由低秩代数的生成元、新的自由玻色子及其导数组成的通用假设（ansatz）。这些假设的系数是通过施加条件——即电流必须与与附加单根（$\alpha^*$）相关的筛选电荷对易——来确定的。
3. 计算工具： 用于求解这些系数所需的 OPE 计算是使用 Mathematica 程序 "OPEdefs.m" 完成的。
4. W-电荷： 作者计算了最高权重表示的 W-电荷（W-电流零模的特征值）。这些电荷被表示为在特定基本表示下求值的相应李代数的 Casimir 不变量。

主要贡献与结果

• $W_{E_6}$ 的递归构造：

  • 从 $W_{D_5}$ 代数和一个自由玻色子构造了 $W_{E_6}$ 代数。
  • 显式推导了自旋为 5 的流（$W_5$）及更高自旋的流（$W_6, W_8, W_9, W_{12}$）。
  • 证明了这种构造与之前基于 $W_{A_5}$ 的实现是等价的，仅在自由场基底的正交变换上有所不同。
  • 计算了所有生成元的 W-电荷，并将其表示为 $E_6$ 的 Casimir 不变量（阶数为 2, 5, 6, 8, 9, 12）。

• $W_{E_7}$ 的递归构造：

  • 提供了两种等效的构造方式：一种是从 $W_{D_6}$ 构造，另一种是从 $W_{E_6}$ 构造，两者均增加了一个自由玻色子。
  • 通过 OPE 推导了自旋为 6 的流（$W_6$）及更高自旋的流（$W_8, W_{10}, W_{12}, W_{14}, W_{18}$）。
  • 通过自由场的基底变换证明了两种构造的等效性。
  • 将 $W_2, W_6, W_8, W_{10}$ 的 W-电荷计算为 $E_7$ Casimir 不变量（阶数为 2, 6, 8, 10, 12, 14, 18）的函数。

• $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 对应关系（联系 2D CFT 与超对称规范场论）扩展到例外规范群，这是一个尚未得到充分探索的主题。
• 可积系统： 显式的自由场实现为研究共形场论的可积变形以及构造与例外李代数相关的交换运动积分提供了工具。

作者对未来的工作保持谦逊的态度，指出 $W_{E_8}$ 所有生成元的完整构造仍然是一个开放问题，并且需要对共形块（conformal blocks）和相关函数进行进一步研究。他们强调，他们的工作是为这些未来的调查提供必要的计算工具，而非声称解决了所有相关的表示论问题。