In mathematics, a Clifford algebra^[a] is an algebra generated by a vector space with a quadratic form, and is a unital associative algebra. As K-algebras, they generalize the real numbers, complex numbers, quaternions and several other hypercomplex number systems.^[1][2] The theory of Clifford algebras is intimately connected with the theory of quadratic forms and orthogonal transformations. Clifford algebras have important applications in a variety of fields including geometry, theoretical physics and digital image processing. They are named after the English mathematician William Kingdon Clifford (1845–1879).

The most familiar Clifford algebras, the orthogonal Clifford algebras, are also referred to as (pseudo-)Riemannian Clifford algebras, as distinct from symplectic Clifford algebras.^[b]

Introduction and basic properties

A Clifford algebra is a unital associative algebra that contains and is generated by a vector space V over a field K, where V is equipped with a quadratic form Q : V → K. The Clifford algebra Cl(V, Q) is the "freest" unital associative algebra generated by V subject to the condition^[c]

$${\displaystyle v^{2}=Q(v)1\ {\text{ for all ))v\in V,}$$

When V is a finite-dimensional real vector space and Q is nondegenerate, Cl(V, Q) may be identified by the label Cl_p,q(R), indicating that V has an orthogonal basis with p elements with e_i² = +1, q with e_i² = −1, and where R indicates that this is a Clifford algebra over the reals; i.e. coefficients of elements of the algebra are real numbers. This basis may be found by orthogonal diagonalization.

The free algebra generated by V may be written as the tensor algebra ⨁_n≥0 V ⊗ ⋯ ⊗ V, that is, the direct sum of the tensor product of n copies of V over all n. Therefore one obtains a Clifford algebra as the quotient of this tensor algebra by the two-sided ideal generated by elements of the form v ⊗ v − Q(v)1 for all elements v ∈ V. The product induced by the tensor product in the quotient algebra is written using juxtaposition (e.g. uv). Its associativity follows from the associativity of the tensor product.

The Clifford algebra has a distinguished subspace V, being the image of the embedding map. Such a subspace cannot in general be uniquely determined given only a K-algebra isomorphic to the Clifford algebra.

If the characteristic of the ground field K is not 2, then one can rewrite the fundamental identity above in the form

$${\displaystyle uv+vu=2\langle u,v\rangle 1\ {\text{ for all ))u,v\in V,}$$

$${\displaystyle \langle u,v\rangle ={\frac {1}{2))\left(Q(u+v)-Q(u)-Q(v)\right)}$$

Quadratic forms and Clifford algebras in characteristic 2 form an exceptional case. In particular, if char(K) = 2 it is not true that a quadratic form uniquely determines a symmetric bilinear form satisfying Q(v) = ⟨v, v⟩, nor that every quadratic form admits an orthogonal basis. Many of the statements in this article include the condition that the characteristic is not 2, and are false if this condition is removed.

As a quantization of the exterior algebra

Clifford algebras are closely related to exterior algebras. Indeed, if Q = 0 then the Clifford algebra Cl(V, Q) is just the exterior algebra ⋀V. For nonzero Q there exists a canonical linear isomorphism between ⋀V and Cl(V, Q) whenever the ground field K does not have characteristic two. That is, they are naturally isomorphic as vector spaces, but with different multiplications (in the case of characteristic two, they are still isomorphic as vector spaces, just not naturally). Clifford multiplication together with the distinguished subspace is strictly richer than the exterior product since it makes use of the extra information provided by Q.

The Clifford algebra is a filtered algebra, the associated graded algebra is the exterior algebra.

More precisely, Clifford algebras may be thought of as quantizations (cf. quantum group) of the exterior algebra, in the same way that the Weyl algebra is a quantization of the symmetric algebra.

Weyl algebras and Clifford algebras admit a further structure of a *-algebra, and can be unified as even and odd terms of a superalgebra, as discussed in CCR and CAR algebras.

Universal property and construction

Let V be a vector space over a field K, and let Q : V → K be a quadratic form on V. In most cases of interest the field K is either the field of real numbers R, or the field of complex numbers C, or a finite field.

A Clifford algebra Cl(V, Q) is a pair (A, i),^[d][3] where A is a unital associative algebra over K and i is a linear map i : V → Cl(V, Q) satisfying i(v)² = Q(v)1 for all v in V, defined by the following universal property: given any unital associative algebra A over K and any linear map j : V → A such that

$${\displaystyle j(v)^{2}=Q(v)1_{A}{\text{ for all ))v\in V}$$

The quadratic form Q may be replaced by a (not necessarily symmetric) bilinear form ⟨⋅,⋅⟩ that has the property ⟨v, v⟩ = Q(v), v ∈ V, in which case an equivalent requirement on j is

