[论文解读] Topological Quantum Field Theories from Compact Lie Groups

Daniel S. Freed, Michael J. Hopkins+2 more|ArXiv.org|May 6, 2009

Black Holes and Theoretical Physics参考文献 18被引用 17

一句话总结

本文从紧致李群构造了扩展的拓扑量子场理论（TQFT），聚焦于有限群和环面的3维规范理论。通过将理论解释为向异常理论的截断态射，利用高阶范畴结构和层状层（sky-scraper sheaves）定义了一个具有精确不变量的完全扩展0-1-2-3 TQFT，这些不变量源自平坦联络和 Reidemeister 扭转。该工作解决了 Chern-Simons 理论在点上赋值的长期悬而未决问题。

ABSTRACT

It is a long-standing question to extend the definition of 3-dimensional Chern-Simons theory to one which associates values to 1-manifolds with boundary and to 0-manifolds. We provide a solution in case the gauge group is a torus. We also develop from different points of view an associated 4-dimensional invertible topological field theory which encodes the anomaly of Chern-Simons. Finite gauge groups are also revisited, and we describe a theory of "finite path integrals" as a general construction for a certain class of finite topological field theories. Topological pure gauge theories in lower dimension are presented as a warm-up.

研究动机与目标

• 为基于紧致李群的 Chern-Simons 理论提供一个严格、完全扩展的 0-1-2-3 拓扑量子场理论。
• 回答关于 Chern-Simons 理论在点上赋值的长期悬而未决问题，特别是针对环面规范群的情形。
• 将 Chern-Simons 理论的框架异常解释为一个可逆的 4 维 TQFT，并利用它将理论定义为一个截断态射。
• 通过高阶范畴极限和 $G$-不变量推广有限路径积分，扩展 Baez-Dolan 邻接 bordism 假设的框架。
• 将理论的模张量范畴与等变 $K$-理论及规范群李代数上的层状层联系起来。

提出的方法

• 利用 $H^{n+1}(BG;\mathbb{Z})$ 中的一个类在流形上定义经典规范理论，其中场由 $G$-丛与联络的堆栈给出，识别为 $BG$。
• 通过范畴极限（具体为取 $G$-不变量）实现量子化，这推广了正则量子化中的 Gauss 定律。
• 对于环面规范群，该理论被解释为自由 $L^2$-Chern-Simons 理论，其不变量由 Reidemeister 扭转的平方根与谱流相位构成。
• 异常被建模为一个可逆的 4 维 TQFT $\mathscr{A}$，其在 3-流形上的取值为一个复线，Chern-Simons 不变量为该线中的元素。
• 0维数据通过层状层范畴 $\mathrm{Sky}^\tau[C]$ 构造，该范畴在 $\mathrm{Sky}^\tau[\mathfrak{t}]$ 上构成一个有 braided 结构的双模，并证明其为自由模，基为 $\mathrm{Sky}^\tau[\hat{F}]$。
• 通过使用辛向量空间 $S_\Sigma = \Omega^1(\Sigma)/d\Omega^0(\Sigma,\partial\Sigma)$ 将理论扩展到带边界的曲面，Weyl 代数 $W_\tau(S_\Sigma \otimes \mathfrak{t})$ 作为 braided 双代数作用，且配分函数 $Z(\Sigma)$ 定义为 $\mathfrak{t}^n$ 上的 $L^2$-截面丛。

实验结果

研究问题

• RQ1 Chern-Simons 理论对点赋值为何，特别是对阿贝尔规范群而言？
• RQ2 如何系统性地将 Chern-Simons 理论的框架异常纳入完全扩展的 TQFT 框架？
• RQ3 能否利用范畴与几何数据，严格构造环面的 $L^2$-Chern-Simons 理论作为 0-1-2-3 扩展 TQFT？
• RQ4 在扩展 TQFT 框架中，如何通过环面李代数上的层状层实现模张量范畴？
• RQ5 Verlinde 环、等变 $K$-理论与构造中使用的层状层范畴之间的确切关系为何？

主要发现

• 对于环面规范群，Chern-Simons 理论的 0 维不变量由范畴 $\mathrm{Sky}^\tau[C]$ 给出，其为 $\mathrm{Sky}^\tau[\mathfrak{t}]$ 上的自由模，基为 $\mathrm{Sky}^\tau[\hat{F}]$，从而解决了点赋值问题。
• 异常理论 $\mathscr{A}$ 是一个可逆的 4 维 TQFT，其在 3-流形 $X$ 上的取值为一个复线 $\mathscr{A}(X)$，而 Chern-Simons 不变量 $Z(X)$ 是该线中的元素。
• 闭 3-流形的 $L^2$-Chern-Simons 不变量表达为平坦联络空间上的积分，被积函数为 Reidemeister 扭转的平方根乘以谱流相位，并带有整体体积因子。
• 该理论在 2 维的约化由 Verlinde 环描述，其被识别为等变 $K$-同调的扭曲形式，该结构构成了模张量范畴的基础。
• 带边界的曲面 $\Sigma$ 的配分函数 $Z(\Sigma)$ 是 $\mathfrak{t}^n$ 上的向量丛，其纤维为沿全纯映射 $p: J_T(\Sigma,\partial\Sigma) \to \mathfrak{t}^n$ 的 theta 线丛 $\Theta(\tau)$ 的 $L^2$-截面。
• $Z(\Sigma)$ 的 $\hat{F}$-分量由边界圆周上 $F$ 作用下的权空间分解决定，反映了底层范畴的融合规则。