代数学

几何群论

把有限生成群变成几何对象——凯莱图与字度量，在拟等距意义下研究——其威力足以证明格罗莫夫关于多项式增长群的分类，并定义出双曲群。

直观把一个群变成一个可以行走其上的形状

设想一个群，它唯一的“行动”是一小份固定的允许乘法列表，从起始位置出发反复应用。每个有限生成群其实都暗藏这种形状：选定一个生成集 $S$ ，画出凯莱图——群的每个元素对应一个顶点，对每个生成元 $s \in S$ 从 $g$ 到 $gs$ 连一条边。一个抽象的代数对象就此变成一幅可以画出来、可以在其上行走的具体图像。字度量 $d_S(g,h)$ 就是把生成元相乘、从 $g$ 走到 $h$ 所需的最少个数——恰好等于凯莱图中二者之间最短路径的长度。在代数与几何之间来回转译，正是几何群论的全部核心思想。

例题: $\mathbb{Z}/6\mathbb{Z}$ 的凯莱图：一个可以手绘的六边形

考虑循环群 $\mathbb{Z}/6\mathbb{Z} = \{0,1,2,3,4,5\}$ （模 $6$ 加法），生成集取 $S = \{1,5\}$ （即 $+1$ 及其逆元 $-1 \equiv 5$ ）。把六个元素画成六个点，对每个 $g$ ，把 $g$ 与 $g+1$ 、 $g-1$ 都连起来。会出现什么形状？字度量 $d_S(0,3)$ 又是多少？

解答

每个顶点 $g$ 只与它的两个邻居 $g \pm 1 \pmod 6$ 相连，因此凯莱图恰好是一个六边形（ $6$ -圈）——六个顶点排成一个环，正对应日常的“钟表算术”图像。从 $0$ 走到 $3$ ，可以顺时针走（ $0 \to 1 \to 2 \to 3$ ，长度 $3$ ），也可以逆时针走（ $0 \to 5 \to 4 \to 3$ ，长度同样为 $3$ ）；不存在更短的路径，因为 $3$ 恰好位于六边形的正对面。所以 $d_S(0,3) = 3$ ，一般地 $d_S(0,k) = \min(k,\, 6-k)$ 。

大学将图像形式化：凯莱图与字度量

定义: 凯莱图

设 $G$ 是一个群， $S \subseteq G$ 是一个对称生成集（ $S = S^{-1}$ ， $e \notin S$ ）。凯莱图 $\mathrm{Cay}(G,S)$ 的顶点集为 $G$ ，对每个 $g \in G$ 和每个 $s \in S$ ，连一条边连接 $g$ 与 $gs$ 。选取不同的有限生成集会改变近处看到的图像，但——正如我们将看到的——绝不会改变粗几何。

定义: 字度量

对 $g,h \in G$ ，字度量 $d_S(g,h)$ 是用 $S$ 中字母拼出 $g^{-1}h$ 所需的最短单词长度：

d_S(g,h) = \min\{\, n : g^{-1}h = s_1 s_2 \cdots s_n,\ s_i \in S \,\}

这恰好就是 $\mathrm{Cay}(G,S)$ 中的图距离： $d_S(g,h)$ 计算的是从 $g$ 到 $h$ 最短路径所经过的边数。该度量是左不变的，即对任意 $k \in G$ 都有 $d_S(kg,kh) = d_S(g,h)$ ，因为用 $k$ 左乘会置换 $\mathrm{Cay}(G,S)$ 的顶点，同时保持每条边不变。

有限群只有有限多种可能的凯莱图，但无限群的凯莱图会因生成集不同而看起来相当不同——用 $S = \{1\}$ 画 $\mathbb{Z}$ 得到一条双向无穷的直线；用 $S = \{2,3\}$ 画它，局部图像完全改变，但从远处看它依旧“看起来像”同一条直线。拟等距将这种“从远处看是一样的”变得精确，是几何群论最基本的等价关系。

定义: 拟等距

度量空间之间的映射 $f : X \to Y$ 称为 ** $(\lambda,\varepsilon)$ -拟等距嵌入**（ $\lambda \ge 1$ ， $\varepsilon \ge 0$ ），如果对所有 $x,y \in X$ ：