$${\displaystyle j(v)j(v)=\langle v,v\rangle 1_{A}\quad {\text{ for all ))v\in V,}$$

When the characteristic of the field is not 2, this may be replaced by what is then an equivalent requirement,

$${\displaystyle j(v)j(w)+j(w)j(v)=(\langle v,w\rangle +\langle w,v\rangle )1_{A}\quad {\text{ for all ))v,w\in V,}$$

A Clifford algebra as described above always exists and can be constructed as follows: start with the most general algebra that contains V, namely the tensor algebra T(V), and then enforce the fundamental identity by taking a suitable quotient. In our case we want to take the two-sided ideal I_Q in T(V) generated by all elements of the form

$${\displaystyle v\otimes v-Q(v)1}$$

${\displaystyle v\in V}$

$${\displaystyle \operatorname {Cl} (V,Q)=T(V)/I_{Q}.}$$

The ring product inherited by this quotient is sometimes referred to as the Clifford product^[4] to distinguish it from the exterior product and the scalar product.

It is then straightforward to show that Cl(V, Q) contains V and satisfies the above universal property, so that Cl is unique up to a unique isomorphism; thus one speaks of "the" Clifford algebra Cl(V, Q). It also follows from this construction that i is injective. One usually drops the i and considers V as a linear subspace of Cl(V, Q).

The universal characterization of the Clifford algebra shows that the construction of Cl(V, Q) is functorial in nature. Namely, Cl can be considered as a functor from the category of vector spaces with quadratic forms (whose morphisms are linear maps preserving the quadratic form) to the category of associative algebras. The universal property guarantees that linear maps between vector spaces (preserving the quadratic form) extend uniquely to algebra homomorphisms between the associated Clifford algebras.

Basis and dimension

Since V comes equipped with a quadratic form Q, in characteristic not equal to 2 there exist bases for V that are orthogonal. An orthogonal basis is one such that for a symmetric bilinear form

$${\displaystyle \langle e_{i},e_{j}\rangle =0}$$

${\displaystyle i\neq j}$

$${\displaystyle \langle e_{i},e_{i}\rangle =Q(e_{i}).}$$

The fundamental Clifford identity implies that for an orthogonal basis

$${\displaystyle e_{i}e_{j}=-e_{j}e_{i))$$

${\displaystyle i\neq j}$

$${\displaystyle e_{i}^{2}=Q(e_{i}).}$$

This makes manipulation of orthogonal basis vectors quite simple. Given a product ${\displaystyle e_{i_{1))e_{i_{2))\cdots e_{i_{k))}$ of distinct orthogonal basis vectors of V, one can put them into a standard order while including an overall sign determined by the number of pairwise swaps needed to do so (i.e. the signature of the ordering permutation).

If the dimension of V over K is n and {e₁, ..., e_n} is an orthogonal basis of (V, Q), then Cl(V, Q) is free over K with a basis

$${\displaystyle \{e_{i_{1))e_{i_{2))\cdots e_{i_{k))\mid 1\leq i_{1}<i_{2}<\cdots <i_{k}\leq n{\text{ and ))0\leq k\leq n\}.}$$

The empty product (k = 0) is defined as the multiplicative identity element. For each value of k there are n choose k basis elements, so the total dimension of the Clifford algebra is

$${\displaystyle \dim \operatorname {Cl} (V,Q)=\sum _{k=0}^{n}{\binom {n}{k))=2^{n}.}$$

Examples: real and complex Clifford algebras

The most important Clifford algebras are those over real and complex vector spaces equipped with nondegenerate quadratic forms.

Each of the algebras Cl_p,q(R) and Cl_n(C) is isomorphic to A or A ⊕ A, where A is a full matrix ring with entries from R, C, or H. For a complete classification of these algebras see Classification of Clifford algebras.

Real numbers

Clifford algebras are also sometimes referred to as geometric algebras, most often over the real numbers.

Every nondegenerate quadratic form on a finite-dimensional real vector space is equivalent to the standard diagonal form:

$${\displaystyle Q(v)=v_{1}^{2}+\dots +v_{p}^{2}-v_{p+1}^{2}-\dots -v_{p+q}^{2},}$$

A standard basis {e₁, ..., e_n} for R^p,q consists of n = p + q mutually orthogonal vectors, p of which square to +1 and q of which square to −1. Of such a basis, the algebra Cl_p,q(R) will therefore have p vectors that square to +1 and q vectors that square to −1.

A few low-dimensional cases are:

• Cl_0,0(R) is naturally isomorphic to R since there are no nonzero vectors.
• Cl_0,1(R) is a two-dimensional algebra generated by e₁ that squares to −1, and is algebra-isomorphic to C, the field of complex numbers.
• Cl_0,2(R) is a four-dimensional algebra spanned by {1, e₁, e₂, e₁e₂}. The latter three elements all square to −1 and anticommute, and so the algebra is isomorphic to the quaternions H.
• Cl_0,3(R) is an 8-dimensional algebra isomorphic to the direct sum H ⊕ H, the split-biquaternions.

Complex numbers

One can also study Clifford algebras on complex vector spaces. Every nondegenerate quadratic form on a complex vector space of dimension n is equivalent to the standard diagonal form

$${\displaystyle Q(z)=z_{1}^{2}+z_{2}^{2}+\dots +z_{n}^{2}.}$$

For the first few cases one finds that

• Cl₀(C) ≅ C, the complex numbers
• Cl₁(C) ≅ C ⊕ C, the bicomplex numbers
• Cl₂(C) ≅ M₂(C), the biquaternions

where M_n(C) denotes the algebra of n × n matrices over C.

Examples: constructing quaternions and dual quaternions

Quaternions

In this section, Hamilton's quaternions are constructed as the even subalgebra of the Clifford algebra Cl_3,0(R).

Let the vector space V be real three-dimensional space R³, and the quadratic form be the usual quadratic form. Then, for v, w in R³ we have the bilinear form (or scalar product)

$${\displaystyle v\cdot w=v_{1}w_{1}+v_{2}w_{2}+v_{3}w_{3}.}$$

$${\displaystyle vw+wv=2(v\cdot w).}$$

Denote a set of orthogonal unit vectors of R³ as {e₁, e₂, e₃}, then the Clifford product yields the relations

$${\displaystyle e_{2}e_{3}=-e_{3}e_{2},\,\,\,e_{1}e_{3}=-e_{3}e_{1},\,\,\,e_{1}e_{2}=-e_{2}e_{1},}$$

$${\displaystyle e_{1}^{2}=e_{2}^{2}=e_{3}^{2}=1.}$$

$${\displaystyle A=a_{0}+a_{1}e_{1}+a_{2}e_{2}+a_{3}e_{3}+a_{4}e_{2}e_{3}+a_{5}e_{1}e_{3}+a_{6}e_{1}e_{2}+a_{7}e_{1}e_{2}e_{3}.}$$

The linear combination of the even degree elements of Cl_3,0(R) defines the even subalgebra Cl^[0]
_3,0(R) with the general element

$${\displaystyle q=q_{0}+q_{1}e_{2}e_{3}+q_{2}e_{1}e_{3}+q_{3}e_{1}e_{2}.}$$

$${\displaystyle i=e_{2}e_{3},j=e_{1}e_{3},k=e_{1}e_{2},}$$

To see this, compute

$${\displaystyle i^{2}=(e_{2}e_{3})^{2}=e_{2}e_{3}e_{2}e_{3}=-e_{2}e_{2}e_{3}e_{3}=-1,}$$

$${\displaystyle ij=e_{2}e_{3}e_{1}e_{3}=-e_{2}e_{3}e_{3}e_{1}=-e_{2}e_{1}=e_{1}e_{2}=k.}$$

$${\displaystyle ijk=e_{2}e_{3}e_{1}e_{3}e_{1}e_{2}=-1.}$$

Dual quaternions

In this section, dual quaternions are constructed as the even Clifford algebra of real four-dimensional space with a degenerate quadratic form.^[5][6]

Let the vector space V be real four-dimensional space R⁴, and let the quadratic form Q be a degenerate form derived from the Euclidean metric on R³. For v, w in R⁴ introduce the degenerate bilinear form

$${\displaystyle d(v,w)=v_{1}w_{1}+v_{2}w_{2}+v_{3}w_{3}.}$$

The Clifford product of vectors v and w is given by

$${\displaystyle vw+wv=-2\,d(v,w).}$$

Denote a set of mutually orthogonal unit vectors of R⁴ as {e₁, e₂, e₃, e₄}, then the Clifford product yields the relations

$${\displaystyle e_{m}e_{n}=-e_{n}e_{m},\,\,\,m\neq n,}$$

$${\displaystyle e_{1}^{2}=e_{2}^{2}=e_{3}^{2}=-1,\,\,e_{4}^{2}=0.}$$

The general element of the Clifford algebra Cl(R⁴, d) has 16 components. The linear combination of the even degree elements defines the even subalgebra Cl^[0](R⁴, d) with the general element

$${\displaystyle H=h_{0}+h_{1}e_{2}e_{3}+h_{2}e_{3}e_{1}+h_{3}e_{1}e_{2}+h_{4}e_{4}e_{1}+h_{5}e_{4}e_{2}+h_{6}e_{4}e_{3}+h_{7}e_{1}e_{2}e_{3}e_{4}.}$$

