Clifford algebras as deformations of exterior algebras

As Igor mentions in the comments, this is really a question about deformations of the multiplication map of the exterior algebra in the space of associative multiplications. Since this is a pretty general story, let me try to sketch how it works in this case.

Let's fix some field $k$ and a $k$-algebra $(A,\mu)$. We want to understand deformations of $(A,\mu)$, and to start only infinitesimal deformations. For this we fix an Artinian augmented $k$-algebra $R\to k$ and build a groupoid $\operatorname{Def}_R$: objects are flat $R$-algebras $B$ with an isomorphism $\rho: B\otimes_R k\cong A$, and morphisms from $(B,\rho)$ to $(B',\rho')$ are isomorphisms of $R$-algebras over $k$.

$R$ being Artinian just means that $R \cong k\oplus\mathfrak m$, with $\mathfrak m$ being nilpotent and finite-dimensional. In fact, one does not lose all that much by restricting to $R_n = k[\hbar]/(\hbar^{n+1})$. By flatness, any $R_n$-deformation is of the form $B\cong R_n\otimes_k A\cong A[\hbar]/(\hbar^{n+1})$, but with an interesting multiplication $\mu_{B}$. It is determined by $\mu_B(a,a') = \sum_{i=0}^n\hbar^i\mu_i(a,a')$ for some maps $\mu_i:A\otimes_k A\to A$. Similarly, any automorphism $\lambda$ of $B$ is determined by $\lambda(a) = \sum_{i=0}^n\hbar^n\lambda_i(a)$ for some maps $\lambda_i:A\to A$. Then the condition that $\mu_B$ is associative leads to the following constraints:

  • $\mu_0 = \mu$ by checking compatibility with $\rho$. From now on, I'll write $\cdot = \mu$. Similarly, $\lambda_0 = \operatorname{id}$.
  • $\mu_1(f,g)h + \mu_1(fg,h) = f\mu_1(g,h) + \mu_1(f,gh)$, and $\lambda$ is a morphism from $\mu_1$ to $\mu_2$ iff $\mu_1(f,g) - \mu_2(f,g) = \lambda_1(fg) - f\lambda_1(g) - \lambda_1(f)g$. The first condition is that $\mu_1$ is a closed $1$-cocycle in the Hochschild chain complex $C^n(A) = \operatorname{Hom}(A^{\otimes(n+1)},A)$ with differential $$ \mathrm d\mu(a_0,\dots,a_{n+1}) = a_0\mu(a_1,\dots,a_n) + \sum_{i=0}^{n-1} (-1)^{i+1}\mu(a_0,\dots,a_ia_{i+1},\dots,a_n) + (-1)^{n+1}\mu(a_0,\dots,a_{n-1})a_n\ . $$ The multiplications of two such cocycles are isomorphic iff the cocycles are cohomologous. In this case the isomorphisms are a torsor over the set of closed $0$-cycles. All in all, the category $\operatorname{Def}_{k[x]/x^2}$ has objects in bijection with $HH^1(A)$, and each object has automorphism group $HH^0(A)$, where $HH^i(A) = H^i(C^*(A))$.
    • $f\mu_2(g,h) - \mu_2(fg,h) + \mu_2(f,gh) - \mu_2(f,g)h = \mu_1(f,\mu_1(g,h)) - \mu_1(\mu_1(f,g),h)$. Thus given a first-order deformation $\mu_1$, one may form the element $\mu_1(-,\mu_1(-,-)) - \mu_1(\mu_1(-,-),-)$, which one can check to be a closed $2$-cocycle. The existence of $\mu_2$ is equivalent to the corresponding cohomology class vanishing. Thus for every first-order deformation there is an obstruction lying in $HH^2(A)$ which vanishes iff this first-order deformation extends to a second-order deformation. In this case the extensions are a torsor over $HH^1(A)$, and similarly for the automorphisms.
    • This story continues: If we have found $\mu_1,\dots,\mu_n$, the existence of $\mu_{n+1}$ is equivalent to some obstruction class in $HH^2(A)$ vanishing, in which case the posible extensions are a torsor over $HH^1(A)$. Note however that the obstruction depends on all previous choices.

