In geometric algebra, the rotor group is the Lie group obtained by restricting Spin(r,s) to elements whose reverse is their inverse, i.e. elements which satisfy U˜U=1. For n>2 this restriction results in the identity component, i.e the rotor group is just Spine. Thus in this context for n>2 we can write ReU(v)=Uv˜U. This rotation operator can also be applied to any multivector A=Σ⟨A⟩k to yield the “rotated” multivector UA˜U. Under this operation, each k-blade, consisting of the exterior product of k vectors, is replaced with the exterior product of k rotated vectors.
The vectors in any space-like plane in a vector space can be identified with the complex numbers via the representation of the isomorphism C0(2,0)≅C(0,1)≅C effected by ˆe1ˆe2≡Ω→i, where i is the unit vector in C(0,1) identified with the imaginary unit in C. A vector v≡v1ˆe1+v2ˆe2∈C(2,0) is represented by vE≡ˆe1v=v1+v2ˆe1ˆe2 in the even subalgebra C0(2,0), and therefore by vC=v1+iv2 in C, where the choice of ˆe1 thus defines the real axis. Complex conjugation is then the reflection across the imaginary axis ˆe1vEˆe1=vˆe1=˜vE=v1+v2ˆe2ˆe1=v1−iv2=v∗C, which is also reversion in C0(2,0). The complex inner product is ⟨vC,wC⟩C=v∗CwC=˜vEwE=⟨v,w⟩R. Note that multiplication by the imaginary unit in C is represented by right Clifford multiplication by Ω in C0(2,0): vEΩ=ˆe1vΩ=v1Ω−v2=iv1−v2=ivC. This means that exponential rotations must also act from the right in C0(2,0), and since Ω anti-commutes with vectors, both operations from the left reverse sign: eΩθvE=eΩθ(ˆe1v)=ˆe1(e−Ωθv)=(e−Ωθv)E=e−iθvC.
The representation of the isomorphism C0(1,3)≅C(3,0) effected by ˆeiˆe0→σi is sometimes called a space-time split in geometric algebra, since the resulting basis of C(3,0) reflects (and depends upon) the particular chosen orthonormal basis ˆei of C0(1,3). An event x∈C(1,3) with spacetime coordinates xμˆeμ is represented by xˆe0=x0+xiσi in C(3,0); such a linear combination of scalar and vector in C(3,0) is then called a paravector (although this term is sometimes used differently). This scheme can be used to treat relativistic physics in a condensed manner. Note that a space-time split “preserves” the scalar and pseudo-scalar basis: I→I and Ω→Ω. If spacetime is instead represented by the “mostly pluses” signature algebra C(3,1), −xˆe0 can be used as the space-time split with ˆe0ˆei→σi in order to make the signs come out right.
There is also an interesting alternative to the standard definition of Dirac and Weyl spacetime spinors (as vectors acted on by a faithful complex representation of Spin(3,1)e), which instead considers these spinors as elements of the Clifford algebra associated with space. The Dirac spinors are vectors in C4, a complex vector space of dimension 4 that decomposes into two orthogonal 2-dimensional complex subspaces which are each invariant under the action of Spin(3,1)e. Now, the even subalgebra C0(3,1)≅C(3,0)≅C(2) can also be viewed as a complex vector space of dimension 4. The action of Spin(3,1)e on C0(3,1) by Clifford multiplication is linear, and C0(3,1) decomposes into two spaces invariant under Spin(3,1)e: the bivectors that are real linear combinations of e0ei≅σi have negative determinant, while linear combinations of the remaining bivectors eiej≅σiσj=iσk have positive determinant, as do the scalars. The pseudo-scalars are real multiples of Ω=e0e1e2e3, and so have negative determinant. Thus an element of Spine(3,1)≅SL(2,C), having determinant +1, leaves invariant these positive and negative determinant subspaces under Clifford multiplication. Note that as C(3,0), these subspaces are exactly the even and odd subspaces C0(3,0) and C1(3,0).
This alternative definition of spinor then readily generalizes to any dimension, i.e. spinors can be defined as elements of the 2n−1-dimensional vector space C0(r,s)≅C(r,s−1) acted on by Spin(r,s)e via Clifford multiplication. However, it is important to note that despite the accidental equivalency in signature (3,1), for other signatures and dimensions these definitions are quite distinct. In particular, the above decomposition of C0(3,1)≅C(2) as a vector space of spinors under the action of Spin(3,1)e is completely unrelated to the chiral decomposition of the Dirac rep CC(3,1)≅C(4) when restricted to C0(3,1). This is underscored by the fact that while the Dirac rep decomposes as a rep of any part of the even subalgebra, the decomposition of the spinor space C0(3,1) only occurs under the action of the identity component Spin(3,1)e: the determinant is not preserved under the action of Spin(3,1)≅SL±(2,C), and so there is no decomposition in this case. Lastly, note that this gives us a new characterization of Spin(3,1)e as plus or minus the exponentials of the Lie algebra of vectors and bivectors in C(3,0).