Real spinors and real Dirac equation V´aclav Zatloukal∗ Faculty of Nuclear Sciences and Physical Engineering, Czech Technical University in Prague, Bˇrehov´a7, 115 19 Praha 1, Czech Republic We reexamine the minimal coupling procedure in the Hestenes’ geometric algebra formulation of the Dirac equation, where spinors are identified with the even elements of the real Clifford algebra of spacetime. This point of view, as we argue, leads naturally to a non-Abelian generalisation of the electromagnetic gauge potential. I. INTRODUCTION onto a ‘model’ flat Minkowski spacetime (over which we construct a real Clifford algebra), and the local Lorentz transformations are un- The real Clifford (or, geometric) algebra is derstood as the ways to modify these map- a convenient tool to handle geometric objects, pings. In effect, the local Lorentz transfor- and study relations among them [1]. Greatly mations act on both sides of all Clifford alge- developed in [2–4], it has been proposed as a bra elements, including the real spinors, so to universal language for theoretical physics with maintain invariance of the real Dirac equation a potential to bridge gaps between the classical we introduce two collections of gauge fields: a and quantum domains. spin connection for the action on the left, and In this article we draw attention to spinors, another non-Abelian connection for the action both in space and in spacetime, and advocate on the right. The latter encompasses, and gen- the approach of [5], in which they are regarded eralizes, the (Abelian) electromagnetic gauge as elements of the even subalgebra of the real potential. Clifford algebra (see also [4, Ch. 8] or [6] for Proposing this non-Abelian extension of the more recent treatment). This approach is re- electromagnetic field is the main purpose of viewed in Sec. II, after a brief introduction to the present article. (real) Clifford algebras, and, in Sec. III, related to a more traditional definition of spinors as members of complex vector spaces, hence pro- II. REAL CLIFFORD ALGEBRAS viding a geometric interpretation for the Dirac AND REAL SPINORS matrices, and the imaginary unit i. After these mathematical preliminaries, we Let V be an n-dimensional real vector space, focus, in Sec. IV, on the Dirac equation of rela- and Q : V R a non-degenerate quadratic tivistic quantum mechanics. In the real spinor form with signature→ (p, q). The real Clifford formalism, the corresponding reformulation, algebra ℓ(V p,q), referred to as the geometric the real Dirac(-Hestenes) equation [5, 7], is algebraC in [1–4], is the ‘freest’ tensor algebra a relation within the real Clifford algebra of generated by V , subject to the condition [8] spacetime. We analyse this equation on a a2 = Q(a). (1) arXiv:1908.04590v1 [math-ph] 13 Aug 2019 generic curved background, where tetrad (vier- bein) fields are introduced to maintain invari- Multiplication in this algebra, the Clifford ance under a change of coordinates. (or geometric) product, is associative and dis- The tangent spaces at every point of the tributive, but, in general, not commutative. spacetime manifold are isometrically mapped For a pair of vectors a and b, we can write ab = a b + a b, (2) · ∧ 1 where a b 2 (ab + ba) denotes the symmet- ∗ · ≡ E-mail: [email protected]; URL: zatlovac.eu ric part of the Clifford product, while a b ∧ ≡ 2 1 (ab ba) denotes its antisymmetric part. Ex- v0 2 − panding (a+b)2 = a2 +b2 +ab+ba shows that a b is a scalar, thereby defining an inner prod- uct· on V . The outer product a b is a so-called φ bivector. It can be pictured as∧ a parallelogram e2 with sides a and b, and an orientation ‘from a to b’. e1e2 To be explicit, let us choose an orthonor- v mal basis (e1,...,en) of the vector space V . The Clifford algebra can be decomposed into a direct sum of linear spaces e1 ℓ(V p,q)= n ℓ (V p,q), (3) C ⊕r=0C r FIG. 1: Rotation in plane. where each subspace ℓ is spanned by ba- C r sis elements of the form ej1 ej2 ...ejr . Generic A. Plane elements of ℓ are referred to as r-vectors, C r or, multivectors of grade r. Simple r-vectors, Consider a plane E2 spanned by two vectors i.e., r-vectors that can be written as an 2 2 e1 and e2, with e1 = e2 = 1 and e1 e2 = 0 outer product a1 ... a of r individual · ∧ ∧ r (Fig. 1). The corresponding real Clifford alge- vectors, are represented geometrically by r- bra dimensional oriented parallelograms with sides 2 a1,...,a . Transformations of these geometric ℓ(E )= span 1, e1,e2, e1e2 (5) r C { } objects (such as projections, rotations, or con- is 4-dimensional. It is a linear span of one tractions) can be efficiently implemented by 1 scalar 1, two vectors e1 and e2, and one bivec- operations within the Clifford algebra. 2 tor e1 e2 = e1e2. Calculating (e1e2) = 1, The subspace of even-grade (or, simply, we realize∧ that the even subalgebra − even) multivectors, 2 ℓeven(E )= span 1, e1e2 (6) p,q p,q p,q ℓeven(V )= ℓ0(V ) ℓ2(V ) ..., C { } C C ⊕C ⊕ (4) is isomorphic to complex numbers, with the is the even subalgebra of ℓ(V p,q). (Indeed, a bivector e1e2 playing the role of the imaginary product of two even multivectorsC results in an unit i. φe1e2 even multivector, owing to property (1) of the The ‘complex units’ e , where the expo- nential is defined via power series in terms of Clifford product.) The elements of ℓeven will be referred to as real spinors. C the Clifford product, are of particular geomet- To familiarise with real Clifford algebras, ric significance as they implement rotations. and reveal their geometric significance, we now Specifically, a vector v after a rotation by an consider concrete examples of physically rele- angle φ (where the handedness is dictated by the orientation of the bivector e1e2) is given vant vector spaces with increasing dimension- 2 ality. by v′ = veφe1e2 . (7) Let us remark that there is a 1-to-1 cor- 1 2 The basis vectors e1,...,en can be represented by respondence between vectors in E and com- matrices, with the ordinary matrix product taking plex numbers, which depends on the choice of the role of the Clifford product (cf. the Dirac algebra of γ-matrices). However, such representation misses the geometric origin and the geometrical significance of real Clifford algebras. Moreover, any matrix cal- 2 culation can be performed (more efficiently) using A proof consists in expanding v = v1e1 + v2e2, the algebraic rules of Clifford algebras, and a wealth eφe1e2 = cos φ + e1e2 sin φ, and in using the basic 2 2 of identities derived therefrom [3]. identities e1e2 = e2e1 and e = e = 1. − 1 2 3 vector v by an angle φ consists in decompos- v ? ing v = v|| + v⊥, and rotating v|| (the part parallel to B3) by angle φ, while keeping the e3 perpendicular part v⊥ untouched (see Fig. 2). v0 Expressed algebraically, φ φ ′ φB3 − 2 B3 2 B3 v v = v||e + v⊥ = e ve , (10) B1 B2 where in the last equality use has been made e2 of the commutation properties v B3 = B3v || − || and v⊥B3 = B3v⊥. B3 A generic rotation can be represented as e 1 φ v′ = e−B/2 veB/2, (11) v jj where the bivector B neatly encodes the rota- tion plane (together with orientation), and, via FIG. 2: Rotation in space with respect to the its magnitude3 B , the rotation angle. Even- plane represented by bivector B3 = e1e2. grade Clifford-algebra| | elements of the form e−B/2 = cos |B| B sin |B| are called rotors. 2 − |B| 2 Under the Clifford product, they form the spin the unit vector representing the direction of group Spin(3) SU(2) [10]. the ‘real axis’. For instance, for e1 we have The two-sided≃ rotor representation of ro- v e1v. 7→ tations, Eq. (11), is 2-to-1 degenerate, since e−B/2 and e−B/2 yield the same result v′. However, it− is possible to define a one-sided B. Space action ′ −B/2 Let e1,e2,e3, where ei ej = δij , be an or- ψ = e ψ (12) thonormal basis of the three-dimensional· Eu- 3 3 clidean vector space E (Fig. 2). The corre- of rotors on the even subalgebra ℓeven(E ) of sponding real Clifford algebra real spinors ψ. C In three dimensions it is always possible 3 2 ℓ(E )= span 1,e1,e2,e3,B1,B2,B3,e1e2e3 to cast a real spinor as ψ = √ρe−B/ , for C { } (8) some non-negative scalar ρ, and a bivector is 8-dimensional. It contains three indepen- B. This suggests an intuitive picture of real dent bivectors: B1 = e2e3, B2 = e3e1, and spinors in the three-dimensional space as ‘ro- B3 = e1e2, each squaring to 1. The even tors with magnitude’, in analogy with vectors − subalgebra being thought of as ‘directions with magni- tude’. 3 ℓ (E )= span 1, B1,B2,B3 (9) C even { } is isomorphic to the algebra of quaternions [9] C. Spacetime through the identification B1 = i, B2 = j, − − and B3 = k. − 3 Let γ0,γ1,γ2,γ3 be an orthonormal basis of Rotations in E take place with respect to a 1,3 the Minkowski spacetime E (γµ γν = ηµν = certain rotation plane (to which there always · corresponds, unlike in higher dimensions, a perpendicular rotation axis). Let us consider, for definiteness, the (oriented) plane defined 3 Magnitude of a bivector B = a b is defined to be by the bivector B3, i.e., the plane spanned by the area of the parallelogram spanned∧ by the vectors 2 2 2 the basis vectors e1 and e2.