Unitary group

Last updated

In mathematics, the unitary group of degree n, denoted U(n), is the group of n × n unitary matrices, with the group operation of matrix multiplication. The unitary group is a subgroup of the general linear group GL(n, C). Hyperorthogonal group is an archaic name for the unitary group, especially over finite fields. For the group of unitary matrices with determinant 1, see Special unitary group.


In the simple case n = 1, the group U(1) corresponds to the circle group, consisting of all complex numbers with absolute value 1 under multiplication. All the unitary groups contain copies of this group.

The unitary group U(n) is a real Lie group of dimension n2. The Lie algebra of U(n) consists of n × n skew-Hermitian matrices, with the Lie bracket given by the commutator.

The general unitary group (also called the group of unitary similitudes) consists of all matrices A such that AA is a nonzero multiple of the identity matrix, and is just the product of the unitary group with the group of all positive multiples of the identity matrix.


Since the determinant of a unitary matrix is a complex number with norm 1, the determinant gives a group homomorphism

The kernel of this homomorphism is the set of unitary matrices with determinant 1. This subgroup is called the special unitary group , denoted SU(n). We then have a short exact sequence of Lie groups:

The above map U(n) to U(1) has a section: we can view U(1) as the subgroup of U(n) that are diagonal with e in the upper left corner and 1 on the rest of the diagonal. Therefore U(n) is a semi-direct product of U(1) with SU(n).

The unitary group U(n) is not abelian for n > 1. The center of U(n) is the set of scalar matrices λI with λ ∈ U(1); this follows from Schur's lemma. The center is then isomorphic to U(1). Since the center of U(n) is a 1-dimensional abelian normal subgroup of U(n), the unitary group is not semisimple, but it is reductive.


The unitary group U(n) is endowed with the relative topology as a subset of M(n, C), the set of all n × n complex matrices, which is itself homeomorphic to a 2n2-dimensional Euclidean space.

As a topological space, U(n) is both compact and connected. To show that U(n) is connected, recall that any unitary matrix A can be diagonalized by another unitary matrix S. Any diagonal unitary matrix must have complex numbers of absolute value 1 on the main diagonal. We can therefore write

A path in U(n) from the identity to A is then given by

The unitary group is not simply connected; the fundamental group of U(n) is infinite cyclic for all n: [1]

To see this, note that the above splitting of U(n) as a semidirect product of SU(n) and U(1) induces a topological product structure on U(n), so that

Now the first unitary group U(1) is topologically a circle, which is well known to have a fundamental group isomorphic to Z, whereas is simply connected. [2]

The determinant map det: U(n) → U(1) induces an isomorphism of fundamental groups, with the splitting U(1) → U(n) inducing the inverse.

The Weyl group of U(n) is the symmetric group Sn, acting on the diagonal torus by permuting the entries:

2-out-of-3 property

The unitary group is the 3-fold intersection of the orthogonal, complex, and symplectic groups:

Thus a unitary structure can be seen as an orthogonal structure, a complex structure, and a symplectic structure, which are required to be compatible (meaning that one uses the same J in the complex structure and the symplectic form, and that this J is orthogonal; writing all the groups as matrix groups fixes a J (which is orthogonal) and ensures compatibility).

In fact, it is the intersection of any two of these three; thus a compatible orthogonal and complex structure induce a symplectic structure, and so forth. [3] [4]

At the level of equations, this can be seen as follows:

Any two of these equations implies the third.

At the level of forms, this can be seen by decomposing a Hermitian form into its real and imaginary parts: the real part is symmetric (orthogonal), and the imaginary part is skew-symmetric (symplectic)—and these are related by the complex structure (which is the compatibility). On an almost Kähler manifold, one can write this decomposition as h = g + , where h is the Hermitian form, g is the Riemannian metric, i is the almost complex structure, and ω is the almost symplectic structure.

From the point of view of Lie groups, this can partly be explained as follows: O(2n) is the maximal compact subgroup of GL(2n, R), and U(n) is the maximal compact subgroup of both GL(n, C) and Sp(2n). Thus the intersection O(2n) ∩ GL(n, C) or O(2n) ∩ Sp(2n) is the maximal compact subgroup of both of these, so U(n). From this perspective, what is unexpected is the intersection GL(n, C) ∩ Sp(2n) = U(n).

Special unitary and projective unitary groups


Just as the orthogonal group O(n) has the special orthogonal group SO(n) as subgroup and the projective orthogonal group PO(n) as quotient, and the projective special orthogonal group PSO(n) as subquotient, the unitary group U(n) has associated to it the special unitary group SU(n), the projective unitary group PU(n), and the projective special unitary group PSU(n). These are related as by the commutative diagram at right; notably, both projective groups are equal: PSU(n) = PU(n).