The basis elements can be identified with the quaternion basis elements i, j, k and the dual unit ε as

$${\displaystyle i=e_{2}e_{3},j=e_{3}e_{1},k=e_{1}e_{2},\,\,\varepsilon =e_{1}e_{2}e_{3}e_{4}.}$$

To see this, compute

$${\displaystyle \varepsilon ^{2}=(e_{1}e_{2}e_{3}e_{4})^{2}=e_{1}e_{2}e_{3}e_{4}e_{1}e_{2}e_{3}e_{4}=-e_{1}e_{2}e_{3}(e_{4}e_{4})e_{1}e_{2}e_{3}=0,}$$

$${\displaystyle \varepsilon i=(e_{1}e_{2}e_{3}e_{4})e_{2}e_{3}=e_{1}e_{2}e_{3}e_{4}e_{2}e_{3}=e_{2}e_{3}(e_{1}e_{2}e_{3}e_{4})=i\varepsilon .}$$

Examples: in small dimension

Let K be any field of characteristic not 2.

Dimension 1

For dim V = 1, if Q has diagonalization diag(a), that is there is a non-zero vector x such that Q(x) = a, then Cl(V, Q) is algebra-isomorphic to a K-algebra generated by an element x satisfying x² = a, the quadratic algebra K[X] / (X² − a).

In particular, if a = 0 (that is, Q is the zero quadratic form) then Cl(V, Q) is algebra-isomorphic to the dual numbers algebra over K.

If a is a non-zero square in K, then Cl(V, Q) ≃ K ⊕ K.

Otherwise, Cl(V, Q) is isomorphic to the quadratic field extension K(√a) of K.

Dimension 2

For dim V = 2, if Q has diagonalization diag(a, b) with non-zero a and b (which always exists if Q is non-degenerate), then Cl(V, Q) is isomorphic to a K-algebra generated by elements x and y satisfying x² = a, y² = b and xy = −yx.

Thus Cl(V, Q) is isomorphic to the (generalized) quaternion algebra (a, b)_K. We retrieve Hamilton's quaternions when a = b = −1, since H = (−1, −1)_R.

As a special case, if some x in V satisfies Q(x) = 1, then Cl(V, Q) ≃ M₂(K).

Properties

Relation to the exterior algebra

Given a vector space V, one can construct the exterior algebra ⋀V, whose definition is independent of any quadratic form on V. It turns out that if K does not have characteristic 2 then there is a natural isomorphism between ⋀V and Cl(V, Q) considered as vector spaces (and there exists an isomorphism in characteristic two, which may not be natural). This is an algebra isomorphism if and only if Q = 0. One can thus consider the Clifford algebra Cl(V, Q) as an enrichment (or more precisely, a quantization, cf. the Introduction) of the exterior algebra on V with a multiplication that depends on Q (one can still define the exterior product independently of Q).

The easiest way to establish the isomorphism is to choose an orthogonal basis {e₁, ..., e_n} for V and extend it to a basis for Cl(V, Q) as described above. The map Cl(V, Q) → ⋀V is determined by

$${\displaystyle e_{i_{1))e_{i_{2))\cdots e_{i_{k))\mapsto e_{i_{1))\wedge e_{i_{2))\wedge \cdots \wedge e_{i_{k)).}$$

If the characteristic of K is 0, one can also establish the isomorphism by antisymmetrizing. Define functions f_k : V × ⋯ × V → Cl(V, Q) by

$${\displaystyle f_{k}(v_{1},\ldots ,v_{k})={\frac {1}{k!))\sum _{\sigma \in \mathrm {S} _{k))\operatorname {sgn}(\sigma )\,v_{\sigma (1)}\cdots v_{\sigma (k)))$$

A more sophisticated way to view the relationship is to construct a filtration on Cl(V, Q). Recall that the tensor algebra T(V) has a natural filtration: F⁰ ⊂ F¹ ⊂ F² ⊂ ⋯, where F^k contains sums of tensors with order ≤ k. Projecting this down to the Clifford algebra gives a filtration on Cl(V, Q). The associated graded algebra

$${\displaystyle \operatorname {Gr} _{F}\operatorname {Cl} (V,Q)=\bigoplus _{k}F^{k}/F^{k-1))$$

Grading

In the following, assume that the characteristic is not 2.^[e]

Clifford algebras are Z₂-graded algebras (also known as superalgebras). Indeed, the linear map on V defined by v ↦ −v (reflection through the origin) preserves the quadratic form Q and so by the universal property of Clifford algebras extends to an algebra automorphism

