[论文解读] Supersymmetric gauge theories, quantisation of moduli spaces of flat connections, and Liouville theory

Jörg Teschner|arXiv (Cornell University)|Dec 22, 2014

Black Holes and Theoretical Physics参考文献 17被引用 9

一句话总结

本文建立了4D N=2类S超对称 gauge 理论、黎曼曲面上 PSL(2,R)-平坦联络模空间的量子化，以及2D Liouville 一致型场论之间的深层联系。结果表明，AGT 对应关系源于超对称威尔逊-'t Hooft 量子算符代数与模空间迹函数代数之间的同构，其中由 Omega 重整化引入的非交换性与模空间的量子变形相匹配，而 Liouville 理论中的共形块则实现了该代数的量子表示。

ABSTRACT

This is the 11th article in the collection of reviews "Exact results in N=2 supersymmetric gauge theories", ed. J. Teschner. It describes an approach to understanding the 4d/2d relations discovered by Alday, Gaiotto and Tachikawa by establishing a triangle of relations between the zero mode quantum mechanics obtained by localisation of class $\cal S$ theories, the quantum theory obtained by quantisation of Hitchin moduli spaces, and conformal field theory.

研究动机与目标

• 通过黎曼曲面 C 上的平坦联络模空间的量子化，解释 AGT 对应关系。
• 将超对称威尔逊与 't Hooft 环路算符生成的代数识别为平坦 PSL(2,R)-联络模空间上的迹函数代数。
• 证明在 Omega 重整化下，该代数的非交换性与模空间的量子变形精确匹配，后者由泊松结构与辛形式定义。
• 利用 Fock-Goncharov 坐标 (X_e) 与泊松括号 {X_e, X_f} = n_{e,f} X_e X_f 构造量子代数，其中 n_{e,f} 表示带符号的共享面数。
• 将 Liouville 理论中的共形块实现为量子迹函数代数的表示空间，其结构常数与模空间泊松代数的常数一致。
• 通过 S duality 与德恩扭转，将同一 gauge 理论的不同拉格朗日描述联系起来，其耦合常数 τ 通过模变换相互关联。

提出的方法

• 使用在黎曼曲面 C 上定义的类 S gauge 理论，其规范群为 (SU(2))^h，味对称性为 (SU(2))^n，由复结构模参 τ 参数化。
• 将超对称环路算符代数识别为平坦 PSL(2,R)-联络模空间 M_flat 上迹函数代数。
• 证明在 Omega 重整化下，环路算符代数的非交换性与 M_flat 的量子变形精确匹配，后者由泊松结构与辛形式定义。
• 利用 Fock-Goncharov 坐标 (X_e) 与泊松括号 {X_e^τ, X_f^τ} = n_{e,f} X_e^τ X_f^τ 构造量子代数，其中 n_{e,f} 计数共享面并带符号。
• 将 Liouville 理论中的共形块实现为量子迹函数代数的表示空间，其结构常数与模空间泊松代数的常数一致。
• 利用 S duality 与 Dehn 扭转，将同一 gauge 理论的不同拉格朗日描述联系起来，其耦合常数 τ 通过模变换相关联。

实验结果

研究问题

• RQ1 N=2 gauge 理论中，超对称环路算符代数与平坦联络模空间上的迹函数代数之间存在何种关系？
• RQ2 gauge 理论的 Omega 重整化与平坦联络模空间的量子化之间，其精确对应关系为何？
• RQ3 Liouville 理论中的共形块如何实现迹函数代数的量子表示？
• RQ4 AGT 对应关系如何从环路算符、模空间几何与超对称性的相互作用中自然涌现？
• RQ5 类 S 理论的低能有效作用量如何从四维椭球面上环路算符的期望值重构？

主要发现

• 由超对称威尔逊与 't Hooft 环路算符生成的代数，与黎曼曲面 C 上平坦 PSL(2,R)-联络模空间的迹函数代数同构。
• 由 Omega 重整化引入的非交换性，精确匹配由泊松结构与辛形式定义的模空间量子变形。
• 迹函数 L_γ 上的泊松括号为 {L_γ₁, L_γ₂} = L_{A(γ₁,γ₂)}，其中 A 为反对称平滑操作，与 Atiyah-Bott 辛结构一致。
• Fenchel-Nielsen 坐标 (l,k) 为达布坐标，满足 {l,k} = 2；在 Fock-Goncharov 坐标下，泊松结构为 {X_e^τ, X_f^τ} = n_{e,f} X_e^τ X_f^τ。
• Liouville 理论的共形块为量子迹函数代数提供了酉表示，其结构常数与多项式关系 P(L_s, L_t, L_u) = 0 一致。
• AGT 对应关系源于环路算符代数与量子模空间之间的同构，结合未破缺的超对称性与 S duality，使得低能有效作用量可从环路期望值重构。