[论文解读] On the cohomology rings of Hamiltonian T-spaces

Susan Tolman, Jonathan Weitsman|ArXiv.org|Dec 1, 1998

Geometric and Algebraic Topology被引用 11

一句话总结

本文提供了哈密顿T-空间中等变上同调限制映射像的Goresky-Kottwitz-MacPherson公式的简洁证明。利用Kirwan的单射定理，作者将像刻画为对称代数上的模，借助不动点集和等变权重的组合数据，从而为辛几何中的等变上同调环提供了一种计算工具。

ABSTRACT

Let $M$ be a symplectic manifold equipped with a Hamiltonian action of a torus $T$. Let $F$ denote the fixed point set of the $T$-action and let $i:F\hookrightarrow M$ denote the inclusion. By a theorem of F. Kirwan \cite{K} the induced map $i^*:H_T^*(M) o H_T^*(F)$ in equivariant cohomology is an injection. We give a simple proof of a formula of Goresky-Kottwitz-MacPherson \cite{GKM} for the image of the map $i^*$.

研究动机与目标

• 提供等变上同调中限制映射像的Goresky-Kottwitz-MacPherson公式的简化证明。
• 澄清哈密顿T-空间中包含映射 $ i^*: H_T^*(M) \to H_T^*(F) $ 的像的结构。
• 利用不动点数据和等变权重建立等变上同调环的计算框架。
• 强化Kirwan单射定理在辛环形几何中的几何与拓扑意义。

提出的方法

• 利用Kirwan定理，该定理保证了等变上同调中限制映射 $ i^*: H_T^*(M) \to H_T^*(F) $ 的单射性。
• 通过不动点集 $ F $ 的组合结构以及环作用的权重分析限制映射的像。
• 将像表示为对称代数 $ S^*(\mathfrak{t}^*) $ 上的模，其约束由等变权重导出。
• 应用GKM形式化方法，通过不动点图上的边条件编码像。
• 利用作用映射和环作用的结构推导等变类之间的关系。
• 证明像由在每个不动点处满足特定相容条件的等变类组成。

实验结果

研究问题

• RQ1 在哈密顿T-空间的等变上同调中，限制映射 $ i^*: H_T^*(M) \to H_T^*(F) $ 的精确像是什么？
• RQ2 如何以最小的技术复杂度推导Goresky-Kottwitz-MacPherson公式？
• RQ3 等变权重和不动点数据在刻画等变上同调环中起什么作用？
• RQ4 Kirwan单射结果如何约束此情形下像的结构？
• RQ5 能否通过更直接且概念性更强的方法重新证明GKM公式？

主要发现

• 限制映射 $ i^*: H_T^*(M) \to H_T^*(F) $ 的像是 $ H_T^*(F) $ 的一个子模，其相容性条件由等变权重定义。
• 通过Kirwan单射性和作用映射结构的直接论证，恢复了Goresky-Kottwitz-MacPherson公式。
• 像被刻画为在不动点上取值的等变类元组，其边条件由环作用的权重决定。
• 上同调环 $ H_T^*(M) $ 嵌入到所有不动点 $ p \in F $ 的 $ H_T^*(\{p\}) $ 的乘积中，约束通过GKM图编码。
• 该结果提供了一种实用方法，仅利用不动点数据和权重即可计算哈密顿T-空间的等变上同调环。
• 该证明表明，像为 $ S^*(\mathfrak{t}^*) $ 上的有限生成模，具有显式生成元和关系。