nLab Clifford algebra

Contents

Context

Super-Algebra and Super-Geometry

Higher spin geometry

Contents

Definition

Given a commutative ring RR and RR-modules MM and NN, an RR-quadratic function on MM with values in NN is a map q:MNq: M \to N such that the following properties hold:

  • (cube relation) For any x,y,zMx,y,z \in M, we have

    q(x+y+z)q(x+y)q(x+z)q(y+z)+q(x)+q(y)+q(z)=0.q(x+y+z) - q(x+y) - q(x+z) - q(y+z) + q(x) + q(y) + q(z) = 0.
  • (homogeneous of degree 2) For any xMx \in M and any rRr \in R, we have

    q(rx)=r 2q(x).q(r x) = r^2q(x).

A quadratic RR-module is an RR-module MM equipped with a quadratic form: an RR-quadratic function on MM with values in RR.

The Clifford algebra Cl(M,q)Cl(M,q) of a quadratic RR-module (M,q)(M,q) can be defined as the quotient of the tensor algebra T R(M)T_R(M) by the ideal generated by the relations xxq(x)x \otimes x - q(x) for all xMx \in M.

Equivalently, it is the initial object in the category whose objects are pairs (A,ϕ)(A,\phi) where AA is an associative unital RR-algebra, and ϕ:MA\phi: M \to A is an RR-linear map satisfying ϕ(x) 2=q(x)1 A\phi(x)^2 = q(x) 1_A for all xMx \in M, and whose morphisms (A,ϕ)(A,ϕ)(A,\phi)\to (A',\phi') are the associative RR-algebra maps χ:AA\chi: A\to A' such that χϕ=ϕ\chi\circ\phi=\phi'.

Examples

Examples in low rank can be calculated easily. If MM is freely generated by a single element ee, with quadratic form q(e)=1q(e) = 1, then Cl(M,q)=R[e]/(e 21)Cl(M,q) = R[e]/(e^2-1). Note that the opposite sign convention is often used in the differential geometry literature, so one may see the assertion that the Clifford algebra of the real line with a positive definite metric is isomorphic to the complex numbers [e]/(e 2+1)\mathbb{R}[e]/(e^2+1). Similarly, the Clifford algebra of a negative definite two dimensional real vector space is isomorphic to the (non-split) quaternions in our convention, but one may see the assertion that it is isomorphic to M 2()M_2(\mathbb{R}). Complexification removes the difference between positive definite and negative definite, and the two complexified algebras are isomorphic.

Let M=LL M = L \oplus L^\vee for LL projective of rank dd over RR, and L =Hom R(L,R)L^\vee = Hom_R(L,R) the dual module. One can define the canonical quadratic form q(f+x)=f(x)q(f+x) = f(x) for fL f \in L^\vee and xLx \in L. In this case, Cl(M,q)M 2 d(R)Cl(M,q) \cong M_{2^d}(R). In general, the Clifford algebra arising from a nondegenerate form is flat-locally (on SpecR\operatorname{Spec} R) isomorphic to a matrix algebra (when rank is even) or a direct sum of two matrix algebras (when rank is odd).

If MM is a projective RR-module of rank dd, then independently of qq, the Clifford algebra Cl(M,q)Cl(M,q) is projective of rank 2 d2^d, and is (noncanonically) isomorphic to M\bigwedge M as an RR-module equipped with a map from MM. The Clifford algebra is isomorphic to the exterior algebra (as algebras equipped with RR-module maps from MM) if and only if q=0q = 0.

If RR is the ring of smooth functions on a pseudo-Riemannian manifold XX, and MM is the RR-module of sections of the tangent bundle, then the metric endows MM with a quadratic structure, and one can form the Clifford algebra of the tangent bundle.

Properties

Classification and Relation to matrix algebras

Over the complex numbers

Theorem

Let VV be the vector space over the complex numbers of complex dimension dd, equipped with non-degenerate bilinear form, unique up to isomorphism. The Clifford algebra

