Classical group

Real and complex special linear groups

For ${\displaystyle F=\mathbb {R} }$ or ${\displaystyle \mathbb {C} }$, the special linear group is

${\displaystyle \mathrm {SL} (n,F)=\{g\in \mathrm {GL} _{n}(F)\mid \det g=1\}.}$

Its Lie algebra is

${\displaystyle {\mathfrak {sl}}(n,F)=\{X\in M_{n}(F)\mid \operatorname {tr} (X)=0\}.}$

Thus ${\displaystyle {\mathfrak {sl}}(n,\mathbb {R} )}$ consists of all real traceless ${\displaystyle n\times n}$ matrices, and ${\displaystyle {\mathfrak {sl}}(n,\mathbb {C} )}$ consists of all complex traceless ${\displaystyle n\times n}$ matrices.

Symmetric, alternating, Hermitian, and skew-Hermitian forms

A bilinear form ${\displaystyle \varphi }$ is:

• symmetric if ${\displaystyle \varphi (v,w)=\varphi (w,v)}$;
• alternating (or skew-symmetric, when ${\displaystyle \operatorname {char} F\neq 2}$) if ${\displaystyle \varphi (v,v)=0}$ for all ${\displaystyle v}$, equivalently ${\displaystyle \varphi (v,w)=-\varphi (w,v)}$.^[20]

A sesquilinear form ${\displaystyle h}$ is:

• Hermitian if ${\displaystyle h(v,w)={\overline {h(w,v)}}}$;
• skew-Hermitian if ${\displaystyle h(v,w)=-{\overline {h(w,v)}}}$.^[21]

Over ${\displaystyle \mathbb {R} }$, nondegenerate symmetric bilinear forms are classified by their signature ${\displaystyle (p,q)}$. Over ${\displaystyle \mathbb {C} }$, all nondegenerate symmetric bilinear forms of a given dimension are equivalent. Nondegenerate alternating forms exist only in even dimension, and over both ${\displaystyle \mathbb {R} }$ and ${\displaystyle \mathbb {C} }$ all such forms are equivalent.^[22]

On a complex vector space, multiplying a skew-Hermitian form by ${\displaystyle i}$ yields a Hermitian form, so the two cases lead to the same isometry groups up to a harmless change of convention.^[23] On a quaternionic vector space, by contrast, there are no nonzero bilinear forms, so only the Hermitian and skew-Hermitian cases occur.^[24]

Orthogonal groups

Let ${\displaystyle \varphi }$ be a nondegenerate symmetric bilinear form.

Over ${\displaystyle \mathbb {R} }$, one may choose a basis in which

${\displaystyle \varphi (x,y)=x^{\mathrm {T} }I_{p,q}y,\qquad I_{p,q}=\operatorname {diag} (I_{p},-I_{q}),}$

where ${\displaystyle p+q=n}$. Its automorphism group is the indefinite orthogonal group

${\displaystyle \mathrm {O} (p,q)=\{g\in \mathrm {GL} _{n}(\mathbb {R} )\mid g^{\mathrm {T} }I_{p,q}g=I_{p,q}\}.}$

The subgroup of determinant ${\displaystyle 1}$ is the special orthogonal group

${\displaystyle \mathrm {SO} (p,q)=\mathrm {O} (p,q)\cap \mathrm {SL} _{n}(\mathbb {R} ).}$^[25]

When ${\displaystyle q=0}$ this is the compact orthogonal group ${\displaystyle \mathrm {O} (n)}$, with determinant-${\displaystyle 1}$ subgroup ${\displaystyle \mathrm {SO} (n)}$.^[26]

Over ${\displaystyle \mathbb {C} }$, every nondegenerate symmetric bilinear form is equivalent to the standard form

${\displaystyle \varphi (x,y)=x^{\mathrm {T} }y.}$

Its automorphism group is the complex orthogonal group

${\displaystyle \mathrm {O} (n,\mathbb {C} )=\{g\in \mathrm {GL} _{n}(\mathbb {C} )\mid g^{\mathrm {T} }g=I_{n}\},}$

