Unitary group

Unitary group
Original: Jakob.scholbach Vector: Pbroks13 · CC BY-SA 3.0 · source
Name	Unitary group
Type	Compact Lie group
Dimension	n^2
Field	Complex numbers
Examples	Special unitary group, Orthogonal group, General linear group, Unitary matrix
Related	Lie algebra, Hermitian matrix, Spectral theorem, Adjoint representation

Unitary group The unitary group is the group of n×n complex matrices preserving a Hermitian form; it is central in the study of symmetry in Quantum mechanics, Representation theory, and Differential geometry. It appears throughout the work of John von Neumann, Eugène Wigner, Hermann Weyl, and informs structures in Gauge theory, Hodge theory, and the classification of compact Lie groups. The group provides fundamental examples linking algebraic, analytic, and geometric perspectives used by researchers at institutions such as Institute for Advanced Study and Princeton University.

Definition and basic properties

The unitary group consists of invertible matrices U satisfying U*U = I, where U* is the conjugate transpose; as a subgroup of the General linear group it is compact and metrizable, with connections to results by Haar (Alfréd Haar), Élie Cartan, and Claude Chevalley. Its center contains scalar matrices e^{iθ}I, recalling classical work of Emmy Noether on symmetry and invariants; special cases include the Special unitary group and intersections with the Orthogonal group studied in the context of Élie Cartan's classification of symmetric spaces. Eigenvalue constraints arise from the Spectral theorem and were exploited by John von Neumann and Alfred Tarski in operator theory.

Matrix representations and examples

Standard matrix representatives include diagonal unitary matrices, permutation matrices embedded in the unitary group as seen in analyses by Richard Brauer and Issai Schur, and block-diagonal constructions used by Hermann Weyl in character formulae. Low-dimensional cases connect to classical groups: U(1) ≅ the circle group studied by Arthur Eddington in cosmology contexts, U(2) related to spin and Pauli matrices familiar from Wolfgang Pauli's work, and U(3) appearing in Murray Gell-Mann's classification of hadrons. Explicit matrix models underlie applications in Signal Processing labs at Bell Labs and constructions in Niels Bohr Institute research on quantum states.

Lie group and Lie algebra structure

As a compact Lie group its Lie algebra u(n) consists of skew-Hermitian matrices; this was formalized in correspondence among Élie Cartan, Hermann Weyl, and Évariste Galois-inspired symmetry studies. The exponential map from u(n) to the group is surjective for U(n) but not injective, echoing themes in work by Henri Poincaré and Sophus Lie. Root systems and maximal tori of the unitary group are central in the classification theory developed by Claude Chevalley and Cartan (Élie Cartan), and weight lattice computations were systematized by George Mackey and Harish-Chandra in their representation analyses.

Topological and geometric properties

Topologically, U(n) is compact, connected, and has fundamental group isomorphic to the integers for n≥1, linking to studies by Henri Poincaré and Freeman Dyson on winding numbers and phase. Cohomology rings and characteristic classes for U(n)-bundles are treated in the work of Raoul Bott and Michael Atiyah; Chern classes associated to U(n) principal bundles are foundational in Algebraic topology results used by Shing-Tung Yau in complex geometry. Homogeneous spaces such as U(n)/U(k) produce complex Grassmannians that were intensively studied by Alexander Grothendieck and Jean-Pierre Serre.

Representation theory

Irreducible representations of U(n) are indexed by highest weights and Young diagram combinatorics developed by Alfred Young and formalized by Weyl (Hermann Weyl), with characters given by Weyl character formulae deployed by Richard Brauer and Igor Schur. The unitary dual and Peter–Weyl theorem connecting matrix coefficients to L^2 spaces were established by Hermann Weyl and later extended by George Mackey and I. M. Gelfand. Tensor product decompositions and plethysm problems draw on work by Roger Howe and Bertram Kostant; connections to symmetric group representations involve classical contributions by Frobenius (Géza Fröbenius) and Camille Jordan.

Applications and significance

The unitary group underpins symmetry descriptions in Quantum mechanics (via Wigner's theorem and unitary evolutions studied by Paul Dirac), gauge groups in Yang–Mills theory central to Physical Review-era physics by Chen Ning Yang and Robert Mills, and signal transforms used at Bell Labs and in Claude Shannon's information theory. In mathematics it governs vector bundle theory used by Michael Atiyah and Isadore Singer in index theory, informs moduli problems tackled by Maxwell Rosenlicht and David Mumford, and appears in number-theoretic automorphic formulations pursued by Robert Langlands and Andrew Wiles. Its ubiquity makes it a cornerstone across research programs at Harvard University, University of Cambridge, University of Oxford, Massachusetts Institute of Technology, and international centers such as CERN.

Category:Lie groups