[论文解读] Interfaces and Quantum Algebras, II: Cigar Partition Function

Mykola Dedushenko, Nikita Nekrasov|arXiv (Cornell University)|Jun 28, 2023

Black Holes and Theoretical Physics被引用 4

一句话总结

本文研究了在3D $\mathcal{N}=2$ 规范理论中，利用弯曲超重力背景计算精确路径积分，通过局部化方法求解超对称雪茄分区函数。该研究建立了量子K-上同调与椭圆上同调的物理实现，通过Janus界面和$\mathcal{Q}$-精确形变，将半指数与顶点函数、稳定包络及墙穿跃现象联系起来。

ABSTRACT

The supersymmetric cigar (half-)index or cigar partition function of 3d $\mathcal{N}=2$ gauge theories contains a wealth of information. Physically, it captures the spectrum of BPS states, the non-perturbative corrections to various partition functions, the effective twisted superpotential and the data of supersymmetric vacua. Mathematically, it defines the K-theoretic Vertex counting vortices/quasimaps, and connects to quantum K-theory, as well as elliptic cohomology and stable envelopes. We explore these topics from the physics standpoint, systematically developing the foundations and explaining various mathematical properties using the quantum field theory machinery.

研究动机与目标

• 通过超对称雪茄背景，在3D $\mathcal{N}=2$ 规范理论中建立量子K-上同调与椭圆上同调的物理框架。
• 将半指数（雪茄分区函数）导出为BPS谱、扭超势能及非微扰修正的生成函数。
• 将稳定包络与顶点函数等数学结构与超对称场论中的物理界面及$\mathcal{Q}$-精确形变联系起来。
• 通过$\mathcal{Q}$-精确项统一描述Coulomb分支与Higgs分支的局部化，包括作用量与矩映射形变。
• 通过Janus界面研究墙穿跃现象，并探讨其与作用于BPS态希尔伯特空间上的量子代数（如Yangian）的关系。

提出的方法

• 采用带有压缩和Gomis-Lee形变的弯曲$S^1 \times S^2_b$背景，保留单个超荷，实现精确路径积分计算。
• 应用$\mathcal{Q}$-精确形变——特别是$L^v$、$L_H$与$L_W$——将路径积分局部化于BPS配置上，其中$L^v$用于Coulomb分支，$L^v + L_H$用于Higgs分支。
• 推导向量多重态与标量多重态的局部化方程，包括$D=0$、$D_\mu \sigma = 0$、$F_{\varphi\alpha} = 0$与$F_{\theta\alpha} = \varepsilon F_{\theta\varphi}$，并在Higgs分支形变下引入修正约束。
• 引入修正的玻色作用量$L_{\text{Bos}}^{\text{v}} + L_H + L_W$，其为正定且依赖于超势能$W$，从而实现对$W$临界点的局部化。
• 利用实矩映射$H(\phi) = e^2(\bar{\phi}\phi - \zeta)$实现Higgs分支局部化，其中在红外极限下$\zeta \to \infty$。
• 将$\mathcal{Q}$-精确插值应用于表面算符与威尔逊圈，将其与量子K-上同调及$K$-理论顶点函数联系起来。

实验结果

研究问题

• RQ1 3D $\mathcal{N}=2$ 雪茄分区函数如何编码规范理论中的BPS谱与非微扰修正？
• RQ2 稳定包络的物理实现是什么？其在通过Janus界面实现的墙穿跃中扮演何种角色？
• RQ3 $\mathcal{Q}$-精确形变在超重力背景中如何导致在Coulomb分支与Higgs分支上的局部化？
• RQ4 半指数如何与Nakajima流形中的$K$-理论拟映射不变量及顶点函数相关联？
• RQ5 在雪茄背景中，威尔逊圈与表面算符如何实现量子K-上同调，并与椭圆上同调相联系？

主要发现

• 雪茄分区函数计算出半指数，其作为BPS态谱的生成函数，并编码了3D $\mathcal{N}=2$ 理论中的有效扭超势能。
• 通过$L^v$实现Coulomb分支局部化，得到正定作用量，其约束条件为$D=0$、$D_\mu \sigma = 0$与$F_{\varphi\alpha} = 0$。
• 通过增加$L_H$实现Higgs分支局部化，修正向量多重态方程，引入$D_{\varphi}\sigma = D_{\alpha}\sigma = 0$与$H(\phi) = \frac{D_\theta(\sigma \sin\theta)}{f(\theta)} - \frac{F_{\theta\varphi} \cos\theta}{\ell f(\theta) \sin\theta}$。
• 超势能形变$L_W$导致依赖于$W$的局部化作用量，其方程为$F = \overline{F} = 0$、$D_\alpha \phi = \varepsilon D_\varphi \phi$，以及$\frac{i}{\ell}D_\varphi \phi - \frac{\Delta}{f(\theta)}\phi - \widehat{\sigma}\phi \cos\theta = 0$。
• $\mathcal{Q}$-精确插值的表面算符与威尔逊圈实现量子K-上同调，其中半指数作为$K$-理论顶点不变量的生成函数。
• 通过Janus界面的墙穿跃由$\mathcal{Q}$-精确形变描述，所得过渡函数与稳定包络在BPS态希尔伯特空间上的作用完全匹配。