Statement

Let VV be a finite-dimensional vector space over a field kk of characteristic different from 22, and let qq be a on VV. Give the Cl(V,q)\operatorname{Cl}(V,q) the filtration FrF^r induced by tensors of degree at most rr. Then there is a canonical isomorphism of graded algebras

grFCl(V,q)ΛV,\operatorname{gr}_F\operatorname{Cl}(V,q) \cong \Lambda V,

where ΛV\Lambda V is the .

Why the exterior relation appears

Under the convention v2=q(v)1v^2=-q(v)1, polarization gives

vw+wv=bq(v,w)1,bq(v,w)=q(v+w)q(v)q(w).vw+wv=-b_q(v,w)1, \qquad b_q(v,w)=q(v+w)-q(v)-q(w).

The right side has filtration degree 00, while the left side has degree 22. Passing to the leading symbols therefore gives

σ(v)σ(w)+σ(w)σ(v)=0.\sigma(v)\sigma(w)+\sigma(w)\sigma(v)=0.

These are exactly the exterior-algebra relations. The theorem says that they are all the leading relations: the induced surjection ΛVgrCl(V,q)\Lambda V\to\operatorname{gr}\operatorname{Cl}(V,q) is an isomorphism.

Consequences

If n=dimVn=\dim V, then

dimkCl(V,q)=2n,\dim_k\operatorname{Cl}(V,q)=2^n,

even when qq is degenerate. An ordered basis e1,,ene_1,\ldots,e_n yields a basis of Clifford monomials

ei1eir,i1<<ir,e_{i_1}\cdots e_{i_r}, \qquad i_1<\cdots<i_r,

parallel to the usual basis of ΛV\Lambda V.

What the theorem does not say

The isomorphism is an isomorphism with the associated graded algebra, not an isomorphism of Cl(V,q)\operatorname{Cl}(V,q) with ΛV\Lambda V. The Clifford product is a filtered deformation of the exterior product: the quadratic form is visible in lower filtration degree and disappears only after taking leading symbols.

References
  1. H. Blaine Lawson Jr. and Marie-Louise Michelsohn, Spin Geometry, Princeton University Press, 1989. DOI record. Relevant: Chapter I, Section 1.
  2. Claude Chevalley, The Algebraic Theory of Spinors and Clifford Algebras, Springer, collected works edition, 1997. DOI record. Relevant: Chapters I–II.