Definition
Clifford algebra
The universal associative algebra generated by a quadratic module subject to the Clifford relation.
Let be a -module over a commutative ring in which is invertible, and let be a quadratic form. The Clifford algebra is the unital associative algebra
Here is the tensor algebra. Thus the image of every satisfies . If comes from an inner product, polarization gives
This sign is the common Riemannian-geometry convention; many algebra texts instead impose .
Universal property
The quotient is characterized without choosing a basis. If is any unital associative -algebra and is linear with
then there is a unique unital algebra homomorphism
whose restriction to is . This property makes Clifford multiplication natural under isometries of quadratic spaces.
Grading and dimension
The tensor-degree parity descends to a -grading
Vectors lie in the odd part, while products of an even number of vectors lie in the even part. If is free of finite rank , then the usual ordered monomials in a basis show that has rank as a -module, without requiring to be nondegenerate.
This parity grading makes a superalgebra. It is generally not supercommutative: an odd vector can have the nonzero square , whereas odd elements in a supercommutative algebra have square zero when is invertible.
Filtration and exterior algebra
Tensor degree does not descend to a -grading because the relation identifies a degree-two tensor with a scalar. It does descend to an increasing filtration . For a finite-dimensional quadratic vector space over a field of characteristic different from , the associated graded Clifford algebra is
Here is the exterior algebra. Thus the Clifford algebra is a filtered deformation of the exterior algebra, not generally an isomorphic algebra.
The quadratic relation also has a Lie-superalgebra interpretation: is a central quotient of a super universal enveloping algebra.
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- periodicity. Complexification gives
Over , the signature no longer affects the isomorphism type, although parity of still matters.
Sign warning
Two standard conventions coexist:
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.