\tfrac{1}{\lambda}\, d_X(x,y) - \varepsilon \;\le\; d_Y(f(x),f(y)) \;\le\; \lambda\, d_X(x,y) + \varepsilon

如果进一步要求 $Y$ 中每一点都与像集 $f(X)$ 的距离不超过 $\varepsilon$ （即像集是粗稠密的），这样的映射就称为拟等距。同一个群 $G$ 的任意两个有限生成集 $S, S'$ 总能给出拟等距的凯莱图——只需取合适的 $\lambda$ ， $G$ 上的恒等映射本身就足够——因此每个有限生成群都拥有一个良定义的粗几何，与所选生成集无关。几何群论真正研究的正是这种粗几何，而非某一个具体的凯莱图。

大学重新架起通往度量空间的桥梁：米尔诺–什瓦茨引理

定理: 米尔诺–什瓦茨引理

设 $G$ 通过等距同胚作用在一个固有测地度量空间 $X$ 上，作用是正常不连续且余紧的（商空间 $X/G$ 是紧的）。那么 $G$ 是有限生成的，并且对任意基点 $x_0 \in X$ ，轨道映射 $g \mapsto g\cdot x_0$ 是从（配备字度量的） $G$ 到 $X$ 的一个拟等距。

为什么成立?

由于 $G$ 是通过等距作用的，它无法区分 $X$ 中的点与其 $G$ -平移像；又因为作用是余紧的， $X$ 中一块有界区域经 $G$ 复制后就已经覆盖了整个 $X$ 。因此单单一个点的轨道就已经捕捉到了 $X$ 的整个粗略形状——研究抽象群 $G$ 与研究它所作用的具体空间 $X$ ，在有界误差范围内变得可以互相替代。正是这条定理让度量空间几何与群论得以互换立场。

证明

固定 $x_0 \in X$ ，利用 $X/G$ 的紧性，选取足够大的 $R$ ，使得闭球 $\bar B(x_0,R)$ 的 $G$ -像覆盖整个 $X$ 。令 $S = \{\, g \in G : g \ne e,\ d_X(x_0,gx_0) \le 2R+1 \,\}$ ，由正常不连续性可知这是一个有限集。要说明 $S$ 生成 $G$ ：任取 $g \in G$ ，沿着从 $x_0$ 到 $g x_0$ 的测地线，标出间隔不超过 $2R$ 的点 $x_0 = g_0 x_0, g_1 x_0, \dots, g_n x_0 = g x_0$ ；相邻两点满足 $d_X(g_{i-1}x_0, g_i x_0) \le 2R$ ，故 $g_{i-1}^{-1} g_i \in S$ ，将这 $n \le d_X(x_0, g x_0)/(2R) + 1$ 个 $S$ 中的元素相乘即可复原 $g$ 。于是存在只依赖于 $R$ 的常数 $C_1$ ，使得 $d_S(e,g) \le C_1\, d_X(x_0,gx_0) + C_1$ 。反过来，每个生成元使 $x_0$ 移动不超过 $2R+1$ ，故 $d_X(x_0,gx_0) \le (2R+1)\, d_S(e,g)$ 。这两个不等式表明，对适当的 $\lambda,\varepsilon$ ， $g \mapsto g x_0$ 是一个 $(\lambda,\varepsilon)$ -拟等距嵌入，而余紧性（ $X$ 中每一点都与 $x_0$ 的某个 $G$ -像相距不超过 $R$ ）使其像是粗稠密的——因此它是一个拟等距，又因为它在整个 $G$ 上有定义，有限集 $S$ 便生成了 $G$ 。

例题: 自由群 $F_2$ 的凯莱图是一棵无限的 $4$ -正则树

设 $F_2 = \langle a,b \rangle$ 是由两个生成元生成的自由群：它的元素恰好是 $\{a,a^{-1},b,b^{-1}\}$ 上的既约字（不含某字母紧跟着自身逆元的情形）。取 $S = \{a,a^{-1},b,b^{-1}\}$ 。证明 $\mathrm{Cay}(F_2,S)$ 不含圈，且每个顶点的度数都是 $4$ ，然后计算字长恰好为 $n \ge 1$ 的元素个数。

解答

