of the extended complex plane that acts properly discontinuous. This means that the set of points of accumulation of orbits , for all points , called the limit set of the group , is a proper subset of . The complement , called the discontinuity set of , is open and has the property that each of its points has a neighbourhood for which for all , where
is the stabilizer of in . If a point is not one of the fixed points of the elliptic elements of , then , where is the identity mapping, and for each elliptic fixed point, is a cyclic group of finite order. The basic theory of Kleinian groups was laid down in the fundamental papers of H. Poincaré  and F. Klein  in the 19th century; the name "Kleinian group" goes back to Poincaré.
The limit set is either empty, consists of one or two points, or is infinite. The first two cases correspond to the elementary groups (in particular, all cyclic groups). If is infinite, then it is a nowhere-dense perfect subset (cf. Perfect set) of of positive logarithmic capacity. Often the elementary groups are not included among the Kleinian groups.
The quotient space has a natural complex (conformal) structure in which the projection
is holomorphic, and can be expressed as a finite or countable union of Riemann surfaces ; this covering is ramified over projections of points with non-trivial stabilizers . itself splits up into connected components whose number is 1, 2 or . If the subgroup
is the same as , then is called an invariant component. There can be at most two invariant components. Kleinian groups with invariant components have acquired the name Kleinian function groups.
1) Fuchsian groups (cf. Fuchsian group). Each such group leaves invariant some circle (or line) , preserves the direction of circulation and . In order that a (non-elementary) Kleinian group is Fuchsian, it is necessary and sufficient that it does not contain loxodromic elements. According to the Klein–Poincaré uniformization theorem, every Riemann surface, apart from a few simple cases, is uniformizable by a Fuchsian group acting, for example, in the upper half-plane , that is, it is representable in the form up to conformal equivalence. If one introduces into the hyperbolic Poincaré metric
then the elements of become non-Euclidean (hyperbolic) motions. Poincaré has also put forward a similar interpretation for an arbitrary Kleinian group , based on extending the action of to the half-space
Namely, since each element of is a superposition of a countable number of inversions with respect to circles , it is possible to consider inversions with respect to the corresponding hemispheres in supported by the . The group extended in this way acts discontinuously in and its elements become hyperbolic motions of .
2) Quasi-Fuchsian groups. These are direct generalizations of Fuchsian groups. A quasi-Fuchsian group is a Kleinian group that leaves invariant some oriented Jordan curve . Then . If , then is called a group of genus one, while if , it is said to have genus two. The Riemann surfaces and where is the interior and is the exterior of , are homeomorphic. Moreover, for example, any two homeomorphic Riemann surfaces of finite type (that is, closed surfaces with a finite number of punctures) can be uniformized by the same quasi-Fuchsian group. Finitely-generated quasi-Fuchsian groups reduce to Fuchsian ones (are conjugate with them) by means of quasi-conformal automorphisms of the plane.
3) Schottky groups. These are Kleinian groups with generators , , for which there exist non-intersecting Jordan curves bounding a -connected domain such that
Here is free, is a closed surface of genus and all the elements are hyperbolic or loxodromic. All closed Riemann surfaces are uniformized by Schottky groups (this is Koebe uniformization).
4) Degenerate groups. These are non-elementary finitely-generated Kleinian groups whose discontinuity sets are simply-connected domains. There is an extremely-complicated proof of the existence of such groups; meanwhile no explicit examples have been constructed (1978). Degenerate groups are a special case of groups with one invariant simply-connected component, called -groups.
At the basis of the geometric approach to the study of Kleinian groups is the notion of a fundamental domain, that is, a set containing one point of each orbit , , and such that each non-empty component of it is connected. For example, for Schottky groups one can take for the domain indicated in its definition, and adjoining to it points of the curves . Often only the interior of is called the fundamental domain. For any Kleinian group one can choose a canonical fundamental domain bounded by circular arcs. The properties of the fundamental domain enable one to elucidate the structure of a Kleinian group . One of the methods for constructing Kleinian groups are the so-called combination theorems, which give conditions under which a group generated by given Kleinian groups is again a Kleinian group. For example, if one takes Fuchsian groups acting, respectively, in discs that are sufficiently far apart, and if one takes the compact surfaces representing them, of respective genera , then is a function group representing surfaces of genera and . The methods of -dimensional topology relating to the study of a -dimensional manifold , for which is the boundary, turn out to be very suitable.
The analytic approach to the theory of Kleinian groups is connected with the study of automorphic forms (cf. Automorphic form). If is a non-elementary Kleinian group and , then for integers the series converges (at the points with ); the corresponding Poincaré theta-series
where is a meromorphic function in , give automorphic forms of weight . For finitely-generated Kleinian groups the dimension of the space of such forms can be calculated by means of the Riemann–Roch theorem. The geometric structure of such groups is described by the Ahlfors theorem, according to which the space for these consists of a finite number of surfaces of finite type, and can be ramified over each only at a finite number of points. This result admits quantitative refinements. Homological methods are also used, based on the study of the action of in vector spaces of polynomials (see ). Methods of the theory of quasi-conformal mapping ,  play an essential role in the theory of Kleinian groups on the plane. In particular, the theory of deformations of Kleinian groups, closely related to the theory of moduli of Riemann surfaces (see Moduli of a Riemann surface and Riemann surfaces, conformal classes of) relies on these methods. Along these lines certain new classes of Kleinian groups have emerged. Meanwhile, however, no complete classification has been obtained, not even for finitely-generated Kleinian groups.
By comparison with planar ones, Kleinian groups in a multi-dimensional Euclidean space , , defined as properly-discontinuous subgroups of the group of conformal automorphisms of the space , have been much less extensively studied; here completely new phenomena occur.
|||H. Poincaré, "Mémoire sur les groupes kleinéens" Acta Math. , 3 (1883) pp. 49–92|
|||F. Klein, "Neue Beiträge zur Riemannschen Funktionentheorie" Math. Ann. , 21 (1883) pp. 141–218|
|||L.R. Ford, "Automorphic functions" , Chelsea, reprint (1951)|
|||J. Lehner, "Discontinuous groups and automorphic functions" , Amer. Math. Soc. (1964)|
|||I. Kra, "Automorphic forms and Kleinian groups" , Benjamin (1972)|
|||S.L. Krushkal', "Quasi-conformal mappings and Riemann surfaces" , Winston & Wiley (1979) (Translated from Russian)|
|||L. Bers (ed.) I. Kra (ed.) , A crash course on Kleinian groups , Lect. notes in math. , 400 , Springer (1974)|
|||B. Maskit, "Kleinian groups" , Springer (1988)|
For the definitions of loxodromic, elliptic, hyperbolic fractional-linear transformations, cf. Fractional-linear mapping.
One of the "quantitative refinements" , or, more precisely, a quantitative extension, of the Ahlfors finiteness theorem is the Bers area inequality:
where is the (minimum) number of generators of .
|[a1]||I. Kra (ed.) B. Maskit (ed.) , Riemann Surfaces and Related Topics (Proc. 1978 Stony Brook Conf.) , Princeton Univ. Press (1981)|
|[a2]||H.M. Farkas, I. Kra, "Riemann surfaces" , Springer (1980)|
Kleinian group. S.L. Krushkal' (originator), Encyclopedia of Mathematics. URL: http://www.encyclopediaofmath.org/index.php?title=Kleinian_group&oldid=18284