[论文解读] Survey on geometric group theory

Wolfgang Lueck|ArXiv.org|Jun 23, 2008

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

一句话总结

本综述为非专家提供了几何群论的全面且易于理解的入门介绍，强调了大尺度几何——特别是通过拟等距和凯莱图——在理解群性质中的作用。它指出几何方法如何解决深刻的代数猜想（例如 Baum-Connes 猜想、Farrell-Jones 猜想），并提出了双曲群、拟等距不变量和可测群论中的开放问题。

ABSTRACT

This article is a survey article on geometric group theory from the point of view of a non-expert who likes geometric group theory and uses it in his own research. The sections are: classical examples, basics about quasiisometry,properties and invariants of groups invariant under quasiisometry, rigidity, hyperbolic spaces and CAT(k)-spaces, the boundary of a hyperbolic space, hyperbolic groups, CAT(0)-groups, classifying spaces for proper actions, measurable group theory, some open problems.

研究动机与目标

• 为非专家提供关于几何群论的友好入门，重点在于几何直觉和应用。
• 展示通过拟等距的凯莱图的大尺度（粗略）几何如何编码群的深层代数和拓扑性质。
• 将几何群论与 K-理论、L²-不变量和刚性理论中的主要猜想（如 Baum-Connes、Farrell-Jones 和 Borel 猜想）联系起来。
• 提出双曲群、拟等距不变量和可测群论中的开放问题，以指导未来研究。
• 说明几何方法在解决代数问题（例如幂等元猜想）中的强大作用，而这些问题是纯代数证明尚无法解决的。

提出的方法

• 以凯莱图与词度量为中心几何对象，将其大尺度（粗略）几何视为群的不变量。
• 应用拟等距作为基本等价关系，用于比较群并根据其大尺度几何性质对群进行分类。
• 使用拓扑与几何工具，如适当作用的分类空间、双曲空间的边界以及 CAT(κ)-空间，以分析群的结构。
• 利用有界上同调和冯诺依曼代数的结果，在可测群论中研究轨道等价性和刚性。
• 依赖已建立的定理与构造（例如通过覆盖空间的 Schreier 定理）来说明几何方法，而无需详细证明。
• 整合几何拓扑与算子代数的结果，将群论性质与 L²-Betti 数和 Novikov-Shubin 不变量等不变量联系起来。

实验结果

研究问题

• RQ1 每个双曲群是否都是几乎无扭的或剩余有限的？
• RQ2 若一个双曲群的边界与 S² 同胚，它是否能在 H³ 上实现本真且共紧的作用？
• RQ3 在何种条件下，双曲群的边界具有球面的 Čech 上同调？在何种条件下它与 S^n 同胚？
• RQ4 同构猜想（Baum-Connes、Farrell-Jones、Borel）对 SL_n(Z)、映射类群和 Out(F_n) 是否成立？
• RQ5 拟等距不变量（如 Novikov-Shubin 不变量或 L²-扭量）是否在拟等距下保持不变？

主要发现

• 通过拟等距，有限生成群的凯莱图的大尺度几何捕捉了其本质的代数与拓扑不变量。
• 对于边界与 S^n（n ≥ 6）同胚的双曲群，已知其可作为基本群出现于具有与 R^n 同胚的万有覆盖的胞腔复形紧致流形中。
• 双曲群的边界具有球面的整数 Čech 上同调，当且仅当它是某个紧致胞腔复形流形的基本群。
• 可测群论揭示：Bernoulli 作用的轨道等价性通过 Borel 映射蕴含群同构与作用同构。
• 对于双曲群的有向列极限，在维度 ≥ 5 时，Farrell-Jones 猜想与 Borel 猜想成立，尽管在其他设定下可能存在反例。
• 有限生成无扭幂零群的 Mal’cev 完备化被猜想为拟等距不变量，但尚未得到证明。