Geometrical finiteness for hyperbolic groups

DOI10.1006/JFAN.1993.1052MaRDI QIDQ2367744zbMATH OpenOpenAlexWikidataFDO

Publication date 12 August 1993

Published in Journal of Functional Analysis (Search for Journal in Brave)

Full work available at URL https://semanticscholar.org/paper/77cfa5d95e39f8b2b710e12ad04b01be14a712be

conical limit points convex core cusps Dirichlet domain domain of discontinuity finite volume fundamental domain geometrically finite hyperbolic \(n\)-manifold limit set parabolic fixed points thick part of the convex core

Mathematics Subject Classification ID

Differential geometry of homogeneous manifolds (53C30) General geometric structures on low-dimensional manifolds (57M50)

Review text

A complete orientable hyperbolic \(n\)-manifold arises as the quotient of hyperbolic \(n\)-space \({\mathbf H}^ n\) by a torsion-free discrete group of orientation-preserving isometries of \({\mathbf H}^ n\). A fundamental notion in dimension 3 is that of geometrical finiteness. There are several equivalent definitions of geometrical finiteness. A classical definition is that \(M={\mathbf H}^ 3/G\) is geometrically finite if \(G\) admits a finite sided convex fundamental polyhedron in \({\mathbf H}^ 3\). A second definition of geometrical finiteness in dimension 3 due to Beardon and Maskit [\textit{A. F. Beardon} and \textit{B. Maskit}, Acta Math. 132, 1-12 (1974; Zbl 0277.30017)] concerns the nature of the limit points of elements of \(G\), and a third definition due to Thurston is in terms of the thick part of the convex core of \(M\) -- see below. In higher dimensions one can consider extensions of these definitions, and this has been widely studied, see for example [\textit{B. N. Apanasov}, Ann. Global Anal. Geom. 1, No. 3, 1-22 (1983; Zbl 0531.57012)], and [\textit{P. Tukia}, Publ. Math., Inst. Hautes Étud. Sci. 61, 171-214 (1985; Zbl 0572.30036)], however accounts given are far from being complete. Indeed the standard generalization to \({\mathbf H}^ n\) of the classical notion of geometrical finiteness in dimension 3 is not a natural one, so it is sensible to look for alternative definitions. As the author points out, at the time of writing it is an open question in general, as to whether a geometrically finite group in higher dimensions admits a finite sided convex fundamental domain. The author gives examples where no Dirichlet domain is finite sided. The main purpose of the present paper is to provide a considerably detailed exposition of the equivalence of various natural generalizations of the notions of geometrical finiteness in dimension 3. The main theorem asserts that five definitions of geometrically finite are equivalent. Below we give rough statements of these. Proofs are reasonably self contained and described carefully, since the history of this subject indicates a certain penchant for error. We now briefly describe the notions of geometrical finiteness. In what follows \(M^ n\) will always denote the quotient of hyperbolic \(n\)-space by a discrete torsion-free subgroup \(G\) of \(\text{Isom}^ +({\mathbf H}^ n)\). In addition to avoid laboring with too much preliminary definitions we refer the reader to the paper for complete definitions of all terms. Definition GF1: Let \(\Omega\) the domain of discontinuity of \(G\), and adjoin this to \(M\) to form \(M_ C(G)= ({\mathbf H}^ n\cup \Omega)/G\). \(G\) is geometrically finite if \(M_ C(G)\) is the union of a compact set together with finitely many topological ends each of which corresponds to a maximal parabolic subgroup of \(G\). Definition GF2: \(G\) is geometrically finite if the limit set of \(G\) consists entirely of conical limit points and bounded parabolic fixed points. Definition GF3: \(M^ n\) is geometrically finite if it admits a representation as a finite polyhedral complex -- this means essentially that \(G\) has a fundamental domain which is a finite union of polyhedra, each with a finite number of faces. To state the final two definitions some notation is required. \(M\) is as above. \(\text{core}(M)\) denotes the convex core of \(M\), that is the smallest submanifold with convex boundary whose inclusion into \(M\) is a homotopy equivalence. \(\text{thin}_ \varepsilon(M)\) denotes the set of points of \(M\) where the injectivity radius is at most \(\varepsilon/2\) and \(\text{thick}_ \varepsilon(M)\) is defined to be the closure of \(M\setminus \text{thin}_ \varepsilon(M)\). Finally, given a positive number \(\eta\) \(N_ \eta(\text{core} (M))\) denotes an \(\eta\) neighbourhood of \(\text{core}(M)\). With this, Definition GF4: \(G\) is geometrically finite if \(\text{core}(M)\cap \text{thick}_ \varepsilon(M)\) is compact. Definition GF5: \(G\) is geometrically finite if for some \(\eta\) \(N_ \eta(\text{core}(M))\) has finite volume. These definitions apply to the case where \(G\) has elements of finite order, although a condition on finite subgroups is required in GF5 (although conjectured to be superfluous by the author). The author also gives a complete account in higher dimensions of geometrically finite groups which admit a finite sided Dirichlet domain. The main problem is to understand the cusps of geometrically finite manifolds in higher dimensions.

Recommendations

Cited in

(only showing first 100 items - show all)

This page was built for publication: Geometrical finiteness for hyperbolic groups

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2367744)