with determinant-${\displaystyle 1}$ subgroup ${\displaystyle \mathrm {SO} (n,\mathbb {C} )}$.^[27]

The corresponding Lie algebras are

${\displaystyle {\mathfrak {o}}(p,q)=\{X\in M_{n}(\mathbb {R} )\mid X^{\mathrm {T} }I_{p,q}+I_{p,q}X=0\},}$

${\displaystyle {\mathfrak {o}}(n,\mathbb {C} )={\mathfrak {so}}(n,\mathbb {C} )=\{X\in M_{n}(\mathbb {C} )\mid X^{\mathrm {T} }+X=0\}.}$^[28]

If

${\displaystyle g={\begin{pmatrix}A&B\\C&D\end{pmatrix}}}$

with block sizes ${\displaystyle p\times p}$, ${\displaystyle p\times q}$, ${\displaystyle q\times p}$, and ${\displaystyle q\times q}$, then the defining relation for ${\displaystyle \mathrm {O} (p,q)}$ is equivalent to

${\displaystyle A^{\mathrm {T} }A-C^{\mathrm {T} }C=I_{p},\qquad D^{\mathrm {T} }D-B^{\mathrm {T} }B=I_{q},\qquad A^{\mathrm {T} }B=C^{\mathrm {T} }D.}$

Writing

${\displaystyle X={\begin{pmatrix}P&Q\\R&S\end{pmatrix}},}$

one obtains the block form

${\displaystyle {\mathfrak {o}}(p,q)=\left\{{\begin{pmatrix}P&Q\\Q^{\mathrm {T} }&S\end{pmatrix}}\;|\;P^{\mathrm {T} }=-P,\ S^{\mathrm {T} }=-S\right\}.}$

Thus ${\displaystyle {\mathfrak {so}}(n,\mathbb {C} )}$ is the space of complex skew-symmetric ${\displaystyle n\times n}$ matrices.

Symplectic groups

Let ${\displaystyle \omega }$ be a nondegenerate alternating bilinear form on a vector space of dimension ${\displaystyle 2n}$. Over either ${\displaystyle \mathbb {R} }$ or ${\displaystyle \mathbb {C} }$, one may choose a basis in which

${\displaystyle \omega (x,y)=x^{\mathrm {T} }J_{n}y,\qquad J_{n}={\begin{pmatrix}0&I_{n}\\-I_{n}&0\end{pmatrix}}.}$

Its automorphism group is the symplectic group

${\displaystyle \mathrm {Sp} (2n,F)=\{g\in \mathrm {GL} _{2n}(F)\mid g^{\mathrm {T} }J_{n}g=J_{n}\},\qquad F=\mathbb {R} ,\mathbb {C} .}$

Many authors write ${\displaystyle \mathrm {Sp} (n,\mathbb {R} )}$ and ${\displaystyle \mathrm {Sp} (n,\mathbb {C} )}$ for these groups.^[29]

Its Lie algebra is

${\displaystyle {\mathfrak {sp}}(2n,F)=\{X\in M_{2n}(F)\mid X^{\mathrm {T} }J_{n}+J_{n}X=0\}.}$

Equivalently, every element has block form

${\displaystyle {\begin{pmatrix}A&B\\C&-A^{\mathrm {T} }\end{pmatrix}}}$

with ${\displaystyle B}$ and ${\displaystyle C}$ symmetric.^[30]

Unitary groups

Let ${\displaystyle h}$ be a nondegenerate Hermitian form on a complex vector space ${\displaystyle V}$ of dimension ${\displaystyle n}$. One may choose a basis in which

${\displaystyle h(z,w)=z^{*}I_{p,q}w,\qquad I_{p,q}=\operatorname {diag} (I_{p},-I_{q}),}$

where ${\displaystyle p+q=n}$.^[31]

Its automorphism group is the unitary group

