[论文解读] On the finiteness of the classifying space for the family of virtually cyclic subgroups

Timm von Puttkamer, Xiaolei Wu|arXiv (Cornell University)|Jul 13, 2016

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

一句话总结

本文证明了对于众多群类——包括单 relator 群、狭义双曲群、3-流形群以及 CAT(0) 乘积群——除非该群本身是拟循环群，否则不存在用于拟循环子群族的分类空间的有限模型。作者通过证明这些群不满足 BVC（有界拟循环）性质，而该性质是有限模型存在的必要条件，从而得出结论。该证明使用了涉及平移长度和 CAT(0) 空间中有限支配集的几何与代数技术。

ABSTRACT

Given a group G, we consider its classifying space for the family of virtually cyclic subgroups. We show for many groups, including for example, one-relator groups, acylindrically hyperbolic groups, 3-manifold groups and CAT(0) cube groups, that they do not admit a finite model for this classifying space unless they are virtually cyclic. This settles a conjecture due to Juan-Pineda and Leary for these classes of groups.

研究动机与目标

• 解决 Juan-Pineda 与 Leary 关于拟循环子群族分类空间有限性的猜想。
• 确定哪些群类允许拟循环子群族分类空间的有限模型。
• 确立 BVC（有界拟循环）性质是此类有限模型存在的必要条件。
• 表明在关键几何群类中（例如单 relator 群、狭义双曲群、3-流形群、CAT(0) 乘积群）非拟循环群不满足 BVC 性质。
• 对几何群论各类群系统性地分析 BVC 性质，将代数有限性与 CAT(0) 空间上的几何作用联系起来。

提出的方法

• 分析 BVC 性质：一个有限个拟循环子群的集合，其共轭类覆盖所有拟循环子群。
• 利用 CAT(0) 空间中的平移长度集合，通过有限支配子集检测 BVC 的失败。
• 应用平坦环面定理，表明 CAT(0) 群中存在 Z² 子群时，其平移长度集合非有限支配。
• 证明 CAT(0) 乘积复形中存在秩一等距变换时，由于几何扭曲，导致 BVC 失败。
• 利用 HNN 扩张与单 relator 群结构，证明非拟循环群无法满足 BVC 性质。
• 借助几何群论中的结果（例如 Caprace-Sageev 定理），对 CAT(0) 乘积复形上的作用进行分类，并推导出 BVC 失败的结论。

实验结果

研究问题

• RQ1 单 relator 群是否允许拟循环子群族分类空间的有限模型？
• RQ2 狭义双曲群是否允许拟循环子群族分类空间的有限模型？
• RQ3 3-流形群是否允许拟循环子群族分类空间的有限模型，除非其本身是拟循环群？
• RQ4 CAT(0) 乘积群是否允许拟循环子群族分类空间的有限模型，除非其本身是拟循环群？
• RQ5 BVC 性质是否足以保证一个有限表示群拥有拟循环子群族分类空间的有限模型？

主要发现

• 单 relator 群拥有拟循环子群族分类空间的有限模型，当且仅当其本身是拟循环群。
• 狭义双曲群拥有拟循环子群族分类空间的有限模型，当且仅当其本身是拟循环群。
• 3-流形群拥有拟循环子群族分类空间的有限模型，当且仅当其本身是拟循环群。
• CAT(0) 乘积群拥有拟循环子群族分类空间的有限模型，当且仅当其本身是拟循环群。
• 在 CAT(0) 空间上作用且含有 Z² 子群或秩一等距变换的群不满足 BVC 性质，因此无法拥有有限模型。
• 在所研究的各类群中，所有非拟循环群均不满足 BVC 性质，从而证实了 Juan-Pineda 与 Leary 对这些群的猜想。