从 $e$ 出发、且从不立即回退的一次行走恰好拼出一个既约字，而不同的既约字总是命名 $F_2$ 中不同的元素——中途不可能发生消去，因此两条不同的这种行走绝不会再次相遇。所以 $\mathrm{Cay}(F_2,S)$ 不含圈：它是一棵树。每个顶点 $g$ 恰有 $4$ 个互不相同的邻居 $ga, ga^{-1}, gb, gb^{-1}$ （互不相同是因为 $F_2$ 中没有任何关系会使它们中的某两个重合），所以这棵树是 $4$ -正则的。

按长度计数：单位元是唯一长度为 $0$ 的元素。长度为 $n \ge 1$ 的既约字通过先选第一个字母（ $4$ 种选择），再依次选后面每个字母（ $3$ 种选择，因为不能是紧邻前一个字母的逆元）构造而成。因此字长恰好为 $n$ 的元素恰有 $4\cdot 3^{n-1}$ 个，半径为 $n$ 的球中共有 $b_S(n) = 1 + \sum_{k=1}^{n} 4\cdot 3^{k-1} = 2\cdot 3^{n} - 1$ 个元素——这是指数增长，与 $\mathbb{Z}/6\mathbb{Z}$ 的有界增长截然不同。

这棵有限的二叉树只是对自由群凯莱图那种不断分叉、枝繁叶茂形状的一种类比，它并不是

\mathrm{Cay}(F_2,\{a,a^{-1},b,b^{-1}\})

本身的图像。

F_2

真正的凯莱图是无限的，其中每个顶点的度数都是

4

（延伸既约字有四种方式）；而这棵有限树的根节点度数为

2

，叶节点度数为

1

。使用它只是为了感受自由群几何“无圈、始终分叉”的特征，而非其精确形状。

进阶增长：从数球面到格罗莫夫定理

$G$ 关于有限生成集 $S$ 的增长函数统计的是度量球的大小：

b_S(n) = |B_S(e,n)| = \big|\{\, g \in G : d_S(e,g) \le n \,\}\big|

若存在常数 $C,d$ 使得对所有 $n$ 都有 $b_S(n) \le C n^d$ ，则称 $G$ 具有多项式增长；若存在某个 $\alpha > 1$ 使得 $b_S(n) \ge c\,\alpha^n$ ，则称其具有指数增长——这两条性质都与所选的有限生成集 $S$ 无关，只依赖于群 $G$ 本身。我们已经见过两种极端： $\mathbb{Z}/6\mathbb{Z}$ 增长有界（整个群就是一个球）， $\mathbb{Z}^k$ 具有次数为 $k$ 的多项式增长，而自由群 $F_2$ 具有指数增长， $b_S(n) = 2\cdot 3^n - 1$ 。

定理: 格罗莫夫多项式增长群定理

（格罗莫夫，1981年）有限生成群 $G$ 具有多项式增长，当且仅当 $G$ 是几乎幂零的，即 $G$ 含有一个有限指数的幂零子群。

为什么成立?

增长是一种纯粹度量意义下的大尺度不变量——你只需数一数字度量球中容纳了多少个群元素——而“幂零”则是关于迭代交换子的纯代数条件。格罗莫夫定理表明，几何与代数这两个看似截然不同的世界，在这里描述的其实是完全相同的一类群：一旦能用多项式界住群凯莱图中球的增长速度，就必然存在隐藏的代数结构（一个有限指数的幂零子群）。这一定理回答了米尔诺与沃尔夫 1968 年提出的问题，成为几何群论奠基性的里程碑结果。

证明

其中一个方向是带有几何色彩的经典代数结果（Bass–Guivarc'h）：若 $N \trianglelefteq G$ 是有限指数的幂零子群，其下中心列的秩为 $r_1,\dots,r_c$ ，通过对元素标准形的计数论证可得 $b_S(n) \asymp n^d$ ，其中 $d = \sum_i i\cdot r_i$ ，即一个多项式界——因此几乎幂零的群确实具有多项式增长。反方向由格罗莫夫证明，其难度是真正深刻的，这里只勾勒其策略：把凯莱图按 $1/n$ 缩放，并当 $n \to \infty$ 时取极限（在格罗莫夫–豪斯多夫意义下，沿某子序列及超滤子）；多项式增长恰好是使这些缩放后的球既不坍缩为一点、也不无限膨胀的条件，因此存在一个极限度量空间—— $G$ 的渐近锥——它是有限维、局部紧的测地空间，并且 $G$ 在极限层面上仍在其上传递地作用。蒙哥马利与齐平关于局部紧群的结构理论随后迫使该极限空间的等距群必须包含一个李群，进一步的论证则用该李群的维数控制多项式增长的次数，最终在 $G$ 内部锁定一个有限指数的幂零子群。克莱纳（2010年）给出的后续证明沿着同样的“缩放取极限”策略，改由多项式增长调和函数空间的有限维性入手，完全绕开了蒙哥马利–齐平的机器，但“取极限、提取李群、读出幂零性”这一指导思想始终未变。

