[论文解读] The Coulomb Branch of 3d $\mathcal{N}=4$ Theories

Mathew Bullimore, Tudor Dimofte+1 more|arXiv (Cornell University)|Mar 16, 2015

Black Holes and Theoretical Physics参考文献 51被引用 45

一句话总结

本文提出了一种通用框架，通过任意子单极算符和BPS模空间上的等变局部化，构建3D $χ=4$规范理论的量子修正Coulomb分支。通过阿贝尔化映射推导了环的结构，并利用等变积分计算泊松括号，通过扭量空间统一所有复结构以编码完整的超凯勒度量，已在SQCD和笼型理论中得到验证。

ABSTRACT

We propose a construction of the quantum-corrected Coulomb branch of a general 3d gauge theory with $\mathcal{N}=4$ supersymmetry, in terms of local coordinates associated with an abelianized theory. In a fixed complex structure, the holomorphic functions on the Coulomb branch are given by expectation values of chiral monopole operators. We construct the chiral ring of such operators, using equivariant integration over BPS moduli spaces. We also quantize the chiral ring, which corresponds to placing the 3d theory in a 2d Omega background. Then, by unifying all complex structures in a twistor space, we encode the full hyperkähler metric on the Coulomb branch. We verify our proposals in a multitude of examples, including SQCD and linear quiver gauge theories, whose Coulomb branches have alternative descriptions as solutions to the Bogomolnyi and/or Nahm equations.

研究动机与目标

• 为任意3D $χ=4$规范理论提供一个通用的、非微扰的量子修正Coulomb分支描述。
• 通过引入带电单极算符作为基本生成元，解决标准局部算符无法捕捉对偶光子期望值的局限性。
• 通过在BPS模空间上进行等变积分，推导单极算符环的完整泊松代数结构。
• 通过扭量空间统一所有复结构，编码Coulomb分支上的完整超凯勒度量。
• 通过与Bogomolnyi方程和Nahm方程解的比较，在SQCD和线性笼型规范理论等具体例子中验证该构造。

提出的方法

• 引入由GNO磁荷$A$和$G_A$-不变多项式$p$标记的带电单极算符$M_{A,p}$，其中$p$为矢量 multiplet 标量的多项式。
• 定义一个阿贝尔化映射，将$M_{A,p}$表示为阿贝尔单极算符期望值$v_B$的和，其系数为亚纯函数$c^{B}_{A,p}[\varphi_a]$，在阿贝尔化理论中成立。
• 通过在泡状单极解的BPS模空间$\mathcal{M}_{A}^{B}$上进行等变路径积分，计算系数$c^{B}_{A,p}[\varphi_a]$。
• 使用等变积分$c^{B}_{A,p}[\varphi_a] = \int^{G\text{-equivariant}}_{\mathcal{M}_{A}^{B}} c_p[E_A] e(\mathcal{D}_m)$，其中包含狄拉克零模式丛的欧拉类和通用丛的示性类。
• 通过将理论置于2D Omega背景中实现环的量子化，得到一个非交换代数，其泊松括号具有$\epsilon$-变形形式。
• 通过在扭量空间中统一所有复结构，构建完整的超凯勒度量，其中环作为Coulomb分支上的全纯函数。

实验结果

研究问题

• RQ1 如何在阿贝尔或膜基例子之外，系统地构造一般3D $χ=4$规范理论的量子修正Coulomb分支？
• RQ2 由荷载单极算符生成的环的精确代数结构——特别是泊松括号——是什么？
• RQ3 单极算符的期望值在阿贝尔化下如何变换？系数$c^{B}_{A,p}[\varphi_a]$的物理和几何意义是什么？
• RQ4 能否通过扭量构造，仅用全纯数据重建Coulomb分支上的完整超凯勒度量？
• RQ5 在泡状单极BPS模空间上的等变局部化结果，如何重现SQCD和笼型理论中的已知结果？

主要发现

• Coulomb分支的环由荷载单极算符$M_{A,p}$生成，其期望值在量子修正Coulomb分支上构成一组完整的全纯函数。
• 这些算符的泊松代数通过在BPS模空间$\mathcal{M}_{A}^{B}$上的等变积分计算，系数$c^{B}_{A,p}[\varphi_a]$捕捉了从非阿贝尔到阿贝尔单极荷的微观过渡。
• $\epsilon$-变形的非交换代数与2D Omega背景中量子修正环一致，其显式$\epsilon$-依赖泊松括号如$u^+_{a}u^+_{b} = -\frac{1}{(\varphi_a-\varphi_b)(\varphi_a-\varphi_b-\epsilon)}u^+_{h_a+h_b}$。
• 在$U(N)$ SQCD中，单极算符$M_{\pm h_1, \det(z-\varphi)}$和$M_{h_1-h_N, \det(z-\varphi_{U(N-2)})}$通过$U(N-1)$和$U(N-2)$通用丛构造，其特征类来自$T^*\mathbb{CP}^{N-1}$的解析。
• 模空间$\mathcal{M}_{h_1-h_N}^0$是$T^*\mathbb{CP}^{N-1}$的坍缩，$M_{h_1,0}M_{-h_1,0}$的因子分解之间的福洛普转变对应于该解析的两个不动点。
• 该构造重现了SQCD和笼型理论中的已知结果，包括通过扭量空间实现的超凯勒度量，并为超越微扰论的单极算符代数计算提供了一种通用机制。