[论文解读] Mapping tori of free group automorphisms are coherent

Mark Feighn, Michael Handel|arXiv (Cornell University)|May 1, 1999

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

一句话总结

本文证明了自由群的单射自同态的映射环面是一致的，即所有有限生成子群均为有限表示且为有限型。通过几何群论与Bass-Serre理论的技术，作者建立了一类在自由群上以单射自同态为关联映射的HNN扩张保持一致性的结论，从而解决了群论中一个关键的结构性问题。

ABSTRACT

The mapping torus of an endomorphism Φof a group G is the HNN-extension G*_G with bonding maps the identity and Φ. We show that a mapping torus of an injective free group endomorphism has the property that its finitely generated subgroups are finitely presented and, moreover, these subgroups are of finite type.

研究动机与目标

• 研究由自由群的单射自同态构造的映射环面的一致性性质。
• 确定此类映射环面的所有有限生成子群是否为有限表示。
• 证明这些子群为有限型，即群论中比有限表示更强的有限性条件。
• 扩展对自由群上HNN扩张在单射自同态下的结构性理解。
• 解决关于自由群自同构的映射环面类中一致性的长期悬而未决问题。

提出的方法

• 将映射环面构造为以恒等映射和单射自同态为关联映射的自由群的HNN扩张。
• 应用Bass-Serre理论分析所得HNN扩张的结构。
• 利用自由群的单射自同态在HNN扩张下保持某些有限性性质的事实。
• 利用HNN扩张中有限生成子群的结论证明有限表示性。
• 采用几何与组合群论技术验证子群为有限型。
• 利用映射环面作为群扩张的结构推导出一致性。

实验结果

研究问题

• RQ1 自由群的单射自同态的映射环面的所有有限生成子群是否为有限表示？
• RQ2 自由群的单射自同态的映射环面是否满足一致性的性质？
• RQ3 能否通过HNN扩张理论与Bass-Serre理论建立此类映射环面的一致性？
• RQ4 自由群的单射自同态的哪些结构性质可确保其映射环面的一致性？
• RQ5 自由群的单射自同态的映射环面类在有限生成性与有限表示性下是否封闭？

主要发现

• 自由群的单射自同态的映射环面是一致的，即所有有限生成子群均为有限表示。
• 此类映射环面的所有有限生成子群均为有限型，此为强于有限表示性的有限性条件。
• 该一致性结果特指单射自同态，对一般自同态未必成立。
• 证明依赖于HNN扩张的结构以及自由群中单射自同态的性质。
• 该结果在这些映射环面的子群格上建立了重要的结构性约束。
• 本文确认了映射环面构造在自由群的单射自同态下保持一致性。