In mathematics, the spin representations are particular projective representations of the orthogonal or special orthogonal groups in arbitrary dimension and signature (i.e., including indefinite orthogonal groups). More precisely, they are two equivalent representations of the spin groups, which are double covers of the special orthogonal groups. They are usually studied over the real or complex numbers, but they can be defined over other fields.
Elements of a spin representation are called spinors. They play an important role in the physical description of fermions such as the electron.
The spin representations may be constructed in several ways, but typically the construction involves (perhaps only implicitly) the choice of a maximal isotropic subspace in the vector representation of the group. Over the real numbers, this usually requires using a complexification of the vector representation. For this reason, it is convenient to define the spin representations over the complex numbers first, and derive real representations by introducing real structures.
The properties of the spin representations depend, in a subtle way, on the dimension and signature of the orthogonal group. In particular, spin representations often admit invariant bilinear forms, which can be used to embed the spin groups into classical Lie groups. In low dimensions, these embeddings are surjective and determine special isomorphisms between the spin groups and more familiar Lie groups; this elucidates the properties of spinors in these dimensions.
Let be a finite-dimensional real or complex vector space with a nondegenerate quadratic form . The (real or complex) linear maps preserving form the orthogonal group . The identity component of the group is called the special orthogonal group . (For real with an indefinite quadratic form, this terminology is not standard: the special orthogonal group is usually defined to be a subgroup with two components in this case.) Up to group isomorphism, has a unique connected double cover, the spin group . There is thus a group homomorphism whose kernel has two elements denoted