In fact, essentially all of these formal deformation problems arise in the following way (at least if $k$ is characteristic $0$): One has a dgla $(\mathfrak g,[-,-])$ and a natural isomorphism $\operatorname{Def}_{k\oplus\mathfrak m} \cong \{x\in \mathfrak m\otimes \mathfrak g^1\mid \mathrm dx + \frac{1}{2}[x,x] = 0\}//\mathfrak m\otimes \mathfrak g^0$, where the nilpotent Lie algebra $\mathfrak m\otimes \mathfrak g^0$ acts on this set of "Maurer-Cartan elements" by the Lie bracket and one takes the action groupoid of the action of the corresponding nilpotent Lie group. In our case the dgla is $C^*(A)$ equipped with the Gerstenhaber bracket which takes two cocycles and takes the sum over all ways to plug one into the other (with some signs).

In general, the deformation functor only depends on the dgla up to quasiisomorphism. This has one important consequence: If $\mathfrak g$ is formal, i.e. quasiisomorphic to its cohomology, then a Maurer-Cartan element of $\mathfrak g$ is "the same" as an element $x\in H^1(\mathfrak g)$ satisfying $[x,x] = 0$, i.e. a first-order deformation which extends to a second-order deformation. This then gives rise to a Maurer-Cartan element for any $R$, i.e. a lift to arbitrarily high order in $\hbar$, without having to check whether any more obstructions vanish! One can then put all of these lifts together to obtain an associative multiplication $\mu_\hbar = \mu + \cdots$ on $A[[\hbar]]$.

For a differential geometer, the most interesting case is that $A = C^\infty(M)$. In this case one should restrict to the subcomplex of the Hochschild complex of maps $C^\infty(M)^{\otimes(n+1)}\to C^\infty(M)$ which are differential operators in each variable. The Hochschild-Kostant-Rosenberg theorem computes the homology of this complex as polyvector fields $\oplus_{i\ge 1} \Gamma(M,\Lambda^i TM)$. The bracket on the homology groups is the Schouten bracket (extension of the Lie bracket as a biderivation). Amazingly, as proven by Kontsevich this dgla is actually formal! By the previous discussion this means that a first-order deformation, i.e. a biderivation $\pi\in\Gamma(M,\Lambda^2 TM)$, extends to all orders iff it extends to a second-order deformation, i.e. iff $[\pi,\pi] = 0$, iff $f\otimes g\mapsto \{f,g\} = \pi(\mathrm df,\mathrm dg)$ is a Poisson structure on $M$. This is called deformation quantization since quantization should associate to each function $f$ on $M$ an operator $\widehat f$ on some Hilbert space such that $[\widehat f,\widehat g] = \hbar \widehat{\{f,g\}} + O(\hbar^2)$. Deformation quantization does away with the Hilbert space and formally expands $\widehat f \cdot \widehat g = \widehat{f\cdot g} + \sum_{i\ge 1}\hbar^i\widehat{\mu_i(f,g)}$.

What does any of this have to do with your question about Clifford algebras? One can think of the graded commutative algebra $\Lambda^*V$ as functions on the supermanifold $\Pi V^\vee$ ("$V$ dual in odd degree"). The metric is a graded antisymmetric bilinear form on $V^\vee$ and hence induces a symplectic, and by extension Poisson, structure on this supermanifold, which by the previous discussion has an essentially unique deformation quantization. In fact, one can give an explicit formula for it by putting the right "fermion signs" into the Moyal product. This is a very special deformation quantization since only finitely many $\mu_i$ are nonzero. Thus for any value of $\hbar$ the series $\sum_{i\ge 0}\hbar^i \mu_i$ converges, and one may set $\hbar = 1$ to recover the Clifford algebra.


