[论文解读] Relative quantum field theory

Daniel S. Freed, Constantin Teleman|arXiv (Cornell University)|Dec 7, 2012

Black Holes and Theoretical Physics参考文献 14被引用 16

一句话总结

本文提出相对量子场论（RQFT）作为框架，以解决六维 $(0,2)$-超共形场论中的不一致性问题，这些场论缺乏拉格朗日描述，且依赖于李代数而非李群。通过将此类理论视为相对于更高维度的可逆异常理论，作者表明，五维的维度约化产生一个相对规范理论，从而调和了代数依赖性与基于群的规范理论之间的表观矛盾。

ABSTRACT

We highlight the general notion of a relative quantum field theory, which occurs in several contexts. One is in gauge theory based on a compact Lie algebra, rather than a compact Lie group. This is relevant to the maximal superconformal theory in six dimensions.

研究动机与目标

• 解决六维 $(0,2)$-超共形场论中的表观矛盾，该理论依赖于李代数，却似乎在五维中约化为基于群的规范理论。
• 形式化相对量子场论（RQFT）的概念，将其定义为相对于一更高维度中可逆异常理论的理论。
• 证明六维理论的维度约化可产生与原始理论代数结构一致的相对规范理论。
• 将 RQFT 推广至包含基于有限群和庞特里亚金自对偶阿贝尔群的相对 $\sigma$-模型与自对偶规范理论。
• 为非绝对的量子场论提供严谨的数学框架，利用流形上的层论与高阶范畴结构。

提出的方法

• 将相对量子场论 $F$ 定义为：其配分函数与希尔伯特空间取值于一更高维度中扩展的可逆异常理论 $\alpha$ 的量子希尔伯特空间。
• 采用扩展拓扑场论的框架，其中 $\alpha$ 是一个具有一维希尔伯特空间且配分函数非零的可逆理论。
• 通过经典场的纤维丛 $p: \mathcal{F} \to \mathcal{F}''$ 构造 RQFT，其中 $\mathcal{F}''$ 为有限维（例如有限群），从而实现有限路径积分。
• 将形式化应用于三个例子：基于有限群 $\pi$ 的相对 $\sigma$-模型，通过具有阿贝尔核 $\pi$ 的有限覆叠 $G \to \overline{G}$ 构造的相对规范理论，以及 $\pi$ 为庞特里亚金自对偶的六维 $(0,2)$-理论。
• 利用环面上的傅里叶变换，关联朗兰兹对偶群 $G/\pi'$ 与 $G/\pi^{\perp}$，在约化后的四维理论中实现对偶性。
• 将经典场建模为单纯层 $\mathcal{F}: \mathbf{Man}_n^{\text{op}} \to \mathbf{Set}_\Delta$，通过高阶群胚捕捉局域性、拉回结构与高阶对称性。

实验结果

研究问题

• RQ1 六维 $(0,2)$-超共形场论（依赖于李代数且缺乏拉格朗日描述）能否被一致地约化至五维？
• RQ2 何种数学结构允许量子场论相对于更高维度的异常理论进行定义，且如何解决规范理论依赖性中的不一致性？
• RQ3 六维理论的维度约化在何种意义上产生相对规范理论而非绝对理论？
• RQ4 有限群对称性及其对偶性（通过庞特里亚金对偶）如何在相对量子场论的结构中体现？
• RQ5 高维中手征与反手征相对理论的张量积能否产生一个超对称的绝对理论？为何在六维中该构造会失败？

主要发现

• 六维 $(0,2)$-超共形场论 $\mathscr{X}$ 最佳理解为相对量子场论而非绝对理论，从而解决了其代数依赖性与基于群的约化之间的谜题。
• 将 $\mathscr{X}$ 约化至五维产生的是相对规范理论而非绝对理论，与该理论依赖于李代数而非李群的特性一致。
• 对于基于有限覆叠 $G \to \overline{G}$ 的相对规范理论，约化过程在完美配对 (5.2) 下交换核 $\pi'$ 与其正交补 $\pi^{\perp}$，从而实现朗兰兹对偶性。
• 在六维理论于 $S^1 \times S^1$ 上的四维紧化中，环面上的傅里叶变换实现了 $G/\pi'$ 与 $G/\pi^{\perp}$ 之间的对偶性，证实了朗兰兹对偶结构。
• 基于有限群 $\pi$ 的相对 $\sigma$-模型与自对偶的六维理论均依赖于同一形式化：经典场作为具有局部结构与粘合性质的流形上的单纯层。
• 控制异常的理论 $\alpha$ 是可逆且拓扑的，确保 $F$ 的配分函数仅在标量因子意义下定义，其不确定性由 $\alpha$ 所控制。