Clifford algebras combine tensor algebra with quadratic forms. They are associative algebras generated by a vector space subject to a rule that relates multiplication to length.
The central relation is
Here is a vector space, is a quadratic form on , and is the multiplicative identity of the algebra. This relation forces vectors to multiply in a way that remembers the geometry of . Clifford algebras generalize real numbers, complex numbers, quaternions, exterior algebras, and geometric algebras. They are closely tied to quadratic forms and orthogonal transformations.
104.1 Motivation
Exterior algebra gives a product with the rule
This is useful for encoding oriented area, volume, and alternating structure. But it discards the length of a vector.
Clifford algebra modifies this idea. Instead of forcing the square of every vector to vanish, it forces the square of a vector to equal its quadratic length:
Thus Clifford multiplication contains both alternating information and metric information.
This makes Clifford algebras useful in geometry. They can represent reflections, rotations, orthogonal transformations, spinors, and metric-dependent geometric operations.
104.2 Quadratic Forms
Let be a vector space over a field .
A quadratic form is a function
such that
and such that the associated polar form
is bilinear, assuming the field has characteristic not equal to .
For real vector spaces, a common example is
The pair is the signature of the quadratic form.
Clifford algebra depends on this quadratic form. Changing changes the multiplication rules.
104.3 Definition
Let be a vector space over , and let
be a quadratic form.
The Clifford algebra of , denoted
is a unital associative algebra generated by subject to the relation
for every .
The word generated means that every element of can be expressed as a finite linear combination of products of vectors from .
Thus typical elements look like
Clifford algebra is therefore built from scalar parts, vector parts, bivector parts, and higher-grade parts.
104.4 The Fundamental Relation
The defining relation
implies a relation between products of two different vectors.
Using
expand the left side:
Using the defining relation,
Therefore,
If is the polar bilinear form, then
This identity is often the working rule of Clifford algebra.
It says that the symmetric part of Clifford multiplication is controlled by the bilinear form.
104.5 Orthogonal Bases
Suppose is an orthogonal basis for with respect to .
Then
for .
The Clifford relation gives
for . Hence
Also,
Thus orthogonal basis vectors anticommute, and their squares are determined by the quadratic form. This is the basic computational rule for Clifford algebras.
104.6 Basis and Dimension
If has dimension , then has dimension
when is nondegenerate over the usual finite-dimensional setting.
For an orthogonal basis
a basis of the Clifford algebra is given by products
where
The empty product is the scalar .
Thus the basis consists of
| Grade | Basis elements |
|---|---|
| 0 | |
| 1 | |
| 2 | , |
| 3 | , |
| , increasing indices |
There are
basis elements of grade . Summing over all gives
104.7 Comparison with Exterior Algebra
As vector spaces, Clifford algebra and exterior algebra have the same dimension in the finite-dimensional nondegenerate case:
But their products differ.
In exterior algebra,
In Clifford algebra,
Thus exterior algebra records alternating structure, while Clifford algebra records alternating structure plus metric structure.
For orthogonal vectors and ,
This resembles the exterior product. But for a single vector,
which has no exterior-algebra analogue unless .
104.8 Clifford Product
The multiplication in is called the Clifford product or geometric product.
For vectors , the Clifford product decomposes into symmetric and alternating parts:
This formula is commonly used in geometric algebra notation.
The scalar part
measures the metric pairing.
The bivector part
measures oriented area.
Thus the Clifford product combines dot-product-like and wedge-product-like information in one operation.
104.9 Low-Dimensional Examples
Let with basis .
If
then
The algebra has basis
Every element has the form
If instead
then
The algebra generated by behaves like the complex numbers, with playing the role of .
Thus complex numbers can be viewed as a Clifford algebra in one negative direction.
104.10 The Plane
Let with orthonormal basis , and suppose
Since and are orthogonal,
The Clifford algebra has basis
Let
Then
Using anticommutation,
Therefore,
Thus the bivector behaves like an imaginary unit.
This explains why rotations in the plane can be represented using exponentials of bivectors.
104.11 Reflections
Clifford algebras encode reflections efficiently.
Let be a nonzero vector with
The reflection of a vector across the hyperplane orthogonal to can be written as
only when the reflecting vector is placed correctly. The standard reflection in the hyperplane normal to is
Here
This formula expresses a geometric reflection using algebra multiplication.
Reflections generate orthogonal transformations. Therefore Clifford algebras give algebraic control over rotations and orthogonal groups.
104.12 Rotations and Spin Groups
A rotation can be expressed as a product of two reflections.
In Clifford algebra, this means rotations can be represented by products of unit vectors.
Elements generated by products of an even number of unit vectors form the spin group.
The spin group maps onto the special orthogonal group. It gives a double cover:
This means two spin elements correspond to the same rotation.
Spin groups and spinors are central in geometry, topology, and quantum physics.
104.13 Even Subalgebra
The Clifford algebra has a natural parity decomposition:
The even part contains sums of products of an even number of vectors.
The odd part contains sums of products of an odd number of vectors.
The even part
is a subalgebra.
The odd part is not generally a subalgebra, because the product of two odd elements is even.
The even subalgebra is especially important for rotations and spin groups.
104.14 Real Clifford Algebras
For real vector spaces, Clifford algebras are classified by signature.
Let
The corresponding real Clifford algebra is often denoted
Here is the number of positive square directions, and is the number of negative square directions.
These algebras include matrix algebras over
and their direct sums in certain cases. Real Clifford algebras are commonly classified by this signature.
104.15 Complex Clifford Algebras
Over the complex numbers, the classification is simpler because signs can be absorbed by complex scalars.
The distinction between positive and negative squares largely disappears.
Complex Clifford algebras depend mainly on the dimension of the vector space.
They are closely related to matrix algebras and spinor representations.
This is why complex Clifford algebras are prominent in representation theory and quantum mechanics.
104.16 Clifford Algebra and Quaternions
The quaternions
are generated by elements satisfying
Certain real Clifford algebras are isomorphic to quaternionic algebras.
For example, in a negative definite two-dimensional space with basis ,
and
Let
Then
and the quaternionic multiplication rules appear.
Thus quaternions are naturally connected to Clifford algebra.
104.17 Clifford Algebra and Geometry
Clifford algebra provides a compact language for Euclidean and pseudo-Euclidean geometry.
It represents:
| Object | Clifford-algebra interpretation |
|---|---|
| Scalar | Grade element |
| Vector | Grade element |
| Oriented plane element | Grade element |
| Oriented volume element | Top-grade element |
| Reflection | Conjugation by a vector |
| Rotation | Product of two reflections |
| Spinor | Element representing rotation in spin space |
The product keeps track of both metric and orientation.
This makes the algebra effective for computations involving rotations, rigid motion, and geometric transformations.
104.18 Clifford Algebra in Physics
Clifford algebras appear throughout theoretical physics.
Examples include:
| Area | Role |
|---|---|
| Quantum mechanics | Spinors and Pauli matrices |
| Relativity | Spacetime algebra |
| Dirac equation | Gamma matrices |
| Electromagnetism | Field bivectors |
| Classical mechanics | Rotors and transformations |
The gamma matrices used in the Dirac equation satisfy Clifford relations. Their anticommutation rules encode the spacetime metric.
This is a direct use of the identity
104.19 Example
Let with basis , and let
Compute
Expand:
Since
the mixed terms cancel:
Therefore,
This agrees with the quadratic form:
The example shows how the Clifford relation enforces metric length algebraically.
104.20 Summary
Clifford algebras are associative algebras generated by a vector space with a quadratic form.
Their defining relation is
Key structures include:
| Concept | Meaning |
|---|---|
| Quadratic form | Determines vector squares |
| Clifford product | Multiplication combining metric and exterior structure |
| Orthogonal basis rule | , |
| Even subalgebra | Algebra of even-grade elements |
| Spin group | Products of unit vectors representing rotations |
| Bivector | Oriented plane element |
Clifford algebra extends exterior algebra by adding metric information. It gives a unified algebraic language for length, angle, orientation, reflection, rotation, spinors, and orthogonal geometry.