Fundamental domain of a 3-generator Schottky group

In mathematics, a Schottky group is a special sort of Kleinian group, first studied by Friedrich Schottky (1877).

Definition

Fix some point p on the Riemann sphere. Each Jordan curve not passing through p divides the Riemann sphere into two pieces, and we call the piece containing p the "exterior" of the curve, and the other piece its "interior". Suppose there are 2g disjoint Jordan curves A₁, B₁,..., A_g, B_g in the Riemann sphere with disjoint interiors. If there are Möbius transformations T_i taking the outside of A_i onto the inside of B_i, then the group generated by these transformations is a Kleinian group. A Schottky group is any Kleinian group that can be constructed like this.

Properties

By work of Maskit (1967), a finitely generated Kleinian group is Schottky if and only if it is finitely generated, free, has nonempty domain of discontinuity, and all non-trivial elements are loxodromic.

A fundamental domain for the action of a Schottky group G on its regular points Ω(G) in the Riemann sphere is given by the exterior of the Jordan curves defining it. The corresponding quotient space Ω(G)/G is given by joining up the Jordan curves in pairs, so is a compact Riemann surface of genus g. This is the boundary of the 3-manifold given by taking the quotient (H∪Ω(G))/G of 3-dimensional hyperbolic H space plus the regular set Ω(G) by the Schottky group G, which is a handlebody of genus g. Conversely any compact Riemann surface of genus g can be obtained from some Schottky group of genus g.

Classical and non-classical Schottky groups

A Schottky group is called classical if all the disjoint Jordan curves corresponding to some set of generators can be chosen to be circles. Marden (1974, 1977) gave an indirect and non-constructive proof of the existence of non-classical Schottky groups, and Yamamoto (1991) gave an explicit example of one. It has been shown by Doyle (1988) that all finitely generated classical Schottky groups have limit sets of Hausdorff dimension bounded above strictly by a universal constant less than 2. Conversely, Hou (2010) has proved that there exists a universal lower bound on the Hausdorff dimension of limit sets of all non-classical Schottky groups.

Limit sets of Schottky groups

Schottky (Kleinian) group limit set in plane

The limit set of a Schottky group, the complement of Ω(G), always has Lebesgue measure zero, but can have positive d-dimensional Hausdorff measure for d < 2. It is perfect and nowhere dense with positive logarithmic capacity.

The statement on Lebesgue measures follows for classical Schottky groups from the existence of the Poincaré series

${\displaystyle \displaystyle {P(z)=\sum (c_{i}z+d_{i})^{-4}.}}$

Poincaré showed that the series | c_i |⁻⁴ is summable over the non-identity elements of the group. In fact taking a closed disk in the interior of the fundamental domain, its images under different group elements are disjoint and contained in a fixed disk about 0. So the sums of the areas is finite. By the changes of variables formula, the area is greater than a constant times | c_i |⁻⁴.^[1]

A similar argument implies that the limit set has Lebesgue measure zero.^[2] For it is contained in the complement of union of the images of the fundamental region by group elements with word length bounded by n. This is a finite union of circles so has finite area. That area is bounded above by a constant times the contribution to the Poincaré sum of elements of word length n, so decreases to 0.

Schottky space

Schottky space (of some genus g ≥ 2) is the space of marked Schottky groups of genus g, in other words the space of sets of g elements of PSL₂(C) that generate a Schottky group, up to equivalence under Möbius transformations (Bers 1975). It is a complex manifold of complex dimension 3g−3. It contains classical Schottky space as the subset corresponding to classical Schottky groups.

Schottky space of genus g is not simply connected in general, but its universal covering space can be identified with Teichmüller space of compact genus g Riemann surfaces.

See also

• Beltrami equation
• Riley slice

Notes

References