${\displaystyle \mathrm {U} (p,q)=\{g\in \mathrm {GL} _{n}(\mathbb {C} )\mid g^{*}I_{p,q}g=I_{p,q}\}.}$

The subgroup of determinant ${\displaystyle 1}$ is the special unitary group

${\displaystyle \mathrm {SU} (p,q)=\mathrm {U} (p,q)\cap \mathrm {SL} _{n}(\mathbb {C} ).}$^[32]

When ${\displaystyle q=0}$ this is the compact unitary group ${\displaystyle \mathrm {U} (n)}$, with determinant-${\displaystyle 1}$ subgroup ${\displaystyle \mathrm {SU} (n)}$.^[33]

Its Lie algebra is

${\displaystyle {\mathfrak {u}}(p,q)=\{X\in M_{n}(\mathbb {C} )\mid X^{*}I_{p,q}+I_{p,q}X=0\}.}$^[34]

If

${\displaystyle g={\begin{pmatrix}A&B\\C&D\end{pmatrix}},}$

then the defining relation is equivalent to

${\displaystyle A^{*}A-C^{*}C=I_{p},\qquad D^{*}D-B^{*}B=I_{q},\qquad A^{*}B=C^{*}D.}$

In block form,

${\displaystyle {\mathfrak {u}}(p,q)=\left\{{\begin{pmatrix}P&Q\\Q^{*}&R\end{pmatrix}}\;|\;P^{*}=-P,\ R^{*}=-R\right\}.}$

The special unitary Lie algebra is the traceless subalgebra

${\displaystyle {\mathfrak {su}}(p,q)=\{X\in {\mathfrak {u}}(p,q)\mid \operatorname {tr} (X)=0\}.}$

GL(n,H) and SL(n,H)

The group ${\displaystyle \mathrm {GL} (n,\mathbb {H} )}$ consists of the invertible quaternionic-linear endomorphisms of the right vector space ${\displaystyle \mathbb {H} ^{n}}$. Via the complex embedding above it is realized as a real Lie subgroup of ${\displaystyle \mathrm {GL} (2n,\mathbb {C} )}$ consisting of matrices of the form

${\displaystyle {\begin{pmatrix}A&-{\overline {B}}\\B&{\overline {A}}\end{pmatrix}},\qquad A,B\in M_{n}(\mathbb {C} ).}$^[36]

Its Lie algebra is therefore

${\displaystyle {\mathfrak {gl}}(n,\mathbb {H} )=\left\{{\begin{pmatrix}A&-{\overline {B}}\\B&{\overline {A}}\end{pmatrix}}\;|\;A,B\in M_{n}(\mathbb {C} )\right\}.}$

The corresponding real form of ${\displaystyle \mathrm {SL} (2n,\mathbb {C} )}$ is denoted ${\displaystyle \mathrm {SU} ^{*}(2n)}$, and as a Lie group it is isomorphic to the group traditionally written ${\displaystyle \mathrm {SL} (n,\mathbb {H} )}$, and is the subgroup of ${\displaystyle \mathrm {GL} (n,\mathbb {H} )}$ of elements of reduced norm 1.^[37]

Its Lie algebra is

${\displaystyle {\mathfrak {sl}}(n,\mathbb {H} )\cong {\mathfrak {su}}^{*}(2n)=\left\{{\begin{pmatrix}A&-{\overline {B}}\\B&{\overline {A}}\end{pmatrix}}\;|\;\operatorname {Re} \operatorname {tr} (A)=0\right\}.}$

Sp(p,q)

Let ${\displaystyle V=\mathbb {H} ^{p+q}}$ and let

${\displaystyle B(w,z)=w^{*}I_{p,q}z,\qquad I_{p,q}=\operatorname {diag} (I_{p},-I_{q}),}$

be a nondegenerate quaternionic Hermitian form. Its isometry group is the quaternionic unitary group

${\displaystyle \mathrm {Sp} (p,q)=\{g\in \mathrm {GL} (p+q,\mathbb {H} )\mid g^{*}I_{p,q}g=I_{p,q}\}.}$^[38]

