[论文解读] Connectivity properties of group actions on non-positively curved spaces I: Controlled connectivity and openness results

Robert Bieri, Ross Geoghegan|ArXiv.org|Nov 3, 1998

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

一句话总结

本文引入了一种新的关于群作用于CAT(0)空间的控制拓扑不变量，证明了共 compact 等距作用以及具有离散轨道和F_n型点稳定子的共 compact 作用在所有等距群作用的空间中构成开子集。关键贡献在于提出了一套新颖的拓扑框架，该框架推广了几何群论中熟悉的有限性性质，特别是在轨道为离散的情况下。

ABSTRACT

Let G be a group and let M be a CAT(0) proper metric space (e.g. a simply connected complete Riemannian manifold of non-positive sectional curvature or a locally finite tree). Isometric actions of G on M are (by definition) points in the space R := Hom(G, Isom(M)) with the compact open topology. Sample theorems: 1. The cocompact actions form an open subset of R. 2. The cocompact actions with discrete orbits whose point-stabilizers have type F_n form an open subset of the subspace of R consisting of all actions with discrete orbits. (F_1 means finitely generated, F_2 means finitely presented etc.) The key idea is to introduce a new "controlled topology" invariant of such actions - dependent on n - which is unfamiliar when the orbits are not discrete but which becomes familiar (cf 2.) when the orbits are discrete. (This is the first of two papers.)

研究动机与目标

• 为非正曲率空间上的等距群作用发展一种控制拓扑不变量。
• 分析CAT(0)完备度量空间上等距群作用空间的拓扑结构。
• 建立共 compact 作用以及具有离散轨道和F_n型点稳定子的群作用的开性结果。
• 在非正曲率空间上的群作用背景下，推广有限性性质（F_n）。
• 为使用控制拓扑研究群作用（尤其是离散轨道情形）奠定基础工具。

提出的方法

• 引入一种依赖于n的新控制拓扑不变量，专用于群作用于CAT(0)空间的情形。
• 在空间 R = Hom(G, Isom(M)) 上使用紧开拓扑来研究作用类型的收敛性与开性。
• 将共 compact 作用视为 R 的子集，通过控制连通性证明其开性。
• 聚焦于具有离散轨道和F_n型点稳定子的群作用，证明其在所有离散轨道作用的子空间中为开集。
• 利用CAT(0)空间的几何性质——如完备、单连通的非正曲率黎曼流形或局部有限树——以确保适当的拓扑行为。
• 应用几何群论与同伦论的技术，将控制不变量与经典有限性性质（F_1, F_2等）联系起来。

实验结果

研究问题

• RQ1 在何种条件下，CAT(0)空间上所有等距群作用空间中的共 compact 等距群作用空间是开集？
• RQ2 如何为非正曲率空间上的群作用定义一个控制拓扑不变量，以捕捉有限性性质？
• RQ3 在所有此类作用的空间中，具有离散轨道和F_n型点稳定子的作用具有何种拓扑结构？
• RQ4 该控制不变量与经典有限性性质（如F_1（有限生成）和F_2（有限表示））之间有何关系？
• RQ5 控制拓扑在轨道为离散时，以何种方式简化或阐明群作用的行为？

主要发现

• 在紧开拓扑下，CAT(0)完备度量空间上共 compact 等距群作用的集合构成空间 R = Hom(G, Isom(M)) 的一个开子集。
• 具有离散轨道和F_n型点稳定子的群作用集合，在所有离散轨道作用的子空间中为开集。
• 引入了一种新的控制拓扑不变量，当轨道为离散时，该不变量等价于标准的F_n性质。
• 该控制不变量为理解非正曲率空间上群作用的有限性性质提供了一个统一的框架。
• 研究结果建立了对几何群论中群作用形变空间研究至关重要的基础开性定理。
• 该框架适用于多种CAT(0)空间，包括非正曲率的完备单连通黎曼流形和局部有限树。