Clifford algebra - Imported Knowlpedia Content

Definition

Let $V$ be a $k$ -module over a commutative ring $k$ in which $2$ is invertible, and let $q:V\to k$ be a quadratic form. The Clifford algebra $\operatorname{Cl}(V,q)$ is the unital associative algebra

\operatorname{Cl}(V,q) =T(V)\big/\langle v\otimes v+q(v)1:v\in V\rangle .

Thus the image of every $v\in V$ satisfies $v^2=-q(v)1$ . If $q(v)=g(v,v)$ comes from an inner product, polarization gives

vw+wv=-2g(v,w)1.

This sign is the common Riemannian-geometry convention; many algebra texts instead impose $v^2=q(v)1$ .

Universal property

The quotient is characterized without choosing a basis. If $A$ is any unital associative $k$ -algebra and $f:V\to A$ is linear with

f(v)^2=-q(v)1_A,

then there is a unique unital algebra homomorphism

\widetilde f:\operatorname{Cl}(V,q)\to A

whose restriction to $V$ is $f$ . This property makes Clifford multiplication natural under isometries of quadratic spaces.

Grading and dimension

The tensor-degree parity descends to a $\mathbb Z/2$ -grading

\operatorname{Cl}(V,q) =\operatorname{Cl}^0(V,q)\oplus\operatorname{Cl}^1(V,q).

Vectors lie in the odd part, while products of an even number of vectors lie in the even part. If $V$ is free of finite rank $n$ , then the usual ordered monomials in a basis show that $\operatorname{Cl}(V,q)$ has rank $2^n$ as a $k$ -module, without requiring $q$ to be nondegenerate.

Real and complex forms

For a real quadratic space one obtains a real Clifford algebra, whose isomorphism type depends on the signature and displays mod- $8$ periodicity. Complexification gives

\operatorname{Cl}_{\mathbb C}(V,q) =\operatorname{Cl}_{\mathbb R}(V,q)\otimes_{\mathbb R}\mathbb C.

Over $\mathbb C$ , the signature no longer affects the isomorphism type, although parity of $\dim V$ still matters.

Sign warning

Two standard conventions coexist:

v^2=-q(v)1 \qquad\text{or}\qquad v^2=q(v)1.

They interchange some signature labels and change the displayed Clifford relation. A formula for spinors or Dirac operators is therefore meaningful only after its sign convention has been fixed.

References

H. Blaine Lawson Jr. and Marie-Louise Michelsohn, Spin Geometry, Princeton University Press, 1989. DOI record. Relevant: Chapter I, Clifford algebras and modules.
Nicole Berline, Ezra Getzler, and Michèle Vergne, Heat Kernels and Dirac Operators, Springer, 1992. DOI record. Relevant: Chapter 3, Clifford algebras.