$${\displaystyle \alpha :\operatorname {Cl} (V,Q)\to \operatorname {Cl} (V,Q).}$$

Since α is an involution (i.e. it squares to the identity) one can decompose Cl(V, Q) into positive and negative eigenspaces of α

$${\displaystyle \operatorname {Cl} (V,Q)=\operatorname {Cl} ^{[0]}(V,Q)\oplus \operatorname {Cl} ^{[1]}(V,Q)}$$

$${\displaystyle \operatorname {Cl} ^{[i]}(V,Q)=\left\{x\in \operatorname {Cl} (V,Q)\mid \alpha (x)=(-1)^{i}x\right\}.}$$

Since α is an automorphism it follows that:

$${\displaystyle \operatorname {Cl} ^{[i]}(V,Q)\operatorname {Cl} ^{[j]}(V,Q)=\operatorname {Cl} ^{[i+j]}(V,Q)}$$

Remark. The Clifford algebra is not a Z-graded algebra, but is Z-filtered, where Cl^≤i(V, Q) is the subspace spanned by all products of at most i elements of V.

$${\displaystyle \operatorname {Cl} ^{\leqslant i}(V,Q)\cdot \operatorname {Cl} ^{\leqslant j}(V,Q)\subset \operatorname {Cl} ^{\leqslant i+j}(V,Q).}$$

The degree of a Clifford number usually refers to the degree in the N-grading.

The even subalgebra Cl^[0](V, Q) of a Clifford algebra is itself isomorphic to a Clifford algebra.^[f][g] If V is the orthogonal direct sum of a vector a of nonzero norm Q(a) and a subspace U, then Cl^[0](V, Q) is isomorphic to Cl(U, −Q(a)Q), where −Q(a)Q is the form Q restricted to U and multiplied by −Q(a). In particular over the reals this implies that:

$${\displaystyle \operatorname {Cl} _{p,q}^{[0]}(\mathbf {R} )\cong {\begin{cases}\operatorname {Cl} _{p,q-1}(\mathbf {R} )&q>0\\\operatorname {Cl} _{q,p-1}(\mathbf {R} )&p>0\end{cases))}$$

In the negative-definite case this gives an inclusion Cl_0,n−1(R) ⊂ Cl_0,n(R), which extends the sequence

Likewise, in the complex case, one can show that the even subalgebra of Cl_n(C) is isomorphic to Cl_n−1(C).

Antiautomorphisms

In addition to the automorphism α, there are two antiautomorphisms that play an important role in the analysis of Clifford algebras. Recall that the tensor algebra T(V) comes with an antiautomorphism that reverses the order in all products of vectors:

$${\displaystyle v_{1}\otimes v_{2}\otimes \cdots \otimes v_{k}\mapsto v_{k}\otimes \cdots \otimes v_{2}\otimes v_{1}.}$$

${\displaystyle {\bar {x))}$

$${\displaystyle {\bar {x))=\alpha (x^{\mathrm {t} })=\alpha (x)^{\mathrm {t} }.}$$

Note that all of these operations are involutions. One can show that they act as ±1 on elements which are pure in the Z-grading. In fact, all three operations depend only on the degree modulo 4. That is, if x is pure with degree k then

$${\displaystyle \alpha (x)=\pm x\qquad x^{\mathrm {t} }=\pm x\qquad {\bar {x))=\pm x}$$

k mod 4	0	1	2	3	…
${\displaystyle \alpha (x)\,}$	+	−	+	−	(−1)k
${\displaystyle x^{\mathrm {t} }\,}$	+	+	−	−	(−1)k(k − 1)/2
${\displaystyle {\bar {x))}$	+	−	−	+	(−1)k(k + 1)/2

Clifford scalar product

When the characteristic is not 2, the quadratic form Q on V can be extended to a quadratic form on all of Cl(V, Q) (which we also denoted by Q). A basis-independent definition of one such extension is

$${\displaystyle Q(x)=\left\langle x^{\mathrm {t} }x\right\rangle _{0))$$

$${\displaystyle Q(v_{1}v_{2}\cdots v_{k})=Q(v_{1})Q(v_{2})\cdots Q(v_{k})}$$

The associated symmetric bilinear form on Cl(V, Q) is given by

$${\displaystyle \langle x,y\rangle =\left\langle x^{\mathrm {t} }y\right\rangle _{0}.}$$

The operator of left (respectively right) Clifford multiplication by the transpose a^t of an element a is the adjoint of left (respectively right) Clifford multiplication by a with respect to this inner product. That is,

$${\displaystyle \langle ax,y\rangle =\left\langle x,a^{\mathrm {t} }y\right\rangle ,}$$

$${\displaystyle \langle xa,y\rangle =\left\langle x,ya^{\mathrm {t} }\right\rangle .}$$

