双曲群

数学的几何群论上，双曲群是指一种带有度量的群，符合双曲几何的某些性质。双曲群是米哈伊尔·格罗莫夫于1980年代初所创的概念。

定义

群上的一个度量称为左不变度量，如果群中任何两个元素，被另外任一个元素左乘后，其间的距离仍保持不变。如果一个群有一个左不变度量，使得这个群按度量空间而言，是一个格罗莫夫双曲空间，就称之为双曲群。

双曲群中以字双曲群最为常见。提到双曲群时，通常就是指字双曲群。一个有限生成群称为字双曲群（word hyperbolic group），如果群中有由某有限生成集赋予的字度量，令其成为格罗莫夫双曲空间。换言之，取群中一个有限生成集合，将对应的凯莱图每条边长都定为1，那么这个凯莱图是格罗莫夫双曲空间。只要有对应某个有限生成集合的字度量有此性质，那么对应任何有限生成集合的字度量，都会有相同性质。这是因为对应各个有限生成集合的字度量，都是拟等距同构的，而格罗莫夫双曲性，在拟等距映射下不变。

例子

有限群
逼肖循环（virtually cyclic）群
有限生成自由群，更一般的凡是作用在局部有限树上并有有限稳定子群的群。
曲面群差不多都是双曲群，确切而言任何欧拉特征为负的闭曲面，基本群都是双曲群。
三角形群\triangle(l,m,n)差不多都是双曲群，确切而言凡是1/l + 1/m + 1/n < 1的三角形群都是双曲群，例如(2,3,7)三角形群。
有严格负曲率的紧致黎曼流形的基本群
馀紧致及真不连续地作用在正态（proper）CAT(k)空间上且k < 0的群是双曲群。这一类群包含所有上述例子，且给出与流形或树无关的双曲群。

参考

Mikhail Gromov: Hyperbolic groups. Essays in group theory, 75--263, Math. Sci. Res. Inst. Publ., 8, Springer, New York, 1987.