[论文解读] Fixed point properties in the space of marked groups

Yves Stalder|arXiv (Cornell University)|Mar 18, 2008

Geometric and Algebraic Topology参考文献 29被引用 7

一句话总结

本文提出一种统一方法，利用超极限（ultralimits）证明卡兹丹性质 (T) 及其相关不动点性质（FH，FℝA）在标记的有限生成群空间中定义开集。通过取缺乏不动点的等距作用度量空间序列的超极限，作者证明极限群在极限空间上作用一致，从而借助格罗莫夫关于一致作用与超极限的一般框架，证明了这些性质的开性。

ABSTRACT

We explain, following Gromov, how to produce uniform isometric actions of groups starting from isometric actions without fixed point, using common ultralimits techniques. This gives in particular a simple proof of a result by Shalom: Kazhdan's property (T) defines an open subset in the space of marked finitely generated groups.

研究动机与目标

• 为卡兹丹性质 (T) 在标记的有限生成群空间中开性的统一、概念性证明提供支持。
• 将此策略扩展至其他不动点性质，包括性质 (FH) 和性质 (FℝA)，使用相同的底层技术。
• 证明具有等距群作用的度量空间的超极限可产生极限空间上的一致作用，从而实现不动点行为的传递。
• 阐明超极限与常见极限构造在几何群论中的作用，特别是与由不动点行为定义的群性质之间的关系。

提出的方法

• 利用格罗莫夫的超极限构造，将具有等距群作用的度量空间序列转化为极限空间，其上极限群作用。
• 将超极限构造应用于具有无全局不动点等距群作用的完备度量空间序列（如希尔伯特空间、ℝ-树）。
• 在取超极限前对度量空间进行缩放，以控制收敛性并确保极限作用的一致性。
• 利用超极限保持关键几何性质的事实：测地完备性与 0-双曲性，确保极限空间仍为 ℝ-树或希尔伯特空间。
• 利用非主超滤子下超极限的不变性，确保极限群继承标记群极限的代数结构。
• 应用一般性结果：若在收敛的标记群序列中，每个群在度量空间上无不动点作用，则极限群在空间的超极限上作用一致。

实验结果

研究问题

• RQ1 在何种拓扑结构下，标记的有限生成群空间使得如性质 (T) 等不动点性质为开集？
• RQ2 能否从一系列无不动点的等距群作用中构造出极限度量空间上的一致作用？
• RQ3 ℝ-树的类在超极限下是否封闭？这如何影响性质 (FℝA) 的行为？
• RQ4 是否可将同一通用方法应用于证明标记群空间中多个不动点性质的开性？

主要发现

• 卡兹丹性质 (T) 在标记的有限生成群空间中定义开集，该结论通过超极限技术得以证明。
• 性质 (FℝA)，即在完备 ℝ-树上作用的不动点性质，同样在标记群空间中定义开集。
• 该证明依赖于 ℝ-树的超极限仍为 ℝ-树的事实，从而保持不动点分析所必需的几何结构。
• 极限群在超极限空间上作用一致，意味着该作用以一种强而统一的方式‘几乎’具有不动点。
• 该方法为证明多种不动点性质（包括性质 (FH)）的开性提供了统一框架，通过将其简化为相同的超极限构造。
• 该方法推广并简化了先前的证明，例如沙洛姆关于性质 (FH) 的结果，将其嵌入更广泛的几何与逻辑结构中。