On the Representation Theory of Non-Admissible $W$-Algebras: Part I

技术摘要：关于非容许 W-代数的表示理论：第一部分

问题陈述
顶点算子代数（VOA）的模分类是二维共形场论研究中的核心问题。虽然通过 Zhu 代数和 Drinfeld–Sokolov (DS) 约化，有理 VOA（其模范畴是半单的且具有有限个简单对象）的表示理论已得到充分理解，但非有理情况仍然具有挑战性。具体而言，本文研究的是形式为 $W_k(\mathfrak{g}, f)$ 的非容许 W-代数，其中能级由 $k = -h^\vee + \frac{1}{n}\frac{m}{u}$ 给出。这里，$\mathfrak{g}$ 是一个李代数，$f$ 是一个幂零轨道，$n$ 是着色数（lacing number），且 $m \neq h^\vee$（以此区别于边界容许能级）。在这些非容许情况下，表示范畴通常是非半单的，可能包含对数模（logarithmic modules），且显式的表示论结果非常稀缺。

方法论
作者提出了一种根植于 4d 镜像对称性的几何框架来研究这些代数。其核心方法论是将 W-代数的表示理论与广义仿射 Springer 纤维（记作 $Sp_\nu(\tilde{\mathfrak{g}}, f)$，其中斜率为 $\nu = u/m$）的几何学联系起来。

所提出的对应关系运作如下：

1. 几何设置： 该纤维由数据 $(\mathfrak{g}, o, \nu, f)$ 定义，其中 $o$ 是一个外自同构的选择。其几何结构受斜率 $\nu$ 和与幂零轨道 $f$ 相关的抛物子代数控制。
2. 固定点集与模： 仿射 Springer 纤维的 $C^*$-固定点集由仿射 Weyl 群元素 $\tilde{w}$（具体为双陪集 $\tilde{W}_\nu \setminus \tilde{W} / W_f$）进行标记。
   • 最高权重： 每个由 $\tilde{w}$ 标记的非空固定点集通过以下映射确定一个简单模的最高权重：
     $$\tilde{w} \mapsto \tilde{w}(k\Lambda_0 + \tilde{\rho}) - \tilde{\rho}$$
     其中 $\Lambda_0$ 是第零个仿射基本权重，$\tilde{\rho}$ 是仿射 Weyl 向量。
   • 对数结构： 固定簇的维数编码了非半单结构。零维固定簇对应于普通的简单模。更高维度的固定簇则预示着对数模的存在。具体而言，一个维度为 $d$ 的固定簇会对总上同调维度贡献 $d+1$，这对应于一个简单模和 $d$ 个对数模（或广义特征标）。
3. 计算算法： 本文详细介绍了一个用于计算相关 $\tilde{w}$ 及其固定簇维数的算法。这涉及：
   • 基于斜率定义仿射根集 $L_\nu$ 和 $S_\nu$。
   • 统计产生非负预期维数的仿射 Weyl 群元素（使用涉及 $L_\nu$ 和 $S_\nu$ 中根计数的公式）。
   • 检查有界性条件（符号模式的再生锥是平凡的）。
   • 验证 Chern 类约束以确保 Hessenberg 簇非空（检查顶层 Chern 乘积是否落在由 Weyl 不变多项式生成的理想中）。

主要贡献与结果
本文通过在各种李代数和斜率下的广泛计算，建立了并验证了这种几何对应关系：

• 无扭转理论：
  • $D_4$： 对于斜率 $\nu = u/4$，作者计算了不同 $u$ 取值下的固定簇数量。对于 $u=3$，他们预测了实现模正则闭包所需的 486 个特征标（405 个简单模，81 个对数模），这与已知关于仿射李代数 $V_{-14/3}(D_4)$ 的结果相匹配。对于正则幂零轨道（$f=\text{regular}$），当 $u=5$ 时，他们恢复了 $(2,5)$ Virasoro 极小模型，并预测了 $u=7, 9, 11$ 时的模谱。
  • $E_6$ 与 $E_8$： 对 $E_6$ 在斜率 $\nu=4/3$ 下以及 $E_8$ 在各种斜率下的详细计算，证实了与已知有理标度维数及重数的吻合。本文通过匹配固定簇的数量，明确验证了非容许 W-代数与低秩容许 W-代数之间的同构关系（例如 $W_{-30+15/16}(E_8) \cong W_{-3+3/8}(A_2)$）。
• 扭转理论：
  • 作者处理了扭转理论中涉及 Langlands 对偶性的归一化细微差别。他们证明了扭转仿射 Springer 纤维的计数问题与无扭转 W-代数在特定的平移向量 $q$ 缩放下是等价的。
  • 示例包括扭转 $3D_4$（与 $G_2$ 相关）和扭转 $2A_3$（与 $B_2$ 相关）。例如，$3D_4$ 理论在斜率 $\nu=11/12$ 下被证明与 $(2,11)$ Virasoro 极小模型相匹配。
• 对数模： 本文提供了关于高维固定簇对应于对数模的具体证据。在 $D_4$ 情况且 $m=4$ 时，一个一维固定簇被识别为一个具有特定标度维数的对数模，这解释了先前文献中观察到的模微分方程结构。

意义
本文声称为非容许 W-代数（一类纯代数方法往往受到限制的 VOA）的表示理论提供了一条几何路径。通过利用 4d 镜像对称性字典，作者将分类 VOA 模（包括对数模）这一困难问题转化为在仿射 Springer 纤维中计数固定点集的组合与几何问题。

其意义在于：

1. 统一性： 它将仿射 Springer 纤维与容许 W-代数之间的已知对应关系扩展到了非容许领域。
2. 预测能力： 它提供了一种系统的方法，可以计算任何 $C_2$-余有限非容许 W-代数的简单模和对数模的数量及其共形权重，从而绕过了复杂的奇异向量计算。
3. 验证性： 该框架成功复现了已知容许情况的结果，并为非容许情况提供了一致的预测，包括那些与已知理论同构的情况。

作者指出，虽然本文侧重于建立关于表示空间（最高权重和维数）的对应关系，但关于模变换（S 和 T 矩阵）以及完整模数据（modular data）的详细研究将推迟到第二部分。目前的工作作为基础步骤，通过将几何计数与现有的代数结果进行对比验证了其有效性。