[论文解读] Topological quantum field theories

Albert Schwarz|ArXiv.org|Nov 29, 2000

Topological and Geometric Data Analysis被引用 6

一句话总结

本文提出了一套基础性的拓扑量子场论（TQFT）框架，建立了其与陈-西蒙斯理论及巴蒂林-维利科夫斯基（BV）形式体系的联系。研究证明，度量无关的作用泛函通过BRST平凡可观测量产生拓扑不变量，关键结果将TQFT与雷德迈斯特 torsion、纽结不变量以及平坦联络模空间联系起来，包括首次推导出$G/G$模型作为与陈-西蒙斯理论相关的二维拓扑场论。

ABSTRACT

Following my plenary lecture on ICMP2000 I review my results concerning two closely related topics: topological quantum field theories and the problem of quantization of gauge theories. I start with old results (first examples of topological quantum field theories were constructed in my papers in late seventies) and I come to some new results, that were not published yet.

研究动机与目标

• 基于度量无关的作用泛函，建立拓扑量子场论（TQFT）的严格数学框架。
• 通过陈-西蒙斯理论，将TQFT与雷德迈斯特 torsion 和纽结多项式等拓扑不变量联系起来。
• 利用巴蒂林-维利科夫斯基（BV）形式体系推广TQFT的构造，尤其在高维情形下。
• 探讨BRST上同调与微分同胚不变性在定义拓扑可观测量与度量无关关联函数中的作用。
• 通过分析度量与平坦联络模空间的几何结构，统一威滕型与施瓦茨型TQFT。

提出的方法

• 以3-流形$M$上的陈-西蒙斯作用泛函$ S = \int_M \mathrm{Tr}\left( A \wedge dA + \frac{1}{3} A \wedge A \wedge A \right) $作为度量无关作用泛函的中心范例。
• 应用巴蒂林-维利科夫斯基（BV）形式体系对规范理论进行量子化，特别关注能量-动量张量的BRST平凡性，以确保拓扑不变性。
• 证明BRST闭可观测量的关联函数与度量及时空坐标无关，从而定义了拓扑可观测量。
• 在度量（或规范条件）空间上构造闭微分形式，这些形式在商空间$ \mathcal{M} = \{ \text{度量} \} / \text{微分同胚} $上下降，该商空间同伦等价于$ B\mathrm{Diff}(M) $。
• 将这些形式与李群$ \mathrm{Diff}(M) $的分类空间$ B\mathrm{Diff}(M) $上的上同调类联系起来，连接到低维拓扑中的已知结果。
• 将$ G/G $模型作为二维拓扑场论实现，作为陈-西蒙斯理论的二维版本，通过规范WZNW模型与BV量子化推导得出。

实验结果

研究问题

• RQ1 度量无关的作用泛函如何在量子场论中导致拓扑不变量？
• RQ2 BRST对称性与BRST平凡可观测量在构建拓扑量子场论中的精确作用是什么？
• RQ3 平坦联络与度量的模空间在TQFT中如何与微分同胚群的上同调相关联？
• RQ4 陈-西蒙斯理论与二维$ G/G $模型之间存在何种联系？
• RQ5 巴蒂林-维利科夫斯基形式体系如何实现对具有约束的拓扑规范理论的一致量子化？

主要发现

• 阿贝尔陈-西蒙斯作用泛函$ S = \int_M A \wedge dA $的路径积分生成函数与雷-辛格 torsion 相关，后者是雷德迈斯特 torsion 的光滑版本。
• 非阿贝尔陈-西蒙斯作用泛函产生3-流形的拓扑不变量，与纽结的琼斯多项式有深刻联系。
• 威滕型TQFT中BRST闭可观测量的关联函数与度量无关，证实了该理论的拓扑性质。
• 在度量空间上构造的闭微分形式可下降至商空间$ \mathcal{M} $，该空间同伦等价于分类空间$ B\mathrm{Diff}(M) $。
• 在二维情形下，度量的模空间同伦等价于复结构的模空间，将TQFT与德利涅-芒福德紧化联系起来。
• $ G/G $模型被证明等价于通过BV形式体系与平坦联络参数化$ A = g^{-1} dg $从陈-西蒙斯理论推导出的二维拓扑场论。