[论文解读] Twisted Formalism for 3d $\mathcal{N}=4$ Theories

Niklas Garner|arXiv (Cornell University)|Apr 6, 2022

Black Holes and Theoretical Physics被引用 5

一句话总结

本文通过使用阿加纳季克-科斯托洛-法法-麦科马斯的扭曲超多重分量，将三维 $χ=4$ 超对称理论的解析-拓扑（HT）扭曲变形为 $A$ 和 $B$ 拓扑扭曲，提出了一种扭变形式。它证明了 $A$ 和 $B$ 扭曲是 HT 理论的精确链级形变，恢复了已知结构如边界顶点算子代数和线性算子范畴，并表明 HT 扭曲中的二阶乘积与完全拓扑扭曲中的对应乘积直接相关。

ABSTRACT

We describe the topological $A$ and $B$ twists of 3d $\mathcal{N}=4$ theories of hypermultiplets gauged by $\mathcal{N}=4$ vector multiplets as certain deformations of the holomorphic-topological ($HT$) twist of those theories, utilizing the twisted superfields of Aganagic-Costello-Vafa-McNamara describing $HT$-twisted 3d $\mathcal{N}=2$ theories. We rederive many known results from this perspective, including state spaces on Riemann surfaces, deformations induced by flavor symmetries, the boundary VOAs of Costello-Gaiotto, and the category of line operators as proposed by Costello-Dimofte-Gaiotto-Hilburn-Yoo. Along the way, we show how the secondary product of local operators in the holomorphic-topological twist is related to the secondary product in the fully topological twist.

研究动机与目标

• 开发一个统一框架，将三维 $χ=4$ 理论的 $A$ 和 $B$ 扭曲视为解析-拓扑（HT）扭曲的形变。
• 在一致的扭曲超多重分量形式体系中重新推导已知结构——如黎曼曲面上的状态空间、边界 VOAs 和线性算子范畴。
• 阐明 HT 扭曲中的二阶乘积与其在完全拓扑 $A$ 和 $B$ 扭曲中的对应乘积之间的关系。
• 将从 $BF$ 理论到 Chern-Simons 理论的形变视角扩展至三维 $χ=4$ 规范理论，利用 BV-BRST 形式体系中的同调等价性。
• 通过几何量子化和上同调方法，提供 $A$ 和 $B$-扭曲三维 $χ=4$ 理论中局部算子代数和线性算子的全局、非微扰描述。

提出的方法

• 利用阿加纳季克-科斯托洛-法法-麦科马斯的扭曲超多重分量描述三维 $χ=2$ 理论的 HT 扭曲，并将其推广至 $χ=4$ 理论。
• 通过幂零超荷形变 $\delta_A$, $\delta_B$，将 $A$ 和 $B$ 扭曲构造为 HT 理论的精确链级形变，而非依赖谱序列。
• 应用巴蒂林-维利科夫斯基（BV）形式体系，将 HT 扭曲理论定义为同调等价模型，使 $\delta_A$, $\delta_B$ 可被提升至链级。
• 通过求解上同调约束，计算 $A$ 和 $B$ 扭曲中的局部算子代数，表明其同构于 $T^{*}[2](V/G)$ 上的函数代数。
• 通过在穿孔圆盘 $\mathbb{D}^\times$ 上解空间的几何量子化，推导线性算子范畴，得到 $\mathrm{QCoh}(\mathrm{Maps}(\mathbb{D}^\times_{\textrm{dR}}, V/G))$。
• 分析由味对称性背景引起的形变，包括复化平坦 $G_H$ 连接和全纯 $T_C$ 线丛，并计算边界算子的修正 OPE。

实验结果

研究问题

• RQ1 如何系统地将三维 $χ=4$ 理论的 $A$ 和 $B$ 扭曲构造为解析-拓扑扭曲的形变？
• RQ2 HT 扭曲中的二阶乘积与完全拓扑 $A$ 和 $B$ 扭曲中的二阶乘积之间的确切关系是什么？
• RQ3 味对称性背景——如平坦 $G_H$ 连接和全 holomorphic $T_C$ 线丛——如何影响 $B$ 扭曲中边界算子的 OPE？
• RQ4 $B$ 扭曲中的线性算子范畴能否通过形式穿孔圆盘上解空间的几何量子化恢复？
• RQ5 BV-BRST 形式体系在实现从 HT 扭曲到 $A$ 和 $B$ 扭曲的精确链级形变中起到什么作用？

主要发现

• 三维 $χ=4$ 理论的 $A$ 和 $B$ 扭曲通过幂零超荷形变 $\delta_A$, $\delta_B$ 实现为 HT 扭曲理论的精确链级形变。
• $B$ 扭曲中局部算子代数同构于 Higgs 丛 $T^{*}[2](V/G)$ 上的函数代数，其结构与 $A$ 扭曲中相同。
• $B$ 扭曲中线性算子范畴为 $\mathrm{QCoh}(\mathrm{Maps}(\mathbb{D}^\times_{\textrm{dR}}, V/G))$，与几何量子化推导出的结构一致。
• 由背景 $G_H$ 连接引起的形变通过引入 $\widehat{A}(w)/(z-w)$ 项，修改了边界算子 $\psi_X$, $\psi_Y$ 的 OPE，而 $T_C$ 线丛不改变 OPE。
• HT 扭曲中的二阶乘积与 $A$ 和 $B$ 扭曲中的对应乘积同构，建立了直接的上同调对应关系。
• 该形变程序确保 $A$ 和 $B$ 扭曲继承来自 HT 理论的强约束，与 Gwilliam-Williams 关于手征规范理论中一环精确性的结果一致。