[论文解读] Remarks on Chern-Simons Theory

Daniel S. Freed|ArXiv.org|Aug 19, 2008

Homotopy and Cohomology in Algebraic Topology参考文献 8被引用 6

一句话总结

本文全面概述了陈-西蒙斯理论，强调其作为拓扑量子场论（TQFT）基础范例的作用。它解释了经典陈-西蒙斯形式如何通过陈-外尔形式的传递性产生，以及威滕的路径积分构造如何得出一个拓扑量子不变量，该不变量与琼斯多项式相关，对几何、拓扑和量子场论具有深远影响。

ABSTRACT

In the late 1980s Witten used the Chern-Simons form of a connection to construct new invariants of 3-manifolds and knots, recovering in particular the Jones invariants. Since then the associated topological quantum field theory (TQFT) has served as a key example in understanding the structure of TQFTs in general. We survey some of that structure with a particular focus on the "multi-tier" aspects. We discuss general axioms, generators-and-relations theorems, a priori constructions, dimensional reduction and K-theory, and Chern-Simons as a 0-1-2-3 theory. An appendix gives a lightening treatment of the Chern-Simons-Weil theory of connections. The paper concludes with general remarks about the Geometry-QFT-Strings interaction.

研究动机与目标

• 阐明陈-西蒙斯理论在经典和量子力学层面下的数学结构。
• 解释陈-西蒙斯不变量如何通过陈-外尔形式的传递性作为第二类特征类出现。
• 将威滕的量子陈-西蒙斯不变量置于拓扑量子场论（TQFT）的公理化结构中。
• 强调路径积分在构造拓扑不变量中的作用，尽管在一般情况下缺乏严格的测度构造。
• 建立陈-西蒙斯理论与微分特征类、阿蒂亚-帕拉迪-辛格不变量以及纽结不变量（如琼斯多项式）之间的联系。

提出的方法

• 通过沿对角截面的拉回，利用陈-外尔形式的传递性，在主丛的全空间上定义陈-西蒙斯形式。
• 应用斯托克斯定理，将陈-西蒙斯形式的微分与两个联络上曲率形式的差异联系起来。
• 通过将主丛映射到通用丛的分类映射以及在分类空间中构造一个cobordism链，为非平凡主丛上的联络构造陈-西蒙斯不变量。
• 采用路径积分形式化，通过对所有联络空间上指数化的陈-西蒙斯作用量进行积分，来定义量子不变量。
• 使用范畴语言形式化TQFT公理，类比同调理论，但强调乘法结构和维度特定的结构。
• 证明陈-西蒙斯形式在拉回下具有函子性，并在紧致李群作用下具有等变性，从而在紧致李群情况下保证模1的不变性。

实验结果

研究问题

• RQ1 陈-西蒙斯形式如何通过陈-外尔形式的传递性产生？其几何意义是什么？
• RQ2 路径积分在量子陈-西蒙斯理论中构造拓扑不变量时起什么作用？
• RQ3 陈-西蒙斯不变量如何推广经典几何不变量（如总测地曲率）？
• RQ4 陈-西蒙斯理论在何种意义上体现了拓扑量子场论的更广泛结构？
• RQ5 陈-西蒙斯不变量在非平凡主丛上为何是良定义的？分类空间起到什么作用？

主要发现

• 主G-丛P的全空间上的陈-西蒙斯形式α(Θ)是一个闭的(2p−1)-形式，其拉回在底空间上诱导出一个微分等于曲率形式拉回的微分形式。
• 陈-西蒙斯不变量S(Θ) ∈ ℝ/ℤ模1良定义，且在不变多项式具有整周期的前提下，与截面或代表联络的选择无关。
• 对于闭合的定向(2p−1)-流形M，当P可平行化时，陈-西蒙斯不变量S(Θ)与截面s: M → P的选择无关。
• 在非平凡丛的一般情形下，通过分类映射γ: P → EG和BG中满足∂W = N·γ([M])的cobordism W来定义不变量，从而确保其拓扑不变性。
• 路径积分构造导出一个拓扑量子不变量，该不变量与琼斯多项式相关，并具备完整的三维TQFT结构。
• 受陈-西蒙斯理论启发的TQFT公理框架，与同调理论类比，但具有乘法结构和维度特定的公理。