[论文解读] Localization of a supersymmetric gauge theory in the presence of a surface defect

Joël Lamy-Poirier|arXiv (Cornell University)|Dec 1, 2014

Black Holes and Theoretical Physics参考文献 12被引用 11

一句话总结

该论文通过超对称局部化方法，计算了在 $ S^4 $ 上的 $ \mathcal{N}=2 $ 超杨-米尔斯理论与 $ S^2 $ 子空间上耦合的规范线性 sigma 模型（GLSM）表面缺陷的划分函数。结果为 $ S^4 $ 上的修正划分函数，其包含一个平移后的 GLSM 贡献和一个由 4d 向量多重态通过横向导数耦合到缺陷上 chiral 多重态所引起的形变 instanton 划分函数，该过程保持了 $ \mathcal{N}=(2,2) $ 超对称性。

ABSTRACT

We use supersymmetric localization to compute the partition function of N=2 super-Yang-Mills on S^4 in the presence of a gauged linear sigma model surface defect on a S^2 subspace. The result takes the form of a standard partition function on S^4, with a modified instanton partition function and an additional insertion corresponding to a shifted version of the gauged linear sigma model partition function.

研究动机与目标

• 计算在 $ S^4 $ 上的 4d $ \mathcal{N}=2 $ 超对称规范理论与 $ S^2 $ 子空间上 2d GLSM 表面缺陷耦合的划分函数。
• 将超对称局部化技术扩展至具有表面缺陷的理论，特别是在缺陷上保持 $ \mathcal{N}=(2,2) $ 超对称性的背景下。
• 为计算物理可观测量（如威尔逊环）并验证缺陷存在时的 AGT 对偶性提供一个框架。
• 推导通过横向导数耦合到 4d 向量多重态的 chiral 多重态的一圈确定性与 instanton 划分函数。
• 将结果推广至包含缺陷上的物质多重态与向量多重态，为后续计算奠定基础。

提出的方法

• 在具有 $ S^2 $ 表面缺陷的 $ S^4 $ 上使用超对称局部化，通过形变作用量将路径积分局部化到序数分支。
• 将 4d 向量多重态限制在 $ S^2 $ 缺陷上，产生包括向量多重态和来自横向导数的 chiral 多重态在内的二维场塔。
• 将 4d 规范场视为 2d chiral 多重态的背景场，通过横向椭圆 Dirac 算子 $ D_{10} $ 进行耦合。
• 应用等变指标定理计算 chiral 多重态的一圈确定性，利用 $ \mathcal{Q} $-同调结构。
• 将一圈确定性推导为 $ Z_{1-\text{loop}} = \prod_{w\in R} \frac{\Gamma(\omega\cdot\Lambda_N - irM)}{\Gamma(1 - \omega\cdot\Lambda_S + irM)} $，其中 $ \Lambda_N, \Lambda_S $ 为极点处的背景规范连接。
• 将完整划分函数构建成 4d 与 2d 序数分支积分的乘积，包含一个修正的 instanton 划分函数与一个平移后的 GLSM 贡献。

实验结果

研究问题

• RQ1 在 $ S^2 \subset S^4 $ 上存在表面缺陷时，如何改变 4d $ \mathcal{N}=2 $ 规范理论的划分函数？
• RQ2 在缺陷设置中，通过横向导数耦合到 4d 向量多重态的 chiral 多重态的一圈确定性具有何种结构？
• RQ3 当 $ \Omega $-背景中包含 $ \mathbb{R}^2 $ 上的 2d 缺陷时，instanton 划分函数如何被形变？
• RQ4 超对称局部化能否在 4d-2d 耦合系统中一致应用，且缺陷上保持 $ \mathcal{N}=(2,2) $ 超对称性？
• RQ5 在该缺陷构型中，等变指标在计算 chiral 多重态一圈确定性中起何种作用？

主要发现

• 划分函数的形式为 $ S^4 $ 上的 4d 划分函数，其包含一个修正的 instanton 划分函数与一个来自平移后 GLSM 划分函数的附加插入项。
• chiral 多重态的一圈确定性被推导为 $ \prod_{w\in R} \frac{\Gamma(\omega\cdot\Lambda_N - irM)}{\Gamma(1 - \omega\cdot\Lambda_S + irM)} $，其中 $ \Lambda_N, \Lambda_S $ 分别为北极与南极处的背景规范连接。
• 4d 向量多重态与 2d chiral 多重态之间的耦合源于 4d 规范场横向导数的限制，形成一列 2d 多重态。
• 所得理论在 $ S^2 $ 缺陷上保持 $ \mathcal{N}=(2,2) $ 超对称性，打破了一半原始 4d 超荷。
• instanton 划分函数是 Nekrasov 原版的修正版本，纳入了 $ \Omega $-背景中的 2d 缺陷，尽管其完整推导留待未来工作。
• 该方法可推广至包含缺陷上的物质多重态与向量多重态，从而为缺陷构型中进一步计算物理可观测量铺平道路。