Classification Of Clifford Algebras Complex Case Real Case

Notation and conventions. In this article we will use the (−) sign convention for Clifford multiplication so that

for all vectors v ∈ V, where Q is the quadratic form on the vector space V. We will denote the algebra of n × n matrices with entries in the division algebraRing theory In the field of mathematics called abstract algebra, a division algebra is, roughly speaking, an algebra over a field in which division is possible. Definitions Formally, we start with an algebra D over a field, and assume that D does not just K by K(n). The direct sum of algebras will be denoted by K²(n) = K(n) ⊕ K(n).

1 Complex case

The complex case is particularly simple. Every nondegenerate quadratic form on a complex vector space is equivalent to the standard diagonal form

where n = dim V. So there is essentially only one Clifford algebra in each dimension. We will denote the Clifford algebra on Cⁿ with the standard quadratic form by Cℓ_n(C).

There are two separate cases to consider, according to whether n is even or odd. When n is even the algebra Cℓ_n(C) is central simple and so by the Artin-Wedderburn theoremRing theory Theorems In abstract algebra, the Artin-Wedderburn theorem is a classification theorem for semisimple rings. The theorem states that a semisimple ring R is isomorphic to a product of n by n matrix rings over division rings D for some integers is isomorphic to a matrix algebra over C. When n is odd, the center includes not the scalars but the pseudoscalarIn mathematics, a pseudoscalar in a geometric algebra is the highest-grade basis element of the algebra. For example, in two dimensions there are two basis vectors, e, e and the highest-grade basis element is ee e. This element squares to -1 and commutess (degree n elements) as well. We can always find a normalized pseudoscalar ω such that ω² = 1. Define the operators

These two operators form a complete set of orthogonal idempotentIn mathematics, an idempotent element (or simply an idempotent is something that when multiplied by (for a function, composed with) itself, gives itself as a result. For example, the only two real numbers which are idempotent under multiplication are 0 ans, and since they are central they give a decomposition of Cℓ_n(C) into a direct sum of two algebras

The algebras Cℓ_n^±(C) are just the positive and negative eigenspaces of ω and the P_± are just the projection operators. Since ω is odd these algebras are mixed by α:

and therefore isomorphic (since α is an automorphism). These two isomorphic algebras are each central simple and so, again, isomorphic to a matrix algebra over C. The sizes of the matricies can be determined from the fact that the dimension of Cℓ_n(C) is 2ⁿ. What we have then is the following table:

The even subalgebra of Cℓ_n(C) is (non-canonically) isomorphic to Cℓ_n−1(C). When n is even, the even subalgebra can be identified with the block diagonal matrices (when partitioned into 2×2 block matrixIn the mathematical subfield of matrix theory, a block matrix or a partitioned matrix is a partition of a matrix into rectangular smaller matrices called blocks . Looking at it another way, the matrix is written in terms of smaller matrices written side-b). When n is odd, the even subalgebra are those elements of C(2^m) ⊕ C(2^m) for which the two factors are identical. Picking either piece then gives an isomorphism with Cℓ_n−1(C) ≅ C(2^m).

2 Real case

The real case is slightly more complicated, exhibiting a periodicity of 8 rather than 2. Every nondegenerate quadratic form on a real vector space is equivelent to the standard diagonal form:

where n = p + q is the dimension of the vector space. The pair of integers (p, q) is called the signatureThe signature of a metric tensor (or more generally a nondegenerate symmetric bilinear form, thought of as quadratic form) is the number of positive and negative eigenvalues of the metric. That is, the corresponding real symmetric matrix is diagonalised, of the quadratic form. The real vector space with this quadratic form is often denoted R^p,q. The Clifford algebra on R^p,q is denoted Cℓ_p,q(R). The case of positive-definite signature (q = 0) is denoted Cℓ_n(R) = Cℓ_n,0(R).

A standard orthonormal basis {e_i} for R^p,q consists of n = p + q mutually orthogonal vectors, p of which have norm +1 and q of which have norm −1. The algebra Cℓ_p,q(R) will therefore have p vectors which square to −1 and q vectors which square to +1. The unit pseudoscalar in Cℓ_p,q(R) is defined as

The square of ω is given by

Note that, unlike the complex case, it is not always possible to find a pseudoscalar which squares to +1.

The classification goes as follows: if n is even (equivalently, if p − q is even) the algebra Cℓ_p,q(R) is central simple and so isomorphic to a matrix algebra over R or H by the Artin-Wedderburn theorem. If n (or p − q) is odd then the algebra is no longer central simple but rather has a center which includes the pseudoscalars as well as the scalars. If n is odd and ω² = +1 then, just as in the complex case, the algebra Cℓ_p,q(R) decomposes into a direct sum of isomorphic algebras

each of which is central simple and so isomorphic to matrix algebra over R or H. If n is odd and ω² = −1 then the center of Cℓ_p,q(R) is isomorphic to C and can be consider as a complex algebra. As a complex algebra, it is central simple and so isomorphic to a matrix algebra over C.

All told there are three properties which determine the class of the algebra Cℓ_p,q(R):

n is even/odd,
ω² = ±1,
the Brauer class of the algebra (n even) or even subalgebra (n odd) is R or H.

Each of these properties depends only depends on the signature p − q modulo 8. The complete classification table is given below. The size of the matrices is determined by the requirement that Cℓ_p,q(R) have dimension 2^p+q.

p−q mod 8	ω²	Cℓ_p,q(R) (p+q = 2m)	p−q mod 8	ω²	Cℓ_p,q(R) (p+q = 2m + 1)
0	+	R(2^m)	1	−	C(2^m)
2	−	H(2^m−1)	3	+	H(2^m−1) ⊕ H(2^m−1)
4	+	H(2^m−1)	5	−	C(2^m)
6	−	R(2^m)	7	+	R(2^m) ⊕ R(2^m)

A table of this classification for p + q ≤ 8 follows. Here p + q runs vertically and p − q runs horizontally (e.g. the algebra Cℓ_3,1(R) ≅ H(2) is found in row 4, column 2).

−8

−7

−6

−5

−4

−3

−2

−1

R²

R(2)

C(2)

R²(2)

C(2)

H²

H(2)

R(4)

H(2)

H²(2)

C(4)

R²(4)

C(4)

H²(2)

C(4)

H(4)

R(8)

H(4)

R(8)

C(8)

H²(4)

C(8)

R²(8)

C(8)

H²(4)

C(8)

R²(8)

R(16)

H(8)

R(16)

H(8)

R(16)

ω²

−

There is a tangled web of symmetries and relationships in the above table. For example, the entire table is symmetric about the column −1 (as well as the columns −5, 3, and 7). Going over 4 spots in any row yields an identical algebra.

3 See also

representations of Clifford algebras

Ring theory Clifford algebras

<Hide>

Home > Classification of Clifford algebras

1 Complex case

2 Real case

3 See also

Topics: Classification Of Clifford Algebras, Complex Case, Real Case...