Structure of Clifford algebras

In this section we assume that characteristic is not 2, the vector space V is finite-dimensional and that the associated symmetric bilinear form of Q is nondegenerate.

A central simple algebra over K is a matrix algebra over a (finite-dimensional) division algebra with center K. For example, the central simple algebras over the reals are matrix algebras over either the reals or the quaternions.

• If V has even dimension then Cl(V, Q) is a central simple algebra over K.
• If V has even dimension then the even subalgebra Cl^[0](V, Q) is a central simple algebra over a quadratic extension of K or a sum of two isomorphic central simple algebras over K.
• If V has odd dimension then Cl(V, Q) is a central simple algebra over a quadratic extension of K or a sum of two isomorphic central simple algebras over K.
• If V has odd dimension then the even subalgebra Cl^[0](V, Q) is a central simple algebra over K.

The structure of Clifford algebras can be worked out explicitly using the following result. Suppose that U has even dimension and a non-singular bilinear form with discriminant d, and suppose that V is another vector space with a quadratic form. The Clifford algebra of U + V is isomorphic to the tensor product of the Clifford algebras of U and (−1)^dim(U)/2dV, which is the space V with its quadratic form multiplied by (−1)^dim(U)/2d. Over the reals, this implies in particular that

$${\displaystyle \operatorname {Cl} _{p+2,q}(\mathbf {R} )=\mathrm {M} _{2}(\mathbf {R} )\otimes \operatorname {Cl} _{q,p}(\mathbf {R} )}$$

$${\displaystyle \operatorname {Cl} _{p+1,q+1}(\mathbf {R} )=\mathrm {M} _{2}(\mathbf {R} )\otimes \operatorname {Cl} _{p,q}(\mathbf {R} )}$$

$${\displaystyle \operatorname {Cl} _{p,q+2}(\mathbf {R} )=\mathbf {H} \otimes \operatorname {Cl} _{q,p}(\mathbf {R} ).}$$

Notably, the Morita equivalence class of a Clifford algebra (its representation theory: the equivalence class of the category of modules over it) depends only on the signature (p − q) mod 8. This is an algebraic form of Bott periodicity.

Lipschitz group

The class of Lipschitz groups (a.k.a.^[7] Clifford groups or Clifford–Lipschitz groups) was discovered by Rudolf Lipschitz.^[8]

In this section we assume that V is finite-dimensional and the quadratic form Q is nondegenerate.

An action on the elements of a Clifford algebra by its group of units may be defined in terms of a twisted conjugation: twisted conjugation by x maps y ↦ α(x) y x⁻¹, where α is the main involution defined above.

The Lipschitz group Γ is defined to be the set of invertible elements x that stabilize the set of vectors under this action,^[9] meaning that for all v in V we have:

$${\displaystyle \alpha (x)vx^{-1}\in V.}$$

This formula also defines an action of the Lipschitz group on the vector space V that preserves the quadratic form Q, and so gives a homomorphism from the Lipschitz group to the orthogonal group. The Lipschitz group contains all elements r of V for which Q(r) is invertible in K, and these act on V by the corresponding reflections that take v to v − (⟨r, v⟩ + ⟨v, r⟩)r/Q(r). (In characteristic 2 these are called orthogonal transvections rather than reflections.)

If V is a finite-dimensional real vector space with a non-degenerate quadratic form then the Lipschitz group maps onto the orthogonal group of V with respect to the form (by the Cartan–Dieudonné theorem) and the kernel consists of the nonzero elements of the field K. This leads to exact sequences

$${\displaystyle 1\rightarrow K^{\times }\rightarrow \Gamma \rightarrow {\mbox{O))_{V}(K)\rightarrow 1,}$$

$${\displaystyle 1\rightarrow K^{\times }\rightarrow \Gamma ^{0}\rightarrow {\mbox{SO))_{V}(K)\rightarrow 1.}$$

Over other fields or with indefinite forms, the map is not in general onto, and the failure is captured by the spinor norm.

Spinor norm

In arbitrary characteristic, the spinor norm Q is defined on the Lipschitz group by

$${\displaystyle Q(x)=x^{\mathrm {t} }x.}$$

The nonzero elements of K have spinor norm in the group (K^×)² of squares of nonzero elements of the field K. So when V is finite-dimensional and non-singular we get an induced map from the orthogonal group of V to the group K^×/(K^×)², also called the spinor norm. The spinor norm of the reflection about r^⊥, for any vector r, has image Q(r) in K^×/(K^×)², and this property uniquely defines it on the orthogonal group. This gives exact sequences:

