[论文解读] Constructing homotopy equivalences of chain complexes of free ZG-modules

Lukáš Vokřínek|arXiv (Cornell University)|Apr 24, 2013

Homotopy and Cohomology in Algebraic Topology参考文献 6被引用 5

一句话总结

该论文提出了一种算法化方法，用于从非等变的链同伦等价构造 G-等变链同伦等价，从而实现对 Eilenberg-MacLane 空间 K(π, n) 的等变 (co)同调的有效计算，其中 π 是一个有限生成的 ZG-模。该方法利用 G∞-结构和通过扰动 bar 构造的可约化替换，推广至任意非负分次微分代数，其底层面具有自由的群结构且 1 为生成元。

ABSTRACT

We describe a general method for algorithmic construction of G-equivariant chain homotopy equivalences from non-equivariant ones. As a consequence, we obtain an algorithm for computing equivariant (co)homology of Eilenberg-MacLane spaces K(pi,n), where pi is a finitely generated ZG-module. This result will be used in a forthcoming paper to construct equivariant Postnikov towers of simply connected spaces with free actions of a finite group G and further to compute stable equivariant homotopy classes of maps between such spaces. The methods of this paper work for modules over any non-negatively graded differential graded algebra, whose underlying graded abelian group is free with 1 as one of the generators.

研究动机与目标

• 开发一种从非等变同伦等价构造 G-等变链同伦等价的算法化方法。
• 实现对 Eilenberg-MacLane 空间 K(π, n) 的等变 (co)同调的算法化计算，其中 π 是一个有限生成的 ZG-模。
• 将有效同调代数框架推广至等变设置，特别是针对有限群 G 自由作用于单连通空间的情形。
• 为构造等变 Postnikov 层叠和计算稳定等变同伦映射类提供基础。
• 通过 R∞-结构和可约化替换，将有效同调代数框架推广至等变设置。

提出的方法

• 从一个 G-复 M 与一个局部有限的 Z-复 N 之间的非等变同伦等价出发。
• 通过构造一个 G∞-结构，为 N 赋予“同伦意义下”的 G-作用，类似于非等变情形下的 A∞-结构。
• 定义放松了严格 G-线性性的 G∞-链映射与同伦，以支持算法化操作。
• 使用扰动 bar 构造，为 M 和 N 构造可约化替换 BM 和 BN，以严格化 G∞-映射。
• 通过在 BM 和 BN 上从头构建新的链同伦，重构 G-线性同伦等价。
• 利用所得的 G-线性等价 BM ≃ BN 和进一步的 G-线性等价 BM ≃ M，实现最终的 G-等变同伦等价。

实验结果

研究问题

• RQ1 能否将一个 G-复 M 与一个局部有限的 Z-复 N 之间的非等变同伦等价，算法化地升级为 G-等变同伦等价？
• RQ2 当 π 是一个有限生成的 ZG-模时，能否算法化地计算 Eilenberg-MacLane 空间 K(π, n) 的等变 (co)同调？
• RQ3 是否能够通过 G∞-结构和可约化替换，将有效同调代数框架推广至等变情形？
• RQ4 此类 G-等变等价的构造计算复杂度如何，特别是在多项式时间同调的背景下？
• RQ5 如何将 Smith 标准型应用于等变约化后轨道复形 M/G 的 (co)同调计算？

主要发现

• 该论文构造了一种算法化方法，可将任意 G-复 M 与一个局部有限的 Z-复之间的非等变同伦等价，转换为与一个局部有限的 G-复之间的 G-线性同伦等价。
• 该方法依赖于在目标复形 N 上引入 G∞-结构，并利用扰动 bar 构造构建可约化替换 BM 和 BN。
• 所得的 G-线性同伦等价 BM ≃ BN 是算法化的，且当输入数据为多项式时间可计算时，保持多项式时间可计算性。
• 该构造实现了对有限生成 ZG-模 π 的 K(π, n) 的等变 (co)同调的算法化计算，将 Eilenberg-MacLane 的经典结果推广至等变情形。
• N/G 中微分的 Smith 标准型可在多项式时间内计算，从而实现对轨道复形 M/G 的 (co)同调的高效计算。
• 该框架适用于任意非负分次微分代数 R，其底层面为自由的分次阿贝尔群且 1 为生成元，不仅限于群代数。