[论文解读] A-models in three and four dimensions

Anton Kapustin, Ketan Vyas|arXiv (Cornell University)|Feb 23, 2010

Black Holes and Theoretical Physics参考文献 8被引用 6

一句话总结

本文构建了一个3D拓扑场论（3D A模型），作为2D A模型的类比，其作用量为BRST精确量，包含将3-流形映射到实流形的玻色场，以及取值于拉回切丛的1-形式。该理论在沿区间紧化时，于$T^*X$上约化为2D A模型，并通过扭构4D $ olimits=2$线性$ olimits$-模型扩展为4D A模型，为3D镜像对称与几何朗兰兹对偶性提供了框架。

ABSTRACT

We introduce and study a new 3d Topological Field Theory which can be associated to any compact real manifold X. This TFT is analogous to the 2d A-model and reduces to it upon compactification on an interval with suitable boundary conditions. It plays a role in 3d mirror symmetry as well as in the physical approach to the geometric Langlands duality. A similar TFT can be defined in four dimensions.

研究动机与目标

• 构建一个类似于2D A模型的3D拓扑场论，定义在3-流形上，目标为实流形$X$。
• 通过引入辅助场定义一个BRST精确作用量，确保BRST算符在非壳状态下满足幂零性。
• 证明当在区间上紧化并施加适当的边界条件时，3D A模型约化为$T^*X$上的2D A模型。
• 通过扭构4D闵可夫斯基空间中的$ olimits=2$线性$ olimits$-模型，将构造推广至四维。
• 建立3D A模型与3D镜像对称及几何朗兰兹对偶性物理方法之间的关联。

提出的方法

• 3D A模型的表述包含玻色场$\phi: M \to X$和$\tau \in T^*M \otimes \phi^*TX$，以及费米子场$\eta, \beta, \psi, \chi$，通过引入辅助场$P$和$\tilde{P}$，使BRST变换满足$\delta^2 = 0$。
• 作用量构造为$S = \tilde{S} + S_{\text{top}}$，其中$\tilde{S}$为BRST精确量，$S_{\text{top}} = \int_M D\tilde{\tau}_i \wedge d\phi^i$为拓扑项，用于抵消玻色作用量中的病态项。
• BRST变换由3D $ olimits=2$理论的超对称代数导出，通过辅助场使$\delta^2 = 0$在非壳状态下显式成立。
• 4D A模型通过扭构4D闵可夫斯基空间中的$ olimits=2$线性$ olimits$-模型构建，利用$SU(2)_L$旋转对称性及$SU(2)_{\mathcal{R}} \times SU(2)_X$的对角子群。
• 扭后的场内容包括标量$\sigma^I$、反自对偶2-形式$\tau^{I-}_{\mu\nu}$，以及变换于$SU(2)_{L'} \times SU(2)_R$下的费米子$\eta^I, \psi^{I-}_{\mu\nu}, \chi^I_\mu$。
• 4D作用量推导为$S = \int_{\mathbb{R}^4} \left( \frac{1}{4}\delta_{IJ}\partial^\mu \sigma^I \partial_\mu \sigma^J + \delta_{IJ}\partial^\nu \tau^{I-}_{\mu\nu} \partial_\lambda \tau^{J\mu\lambda -} + \frac{i}{2}\delta_{IJ}\chi^I_\mu \partial^\mu \eta^J - i\delta_{IJ}\chi^\mu \partial_\nu \psi^{J\mu\nu -} \right)$。

实验结果

研究问题

• RQ1 如何构建一个推广2D A模型至高维的3D拓扑场论？
• RQ2 辅助场在确保3D A模型中BRST算符非壳幂零性方面起什么作用？
• RQ3 当在区间上紧化并施加特定边界条件时，3D A模型如何约化为2D A模型？
• RQ4 A模型在4D中的类比是什么？它如何通过扭构4D $ olimits=2$线性$ olimits$-模型获得？
• RQ5 3D与4D A模型如何与3D镜像对称及几何朗兰兹对偶性相关联？

主要发现

• 3D A模型通过包含辅助场$P$和$\tilde{P}$的BRST精确作用量构建，确保$\delta^2 = 0$在非壳状态下成立，使BRST对称性显式成立。
• 当在区间上紧化并施加保持拓扑结构的边界条件时，3D A模型约化为$T^*X$上的2D A模型。
• 4D A模型通过扭构4D闵可夫斯基空间中的$ olimits=2$线性$ olimits$-模型获得，其作用量以扭场$\sigma^I$、$\tau^{I-}_{\mu\nu}$、$\eta^I$、$\psi^{I-}_{\mu\nu}$和$\chi^I_\mu$表示。
• 4D作用量在扭后的$SU(2)_{L'} \times SU(2)_R$对称性下不变，且在扭后仍保持$ olimits=2$超对称代数结构。
• 3D A模型在3D镜像对称中起核心作用，并出现在4D $N=4$超杨-米尔斯理论在圆上紧化时，从而与几何朗兰兹对偶性相联系。
• 拓扑项$S_{\text{top}} = \int_M D\tilde{\tau}_i \wedge d\phi^i$在物理内容上与度量无关，因其可改写为对偶1-形式$\tilde{\tau}_i = g_{ij}\tau^j$的形式。