Modular group

From Wikipedia, the free encyclopedia
Jump to: navigation, search

In mathematics, the modular group Γ is a fundamental object of study in number theory, geometry, algebra, and many other areas of advanced mathematics. The modular group can be represented as a group of geometric transformations or as a group of matrices.

Definition[edit]

The modular group Γ is the group of linear fractional transformations of the upper half of the complex plane which have the form

z\mapsto\frac{az+b}{cz+d}

where a, b, c, and d are integers, and adbc = 1. The group operation is function composition.

This group of transformations is isomorphic to the projective special linear group PSL(2, Z), which is the quotient of the 2-dimensional special linear group SL(2, Z) over the integers by its center {I, −I}. In other words, PSL(2, Z) consists of all matrices

\begin{pmatrix} a & b \\ c & d \end{pmatrix}

where a, b, c, and d are integers, adbc = 1, and pairs of matrices A and −A are considered to be identical. The group operation is the usual multiplication of matrices.

Some authors define the modular group to be PSL(2, Z), and still others define the modular group to be the larger group SL(2, Z). However, even those who define the modular group to be PSL(2, Z) use the notation of SL(2, Z), with the understanding that matrices are only determined up to sign.

Some mathematical relations require the consideration of the group S*L(2, Z) of matrices with determinant plus or minus one. (SL(2, Z) is a subgroup of this group.) Similarly, PS*L(2, Z) is the quotient group S*L(2,Z)/{I, −I}. A 2 × 2 matrix with unit determinant is a symplectic matrix, and thus SL(2, Z) = Sp(2, Z), the symplectic group of 2x2 matrices.

One can also use the notation GL(2, Z) for S*L(2, Z), because the inverse of an integer matrix exists and has integer coefficients if and only if it has determinant equal to ±1 (if the determinant neither zero nor ±1, the inverse will exist but have at least one non-integer coefficient). Alternatively, one may use the explicit notation SL±(2, Z).

Number-theoretic properties[edit]

The unit determinant of

\begin{pmatrix} a & b \\ c & d \end{pmatrix}

implies that the fractions a/b, a/c, c/d and b/d are all irreducible, that is have no common factors (provided the denominators are non-zero, of course). More generally, if p/q is an irreducible fraction, then

\frac{ap+bq}{cp+dq}

is also irreducible (again, provided the denominator be non-zero). Any pair of irreducible fractions can be connected in this way, i.e.: for any pair p/q and r/s of irreducible fractions, there exist elements

\begin{pmatrix} a & b \\ c & d \end{pmatrix}\in\operatorname{SL}(2,\mathbf{Z})

such that

r = ap+bq \quad \mbox{ and } \quad s=cp+dq.

Elements of the modular group provide a symmetry on the two-dimensional lattice. Let \omega_1 and \omega_2 be two complex numbers whose ratio is not real. Then the set of points

\Lambda (\omega_1, \omega_2)=\{ m\omega_1 +n\omega_2 : m,n\in \mathbf{Z} \}

is a lattice of parallelograms on the plane. A different pair of vectors \alpha_1 and \alpha_2 will generate exactly the same lattice if and only if

\begin{pmatrix}\alpha_1 \\ \alpha_2 \end{pmatrix} = \begin{pmatrix} a & b \\ c & d \end{pmatrix} \begin{pmatrix} \omega_1 \\ \omega_2 \end{pmatrix}

for some matrix in S*L(2, Z). It is for this reason that doubly periodic functions, such as elliptic functions, possess a modular group symmetry.

