[论文解读] Crystallization of deformed Virasoro algebra, Ding-Iohara-Miki algebra and 5D AGT correspondence

Yusuke Ohkubo, Hidetoshi Awata+1 more|arXiv (Cornell University)|Dec 25, 2015

Algebraic structures and combinatorial models参考文献 31被引用 13

一句话总结

本文研究了形变Virasoro代数和Ding-Iohara-Miki代数在 $q \to 0$ 极限下的性质，表明该极限对应于Hall-Littlewood函数，并简化了5D AGT对应关系。利用Hall-Littlewood函数理论，作者证明了PBW型向量在 $N=2$ 情况下构成基，并推导出某一算符的四点关联函数的显式公式，同时在该极限下验证了5D AGT猜想的最简情形。

ABSTRACT

In this paper, we consider the $q ightarrow 0$ limit of the deformed Virasoro algebra and that of the level 1, 2 representation of Ding-Iohara-Miki algebra. Moreover, 5D AGT correspondence at this limit is discussed. This specialization corresponds to the limit from Macdonalds functions to Hall-Littlewood functions. Using the theory of Hall-Littlewood functions, some problems are solved. For example, the simplest case of 5D AGT conjectures is proven at this limit, and we obtain a formula for the 4-point correlation function of a certain operator.

研究动机与目标

• 研究形变Virasoro代数和Ding-Iohara-Miki代数在 $q \to 0$ 极限下的性质，该极限对应于从Macdonald函数到Hall-Littlewood函数的特化。
• 探讨该极限对5D AGT对应关系的影响，特别是其对共形块和关联函数结构的简化作用。
• 利用Hall-Littlewood函数理论，证明在代数 $\langle X^{(i)}_n \rangle$ 的 $N=2$ 情况下，PBW型向量构成基。
• 推导并验证算符 $\tilde{\Phi}(z)$ 在 $q \to 0$ 极限下四点关联函数的显式公式。
• 建立该极限与物理诠释之间的联系，如零温极限以及5D规范理论中 $R \to \infty$ 极限。

提出的方法

• 分析形变Virasoro代数和Ding-Iohara-Miki代数在 $q \to 0$ 极限下的性质，识别出其向Hall-Littlewood函数的特化。
• 应用Hall-Littlewood对称函数理论，证明在 $N=2$ 情况下PBW型向量构成基。
• 利用AFLT基和广义Hall-Littlewood函数，通过PBW基中的单位分解计算关联函数。
• 利用递推关系和围道积分，推导并验证四点函数 $\langle \vec{w} | \tilde{\Phi}(z_2)\tilde{\Phi}(z_1) | \vec{u} \rangle$ 的积分表示。
• 通过匹配系数并证明一个非平凡的因子分解恒等式，比较同一关联函数的两种不同基展开形式——一种来自AFLT基，一种来自PBW基。
• 通过验证所推导公式与已知的Nekrasov型结构一致，确立了5D AGT猜想在 $q \to 0$ 极限下的自洽性。

实验结果

研究问题

• RQ1 形变Virasoro代数和Ding-Iohara-Miki代数在 $q \to 0$ 极限下是否导致5D AGT对应关系的简化？
• RQ2 能否利用Hall-Littlewood函数理论证明在代数 $\langle X^{(i)}_n \rangle$ 的 $N=2$ 表示中，PBW型向量构成基？
• RQ3 在 $q \to 0$ 极限下，算符 $\tilde{\Phi}(z)$ 的四点关联函数是否存在显式表达式？
• RQ4 该 $q \to 0$ 极限与物理诠释（如RSOS模型中的零温极限和5D规范理论中 $R \to \infty$ 极限）有何关联？
• RQ5 能否通过涉及Hall-Littlewood函数的非平凡恒等式，严格证明四点函数在两种不同基展开下的等价性？

主要发现

• 形变Virasoro代数和Ding-Iohara-Miki代数在 $q \to 0$ 极限下特化为Hall-Littlewood函数，从而简化了代数与物理结构。
• 在 $N=2$ 情况下，代数 $\langle X^{(i)}_n \rangle$ 的PBW型向量构成基，该结论通过Hall-Littlewood函数理论得以证明。
• 推导出四点关联函数 $\langle \vec{w} | \tilde{\Phi}(z_2)\tilde{\Phi}(z_1) | \vec{u} \rangle$ 的显式公式，其形式为对分拆 $\lambda$ 的求和，系数包含 $t^{2n(\lambda)}b_\lambda(t^{-1})$ 以及乘积项 $\prod_{k \geq 1} \left(1 - t^{k-1} \frac{w_1w_2}{v_1v_2}\right)$。
• 通过比较两种不同基展开（一种来自AFLT基，一种来自PBW基）的表达式，并借助非平凡的因子分解恒等式，验证了公式的自洽性。
• 在 $q \to 0$ 极限下，5D AGT猜想的最简情形被完全证明，建立了代数结构与Nekrasov instanton划分函数之间的严格联系。
• 该 $q \to 0$ 极限在物理上对应于RSOS模型的零温极限，以及5D规范理论中 $R \to \infty$ 的极限，暗示其与 $\mathbb{R}^5$ 上的场论存在关联。