In mathematics, the exceptional isomorphisms of classical groups (also: accidental isomorphism or sporadic isogenies) are unexpected coincidences between different families of symmetry groups in small dimensions. They occur because some constructions that are different in general become equivalent at low rank. A trivial example is the familiar fact that the unit complex numbers form a group under complex multiplication, denoted , that is the same as the group of rotations of the Euclidean plane. A less trivial example is the double covering , which relates special unitary 2×2 matrices to rotations of 3-dimensional Euclidean space, and provides the simplest example of the connection between rotation groups and spinors.
More precisely, these are low-rank isomorphisms or central isogenies among classical algebraic groups that arise from accidental identifications of the corresponding root systems, specifically , , , and . These isomorphisms may be realized concretely through small linear representations, and over the real numbers they give rise to corresponding isomorphisms for several noncompact real forms. Some, such as and , have applications in general relativity, string theory, and other areas of mathematical physics.
Over more general fields, these exceptional isomorphisms persist for non-split forms and are described uniformly using central simple algebras with involution, Clifford algebras, and related constructions. In this form they identify not only split orthogonal, symplectic, and unitary groups, but also their inner and outer forms. These exceptional isomorphisms are important in the structure theory of algebraic groups and in the study of automorphic forms, theta correspondence, and the Langlands program.
Over algebraically closed fields
Over an algebraically closed field of characteristic not 2, the exceptional isomorphisms of classical groups arise from accidental identifications among the low-rank Dynkin diagrams and the corresponding root systems. At the level of simple Lie algebras these are
Passing from Lie algebras to simply connected algebraic groups gives the corresponding low-rank isomorphisms among the classical groups.
Diagram Dynkin classification Lie algebra Simply connected group
In low dimensions these isomorphisms also admit concrete topological realizations. The circle group may be identified with the rotation group of the Euclidean plane,
and the group of unit quaternions gives the compact form
Continuing in this way gives
These are the compact real forms of the complex isomorphisms listed above.
Closely related, though not itself an isomorphism between different classical-group families, is the exceptional triality automorphism of Spin(8).
Real forms
The same low-rank coincidences produce corresponding isomorphisms for noncompact real forms. In particular,
and similarly
as well as
Here denotes the identity component of the corresponding spin group. Depending on convention, these relationships may also be presented as central isogenies or as isomorphisms of the associated Lie algebras.
Explicit constructions
These exceptional isomorphisms can be constructed by exhibiting small linear representations that preserve a nondegenerate quadratic form. In each case one obtains a homomorphism to some with kernel , and the source group is thereby identified with the corresponding spin group. The various signatures arise by taking different real forms of the same complex construction.
Dimension 3
The 3-dimensional cases come from conjugation on traceless matrices. If
with quadratic form
(equivalently ), then the action
preserves . Over this gives a homomorphism
Choosing the compact or split real form yields
A closely related construction gives the Lorentzian case. Let be the real vector space of Hermitian complex matrices, again equipped with the quadratic form . Then acts by
preserving . This is the usual action on Minkowski space and gives
Dimension 4
The 4-dimensional cases come from left and right multiplication on . The quadratic form is again the determinant,
which is preserved by the action
Over this gives
while over it gives
On the quaternionic real form one recovers the compact case
and hence
Dimension 5
The 5-dimensional cases are obtained from trace-free self-adjoint matrices. For quaternionic Hermitian matrices, the reduced-trace quadratic form on the trace-free subspace is 5-dimensional and is preserved by
where the adjoint is taken with respect to the Hermitian form on of the appropriate signature. This yields homomorphisms
and therefore the exceptional isomorphisms
A split analogue uses the symplectic involution on . The trace-free symplectically self-adjoint subspace is again 5-dimensional, and conjugation by preserves its quadratic form. This gives
Dimension 6
The 6-dimensional cases come from the exterior square of a 4-dimensional module. On there is a natural symmetric bilinear form defined by
where is a fixed volume form. Since preserves , it preserves this bilinear form. Over this gives
and over it gives
Further real forms arise from additional structures on . If is equipped with a positive-definite Hermitian form, a Hermitian form of signature , or a quaternionic structure, then the induced conjugate-linear involution on has a real 6-dimensional fixed subspace on which the same bilinear form has signature , , or . This yields
In all of these constructions the kernel is , so the maps are the standard double covers of the corresponding special orthogonal groups. These constructions realize geometrically the low-dimensional root-system equalities
General fields
The exceptional isomorphisms between classical groups extend beyond the split case and admit a uniform description over arbitrary fields using central simple algebras with involution. In this formulation, orthogonal, symplectic, and unitary groups arise from algebras equipped with involutions, and the low-rank coincidences and persist for all such forms.
More precisely, the isomorphism identifies symplectic groups attached to degree-4 algebras with symplectic involution with spin groups attached to 5-dimensional quadratic spaces, via constructions involving trace-zero symmetric elements and the Pfaffian norm. Similarly, the isomorphism relates unitary groups of degree 4, defined using a quadratic étale algebra and a unitary involution, to spin groups in dimension 6, via Clifford algebras and discriminant algebras. In the split case these constructions reduce to the realization on , but over general fields they describe all inner and outer forms of the corresponding groups.
These phenomena are controlled by Galois cohomology, which classifies forms of reductive algebraic groups. The exceptional isomorphisms therefore identify not only the split groups but also their twisted forms over local and global fields. This has consequences in the theory of automorphic forms and the Langlands program, where low-rank orthogonal and general spin groups are often studied via symplectic, linear, or unitary groups using functorial transfer and theta correspondence. Overview Over a field of characteristic different from 2, the low-rank exceptional isomorphisms of root systems and give rise to corresponding isomorphisms (or central isogenies) among classical algebraic groups. In the split case, these include
and
These identifications arise from explicit constructions: for , from the action of on the 5-dimensional irreducible summand of ; and for , from the action of on .
The non-split forms can be described using central simple algebras with involution. Let be a simple algebra over with center . An involution is said to be of the first kind if it acts trivially on , and of the second kind otherwise. In the latter case, is a quadratic étale extension (that is, either or a separable quadratic field extension), and induces the nontrivial -automorphism of . Involutions of the first kind are further classified as orthogonal or symplectic, while those of the second kind are called unitary.
For the exceptional isomorphism , the non-split form may be described as follows. On the side, one considers a central simple algebra of degree 4 over a quadratic étale algebra , equipped with a unitary involution . On the side, one considers a central simple algebra of degree 6 over , equipped with an orthogonal involution . There is a canonical correspondence between such pairs and , under which one obtains isomorphisms of algebraic groups
In the split case and , this reduces to the classical identifications and .
For , the non-split form relates symplectic and orthogonal groups. If is a central simple algebra of degree 4 over with symplectic involution, then there is a canonically associated 5-dimensional quadratic space , and corresponding isomorphisms
Conversely, every 5-dimensional quadratic space arises in this way from the even Clifford algebra. In the split case this recovers the isomorphisms and .
Explicit constructions Split isomorphisms In the split cases, the constructions are similar to the exceptional isomorphisms over the complex numbers.
If is a 4-dimensional symplectic space, then contraction with defines a map , and its kernel
is a 5-dimensional subspace carrying a natural quadratic form preserved by .
For the isomorphism in the split case, if is a 4-dimensional vector space, then is 6-dimensional and carries a natural symmetric bilinear form, defined by identifying with ; this form is preserved by , giving the homomorphism .
Non-split isomorphisms To describe the non-split forms more explicitly, one uses standard constructions from the theory of central simple algebras with involution. Throughout this subsection, assume that the characteristic of is not equal to 2.
If is a central simple algebra over with symplectic involution, define
There is also a reduced trace map
which in the split case is the ordinary matrix trace. One defines the trace-zero subspace
If has degree 4, then is a 5-dimensional vector space over . The involution determines a quadratic form on this space, called the Pfaffian norm, denoted . In the split case with the standard symplectic involution, this quadratic form is the natural quadratic form on the 5-dimensional irreducible summand of .
More concretely, if , the reduced norm satisfies
and is uniquely determined by this property. This quadratic form is nondegenerate on .
This construction yields the exceptional isomorphisms
Conversely, if is a 5-dimensional quadratic space, one forms its Clifford algebra and its even Clifford algebra . The algebra is a central simple algebra of degree 4 over , equipped with a canonical symplectic involution , and the above construction recovers up to isomorphism.
For the exceptional isomorphism , one proceeds as follows. Let be a quadratic étale algebra, and let be a central simple algebra of degree 4 over equipped with a unitary involution . Thus induces the nontrivial -automorphism of (Galois conjugation in the field case, or exchange of the two factors if ).
From one constructs a central simple algebra of degree 6 over , equipped with an orthogonal involution , called the discriminant algebra of . In the split case , this corresponds to the action of on , which preserves a natural quadratic form and yields the isomorphism .
Conversely, if is a central simple algebra of degree 6 over with orthogonal involution, its Clifford algebra has center a quadratic étale algebra , and one obtains a degree-4 central simple algebra over equipped with a canonical unitary involution. These constructions are mutually inverse up to isomorphism, and give
Characteristic 2