The action of the modular group on the rational numbers can most easily be understood by envisioning a square grid, with grid point (p, q) corresponding to the fraction p/q (see Euclid's orchard). An irreducible fraction is one that is visible from the origin; the action of the modular group on a fraction never takes a visible (irreducible) to a hidden (reducible) one, and vice versa.

If p_{n-1}/q_{n-1} and p_{n}/q_{n} are two successive convergents of a continued fraction, then the matrix

\begin{pmatrix} p_{n-1} & p_{n} \\ q_{n-1} & q_{n} \end{pmatrix}

belongs to S*L(2, Z). In particular, if bc − ad = 1 for positive integers a,b,c and d with a < b and c < d then a/b and c/d will be neighbours in the Farey sequence of order min(b, d). Important special cases of continued fraction convergents include the Fibonacci numbers and solutions to Pell's equation. In both cases, the numbers can be arranged to form a semigroup subset of the modular group.

Group-theoretic properties[edit]

Presentation[edit]

The modular group can be shown to be generated by the two transformations

S: z\mapsto -1/z
T: z\mapsto z+1

so that every element in the modular group can be represented (in a non-unique way) by the composition of powers of S and T. Geometrically, S represents inversion in the unit circle followed by reflection with respect to the origin, while T represents a unit translation to the right.

The generators S and T obey the relations S2 = 1 and (ST)3 = 1. It can be shown [1] that these are a complete set of relations, so the modular group has the presentation:

\Gamma \cong \langle S, T \mid S^2=I, (ST)^3=I \rangle

This presentation describes the modular group as the rotational triangle group (2,3,∞) (∞ as there is no relation on T), and it thus maps onto all triangle groups (2,3,n) by adding the relation Tn = 1, which occurs for instance in the congruence subgroup Γ(n).

Using the generators S and ST instead of S and T, this shows that the modular group is isomorphic to the free product of the cyclic groups C2 and C3:

\Gamma \cong C_2 * C_3

Braid group[edit]

The braid group B3 is the universal central extension of the modular group.

The braid group B3 is the universal central extension of the modular group, with these sitting as lattices inside the (topological) universal covering group \overline{\mathrm{SL}_2(\mathbf{R})} \to \mathrm{PSL}_2(\mathbf{R}). Further, the modular group has trivial center, and thus the modular group is isomorphic to the quotient group of B3 modulo its center; equivalently, to the group of inner automorphisms of B3.

The braid group B3 in turn is isomorphic to the knot group of the trefoil knot.

Quotients[edit]

The quotients by congruence subgroups are of significant interest.

Other important quotients are the (2,3,n) triangle groups, which correspond geometrically to descending to a cylinder, quotienting the x coordinate mod n, as Tn = (zz+n). (2,3,5) is the group of icosahedral symmetry, and the (2,3,7) triangle group (and associated tiling) is the cover for all Hurwitz surfaces.

Relationship to hyperbolic geometry[edit]

The modular group is important because it forms a subgroup of the group of isometries of the hyperbolic plane. If we consider the upper half-plane model H of hyperbolic plane geometry, then the group of all orientation-preserving isometries of H consists of all Möbius transformations of the form

z\mapsto \frac{az + b}{cz + d}

where a, b, c, and d are integers, instead of the usual real numbers, and adbc = 1. Put differently, the group PSL(2, R) acts on the upper half-plane H according to the following formula:

\begin{pmatrix} a & b \\ c & d \end{pmatrix}\cdot z \,= \,\frac{az + b}{cz + d}

This (left-)action is faithful. Since PSL(2, Z) is a subgroup of PSL(2, R), the modular group is a subgroup of the group of orientation-preserving isometries of H. [2]

Tessellation of the hyperbolic plane[edit]

A typical fundamental domain for the action of Γ on the upper half-plane.

The modular group Γ acts on H as a discrete subgroup of PSL(2, R), i.e. for each z in H we can find a neighbourhood of z which does not contain any other element of the orbit of z. This also means that we can construct fundamental domains, which (roughly) contain exactly one representative from the orbit of every z in H. (Care is needed on the boundary of the domain.)

There are many ways of constructing a fundamental domain, but a common choice is the region

R = \left\{ z \in \mathbf{H}: \left| z \right| > 1,\, \left| \,\mbox{Re}(z) \,\right| < \frac{1}{2} \right\}

bounded by the vertical lines Re(z) = 1/2 and Re(z) = −1/2, and the circle |z| = 1. This region is a hyperbolic triangle. It has vertices at 1/2 + i√3/2 and −1/2 + i√3/2, where the angle between its sides is π/3, and a third vertex at infinity, where the angle between its sides is 0.

By transforming this region in turn by each of the elements of the modular group, a regular tessellation of the hyperbolic plane by congruent hyperbolic triangles is created. Note that each such triangle has one vertex either at infinity or on the real axis Im(z)=0. This tiling can be extended to the Poincaré disk, where every hyperbolic triangle has one vertex on the boundary of the disk. The tiling of the Poincaré disk is given in a natural way by the J-invariant, which is invariant under the modular group, and attains every complex number once in each triangle of these regions.

This tessellation can be refined slightly, dividing each region into two halves (conventionally colored black and white), by adding an orientation-reversing map; the colors then correspond to orientation of the domain. Adding in (x, y) ↦ (−x, y) and taking the right half of the region R (Re(z) ≥ 0) yields the usual tessellation. This tessellation first appears in print in (Klein 1878/79a),[3] where it is credited to Richard Dedekind, in reference to (Dedekind 1877).[3][4]

Visualization of the map (2,3,∞) → (2,3,7) by morphing the associated tilings.[5]

The map of groups (2,3,∞) → (2,3,n) (from modular group to triangle group) can be visualized in terms of this tiling (yielding a tiling on the modular curve), as depicted in the video at right.

Noncompact hyperbolic uniform tilings in [∞,3] family
Symmetry: [∞,3], (*∞32) [∞,3]+
(∞32)
[1+,∞,3]
(*∞33)
[∞,3+]
(3*∞)
CDel node 1.pngCDel infin.pngCDel node.pngCDel 3.pngCDel node.png CDel node 1.pngCDel infin.pngCDel node 1.pngCDel 3.pngCDel node.png CDel node.pngCDel infin.pngCDel node 1.pngCDel 3.pngCDel node.png CDel node.pngCDel infin.pngCDel node 1.pngCDel 3.pngCDel node 1.png CDel node.pngCDel infin.pngCDel node.pngCDel 3.pngCDel node 1.png CDel node 1.pngCDel infin.pngCDel node.pngCDel 3.pngCDel node 1.png CDel node 1.pngCDel infin.pngCDel node 1.pngCDel 3.pngCDel node 1.png CDel node h.pngCDel infin.pngCDel node h.pngCDel 3.pngCDel node h.png CDel node h1.pngCDel infin.pngCDel node.pngCDel 3.pngCDel node.png CDel node h1.pngCDel infin.pngCDel node.pngCDel 3.pngCDel node 1.png CDel node.pngCDel infin.pngCDel node h.pngCDel 3.pngCDel node h.png
CDel node h0.pngCDel infin.pngCDel node 1.pngCDel 3.pngCDel node.png
= CDel labelinfin.pngCDel branch 11.pngCDel split2.pngCDel node.png
CDel node h0.pngCDel infin.pngCDel node 1.pngCDel 3.pngCDel node 1.png
= CDel labelinfin.pngCDel branch 11.pngCDel split2.pngCDel node 1.png
CDel node h0.pngCDel infin.pngCDel node.pngCDel 3.pngCDel node 1.png
= CDel labelinfin.pngCDel branch.pngCDel split2.pngCDel node 1.png
CDel node 1.pngCDel infin.pngCDel node h.pngCDel 3.pngCDel node h.png CDel node h1.pngCDel infin.pngCDel node.pngCDel 3.pngCDel node.png =
CDel labelinfin.pngCDel branch 10ru.pngCDel split2.pngCDel node.png or CDel labelinfin.pngCDel branch 01rd.pngCDel split2.pngCDel node.png
CDel node h1.pngCDel infin.pngCDel node.pngCDel 3.pngCDel node 1.png =
CDel labelinfin.pngCDel branch 10ru.pngCDel split2.pngCDel node 1.png or CDel labelinfin.pngCDel branch 01rd.pngCDel split2.pngCDel node 1.png
CDel node h0.pngCDel infin.pngCDel node h.pngCDel 3.pngCDel node h.png
= CDel labelinfin.pngCDel branch hh.pngCDel split2.pngCDel node h.png
H2 tiling 23i-1.png H2 tiling 23i-3.png H2 tiling 23i-2.png H2 tiling 23i-6.png H2 tiling 23i-4.png H2 tiling 23i-5.png H2 tiling 23i-7.png Uniform tiling i32-snub.png H2 tiling 33i-1.png
{∞,3} t{∞,3} r{∞,3} t{3,∞} {3,∞} rr{∞,3} tr{∞,3} sr{∞,3} h{∞,3} h2{∞,3} s{3,∞}
Uniform duals
CDel node f1.pngCDel infin.pngCDel node.pngCDel 3.pngCDel node.png CDel node f1.pngCDel infin.pngCDel node f1.pngCDel 3.pngCDel node.png CDel node.pngCDel infin.pngCDel node f1.pngCDel 3.pngCDel node.png CDel node.pngCDel infin.pngCDel node f1.pngCDel 3.pngCDel node f1.png CDel node.pngCDel infin.pngCDel node.pngCDel 3.pngCDel node f1.png CDel node f1.pngCDel infin.pngCDel node.pngCDel 3.pngCDel node f1.png CDel node f1.pngCDel infin.pngCDel node f1.pngCDel 3.pngCDel node f1.png CDel node fh.pngCDel infin.pngCDel node fh.pngCDel 3.pngCDel node fh.png CDel node fh.pngCDel infin.pngCDel node.pngCDel 3.pngCDel node.png CDel node.pngCDel infin.pngCDel node fh.pngCDel 3.pngCDel node fh.png
H2 tiling 23i-4.png Ord-infin triakis triang til.png Ord3infin qreg rhombic til.png H2checkers 33i.png H2 tiling 23i-1.png Deltoidal triapeirogonal til.png H2checkers 23i.png
V∞3 V3.∞.∞ V(3.∞)2 V6.6.∞ V3 V4.3.4.∞ V4.6.∞ V3.3.3.3.∞ V(3.∞)3 V3.3.3.3.3.∞

Congruence subgroups[edit]

Important subgroups of the modular group Γ, called congruence subgroups, are given by imposing congruence relations on the associated matrices.

There is a natural homomorphism SL(2, Z) → SL(2, Z/NZ) given by reducing the entries modulo N. This induces a homomorphism on the modular group PSL(2, Z) → PSL(2, Z/NZ). The kernel of this homomorphism is called the principal congruence subgroup of level N, denoted Γ(N). We have the following short exact sequence:

1\to\Gamma(N)\to\Gamma\to\mbox{PSL}(2,\mathbf{Z}/N\mathbf{Z})\to 1.

Being the kernel of a homomorphism Γ(N) is a normal subgroup of the modular group Γ. The group Γ(N) is given as the set of all modular transformations

z\mapsto\frac{az+b}{cz+d}

for which ad ≡ ±1 (mod N) and bc ≡ 0 (mod N).

The principal congruence subgroup of level 2, Γ(2), is also called the modular group Λ. Since PSL(2, Z/2Z) is isomorphic to S3, Λ is a subgroup of index 6. The group Λ consists of all modular transformations for which a and d are odd and b and c are even.

Another important family of congruence subgroups are the modular group Γ0(N) defined as the set of all modular transformations for which c ≡ 0 (mod N), or equivalently, as the subgroup whose matrices become upper triangular upon reduction modulo N. Note that Γ(N) is a subgroup of Γ0(N). The modular curves associated with these groups are an aspect of monstrous moonshine – for a prime number p, the modular curve of the normalizer is genus zero if and only if p divides the order of the monster group, or equivalently, if p is a supersingular prime.

Dyadic monoid[edit]

One important subset of the modular group is the dyadic monoid, which is the monoid of all strings of the form STkSTmSTn ... for positive integers k, m, n, ... . This monoid occurs naturally in the study of fractal curves, and describes the self-similarity symmetries of the Cantor function, Minkowski's question mark function, and the Koch curve, each being a special case of the general de Rham curve. The monoid also has higher-dimensional linear representations; for example, the N = 3 representation can be understood to describe the self-symmetry of the blancmange curve.

Maps of the torus[edit]

The group GL(2, Z) is the linear maps preserving the standard lattice Z2, and SL(2, Z) is the orientation-preserving maps preserving this lattice; they thus descend to self-homeomorphisms of the torus (SL mapping to orientation-preserving maps), and in fact map isomorphically to the (extended) mapping class group of the torus, meaning that every self-homeomorphism of the torus is isotopic to a map of this form. The algebraic properties of a matrix as an element of GL(2, Z) correspond to the dynamics of the induced map of the torus.

Hecke groups[edit]

The modular group can be generalized to the Hecke groups, named for Erich Hecke, and defined as follows.[6]

The Hecke group Hq is the discrete group generated by

z \mapsto -1/z
z \mapsto z + \lambda_q,

where \lambda_q=2\cos(\pi/q). \,

The modular group Γ is isomorphic to H3 and they share properties and applications – for example, just as one has the free product of cyclic groups

\Gamma \cong C_2 * C_3,

more generally one has

H_q \cong C_2 * C_q,

which corresponds to the triangle group (2,q,∞). There is similarly a notion of principal congruence subgroups associated to principal ideals in Z[λ]. For small values of q, one has:

\lambda_3 = 1,
\lambda_4 = \sqrt{2},
\lambda_5 = \tfrac{1}{2}(1+\sqrt{5}),
\lambda_6 = \sqrt{3}.

History[edit]

The modular group and its subgroups were first studied in detail by Richard Dedekind and by Felix Klein as part of his Erlangen programme in the 1870s. However, the closely related elliptic functions were studied by Joseph Louis Lagrange in 1785, and further results on elliptic functions were published by Carl Gustav Jakob Jacobi and Niels Henrik Abel in 1827.

See also[edit]

References[edit]

  1. ^ Alperin, Roger C. (April 1993). "PSL2(Z) = Z2 * Z3". Amer. Math. Monthly 100: 385–386. 
  2. ^ http://www.mathematica-journal.com/issue/v9i3/contents/ModularGroup/ModularGroup.pdf
  3. ^ a b le Bruyn, Lieven (22 April 2008), Dedekind or Klein ? 
  4. ^ Stillwell, John (January 2001). "Modular Miracles". The American Mathematical Monthly 108 (1): 70–76. ISSN 0002-9890. JSTOR 2695682. 
  5. ^ Platonic tilings of Riemann surfaces: The Modular Group, Gerard Westendorp
  6. ^ Combinatorial group theory, discrete groups, and number theory, by Gerhard Rosenberger, Benjamin Fine, Anthony M. Gaglione, Dennis Spellman p. 65