[论文解读] The cohomology rings of abelian symplectic quotients

Susan Tolman, Jonathan Weitsman|ArXiv.org|Jul 30, 1998

Algebraic Geometry and Number Theory参考文献 11被引用 25

一句话总结

本文通过将Kirwan映射的核表示为固定点数据与指标函数的Morse理论，给出了阿贝尔对称哈密顿商的有理上同调环的显式公式。关键贡献是一个短正合列，将核识别为在子水平集的固定点子集上消失的理想之和，从而实现了上同调环的计算，并在特定条件下证明了无挠性。

ABSTRACT

Let $M$ be a symplectic manifold, equipped with a Hamiltonian action of a torus $T$. We give an explicit formula for the rational cohomology ring of the symplectic quotient $M//T$ in terms of the cohomology ring of $M$ and fixed point data. Under some restrictions, our formulas apply to integral cohomology. In certain cases these methods enable us to show that the cohomology of the reduced space is torsion-free.

研究动机与目标

• 确定哈密顿环作用下对称哈密顿商的有理上同调中Kirwan映射的核。
• 提供一种系统化方法，利用等变上同调与固定点数据计算对称哈密顿商的上同调环。
• 建立积分上同调在约化空间上无挠的条件。
• 通过Morse理论技术推广并显式化非阿贝尔局部化原理。

提出的方法

• 应用Morse理论于函数 $||\phi||^2$（即指标映射的平方范数），分析水平集的拓扑结构。
• 利用Morse函数 $\phi^\xi$ 和 $||\phi||^2$ 的自完备性，通过长正合列分解上同调。
• 定义子水平集 $M_\xi = \{m \in M \mid \langle \phi(m), \xi \rangle \leq 0\}$ 及其关联的理想 $K_\xi$，其中 $K_\xi$ 为在 $F \cap M_\xi$ 上消失的上同调类集合，$F$ 为固定点集。
• 构造核 $K = \sum_{\xi \in \mathfrak{t}} K_\xi$ 为这些理想的和，其捕捉了Kirwan映射的核。
• 利用Kirwan的结果：在等变上同调中，限制到固定点是单射，从而将核与固定点数据关联。
• 将该方法应用于典型簇，通过将它们实现为 $\mathbb{C}^N$ 的对称哈密顿商，利用多项式理想计算其上同调环。

实验结果

研究问题

• RQ1 阿贝尔对称哈密顿商的Kirwan映射 $\kappa: H_T^*(M; \mathbb{Q}) \to H^*(M_{\text{red}}; \mathbb{Q})$ 的核是什么？
• RQ2 如何从原始流形的上同调与固定点数据显式计算对称哈密顿商的上同调环？
• RQ3 在何种条件下，约化空间的积分上同调是无挠的？
• RQ4 能否通过指标函数上的Morse理论构造显式化非阿贝尔局部化原理？
• RQ5 光滑典型簇的上同调环如何作为对称哈密顿商出现，其代数结构是什么？

主要发现

• Kirwan映射的核同构于 $K = \sum_{\xi \in \mathfrak{t}} K_\xi$，其中 $K_\xi$ 为在 $F \cap M_\xi$ 上消失的上同调类集合，从而导出短正合列 $0 \to K \to H_T^*(M; \mathbb{Q}) \xrightarrow{\kappa} H^*(M_{\text{red}}; \mathbb{Q}) \to 0$。
• 对称哈密顿商的上同调环 $H^*(M; \mathbb{Q})$ 同构于 $\mathbb{Q}[x_1, \dots, x_N]/(\mathcal{I}, \mathcal{J})$，其中 $\mathcal{J}$ 是由 $\sum \alpha_i x_i$ 生成的理想，$\alpha \in \pi^*(\mathfrak{t}^*)$，而 $\mathcal{I}$ 由 $\prod_{i \in I} x_i$ 生成，其中 $I$ 满足其对应的单形在指标多面体中不相交。
• 当固定点集 $F$ 的有理上同调无挠时，约化空间 $M_{\text{red}}$ 的积分上同调也无挠。
• 该方法适用于光滑典型簇，其上同调环可作为多项式环模以编码指标多面体组合结构的理想的商环恢复。
• 该构造表明，$M_{\text{red}}$ 的上同调完全由固定点数据与指标映射的子水平集几何决定。
• 使用 $||\phi||^2$ 作为Morse函数，可清晰识别约化空间为其极小集，从而通过关联的Morse理论实现核的计算。