[论文解读] Group actions with commensurated subsets, wallings and cubings

Yves Cornulier|arXiv (Cornell University)|Feb 25, 2013

Geometric and Algebraic Topology参考文献 57被引用 27

一句话总结

本文提出了一套统一框架，用于理解具有共轭子集的群作用，将其与墙结构、中位图及CAT(0)立方复形联系起来。研究证明，Property FW——即每个共轭子集均为固定子集（即与不变子集的对称差为有限集）——等价于群在CAT(0)立方复形上具有有界轨道，从而推广了已知结果，并提供了新的刻画方式，包括在整数希尔伯特空间和上同调方面的表达。

ABSTRACT

We study commensurating actions of groups and the associated properties FW and PW, in connection with wallings, median graphs, CAT(0) cubings and multi-ended Schreier graphs.

研究动机与目标

• 通过共轭子集这一基本概念，统一中位图、墙空间与群作用在CAT(0)立方复形上的不同视角。
• 澄清并推广离散群与拓扑群的Property FW及其对偶Property PW的定义与性质。
• 建立Property FW的新刻画，包括在上同调、整数希尔伯特空间及Schreier图方面的表达。
• 提供关于共轭子集的有限性、循环子群的非畸变性以及在立方复形上适当作用结构的新结果。
• 证明Property FW蕴含Property FA，且严格弱于Property FH，同时其本质更具组合性。

提出的方法

• 在群作用于离散集的背景下，引入并形式化共轭子集的概念，定义基数确定函数 ℓ_M(g) = #(M Δ gM)。
• 将Property FW定义为：每个共轭子集均为固定子集（即与不变子集的对称差为有限集）。
• 证明Property FW等价于G上所有基数确定函数有界。
• 利用共轭子集与墙结构之间的对应关系（见命题3.A.2），将群作用转化为带墙空间。
• 应用Chepoi关于中位图与CAT(0)立方复形之间对应关系的结果，将群在中位图上的作用与在立方复形上的作用联系起来。
• 利用Gerasimov等人的结果，证明Property FW等价于在CAT(0)立方复形上的不动点性质，以及在中位图上的有界轨道性质。

实验结果

研究问题

• RQ1 群作用中的共轭子集如何与CAT(0)立方复形及墙空间的几何结构相关联？
• RQ2 离散群与拓扑群的Property FW的完整刻画是什么？
• RQ3 Property FW在何种意义上推广或细化了Property FA与Property FH？
• RQ4 Property FW与Property PW之间的对偶性是否可在非有限生成情形下完全刻画？
• RQ5 关于共轭子集及其关联墙结构的有限性结果，会带来哪些新的结构性洞见？

主要发现

• Property FW等价于G上所有基数确定函数有界，从而提供了纯粹组合的刻画。
• Property FW蕴含：在CAT(0)立方复形上的每个细胞作用在ℓ¹-度量下具有有界轨道，且实际上存在不动点。
• 当且仅当G具有Property FW时，群在连通中位图上的每个作用均具有有界轨道。
• 对有限生成群而言，Property FW等价于每个Schreier图至多有一个端点。
• 对所有G-集X，上同调条件H¹(G, ℤX) = 0等价于Property FW。
• Property FW严格强于Property FA（在树上的有界轨道），但严格弱于Property FH（在希尔伯特空间上的有界轨道）。