When ${\displaystyle q=0}$ this is the compact group usually written ${\displaystyle \mathrm {Sp} (n)}$.^[39]

Viewed as a subgroup of ${\displaystyle \mathrm {GL} (2n,\mathbb {C} )}$, the group ${\displaystyle \mathrm {Sp} (p,q)}$ preserves both a complex Hermitian form of signature ${\displaystyle (2p,2q)}$ and a nondegenerate complex alternating form.^[40] Its Lie algebra is

${\displaystyle {\mathfrak {sp}}(p,q)=\{X\in M_{p+q}(\mathbb {H} )\mid X^{*}I_{p,q}+I_{p,q}X=0\}.}$^[41]

If

${\displaystyle g={\begin{pmatrix}A&B\\C&D\end{pmatrix}}}$

with quaternionic blocks, then the defining relation is equivalent to

${\displaystyle A^{*}A-C^{*}C=I_{p},\qquad D^{*}D-B^{*}B=I_{q},\qquad A^{*}B=C^{*}D.}$

In block form,

${\displaystyle {\mathfrak {sp}}(p,q)=\left\{{\begin{pmatrix}P&Q\\Q^{*}&R\end{pmatrix}}\;|\;P^{*}=-P,\ R^{*}=-R\right\}.}$

SO^*(2n)

Let ${\displaystyle V=\mathbb {H} ^{n}}$ and consider the quaternionic skew-Hermitian form

${\displaystyle C(x,y)=x^{*}jy.}$

Its isometry group is the real Lie group

${\displaystyle \mathrm {SO} ^{*}(2n),}$

which is a real form of ${\displaystyle \mathrm {SO} (2n,\mathbb {C} )}$.^[42]

Equivalently, if

${\displaystyle J_{n}={\begin{pmatrix}0&I_{n}\\-I_{n}&0\end{pmatrix}},}$

then ${\displaystyle \mathrm {SO} ^{*}(2n)}$ may be realized as the subgroup

${\displaystyle \mathrm {SO} ^{*}(2n)=\{g\in \mathrm {SO} (2n,\mathbb {C} )\mid \theta (g)=g\},}$

where ${\displaystyle \theta (g)=-J_{n}{\overline {g}}J_{n}}$ is the involution defining this real form.^[43]

Its Lie algebra is denoted ${\displaystyle {\mathfrak {so}}^{*}(2n)}$.^[44]

A standard complex realization of ${\displaystyle \mathrm {SO} ^{*}(2n)}$ is as the subgroup of ${\displaystyle \mathrm {GL} (2n,\mathbb {C} )}$ preserving both the symmetric bilinear form with Gram matrix

${\displaystyle S={\begin{pmatrix}0&I_{n}\\I_{n}&0\end{pmatrix}}}$

and the Hermitian form with Gram matrix

${\displaystyle H={\begin{pmatrix}I_{n}&0\\0&-I_{n}\end{pmatrix}}.}$

Equivalently,

${\displaystyle \mathrm {SO} ^{*}(2n)=\{g\in \mathrm {GL} (2n,\mathbb {C} )\mid g^{\mathrm {T} }Sg=S,\ g^{*}Hg=H\}.}$

Its Lie algebra is

${\displaystyle {\mathfrak {so}}^{*}(2n)=\left\{{\begin{pmatrix}A&B\\-{\overline {B}}&{\overline {A}}\end{pmatrix}}\;|\;A^{*}=-A,\ B^{\mathrm {T} }=-B\right\}.}$

Linear groups

Let ${\displaystyle V}$ be an ${\displaystyle n}$-dimensional vector space over ${\displaystyle k}$. The general linear group of ${\displaystyle V}$ is

${\displaystyle \mathrm {GL} (V)=\operatorname {Aut} _{k}(V),}$

and the special linear group is

${\displaystyle \mathrm {SL} (V)=\ker(\det \colon \mathrm {GL} (V)\to k^{\times }).}$

