GL(2)

GL(2)
Name	GL(2)
Type	Group
Elements	2×2 invertible matrices
Operation	Matrix multiplication
Origin	Linear algebra

GL(2) GL(2) refers to the group of invertible 2×2 matrices over a field or ring and plays a central role in Carl Friedrich Gauss-inspired linear algebra, Évariste Galois-influenced field theory, Arthur Cayley-style matrix theory, Emmy Noether-algebraic structures, and modern representation-theoretic frameworks developed by Hermann Weyl. It connects classical subjects such as Fermat-era number theory, Bernhard Riemann-style analysis, David Hilbert's foundations, and computational implementations by projects like SageMath, PARI/GP, and Magma. Its study intersects work by Jean-Pierre Serre, Robert Langlands, André Weil, Harish-Chandra, and Pierre Deligne.

Definition and basic properties

Over a field K, GL(2,K) is the set of 2×2 matrices with entries in K and nonzero determinant, a notion rooted in Augustin-Louis Cauchy's determinant concept and formalized by James Joseph Sylvester. As a classical linear algebraic group studied by Claude Chevalley and Armand Borel, it is a smooth affine variety over K when K is algebraically closed, with dimension 4 in the sense used by Alexander Grothendieck and Jean-Louis Loday. For K = R or K = C, it is a real or complex Lie group respectively, linked to analyses by Henri Poincaré and Elie Cartan. Determinant gives a surjective homomorphism to the multiplicative group K^×, a structure illuminated in works of Richard Dedekind and Leopold Kronecker.

Matrix groups and structure

As a linear algebraic group, GL(2) contains the diagonal torus and unipotent subgroups studied by Claude Chevalley and Jean-Pierre Serre; its maximal tori are conjugate to diagonal matrices, a classification appearing in writings of Élie Cartan and Armand Borel. The Bruhat decomposition for GL(2) involves the Weyl group of order 2, reminiscent of analysis by François Bruhat and furthered by Nicolas Bourbaki. The Lie algebra gl(2) features prominently in Sophus Lie's theory; exponential and logarithm maps connect group and algebra as in Wilhelm Killing's structural work. Over local fields such as Q_p, GL(2,Q_p) is a totally disconnected locally compact group studied in non-Archimedean harmonic analysis by John Tate and Ilya Piatetski-Shapiro.

Subgroups and related groups

Important subgroups include the Borel subgroup of upper-triangular matrices, the special linear subgroup SL(2) with unit determinant linked to Felix Klein's study of modular forms, the orthogonal group O(2) and unitary group U(2) related to Hermann Weyl's representation theory, and the compact subgroup GL(2,Z) intersections tied to Carl Gustav Jacob Jacobi and Srinivasa Ramanujan through modularity. Congruence subgroups such as Γ0(N) and Γ1(N) appear in the work of Atkin and Lehner and in Yuri Manin's studies. The projective general linear group PGL(2) connects to Alexander Grothendieck's geometric insights, while metaplectic covers arise in research by André Weil and David Kazhdan.

Representations and modules

Finite-dimensional and infinite-dimensional representations of GL(2) over fields and local fields are central to the Langlands program developed by Robert Langlands and pursued by James Arthur, Roger Howe, and Friedrich Hirzebruch. Principal series, discrete series, and cuspidal representations for GL(2,R) and GL(2,Q_p) were classified by Harish-Chandra, Atle Selberg, and Jacques Tits, with connections to automorphic forms examined by Goro Shimura and Yoshida. Modular representations over finite fields tie into the work of John Tate and Jean-Pierre Serre on Galois modules, while Hecke algebras associated to GL(2) link to Erich Hecke and computational explorations by William Stein. Category-theoretic formulations and derived categories reflect perspectives advanced by Alexander Beilinson and Joseph Bernstein.

Arithmetic and algebraic aspects

Arithmetic subgroups of GL(2) such as GL(2,Z) and congruence subgroups are pivotal in the theory of elliptic curves and modular forms studied by Andrew Wiles, Gerhard Frey, Ken Ribet, and Barry Mazur. The Eichler–Shimura correspondence and modularity theorems tie GL(2) automorphic representations to two-dimensional Galois representations as formulated by Pierre Deligne and proven in crucial cases by Christophe Breuil, Brian Conrad, and Richard Taylor. The study of GL(2) over finite fields relates to character theory advanced by William Burnside and Issai Schur and to counting points on varieties as in André Weil's conjectures proven by Pierre Deligne. Integral models and reduction modulo primes connect to techniques from Jean-Pierre Serre and Serre–Tate theory.

Applications and examples

GL(2) appears in classical examples like linear transformations of the plane studied by Johannes Kepler-era optics and in modern physics contexts involving spinors and symmetry analyzed by Paul Dirac and Murray Gell-Mann. In number theory, GL(2) automorphic forms underpin the proof of Fermat's Last Theorem by Andrew Wiles and connect to Elliptic curve arithmetic central to Niels Henrik Abel's legacy. Computational instances are implemented in SageMath, PARI/GP, and Magma for explicit matrix group computations used in research by John Cremona and William Stein. Geometric applications include projective transformations in Renaissance art studies and modern algebraic geometry influenced by Alexander Grothendieck and David Mumford.

Category:Linear algebraic groups