进阶无需光滑性的曲率：格罗莫夫双曲群

格罗莫夫的第二项里程碑式贡献（1987年）提炼出了负曲率空间（如双曲平面 $\mathbb{H}^2$ ）的本质大尺度特征，并将其化为对任意测地度量空间（无论光滑与否）都有意义的一个定义：瘦三角形。

定义: 格罗莫夫双曲空间与双曲群

一个测地度量空间 $X$ 称为 $\delta$ -双曲的（ $\delta \ge 0$ ），如果每个测地三角形的每条边都落在另外两条边并集的 $\delta$ -邻域内。一个有限生成群 $G$ 称为（格罗莫夫）双曲群，如果对某个（等价地，对任意）有限生成集 $S$ ，其凯莱图 $\mathrm{Cay}(G,S)$ 对某个 $\delta$ 是 $\delta$ -双曲的。

\text{for every geodesic triangle } [x,y,z]:\quad [x,y] \subseteq N_\delta\big([y,z] \cup [z,x]\big)

上面提到的自由群凯莱图这样的树是 $0$ -双曲的：树中的测地三角形字面上就是一个三脚架，每条边都恰好落在另外两条边的并集上。双曲平面 $\mathbb{H}^2$ 对某个普适的 $\delta$ 是 $\delta$ -双曲的，亏格至少为 $2$ 的任意闭曲面的基本群也是如此。相比之下， $\mathbb{Z}^2$ 不是双曲的：一个大正方形无论 $\delta$ 取多大，其边在中间部分都会相距很远，所以随着正方形变大，没有任何单一的 $\delta$ 能奏效——平坦的欧几里得方向正是双曲性所排斥的东西。

矩阵

\begin{pmatrix} 2 & 1 \\ 1 & 1 \end{pmatrix}

的行列式为

1

，因此属于

SL(2,\mathbb{R})

；该widget展示了它如何沿其特征方向线性拉伸欧几里得平面

\mathbb{R}^2

。

SL(2,\mathbb{R})

中的每个矩阵也都通过莫比乌斯变换

z \mapsto \frac{az+b}{cz+d}

作为双曲平面

\mathbb{H}^2

的等距同胚起作用；由这类矩阵生成的离散群称为富克斯群，是几何群论中一个真正的核心研究对象（双曲曲面的基本群正是这样一个群）。请注意：此widget只画出了这里展示的

\mathbb{R}^2

上的普通线性作用，而非双曲平面上的莫比乌斯作用本身。

进阶桥梁：映射类群、CAT(0) 几何、三维流形与李群

几何群论的思想向外辐射到许多领域。曲面 $\Sigma_g$ 的映射类群——其自同胚的同痕类——作用在Teichmüller空间上，而Masur–Minsky的曲线复形理论以与上文相同的凯莱图精神赋予它丰富的粗几何。** $\mathrm{CAT}(0)$ 空间**——三角形“不比”其欧几里得比较三角形更胖的测地空间——以格罗莫夫双曲性推广严格负曲率的方式推广了非正曲率；沿着Sageev、Wise与Agol的工作，在 $\mathrm{CAT}(0)$ 立方复形上正常且余紧作用的群，正是解决瑟斯顿关于 $3$ 维流形若干猜想背后决定性的几何群论工具。这是通往庞加莱猜想的一座真正桥梁：闭双曲 $3$ 维流形的基本群在 $\mathbb{H}^3$ 上以几何方式作用（正常不连续且余紧地通过等距作用），因此按照上文的米尔诺–什瓦茨引理，它与 $\mathbb{H}^3$ 本身拟等距，而精确理解哪些群能以这种方式产生，与佩雷尔曼证明背后的 $3$ 维流形几何化理论密不可分。在代数一侧，格——李群的离散、余紧或有限余体积子群，例如 $SL(n,\mathbb{Z}) \subset SL(n,\mathbb{R})$ ——恰恰是米尔诺–什瓦茨引理让我们能够通过李群所作用的对称空间来做几何研究的那类群。这正是通往李群与李代数的一道自然门户，那里Mostow与Margulis的刚性定理表明，对于高秩格而言，仅凭抽象的群本身就能还原出它所源自的整个李理论结构。

