GL(4,R)

GL(4,R)
Name	General linear group of degree 4 over the real numbers
Notation	GL(4,R)
Type	Lie group
Dimension	16
Field	Real numbers

GL(4,R)

GL(4,R) is the group of all invertible 4×4 matrices with real entries under matrix multiplication. It is a 16-dimensional noncompact real Lie group that plays a central role in linear algebra, differential geometry, representation theory, and theoretical physics. As the full group of linear automorphisms of a 4-dimensional real vector space, it connects to classical topics addressed by figures such as Élie Cartan, Hermann Weyl, Emmy Noether, Eliezer Kaplan and institutions like the Institut des Hautes Études Scientifiques, Princeton University, and University of Göttingen.

Definition and basic properties

GL(4,R) consists of all 4×4 matrices with entries in the field of real numbers whose determinant is nonzero. The determinant map det: GL(4,R) → R× is a surjective continuous group homomorphism with kernel the special linear group SL(4,R), linking to work of Augustin-Louis Cauchy on determinants and Arthur Cayley on matrix theory. The connected components of GL(4,R) are determined by the sign of the determinant: the component with positive determinant contains the identity and relates to orientation-preserving linear transformations, a notion important in studies by Sofia Kovalevskaya and Bernhard Riemann. GL(4,R) is nonabelian, and its center consists of scalar matrices λI with λ ∈ R×, a structure noted in expositions by Hermann Grassmann and Camille Jordan.

Matrix group structure and topology

As a matrix group, GL(4,R) inherits the subspace topology from R^{16} and is an open subset of the vector space of 4×4 real matrices M_4(R). This openness follows from the continuity of the determinant, an observation used in classical analysis by Karl Weierstrass and Jean le Rond d’Alembert. Topologically, GL(4,R) has two connected components corresponding to det>0 and det<0; the identity component is often denoted GL^+(4,R) and arises in manifold theory developed by John Milnor and Marston Morse. GL(4,R) is a smooth manifold with chart structure compatible with the matrix entries; this manifold structure is exploited in studies by Shiing-Shen Chern and Raoul Bott. As a Lie group, GL(4,R) admits Haar measure tied to integration techniques used by Harish-Chandra and André Weil.

Lie algebra gl(4,R)

The Lie algebra gl(4,R) consists of all 4×4 real matrices under the commutator bracket [X,Y]=XY−YX and has dimension 16. The exponential map exp: gl(4,R) → GL(4,R) sends nilpotent and semisimple decomposition data studied by Claude Chevalley and Armand Borel into group elements; the Baker–Campbell–Hausdorff formula, developed by Henri Poincaré and John von Neumann, governs local multiplication. gl(4,R) decomposes into the direct sum of its center (scalar matrices) and sl(4,R), the traceless matrices corresponding to classical Lie algebra theory by Élie Cartan and Weyl. Root systems and Cartan subalgebras of gl-type relate to classification results by Killing and Cartan and underpin representation-theoretic constructions advanced by Roger Howe and George Mackey.

Subgroups and notable subgroups

GL(4,R) contains many important closed subgroups: SL(4,R) (determinant one) connects to Grothendieck-style algebraic geometry viewpoints; O(4) and SO(4) (orthogonal and special orthogonal groups) arise in classical mechanics and relativity work by Hendrik Lorentz, Albert Einstein, and Élie Cartan; the general affine group Aff(4,R) appears in studies of Felix Klein’s Erlangen program and in applications treated by Sophus Lie. Parabolic subgroups such as block upper-triangular matrices relate to flag variety theory studied by Alexander Grothendieck and Pierre Deligne. The subgroup of diagonal matrices is a maximal torus linked to weight theory in papers by Nathan Jacobson and Harish-Chandra. Discrete subgroups of GL(4,R) connect to arithmetic groups considered by Goro Shimura, Armand Borel, and Harish-Chandra and to crystallographic groups analyzed by Evgraf Fedorov and Arthur Moritz Schoenflies.

Representations and actions

Finite-dimensional representations of GL(4,R) are built from tensor constructions on the standard 4-dimensional representation, including exterior powers and symmetric powers, methods systematized by Weyl and Schur. Induced representations and principal series for GL(n) are central to harmonic analysis and automorphic forms in the work of Langlands, Robert Langlands, Harish-Chandra, and James Arthur. GL(4,R) acts naturally on R^4, on Grassmannians Gr(k,4) studied by Hermann Grassmann and Alfred Clebsch, and on flag manifolds central to geometric representation theory by Lusztig and Joseph Bernstein. In physics-related representation theory, connections to spin groups and covering groups relate to constructions by Élie Cartan and Paul Dirac.

Applications in geometry and physics

GL(4,R) appears in differential geometry as the structure group of the frame bundle of a 4-dimensional manifold, a perspective essential to general relativity and the Einstein field equations developed by Albert Einstein and formalized in geometric language by Elie Cartan and Weyl. In continuum mechanics and elasticity theory, linear constitutive laws use elements of GL(4,R) in formulations appearing in texts by Augustin-Louis Cauchy and Germain Lamé. In gauge theory and unification attempts, GL(4,R) and its subgroups inform model-building pursued at institutions like CERN and in work by Murray Gell-Mann and Sheldon Glashow. In topology and global analysis, transition functions valued in GL(4,R) determine vector bundle classification problems explored by Raoul Bott and Michael Atiyah. Computational linear algebra algorithms for matrix inversion and determinant evaluation, foundational to numerical analysis initiated by John von Neumann and Alan Turing, routinely operate within GL(4,R).

Category:Lie groups