[论文解读] AGT conjecture and AFLT states: a complete construction

Bao Shou, Jianfeng Wu+1 more|arXiv (Cornell University)|Jul 24, 2011

Black Holes and Theoretical Physics参考文献 37被引用 15

一句话总结

本文在 AGT 猜想的背景下，完整构建了 AFLT 状态，建立了 4d $N=2$ $U(2)$ 规范理论中 Nekrasov instanton 分区函数与 $Vir \oplus u(1)$ 2D CFT 中的共形块之间的精确对应关系。作者通过显式计算至第 3 层的 AFLT 状态之间的转移系数，验证了所有检查情形下的 AGT 对偶性，确认了通过 Young 图组合学与筛子电荷实现的瞬子计数与共形块结构之间的等价性。

ABSTRACT

A complete construction of the AFLT states is proposed. With this construction and for all the cases we have checked, the AGT conjecture on the equivalence of Nekrasov Instanton Counting (NIC) to the $Vir\oplus u(1)$ conformal block has been verified to be true.

研究动机与目标

• 在 $Vir \\oplus u(1)$ 共形场论框架下，提供 AFLT 状态的完整显式构建。
• 通过证明 Nekrasov 瞬子分区函数与共形块在所有检查情形下的等价性，验证 AGT 猜想。
• 通过将 Liouville 共形块嵌入包含筛子电荷的更大 $Vir \oplus u(1)$ 系统中，解决其复杂性。
• 利用 Young 表与转移系数，建立共形块的组合式、逐层构建方法。

提出的方法

• 提出一种系统性构建 AFLT 状态的方法，利用通过 Nekrasov 分区函数与动量相关因子定义的转移系数 $C_{Y_1,Y_2}^{Y_1',Y_2'}$。
• 使用共形对称性守恒律与 Zamolodchikov 递推关系，逐层进行共形块的微扰计算。
• 将瞬子计数描述为在 toric Calabi-Yau 3-流形上 D0-膜气体的双重描述，其中分数 D0 膜代表 ALE 奇点处的瞬子。
• 利用 Seiberg-Witten 曲线上的点的 Hilbert 模空间，将瞬子模空间映射到共形场论态。
• 推导出至第 3 层的显式转移系数表达式，包括对中心电荷 $b$ 与动量 $P$ 的依赖，利用 $Vir \oplus u(1)$ descendant 的递归结构。
• 依赖 AGT 对偶性，将 $U(2)$ 规范理论的分区函数映射到 $Vir \oplus u(1)$ 共形块，通过解耦 $u(1)$ 因子以恢复 $SU(2)$ 对偶性。

实验结果

研究问题

• RQ1 能否在有限层范围内，为 $Vir \oplus u(1)$ 共形块实现 AFLT 状态的完整显式构建？
• RQ2 所提出的 AFLT 状态构建是否能产生与 $N=2$ $U(2)$ 规范理论中 Nekrasov 瞬子分区函数相匹配的共形块？
• RQ3 筛子电荷与 $u(1)$ 电流代数如何影响 AGT 框架中共形块的结构？
• RQ4 Young 表的组合结构是否能完全捕捉 $Vir \oplus u(1)$ CFT 中的瞬子分区函数？
• RQ5 是否通过 AFLT 状态的显式构建，验证了所有测试情形下的 AGT 猜想？

主要发现

• 作者成功构建了至第 3 层的 AFLT 状态，以 $b$、$P$ 与 Young 图表示显式转移系数 $C_{Y_1,Y_2}^{Y_1',Y_2'}$。
• 所有计算出的系数均与 Nekrasov 瞬子分区函数一致，确认了所有测试情形下 AGT 猜想的成立。
• 第 2 层与第 3 层系数被显式推导，显示出对 $b$、$P$ 以及 $b^2$ 的有理函数依赖，其奇点出现在 $b^2 = 1, 2$ 等处，对应于退化表示。
• 该构建揭示了深刻的组合结构：共形块通过 $Vir \oplus u(1)$ descendant 的正交基构建，其中 $u(1)$ 电荷由 $P$ 固定。
• 该方法确认了 $Vir \oplus u(1)$ 共形块结构完全由 Nekrasov 分区函数捕捉，且无超出 $U(2)$ 瞬子求和的额外贡献。
• 解耦 $u(1)$ 因子后，得到一致的 $SU(2)$ 对偶性，共形块与 AGT 预测的 $SU(2)$ 瞬子分区函数完全匹配。