[论文解读] Proper homotopy types and Z-boundaries of spaces admitting geometric group actions

Craig R. Guilbault, Molly A. Moran|arXiv (Cornell University)|Jul 24, 2017

Homotopy and Cohomology in Algebraic Topology被引用 4

一句话总结

本文将几何群论中的关键定理推广至任意完备度量绝对收缩核（AR）空间，无需假设有限维性、CAT(0)结构或自由群作用。研究证明，拟等距作用于此类空间的群具有适当同伦等价的空间，并共享形状等价的Z-边界，从而将超曲率群与CAT(0)群的结果推广至含挠群及更广泛的拓扑设定，借助ANR与形状理论实现。

ABSTRACT

We extend several techniques and theorems from geometric group theory so that they apply to geometric actions on arbitrary proper metric ARs (absolute retracts). A second way that we generalize earlier results is by eliminating freeness requirements often placed on the group actions. In doing so, we allow for groups with torsion. The main theorems are new in that they generalize results found in the literature, but a significant aim is expository. Toward that end, brief but reasonably comprehensive introductions to the theories of ANRs (absolute neighborhood retracts) and Z-sets are included, as well as a much shorter short introduction to shape theory. Here is a sampling of the theorems proved here. THEOREM. If quasi-isometric groups G and H act geometrically on proper metric ARs X and Y , resp., then X is proper homotopy equivalent to Y. THEOREM. If quasi-isometric groups G and H act geometrically on proper metric ARs X and Y , resp., and Y can be compactified to a Z-structure for H, then the same boundary can be added to X to obtain a Z-structure for G. THEOREM. If quasi-isometric groups G and H admit Z-structures (X^, Z_1) and (Y^, Z_2) resp., then Z_1 and Z_2 are shape equivalent.

研究动机与目标

• 将经典几何群论定理——此前仅适用于CW复形、流形或CAT(0)空间——推广至更广泛的完备度量AR类。
• 消除群作用的自由性假设，使结果可应用于含挠群。
• 通过ANR与形状理论，统一并推广Z-结构与Z-边界理论至各类空间。
• 为不熟悉这些工具的研究者提供ANR、Z-集与形状理论的自包含且易懂的导论。

提出的方法

• 基于紧致ANR的逆序列，采用广义的'连点成线'策略，建立适当同伦等价，且不依赖CW复形结构。
• 应用希尔伯特立方流形理论（通过定理2.11）构造无穷远处任意小的闭ANR邻域，从而在一般情形下实现边界交换。
• 运用边界交换技术，将在拟等距群作用下空间之间的Z-紧化相互转移。
• 利用逆序列的反向同伦等价定义并比较紧致空间（特别是Z-边界）的形状类型。
• 改编覆盖空间理论与ANR理论（如定理2.10），证明具有几何群作用的空间之间的同伦等价。
• 构造逆序列之间同伦交换的梯形图，以证明Z-边界的形状等价。

实验结果

研究问题

• RQ1 能否在不假设有限维性或CW结构的前提下，建立具有几何群作用的空间之间的适当同伦等价？
• RQ2 Z-结构的边界交换现象是否可推广至非自由群作用与一般AR空间？
• RQ3 在缺乏有限维性或无挠性条件下，能否证明拟等距群的Z-边界为形状等价？
• RQ4 形状理论如何应用于AR的紧化以比较Z-边界？
• RQ5 希尔伯特立方流形在克服构造无穷远处小ANR邻域的技术障碍中发挥何种作用？

主要发现

• 拟等距作用于完备度量AR空间的群，可通过具有有界同伦逆的连续粗等距映射实现适当同伦等价。
• 在完备度量AR空间上几何作用的群的Z-边界，即使在含挠群情形下，也唯一确定至形状等价。
• 拟等距群的Z-边界彼此形状等价，将Bestvina与Dranishnikov的结果推广至非自由作用与无限维AR空间。
• 若某一拟等距类中的空间存在Z-结构，则该类中任意其他空间亦存在具有相同边界的Z-结构。
• 通过使用$X \times [0,1]^\infty$可将任意AR替换为希尔伯特立方流形，从而实现无穷远处任意小ANR邻域的构造。
• 通过紧致ANR的逆序列实现的边界交换，提供了一种稳健方法，用于比较Z-边界，且无需依赖有限维性或有限CW复形结构。