After a choice of basis these become the matrix groups ${\displaystyle \mathrm {GL} _{n}(k)}$ and ${\displaystyle \mathrm {SL} _{n}(k)}$. Their projective quotients are the projective general linear group ${\displaystyle \mathrm {PGL} (V)}$ and the projective special linear group ${\displaystyle \mathrm {PSL} (V)}$.^[3]

Groups preserving forms

The other classical groups arise as automorphism groups of nondegenerate forms.^[5][12]

If ${\displaystyle \omega }$ is a nondegenerate alternating bilinear form on ${\displaystyle V}$, its isometry group is the symplectic group

${\displaystyle \mathrm {Sp} (V,\omega )=\{g\in \mathrm {GL} (V)\mid \omega (gv,gw)=\omega (v,w)\ \forall v,w\in V\}.}$

For ${\displaystyle \dim V=2n}$, this is written ${\displaystyle \mathrm {Sp} _{2n}(k)}$ after a choice of basis.

If ${\displaystyle q}$ is a nondegenerate quadratic form on ${\displaystyle V}$, its isometry group is the orthogonal group

${\displaystyle \mathrm {O} (V,q)=\{g\in \mathrm {GL} (V)\mid q(gv)=q(v)\ \forall v\in V\}.}$

When ${\displaystyle \operatorname {char} (k)\neq 2}$, this is equivalently the group preserving the associated symmetric bilinear form. In characteristic 2, orthogonal groups are still defined from quadratic forms, but the relation with the associated bilinear form is subtler.^[12] For orthogonal groups over general fields, one often also considers the subgroup ${\displaystyle \Omega (V,q)}$. In the isotropic case and in characteristic not 2, it may be described as the kernel of the spinor norm, a homomorphism from ${\displaystyle \mathrm {SO} (V,q)}$ (or more generally from the appropriate index-2 subgroup of ${\displaystyle \mathrm {O} (V,q)}$) to ${\displaystyle k^{\times }/(k^{\times })^{2}}$. In the theory of finite classical groups, the simple group is often ${\displaystyle \mathrm {P} \Omega (V,q)}$ rather than ${\displaystyle \mathrm {PSO} (V,q)}$.^[45]

If ${\displaystyle K/k}$ is a quadratic field extension, or more generally if ${\displaystyle K}$ is equipped with an involution ${\displaystyle \sigma }$, and ${\displaystyle h}$ is a nondegenerate ${\displaystyle \sigma }$-hermitian form on a finite-dimensional ${\displaystyle K}$-vector space ${\displaystyle V}$, its isometry group is a unitary group

${\displaystyle \mathrm {U} (V,h)=\{g\in \mathrm {GL} _{K}(V)\mid h(gv,gw)=h(v,w)\ \forall v,w\in V\}.}$

Its derived subgroup is the special unitary group ${\displaystyle \mathrm {SU} (V,h)}$.^[12]

One also has the corresponding similitude groups ${\displaystyle \mathrm {GSp} }$, ${\displaystyle \mathrm {GO} }$, and ${\displaystyle \mathrm {GU} }$, whose elements preserve the relevant form up to multiplication by a scalar. Projective versions are obtained by quotienting by the center.^[4]

Classical groups as algebraic groups

In the language of algebraic geometry, a linear algebraic group over ${\displaystyle k}$ is a smooth affine ${\displaystyle k}$-group scheme, equivalently a smooth closed ${\displaystyle k}$-subgroup of some ${\displaystyle \mathrm {GL} _{n}}$.^[4][3] From this point of view, the connected classical groups are the connected reductive groups of Dynkin types ${\displaystyle A_{n}}$, ${\displaystyle B_{n}}$, ${\displaystyle C_{n}}$, and ${\displaystyle D_{n}}$, together with their forms over fields that are not algebraically closed.^[4]

The split classical groups are represented by the following standard examples:

• type ${\displaystyle A_{n}}$: ${\displaystyle \mathrm {SL} _{n+1}}$ and ${\displaystyle \mathrm {PGL} _{n+1}}$;
• type ${\displaystyle B_{n}}$: ${\displaystyle \mathrm {SO} _{2n+1}}$ and its simply connected cover ${\displaystyle \mathrm {Spin} _{2n+1}}$;
• type ${\displaystyle C_{n}}$: ${\displaystyle \mathrm {Sp} _{2n}}$ and ${\displaystyle \mathrm {PSp} _{2n}}$;
• type ${\displaystyle D_{n}}$: ${\displaystyle \mathrm {SO} _{2n}}$ and ${\displaystyle \mathrm {Spin} _{2n}}$.^[4][3]

Over a general field, one obtains additional classical groups as inner or outer forms of these split groups. For example, unitary groups are outer forms of type ${\displaystyle A_{n}}$, and many orthogonal or symplectic groups are classified by quadratic or hermitian forms.^[12][4]

When ${\displaystyle k=\mathbb {F} _{q}}$ is a finite field, the groups of ${\displaystyle k}$-rational points of these algebraic groups yield the finite groups of Lie type. The classical families include groups such as ${\displaystyle \mathrm {PSL} _{n}(q)}$, ${\displaystyle \mathrm {PSU} _{n}(q)}$, ${\displaystyle \mathrm {PSp} _{2n}(q)}$, and the finite orthogonal groups.^[6]

Involutions and the three types

Let ${\displaystyle A}$ be a central simple algebra over ${\displaystyle k}$, and let ${\displaystyle \tau \colon A\to A}$ be an involution. There are two basic cases.^[48]

If ${\displaystyle \tau }$ acts trivially on the center of ${\displaystyle A}$, then ${\displaystyle \tau }$ is said to be of the first kind. In characteristic different from two, involutions of the first kind are divided into two types, depending on whether they become adjoints of symmetric or alternating forms after tensoring ${\displaystyle A}$ with a separable closure of ${\displaystyle k}$, respectively:

• orthogonal involutions;
• symplectic involutions.^[48]

If the center of ${\displaystyle A}$ is a quadratic étale ${\displaystyle k}$-algebra ${\displaystyle K}$ and ${\displaystyle \tau }$ induces the nontrivial ${\displaystyle k}$-automorphism of ${\displaystyle K}$, then ${\displaystyle \tau }$ is said to be unitary or of the second kind.^[48]

This trichotomy corresponds to the three classical families beyond the general linear group:

• orthogonal type for Dynkin types ${\displaystyle B_{n}}$ and ${\displaystyle D_{n}}$;
• symplectic type for Dynkin type ${\displaystyle C_{n}}$;
• unitary type for outer forms of Dynkin type ${\displaystyle A_{n}}$.^[48][49]

The groups attached to (A,τ)

For any central simple algebra ${\displaystyle A}$, we write

${\displaystyle \operatorname {GL} _{1}(A)=A^{\times }}$

for the group of invertible elements, and

${\displaystyle \operatorname {SL} _{1}(A)=\ker(\operatorname {Nrd} \colon A^{\times }\to k^{\times })}$

for the kernel of the reduced norm. These give the inner forms of type ${\displaystyle A}$.^[49]

If ${\displaystyle (A,\tau )}$ is of the first kind, then

${\displaystyle \operatorname {Iso} (A,\tau )=\{a\in A^{\times }\mid \tau (a)a=1\}}$

is the group of isometries, and

${\displaystyle \operatorname {Sim} (A,\tau )=\{a\in A^{\times }\mid \tau (a)a\in k^{\times }\}}$

is the group of similitudes. The scalar ${\displaystyle \mu (a)=\tau (a)a}$ is called the multiplier of the similitude.^[48] (More generally, one can first define these by their associated group schemes.^[48])

According to the type of ${\displaystyle \tau }$, we write:

• ${\displaystyle \mathrm {O} (A,\tau )=\operatorname {Iso} (A,\tau )}$, ${\displaystyle \mathrm {GO} (A,\tau )=\operatorname {Sim} (A,\tau )}$, and ${\displaystyle \mathrm {PGO} (A,\tau )=\operatorname {Aut} (A,\tau )}$ in the orthogonal case;
• ${\displaystyle \mathrm {Sp} (A,\tau )=\operatorname {Iso} (A,\tau )}$, ${\displaystyle \mathrm {GSp} (A,\tau )=\operatorname {Sim} (A,\tau )}$, and ${\displaystyle \mathrm {PGSp} (A,\tau )=\operatorname {Aut} (A,\tau )}$ in the symplectic case.^[48]

If ${\displaystyle (B,\tau )}$ is unitary, with center a quadratic étale algebra ${\displaystyle K/k}$, then

${\displaystyle \mathrm {U} (B,\tau )=\{b\in B^{\times }\mid \tau (b)b=1\}}$,

${\displaystyle \mathrm {GU} (B,\tau )=\{b\in B^{\times }\mid \tau (b)b\in k^{\times }\}}$,

and

${\displaystyle \mathrm {PGU} (B,\tau )=\operatorname {Aut} _{K}(B,\tau ).}$

The kernel of the reduced norm on ${\displaystyle \mathrm {U} (B,\tau )}$ is denoted

${\displaystyle \mathrm {SU} (B,\tau )=\ker(\operatorname {Nrd} \colon \mathrm {U} (B,\tau )\to K^{\times }),}$

and gives the semisimple simply connected group of unitary type.^[48]

In the symplectic case, ${\displaystyle \mathrm {Sp} (A,\tau )}$ is the simply connected group and ${\displaystyle \mathrm {PGSp} (A,\tau )}$ its adjoint quotient; in the unitary case, ${\displaystyle \mathrm {SU} (B,\tau )}$ is the simply connected form and ${\displaystyle \mathrm {PGU} (B,\tau )}$ the corresponding adjoint form.^[48][49]

Recovery of the split constructions

The field-valued groups discussed earlier are recovered when the algebra is split.^[48]

If ${\displaystyle A=\operatorname {End} _{k}(V)}$ and ${\displaystyle \tau }$ is the adjoint involution of a nondegenerate alternating bilinear form ${\displaystyle h}$ on ${\displaystyle V}$, then

${\displaystyle \mathrm {Sp} (A,\tau )=\mathrm {Sp} (V,h)}$,

and one recovers the ordinary symplectic group.^[48]

If ${\displaystyle A=\operatorname {End} _{k}(V)}$ and ${\displaystyle \tau }$ is the adjoint involution of a nondegenerate symmetric bilinear form, equivalently of a nondegenerate quadratic form ${\displaystyle q}$, then

${\displaystyle \mathrm {O} (A,\tau )=\mathrm {O} (V,q)}$,

and one recovers the ordinary orthogonal group.^[48]

If ${\displaystyle K/k}$ is a quadratic field extension, ${\displaystyle B=\operatorname {End} _{K}(V)}$, and ${\displaystyle \tau }$ is adjoint to a nondegenerate Hermitian form on the ${\displaystyle K}$-space ${\displaystyle V}$, then

${\displaystyle \mathrm {U} (B,\tau )=\mathrm {U} (V,h)}$

and

${\displaystyle \mathrm {SU} (B,\tau )=\mathrm {SU} (V,h)}$,

so one recovers the usual unitary and special unitary groups.^[48]

There is also a split description of the inner forms of type ${\displaystyle A}$. If the quadratic étale algebra is split,

${\displaystyle K\cong k\times k,}$

then ${\displaystyle B}$ is isomorphic to ${\displaystyle A\times A^{\mathrm {op} }}$ with the exchange involution. In that case

${\displaystyle \mathrm {U} (B,\tau )\cong \operatorname {GL} _{1}(A),\qquad \mathrm {SU} (B,\tau )\cong \operatorname {SL} _{1}(A),\qquad \mathrm {PGU} (B,\tau )\cong \mathrm {PGL} _{1}(A).}$

Thus the same formalism includes both the inner and outer forms of type ${\displaystyle A}$.^[48]