The above is for the classical unitary group (over the complex numbers) – for unitary groups over finite fields, one similarly obtains special unitary and projective unitary groups, but in general .

G-structure: almost Hermitian

In the language of G-structures, a manifold with a U(n)-structure is an almost Hermitian manifold.


From the point of view of Lie theory, the classical unitary group is a real form of the Steinberg group , which is an algebraic group that arises from the combination of the diagram automorphism of the general linear group (reversing the Dynkin diagram An, which corresponds to transpose inverse) and the field automorphism of the extension C/R (namely complex conjugation). Both these automorphisms are automorphisms of the algebraic group, have order 2, and commute, and the unitary group is the fixed points of the product automorphism, as an algebraic group. The classical unitary group is a real form of this group, corresponding to the standard Hermitian form Ψ, which is positive definite.

This can be generalized in a number of ways:

Indefinite forms

Analogous to the indefinite orthogonal groups, one can define an indefinite unitary group, by considering the transforms that preserve a given Hermitian form, not necessarily positive definite (but generally taken to be non-degenerate). Here one is working with a vector space over the complex numbers.

Given a Hermitian form Ψ on a complex vector space V, the unitary group U(Ψ) is the group of transforms that preserve the form: the transform M such that Ψ(Mv, Mw) = Ψ(v, w) for all v, wV. In terms of matrices, representing the form by a matrix denoted Φ, this says that MΦM = Φ.

Just as for symmetric forms over the reals, Hermitian forms are determined by signature, and are all unitarily congruent to a diagonal form with p entries of 1 on the diagonal and q entries of −1. The non-degenerate assumption is equivalent to p + q = n. In a standard basis, this is represented as a quadratic form as:

and as a symmetric form as:

The resulting group is denoted U(p,q).

Finite fields

Over the finite field with q = pr elements, Fq, there is a unique quadratic extension field, Fq2, with order 2 automorphism (the rth power of the Frobenius automorphism). This allows one to define a Hermitian form on an Fq2 vector space V, as an Fq-bilinear map such that and for cFq2.[ clarification needed ] Further, all non-degenerate Hermitian forms on a vector space over a finite field are unitarily congruent to the standard one, represented by the identity matrix; that is, any Hermitian form is unitarily equivalent to

where represent the coordinates of w, vV in some particular Fq2-basis of the n-dimensional space V( Grove 2002 , Thm. 10.3).

Thus one can define a (unique) unitary group of dimension n for the extension Fq2/Fq, denoted either as U(n, q) or U(n, q2) depending on the author. The subgroup of the unitary group consisting of matrices of determinant 1 is called the special unitary group and denoted SU(n, q) or SU(n, q2). For convenience, this article will use the U(n, q2) convention. The center of U(n, q2) has order q + 1 and consists of the scalar matrices that are unitary, that is those matrices cIV with . The center of the special unitary group has order gcd(n, q + 1) and consists of those unitary scalars which also have order dividing n. The quotient of the unitary group by its center is called the projective unitary group , PU(n, q2), and the quotient of the special unitary group by its center is the projective special unitary group PSU(n, q2). In most cases (n > 1 and (n, q2) ∉ {(2, 22), (2, 32), (3, 22)}), SU(n, q2) is a perfect group and PSU(n, q2) is a finite simple group, ( Grove 2002 , Thm. 11.22 and 11.26).

Degree-2 separable algebras

More generally, given a field k and a degree-2 separable k-algebra K (which may be a field extension but need not be), one can define unitary groups with respect to this extension.

First, there is a unique k-automorphism of K which is an involution and fixes exactly k ( if and only if ak). [5] This generalizes complex conjugation and the conjugation of degree 2 finite field extensions, and allows one to define Hermitian forms and unitary groups as above.

Algebraic groups

The equations defining a unitary group are polynomial equations over k (but not over K): for the standard form Φ = I, the equations are given in matrices as AA = I, where is the conjugate transpose. Given a different form, they are AΦA = Φ. The unitary group is thus an algebraic group, whose points over a k-algebra R are given by:

For the field extension C/R and the standard (positive definite) Hermitian form, these yield an algebraic group with real and complex points given by:

In fact, the unitary group is a linear algebraic group.

Unitary group of a quadratic module

The unitary group of a quadratic module is a generalisation of the linear algebraic group U just defined, which incorporates as special cases many different classical algebraic groups. The definition goes back to Anthony Bak's thesis. [6]

To define it, one has to define quadratic modules first:

Let R be a ring with anti-automorphism J, such that for all r in R and . Define

