SL(2,Z)

SL(2,Z)
Name	SL(2,Z)
Type	Group
Notation	SL(2,ℤ)
Elements	2×2 integer matrices with determinant 1
Operation	Matrix multiplication
Identity	Identity matrix
Inverse	Matrix inverse

SL(2,Z) is the group of 2×2 integer matrices with determinant one, a fundamental arithmetic and geometric object connecting Carl Friedrich Gauss, Bernhard Riemann, David Hilbert, Emmy Noether, and Henri Poincaré through classical number theory and geometry. It acts discretely on the upper half-plane and underlies the theory of modular forms, the modular group's role in the proof of the Taniyama–Shimura conjecture and the Modularity theorem exemplifies its centrality in modern arithmetic geometry. SL(2,Z) appears in the study of elliptic curves, Fuchsian groups, Teichmüller theory, and connections with quantum field theory and string theory via mapping class group analogies.

Definition and basic properties

SL(2,Z) is defined as the set of 2×2 matrices with integer entries and determinant 1, forming a non-abelian infinite discrete group closely related to GL(2,Z), PSL(2,R), and GL_n(Z). It contains elements of finite order conjugate to rotations studied by Felix Klein and supports parabolic, hyperbolic, and elliptic conjugacy classes investigated by Henri Poincaré and Kurt Reidemeister. The group is generated by specific integral matrices corresponding to transformations historically examined by Adrien-Marie Legendre and Joseph Fourier in the context of modular transformations studied by Karl Weierstrass and Bernhard Riemann. SL(2,Z) is residually finite and virtually free, properties relevant to research by Graham Higman and William Magnus on group presentations.

Generators and relations

A classical presentation uses two generators often denoted S and T, whose algebraic relations mirror those used by Felix Klein and Arthur Cayley in matrix theory. The relations S^4 = I, (ST)^3 = S^2 capture torsion elements analogous to rotations in the icosahedron studies of Évariste Galois and Augustin Cauchy. Presentations by generators and relations were formalized by Walther von Dyck and later refined in combinatorial group theory by Max Dehn and Jakob Nielsen. These generators correspond to specific matrices that implement fractional linear transformations studied by Sofia Kovalevskaya and Bernhard Riemann in analytic function theory and are central in the computation of word lengths and growth rates investigated by Grigori Margulis.

Action on the upper half-plane and modular forms

SL(2,Z) acts on the complex upper half-plane by Möbius transformations, a viewpoint developed by Henri Poincaré and exploited by Ernst Hecke and Goro Shimura in the formulation of modular forms. This action yields fundamental domains used by Hermann Minkowski and Harold Davenport for counting lattice points and by Yutaka Taniyama and Goro Shimura in the context of the Taniyama–Shimura conjecture. The quotient by SL(2,Z) produces the modular curve, a principal object in the work of André Weil, Alexander Grothendieck, and Barry Mazur on arithmetic geometry of elliptic curves and the study of cusp forms central to Atkin–Lehner theory and Deligne–Serre correspondences.

Subgroups and congruence subgroups

SL(2,Z) contains many important subgroups, notably congruence subgroups Γ(N), Γ0(N), and Γ1(N) appearing in the arithmetic studies of Hecke operators and explored by A. O. L. Atkin and Joseph Lehner. Noncongruence subgroups studied by Jean-Pierre Serre and Igor Shafarevich play roles in counterexamples to naive generalizations and in the theory of dessins d'enfants investigated by Alexander Grothendieck. Finite index subgroups relate to coverings of modular curves examined by Gerd Faltings and Richard Taylor in their work on rational points and Galois representations, and congruence subgroup properties connect to results by Kazhdan and Margulis on superrigidity.

Representations and cohomology

Representation theory of SL(2,Z) includes finite-dimensional and infinite-dimensional representations tied to the theory developed by Hermann Weyl, Harish-Chandra, and George Mackey. Modular representation aspects enter the work of Jean-Pierre Serre on Galois representations and Pierre Deligne on l-adic cohomology. Cohomology of SL(2,Z) and its subgroups, calculated using tools from Hodge theory and Étale cohomology by Alexander Grothendieck and Pierre Deligne, informs the study of extensions, cusp form spaces, and Eichler–Shimura isomorphisms used by Nicholas Katz and Richard Taylor.

Applications in number theory and geometry

SL(2,Z) underlies modern approaches to the arithmetic of elliptic curves, modularity results such as the proof of Fermat's Last Theorem by Andrew Wiles and Richard Taylor, and the construction of modular curves exploited by Barry Mazur in studying rational torsion. In geometry, its role as a Fuchsian group links to hyperbolic geometry studied by William Thurston and Maxwell Rosenlicht, and to Teichmüller theory with connections to mapping class groups examined by John Nielsen and William Thurston. SL(2,Z) also appears in mathematical physics through modular invariance in conformal field theory explored by Alexander Belavin, Alexander Polyakov, and Alexander Zamolodchikov, and in string dualities considered by Edward Witten and Cumrun Vafa.

Category:Arithmetic groups