[论文解读] Diffeomorphism-invariant generalized measures on the space of connections modulo gauge transformations

John C. Baez|ArXiv.org|May 11, 1993

Black Holes and Theoretical Physics参考文献 21被引用 7

一句话总结

本文通过在基流形中的嵌入图上使用晶格规范场论，在规范变换下的连接空间上构建了微分同胚不变的广义测度，推广了Ashtekar与Lewandowski的工作。主要贡献在于提出了一个数学上严格的形式框架，支持纽结不变量，并为量子引力和陈-西蒙斯理论中的环表示提供了基础。

ABSTRACT

The notion of a measure on the space of connections modulo gauge transformations that is invariant under diffeomorphisms of the base manifold is important in a variety of contexts in mathematical physics and topology. At the formal level, an example of such a measure is given by the Chern-Simons path integral. Certain measures of this sort also play the role of states in quantum gravity in Ashtekar's formalism. These measures define link invariants, or more generally multiloop invariants; as noted by Witten, the Chern-Simons path integral gives rise to the Jones polynomial, while in quantum gravity this observation is the basis of the loop representation due to Rovelli and Smolin. Here we review recent work on making these ideas mathematically rigorous, and give a rigorous construction of diffeomorphism-invariant measures on the space of connections modulo gauge transformations generalizing the recent work of Ashtekar and Lewandowski. This construction proceeds by doing lattice gauge theory on graphs analytically embedded in the base manifold.

研究动机与目标

• 为规范变换下的连接空间上的微分同胚不变广义测度提供一个数学上严格的形式化表述。
• 将Ashtekar与Lewandowski关于广义测度的工作扩展至包含完整的微分同胚不变性。
• 为量子引力和拓扑量子场论中的环表示建立基础。
• 将陈-西蒙斯理论中的路径积分直觉形式化为测度论框架。
• 将形式路径积分与连接空间上具体且数学上定义良好的测度联系起来。

提出的方法

• 通过嵌入在基流形中的图，在规范变换下的连接空间上构造测度。
• 应用晶格规范场论技术，对图的解析嵌入定义圆柱函数。
• 通过要求测度在嵌入图的光滑形变下保持不变，实现微分同胚不变性。
• 将广义测度定义为与图相关的圆柱函数代数上的线性泛函。
• 使用投射极限构造方法，在完整的规范连接空间（模规范变换）上定义测度。
• 通过要求在子图和图嵌入下保持一致性，确保不同图之间的一致性。

实验结果

研究问题

• RQ1 如何在规范变换下的连接空间上严格定义微分同胚不变测度？
• RQ2 在量子引力背景下，陈-西蒙斯路径积分的数学结构是什么？
• RQ3 Ashtekar形式体系中的环表示如何通过一个良好定义的测度论框架得到支持？
• RQ4 嵌入图在构造微分同胚不变广义测度中起什么作用？
• RQ5 能否从连接空间上的广义测度重构出源自陈-西蒙斯理论的纽结不变量？

主要发现

• 本文在规范变换下的连接空间上构造了一类微分同胚不变的广义测度。
• 这些测度通过嵌入图上的圆柱函数定义，确保与基流形的拓扑相容。
• 该构造通过引入完整的微分同胚不变性，推广了Ashtekar与Lewandowski的早期工作。
• 这些测度自然引出多环不变量，推广了拓扑量子场论中的琼斯多项式。
• 该框架为规范量子引力中的环表示提供了严格的测度论基础。
• 该方法在形式陈-西蒙斯路径积分与泛函分析中的具体数学对象之间建立了直接联系。