[论文解读] Aspects of line operators of class S theories

Dan Xie|arXiv (Cornell University)|Dec 11, 2013

Black Holes and Theoretical Physics参考文献 35被引用 21

一句话总结

本文通过黎曼曲面上的闭合曲线与网状结构，利用德恩-瑟斯通坐标，对4D $σ=2$ 类 $\mathcal{S}$ 理论中的线算符进行了几何分类，将其与威尔逊-’t Hooft算符联系起来。引入了基于簇坐标的狄拉克积与相互局部性条件，通过算符乘积展开（OPE）的闭包性、相互局部性及最大性对允许的线算符进行分类，并表明不同的规范群及其离散 $\theta$ 角度源于几何数据的不同选择，而对偶性作用（S 和 T）通过映射类群作用将这些理论相互关联。

ABSTRACT

Geometric picture of line operators of N=2 class S theories was found by imposing closure condition on operator product expansion (OPE) of line operators. In this paper, we first identify the geometric representation of ordinary Wilson-'t Hooft line operators of field theory, and study duality action on them. We further define a Dirac product between line operators and classify the allowed set of line operators by requiring: a: closure of OPE; b: mutual locality; c: maximality. Using above classifications, we find many distinct gauge theories associated with a single duality frame, and show explicitly that new possibilities correspond to the choice of global form of gauge group and discrete theta angles. We also study S and T duality actions relating those theories. In particular, we find very interesting duality webs for Maldacena-Nunez theory.

研究动机与目标

• 通过黎曼曲面上的闭合曲线，几何化地表示类 $\mathcal{S}$ 理论中威尔逊-’t Hooft线算符。
• 利用簇坐标与同调类，定义线算符之间的狄拉克积与相互局部性条件。
• 通过要求算符乘积展开（OPE）的闭包性、相互局部性与最大性，对允许的线算符进行分类，并将其与规范群的全局形式及离散 $\theta$ 角度联系起来。
• 研究 S 和 T 对偶性作用于线算符时的行为，展示其如何通过映射类群作用将具有不同全局结构与 $\theta$ 角度的规范理论相互关联。
• 将先前关于 $\theta$ 角度与对偶性的结果推广至包含多个规范群与fundamental matter 的理论。

提出的方法

• 使用闭合曲线上德恩-瑟斯通坐标，几何化表示弱耦合对偶框架下类 $\mathcal{S}$ 理论中的威尔逊-’t Hooft线算符。
• 将线算符之间的狄拉克积定义为 $<L_1, L_2> = -\sum_k x_{1k} a_{2k}$，其中 $x$ 与 $a$ 为热带簇坐标。
• 将相互局部性表示为同调类交形式的条件，通过同调理论简化分类过程。
• 应用算符乘积展开（OPE）的闭包性与最大性约束，对允许的线算符集合进行分类。
• 利用映射类群作用（S 与 T 对偶性）在黎曼曲面上，将具有不同全局形式与 $\theta$ 角度的规范理论相互关联。
• 分析亏格为二的情况，揭示 $\theta$ 角度之间存在非独立关系，其结构由对偶群性质决定。

实验结果

研究问题

• RQ1 类 $\mathcal{S}$ 理论中的威尔逊-’t Hooft线算符如何通过黎曼曲面上的闭合曲线实现几何化？
• RQ2 线算符之间的狄拉克积的几何与代数定义是什么？其与同调类交形式有何关联？
• RQ3 算符乘积展开（OPE）的闭包性、相互局部性与最大性如何约束类 $\mathcal{S}$ 理论中允许的线算符集合？
• RQ4 不同的规范群全局形式与离散 $\theta$ 角度如何从黎曼曲面上的几何数据中产生？
• RQ5 对偶群（映射类群）在约束可能的 $\theta$ 角度及关联不同规范理论中起什么作用？

主要发现

• 威尔逊-’t Hooft线算符可几何化地表示为黎曼曲面上的闭合曲线，其量子数由德恩-瑟斯通坐标编码。
• 线算符之间的狄拉克积通过热带簇坐标定义，并对应于其同调类的交形式。
• 相互局部性等价于交形式为零，且该条件在簇变换下保持不变，确保了在不同对偶框架下的自洽性。
• 通过算符乘积展开（OPE）的闭包性、相互局部性与最大性对允许线算符的分类，唯一确定了规范群的全局形式与离散 $\theta$ 角度。
• 具有不同全局形式与 $\theta$ 角度的规范理论，可通过 S 与 T 对偶性作用相互关联，这些作用在黎曼曲面上表现为映射类群的变换。
• 对于亏格为二的理论，$\theta$ 角度的选择并非相互独立；其复杂的相互关系由对偶群结构编码。