• Akaza, Tohru (1964), "Poincaré theta series and singular sets of Schottky groups", Nagoya Math. J., 24: 43–65, doi:10.1017/S0027763000011338, S2CID 118640111
• Bers, Lipman (1975), "Automorphic forms for Schottky groups", Advances in Mathematics, 16 (3): 332–361, doi:10.1016/0001-8708(75)90117-6, ISSN 0001-8708, MR 0377044
• Chuckrow, Vicki (1968), "On Schottky groups with applications to kleinian groups", Annals of Mathematics, Second Series, 88 (1): 47–61, doi:10.2307/1970555, ISSN 0003-486X, JSTOR 1970555, MR 0227403
• Doyle, Peter (1988), "On the bass note of a Schottky group", Acta Mathematica, 160: 249–284, doi:10.1007/bf02392277, MR 0945013
• Fricke, Robert; Klein, Felix (1897), Vorlesungen über die Theorie der automorphen Functionen. Erster Band; Die gruppentheoretischen Grundlagen. (in German), Leipzig: B. G. Teubner, ISBN 978-1-4297-0551-6, JFM 28.0334.01
• Fricke, Robert; Klein, Felix (1912), Vorlesungen über die Theorie der automorphen Functionen. Zweiter Band: Die funktionentheoretischen Ausführungen und die Anwendungen. 1. Lieferung: Engere Theorie der automorphen Funktionen. (in German), Leipzig: B. G. Teubner., ISBN 978-1-4297-0552-3, JFM 32.0430.01
• Gilman, Jane, A Survey of Schottky Groups (PDF)
• Hou, Yong (2010), "Kleinian groups of small Hausdorff dimension are classical Schottky groups I", Geometry & Topology, 14: 473–519, arXiv:math/0610458, doi:10.2140/gt.2010.14.473, S2CID 119144655
• Hou, Yong (2013), All finitely generated Kleinian groups of small Hausdorff dimension are classical Schottky groups, arXiv:1307.2677, Bibcode:2013arXiv1307.2677H
• Jørgensen, T.; Marden, A.; Maskit, Bernard (1979), "The boundary of classical Schottky space", Duke Mathematical Journal, 46 (2): 441–446, doi:10.1215/s0012-7094-79-04619-2, ISSN 0012-7094, MR 0534060
• Lehner, Joseph (1964), Discontinuous Groups and Automorphic Functions, Mathematical Surveys and Monographs, vol. 8, American Mathematical Society, ISBN 0-8218-1508-3
• Marden, Albert (1974), "The geometry of finitely generated kleinian groups", Annals of Mathematics, Second Series, 99 (3): 383–462, doi:10.2307/1971059, ISSN 0003-486X, JSTOR 1971059, MR 0349992, Zbl 0282.30014
• Marden, A. (1977), "Geometrically finite Kleinian groups and their deformation spaces", in Harvey, W. J. (ed.), Discrete groups and automorphic functions (Proc. Conf., Cambridge, 1975), Boston, MA: Academic Press, pp. 259–293, ISBN 978-0-12-329950-5, MR 0494117
• Maskit, Bernard (1967), "A characterization of Schottky groups", Journal d'Analyse Mathématique, 19: 227–230, doi:10.1007/BF02788719, ISSN 0021-7670, MR 0220929
• Maskit, Bernard (1988), Kleinian groups, Grundlehren der Mathematischen Wissenschaften, vol. 287, Berlin, New York: Springer-Verlag, ISBN 978-3-540-17746-3, MR 0959135
• David Mumford, Caroline Series, and David Wright, Indra's Pearls: The Vision of Felix Klein, Cambridge University Press, 2002 ISBN 0-521-35253-3
• Schottky, F. (1877), "Ueber die conforme Abbildung mehrfach zusammenhängender ebener Flächen", Journal für die reine und angewandte Mathematik, 83: 300–351, doi:10.1515/crll.1877.83.300, ISSN 0075-4102, S2CID 118718425
• Yamamoto, Hiro-o (1991), "An example of a nonclassical Schottky group", Duke Mathematical Journal, 63 (1): 193–197, doi:10.1215/S0012-7094-91-06308-8, ISSN 0012-7094, MR 1106942

External links

• Three transformations generating a Schottky group from (Fricke & Klein 1897, p. 442).