历史注记

马克斯·德恩1911年的论文《Über unendliche diskontinuierliche Gruppen》（论无限不连续群）为有限表现群提出了字问题、共轭问题与同构问题，并用一个明确的、具有几何动机的算法解决了曲面群的字问题——用一个基本多边形铺砌双曲平面，再缩短任何在多边形边界上走得过多的字。亨利·庞加莱早在1895年的《位置分析》（Analysis Situs）中，就已通过同伦意义下的圈引入了空间的基本群——这是首次直接从空间的几何中提取出一个群，正是这颗概念的种子，后来几何群论沿相反方向发展壮大，把几何重新赋还给抽象的群。然而，这一领域的现代面貌通常被追溯到米哈伊尔·格罗莫夫的两篇论文：证明多项式增长刻画了几乎幂零群的《Groups of polynomial growth and expanding maps》（1981年），以及引入 $\delta$ -双曲性并将几何群论确立为独立学科的《Hyperbolic groups》（1987年）。

亨利·庞加莱

研究前沿：今天悬而未决的问题

研究前沿截至 2026 年

该领域现状（截至2026年）。 从本页延伸出的两条脉络仍在积极演进。

1. 卡农猜想仍然悬而未决。 它预言：每个无穷远边界同胚于 $2$ 维球面 $S^2$ 的格罗莫夫双曲群，都（几乎）是某个闭双曲 $3$ 维流形的基本群，即在 $\mathbb{H}^3$ 上几何地作用——这是庞加莱猜想背后几何化图景在群论上的一个逆命题。弗拉基米尔·马尔科维奇于2013年给出了一个颇具影响力的判据，将该猜想归约为关于分离边界点的拟凸曲面子群的命题；此后的研究最集中于立方复形化的情形：Corey Bregman 与 Merlin Incerti-Medici 2024年的论文《On a generalization of Cannon's conjecture for cubulated hyperbolic groups》将马尔科维奇式的技巧推广到边界球面维数为 $3$ 或不小于 $5$ 的情形。而最初的 $2$ 维球面情形截至2026年仍未解决。 2. 自由群与映射类群不断揭示出新的悬而未决的结构。 秩为 $3$ 的自由群的外自同构群 $\mathrm{Out}(F_3)$ 是否可嵌入某个线性群，是一个著名的开放问题，这与 Formanek 和 Procesi 通过构造“毒子群”证明 $\mathrm{Out}(F_n)$ 对 $n \ge 4$ 不是线性群形成鲜明对比。与此同时，Bestvina 与 Feighn 为模拟曲面的曲线复形而引入的自由因子复形与自由分裂复形的几何，以及无限型曲面“大”映射类群的分类，仍是将本页与低维拓扑、Teichmüller理论相连的十分活跃的研究前沿。

在生成集为 $\{1,5\}$ （即 $\pm 1$ ）的 $\mathbb{Z}/6\mathbb{Z}$ 凯莱图中，字度量 $d_S(0,3)$ 是多少？

下列哪一个与（配备通常度量的） $\mathbb{Z}$ 拟等距？

根据格罗莫夫1981年的定理，一个有限生成群具有多项式增长，当且仅当它是……

下列哪个群（配备标准有限生成集）不是格罗莫夫双曲群？

米尔诺–什瓦茨引理指出，若 $G$ 通过等距在一个固有测地度量空间 $X$ 上正常不连续且余紧地作用，那么……

参考文献

Clara Löh (2017). Geometric Group Theory: An Introduction · DOI:10.1007/978-3-319-72254-2
Mikhael Gromov (1981). Groups of polynomial growth and expanding maps · DOI:10.1007/BF02698687
Mikhael Gromov (1987). Hyperbolic groups