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.
Set-up Let V {\displaystyle V} be a finite-dimensional vector space over R {\displaystyle \mathbb {R} } or C {\displaystyle \mathbb {C} } , equipped with a nondegenerate quadratic form Q {\displaystyle Q} . The orthogonal group and special orthogonal group of ( V , Q ) {\displaystyle (V,Q)} are
O ( V , Q ) = { g ∈ GL ( V ) : Q ( g v ) = Q ( v ) for all v ∈ V } , SO ( V , Q ) = O ( V , Q ) ∩ SL ( V ) . {\displaystyle \operatorname {O} (V,Q)=\{g\in \operatorname {GL} (V):Q(gv)=Q(v){\text{ for all }}v\in V\},\qquad \operatorname {SO} (V,Q)=\operatorname {O} (V,Q)\cap \operatorname {SL} (V).}
Thus SO ( V , Q ) {\displaystyle \operatorname {SO} (V,Q)} denotes the determinant-one subgroup, rather than necessarily the identity component of O ( V , Q ) {\displaystyle \operatorname {O} (V,Q)} . If V {\displaystyle V} is real and Q {\displaystyle Q} is indefinite, then SO ( V , Q ) {\displaystyle \operatorname {SO} (V,Q)} generally has two connected components; its identity component is denoted by SO 0 ( V , Q ) {\displaystyle \operatorname {SO} _{0}(V,Q)} or SO + ( V , Q ) {\displaystyle \operatorname {SO} ^{+}(V,Q)} . Over C {\displaystyle \mathbb {C} } , every nondegenerate quadratic form is determined up to isomorphism by the dimension n {\displaystyle n} of V {\displaystyle V} . One may therefore take V = C n {\displaystyle V=\mathbb {C} ^{n}} and
Q ( z 1 , … , z n ) = z 1 2 + ⋯ + z n 2 . {\displaystyle Q(z_{1},\ldots ,z_{n})=z_{1}^{2}+\cdots +z_{n}^{2}.}
… excerpt ends here. Continue reading the full article.
