[论文解读] A remark on mapping tori of free group endomorphisms

Ilya Kapovich|ArXiv.org|Aug 23, 2002

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

一句话总结

本文证明，对于任意有限生成自由群 F 的自同态 φ，其映射环面 M(φ) 同构于某个有限生成自由群 F₁ 上某个单射自同态 ψ 的映射环面。通过利用核的稳定化与Tietze变换，作者证明 M(φ) 既为一致的又为霍普夫的，从而将此前依赖于单射性的结果推广。关键贡献在于，去除了映射环面对自由群自同态的相干性与霍普夫性所要求的单射性假设。

ABSTRACT

We observe that the results of Feighn-Handel and Geoghegan-Mihalik-Sapir-Wise about coherence and Hopficity of mapping tori of injective endomorphisms of free groups extend to non-injective endomorphisms.

研究动机与目标

• 将关于自由群单射自同态映射环面的已知结果推广至非单射情形。
• 证明任意有限生成自由群自同态的映射环面对相干性与霍普夫性成立。
• 建立每个映射环面 M(φ) 同构于某个有限秩自由群上某单射自同态 ψ 的映射环面 M(ψ)。

提出的方法

• 识别 φ 的幂的核的稳定化，即存在 k 使得对所有 n ≥ k 有 ker(φ^k) = ker(φ^n)。
• 令 N = ker(φ^k)，则 φ 在商群 F/N 上诱导出一个单射自同态 φ̄。
• 利用Tietze变换，对所有 f ∈ N 添加关系 f = 1，将 M(φ) 的表示转化为 F/N 上的 HNN扩张。
• 注意到 F/N 同构于 φ^k(F)，是一个有限生成的有限秩自由群。
• 将 Feighn 与 Handel（相干性）及 Geoghegan 等人（霍普夫性）的已知结果应用于单射情形。
• 通过 M(φ) 同构于 M(ψ) 的事实，得出 M(φ) 继承了相干性与霍普夫性。

实验结果

研究问题

• RQ1 自由群单射自同态的映射环面对相干性，是否可推广至非单射自同态？
• RQ2 自由群单射自同态的映射环面对霍普夫性，是否在不假设单射性时仍成立？
• RQ3 每个有限生成自由群自同态的映射环面是否同构于某个有限秩自由群上某单射自同态的映射环面？
• RQ4 自同态的核稳定化如何实现同构于单射映射环面的构造？

主要发现

• 对任意有限生成自由群 F 的自同态 φ，存在一个有限生成自由群 F₁ 及其上的单射自同态 ψ，使得 M(φ) ≅ M(ψ)。
• φ^k 的核在某 k 处稳定，即对所有 n ≥ k 有 ker(φ^k) = ker(φ^n)，此为自由群的秩稳定化与霍普夫性之结果。
• 商群 F/N（其中 N = ker(φ^k)）是有限生成自由群，且同构于 φ^k(F)。
• 通过添加所有 f ∈ N 的关系 f = 1 进行Tietze变换，M(φ) 的表示被转化为 F/N 上某单射自同态的 HNN 扩张表示。
• 因此，M(φ) 从 M(ψ) 继承了相干性与霍普夫性，而后者对单射自同态已知成立。
• 故而，即使 φ 不是单射，M(φ) 仍为一致的且为霍普夫的。