The combinatorial structure of cocompact discrete hyperbolic groups
The combinatorial structure of cocompact discrete hyperbolic groups
复制标题
DOI:
10.1007/bf00146825
复制
发表时间:
1984-06
影响因子:
0.5
通讯作者:
J. Cannon
中科院分区:
文献类型:
--
作者:
J. Cannon
Combinatorial group theory began with Dehn's study [7]-[9] of the fundamental group of the closed 2-dimensional manifold admitting a hyperbolic structure. At first Dehn freely used arguments from hyperbolic geometry, but rapidly he and others moved in the direction of results which could be stated and proved in purely combinatorial and algebraic terms. Thurston (see [20],[21]) has recently shown that large classes of groups of interest to topologists, while not obviously amenable to attack by standard methods of combinatorial group theory, nevertheless are discrete hyperbolic groups. His result suggests the value of a return to geometric considerations in combinatorial group theory.We shall show that Dehn's principal combinatorial theorems-in particular his solutions to the world and conjugacy problems for hyperbolic surface groups-have simple geometric reinterpretations, and that these solutions, as reinterpreted, are true for all cocompact, discrete hyperbolic groups. We shall also show that the global combinatorial structure of such groups is particularly simple in the sense that their Cayley group graphs (Dehn Gruppenbilder)(see [4]-[9]) have descriptions by linear recursion. We view this latter result as indicating a promising generalization of small cancellation theory (see [14, Chap. V]) where small cancellation hypotheses may fail locally but, in some sense, hold globally. The result also indicates that cocompact, discrete hyperbolic groups can be understood globally in the same sense that the integers Z can be under-stood: feeling, as we do, that we understand the simple linear recursion n~ n+ 1 in Z, we extend our local picture of Z recursively in our mind's eye toward infinity. One obtains a global picture of the arbitrary cocompact, discrete hyperbolic group G in the same way: first, one discovers the local picture of G, then the recursive structure of G by means of which copies of the local structure are integrated. The results of this paper need to be complemented by specific com-