Cl d()Cl(V) Cl_{d}(\mathbb{C}) \coloneqq Cl(V)

is isomorphic, as a complex associative algebra to a matrix algebra as follows:

Cl d(){Mat 2 d2() fordeven Mat 2 d12()Mat 2 d12() fordodd Cl_d(\mathbb{C}) \simeq \left\{ \array{ Mat_{2^{\tfrac{d}{2}}}(\mathbb{C}) & for \, d \, even \\ Mat_{2^{\tfrac{d-1}{2}}}(\mathbb{C}) \oplus Mat_{2^{\tfrac{d-1}{2}}}(\mathbb{C}) & for \, d \, odd } \right.
Remark

This is one of the incarnations of Bott periodicity.

Over the real numbers

We discuss the classification of Clifford algebras over the real numbers and their relation to matrix algebras over the real numbers. A key statement is that of the mod-8 Bott periodicity of this classification (prop. below).

In the following we write

  • Cl s,t\Cl_{s,t} for the Clifford algebra of a vector space over the real numbers with

    • ss generators squaring to -1

    • tt generators squaring to +1

  • \mathbb{C} for the complex numbers regarded as an associative algebra over \mathbb{R};

  • \mathbb{H} for the quaternions regarded as an associative algebra over \mathbb{R};

  • 𝕂[n]Mat n×n(𝕂)\mathbb{K}[n] \coloneqq Mat_{n \times n}(\mathbb{K}) for the matrix algebra of n×nn \times n matrices with coefficients in 𝕂\mathbb{K}.

Proposition

For low dimensions of real Clifford algebras, there are the following isomorphisms of associative algebras over \mathbb{R}

Cl 0,1 Cl_{0,1} \simeq \mathbb{R} \oplus \mathbb{R}
Cl 1,1[2] Cl_{1,1} \simeq \mathbb{R}[2]
Cl 1,0 Cl_{1,0} \simeq \mathbb{C}
Cl 2,0 Cl_{2,0} \simeq \mathbb{H}

(e. g. Figueroa-O’Farrill, lemma32)

Proposition

For n,s,tn,s,t \in \mathbb{N} then there are the following isomorphisms of associative algebras over \mathbb{R}:

Cl n+2,0Cl 0,n Cl 2,0 Cl_{n+2,0} \simeq Cl_{0,n} \otimes_{\mathbb{R}} Cl_{2,0}
Cl 0,n+2Cl n,0 Cl 0,2 Cl_{0,n+2} \simeq Cl_{n,0} \otimes_{\mathbb{R}} Cl_{0,2}
Cl s+1.t+1Cl s,t Cl 1,1 Cl_{s+1.t+1} \simeq Cl_{s,t} \otimes_{\mathbb{R}} Cl_{1,1}

(e.g. Lawson-Michelsohn 89, theorem 4.1, Figueroa-O’Farrill, lemma 2)

Proposition

For n,n 1,n 2n,n_1, n_2 \in \mathbb{N} there are the following isomorphisms of associative algebras over \mathbb{R}:

  • [n 1] [n 2][n 1n 2]\mathbb{R}[n_1] \otimes_{\mathbb{R}} \mathbb{R}[n_2] \simeq \mathbb{R}[n_1 n_2];

  • [n] 𝕂𝕂[n]\mathbb{R}[n] \otimes_{\mathbb{R}} \mathbb{K} \simeq \mathbb{K}[n];

  • \mathbb{C} \otimes_{\mathbb{R}} \mathbb{C} \simeq \mathbb{C} \oplus \mathbb{C}.

  • [2]\mathbb{C} \otimes_{\mathbb{R}} \mathbb{H} \simeq \mathbb{C}[2];

  • [4]\mathbb{H} \otimes_{\mathbb{R}} \mathbb{H} \simeq \mathbb{R}[4]

(e.g. Lawson-Michelsohn 89, proposition 4.2)

Now the incarnation in Clifford algebras of Bott periodicity over the real numbers is the following:

Proposition

For all nn \in \mathbb{N} there are isomorphisms of associative algebras over \mathbb{R} as follows:

  • Cl n+8,0Cl n,0 Cl 8,0Cl_{n+8,0} \simeq Cl_{n,0} \otimes_{\mathbb{R}} Cl_{8,0};

  • Cl 0,n+8Cl 0,n Cl 0,8Cl_{0,n+8} \simeq Cl_{0,n} \otimes_{\mathbb{R}} Cl_{0,8}.

where

  • Cl 8,0Cl 0,8[16]Cl_{8,0} \simeq Cl_{0,8} \simeq \mathbb{R}[16].

(e.g. Lawson-Michelsohn 89, theorem 4.3)

As a superalgebra

While the tensor algebra of an RR-module MM has a natural integer grading, the quadratic relation collapses this to a natural /2\mathbb{Z}/2\mathbb{Z}-grading on Cl(M,q)Cl(M,q).

Cl(M,q)=Cl(M,q) evCl(M,q) odd Cl(M,q) = Cl(M,q)^{ev} \oplus Cl(M,q)^{odd}

When MM is projective of rank dd, each homogeneous piece is projective of rank 2 d12^{d-1}. When qq is nondegenerate, the even part of the Clifford algebra is also flat-locally isomorphic to a matrix ring or a sum of two matrix rings.

One can view the Clifford algebra multiplication as a quantization of the commutative super algebra RM\bigwedge_R M.


Relation to orthogonal Lie algebras

Let {Γ a} a=1 n\{\Gamma_{a}\}_{a = 1}^n be the generators of an nn-dimensional Clifford algebra over the real numbers corresponding to an inner product/metric gg, hence with this anti-commutator:

(1){Γ a,Γ b}=2g ab. \big\{ \Gamma_{a} ,\; \Gamma_b \big\} \;=\; 2 g_{a b} \,.

Then:

Proposition

(special orthogonal Lie algebra via Clifford algebra)

The elements of the Clifford algera (1) given by

(2)r a 1a 2 14[Γ a 1,Γ a 2] ={12Γ a 1Γ a 2 | a 1a 2 0 | otherwise \begin{aligned} r_{a_1 a_2} & \coloneqq\; \tfrac{1}{4} \big[ \Gamma_{a_1}, \Gamma_{a_2} \big] \\ & = \left\{ \array{ \tfrac{1}{2} \Gamma_{a_1} \Gamma_{a_2} &\vert& a_1 \neq a_2 \\ 0 &\vert& otherwise } \right. \end{aligned}

for all a 1,a 2{1,,n}a_1, a_2 \;\in\; \{1, \cdots, n\},

and equipped with the commutator bracket [a,b]abba[a,b] \coloneqq a b - b a

span a Lie algebra which is isomorphic to the special orthogonal Lie algebra 𝔰𝔬(n,g)\mathfrak{so}(n,g) with respect to gg, in that their commutator Lie bracket is:

[r a 1a 2,r b 1b 2]=g a 2b 1r a 1b 2g a 1b 1r a 2b 2+g a 2b 2r b 1a 1g a 1b 2r b 1a 2 \big[ r_{a_1 a_2} \,, r_{b_1 b_2} \big] \;=\; g_{a_2 b_1} r_{a_1 b_2} - g_{a_1 b_1} r_{a_2 b_2} + g_{a_2 b_2} r_{b_1 a_1} - g_{a_1 b_2} r_{b_1 a_2}
Proof

First observe that

(3)[12Γ a 1Γ a 2,Γ b] =12Γ a 1{Γ a 2,Γ b}12{Γ a 1,Γ b}Γ a 2 =g a 2bΓ a 1g a 1bΓ a 2 \begin{aligned} \big[ \tfrac{1}{2} \Gamma_{a_1} \Gamma_{a_2} ,\; \Gamma_b \big] & = \tfrac{1}{2} \Gamma_{a_1} \big\{ \Gamma_{a_2}, \; \Gamma_b \big\} - \tfrac{1}{2} \big\{ \Gamma_{a_1}, \; \Gamma_b \big\} \Gamma_{a_2} \\ & = g_{a_2 b} \Gamma_{a_1} - g_{a_1 b} \Gamma_{a_2} \end{aligned}

Here the first step may be thought of as the graded Jacobi identity in the Clifford super Lie algebra, but it is also immediately verified by inspection. The second step evaluates the defining anti-commutators (3).

With this we compute as follows, assuming, without restriction of generality, that a 1a 2a_1 \neq a_2 and b 1b 2b_1 \neq b_2:

[14[Γ a 1,Γ a 2],14[Γ b 1,Γ b 2]] =14[[14[Γ a 1,Γ a 2],Γ b 1],Γ b 2]+14[Γ b 1,[14[Γ a 1,Γ a 2],Γ b 2]] =g a 2b 114[Γ a 1,Γ b 2]g a 1b 114[Γ a 2,Γ b 2]+g a 2b 214[Γ b 1,Γ a 1]g a 1b 214[Γ b 1,Γ a 2] \begin{aligned} \big[ \tfrac{1}{4} [\Gamma_{a_1}, \Gamma_{a_2}] , \; \tfrac{1}{4} [\Gamma_{b_1}, \Gamma_{b_2}] \big] & = \tfrac{1}{4} \Big[ \big[ \tfrac{1}{4} [\Gamma_{a_1},\Gamma_{a_2}] ,\, \Gamma_{b_1} \big] ,\, \Gamma_{b_2} \Big] + \tfrac{1}{4} \Big[ \Gamma_{b_1}, \big[ \tfrac{1}{4} [\Gamma_{a_1},\Gamma_{a_2}] ,\, \Gamma_{b_2} \big] \Big] \\ & = g_{a_2 b_1} \tfrac{1}{4} [\Gamma_{a_1},\Gamma_{b_2}] - g_{a_1 b_1} \tfrac{1}{4} [\Gamma_{a_2},\Gamma_{b_2}] + g_{a_2 b_2} \tfrac{1}{4} [\Gamma_{b_1},\Gamma_{a_1}] - g_{a_1 b_2} \tfrac{1}{4} [\Gamma_{b_1}, \Gamma_{a_2}] \end{aligned}

Here the first step is again the graded Jacobi identity (and is again also immediely checked by inspection), while the second step uses (3).


Relation to SpinSpin groups

Let MM be a projective RR-module of finite rank, and let qq be nondegenerate. Write Cl(M,q) ×Cl(M,q)^\times for the group of units of the Clifford algebra Cl(M,q)Cl(M,q).

The Clifford group Γ M,q(R)\Gamma_{M,q}(R) is the subgroup of elements xx for which twisted conjugation stabilizes the submodule MCl(M,q)M \subset Cl(M,q). Here, twisted conjugation is defined by yxyα(x) 1y \mapsto x y\alpha(x)^{-1}, where α\alpha is the automorphism of CL(M,q)CL(M,q) induced by the 1-1 map on MM. Since twisted conjugation by MM-stabilizing elements amounts to reflection yy2(x,y)q(x)xy \mapsto y - 2\frac{(x,y)}{q(x)}x, there is a canonical map Γ M,q(R)O(M,q)\Gamma_{M,q}(R) \to O(M,q), and the Clifford group is in fact a central extension of the orthogonal group by R ×R^\times.

The Clifford group is made of homogeneous elements in the /2\mathbb{Z}/2\mathbb{Z}-grading, and the subgroup of even elements is a normal subgroup of index two. One also has a spinor norm Q:Γ M,q(R)R ×Q: \Gamma_{M,q}(R) \to R^\times on the Clifford group, defined by Q(x)=x txQ(x) = x^t x, where xx tx \mapsto x^t is the anti-involution of the Clifford algebra defined by opposite multiplication in the tensor algebra.

The Pin group Pin M,q(R)Pin_{M,q}(R) is the group elements of the Clifford group with spinor norm 1. The Spin group Spin M,q(R)Spin_{M,q}(R) is the group of elements in the even subgroup of the Clifford group with spinor norm 1.

The restriction of the map Γ M,q(R)O(M,q)\Gamma_{M,q}(R) \to O(M,q) to the Pin group may not be surjective, but it is for positive definite real vector spaces. The kernel is the group μ 2(R)\mu_2(R) of elements of RR that square to 1. Similarly, the Spin group has a map to the special orthogonal group with kernel μ 2(R)\mu_2(R), but it may not be surjective in general.

One can use base change to define the groups given above as functors on commutative RR-algebras.

Relation to exterior algebra (quantization)

For VV an inner product space, the symbol map (see there) constitutes an isomorphism of the underlying super vector spaces of the Clifford algebra with the exterior algebra on VV.

One may understand the Clifford algebra as the quantization Grassmann algebra induced from the inner product regarded as an odd symplectic form.

Spinors

For nondegenerate quadratic forms on real vector spaces, spinors/spin representations are distinguished linear representations of Spin groups that are not pulled back from the corresponding special orthogonal groups. In other words, the central element 1-1 acts nontrivially. They can be realized as restrictions of representations of the even parts of Clifford algebras. Since even parts of Clifford algebras are (up to complexification) the sum of one or two matrix rings, their representation theory is quite simple.

The specific nature of spinor representations possible depends on the signature of the vector space modulo 8. This is a manifestation of Bott periodicity. One always has a Dirac spinor - the fundamental (spin) representation of the complexified Clifford algebra. In even dimensions, this splits into two Weyl spinors (called half-spin representations). One may also have real representations called Majorana spinors, and these may decompose into Majorana-Weyl spinors.

There are infinite dimensional Clifford algebra constructions that appear in conformal field theory. One may extend the above discussion to topological RR-modules and continuous quadratic forms, and one obtains canonical central extensions of infinite dimensional groups and algebras by a relative determinant construction. Semi-infinite wedge spaces are spinor modules for Clifford algebras of quadratic Tate RR-modules.

Warnings

There is a difference of sign convention between differential geometers (following Atiyah) and everyone else.

Clifford algebras are often defined using bilinear forms instead of quadratic forms (and one often sees incorrect definitions of quadratic forms in terms of bilinear forms). Such definitions will yield wrong (or boring) objects when 2 is not invertible.

Special orthogonal groups are often defined as the kernel of the determinant map on the corresponding orthogonal groups, but in characteristic 2, the determinant is trivial, while the Clifford grading (called the Dickson invariant) is not.

The Clifford group is sometimes defined without the twist in the conjugation, and this means the map to the orthogonal group may not be a surjection, and the action on MM is by negative reflections.

The spinor norm is sometimes defined with the opposite sign.

Special orthogonal groups over the reals are sometimes defined to be the connected component of the identity in the orthogonal group. In indefinite signature, this defines an index two subgroup of the special orthogonal group.

Spin groups in signature (m,n)(m,n) for m,n2m,n \geq 2 have fundamental groups of order two. They are simply connected when mm or nn is at most one.

References

The notion of Clifford algebra is due to

Further early discussion:

Brief introductions:

Standard textbook accounts:

See also

For a program that promotes the use of Clifford algebra as a good expositional tool in introductory mechanics see Geometric Algebra.

See also the discussion of Majorana spinors

On subgroups of Clifford algebras reminiscent of gauge groups of relevance in the standard model of particle physics and grand unified theories thereof:

(For similar investigations, see also here at Albert algebra.)

Last revised on March 9, 2024 at 13:51:22. See the history of this page for a list of all contributions to it.