[论文解读] Introduction to topological symmetry in QFT

Daniel S. Freed|arXiv (Cornell University)|Dec 1, 2022

Black Holes and Theoretical Physics被引用 8

一句话总结

本文通过将对称性视为一个量子对象，采用一对 $(\sigma, \rho)$，其中 $\sigma$ 是拓扑场论，$\rho$ 是拓扑边界理论，提出了一种量子场论（QFT）中拓扑对称性的新框架。该方法通过范畴化方式编码量子对称性，推广了经典规范对称性，并将其应用于推导4D规范理论中弦缺陷的选取规则，表明只有那些能从子群延伸出的表示才能与缺陷耦合。

ABSTRACT

This brief note publicizes the quantum framework for symmetry that is developed in our joint paper arXiv:2209.07471 with Greg Moore and Constantin Teleman. We include additional motivation and an application to a selection rule for line defects in 4-dimensional gauge theories.

研究动机与目标

• 开发一种用于QFT中拓扑对称性的量子框架，将对称性视为结构化的量子对象，而非经典背景规范场。
• 将全局对称性的概念推广，以包含2群和同伦对称性等更高范畴结构。
• 为拓扑场理论中的拓扑对称性提供严格的数学基础，同时对非拓扑QFT采用启发式方法。
• 将该框架应用于推导4维规范理论中弦缺陷的选取规则，限制哪些表示可以与缺陷耦合。
• 建立抽象对称性数据 $(\sigma, \rho)$ 与其在量子场论中具体实现作用之间的对应关系，强调抽象对称性与实现对称性之间的区别。

提出的方法

• 将抽象对称性数据定义为一对 $(\sigma, \rho)$，其中 $\sigma$ 是拓扑场论，$\rho$ 是拓扑边界理论，形成一种“派”结构。
• 通过涉及映射空间 $\operatorname{Map}(S^2, B^2 A)$ 上的 $\mathbb{V}$-线丛的上推导构造，实现 $(\sigma, \rho)$ 对量子场论 $F$ 的作用。
• 通过上移类 $\mu_q$ 定义映射空间上的平坦 $\mathbb{V}$-线丛 $\mathcal{K}$，其上同调类属于 $H^2(\operatorname{Map}(S^2, B^2 A'), \mathbb{C}^\times)$。
• 通过映射 $j: \pi_{\leq 2}\operatorname{Map}(S^2, B^2 A') \to \pi_{\leq 2}\operatorname{Map}(S^2, B^2 A)$，计算量化希尔伯特空间 $\mathcal{V}_{A',q}$ 为 $(p_1)_*(\mathcal{K})$。
• 通过特征 $\epsilon_q(m)$ 分析 $\pi_2$ 在纤维上的作用，表明在 $m \in A'$ 处的纤维携带诱导表示 $\operatorname{Ind}_{A'}^A(\epsilon_q(m))$。
• 通过证明 $\mathcal{V}_{A',q}^{(m,e)} = 0$ 当且仅当 $m \notin A'$，推导出选取规则，且当 $m \in A'$ 时，该纤维是 $\mathbb{V}$-线的直和，其指标为在 $A'$ 上限制为 $\epsilon_q(m)$ 的 $A$ 的特征。

实验结果

研究问题

• RQ1 如何将QFT中的拓扑对称性形式化为量子对象，而非经典背景场？
• RQ2 一对 $(\sigma, \rho)$——即拓扑场论与边界理论——在编码抽象量子对称性中起什么作用？
• RQ3 $(\sigma, \rho)$-对称性框架如何约束4D规范理论中弦缺陷的可能耦合？
• RQ4 从映射空间上 $\mathbb{V}$-线丛的上推导出的量化希尔伯特空间 $\mathcal{V}_{A',q}$ 的数学结构是什么？
• RQ5 在拓扑对称性下允许的缺陷扇区分类中，诱导表示与特征理论如何自然出现？

主要发现

• 量化希尔伯特空间 $\mathcal{V}_{A',q}$ 仅在 $A' \subset A$ 上有支撑，证明了弦缺陷只能与那些在 $A'$ 上限制为 $\epsilon_q(m)$ 的表示耦合。
• 当 $m \in A'$ 时，$\mathcal{V}_{A',q}$ 在 $m$ 处的纤维同构于诱导表示 $\operatorname{Ind}_{A'}^A(\epsilon_q(m))$，其可分解为在 $A'$ 上限制为 $\epsilon_q(m)$ 的 $A$ 的特征所索引的1维 $\mathbb{V}$-线的直和。
• 当 $m \notin A'$ 时，$\mathcal{V}_{A',q}^{(m,e)} = 0$ 的选取规则源于映射 $j$ 在 $\pi_2$ 上诱导出包含 $A' \hookrightarrow A$，因此在 $A'$ 外无非平凡作用。
• 上推导域中的对偶化（如公式 (29) 所示）导致第二个选取规则中的逆，确保与理论的对偶结构一致。
• 该框架成功通过将对称性视为量子对象——即一对 $(\sigma, \rho)$——推广了经典对称性耦合，从而捕捉了超越标准全局或规范对称性的更高范畴与同伦对称性。
• 通过上移类 $\mu_q$ 定义平坦 $\mathbb{V}$-线丛 $\mathcal{K}$，为在量子希尔伯特空间中编码对称性数据提供了几何机制。