[论文解读] Lecture Notes on Equivariant Cohomology

Matvei Libine|arXiv (Cornell University)|Sep 23, 2007

Advanced Operator Algebra Research参考文献 22被引用 19

一句话总结

本文提供了关于等变上同调的全面讲义笔记，重点介绍Atiyah-Bott与Berline-Vergne的局部化定理。通过同伦商空间 $(M \times E)/G$ 建立了拓扑定义，其中 $E$ 是一个可缩的 $G$-空间，并发展了流形上的de Rham方法。主要贡献在于推导出Berline-Vergne局部化公式，将等变积分表示为不动点上的和，其应用包括Kirillov特征标公式与Duistermaat-Heckman定理。

ABSTRACT

These are the lecture notes for the introductory graduate course I taught at Yale during Spring 2007. I mostly followed [GS], [BGV], [AB], [Par2], and there are no original results in these notes.

研究动机与目标

• 为研究生提供等变上同调的自包含导论。
• 为紧致李群在流形上的作用建立等变上同调的拓扑定义与de Rham定义。
• 推导并解释等变形式积分的Berline-Vergne局部化公式。
• 将等变上同调与表示论中的关键结果（如Kirillov特征标公式）联系起来。
• 介绍Witten 1-形式及其在等变上同调中局部化上推的作用。

提出的方法

• 将等变上同调定义为 $H^*_G(M) = H^*((M \times E)/G)$，其中 $E$ 是具有自由 $G$-作用的可缩 $G$-空间。
• 利用分类丛 $EG \to BG$ 确保定义关于 $E$ 的选择在 $G$-等变同伦意义下唯一。
• 应用主 $G$-丛的分类定理，以证明 $BG$ 可作为普遍空间构造。
• 引入Witten 1-形式 $\lambda = (\mathcal{H}, \cdot)_M$，其中 $\mathcal{H}$ 是 $\|\mu\|^2/2$ 的哈密顿向量场，用于在等变上同调中定义单位分解。
• 构造等变单位分解 $1_M = \operatorname{P}_\lambda + d_{\text{eq}}\delta$，其中 $\operatorname{P}_\lambda$ 支撑于 $\{\Phi_\lambda = 0\} = \operatorname{Cr}(\|\mu\|^2)$ 附近。
• 利用傅里叶变换与温和分布，将上推 $\mathcal{P}(\alpha)$ 局域化到 $\|\mu\|^2$ 的临界集，从而通过不动点贡献实现计算。

实验结果

研究问题

• RQ1 如何为紧致李群在空间上的作用定义等变上同调的拓扑形式？
• RQ2 拓扑定义 $H^*_G(M) = H^*((M \times E)/G)$ 与流形上的de Rham模型之间有何关系？
• RQ3 Berline-Vergne局部化公式如何将等变积分表示为不动点上的和？
• RQ4 Witten 1-形式在将等变积分局域化到 $\|\mu\|^2$ 的临界点方面起什么作用？
• RQ5 临界集 $\operatorname{Cr}(\|\mu\|^2)$ 的各连通分支对上推 $\mathcal{P}(\alpha)$ 的贡献如何？

主要发现

• 由于分类丛 $BG$ 的唯一性，等变上同调 $H^*_G(M)$ 与可缩 $G$-空间 $E$ 的选择无关。
• 当作用自由时，空间 $(M \times E)/G$ 同伦等价于 $M/G$，因此此时 $H^*_G(M) \cong H^*(M/G)$。
• 单位分解 $1_M = \operatorname{P}_\lambda + d_{\text{eq}}\delta$ 允许将等变形式分解为局域部分与恰当部分。
• 上推 $\mathcal{P}(\alpha)$ 等于 $\operatorname{P}_\lambda \wedge \alpha \wedge e^{i\tilde{\omega}}$ 的傅里叶变换，其局域化于 $\{\Phi_\lambda = 0\} = \operatorname{Cr}(\|\mu\|^2)$。
• 临界集 $\operatorname{Cr}(\|\mu\|^2)$ 的每个连通分支对 $\mathcal{P}(\alpha)$ 的贡献可通过法丛计算，且与良好开集 $U$ 的选择无关。
• 局部化公式恢复了Duistermaat-Heckman定理，并导出紧致李群的Kirillov特征标公式。