Reflection group

Reflection group
Name	Reflection group
Type	Finite group generated by reflections
Field	Algebra, Geometry, Lie theory

Reflection group A reflection group is a group generated by linear reflections acting on a Euclidean or complex vector space; it appears throughout algebraic geometry, Lie theory, and crystallography. Examples connect to Euclidean space, Complex projective space, Coxeter group, Weyl group, and the symmetry groups of regular polyhedra studied by Plato, Kepler, and Schwarz. Reflection groups underlie structures in the work of Élie Cartan, Hermann Weyl, Wilhelm Killing, Sophus Lie, and influence contexts such as the Platonic solids, Crystal system, Bravais lattice, and the E8 lattice.

Definition and basic properties

A reflection group is defined as a subgroup of GL(V) generated by reflections—linear maps fixing a hyperplane pointwise and negating a normal vector—acting on a finite-dimensional vector space V over R or C. Fundamental properties relate to invariant theory studied by David Hilbert, Emmy Noether, and Claude Chevalley: the algebra of polynomial invariants is often a polynomial algebra for real reflection groups as shown in results of Shephard–Todd and Chevalley. Finite real reflection groups coincide with finite Coxeter groups classified by H.S.M. Coxeter, linking to the ADE classification associated to Arnold, Kac–Moody algebra contexts and to Dynkin diagrams introduced by Eugène Dynkin. Reflection length, conjugacy classes, and generating sets connect to work by John Conway, Neil Sloane, and G. C. Shephard.

Examples and classification

Key examples include the symmetry groups of regular polygons (dihedral groups) and regular polyhedra: the dihedral group D_n relates to Johannes Kepler’s solids; the symmetry groups of the cube and octahedron produce the Weyl groups of type B_n/C_n associated to Carl Friedrich Gauss’s modular ideas. Coxeter’s classification lists infinite families A_n, B_n/C_n, D_n and exceptional types E6, E7, E8, F4, G2, which tie to Albert Einstein’s and Hermann Minkowski’s geometric methods in relativity and lattice theory. Complex reflection groups were classified by G. C. Shephard and John A. Todd into an infinite family G(m,p,n) and 34 exceptional cases, some appearing in Monstrous Moonshine contexts studied by John McKay and Richard Borcherds.

Coxeter groups and root systems

Reflection groups correspond to Coxeter groups presented by generators s_i and relations (s_is_j)^{m_{ij}} = 1; these were systematized by H.S.M. Coxeter and earlier ideas of Ludwig Schläfli. Root systems associated to Weyl groups classify simple Lie algebras studied by Élie Cartan and Hermann Weyl; Dynkin diagrams encode inner products as in work of Eugène Dynkin and feed into classification in Nikolai Bogolyubov-style representation theory. The Cartan matrix formalism links to Victor Kac’s Kac–Moody algebras and to structure constants appearing in the representation theory of Pierre Deligne and James E. Humphreys.

Geometric and algebraic representations

Geometrically, reflection groups act on tessellations of spheres, Euclidean space, and hyperbolic space as in studies by Johann Heinrich Lambert, Lobachevsky, and János Bolyai; Coxeter polytopes and honeycombs arise in H. S. M. Coxeter’s work. Algebraic representations appear in the invariant theory of polynomial algebras treated by David Hilbert and Emmy Noether, and in the regular representation studied by Ferdinand Frobenius and Issai Schur. Reflection representations are crucial in the construction of Hecke algebras and braid groups connected to Vaughan Jones’s knot invariants and to the quantum groups developed by Michio Jimbo and V.G. Drinfeld.

Applications and connections

Reflection groups influence crystallography via the 32 crystallographic point groups and 230 space groups catalogued in traditions traced to Auguste Bravais and Arthur Moritz Schoenflies, and underpin the classification of lattices like the E8 lattice and Leech lattice studied by John Conway and N. J. A. Sloane. They appear in singularity theory through Arnold’s ADE classification linked to V.I. Arnold and René Thom, and in mathematical physics in conformal field theory influenced by Alexander Belavin, Polyakov, and Zamolodchikov. Reflection groups also enter algebraic combinatorics (root posets, Coxeter-sortable elements) studied by Richard Stanley and William Fulton and in geometric group theory via buildings of Jacques Tits and symmetric spaces of Élie Cartan.

Historical development and key contributors

The concept evolved from classical geometry of symmetries of polyhedra explored by Plato and Euclid through Renaissance work of Johannes Kepler and René Descartes. In the 19th century, Ludwig Schläfli and Arthur Cayley advanced the theory of polyhedra and symmetry; 20th-century foundations were laid by H.S.M. Coxeter, Élie Cartan, Hermann Weyl, Eugène Dynkin, and Weyl group-related developments by Wilhelm Killing. The classification of complex reflection groups by G. C. Shephard and John A. Todd, invariant-theoretic results by Claude Chevalley and David Hilbert, and later connections to string theory and moonshine explored by John McKay and Richard Borcherds expanded the subject across Princeton University, Cambridge University, and institutions such as the Institut des Hautes Études Scientifiques.

Category:Group theory