[论文解读] OPE of Wilson-'t Hooft operators in N=4 and N=2 SYM with gauge group G=PSU(3)

Ruxandra Moraru, Natalia Saulina|arXiv (Cornell University)|Jun 28, 2012

Black Holes and Theoretical Physics参考文献 20被引用 7

一句话总结

本文通过全纯-拓扑扭转和BPS态模空间，计算了在规范群 $G=PSU(3)$ 的 ${\mathcal{N}}=4$ 和 ${\mathcal{N}}=2$ 超杨–米尔斯理论中，威尔逊-‘t Hooft算符的首个非平凡算符乘积展开（OPE）。OPE结构通过计算紧致与非紧致模空间上向量丛的全纯欧拉示性数确定，结果以电荷与磁荷表示的分解形式呈现，符号由上同调数据导出。

ABSTRACT

We compute the simplest non-trivial Operator Product Expansion of Wilson-'t Hooft loop operators in N=4 and N=2 Super-Yang-Mills theory with gauge group G=PSU(3). This amounts to finding the Euler characters of certain vector bundles, describing electric degrees of freedom of loop operators entering the OPE, over moduli spaces of BPS states in the presence of loop operators.

研究动机与目标

• 计算在 $G=PSU(3)$ 的 ${\mathcal{N}}=4$ 和 ${\mathcal{N}}=2$ SYM 中威尔逊-‘t Hooft算符的首个非平凡OPE，扩展此前对 $G=SU(2)$ 的结果。
• 通过计算BPS态模空间上向量丛的全纯欧拉示性数，确定参与OPE的电荷与磁荷态谱。
• 验证OPE结构与S对偶性及表示理论的一致性，特别是朗兰兹对偶群 ${{}^{L}G}=SU(3)$ 的作用。
• 为非阿贝尔规范群的超对称 gauge 理论中的OPE计算提供几何与上同调框架。

提出的方法

• 利用 ${\mathcal{N}}=2$ gauge 理论的全纯-拓扑扭转，将问题简化为黎曼面上的超对称量子力学。
• 在紧致模空间 ${\mathcal{M}}$ 上计算全纯欧拉示性数 $\mathbf{I}_{{\mathcal{N}}=4}\bigl{(}{\mathcal{M}},{\mathcal{V}}_{a,b}\bigr{)}$ 和 $\mathbf{I}_{{\mathcal{N}}=2}\bigl{(}{\mathcal{M}},{\mathcal{V}}_{a,b}\bigr{)}$，其编码了该量子力学的基态。
• 通过 $L^2$ Dolbeault 上同调分析模空间的非紧致“体”部分 $X$，计算 $\mathbf{I}_{{\mathcal{N}}=4}\bigl{(}X,{\mathcal{V}}^{bulk}_{a,b}\bigr{)}$ 和 $\mathbf{I}_{{\mathcal{N}}=2}\bigl{(}X,{\mathcal{V}}^{bulk}_{a,b}\bigr{)}$，适用于奇异空间。
• 利用BPS构型与含磁源的3维玻戈莫洛尼方程解之间的联系，定义模空间 ${\mathcal{M}}$ 和 $X$。
• 应用 $L^2$ Dolbeault 上同调技术计算上同调群 $H^{j}_{\overline{D},L^2}(X, {\mathcal{O}}_X(n))$，并通过检查平方可积调和形式来确定物理态。
• 使用微分形式的显式试探解，并通过范数收敛性检验排除虚假态，尤其在 $H^2_{\overline{D},L^2}(X, {\mathcal{O}}_X(-3))$ 和 $H^2_{\overline{D},L^2}(X, {\mathcal{O}}_X(3))$ 中。

实验结果

研究问题

• RQ1 在 $G=PSU(3)$ 的 ${\mathcal{N}}=4$ SYM 中，威尔逊-‘t Hooft算符的OPE结构为何？其如何体现S对偶性？
• RQ2 OPE中中间态的电荷与磁量子数如何从BPS模空间的几何结构中导出？
• RQ3 紧致模空间 ${\mathcal{M}}$ 及其非紧致“体”部分 $X$ 在计算OPE系数中起何作用？
• RQ4 为何某些不可约表示不出现在 $L^2$ 上同调群中？这对物理谱有何影响？
• RQ5 如何一致地计算奇异空间上的 $L^2$ Dolbeault 上同调，以提取物理态？

主要发现

• 两个磁荷为 $w_1$、电荷为 $\nu = aw_1 + bw_2$（满足 $a+2b \equiv 0 \mod 3$）的威尔逊-‘t Hooft算符的OPE分解为 $WT_{w_1,\nu} \times WT_{w_1,0} = WT_{2w_1,\nu} + \sum_j (-)^{s_j} WT_{w_2,\nu_j}$，其中 $\nu_j$ 与符号 $(-)^{s_j}$ 对特定 $a,b$ 已显式确定。
• 系数 $\mathbf{I}_{{\mathcal{N}}=4}\bigl{(}{\mathcal{M}},{\mathcal{V}}_{a,b}\bigr{)}$ 通过 $R^p\pi_*\Omega^q_{{\mathcal{M}}}$ 和 $H^j({\mathcal{M}}, \Omega^p \otimes {\mathcal{V}})$ 计算，结果与预期的表示论结构一致。
• $L^2$ Dolbeault 上同调 $H^2_{\overline{D},L^2}(X, {\mathcal{O}}_X(-3))$ 不包含 $\mathbb{V}_{(0,0)}$ 表示，其范数在 $s \to 0$ 与 $s \to \infty$ 极限下发散，已确认。
• 类似地，$H^2_{\overline{D},L^2}(X, {\mathcal{O}}_X(3))$ 不包含 $\mathbb{V}_{(3,0)}$、$\mathbb{V}_{(1,1)}$ 或 $\mathbb{V}_{(0,0)}$ 表示，因缺乏平方可积解。
• $\mathbf{I}_{{\mathcal{N}}=4}\bigl{(}X, {\mathcal{V}}^{bulk}_{a,b}\bigr{)}$ 的计算依赖于 $T\mathbb{P}^2$ 上的 $L^2$ 上同调，对 $m \geq 1$ 给出 $\Omega^j_X(3m)$ 的显式 $L^2$ 上同调公式。
• 范数积分通过极坐标与标准三角积分计算，关键公式包括 $\int d\Phi / (a + b\cos\Phi)^n$ 与 $T_v$ 上的径向积分，确保对物理态的收敛性检验。