$${\displaystyle {\begin{aligned}1\to \{\pm 1\}\to {\mbox{Pin))_{V}(K)&\to {\mbox{O))_{V}(K)\to K^{\times }/\left(K^{\times }\right)^{2},\\1\to \{\pm 1\}\to {\mbox{Spin))_{V}(K)&\to {\mbox{SO))_{V}(K)\to K^{\times }/\left(K^{\times }\right)^{2}.\end{aligned))}$$

Note that in characteristic 2 the group {±1} has just one element.

From the point of view of Galois cohomology of algebraic groups, the spinor norm is a connecting homomorphism on cohomology. Writing μ₂ for the algebraic group of square roots of 1 (over a field of characteristic not 2 it is roughly the same as a two-element group with trivial Galois action), the short exact sequence

$${\displaystyle 1\to \mu _{2}\rightarrow {\mbox{Pin))_{V}\rightarrow {\mbox{O))_{V}\rightarrow 1}$$

$${\displaystyle 1\to H^{0}(\mu _{2};K)\to H^{0}({\mbox{Pin))_{V};K)\to H^{0}({\mbox{O))_{V};K)\to H^{1}(\mu _{2};K).}$$

The 0th Galois cohomology group of an algebraic group with coefficients in K is just the group of K-valued points: H⁰(G; K) = G(K), and H¹(μ₂; K) ≅ K^×/(K^×)², which recovers the previous sequence

$${\displaystyle 1\to \{\pm 1\}\to {\mbox{Pin))_{V}(K)\to {\mbox{O))_{V}(K)\to K^{\times }/\left(K^{\times }\right)^{2},}$$

Spin and pin groups

In this section we assume that V is finite-dimensional and its bilinear form is non-singular.

The pin group Pin_V(K) is the subgroup of the Lipschitz group Γ of elements of spinor norm 1, and similarly the spin group Spin_V(K) is the subgroup of elements of Dickson invariant 0 in Pin_V(K). When the characteristic is not 2, these are the elements of determinant 1. The spin group usually has index 2 in the pin group.

Recall from the previous section that there is a homomorphism from the Lipschitz group onto the orthogonal group. We define the special orthogonal group to be the image of Γ⁰. If K does not have characteristic 2 this is just the group of elements of the orthogonal group of determinant 1. If K does have characteristic 2, then all elements of the orthogonal group have determinant 1, and the special orthogonal group is the set of elements of Dickson invariant 0.

There is a homomorphism from the pin group to the orthogonal group. The image consists of the elements of spinor norm 1 ∈ K^×/(K^×)². The kernel consists of the elements +1 and −1, and has order 2 unless K has characteristic 2. Similarly there is a homomorphism from the Spin group to the special orthogonal group of V.

In the common case when V is a positive or negative definite space over the reals, the spin group maps onto the special orthogonal group, and is simply connected when V has dimension at least 3. Further the kernel of this homomorphism consists of 1 and −1. So in this case the spin group, Spin(n), is a double cover of SO(n). Please note, however, that the simple connectedness of the spin group is not true in general: if V is R^p,q for p and q both at least 2 then the spin group is not simply connected. In this case the algebraic group Spin_p,q is simply connected as an algebraic group, even though its group of real valued points Spin_p,q(R) is not simply connected. This is a rather subtle point, which completely confused the authors of at least one standard book about spin groups.^[which?]

Spinors

Clifford algebras Cl_p,q(C), with p + q = 2n even, are matrix algebras which have a complex representation of dimension 2ⁿ. By restricting to the group Pin_p,q(R) we get a complex representation of the Pin group of the same dimension, called the spin representation. If we restrict this to the spin group Spin_p,q(R) then it splits as the sum of two half spin representations (or Weyl representations) of dimension 2ⁿ⁻¹.

If p + q = 2n + 1 is odd then the Clifford algebra Cl_p,q(C) is a sum of two matrix algebras, each of which has a representation of dimension 2ⁿ, and these are also both representations of the pin group Pin_p,q(R). On restriction to the spin group Spin_p,q(R) these become isomorphic, so the spin group has a complex spinor representation of dimension 2ⁿ.

More generally, spinor groups and pin groups over any field have similar representations whose exact structure depends on the structure of the corresponding Clifford algebras: whenever a Clifford algebra has a factor that is a matrix algebra over some division algebra, we get a corresponding representation of the pin and spin groups over that division algebra. For examples over the reals see the article on spinors.

Real spinors

To describe the real spin representations, one must know how the spin group sits inside its Clifford algebra. The pin group, Pin_p,q is the set of invertible elements in Cl_p,q that can be written as a product of unit vectors:

$${\displaystyle \mathrm {Pin} _{p,q}=\left\{v_{1}v_{2}\cdots v_{r}\mid \forall i\,\|v_{i}\|=\pm 1\right\}.}$$

