sign in sign up
<<
Home , Linear span

arXiv:1908.04590v1 [math-ph] 13 Aug 2019 arcs n h mgnr unit imaginary the Dirac and the matrices, for interpretation as pro- geometric hence a spinors spaces, viding of vector complex definition of traditional members more related a to III, introduction Sec. to in brief and, a algebras, for Clifford after re- (real) [6] II, is Sec. or approach in This 8] viewed Ch. treatment). [4, recent also the more of (see subalgebra algebra even Clifford the regarded of are they elements which advocate as in and [5], spacetime, of approach in the and space in both domains. classical quantum the between and gaps a bridge to as potential with proposed a physics theoretical been for has language Greatly it universal [1]. [2–4], them in among developed relations objects, study geometric handle and to tool convenient a ∗ pctm aiodaeioerclymapped isometrically are manifold spacetime coordinates. of change invari- a maintain a under to ance introduced on are equation fields bein) (vier- this tetrad of where analyse background, algebra curved generic We Clifford is real 7], the spacetime. [5, within relation equation a Dirac(-Hestenes) reformulation, real corresponding the spinor the real the formalism, rela- In of equation mechanics. Dirac quantum the tivistic on IV, Sec. in focus, -al alvcgalcm URL: [email protected]; E-mail: fsaeie hspito iw sw ru,lasnaturall leads argue, we eve as potential. view, the gauge of with electromagnetic point identified This are spacetime. spinors of where equation, Dirac the nti ril eda teto ospinors, to attention draw we article this In is algebra geometric) (or, Clifford real The h agn pcsa vr on fthe of point every at spaces tangent The we preliminaries, mathematical these After ereaietemnmlculn rcdr nteHestenes the in procedure coupling minimal the reexamine We .INTRODUCTION I. aut fNcerSine n hsclEngineering, Physical and Sciences Nuclear of Faculty elsiosadra ia equation Dirac real and spinors Real ˇ eo´ ,151 rh ,CehRepublic Czech 1, Praha 19 115 Bˇrehov´a 7, zc ehia nvriyi Prague, in University Technical Czech zatlovac.eu i . ´ ca ZatloukalV´aclav real and omwt intr ( signature with form where rbtv,bt ngnrl o commutative. vectors not of pair general, a For in dis- and but, associative tributive, is product, geometric) (or ler n[–] ste‘ret esralgebra ‘freest’ the by is generated [1–4], in algebra algebra lcrmgei edi h anproeof purpose main article. present the the is field electromagnetic gauge electromagnetic potential. (Abelian) gen- and the encompasses, eralizes, latter The right. action and the the on left, for the connection on non-Abelian action a another the fields: for gauge connection of spin collections two equation introduce Dirac to we real so the alge- spinors, of invariance Clifford real transfor- maintain all the Lorentz of including elements, sides local map- bra both the these on act effect, modify mations In to ways pings. the un- algebra), as are transformations Clifford derstood Lorentz real local the a and construct (over we spacetime Minkowski which flat ‘model’ a onto i ato h lffr rdc,while product, Clifford the of part ric utpiaini hsagba h Clifford the algebra, this in Multiplication Let rpsn hsnnAeinetnino the of extension non-Abelian this Proposing I ELCIFR ALGEBRAS CLIFFORD REAL II. Q ∗ V a oannAeingnrlsto fthe of generalisation non-Abelian a to y : C · lmnso h elCiodalgebra Clifford real the of elements n ean be V ℓ b ( N ELSPINORS REAL AND ≡ V → emti ler omlto of formulation algebra geometric ’ p,q V 1 2 ab n ( R ujc otecniin[8] condition the to subject , ,rfre oa h geometric the as to referred ), -dimensional ab = a o-eeeaequadratic non-degenerate a 2 + a = ba a · ,q p, b Q and eoe h symmet- the denotes ) + ( .Tera Clifford real The ). a a ) b . ∧ ecnwrite can we , real b, etrspace, vector a ∧ b (2) (1) ≡ 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 , thereby defining an inner prod- uct· on V . The a b is a so-called φ . 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 (e1,...,en) of the 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, 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 , 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 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 : 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 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. A rotation of a a and b: B = pa b (a b) . | | − · 4 diag(1, 1, 1, 1)). The real Clifford algebra D. Generic dimension (also referred− − to− as the spacetime algebra [2]) p,q 1,3 For a generic (pseudo) E , ℓ(E )= span 1, γµ, γµ γν , γµI, I , C { ∧ (13)} p + q = n, the real Clifford algebra is a lin- ear space of dimension 2n. As before, the where I = γ0γ1γ2γ3 denotes the unit pseu- doscalar, is 16-dimensional. The even subal- real spinors can be defined as the elements of the 2n−1-dimensional even subalgebra [6]. gebra Note that this is the smallest 1,3 p,q ℓeven(E )= span 1, γµ γν , I (14) of ℓ(E ), which contains all rotors, and so C { ∧ } canC naturally serve as a representation space has dimension 8. It contains 6 indepen- for the one-sided rotor action. dent bivectors that can be arranged into This representation is, in general, not irre- two groups: spatial bivectors γ2γ1,γ1γ3,γ3γ2, ducible, for any idempotent element can be which square to 1; and spatio-temporal used to split the representation space into two − bivectors γ1γ0,γ2γ0,γ3γ0, which square to 1. invariant subspaces. For example, in the case 2 A (proper orthochronous) Lorentz transfor- of the Minkowski spacetime, since (γ3γ0) = 1, mation is described similarly to Eq. (11) in we have two even multivectors (1 γ3γ0)/2, terms of an even multivector (a spacetime ro- which act by right multiplication as± the corre- tor) U: sponding projectors [10, Ch. 17].

v′ = Uv U,UU =1. (15)

Here, the reversion e. is a lineare operation that III. RELATING REAL AND reverses the order of factors in a Clifford prod- COMPLEX SPINORS uct: (a...b) = b...ae . In effect, it reverses the sign of bivectors and trivectors while leaving The spinors used in quantum theory are scalars, vectors,e and pseudoscalars invariant. most commonly defined as complex vectors, A spacetime rotor U can be cast (up to acted upon by complex matrices. In this sec- a possible factor of 1) as an exponential − tion we demonstrate the capability of real of a bivector, which has, in general, three spinors to substitute the traditional complex spatial components generating rotations, and spinors by establishing a 1-to-1 correspon- three spatio-temporal components generating dence between the two systems. This is pos- boosts [4, Ch. 5.4]. Rotors form a Lie group, sible in space and in spacetime, since the di- the spin group Spin+(1, 3) SL(2, C), and ≃ mensions of their respective even subalgebras bivectors form the corresponding Lie algebra match the number of real components of the ′ ′ ′ with the Lie bracket [B,B ]= BB B B [4, C2 and C4 vectors. Ch. 11.3]. − Real spinors in spacetime are again elements of the even subalgebra.4 The one-sided ac- tion of spacetime rotors on real spinors is com- A. Pauli spinors and real spinors in space pletely analogous to Eq. (12): Ψ′ = UΨ. Apart from this, we can also define the two- In the three-dimensional space E3, the 4- sided action Ψ′ = UΨU, which will play a (real)-component real spinors ψ are in 1-to-1 prominent role in Sec. IV below.5 e

geometric meaning. Since 4 It is perhaps worth to note that they can always be U(v1 ...vr)U = (Uv1U) ... (UvrU) decomposed, similarly to the case in three dimen- e e e 2 sions, as Ψ = √ρeIβ/ R, where ρ is a non-negative for any r, it acts on a generic multivector by trans- scalar, β is a scalar, and R is a rotor [5]. forming each of its vector constituents according to 5 The two-sided prescription has, in fact, a very good Eq. (15). 5 correspondence with Pauli spinors B. Dirac spinors and real spinors in spacetime z0 ψ = C2, (16) | i z1 ∈ In Minkowski spacetime E1,3, the 8-(real)- component real spinors Ψ are in 1-to-1 corre- where the two complex components of ψ are spondence with Dirac spinors defined (following Ref. [11]) | i z0 z0 = ψ(1 iB3) , z1 h − i Ψ =   C4, (22) z1 = B2ψ(1 iB3) . (17) z2 h − i | i ∈ z3 Here, the operation . singles out the scalar   h i part of a multivector. In a matrix represen- where the four complex components of Ψ are tation of the Clifford algebra this corresponds defined | i to the (normalized) trace of a matrix. For any two multivectors, it enjoys the commutation z0 = Ψ(1 iγ2γ1) , h − i property AB = BA . z1 = γ1γ3Ψ(1 iγ2γ1) , It is straightforwardh i h i to translate between h − i z2 = γ3γ0Ψ(1 iγ2γ1) , Clifford-algebra operations on real spinors ψ, h − i C2 z3 = γ1γ0Ψ(1 iγ2γ1) . (23) and matrix operations on their counter- h − i parts ψ . The structure of definition (17), The Dirac matrices now enter the scene as which| mayi have seemed quite arbitrary, in fact matrix equivalents of the Clifford algebra op- ensures that erations Ψ γ Ψγ0, where the right multi- 7→ µ plication by γ0 ensures that the result stays in Bj ψ = iσˆj ψ , (18) | i | i the even subalgebra. It is straightforward to whereσ ˆj are the verify that

0 1 0 i 1 0 γµΨγ0 =γ ˆµ Ψ , (24) σˆ1 = , σˆ2 = − , σˆ3 = . | i | i 1 0 i 0  0 1 − where (19) 1 −1 Expressions for right-side bivector multipli- 1 −1 γˆ0 = −1 , γˆ1 = 1 , cations,  −1   1  1 ∗ i − ψB1 =σ ˆ2 ψ , (20a) −i 1 γˆ2 = −i , γˆ3 = 1 | i | i ∗    1  ψB2 = iσˆ2 ψ , (20b) i − | i | i (25) ψB3 = i ψ , (20c) | i | i denote the Dirac γ-matrices in the standard involve complex conjugation ψ ∗ = (z∗,z∗)T . 6 2 | i 0 1 Dirac representation [12]. Since γ0 = 1, it The last of these relations provides a geometric follows readily that interpretation of the formal imaginary unit i of the Pauli matrix theory. It asserts that i γ γ Ψ =γ ˆ γˆ Ψ . (26) | µ ν i µ ν | i is equivalent to the bivector B3 acting on the right of the real spinors. For later reference, let us quote the results Finally, let us remark that the standard of right-side multiplications by the 6 bivectors 2 ′ ∗ ′ ∗ ′ scalar product on C , ψ ψ = z0 z0 + z1 z1, is represented on real spinorsh | i by

′ ′ 6 ψ ψ = ψψ (1 iB3) . (21) Of course, the reason we recover Dirac matrices in h | i h − i this particular representation is due to a particular- ity of definitions (23). The various representations In particular, ψ ψ =e ψψ , since the bivector h | i h i of γ-matrices can be obtained by appropriate redefi- ψB3ψ is erased by the scalar part operation. nitions of the complex components z0,z1,z2,z3 [11]. e e 6 of the spacetime Clifford algebra: to study, as it contains only first-order deriva- tives. ∗ Ψγ1γ0 = iγˆ2 Ψ , (27a) The traditional ‘matrix’ Dirac equation [13] | i − |∗ i Ψγ2γ0 =γ ˆ2 Ψ , (27b) (with ~ = c = 1) | i | i Ψγ3γ0 =γ ˆ5 Ψ , (27c) iγˆµ∂ Ψ m Ψ = 0 (30) | i | i ∗ µ Ψγ3γ2 = γˆ2γˆ5 Ψ , (27d) | i− | i | i − | i ∗ Ψγ1γ3 = iγˆ2γˆ5 Ψ , (27e) can be cast using Eqs. (24) and (27) in the | i − | i real-Clifford-algebra form Ψγ2γ1 = i Ψ , (27f) | i | i µ ∗ ∗ ∗ ∗ ∗ T γ ∂µΨγ0γ2γ1 mΨ=0, (31) where Ψ = (z0 ,z1 ,z2 ,z3 ) , and we denoted − | 0 i1 2 3 γˆ5 = iγˆ γˆ γˆ γˆ as common. The last of these found by Hestenes in [5]. The latter equation, equations shows that multiplication of Dirac including the electromagnetic coupling term, spinors by i translates into right multiplication has been further analysed, e.g., in Refs. [4, 7, of real spinors by the spatial bivector γ2γ1. 14–17]. The standard scalar product on the space of The conceptual value of Eq. (31) lies in the Dirac spinors features the Dirac conjugation fact that it completely eliminates the uninter- Ψ¯ = Ψ γˆ0, and is represented on the space h | h | preted formal imaginary unit i, present in the of real spinors by original Dirac’s equation (30). On the other ′ ′ hand, a disturbing feature of the real formula- Ψ¯ Ψ = ΨΨ (1 iγ2γ1) . (28) h | i h − i tion is the presence of the term γ0γ2γ1, which The scalar producte on spinors allows one to seems to break Lorentz invariance. It is there- construct bilinear covariants of the Dirac the- fore important to clarify in which sense we re- ory, and express them in terms of real spinors gard Eq. (31) as invariant under Lorentz trans- [4, Ch. 8.2]. The most prominent of these ob- formations. servables is the (vector-valued) Dirac current

µ A. Lorentz transformations on flat Ψγ0Ψ= Ψ¯ γˆ Ψ γ , (29) h | | i µ spacetime (Indices are raisede and lowered using the ′µ µ ν Minkowski metric.) A Lorentz transformation x = Λ ν x al- Finally, let us remark that the algebra of ters the left-hand side of Eq. (31) to real spinors is endowed with an invertible ′µ −1 ν ′ ′ ′ ′ ′ ′ γ (Λ ) ∂ Ψ γ γ γ mΨ . (32) product ΨΨ (to justify, see Footnote 4). This µ ν 0 2 1 − structure is missing in the complex vector For this to yield zero, we need to prescribe space C4, but can be induced by defining appropriate transformation properties for the : C C C, Ψ Ψ′ = ΨΨ′ . (Anal- quantities γ and Ψ. ogous◦ × remark→ holds| i in ◦ the | i case| of spatiali real µ C2 First, let us observe that the vectors spinors and the complex space .) −1 ν µ (Λ ) µγ form an orthonormal frame, which can be expressed in terms of the original frame ν IV. REAL DIRAC EQUATION γ : (Λ−1)ν γµ = Uγν U, (33) With the mathematical formalism of previ- µ ous sections in hand, we are in to ap- for some spacetime rotor U (seee Eq. (15)). ply the real Clifford algebras in the quantum The standard method by which Lorentz in- theory. Namely, in this article, we investi- variance of the Dirac equation is established gate the Dirac equation of relativistic quan- (e.g., in Ref. [18, Ch. 3]) proceeds by postulat- tum mechanics, which is more fundamental ing the transformation rules than the non-relativistic Pauli or Schr¨odinger ′ ′ ′ equations, and, at the same time, it is easier γµ = γµ , Ψ (x )= UΨ(x). (34) 7

1;3 Ψ isomorphic to a ‘model’ Minkowski vector C`(E ) 4 1,3 jΨi 2 C space E via a linear isometry Φx(ea) = γa γa (γa γb = ηab). See Fig. 3. There· are two kinds of transformations to Φ be consider on a curved spacetime [20, Ch. 13]: x 1) coordinate changes xµ x′µ; and 2) local M; g Lorentz (gauge) transformations,→ which, in our setting, alter the isomorphisms (or, the gauge) ea Φx so that x xµ ′ ′ γa =Φx(ea)= UγaU (35) for some rotor field U(x). Thee latter induce corresponding transformations on the entire Clifford algebra ℓ(E1,3), in particular, the FIG. 3: Isometries Φx map tangent spaces of real spinor fields Ψ(C x) transform as the spacetime manifold onto a ‘model’ Minkowski E1,3 space . The even part of the real Clifford alge- ′ bra Cℓ(E1,3) accommodates real spinors Ψ, which Ψ = UΨU. (36) can be translated to C4 by the mapping | . i de- A modified version of Eq.e (31) invariant un- fined in Eq. (23). der both kinds of transformations 1) and 2) reads That is, the spinor Ψ is transformed by the a µ γ ea (DµΨ)γ0γ2γ1 mΨ=0, (37) one-sided action of U, while the frame vectors − 7 a ab γµ undergo no change at all. This is at odds where γ = η γb, and the covariant derivative with our definition of real spinors as even mul- D Ψ= ∂ Ψ ω Ψ+Ψ (38) tivectors in the real Clifford algebra, for mul- µ µ − µ Aµ tivectors are polynomials in the basis vectors features a pair of 4 6-component gauge fields γ , and as such should have complementary µ ω and (bivector-valued× 1-forms) with transformation properties. µ µ identical transformationA properties To resolve this tension we consider a gen- eral curved-spacetime setting (of which the flat ′ ω = UωµU + (∂µU)U, spacetime is a special case). µ ′ = U µeU + (∂µU)eU. (39) Aµ A In the sequel we will seee that ωµ representse the B. Curved spacetime and local Lorentz spin connection (so far with no a priori rela- transformations µ tion to the tetrad ea ), while µ, in essence, generalizes the electromagneticA gauge poten- Let the spacetime be a Lorentzian manifold tial Aµ. with metric tensor gµν , and choose a tetrad First, observe that local Lorentz transfor- M µ of orthonormal vectors fields ea = ea ∂µ, a = mations can be used to the basis vector µ ν 0, 1, 2, 3, satisfying gµν ea eb = ηab. Each tan- fields γa to constants. In this gauge it is gent space of the manifold is (non-canonically) straightforward to use formulas (24), (26) and (27f) to convert Eq. (37) to the matrix form

iγˆaeµ D Ψ m Ψ =0, (40) a | µ i− | i 7 In Ref. [19, p. 45], another possibility is coined, which consists in transforming γ′ = Uγ U, and pos- where the covariant derivative translates as µ e µ tulating a scalar transformation law for the spinor, ab ab ′ ′ ′ ′ ′ ω Ψ (x ) = Ψ(x). The term γ0γ2γ1 = Uγ0γ2γ1U in µ µ e DµΨ = ∂µ Ψ + γˆaγˆb Ψ A Ψγaγb . Eq. (32) would then, however, impede the desired | i | i 2 | i− 2 | i Lorentz invariance. (41) 8

ab a b Here, ωµ = ωµ (γ γ ) are the components the commutator of covariant derivatives. A · 1 ∧ab straightforward calculation yields of the field ωµ = 2 ωµ γbγa, and accordingly for . Furthermore, we can utilise Eq. (27f) Aµ to identify the electromagnetic potential A as [Dµ,Dν ]Ψ = µν Ψ+Ψ µν , (44) µ −R F the part of corresponding to the bivector Aµ γ2γ1, namely, where

12 21 eA = = . (42) µν = ∂µων ∂ν ωµ [ωµ,ων ], µ Aµ −Aµ R − − µν = ∂µ ν ∂ν µ [ µ, ν ] (45) Interpretation of the other parts of is, F A − A − A A Aµ however, not very clear. We may only note at are bivector-valued 2-forms. For the purely this point that the γ3γ0-part, Eq. (27c), is re- electromagnetic case = eA γ2γ1, we find Aµ µ lated to chirality, and the γ2γ0-part, Eq. (27b), µν = eFµν γ2γ1 with Fµν = ∂µAν ∂ν Aµ, as to charge conjugation [12]. Fexpected. − Several further comments are in order. Ac- Finally, let us point out several observa- cording to Eq. (39), ωµ and µ have the same tions that could be relevant for further studies. A transformation properties, and they differ only (From now on we restrict ourselves, for sim- a µ µ by the side of Ψ on which they act. We could, plicity, to flat spacetime: γ ea = γ = const. in fact, identify ωµ = µ while still preserving and ω = 0.) A µ local Lorentz invariance of Eq. (37). However, Remark 1: In analogy with electromag- the identification of ωµ with a spin connection, netism one could propose a kinetic term for and with a generalized (non-Abelian) elec- µν Aµ the field µ of the form µν , and derive tromagnetic potential suggests that they be the equationsA of motion hF F i treated as a priori distinct quantities. µν µν In spite of the unusual ‘two-sided’ form of ∂µ [ µ, ]=0. (46) the transformation rule (36) for real spinors, F − A F observable quantities are invariant under local These are non-linear partial differential equa- Lorentz transformations. Indeed, for example, tions of a Yang-Mills type, which reduce to the components of the Dirac current Maxwell equations when µ = eAµγ2γ1. Note that although the introductionA of the non- µ µ a µ a J = e Ψ¯ γˆ Ψ = e γ Ψγ0Ψ (43) Abelian gauge field was based on our a h | | i a h i µ study of real spinors andA real Dirac equation, e 1,3 are scalars in the Clifford algebra ℓ(E ). Eq. (46), as it stands, is independent of the C In literature on the real Dirac equation (e.g., notion of spinors. in Ref. [4, Ch. 13]) it is common to adopt (a Remark 2: The real Dirac equation (37) local version of) the traditional transforma- multiplied on the right by γ2γ1Ψ takes the tion rules (34) rather than Eqs. (35) and (36). form Then, transformations of the form Ψ ΨeM e → that preserve the real Dirac Lagrangian (or, µ µ µ γ (∂ Ψ)γ0Ψ γ ΨA γ0Ψ+ mΨγ2γ1Ψ=0. alternatively, the Dirac current), namely, such µ − 2 that M span γ2γ1,γ1γ3,γ3γ2, I , are found e e e (47) and gauged.∈ This{ leads to certain} insights re- Adding the reverse of this equation, and taking garding the structure of the electroweak theory the scalar part yields [15, 16]. µ µ γ ∂ (Ψγ0Ψ) = γ Ψ( γ0)Ψ . (48) · µ · Aµ ·   e µ µ e C. Gauge field strengths and further That is, the current J = γ (Ψγ0Ψ) is not observations · conserved unless µ are purely spatial bivec- tors (as is the caseA of electromagnetism).e To determine the field strengths correspond- Remark 3: Footnote 4 implies that non-zero ing to the gauge fields ω and , we form real spinors have inverse Ψ−1. This fact can µ Aµ 9 be used to cast Eq. (37) (for the purely elec- can be obtained rather easily using the rela- tromagnetic case = eA γ2γ1) as tions of Sec. III A. Aµ µ µ −1 µ −1 Comparing the real and the complex for- γ (∂ Ψ)γ2γ1Ψ + qγ A mΨγ0Ψ =0. µ µ − mulations of the Dirac equation on aesthetic (49) grounds, it may seem that the complex matrix From this the potential Aµ can be readily ex- formulation, Eq. (30), is more elegant (sym- pressed in terms of the field Ψ and its deriva- metric) than the real one, Eq. (31), which in- tives (this observation was made earlier in [21] volves the explicit factor γ0γ2γ1. Rather than using the 2-spinor formalism). a reason to discard the real formulation, we re- gard this aesthetic point as an encouragement for seeking an equation that would be more V. CONCLUSION refined (and perhaps more fundamental). The main contribution of the present study In this article we reviewed the construction consists in the introduction of the non-Abelian of spinors as even multivectors in Clifford alge- gauge field µ, which takes values in the alge- bras over real vector spaces. Unlike in the tra- bra of spacetimeA bivectors ( so(1, 3)). It was ditional approach, where spinors are regarded deduced from the requirement≃ of local Lorentz as elements of complex vector spaces, acted invariance, and the assumption that Lorentz upon by complex matrices, the real spinors transformations act in the same way on all el- Ψ inherit the Clifford product structure, and ements of the Clifford algebra, including the the operations, expressed by multiplication by vectors γ and the real spinors Ψ. To decide Clifford algebra elements, can take place on a whether the non-electromagnetic parts of µ both the left and the right side of Ψ. are physically significant quantities, one wouldA In fact, in view of definitions (23), it is have to carry out further analysis going be- tempting to regard the real spinors as more yond the scope of this article, and perhaps ‘real’ (fundamental) than the complex spinors, beyond the realm of relativistic quantum me- as the former are more closely related to the chanics towards the quantum field theory. The geometry of spacetime, and the representation present article can be thought of as a starting by 4 complex numbers is merely a way to re- point for such endeavour. distribute the 8 real degrees of freedom of the real spinors in a geometrically somewhat less transparent manner. Although we focused on real spinors in Acknowledgements spacetime and on the Dirac equation of rel- ativistic quantum mechanics, real spinors find applications also in non-relativistic quantum The author would like to acknowledge stim- mechanics [22], [4, Ch. 8]. Indeed, the real ver- ulating discussions with Leslaw Rachwal, Josef sions of the Sch¨odinger and Pauli equations Schmidt, Jan Vysok´y, and Alejandro Perez.

[1] W. K. Clifford, Applications of Grassmann’s Phys. 8 No. 4, 798–808 (1967). extensive algebra, Am. J. Math. 1 4, 350–358, [6] M. R. Francis and A. Kosowski, The (1878). construction of spinors in geometric alge- [2] D. Hestenes, Space-Time Algebra, 2nd Ed., bra, Ann. Phys. 317 2, 383–409 (2005). Springer (2015). [arXiv:math-ph/0403040] [3] D. Hestenes and G. Sobczyk, Clifford Algebra [7] D. Hestenes, Observables, operators, and to Geometric Calculus, Springer (1987). complex numbers in the Dirac theory, J. [4] C. Doran and A. Lasenby, Math. Phys. 16, 556–572 (1975). for Physicists, Cambridge Univ. Press (2007). [8] C. Chevalley, The Algebraic Theory of [5] D. Hestenes, Real Spinor Fields, J. Math. Spinors, Columbia Univ. Press (1954). 10

[9] W. R. Hamilton, On quaternions, or on a new tivity (Ed. by H. Kleinert, R. T. Jantzen, system of imaginaries in algebra, Philosophi- and R. Ruffini, World Scientific, 2008). cal Magazine 25 3, 489–495 (1844). [arXiv:0807.0060] [10] P. Lounesto, Clifford Algebras and Spinors, [17] C. Doran, A. Lasenby, S. Gull, S. Soma- 2nd Ed., Cambridge Univ. Press (2001). roo, and A. Challinor, Spacetime algebra [11] C. Doran, A. Lasenby, and S. Gull, States and and electron physics, Advances in Imaging operators in the spacetime algebra, Found. and Electron Physics 95, 271–386 (1996). Phys. 23 9, 1239–1264 (1993). [arXiv:quant-ph/0509178] [12] C. Itzykson and J.-B. Zuber, Quantum [18] W. Greiner, Relativistic Quantum Mechanics. Theory, McGraw-Hill (1980). Wave Equations, Springer (2000). [13] P. A. M. Dirac, The Quantum Theory of the [19] R. P. Feynman, Quantum Electrodynam- Electron, in Proceedings of the Royal Society ics (Frontiers in Physics), Westview Press A: Mathematical, Physical and Engineering (1998). Sciences 117 778, 610–624 (1928). [20] R. M. Wald, General Relativity, Univ. of [14] D. Hestenes, Spacetime Physics with Geomet- Chicago Press (1984). ric Algebra, Am. J. Phys. 71 6 (2003). [21] C. J. Radford, Localized solutions of the [15] D. Hestenes, Space-Time Structure of Weak Dirac-Maxwell equations, J. Math. Phys. 37, and Electromagnetic Interactions, Found. 4418 (1996). [arXiv:hep-th/9510065] Phys. 12, 153–168 (1982). [22] D. Hestenes, Local Observables in Quantum [16] D. Hestenes, Gauge gravity and electroweak Theory, Am. J. Phys. 39, 1028–1038 (1971). theory, in Proceeding of the 11th Mar- cel Grossmann Meeting on General Rela-