Unitary group U_n

Unitary group U_n
Name	Unitary group U_n
Type	Compact Lie group
Dimension	n^2
Notation	U_n

Unitary group U_n

The unitary group U_n is the group of n×n complex matrices that preserve the standard Hermitian form; it is a central example in the work of Élie Cartan, Hermann Weyl, Évariste Galois-inspired algebraic structures and in applications ranging from Paul Dirac's quantum mechanics to Albert Einstein's relativity-inspired gauge theories. Its study connects results of David Hilbert, Felix Klein, Sophus Lie, Hermann Minkowski and modern developments in Michael Atiyah's index theory and Simon Donaldson's gauge theory.

Definition and basic properties

The group consists of all complex matrices U ∈ GL_n(ℂ) satisfying U* U = I, where U* denotes the conjugate transpose; this definition appears in work by John von Neumann, Emmy Noether, Richard Courant, Wilhelm Killing and features in constructions by Alexander Grothendieck, André Weil, Hermann Weyl and Norbert Wiener. U_n is compact, connected for n≥1, and has center isomorphic to the unit circle S^1, a fact used in analyses by Élie Cartan, Hermann Weyl and I. M. Gelfand. The determinant map det: U_n → S^1 yields the special unitary subgroup SU_n as its kernel, a relationship exploited in proofs by Évariste Galois-inspired symmetry arguments and by Claude Chevalley in algebraic group theory.

Matrix realizations and examples

Concrete matrices in U_n include permutation matrices with appropriate complex phases, diagonal matrices with entries on S^1, and block-diagonal combinations related to John von Neumann's spectral theorem and to examples used by Paul Dirac and Enrico Fermi in quantum models. For n=1, U_1 ≅ S^1, a circle studied alongside Augustin-Jean Fresnel-era optics and Niels Bohr's atomic models; for n=2, U_2 relates to quaternionic descriptions linked to William Rowan Hamilton and to spin groups appearing in Wolfgang Pauli's spin matrices and in the work of Ettore Majorana. Unitary matrices appear in the singular value decomposition central to Alan Turing's numerical analysis and in algorithms by John von Neumann and Alston S. Householder.

Lie group and Lie algebra structure

As a compact Lie group, U_n has Lie algebra u_n consisting of skew-Hermitian matrices, a structure analyzed by Sophus Lie, Hermann Weyl, Élie Cartan and Évariste Galois-inspired classification results. The exponential map exp: u_n → U_n is surjective onto connected components, a property used by Hermann Weyl, Nathan Jacobson and Claude Chevalley in representation studies. Maximal tori are conjugate to the subgroup of diagonal unitary matrices, an observation central to Weyl character formula developments by Weyl and exploited by Harish-Chandra and I. M. Gelfand. Root systems for SU_n connect to the classifications of Wilhelm Killing and Élie Cartan and to later work by Roger Godement and Armand Borel.

Topology and homotopy groups

Topologically, U_n is a compact manifold with homotopy groups studied by Henri Poincaré, Raoul Bott, John Milnor and Michael Atiyah; Bott periodicity yields periodicity phenomena connecting U_n to infinite unitary groups encountered in Alain Connes' noncommutative geometry and in Atiyah–Singer index theorem contexts developed by Michael Atiyah and Isadore Singer. The homotopy type of U_n stabilizes as n→∞, a stabilization used in work by Raoul Bott, Daniel Quillen and Quillen's algebraic K-theory collaborators such as Daniel Quillen and Jean-Pierre Serre. Cohomology rings and characteristic classes for U_n-bundles figure in results by Shiing-Shen Chern, Kazuo Kodaira and Armand Borel.

Representations and characters

Finite-dimensional complex representations of U_n are fully reducible and classified by highest weights; this classification was shaped by insights of Hermann Weyl, Élie Cartan, Harish-Chandra and Eliezer R. Galois-inspired algebraists. Characters are described by Weyl's character formula, foundational in the work of Hermann Weyl, Harish-Chandra and later exploited by Robert Langlands in the Langlands program connecting André Weil and Alexander Grothendieck perspectives. The Peter–Weyl theorem, proven by Hermann Weyl and formalized by Salomon Bochner and Norbert Wiener, gives the decomposition of L^2(U_n) into irreducibles, a tool used by John von Neumann and Harish-Chandra in harmonic analysis.

Subgroups and related groups

Important subgroups include the special unitary group SU_n, the maximal torus of diagonal matrices, embedded copies of U_k×U_{n-k}, and centralizers related to classical groups studied by Élie Cartan, Arnold Sommerfeld and Emmy Noether. Connections link U_n to orthogonal groups O_n considered by Hermann Weyl and to symplectic groups Sp_{n} appearing in William Rowan Hamilton's quaternionic investigations and in research by André Weil and Carl Gustav Jacob Jacobi. Quotients such as the complex Grassmannians and flag manifolds appear in the work of Shiing-Shen Chern, Hermann Weyl and Armand Borel, and serve as test cases in geometric representation theory used by Roger Howe and George Lusztig.

Category:Lie groups