Fuchsian group

In mathematics, a Fuchsian group is a particular type of group of isometries of the hyperbolic plane. A Fuchsian group is always a discrete group contained in the semisimple Lie group PSL(2,C). The name is given in honour of Immanuel Lazarus Fuchs.

Fuchsian groups are used to create Fuchsian models of Riemann surfaces. In some sense, Fuchsian groups do for non-Euclidean geometry what crystallographic groups do for Euclidean geometry, but the theory is much richer. Some Escher graphics are based on them (for the "disc model" of hyperbolic geometry).

Fuchsian groups on the upper half-plane

Let H = {"z" in C : Im("z") > 0} be the upper half-plane. Then H is a model of the hyperbolic plane when given the element of arc length

:$ds=frac\{sqrt\{dx^2+dy^2\{y\}.$

The group "PSL"(2,R) acts on H by linear fractional transformations:

:

This action is faithful, and in fact "PSL"(2,R) is isomorphic to the group of all orientation-preserving isometries of H.

A Fuchsian group Γ may be defined to be a subgroup of "PSL"(2,R), which acts discontinuously on H. That is,

*For every "z" in H, the orbit Γ"z" = {γ"z" : γ in Γ} has no accumulation point in H.

An equivalent definition for Γ to be Fuchsian is that Γ be discrete, in the following sense:

*Every sequence {γ_"n"} of elements of Γ converging to the identity in the usual topology of point-wise convergence is eventually constant, i.e. there exists an integer "N" such that for all "n" > "N", γ_"n" = I, where I is the identity matrix.

Although discontinuity and discreteness are equivalent in this case, this is not generally true for the case of an arbitrary group of conformal homeomorphisms acting on the Riemann sphere. Indeed, the Fuchsian group PSL(2,Z) is discrete but has accumulation points on the real number line Im "z" = 0: elements of PSL(2,Z) will carry "z" = 0 to every rational number, and the rationals Q are dense in R.

General definition

A linear fractional transformation defined by a matrix from "PSL"(2,C) will preserve the Riemann sphere $hat\{mathbb\; \{C=mathbb\{C\}cupinfty$, but will send the upper-half plane H to some open disk Δ. Conjugating by such a transformation will send a discrete subgroup of "PSL"(2,R) to a discrete subgroup of "PSL"(2,C) preserving Δ.

This motivates the following definition of a Fuchsian group. Let $Gamma\; subset\; PSL(2,mathbb\{C\})$ act invariantly on a proper, open disk $Deltasubset\; hat\{mathbb\; \{C$, that is, $Gamma(Delta)=Delta$. Then Γ is Fuchsian if and only if any of the following three properties hold:

# Γ is a discrete group (with respect to the standard topology on PSL(2,C)).
# Γ acts properly discontinuously at each point $zinDelta$.
# The set Δ is a subset of the region of discontinuity Ω(Γ) of Γ.

That is, any one of these three can serve as a definition of a Fuchsian group, the others following as theorems. The notion of an invariant proper subset Δ is important; the so-called Picard group PSL(2,Z ["i"] ) is discrete but does not preserve any disk in the Riemann sphere. Indeed, even the modular group PSL(2,Z), which "is" a Fuchsian group, does not act discontinuously on the real number line; it has accumulation points at the rational numbers. Similarly, the idea that Δ is a proper subset of the region of discontinuity is important; when it is not, the subgroup is called a Kleinian group.

It is most usual to take the invariant domain Δ to be either the open unit disk or the upper half-plane.

Limit sets

Because of the discrete action, the orbit $Gamma\; z$ of a point "z" in the upper half-plane under the action of Γ has no accumulation points in the upper half-plane. There may, however, be limit points on the real axis. Let $Lambda(Gamma)$ be the limit set of $Gamma$, that is, the set of limit points of $Gamma\; z$ for $z\; in\; mathbb\{H\}$. Then $Lambda(Gamma)\; subseteq\; mathbb\{R\}\; cup\; infty$. The limit set may be empty, or may contain one or two points, or may contain an infinite number. In the latter case, there are two types:

A Fuchsian group of the first kind is a group for which the limit set is the closed real line $mathbb\{R\}\; cup\; infty$. This happens if the quotient space H/Γ has finite volume, but there are Fuchsian groups of the first kind of infinite covolume.

Otherwise, a Fuchsian group is said to be of the second kind. Equivalently, this is a group for which the limit set is a perfect set that is nowhere dense on $mathbb\{R\}\; cup\; infty$. Since it is nowhere dense, this implies that any limit point is arbitrarily close to an open set that is not in the limit set. In other words, the limit set is a Cantor set.

Examples

By far the most prominent example of a Fuchsian group is the modular group, "PSL"(2,Z). This is the subgroup of "PSL"(2,R) consisting of linear fractional transformations

:

where "a", "b", "c", "d" are integers. The quotient space H/"PSL"(2,Z) is the moduli space of elliptic curves.

Other famous Fuchsian groups include the groups Γ("n") for each integer "n" > 0. Here Γ("n") consists of linear fractional transformations of the above form where the entries of the matrix

:

are congruent to those of the identity matrix modulo "n".

A co-compact example is the (2,3,7) triangle group, containing the Fuchsian groups of the Klein quartic and of the Macbeath surface, as well as other Hurwitz groups.

All these are Fuchsian groups of the first kind.

* All hyperbolic and parabolic cyclic subgroups of PSL(2,R) are Fuchsian.

* Any elliptic cyclic subgroup is Fuchsian if and only if it is finite.

* Every abelian Fuchsian group is cyclic.

* No Fuchsian group is isomorphic to $mathbb\{Z\}\; imes\; mathbb\{Z\}$.

* Let $Gamma$ be a non-abelian Fuchsian group. Then the normalizer of $Gamma$ in PSL(2,R) is Fuchsian.

Metric properties

If "h" is a hyperbolic element, the translation length "L" of its action in the upper half-plane is related to the trace of "h" as a 2×2 matrix by the relation

:$|mathrm\{tr\};\; h|\; =\; 2cosh\; frac\{L\}\{2\}.$

A similar relation holds for the systole of the corresponding Riemann surface, if the Fuchsian group is torsion-free and co-compact.

See also

* Non-Euclidean crystallographic group
* Schottky group

References

* David Mumford, Caroline Series and David Wright, "", (2002) Cambridge University Press ISBN 0-521-35253-3. "(Aimed at non-mathematicians, provides an excellent exposition of theory and results, richly illustrated with diagrams.)"
* Svetlana Katok, "Fuchsian Groups" (1992), University of Chicago Press, Chicago ISBN 0-226-42583-5
* Hershel M. Farkas, Irwin Kra, "Theta Constants, Riemann Surfaces and the Modular Group", American Mathematical Society, Providence RI, ISBN 0-8218-1392-7 "(See section 1.6)"
* Peter J. Nicholls, "The Ergodic Theory of Discrete Groups", (1989) London Mathematical Society Lecture Note Series 143, Cambridge University Press, Cambridge ISBN 0-521-37674-2
* Henryk Iwaniec, "Spectral Methods of Automorphic Forms, Second Edition", (2002) (Volume 53 in "Graduate Studies in Mathematics"), America Mathematical Society, Providence, RI ISBN 0-8218-3160-7 "(See Chapter 2)."