Argyres-Douglas Theories, Macdonald Indices and Arc Space of Zhu's $C_2$-Algebra

技术摘要：Argyres-Douglas 理论、Macdonald 指数与 Zhu 的 $C_2$-代数的弧空间

问题陈述
本文旨在解决计算特定类 4d $\mathcal{N}=2$ 超对称共形场论（SCFTs）——即 Argyres-Douglas (AD) 理论（具体为 $(A_1, D_{2n+1})$ 系列）的 Macdonald 指数这一挑战。这些理论缺乏保持 $\mathcal{N}=2$ 超对称性的拉格朗日描述，使得标准的微扰方法无法适用。虽然这些理论的 Schur 指数（超共形指数的一个特定极限）已知与顶点算子代数（VOA）的特征标相关，但 Macdonald 指数（一个更精细的极限）由于存在“R-过滤问题”（R-filtration problem），即在追踪 2d 手征代数的 $SU(2)_R$ 对称性方面存在复杂性，使得直接从 VOA 数据进行计算变得更加困难。

研究方法
作者采用了一种结合了代数几何、表示论和组合物理的多方面方法：

1. VOA 与弧空间的联系： 本文基于 Song 的猜想，即 4d $\mathcal{N}=2$ SCFT 的 Macdonald 指数等于其关联 Schur VOA 的精细特征标（refined character）。作者建立了该精细特征标与 VOA 的 Zhu $C_2$-代数的弧空间（arc space）的希尔伯特级数（Hilbert series）之间的联系。作者证明，对于强有限生成的经典自由 VOA，该精细特征标（在味子逃逸量/flavor fugacities 设为 1 时）恰好等于 Zhu $C_2$-代数弧空间的希尔伯特级数。
2. Gröbner 基计算： 为了计算这些弧空间的希尔伯特级数，作者利用了 Gröbner 基算法。他们确定了定义特定 AD 理论弧空间的理想的领先单项式（leading monomials）。这使得他们能够计算弧空间模去约束后的基元素计数，从而有效地按 $t$ 的阶数逐阶计算希尔伯特级数。
3. RG 流与张量积： 作者利用了 Higgs 分支重整化群（RG）流，该流将 $(A_1, D_{2n+1})$ 理论与一个连接着自由超多重态（具体为一个 $Z_2$-投影的超多重态）的 $(A_1, A_{2n-2})$ 理论联系起来。他们利用这种物理关系，基于已知较简单组分的指数，提出了 $(A_1, D_{2n+1})$ 理论 Macdonald 指数的로 ansatz（假设形式）。
4. $q$-级数恒等式： 为了验证其提出的公式，作者证明了新的 $q$-级数恒等式。这些恒等式对于证明其提出的 Macdonald 指数在 $t \to q$ 的极限下能正确还原为已知的 Schur 指数是必要的。

核心贡献与结果

• 理论框架（定理 3.1）： 作者证明，对于一个从其 Zhu $C_2$-代数的弧空间到其相关阶代数的映射是单射的强有限生成 VOA（这是“经典自由”VOA 所满足的一个条件），其 Macdonald 指数（在味子逃逸量设为 1 时）等于其 Zhu $C_2$-代数弧空间的希尔伯特级数。
• $(A_1, D_{2n+1})$ 的猜想公式： 本文提出了 $(A_1, D_{2n+1})$ Argyres-Douglas 理论的 Macdonald 指数的闭合形式公式：
  $$I^{(A_1, D_{2n+1})}_M = 1 + \sum_{m=1}^{\infty} t^m \sum_{l=1}^m \frac{f^n_{m,l}(q)}{(q;q)_l} \sum_{k=0}^{2l} \binom{2l}{k}_q$$
  其中 $f^n_{m,l}(q)$ 是由涉及分拆（partitions）之和的超几何关系定义的特定 $q$-多项式函数。
• $(A_1, D_3)$ 的显式结果： 对于 $n=1$（即 $(A_1, D_3)$ 理论）的具体情况，作者导出了一个简化的闭合形式：
  $$I^{(A_1, D_3)}_M = \sum_{m=0}^{\infty} \frac{t^m}{(q;q)_m} \sum_{k=0}^{2m} \binom{2m}{k}_q$$
  该公式被证明在 $t$ 的高阶项中，能够重现从 Class S 构建法以及对应弧空间希尔伯特级数中获得的系数。
• 与自由超多重态的关系： 作者展示了一个令人惊讶的关系，即 $(A_1, D_{2n+1})$ 的 Macdonald 指数可以通过 $(A_1, A_{2n-2})$ 理论的 Macdonald 指数与一个经过 $Z_2$-投影的自由超多重态的乘积，并经由特定的修正因子进行构造。对于该指数所计数的 Schur 环算符（ring operators）而言，这一关系成立，但不一定作为完整 SCFTs 的因子分解。
• 数学恒等式： 为了确保提出的公式与已知的 Schur 极限相匹配，作者证明了一族 $q$-级数恒等式。特别地，他们证明了：
  $$\left( \frac{(q^{2n+1}; q^{2n+1})_\infty}{(q;q)_\infty} \right)^3 = \sum_{m=0}^{\infty} \frac{q^m}{(q;q)_m} \sum_{l=0}^m \frac{f^n_{m,l}(q)}{(q;q)_l} \sum_{k=0}^{2l} \binom{2l}{k}_q$$
  他们还证明了一个涉及 $q$-Pochhammer 符号立方比值的独立恒等式，并指出该恒等式可能具有独立的数学意义。

意义与主张

本文声称提供了一种利用关联 Schur VOA 的数据来计算 4d $\mathcal{N}=2$ SCFTs 的 Macdonald 指数的具体算法程序，从而绕过了对拉格朗日描述的需求。通过证明精细特征标与 Zhu $C_2$-代数弧空间的希尔伯特级数之间的联系，作者表明其方法对于任何 Schur VOA 是拟紧致（quasi-lisse）且经典自由的 4d $\mathcal{N}=2$ SCFT 都是可推广的。

作者对于其 $(A_1, D_{2n+1})$ 主公式的地位持谨慎态度，将其称为一个受以下因素支持的猜想：

1. 与 Schur 极限的一致性（通过 $q$-级数恒等式得到证明）。
2. 与 Zhu $C_2$-代数弧空间的希尔伯特级数的一致性（在 $t$ 的低阶项中经过数值验证）。
3. 与向 $(A_1, A_{2n-2})$ 理论的 RG 流的一致性。

这项工作架起了 4d SCFT 的物理可观测量与弧空间代数几何之间的桥梁，提供了一种研究非拉格朗日理论的新计算工具，并为 $q$-级数领域贡献了新的恒等式。