Orthogonal type and Clifford algebras

On the orthogonal side, the structure of the group is governed by the associated Clifford algebra. For an orthogonal involution ${\displaystyle (A,\tau )}$, one has a discriminant and a Clifford algebra; in even degree, the center of the even Clifford algebra determines the analogue of the usual ${\displaystyle +}$-component, and the corresponding simply connected cover is the spin group. In the split case this recovers the ordinary groups

${\displaystyle \mathrm {PGO} ^{+}(V,q)}$

and

${\displaystyle \mathrm {Spin} (V,q)}$.^[50]

In the classification of real (and local) classical groups, the orthogonal data require knowing both the algebra ${\displaystyle A}$ and the involution. (And, if one wants the simply connected groups, the corresponding Clifford algebra.) In characteristic different from ${\displaystyle 2}$, this governs the usual passage from a quadratic form to its even Clifford algebra and spin group.^[50]

Real forms recovered from the central simple algebra viewpoint

Over ${\displaystyle \mathbb {R} }$, the algebra-with-involution framework recovers all of the classical real Lie groups. In particular, the quaternionic families arise only after allowing the noncommutative central simple algebra ${\displaystyle \mathbb {H} }$.^[51][49]

In the following table, the labels split and quaternionic refer to the underlying central simple algebra, not necessarily to the resulting real algebraic group. Thus split means that the algebra is a full matrix algebra over ${\displaystyle \mathbb {R} }$, while quaternionic means that the algebra is a matrix algebra over ${\displaystyle \mathbb {H} }$. The labels inner and outer are used only in type ${\displaystyle A}$: inner means an inner form of the split group of type ${\displaystyle A}$, arising from a central simple ${\displaystyle \mathbb {R} }$-algebra with center ${\displaystyle \mathbb {R} }$, whereas outer means a unitary form arising from the quadratic extension ${\displaystyle \mathbb {C} /\mathbb {R} }$.

More information Data over ...

Dynkin type	Data over ${\displaystyle \mathbb {R} }$	Resulting real group
${\displaystyle A_{n-1}}$ (inner, split)	${\displaystyle A=M_{n}(\mathbb {R} )}$	${\displaystyle \mathrm {SL} _{n}(\mathbb {R} )}$
${\displaystyle A_{2m-1}}$ (inner, quaternionic)	${\displaystyle A=M_{m}(\mathbb {H} )}$	${\displaystyle \mathrm {SL} _{m}(\mathbb {H} )\cong \mathrm {SU} ^{*}(2m)}$
${\displaystyle A_{n-1}}$ (outer if ${\displaystyle n\geq 3}$)	${\displaystyle K=\mathbb {C} }$ and a Hermitian form of signature ${\displaystyle (p,q)}$	${\displaystyle \mathrm {SU} (p,q)}$ (compact case ${\displaystyle \mathrm {SU} (n)=\mathrm {SU} (n,0)}$)
${\displaystyle C_{n}}$ (split)	a symplectic involution on ${\displaystyle M_{2n}(\mathbb {R} )}$	${\displaystyle \mathrm {Sp} _{2n}(\mathbb {R} )}$
${\displaystyle C_{n}}$ (quaternionic)	a quaternionic Hermitian form of signature ${\displaystyle (p,q)}$	${\displaystyle \mathrm {Sp} (p,q)}$ (compact case ${\displaystyle \mathrm {Sp} (n)=\mathrm {Sp} (n,0)}$)
${\displaystyle B_{n}}$, ${\displaystyle D_{n}}$ (split)	a quadratic form over ${\displaystyle \mathbb {R} }$ of signature ${\displaystyle (p,q)}$	${\displaystyle \mathrm {SO} (p,q)}$ and its spin double cover
${\displaystyle D_{n}}$ (quaternionic)	a quaternionic skew-Hermitian form on ${\displaystyle \mathbb {H} ^{n}}$	${\displaystyle \mathrm {SO} ^{*}(2n)}$ and the corresponding spin group

Close