[论文解读] Classical Chern-Simons theory, Part 1

Daniel S. Freed|ArXiv.org|Jun 4, 1992

Homotopy and Cohomology in Algebraic Topology参考文献 13被引用 81

一句话总结

本文建立了三维规范理论中经典陈-西蒙斯理论的理论基础，将其表述为一种拓扑场论，其作用量仅在模整数意义下定义，通过陈-西蒙斯线丛将单位模元素分配给边界场。关键贡献在于通过作用量的几何与对称性性质，对拓扑经典场论进行了公理化，阐明了在平坦联络模空间上陈-西蒙斯线丛的作用。

ABSTRACT

There is a large mathematical literature on classical mechanics and field theory, especially on the relationship to symplectic geometry. One might think that the classical Chern-Simons theory, which is topological and so has vanishing hamiltonian, is completely trivial. However, this theory exhibits interesting geometry that is usually absent from ordinary field theories. (The same is true on the quantum level; topological quantum field theories exhibit geometric properties not usually seen in ordinary quantum field theories, and they lack analytic properties which are usually seen.) In this paper we carefully develop this geometry. Of particular interest are the line bundles with connection over the moduli space of flat connections on a 2-manifold. We extend the usual theory to cover 2-manifolds with boundary. We carefully develop ``gluing laws'' in all of our constructions, including the line bundle with connection over moduli space. The corresponding quantum gluing laws are fundamental. Part 1 covers connected and simply connected gauge groups; Part 2 will cover arbitrary compact Lie groups.

研究动机与目标

• 在3+1维中严格表述经典陈-西蒙斯理论作为拓扑场论。
• 阐明作用量的几何结构，其取值于单位圆而非实直线。
• 将陈-西蒙斯线丛确立为基本对象，与行列式线丛相区别。
• 提供作用量及其在规范对称与微分同胚对称下变换性质的精确数学表述。
• 通过定理2.19对理论进行公理化，通过局部性、可加性与对称性不变性来刻画拓扑经典场论。

提出的方法

• 作用量被定义为2πi乘以陈-西蒙斯3-形式的指数，仅在模整数意义下良好定义，从而导致单位模值。
• 该理论在闭合、定向的三维流形上构造，作用量取值于单位圆；在有边界的流形上，作用量属于一个赋予度量的复线丛——即陈-西蒙斯线。
• 本文通过H⁴(BG)中的上同调类构造陈-西蒙斯线丛，将其与其它表述中使用的行列式线丛区分开来。
• 采用路径积分的视角，通过路径空间上的可加性、重参数化不变泛函来定义作用量。
• 证明该理论在规范变换与微分同胚下不变，反映了其拓扑本质。
• 通过路径泛函对平行移动的严格构造，导出线丛上存在一个酉联络。

实验结果

研究问题

• RQ1 如何将陈-西蒙斯作用量一致地定义为单位模的复数，而非实数？
• RQ2 作用量分配给边界场的精确几何对象（即陈-西蒙斯线）是什么？它与行列式线丛有何不同？
• RQ3 该理论的对称性——尤其是规范对称性与微分同胚对称性——如何从作用量的结构中自然导出？
• RQ4 哪些公理可以刻画拓扑经典场论？陈-西蒙斯理论如何满足这些公理？
• RQ5 能否从满足可加性与不变性的路径泛函中重构陈-西蒙斯线丛上的平行移动？

主要发现

• 在闭合三维流形上，陈-西蒙斯作用量是一个单位模的复数，反映了量子理论的幺正性。
• 对于有边界的流形，作用量是赋予度量的复线丛——即陈-西蒙斯线——中的元素，其依赖于边界场。
• 陈-西蒙斯线丛由H⁴(BG)中的上同调类自然定义，而非通过群表示，这使其与行列式线丛相区别。
• 作用量在规范变换与微分同胚下不变，证实了该理论的拓扑性质。
• 通过路径泛函对平行移动的刻画，确立了陈-西蒙斯线丛上存在一个酉联络。
• 本文表明，陈-西蒙斯线丛是作用量的内在结构，而行列式线丛则源于另一理论（与η-不变量相关），从而澄清了基础性区别。