List of Clifford Algebras and Spin Groups
Introduction
This article lists the Clifford algebras and the spin groups of the corpus: the algebras $\mathrm{Cl}(V,q)$ and their real signature forms $\mathrm{Cl}_{p,q}$, the periodicity that classifies them, the Clifford, Pin and Spin groups inside their unit groups, and the spinor modules on which they act. The property that a Clifford algebra has is that it is generated by a quadratic space subject to the single relation $v^2 = q(v)\cdot 1$; the property that a spin group has is that it lies inside the units of the Clifford algebra and acts on the quadratic space by isometries, giving a double cover of the orthogonal group.
Every entry points to the article that introduces the algebra, the group or the module. The article introduces nothing and proves nothing: it records the relation, the periodicity class, the cover and the module type as the introducing articles give them, and it neither restates a definition nor gives a proof.
The article records examples and non-examples side by side. Beside the algebras that are simple or central simple it lists the cases in which the structure degenerates: $\mathrm{Cl}_{1,0} \cong F \times F$ is a product of two algebras and has zero divisors, so a Clifford algebra is not a division algebra in general; the Clifford algebra of a degenerate form has a nilpotent radical and is not semisimple; the Pin group covers the disconnected group $O(V,q)$, so it does not inherit connectedness; the spin representation is a representation of $\mathrm{Spin}(n)$ and not of $SO(n)$; and a spin structure on a manifold is a bundle-theoretic datum and not a Clifford algebra, each with the failure named and the article that records it.
The Clifford Algebra and Its Structure
The Clifford algebra is the universal solution of the relation $v^2 = q(v)$, and its parity grading and graded tensor product are the operations on which the whole layer rests.
| Object or property | The statement | Introduced in |
|---|---|---|
| the Clifford algebra $\mathrm{Cl}(V,q)$ | the quotient of the tensor algebra by the ideal generated by $v \otimes v - q(v)\cdot 1$; the universal algebra of the relation | Clifford Algebras |
| the universal property | every linear map to an algebra with the relation factors uniquely through $\mathrm{Cl}(V,q)$ | Clifford Algebras |
| the fundamental relation | $uv + vu = 2B(u,v)\cdot 1$; the polarised form of the defining relation | Clifford Algebras; Quadratic Forms and Polarisation |
| the parity grading $\mathrm{Cl} = \mathrm{Cl}^0 \oplus \mathrm{Cl}^1$ | the even and odd parts; $\mathrm{Cl}^0$ is a subalgebra, the even Clifford algebra | Clifford Algebras; Clifford Algebras in Finite Dimensions |
| the grade involution $\alpha$ | $v \mapsto -v$, with $\alpha(x) = (-1)^kx$ on the degree-$k$ part | Clifford Algebras; The Clifford, Pin and Spin Groups with Signed Inner Conjugation |
| reversion $x \mapsto x^r$ and Clifford conjugation $x^{\natural} = \alpha(x^r)$ | the two anti-involutions; reversion fixes the vectors, conjugation negates them | The Clifford, Pin and Spin Groups with Signed Inner Conjugation; Clifford Algebras in Finite Dimensions |
| the graded tensor product | $\mathrm{Cl}(V_1,q_1)\,\hat\otimes\,\mathrm{Cl}(V_2,q_2) \cong \mathrm{Cl}(V_1 \oplus V_2, q_1 \perp q_2)$ | Clifford Algebras; Bott Periodicity and the Classification |
| the volume element $\omega = e_1\cdots e_n$ | $\omega^2 = (-1)^{n(n-1)/2}\prod_i q(e_i)$; it decides the centre in odd dimension | Clifford Algebras in Finite Dimensions; Bott Periodicity and the Classification |
| the exterior algebra as the case $q = 0$ | $\Lambda(V) = \mathrm{Cl}(V,0)$; the Clifford algebra is a deformation of it | Clifford Algebras |
| the degenerate case | a degenerate $q$ gives a Clifford algebra whose radical is an ideal; the non-degenerate factor and the nilpotent factor are separated | Clifford Algebras in Finite Dimensions; Degenerate Clifford Algebras and the Radical |
| the bivectors and the Lie algebra | $\mathrm{SO}(V,q) \cong \Lambda^2V$ inside the Clifford algebra; the bivectors form a Lie algebra under the commutator | The Clifford Algebra as a Lie Algebra |
| the trace and the centre | the centre is $F$, $F(\sqrt\delta)$ or $F \times F$ according to the parity of $n$ and the class of $\delta = \omega^2$ | Bott Periodicity and the Classification |
| the spin factor | the Jordan algebra $JSpin(V) = R\cdot1 \oplus V$; its Clifford envelope | Spin Factors and the Clifford Envelope with Inner Conjugation |
The Classification and the Periodicity
The complex classification is periodic of period two and the real one of period eight; the rank-eight algebra is a matrix algebra over the base field, and from it the whole table follows.
| Statement | The content | Introduced in |
|---|---|---|
| complex periodicity | $\mathbb{C}\mathrm{l}_{2m} \cong M_{2^m}(\mathbb{C})$ and $\mathbb{C}\mathrm{l}_{2m+1} \cong M_{2^m}(\mathbb{C}) \times M_{2^m}(\mathbb{C})$; period two | Bott Periodicity and the Classification; Spin Representations and Clifford Modules with Inner Conjugation |
| real periodicity | the sequence $\mathrm{Cl}_{p,q}$ is periodic of period eight in $p - q$ | Bott Periodicity and the Classification |
| the periodicity algebra | $\mathrm{Cl}_{0,8} \cong \mathrm{Cl}_{8,0} \cong M_{16}(F)$ | Bott Periodicity and the Classification |
| the one-, two- and three-dimensional cases | $\mathrm{Cl}_{0,1} \cong \mathbb{C}$ and $\mathrm{Cl}_{1,0} \cong \mathbb{D} = F\times F$; $\mathrm{Cl}_{0,2} \cong \mathbb{H}$; $\mathrm{Cl}_{3,0} \cong \mathbb{B} = M_2(\mathbb{C})$ | The Low-Dimensional Classification; The Number Systems as Clifford Algebras |
| the eightfold class of a form | the division algebra $D$ of the irreducible module is read from $d = p - q \bmod 8$ | Bott Periodicity and the Classification |
| the module type over $\mathbb{R}$ | the irreducible module is real for $d \equiv 0,1,2$; complex for $d \equiv 3,7$; quaternionic for $d \equiv 4,5,6$ (mod $8$) | Real Spinors and Reality Conditions with Inner Conjugation; Bott Periodicity and the Classification |
| the dimension of the spinor module | $\dim_\mathbb{R}\Delta = k\dim_\mathbb{R}D$ from $\mathrm{Cl}_{p,q} \cong M_k(D)$, and $2^{\lfloor n/2\rfloor}$ over $\mathbb{C}$ | Bott Periodicity and the Classification; Spin Representations and Clifford Modules with Inner Conjugation |
| the definite family $\mathrm{Cl}_{n,0}$ | the type is read from $n \bmod 8$; in $\mathrm{Cl}_{0,n}$ from $-n \equiv 8 - n \bmod 8$ | Real Spinors and Reality Conditions with Inner Conjugation |
The eightfold table of the reality conditions of the spinor module, as recorded in the corpus.
| $d \bmod 8$ | type of $\Delta$ | reality structure | spinors |
|---|---|---|---|
| $0$ | real | $J^2 = +1$ | Majorana |
| $1$ | real | $J^2 = +1$ | Majorana |
| $2$ | real | $J^2 = +1$ | Majorana |
| $3$ | complex | none | Weyl, conjugate pair |
| $4$ | quaternionic | $J^2 = -1$ | symplectic |
| $5$ | quaternionic | $J^2 = -1$ | symplectic |
| $6$ | quaternionic | $J^2 = -1$ | symplectic |
| $7$ | complex | none | conjugate pair |
The Clifford, Pin and Spin Groups with Signed Inner Conjugation
Inside the units of the Clifford algebra sit the Clifford group, the Pin group and the Spin group; the signed inner conjugation action sends them onto the orthogonal groups, with kernel $\{\pm1\}$.
| Group or statement | The property it has | Introduced in |
|---|---|---|
| the Clifford group $\Gamma(V,q)$ | the units preserving the space of vectors under the signed inner conjugation action $\mathrm{Ad}^{\alpha}_x(v) = \alpha(x)vx^{-1}$ | The Clifford, Pin and Spin Groups with Signed Inner Conjugation |
| the Clifford norm $N(x) = x x^{\natural}$ | the norm on the Clifford group; the Pin group is the part with $N = \pm1$ | The Clifford, Pin and Spin Groups with Signed Inner Conjugation |
| the Pin group $\mathrm{Pin}(V,q)$ | $\{x \in \Gamma : N(x) = \pm1\}$; it acts on the space by reflections and double covers $O(V,q)$ over $\mathbb{R}$ | The Clifford, Pin and Spin Groups with Signed Inner Conjugation |
| the Spin group $\mathrm{Spin}(V,q)$ | $\mathrm{Pin} \cap \mathrm{Cl}^0$; the double cover of $SO(V,q)$ | The Clifford, Pin and Spin Groups with Signed Inner Conjugation |
| the reflection $\rho_u$ | $\rho_u(v) = v - 2g(v,u)q(u)^{-1}u$; the signed inner conjugation action of a vector | The Clifford, Pin and Spin Groups with Signed Inner Conjugation |
| Cartan–Dieudonné and the reflection length | the Pin group is generated by the vectors of norm $\pm1$; the number of reflections is the parity that separates Pin from Spin | The Clifford, Pin and Spin Groups with Signed Inner Conjugation; Isometries and Orthogonal Transformations |
| the signature cases $\mathrm{Pin}(p,q)$, $\mathrm{Spin}(p,q)$ | the groups of the form $q = \operatorname{diag}(+1^p,-1^q)$; the definite case is written $\mathrm{Pin}(n)$, $\mathrm{Spin}(n)$ | The Clifford, Pin and Spin Groups with Signed Inner Conjugation |
| the low-dimensional spin groups | $\mathrm{Spin}(2) \cong U(1)$, $\mathrm{Spin}(3) \cong Sp(1) = SU(2)$, $\mathrm{Spin}(4) \cong Sp(1) \times Sp(1)$, $\mathrm{Spin}(5) \cong Sp(2)$, $\mathrm{Spin}(6) \cong SU(4)$ | The Clifford, Pin and Spin Groups with Signed Inner Conjugation |
| the vector representation | $\rho(s)(v) = svs^{-1}$ on the vector space; the double cover of $SO(V,q)$ | Spin Factors and the Clifford Envelope with Inner Conjugation; The Clifford, Pin and Spin Groups with Signed Inner Conjugation |
| the complex case | $\operatorname{Spin}(6) \cong SL(4,\mathbb{C})$ and $PO(6) \cong PGL(4)$; the split real form $\operatorname{Spin}(3,3) \cong SL(4,\mathbb{R})$ | Projective Geometry; The Clifford, Pin and Spin Groups with Signed Inner Conjugation |
The Spinor Modules
A Clifford module is a module over the Clifford algebra, and the spinor module is the irreducible one, built explicitly from a maximal isotropic subspace; its parity splitting is the chirality that defines the Weyl spinors.
| Object or property | The statement | Introduced in |
|---|---|---|
| a Clifford module | a left module over $\mathrm{Cl}(V,q)$, with the $\mathbb{Z}/2$-grading it inherits | Spin Representations and Clifford Modules with Inner Conjugation |
| the spinor module from a maximal isotropic subspace | $\Delta = \Lambda^\bullet W$ for $V = W \oplus W'$; the Clifford action $c(w + w') = \varepsilon(w) + \iota(w')$ | Spin Representations and Clifford Modules with Inner Conjugation |
| the dimension of $\Delta$ | $2^m$ over $\mathbb{C}$ for $n = 2m$ or $2m+1$; the module is $D^k$ in the real cases | Spin Representations and Clifford Modules with Inner Conjugation; Bott Periodicity and the Classification |
| chirality and the half-spin representations | in even dimension $\Delta = \Delta_+ \oplus \Delta_-$ by the volume element; the half-spin representations $\rho_\pm$ | Spin Representations and Clifford Modules with Inner Conjugation |
| the infinitesimal spin representation | $d\rho(v \wedge w) = \tfrac14[c(v),c(w)]$ on $\mathrm{SO}(V,q) \cong \Lambda^2V$ | Spin Representations and Clifford Modules with Inner Conjugation |
| the real, complex and quaternionic spinors | the reality structures by $d \bmod 8$; Majorana, Weyl and Majorana–Weyl spinors | Real Spinors and Reality Conditions with Inner Conjugation |
| the biquaternion spinor module | the spinor module of the biquaternion algebra $\mathbb{B} \cong M_2(\mathbb{C})$; its defining module is of complex type | Biquaternion Spin Geometry; The Clifford Structure of the Biquaternion Algebra |
| the spinor bundle and the Dirac operator | the geometric realisation of a Clifford module over a manifold | Spin Geometry; Dirac Differential Operators |
Non-examples and Warnings
| Object | Why the expected statement fails | Introduced in |
|---|---|---|
| the Clifford algebra $\mathrm{Cl}_{1,0} \cong F \times F$ | it is a product of two algebras and has zero divisors; a Clifford algebra is not a division algebra in general | The Low-Dimensional Classification; List of Division Algebras |
| the Clifford algebra of a degenerate form | its radical is a non-trivial nilpotent ideal and the algebra is not semisimple | Degenerate Clifford Algebras and the Radical; Clifford Algebras in Finite Dimensions |
| the Pin group | it double covers $O(V,q)$, which is disconnected; the connected component is covered by Spin | The Clifford, Pin and Spin Groups with Signed Inner Conjugation |
| the spin representation of $SO(n)$ | it is a representation of $\mathrm{Spin}(n)$ and not of $SO(n)$: $\rho(-1) = -\mathrm{id}_S$, so the sign of the double cover survives; a half-spin representation can have a larger kernel, as $\mathrm{Spin}(4) \cong Sp(1)\times Sp(1)$ on $\Delta_+$ with kernel $\{1\}\times Sp(1)$ | Spin Representations and Clifford Modules with Inner Conjugation |
| the identification $\mathrm{Spin}(n) \cong SO(n)$ | it fails for every $n \geq 3$; the covering is two-to-one and non-trivial | The Clifford, Pin and Spin Groups with Signed Inner Conjugation; Matrix Groups and Classical Groups |
| the biquaternion algebra as a division algebra | $\mathbb{B} \cong M_2(\mathbb{C})$ is not a division algebra; it is a Clifford algebra of complex type | The Clifford Structure of the Biquaternion Algebra; List of Division Algebras |
| the odd-dimensional Clifford algebra | for $n$ odd and $\delta$ a square it is a product $A \times A$ with two distinct irreducible modules, so the spinor module is not unique; the volume element exchanges the two | Bott Periodicity and the Classification |
| a spin structure on a manifold | it is a bundle-theoretic datum, a principal $\mathrm{Spin}(n)$-bundle lifting the frame bundle, and not a Clifford algebra | Spin Geometry |
Objects that a reader may expect in a list of Clifford algebras and spin groups, and does not find here.
| Object | Why it is not listed | Introduced in |
|---|---|---|
| the orthogonal group $O(V,q)$ | it is the group that Pin covers and is catalogued with the classical geometric groups | List of Classical Geometric Groups |
| the projective orthogonal group $PO(V,q)$ | it is the quotient by the centre and is catalogued with the projective groups | List of Projective Geometric Groups |
| the octonions and the exceptional groups | the octonion algebra is not a Clifford algebra of the standard kind and is recorded with the norms and the exceptional Lie groups; $G_2 = \operatorname{Aut}(\mathbb{O})$ | Quadratic Forms over Algebras and Norms; Octonions and the Exceptional Lie Groups |
| the Dirac and Weyl operators | they are differential operators on a spin manifold, catalogued with the differential operators | Dirac Differential Operators; Spin Geometry |
| the infinite-dimensional Clifford algebras and CAR | they carry a topology and a $C^*$-algebraic structure, outside the finite-dimensional classification | Infinite-Dimensional Clifford Algebras and CAR with Inner Conjugation |
Summary
This article has listed the Clifford algebras and spin groups of the corpus: the algebra $\mathrm{Cl}(V,q)$ with its universal property, parity grading, grade involution, the two anti-involutions and the graded tensor product, the volume element and the bivectors that form $\mathrm{SO}(V,q)$; the classification by complex period two and real period eight, with the rank-eight algebra $M_{16}(F)$ and the eightfold table of real, complex and quaternionic spinors; the Clifford, Pin and Spin groups with the signed inner conjugation action, the double covers of the orthogonal groups and the low-dimensional identifications $\mathrm{Spin}(3) \cong Sp(1)$, $\mathrm{Spin}(4) \cong Sp(1) \times Sp(1)$, $\mathrm{Spin}(5) \cong Sp(2)$, $\mathrm{Spin}(6) \cong SU(4)$; and the spinor modules with their chirality splitting and reality conditions. Beside the examples stand the non-examples: the split algebra $F\times F$ with its zero divisors, the degenerate case with its nilpotent radical, the disconnected Pin group, the spin representation that belongs to $\mathrm{Spin}$ and not to $SO$, and the odd-dimensional algebra with two distinct irreducible modules. The list introduces and proves nothing; it is the index of the Clifford layer of the corpus.
Summary of Notation
A catalogue denotes its objects by name rather than by symbol. The symbols that appear in the tables are those of the articles that introduce them.
| Symbol | Meaning |
|---|---|
| $q$, $B$, $g$ | a quadratic form, its polar form, the polar form written $g$ |
| $\mathrm{Cl}(V,q)$ | the Clifford algebra of $q$ on $V$ |
| $v^2 = q(v)\cdot1$, $uv + vu = 2B(u,v)$ | the defining and fundamental relations |
| $\mathrm{Cl}^0$, $\mathrm{Cl}^1$ | the even and odd parts of the parity grading |
| $\alpha$, $x^r$, $x^{\natural}$ | the grade involution, reversion, Clifford conjugation |
| $\hat\otimes$ | the graded tensor product |
| $\mathrm{Cl}_{p,q}$ | the Clifford algebra with $p$ positive and $q$ negative squares |
| $d = p - q$, $n = p + q$ | the signature difference and the total dimension |
| $\omega = e_1\cdots e_n$, $\delta = \omega^2$ | the volume element and its square |
| $\Gamma(V,q)$, $N(x) = x x^{\natural}$ | the Clifford group and its norm |
| $\mathrm{Pin}(V,q)$, $\mathrm{Spin}(V,q)$ | the Pin and Spin groups |
| $\rho_u$, $\mathrm{Ad}^{\alpha}_x$ | the reflection and the signed inner conjugation action |
| $\Delta = \Lambda^\bullet W$, $\Delta_\pm$ | the spinor module and its chiral halves |
| $c(v)$, $\rho$, $d\rho$ | the Clifford action, the spin representation, its differential |
| $J$, $J^2 = \pm1$ | the reality structure; real and quaternionic type |
| $\mathbb{D}$, $\mathbb{H}$, $\mathbb{B}$, $M_k(D)$ | split complex, quaternion, biquaternion algebras; matrix algebras |
Further Reading
- H. Blaine Lawson and Marie-Louise Michelsohn, Spin Geometry (Princeton University Press, 1989), for the Clifford algebras, the spin groups and the spinor modules in their geometric setting.
- Pertti Lounesto, Clifford Algebras and Spinors (Cambridge University Press, 2nd ed. 2001), for the classification, the periodicity and the explicit spinor modules.
- Michel F. Atiyah, Raoul Bott and Arnold Shapiro, Clifford Modules (Topology 3, Suppl. 1, 1964), for the periodicity and the eightfold way of the real Clifford algebras.
- Ian R. Porteous, Clifford Algebras and the Classical Groups (Cambridge University Press, 1995), for the Clifford and Pin groups and their relation to the classical groups.