[论文解读] Exercises in equivariant cohomology and topological theories

R. Stora|ArXiv.org|Nov 15, 1996

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

一句话总结

本文提出等变上同调作为拓扑场论的严格代数框架，特别是Witten 1988年的构造，并将其应用于阐明Faddeev-Popov规范固定程序。通过使用等变上同调，本文为拓扑场论及其规范固定机制提供了更深层次的几何与代数理解，通过BRST类结构系统地计算拓扑不变量。

ABSTRACT

Equivariant cohomology is suggested as an alternative algebraic framework for the definition of topological field theories constructed by E. Witten circa 1988. It also enlightens the classical Faddeev Popov gauge fixing procedure.

研究动机与目标

• 为Witten于1988年最初提出的拓扑场论提供基于等变上同调的代数框架。
• 通过等变上同调方法，阐明Faddeev-Popov规范固定程序背后的数学结构。
• 通过等变上同调统一处理量子场论中拓扑不变量与规范固定的处理方式。
• 通过BRST类结构，系统且几何意义明确地重新表述拓扑场论。

提出的方法

• 利用等变上同调理论重新表述拓扑场论，将其视为群作用下的上同调不变量。
• 将Cartan模型的等变上同调应用于以不变微分形式描述规范固定。
• 引入一个类似BRST的复形，其中物理可观测量由等变闭形式模去恰当形式表示。
• 建立拓扑不变量与等变微分形式上同调类之间的对应关系。
• 证明Faddeev-Popov行列式自然地作为等变积分测度中的雅可比行列式出现。
• 利用等变上同调中的局部化原理，简化路径积分，并通过不动点贡献计算不变量。

实验结果

研究问题

• RQ1 如何利用等变上同调以更代数化和几何化的方式重新表述Witten的拓扑场论？
• RQ2 在等变上同调的语境下，Faddeev-Popov程序的确切作用是什么？
• RQ3 能否通过等变上同调技术系统地计算拓扑不变量？
• RQ4 拓扑场论中的BRST对称性在等变微分形式的语言中如何体现？
• RQ5 等变上同调中的局部化定理与拓扑场论中划分函数的计算之间存在何种关系？

主要发现

• 等变上同调为Witten型拓扑场论提供了自然且严格的代数框架，以几何不变性原理取代了人为构造。
• Faddeev-Popov规范固定程序被重新解释为等变上同调中的标准构造，澄清了其数学起源。
• 拓扑不变量可通过等变上同调中的局部化定理计算，将路径积分简化为不动点集上的有限维积分。
• 拓扑场论的BRST复形被识别为等变微分复形，物理态对应于等变上同调类。
• 本文建立了拓扑场论划分函数与向量丛等变欧拉类之间的直接对应关系。
• 该形式化方法允许从群作用与不变形式系统推导出拓扑不变量，增强了可计算性与概念清晰性。