Clifford algebras turn a quadratic form into an associative algebra in which vectors multiply. That multiplication packages lengths, angles, reflections and rotations into one structure and leads naturally to Pin groups, Spin groups and spinor representations.
The subject begins with a deceptively simple relation: a vector squares to its quadratic length. From that rule, perpendicular vectors anticommute. Products of unit vectors encode reflections. Even products encode rotations. The Spin group sits inside the even Clifford algebra and double-covers the ordinary rotation group.
This guide connects the BTT routes through projective representations, Lie representations and the separate Quantum Mathematics operator guide. It gives the algebraic geometry behind the SU(2)→SO(3) double cover already encountered in the projective-representation article.
Definition · Basis and dimension · Reflections · Rotors · Spin groups · Spinors · Practice
Quadratic geometry before Clifford multiplication
Let V be a finite-dimensional vector space over a field of characteristic not equal to 2, equipped with a quadratic form Q. The associated symmetric bilinear form is
B(u,v)=[Q(u+v)−Q(u)−Q(v)]/2.
In Euclidean space, Q(v)=||v||² and B is the dot product.
Ordinary vector addition does not multiply directions. Clifford algebra adds a product designed so the quadratic form is built into multiplication itself.
The Clifford relation
The Clifford algebra Cl(V,Q) is the associative unital algebra generated by V subject to
v²=Q(v)1.
Expanding (u+v)² gives
uv+vu=2B(u,v)1.
Thus orthogonal vectors anticommute: if B(u,v)=0, then uv=−vu.
Sign conventions vary. Many geometry texts use v²=+Q(v), while some physics and differential-geometry conventions absorb a minus sign. The signature notation Clp,q also depends on which basis vectors are assigned +1 and −1. A calculation must state its convention.
Worked two-dimensional Euclidean algebra
Let e₁,e₂ be an orthonormal Euclidean basis with
e₁²=e₂²=1, e₁e₂=−e₂e₁.
Set J=e₁e₂. Then
J²=e₁e₂e₁e₂=−e₁²e₂²=−1.
The bivector J behaves algebraically like the imaginary unit, but it has geometric meaning: it represents the oriented plane element e₁∧e₂ inside the Clifford algebra.
This is one reason complex-number rotation formulas appear naturally inside real two-dimensional Clifford algebra.
Dimension doubles with every independent vector direction
If dimV=n and the quadratic form is nondegenerate, the Clifford algebra has vector-space dimension 2n.
For an orthogonal basis e₁,…,en, a standard vector-space basis consists of ordered products
1, ei, eiej, eiejek, …
with strictly increasing indices. There are C(n,r) products of grade r, and
Σr=0nC(n,r)=2n.
For n=2, the basis is {1,e₁,e₂,e₁e₂}, giving dimension 4.
For n=3, the basis has eight elements: one scalar, three vectors, three bivectors and one trivector.
Clifford algebra and exterior algebra share a vector space, not a product
As vector spaces, Cl(V,Q) can be identified with the exterior algebra ΛV under standard hypotheses. The grading by scalars, vectors, bivectors and higher blades is therefore familiar.
But the products differ. In the exterior algebra, v∧v=0. In the Clifford algebra, v²=Q(v), generally nonzero.
The Clifford product combines inner-product and exterior-product information. For vectors u,v one can separate
uv=B(u,v)+u∧v
in the common geometric-algebra convention.
Thus the symmetric part remembers metric information while the antisymmetric part remembers oriented area.
Vector inverses
If v is nonisotropic, so Q(v)≠0, then v is invertible in the Clifford algebra:
v−1=v/Q(v).
Indeed vv/Q(v)=1.
Unit vectors with Q(v)=±1 are therefore especially convenient: their inverses are ±v depending on the convention and signature.
Reflections are encoded by sandwiching with a vector
Let n be a unit Euclidean vector. The reflection of v across the hyperplane perpendicular to n is
v′=−nvn.
To verify it, decompose v=v∥+v⊥, where v∥ is parallel to n and v⊥ is perpendicular to n.
The parallel component commutes with n and changes sign under −nvn. The perpendicular component anticommutes with n and remains unchanged. Therefore the normal component reverses while the hyperplane component is preserved.
A geometric reflection has become an algebraic conjugation-like formula.
Worked reflection in R2
Take n=e₁ and v=ae₁+be₂. Then
−e₁ve₁=−a e₁³−b e₁e₂e₁.
Since e₁³=e₁ and e₁e₂e₁=−e₂,
−e₁ve₁=−ae₁+be₂.
This is reflection across the e₂-axis, the hyperplane perpendicular to e₁.
Two reflections produce a rotation
The Cartan–Dieudonné theorem says that, for a nondegenerate quadratic space, orthogonal transformations can be built from reflections. In Euclidean geometry, composing two reflections in lines or hyperplanes produces a rotation when the reflecting directions are arranged appropriately.
Inside a Clifford algebra, two reflection vectors multiply to an even element. That even element acts on vectors by a sandwich formula and becomes a rotor.
Rotors are even Clifford elements
In the Euclidean plane, let J=e₁e₂ with J²=−1. Define
R=exp(−Jθ/2)=cos(θ/2)−J sin(θ/2).
Its inverse is
R−1=cos(θ/2)+J sin(θ/2).
The rotated vector is
v′=RvR−1.
The half-angle is essential. The rotor itself lives in a double cover of the rotation group.
Worked rotation of e1
Write c=cos(θ/2), s=sin(θ/2). Then R=c−Js and R−1=c+Js.
Use e₁J=e₂, Je₁=−e₂ and Je₁J=e₁. Expanding gives
Re₁R−1=(c²−s²)e₁+2cs e₂.
Since c²−s²=cosθ and 2cs=sinθ,
Re₁R−1=cosθ e₁+sinθ e₂.
The Clifford sandwich reproduces the ordinary rotation matrix.
Why R and −R give the same rotation
Replace R by −R:
(−R)v(−R)−1=RvR−1.
The central sign cancels. Thus two opposite rotor elements determine the same orthogonal transformation.
This is the double-cover structure that later becomes Spin(n)→SO(n). The projective-representation article described the same phenomenon from the quotient side; Clifford algebra constructs it internally.
The even subalgebra
Clifford elements split into even and odd parity according to whether they are sums of products of an even or odd number of vectors.
The even subalgebra Cl⁰(V,Q) is closed under multiplication. Rotors and Spin groups live here because they arise from even products of unit vectors.
For two-dimensional Euclidean space, Cl⁰ is spanned by 1 and J and is isomorphic to C as a real algebra. This is the algebraic reason planar rotations can be encoded by complex multiplication.
Reversion provides the natural rotor inverse
Clifford algebras have an anti-automorphism called reversion, often denoted by a tilde, that reverses the order of vector factors:
~(v₁v₂···vr)=vr···v₂v₁.
For a normalised rotor R built from unit vectors, one has R~R=1, so ~R=R−1.
In the two-dimensional example, reversion sends J=e₁e₂ to e₂e₁=−J, turning cos(θ/2)−Jsin(θ/2) into its inverse.
Pin and Spin groups
The Pin group is generated inside the invertible Clifford algebra by suitable unit vectors. Its conjugation action maps onto the orthogonal group O(V,Q), with a central kernel involving scalar signs under the usual real nondegenerate hypotheses.
The Spin group consists of even products and maps onto the special orthogonal group SO(V,Q):
1→{±1}→Spin(V,Q)→SO(V,Q)→1
in the standard Euclidean dimensions and conventions.
Thus Spin(n) is a double cover of SO(n). It is not merely a second copy of the rotation group; it contains the extra sign information needed for spinor representations.
Spin(2) is a circle acting with half-angle
In the Euclidean plane, rotors have the form
R(θ)=cos(θ/2)−Jsin(θ/2).
As θ runs from 0 to 2π, the rotor runs from 1 to −1 rather than back to 1. A second 2π rotation returns it to 1.
The induced rotation of vectors has already completed one full cycle after θ=2π because R and −R act identically by conjugation.
The half-angle and double cover are therefore algebraically inseparable.
Spin(3) is isomorphic to SU(2)
For three-dimensional Euclidean space, Spin(3) is isomorphic as a Lie group to SU(2). Its action on vectors descends to the familiar double cover
SU(2)→SO(3).
This identifies two descriptions of the same structure:
- SU(2) as 2×2 unitary determinant-one matrices,
- Spin(3) as normalised even Clifford products acting on R³.
The projective spin-1/2 representation of SO(3) is therefore an ordinary representation of Spin(3)≈SU(2).
Pauli matrices realise Clifford anticommutation
The Pauli matrices satisfy
σiσj+σjσi=2δijI.
This is exactly a Clifford relation for orthonormal generators in a complex matrix representation.
Care is needed with dimensions. The full complex Clifford algebra in odd dimension is not faithfully represented by every small Pauli-matrix realisation; an irreducible representation can factor through one simple component. The anticommutation relations are correct, but one should not infer algebra isomorphism merely from the existence of matrices satisfying them.
For Cl₂(C), two suitable Pauli matrices generate M₂(C), giving a faithful irreducible model of the four-dimensional complex Clifford algebra.
Spinors are modules for Clifford or Spin structures
A spinor is not simply a vector in the original Euclidean space. It lives in a representation space for a Clifford algebra or Spin group.
Vectors transform through the defining orthogonal representation. Spinors transform through representations of the double cover. Therefore a 2π rotation may act as −1 on a spinor while acting as the identity on vectors.
This is precisely why spinors can carry half-integer angular-momentum representations.
In even complex dimension 2m, the complex Clifford algebra is isomorphic to a full matrix algebra M2^m(C), so it has a fundamental irreducible module of dimension 2m. Restricting this module to Spin(2m) yields the spin representation, which further splits into two half-spin representations under standard even-dimensional conditions.
Dimension check for complex Clifford algebras
For complex dimension n=2m, Cln(C) has vector-space dimension 22m. The matrix algebra M2^m(C) has dimension
(2m)²=22m,
so the dimensions match the classical isomorphism.
For odd n=2m+1, the complex Clifford algebra splits into two simple matrix components. This difference explains why odd- and even-dimensional spinor theories have different algebraic forms.
Real Clifford algebras depend on signature
Over R, the isomorphism type depends on the signature (p,q), not merely p+q. Real Clifford algebras exhibit an eightfold periodic pattern known as Bott periodicity at the algebraic classification level.
Depending on p−q modulo 8, Clp,q is built from real, complex or quaternionic matrix algebras, sometimes as a direct sum.
This signature dependence is essential in Lorentzian geometry and relativistic physics. Euclidean spinors and spacetime spinors are related but not interchangeable without changing the quadratic form.
Lorentzian Clifford algebra and gamma matrices
In spacetime applications, gamma matrices satisfy an anticommutation relation of the form
γμγν+γνγμ=2ημνI,
where η is the spacetime metric matrix in the chosen sign convention.
These matrices realise a Clifford algebra on a spinor space. The Dirac operator combines gamma matrices with derivatives, linking Clifford representation theory to partial differential equations and relativistic quantum mechanics.
The physical theory adds substantial analytic and interpretive structure. The representation-theoretic core is the Clifford anticommutation relation and the spinor module it acts on.
Clifford algebras and differential geometry
On a Riemannian manifold, each tangent space has a Clifford algebra built from the metric. A spin structure allows these local spin representations to be assembled consistently into a spinor bundle.
The Dirac operator then acts on sections of that bundle. Its square is related to the Laplacian and curvature through identities such as the Lichnerowicz formula.
This is one path from elementary anticommutation to index theory, topology and global geometry.
Not every manifold admits a spin structure
A spin structure is a lift of the oriented orthonormal frame bundle from SO(n) to Spin(n). Such a lift can be obstructed topologically.
For an oriented manifold, the standard obstruction is the second Stiefel–Whitney class w₂. If w₂≠0, no spin structure exists.
This shows again that local Clifford algebra does not automatically guarantee a global spinor field. Global topology can obstruct the lift.
The same local-versus-global distinction appeared earlier for Lie algebra representations and projective representations.
Pin groups extend the construction to reflections
Spin groups cover orientation-preserving orthogonal transformations. Pin groups include odd products of unit vectors and cover the full orthogonal group, including reflections.
Over indefinite real signatures there are subtleties about Pin+ and Pin− conventions and which vectors square to ±1. One should therefore state the quadratic convention before quoting a Pin-group exact sequence.
Why bivectors generate rotations infinitesimally
The Lie algebra spin(n) can be realised inside the bivectors of the Clifford algebra. Exponentiating bivectors produces rotors.
This identifies the Lie algebra so(n) with bivector generators after the appropriate factor convention. Plane elements become infinitesimal rotations.
In three dimensions, bivectors are dual to ordinary axial vectors, which is why cross-product intuition can imitate rotation generators. Clifford algebra generalises the construction without requiring a special three-dimensional cross product.
A representation workflow
- Specify the field and quadratic-form convention.
- Choose an orthogonal basis and record each ei².
- Use anticommutation to reduce products to ordered basis monomials.
- Check vector inverses before using reflection formulas.
- Construct rotors as even products or exponentials of bivectors.
- Verify R~R=1 for a normalised rotor.
- Use v↦RvR−1 to test the induced orthogonal transformation.
- Distinguish the vector representation from spinor modules.
Common mistakes
- Mixing sign conventions: v² can be +Q(v) or −Q(v) depending on the source.
- Confusing exterior and Clifford products: v∧v=0 but v²=Q(v) in the Clifford algebra.
- Forgetting the half-angle: rotors use θ/2 because Spin double-covers SO.
- Calling a spinor an ordinary spatial vector: it belongs to a different representation space.
- Assuming a Pauli realisation is automatically faithful: algebra dimensions and components must be checked.
- Ignoring topology: local spin representations do not guarantee a global spin structure.
Practice with worked answers
1. Orthogonal generators
If e₁ and e₂ are orthogonal unit Euclidean vectors, what is e₁e₂+e₂e₁? Answer: 0.
2. Bivector square
With J=e₁e₂, compute J². Answer: −1.
3. Dimension
What is the vector-space dimension of a Clifford algebra on a four-dimensional quadratic space? Answer: 2⁴=16.
4. Vector inverse
If Q(v)=9, what is v−1? Answer: v/9.
5. Reflection
Reflect ae₁+be₂ across the e₂-axis. Answer: −ae₁+be₂, obtained from −e₁ve₁.
6. Rotor double cover
Do R and −R give different vector rotations? Answer: no. Their signs cancel in RvR−1.
7. Full turn
What is the planar rotor at θ=2π? Answer: cosπ−Jsinπ=−1. It induces the identity rotation on vectors.
8. Spinor return
How far must θ advance for the rotor itself to return from 1 back to 1? Answer: 4π.
9. Spin(3)
Which familiar Lie group is Spin(3) isomorphic to? Answer: SU(2).
10. Global obstruction
What standard characteristic class obstructs a spin structure on an oriented manifold? Answer: the second Stiefel–Whitney class w₂.
The structural lesson
Clifford algebra turns geometry into multiplication. Reflections become vector sandwiches. Rotations become even products and exponentials of bivectors. Spin groups emerge because two opposite Clifford elements can induce the same orthogonal transformation.
quadratic form → Clifford relation → vector products → reflections → rotors → Spin group → spinor representations.
The double-cover phenomenon is not an arbitrary quantum curiosity. It is already encoded in the algebra of Euclidean rotations.
References for further study
Standard references include H. Blaine Lawson and Marie-Louise Michelsohn, Spin Geometry; Pertti Lounesto, Clifford Algebras and Spinors; and William Fulton and Joe Harris, Representation Theory, for spin representations and classical groups. David Hestenes develops the geometric-algebra interpretation of rotors and Clifford multiplication.
Representation Mathematics — Batch 05
Study scalar phase obstruction in Projective Representations. Build tensor-compatible symmetry algebras in Hopf Algebras. Deform those Hopf symmetries in Quantum Groups and Uq(sl₂). Return to the BTT Mathematics Learning Hub.