In addition to the answer of Bertram Arnold, let me point out that there is a very explicit formula for "fermionic" Weyl-Moyal product. Let us assume that your vector space $V$ (or module) is defined over a ring containing the rationals. This is sort of crucial in the following and in prime characteristic the story is slightly different.

Part of the sport is now to work without using a basis in order to have things applicable in a ring-theoretic framework as well. If you do not care about this, then many of the computations simplify drastically.

Consider the Grassmann algebra $\Lambda^\bullet(V)$ and define the following operator \begin{equation} P_q\colon \Lambda^\bullet(V) \otimes \Lambda^\bullet(V) \longrightarrow \Lambda^{\bullet-1}(V) \otimes \Lambda^{\bullet-1}(V) \end{equation} explicitly on factorizing tensor \begin{equation} P_q(v_1 \wedge \cdots \wedge v_k \otimes w_1 \wedge \cdots \wedge w_l) = \sum_{i=1}^k \sum_{j=1}^l (-1)^{j+k-i-1} q(v_i, w_j) v_1 \wedge \stackrel{i}{\cdots} \wedge v_k \otimes w_1 \wedge \stackrel{j}{\cdots} \wedge w_l \end{equation} This turns now out to be a biderivation (with signs), i.e. one has some straightforward Leibniz rules which, on the other hand, determine $P_q$ completely. Next, one needs the operators $P_{12} = P_q \otimes 1$, $P_{23} = 1 \otimes P_q$ and $P_{13} = (1 \otimes \tau) \circ (P \otimes 1) \circ (1 \otimes \tau)$ on the triple tensor product where $\tau$ is the usual flip of tensor factors. Here you have to be careful to obey Koszul's rule for tensor products of graded things correctly...

If you denote the Grassmann algebra product now by $\mu$ then the above Leibniz rules can be summarized as \begin{equation} P_q \circ (\mu \otimes 1) = (\mu \otimes 1) \circ (P_{23} + P_{13}) \quad \textrm{and} \quad P_q \circ (1 \otimes \mu) = (1\otimes \mu) \circ (P_{12} + P_{13}) \end{equation} A last explicit computation now shows that the three operators $P_{12}$, $P_{13}$ and $P_{23}$ commute pairwise.

From this it is a general argument (and quite illustrative to prove) that the formula \begin{equation} a \star_q b = \mu \circ \exp(\hbar P_q) (a \otimes b) \end{equation} defines an associative product as a formal power series in $\hbar$: this goes back at least to Gerstenhaber himself in the famous papers on deformation theory of associative algebras (I think in the III part...?).

A final observation now shows that you can safely set $\hbar = 1$ since the operator $P_q$ decreases the Grassmann degree in both tensor factors by one and hence the exponential series is just a finite sum.

By the very construction, the product $\star_q$ is written as a series in $q$.

OK, now I constructed you a funny associative (unital) algebra, where is the Clifford algebra? First, a really simple computation shows that \begin{equation} v \star_q w + w \star_q v = 2q(v, w) 1 \end{equation} for $v, w \in V$. Hence one obtains a unique algebra homomorphism from the Clifford algebra to this deformed Grassmann algebra, inducing this map on generators. Denote this map by $\sigma$ (for symbol calculus). Conversely, define a quantization map from the Grassmann algebra to the Clifford algebra explicitly by \begin{equation} Q(v_1 \wedge \cdots \wedge v_k) = \frac{1}{k!} \sum_{\pi \in S_k} (-1)^\pi v_{\pi(1)} \bullet \cdots \bullet v_{\pi(k)} \end{equation} where you treat the right hand side as products in the Clifford algebra. It requires now a bit of a computation (but just computation) to show that $Q$ and $\sigma$ are inverse to each other. In particular, both of them are algebra morphisms.