[论文解读] Helly groups

Jérémie Chalopin, Victor Chepoi+3 more|arXiv (Cornell University)|Feb 17, 2020

Geometric and Algebraic Topology被引用 12

一句话总结

本文引入并研究了Helly群——即在Helly图上进行几何作用的群，其中Helly图是指任意一族成对相交的组合球均有公共交点的图。作者证明了众多经典群（包括双曲群、CAT(0)立方群以及某些小余因子群）均为Helly群，并证明Helly群具有强大的几何与代数性质，如双自动性、存在有限维的适当作用分类空间、可缩的渐近锥，以及满足Farrell-Jones猜想与粗Baum-Connes猜想。

ABSTRACT

Helly graphs are graphs in which every family of pairwise intersecting balls has a non-empty intersection. This is a classical and widely studied class of graphs. In this article we focus on groups acting geometrically on Helly graphs -- Helly groups. We provide numerous examples of such groups: all (Gromov) hyperbolic, CAT(0) cubical, finitely presented graphical C(4)$-$T(4) small cancellation groups, and type-preserving uniform lattices in Euclidean buildings of type $C_n$ are Helly; free products of Helly groups with amalgamation over finite subgroups, graph products of Helly groups, some diagram products of Helly groups, some right-angled graphs of Helly groups, and quotients of Helly groups by finite normal subgroups are Helly. We show many properties of Helly groups: biautomaticity, existence of finite dimensional models for classifying spaces for proper actions, contractibility of asymptotic cones, existence of EZ-boundaries, satisfiability of the Farrell-Jones conjecture and of the coarse Baum-Connes conjecture. This leads to new results for some classical families of groups (e.g. for FC-type Artin groups) and to a unified approach to results obtained earlier.

研究动机与目标

• 定义并系统研究Helly群——即在Helly图上进行几何作用的群。
• 识别出广泛的Helly群类别，包括双曲群、CAT(0)立方群以及某些小余因子群。
• 建立Helly群的强几何与代数性质，统一并推广了经典群族已知的结果。
• 为理解Helly图上的群作用提供一个框架，类比于非正曲率情形（如CAT(0)空间）的设定。
• 提出关于Helly群结构与性质的开放问题，包括其子群结构与相对双曲性。

提出的方法

• 使用Helly化与内射包构造，将度量空间与图嵌入到内射度量空间中。
• 在内射空间中应用测地线双组合，推导出双自动性与同路同行性质。
• 通过加厚、团超图的单纯形复形以及δ-球超图的Rips复形构造Helly图。
• 利用Helly性质证明不动点定理，并证明有限群作用下不动点集的可缩性。
• 使用抽象胞腔复形与超图结构刻画Helly图及其旗完备化。
• 将群论性质（如Farrell-Jones、粗Baum-Connes）的证明归约为Helly图作用的几何性质。

实验结果

研究问题

• RQ1 哪些经典群——如映射类群、Artin群或Coxeter群——是（拟）Helly群？
• RQ2 能否为Helly群建立组合定理，例如关于无限循环子群的自由并的融合？
• RQ3 Helly群的小余因子商群本身是否仍为Helly群？
• RQ4 Helly群的阿贝尔子群是否必为有限生成？是否存在Helly群的可解子群定理？
• RQ5 Helly群中拟平坦结构与无限阶元素的中心化子具有怎样的结构？

主要发现

• 所有（Gromov）双曲群、CAT(0)立方群，以及有限表示的图形C(4)-T(4)小余因子群均为Helly群。
• Helly群关于有限子群的自由并（带融合）图积，以及Helly群的某些图积与图示积，均为Helly群。
• Helly群关于有限正规子群的商群仍为Helly群。
• Helly群具有双自动性，这由存在同路同行的正规团路径所证明。
• Helly群存在有限维模型用于适当作用的分类空间。
• Helly群的渐近锥是可缩的，且在有限群作用下的不动点集为Helly图且可缩。