[论文解读] The Magnus representation and homology cobordism groups of homology cylinders

Takuya Sakasai|arXiv (Cornell University)|Aug 31, 2011

Geometric and Algebraic Topology参考文献 20被引用 3

一句话总结

本文引入了一种新不变量——源自 Magnus 表示——以研究曲面及高维流形上同调圆柱的同调挠系数群的阿贝尔商群。通过利用自由群的无圈闭包及其自同构群，作者证明了这些同调挠系数群具有同构于无穷秩自由阿贝尔群的阿贝尔商群，从而解决了低维拓扑中的一个关键结构性问题，并为无圈闭包提供了新的群论见解。

ABSTRACT

A homology cylinder over a compact manifold is a homology cobordism between two copies of the manifold together with a boundary parametrization. We study abelian quotients of the homology cobordism group of homology cylinders. For homology cylinders over general surfaces, it was shown by Cha, Friedl and Kim that their homology cobordism groups have infinitely generated abelian quotient groups by using Reidemeister torsion invariants. In this paper, we first investigate their abelian quotients again by using another invariant called the Magnus representation. After that, we apply the machinery obtained from the Magnus representation to higher dimensional cases and show that the homology cobordism groups of homology cylinders over a certain series of manifolds regarded as a generalization of surfaces have big abelian quotients. In the proof, a homological localization, called the acyclic closure, of a free group and its automorphism group play important roles and our result also provides some information on these groups from a group-theoretical point of view.

研究动机与目标

• 利用 Magnus 表示作为 Reidemeister torsion 的替代方法，研究同调圆柱在曲面上的同调挠系数群的阿贝尔商群。
• 通过群论方法，将阿贝尔商群的研究从曲面推广至高维流形。
• 证明自由群的无圈闭包的自同构群具有无穷秩阿贝尔商群。
• 为无圈闭包及其幂零化商群提供新的群论信息，表明它们不是有限生成的。

提出的方法

• 将 Magnus 表示用作从同调圆柱单子到矩阵群的交叉同态，其通过同调挠系数群进行分解。
• 采用自由群的无圈闭包作为群论模型，以自同构形式描述 Magnus 表示。
• 使用同调局部化技术——无圈闭包——将 Magnus 表示推广至高维流形。
• 证明构造了从同调挠系数群到自由群无圈闭包自同构群的满同态。
• 关键步骤涉及通过以素数为参数的自同构族，证明无圈闭包的自同构群具有无穷秩阿贝尔商群。
• 论证依赖于从 Magnus 表示导出的某些多项式的不可约性与次数无关性，以确保目标阿贝尔群中的线性无关性。

实验结果

研究问题

• RQ1 Magnus 表示是否在 Reidemeister torsion 之外，为曲面上同调圆柱的同调挠系数群提供了新的阿贝尔商群？
• RQ2 Magnus 表示能否推广至高维流形上的同调圆柱，以检测无穷秩阿贝尔商群？
• RQ3 自由群无圈闭包的自同构群的阿贝尔化结构如何？
• RQ4 无圈闭包及其幂零化商群是否有限生成？与经典自由群相比有何不同？
• RQ5 在同调挠系数的背景下，Magnus 表示的不变量与 Reidemeister torsion 的不变量（特别是 H- torsion）有何关系？

主要发现

• 在某一类高维流形上，同调圆柱的同调挠系数群具有同构于无穷秩自由阿贝尔群的阿贝尔商群。
• 在 n ≥ 2 个生成元下，自由群无圈闭包的自同构群的阿贝尔化具有无穷秩。
• 在 n ≥ 2 个生成元下，自由群的无圈闭包不是有限生成的，这由 Magnus 表示中无穷多个不可约多项式分母所证明。
• 无圈闭包的幂零化商群同样不是有限生成的，这与通过 Stallings 定理得到的幂零商群的有限生成性形成对比。
• Magnus 表示与 Reidemeister torsion 不变量（特别是 H- torsion）相关联，前者为高维推广提供了更一般的框架。
• 自由群的代数闭包也为其自同构群与外自同构群产生无穷秩阿贝尔商群，其幂零化商群同样具有类似的非有限生成性结果。