[论文解读] Exact sequences for equivariantly formal spaces

Matthias Franz, Volker Puppe|arXiv (Cornell University)|Jul 9, 2003

Algebraic structures and combinatorial models参考文献 8被引用 24

一句话总结

本文将等变形式空间的Atiyah–Bredon正合列推广至任意系数环，包括整数环和素数域，将Chang–Skjelbred引理由有理系数扩展至整系数。在同伦子群条件减弱的情况下建立了Atiyah–Bredon正合列的正合性，使得无需固定点的群作用的等变上同调可通过基于最小轨道维数的修正序列进行计算。

ABSTRACT

Let T be a torus. We present an exact sequence relating the relative equivariant cohomologies of the skeletons of an equivariantly formal T-space. This sequence, which goes back to Atiyah and Bredon, generalizes the so-called Chang-Skjelbred lemma. As coefficients, we allow prime fields and subrings of the rationals, including the integers. We extend to the same coefficients a generalization of this "Atiyah-Bredon sequence" for actions without fixed points which has recently been obtained by Goertsches and Toeben.

研究动机与目标

• 将Atiyah–Bredon正合列推广至有理数以外的系数环，包括整数环和素数域。
• 在同伦子群受约束的条件下，将Chang–Skjelbred引理由有理系数推广至整系数。
• 将Goertsches与Töben关于无固定点作用的结果推广至相同的系数环及更广泛的拓扑空间类别。
• 在广义系数下，提供Atiyah定理的上同调版本。
• 确立Atiyah–Bredon正合列在无固定点作用下仍保持正合性的条件。

提出的方法

• 使用子环或有限域 𝔽p 的系数的Alexander–Spanier上同调。
• 将等变骨架 Xi 定义为维数 ≤ i 的轨道的并集，其中 X−1 = ∅ 且 X0 = XT。
• 为处理整系数与模 p 系数，引入 Tp,i 骨架以处理 p-挠子群。
• 对对 (Xi, Xi−1) 和 (Xi+1, Xi−1) 应用等变上同调的长正合列。
• 利用深度论证与Cohen–Macaulay模理论证明正合列的正合性。
• 将Atiyah原始证明适配至上同调与广义系数，聚焦于正则性与深度条件。

实验结果

研究问题

• RQ1 Atiyah–Bredon正合列能否推广至有理数以外的系数环，如 ℤ 或 𝔽p？
• RQ2 在无固定点作用下，Atiyah–Bredon正合列在何种条件下仍保持正合？
• RQ3 如何在同伦子群受限制的条件下将Chang–Skjelbred引理由有理系数推广至整系数？
• RQ4 在无固定点作用中，等变上同调环的维数与最小轨道维数之间有何关系？
• RQ5 若 H*T(X) 关于 H*(BT) 是Cohen–Macaulay的，则当 X 无固定点时，从 Xk 开始的修正Atiyah–Bredon正合列是否仍正合？

主要发现

• 在 Tp,i 骨架满足条件 (2.3a) 或 (2.3b) 时，Atiyah–Bredon正合列对系数环 R ⊂ ℚ 或 R = 𝔽p 成立。
• 在 R = ℤ 时，建立了受同伦子群约束的整系数Chang–Skjelbred引理版本。
• 对于无固定点作用，当从 k-骨架开始时，正合列仍保持正合，其中 k 为最小轨道维数。
• 证明了 H*T(X) 的维数为 d + n − k，其中 d 为 H*(BT) 的Krull维数，k 为最小轨道维数。
• 若 H*T(X) 关于 H*(BT) 是Cohen–Macaulay的，则从 Xk 开始的修正Atiyah–Bredon正合列是正合的。
• 证明依赖于深度论证，且 H*T(Xi, Xi−1) 的深度至少为 n−i，从而保证了正合性所需的正则性。