Let Λ ⊆ R be an additive subgroup of R, then Λ is called form parameter if and . A pair (R, Λ) such that R is a ring and Λ a form parameter is called form ring.

Let M be an R-module and f a J-sesquilinear form on M (i.e., for any and ). Define and , then f is said to define the Λ-quadratic form(h, q) on M. A quadratic module over (R, Λ) is a triple (M, h, q) such that M is an R-module and (h, q) is a Λ-quadratic form.

To any quadratic module (M, h, q) defined by a J-sesquilinear form f on M over a form ring (R, Λ) one can associate the unitary group

The special case where Λ = Λmax, with J any non-trivial involution (i.e., and ε = −1 gives back the "classical" unitary group (as an algebraic group).

Polynomial invariants

The unitary groups are the automorphisms of two polynomials in real non-commutative variables:

These are easily seen to be the real and imaginary parts of the complex form . The two invariants separately are invariants of O(2n) and Sp(2n). Combined they make the invariants of U(n) which is a subgroup of both these groups. The variables must be non-commutative in these invariants otherwise the second polynomial is identically zero.

Classifying space

The classifying space for U(n) is described in the article classifying space for U(n).

See also


  1. Hall 2015 Proposition 13.11
  2. Hall 2015 Proposition 13.11
  3. Arnold, V.I. (1989). Mathematical Methods of Classical Mechanics (Second ed.). Springer. p.  225.
  4. Baez, John. "Symplectic, Quaternionic, Fermionic" . Retrieved 1 February 2012.
  5. Milne, Algebraic Groups and Arithmetic Groups, p. 103
  6. Bak, Anthony (1969), "On modules with quadratic forms", Algebraic K-Theory and its Geometric Applications (editorsMoss R. M. F., Thomas C. B.) Lecture Notes in Mathematics, Vol. 108, pp. 55-66, Springer. doi : 10.1007/BFb0059990

Related Research Articles

Pauli matrices Matrices important in quantum mechanics and the study of spin

In mathematical physics and mathematics, the Pauli matrices are a set of three 2 × 2 complex matrices which are Hermitian and unitary. Usually indicated by the Greek letter sigma, they are occasionally denoted by tau when used in connection with isospin symmetries.

General linear group n x n invertible matrices over a ring

In mathematics, the general linear group of degree n is the set of n×n invertible matrices, together with the operation of ordinary matrix multiplication. This forms a group, because the product of two invertible matrices is again invertible, and the inverse of an invertible matrix is invertible, with identity matrix as the identity element of the group. The group is so named because the columns of an invertible matrix are linearly independent, hence the vectors/points they define are in general linear position, and matrices in the general linear group take points in general linear position to points in general linear position.

Symmetric matrix Matrix equal to its transpose

In linear algebra, a symmetric matrix is a square matrix that is equal to its transpose. Formally,

In linear algebra, a complex square matrix U is unitary if its conjugate transpose U* is also its inverse, that is, if

Orthogonal group Group of isometries of a Euclidean vector space or, more generally, of a vector space equipped with a quadratic form

In mathematics, the orthogonal group in dimension n, denoted O(n), is the group of distance-preserving transformations of a Euclidean space of dimension n that preserve a fixed point, where the group operation is given by composing transformations. The orthogonal group is sometimes called the general orthogonal group, by analogy with the general linear group. Equivalently, it is the group of n×n orthogonal matrices, where the group operation is given by matrix multiplication. The orthogonal group is an algebraic group and a Lie group. It is compact.

Symplectic group

In mathematics, the name symplectic group can refer to two different, but closely related, collections of mathematical groups, denoted Sp(2n, F) and Sp(n) for positive integer n and field F. The latter is called the compact symplectic group. Many authors prefer slightly different notations, usually differing by factors of 2. The notation used here is consistent with the size of the most common matrices which represent the groups. In Cartan's classification of the simple Lie algebras, the Lie algebra of the complex group Sp(2n, C) is denoted Cn, and Sp(n) is the compact real form of Sp(2n, C). Note that when we refer to the (compact) symplectic group it is implied that we are talking about the collection of (compact) symplectic groups, indexed by their dimension n.

Special unitary group

In mathematics, the special unitary group of degree n, denoted SU(n), is the Lie group of n × n unitary matrices with determinant 1.

Lorentz group Lie group of Lorentz transformations

In physics and mathematics, the Lorentz group is the group of all Lorentz transformations of Minkowski spacetime, the classical and quantum setting for all (non-gravitational) physical phenomena. The Lorentz group is named for the Dutch physicist Hendrik Lorentz.

In the mathematical discipline of linear algebra, a matrix decomposition or matrix factorization is a factorization of a matrix into a product of matrices. There are many different matrix decompositions; each finds use among a particular class of problems.

Adjoint representation

In mathematics, the adjoint representation of a Lie group G is a way of representing the elements of the group as linear transformations of the group's Lie algebra, considered as a vector space. For example, if G is , the Lie group of real n-by-n invertible matrices, then the adjoint representation is the group homomorphism that sends an invertible n-by-n matrix to an endomorphism of the vector space of all linear transformations of defined by: .

Reductive group

In mathematics, a reductive group is a type of linear algebraic group over a field. One definition is that a connected linear algebraic group G over a perfect field is reductive if it has a representation with finite kernel which is a direct sum of irreducible representations. Reductive groups include some of the most important groups in mathematics, such as the general linear group GL(n) of invertible matrices, the special orthogonal group SO(n), and the symplectic group Sp(2n). Simple algebraic groups and semisimple algebraic groups are reductive.

In mathematics, the polar decomposition of a square real or complex matrix is a factorization of the form , where is a unitary matrix and is a positive-semidefinite Hermitian matrix, both square and of the same size.

In mathematics, a complex structure on a real vector space V is an automorphism of V that squares to the minus identity, −I. Such a structure on V allows one to define multiplication by complex scalars in a canonical fashion so as to regard V as a complex vector space.

Hermitian symmetric space Manifold with inversion symmetry

In mathematics, a Hermitian symmetric space is a Hermitian manifold which at every point has an inversion symmetry preserving the Hermitian structure. First studied by Élie Cartan, they form a natural generalization of the notion of Riemannian symmetric space from real manifolds to complex manifolds.

In mathematics, the spin representations are particular projective representations of the orthogonal or special orthogonal groups in arbitrary dimension and signature. More precisely, they are representations of the spin groups, which are double covers of the special orthogonal groups. They are usually studied over the real or complex numbers, but they can be defined over other fields.

Classical group

In mathematics, the classical groups are defined as the special linear groups over the reals R, the complex numbers C and the quaternions H together with special automorphism groups of symmetric or skew-symmetric bilinear forms and Hermitian or skew-Hermitian sesquilinear forms defined on real, complex and quaternionic finite-dimensional vector spaces. Of these, the complex classical Lie groups are four infinite families of Lie groups that together with the exceptional groups exhaust the classification of simple Lie groups. The compact classical groups are compact real forms of the complex classical groups. The finite analogues of the classical groups are the classical groups of Lie type. The term "classical group" was coined by Hermann Weyl, it being the title of his 1939 monograph The Classical Groups.

In linear algebra, particularly projective geometry, a semilinear map between vector spaces V and W over a field K is a function that is a linear map "up to a twist", hence semi-linear, where "twist" means "field automorphism of K". Explicitly, it is a function T : VW that is:

In mathematics, an invariant convex cone is a closed convex cone in a Lie algebra of a connected Lie group that is invariant under inner automorphisms. The study of such cones was initiated by Ernest Vinberg and Bertram Kostant.

In mathematics, symmetric cones, sometimes called domains of positivity, are open convex self-dual cones in Euclidean space which have a transitive group of symmetries, i.e. invertible operators that take the cone onto itself. By the Koecher–Vinberg theorem these correspond to the cone of squares in finite-dimensional real Euclidean Jordan algebras, originally studied and classified by Jordan, von Neumann & Wigner (1934). The tube domain associated with a symmetric cone is a noncompact Hermitian symmetric space of tube type. All the algebraic and geometric structures associated with the symmetric space can be expressed naturally in terms of the Jordan algebra. The other irreducible Hermitian symmetric spaces of noncompact type correspond to Siegel domains of the second kind. These can be described in terms of more complicated structures called Jordan triple systems, which generalize Jordan algebras without identity.

In mathematics, a mutation, also called a homotope, of a unital Jordan algebra is a new Jordan algebra defined by a given element of the Jordan algebra. The mutation has a unit if and only if the given element is invertible, in which case the mutation is called a proper mutation or an isotope. Mutations were first introduced by Max Koecher in his Jordan algebraic approach to Hermitian symmetric spaces and bounded symmetric domains of tube type. Their functorial properties allow an explicit construction of the corresponding Hermitian symmetric space of compact type as a compactification of a finite-dimensional complex semisimple Jordan algebra. The automorphism group of the compactification becomes a complex subgroup, the complexification of its maximal compact subgroup. Both groups act transitively on the compactification. The theory has been extended to cover all Hermitian symmetric spaces using the theory of Jordan pairs or Jordan triple systems. Koecher obtained the results in the more general case directly from the Jordan algebra case using the fact that only Jordan pairs associated with period two automorphisms of Jordan algebras are required.