[论文解读] Mathai-Quillen Formalism

Siye Wu|ArXiv.org|Apr 30, 2005

History and Theory of Mathematics被引用 3

一句话总结

本文系统阐述了Mathai-Quillen形式化方法，这是一种通过高斯加权超联络构造微分形式的方法，可为特征类（特别是陈类和欧拉类）提供显式代表。通过在具有一费米子维度的超空间上将该形式化方法解释为规范场论，建立了等变上同调、拓扑量子场论与Donaldson和Seiberg-Witten不变量等拓扑不变量之间的深刻联系。

ABSTRACT

We begin with the construction of Mathai-Quillen's Thom form. We also study the case with group actions, with a review of equivariant cohomology and then Mathai-Quillen's construction in this setting. Next, we show that much of the above can be formulated as a "field theory" on a superspace of one fermionic dimension. Finally, we present the interpretation of topological field theories using the Mathai-Quillen formalism.

研究动机与目标

• 系统阐述Mathai-Quillen构造的陈类作为向量丛全空间上具有高斯衰减特性的微分形式，特别关注零截面附近的局部化行为。
• 将该形式化方法推广至等变情形，引入群作用，并通过Cartan模型与Weil模型建立其与等变上同调的关系。
• 将该形式化方法解释为具有一费米子维度的超空间上的拓扑场论，从而与物理学中的上同调场论建立联系。
• 展示该形式化方法如何生成特征类的显式代表，并计算Donaldson与Seiberg-Witten不变量等拓扑不变量。
• 通过证明Mathai-Quillen形式在光滑曲率不变量与零集的Poincaré对偶之间实现插值，统一几何、拓扑与物理视角。

提出的方法

• 通过超联络上的Berezin积分构造Mathai-Quillen陈类形式，得到向量丛全空间上的微分形式，其沿纤维呈指数衰减。
• 在向量空间的Clifford代数上定义超迹，以表达Pfaffian与A-hat亏格，从而将其与超联络的指数形式联系起来。
• 利用等变上同调的Cartan模型，将等变曲率表示为 $\mathcal{F} = F_A + \sqrt{-1}\psi + \phi $，其中 $\psi, \phi$ 分别为费米子与玻色子超场。
• 通过组合曲率项 $||F_A^+||^2$ 与费米子和玻色子耦合项，构造拓扑规范场论的拉格朗日量，从而得到具有BRST对称性的理论。
• 定义形如Wilson环的可观测量 $W_\gamma(A,\psi,\phi)$，即对同调圈上等变曲率的积分，其代表特征类。
• 证明这些可观测量的路径积分期望值在归一化因子（规范群体积与中心阶数 $|Z(G)|$）下给出Donaldson不变量。

实验结果

研究问题

• RQ1 如何将实定向向量丛的陈类显式表示为具有局部支撑的微分形式？
• RQ2 Berezin积分与超迹在构造Mathai-Quillen形式中起何作用？其与Pfaffian及A-hat亏格有何关联？
• RQ3 Mathai-Quillen形式化方法如何在群作用下推广至等变上同调？其与Weil模型及Cartan模型的关系为何？
• RQ4 该形式化方法如何在具有一费米子维度的超空间上实现为拓扑场论？
• RQ5 通过该形式化方法构造的可观测量的期望值，如何恢复已知的拓扑不变量（如Donaldson与Seiberg-Witten不变量）？

主要发现

• Mathai-Quillen陈类形式作为向量丛全空间上的微分形式被构造，其表达式为 $ u(x) = \frac{1}{(2\pi)^{n/2}} e^{-\frac{1}{2}(x,x)} dx^1 \wedge \cdots \wedge dx^n $，该形式具有单位 $L^1$-范数，并在零截面附近局部化。
• 超迹恒等式 $ \mathrm{str}\, e^{\frac{\sqrt{-1}}{4}(\gamma, \Sigma \gamma)} = \hat{A}(\Sigma)^{-1/2} \mathrm{Pf}(\Sigma) $ 提供了A-hat类与欧拉类的微分形式代表，其中Pfaffian起关键作用。
• 任意向量丛截面的拉回均给出欧拉类的代表形式；通过缩放截面，可在光滑Pfaffian与零集的Poincaré对偶之间实现插值。
• 在等变情形下，形式 $ \mathcal{F} = F_A + \sqrt{-1}\psi + \phi $ 作为等变曲率，而形式 $ \frac{1}{4\check{h}(\mathfrak{g})} \int_\gamma (\mathcal{F}, \wedge \mathcal{F}) $ 在连接空间上表示一个闭的等变形式。
• 路径积分期望值 $ \left\langle \prod_{i=1}^r W_{\gamma_i} \right\rangle $，通过拉格朗日量 (5.7) 计算，给出Donaldson不变量（归一化因子为 $ |Z(G)| $），且仅当 $ \sum_i (4 - q_i) = \dim \mathcal{M} $ 时非零。
• 该形式化方法为拓扑场论（包括Witten与Atiyah-Jeffrey的理论）提供了物理实现，表明拉格朗日量 (5.7) 搭载拓扑项时，可重现拓扑规范场论的行动原理。