Definition
Clifford module
A module carrying a compatible representation of a Clifford algebra.
Definition
Let be a Clifford algebra. A Clifford module is a module together with a unital algebra homomorphism
Equivalently, it is a linear map , called Clifford multiplication, satisfying
under the Riemannian sign convention. Polarization yields
when . A different Clifford-algebra sign convention changes both displayed signs. The scalar ring and module category are understood to be the same as those used to construct .
Graded modules
If is -graded, it is a graded Clifford module when Clifford multiplication by every is odd:
Equivalently, the algebra representation preserves total degree: the even part of the Clifford algebra acts evenly and the odd part acts oddly. Ungraded Clifford modules are also standard, especially in odd dimension.
Clifford module bundles
Let be a Riemannian manifold. A Clifford module bundle is a vector bundle with a smooth bundle-algebra action
Fiberwise, each is a module over . If is Hermitian, one usually also requires for real covectors ; this compatibility is an extra metric condition, not part of the purely algebraic definition.
Role in Dirac operators
A compatible connection on a Clifford module bundle allows the composition
This first-order differential operator is of Dirac type. Clifford multiplication supplies its principal symbol, whereas the choice of compatible connection supplies additional geometric data.
References
- H. Blaine Lawson Jr. and Marie-Louise Michelsohn, Spin Geometry, Princeton University Press, 1989. DOI record. Relevant: Chapters I–II, Clifford modules and spinors.
- Nicole Berline, Ezra Getzler, and Michèle Vergne, Heat Kernels and Dirac Operators, Springer, 1992. DOI record. Relevant: Chapter 3, Clifford modules and Dirac-type operators.