Let α : Cl → Cl be the automorphism which is given by the mapping v ↦ −v acting on pure vectors. Then in particular, Spin_p,q is the subgroup of Pin_p,q whose elements are fixed by α. Let

$${\displaystyle \operatorname {Cl} _{p,q}^{[0]}=\{x\in \operatorname {Cl} _{p,q}\mid \alpha (x)=x\}.}$$

The irreducible representations of Cl_p,q restrict to give representations of the pin group. Conversely, since the pin group is generated by unit vectors, all of its irreducible representation are induced in this manner. Thus the two representations coincide. For the same reasons, the irreducible representations of the spin coincide with the irreducible representations of Cl^[0]
_p,q.

To classify the pin representations, one need only appeal to the classification of Clifford algebras. To find the spin representations (which are representations of the even subalgebra), one can first make use of either of the isomorphisms (see above)

$${\displaystyle \operatorname {Cl} _{p,q}^{[0]}\approx \operatorname {Cl} _{p,q-1},{\text{ for ))q>0}$$

$${\displaystyle \operatorname {Cl} _{p,q}^{[0]}\approx \operatorname {Cl} _{q,p-1},{\text{ for ))p>0}$$

Applications

Differential geometry

One of the principal applications of the exterior algebra is in differential geometry where it is used to define the bundle of differential forms on a smooth manifold. In the case of a (pseudo-)Riemannian manifold, the tangent spaces come equipped with a natural quadratic form induced by the metric. Thus, one can define a Clifford bundle in analogy with the exterior bundle. This has a number of important applications in Riemannian geometry. Perhaps more important is the link to a spin manifold, its associated spinor bundle and spin^c manifolds.

Physics

Clifford algebras have numerous important applications in physics. Physicists usually consider a Clifford algebra to be an algebra with a basis generated by the matrices γ₀, ..., γ₃ called Dirac matrices which have the property that

$${\displaystyle \gamma _{i}\gamma _{j}+\gamma _{j}\gamma _{i}=2\eta _{ij}\,}$$

The Clifford algebra of spacetime used in physics thus has more structure than Cl₄(C). It has in addition a set of preferred transformations – Lorentz transformations. Whether complexification is necessary to begin with depends in part on conventions used and in part on how much one wants to incorporate straightforwardly, but complexification is most often necessary in quantum mechanics where the spin representation of the Lie algebra so(1, 3) sitting inside the Clifford algebra conventionally requires a complex Clifford algebra. For reference, the spin Lie algebra is given by

$${\displaystyle {\begin{aligned}\sigma ^{\mu \nu }&=-{\frac {i}{4))\left[\gamma ^{\mu },\,\gamma ^{\nu }\right],\\\left[\sigma ^{\mu \nu },\,\sigma ^{\rho \tau }\right]&=i\left(\eta ^{\tau \mu }\sigma ^{\rho \nu }+\eta ^{\nu \tau }\sigma ^{\mu \rho }-\eta ^{\rho \mu }\sigma ^{\tau \nu }-\eta ^{\nu \rho }\sigma ^{\mu \tau }\right).\end{aligned))}$$

This is in the (3, 1) convention, hence fits in Cl
_3,1(R)_C.^[10]

The Dirac matrices were first written down by Paul Dirac when he was trying to write a relativistic first-order wave equation for the electron, and give an explicit isomorphism from the Clifford algebra to the algebra of complex matrices. The result was used to define the Dirac equation and introduce the Dirac operator. The entire Clifford algebra shows up in quantum field theory in the form of Dirac field bilinears.

The use of Clifford algebras to describe quantum theory has been advanced among others by Mario Schönberg,^[i] by David Hestenes in terms of geometric calculus, by David Bohm and Basil Hiley and co-workers in form of a hierarchy of Clifford algebras, and by Elio Conte et al.^[11][12]

Computer vision

Clifford algebras have been applied in the problem of action recognition and classification in computer vision. Rodriguez et al^[13] propose a Clifford embedding to generalize traditional MACH filters to video (3D spatiotemporal volume), and vector-valued data such as optical flow. Vector-valued data is analyzed using the Clifford Fourier Transform. Based on these vectors action filters are synthesized in the Clifford Fourier domain and recognition of actions is performed using Clifford correlation. The authors demonstrate the effectiveness of the Clifford embedding by recognizing actions typically performed in classic feature films and sports broadcast television.

Generalizations

• While this article focuses on a Clifford algebra of a vector space over a field, the definition extends without change to a module over any unital, associative, commutative ring.^[j]
• Clifford algebras may be generalized to a form of degree higher than quadratic over a vector space.^[14]