arxiv: v1 [math.gm] 2 Mar 2017

Transcription

1 arxiv: v [math.gm] 2 Mar 207 Spinors in Spacetime Algebra and Euclidean 4-Space Garret Sobczyk Universidad de las Américas-Puebla Departamento de Físico-Matemáticas Puebla, Pue., México March 6, 207 Abstract This article explores the geometric algebra of Minkowski spacetime, and its relationship to the geometric algebra of Euclidean 4-space. Both of these geometric algebras are algebraically isomorphic to the 2 2 matrix algebra over Hamilton s famous quaternions, and provide the rich geometric framework for various important topics in mathematics and physics, including stereographic projection and spinors, and both spherical and hyperbolic geometry. In addition, by identifying the timelike Minkowski unit vector with the extra 4 th -dimension of Euclidean 4- space, David Hestenes Space-Time Algebra of Minkowski spacetime is unified with William Baylis Algebra of Physical Space. AMS Subject Classification: 5A66, 8P6 Keywords: geometric algebra, hyperbolic geometry, Poincare disk, quaternions, Riemann sphere, spacetime algebra, spinors, stereographic projection. 0 Introduction This work represents the culmination of the author s attempt to understand the geometric nature of 2-component Pauli and 4-component Dirac spinors in terms of a fully equivalent geometrical theory. In [4], our geometric theory is shown to be fully equivalent to the classical Dirac theory of a spin- 2 particle, whereas the Dirac-Hestenes equation is only equivalent to the classical Dirac equation if the issue of parity is not taken into consideration [3], [7], [7]. In [2], the spinor algebra ofc 2 is formulated in terms of idempotents and nilpotents in the geometric algebrag 3 of Euclidean 3-space, including its representation on the Riemann sphere, and a new proof of the Heisenberg uncertainty principle. In [3], the ideas of the previous work are generalized to include the Dirac theory by introducing the concept of a 2-component Pauli-like matrix over a 4-dimensional Abelian module spanned by the imaginary unit i= and J := iγ 023, sometimes referred to as γ 5. In [5], [6], a general view is taken discussing a range of

2 topics such as the notion of a geometric spinor, some basic ideas of relativity, the Hopf fibration, and the concept of a group manifold. The viewpoint adopted in all of the above mentioned work is that the geometric concept of number makes possible many new insights that are otherwise lost in a tangle of different obsolete formalisms. The geometrization of the real number system is accomplished by the following Axiom: The real number system can be geometrically extended to include new, anti-commutative square roots of ±, each new such square root representing the direction of a unit vector along orthogonal coordinate axes of a Euclidean or pseudo-euclidean space. This basic concept suggests, for example, the notation G 3 := Re,e 2,e 3 to define the geometric algebra G 3 by extending the real number system R to include 3 new anti-commuting square roots of+, denoted by e,e 2,e 3. Section, introduces the geometric algebra G 4 of 4-dimensional Euclidean space R 4 in terms of 2 2 matrices over the quaternions, the unit quaternions being bivectors in the subalgebrag 3 ofg 4. Two spectral bases ofg 4 are introduced, and formulas for the transformation between them are derived. Section 2, introduces the fundamental formula for stereographic projection in R 4 and R,3, and relates the geometric algebrasg 4 of the 4-dimensional Euclidean space R 4 to the geometric algebrag,3 of Minkowski spacetimer,3. In [3, p. 24], Hestenes introduces the the spitting of the space-time of the Pauli algebrag 3 into the even subalgebra of the geometric algebrag,3 of Minkowski spacetime. By identifying the timelike vector γ 0 R,3 with the vector e 0 R 4, essentially the same splitting is achieved in the geometric algebra G 4. In this scenario, the spacelike Minkowski vectors γ k for k =,2,3 become bivectors in G 2 4. Except for a change in the metric, the fundamental equations governing stereographic projection in R 4 and R,3 are identical. When considered in R,3, stereographic projection projects the Poincare disk onto the positive unit hyperboloid of Minkowski spacetime, one of the 5 basic models of hyperbolic geometry [2]. Section 3, studies classical 2-component spinors defined in terms of their equivalent geometric spinors in the geometric algebrasg 3 andg,2, sub-algebras ofg 4 andg,3, respectively. The Dirac bra-ket formalism is introduced and formulas, first derived in [2] for the probability of finding a spin 2-particle in a given state, are derived on the Bloch sphere S 2, along with an analogous formula derived on the Minkowski hyperboloid L 2. Section 4, generalizes the idea of a 2-component geometric spinor, defined in the previous section in the algebras G 3 and G,2, to the concept of a 2-component quaternion-valued spinor in the geometric algebras G 4 and G,3. Quaternion-valued spinors have been considered by other authors, see for example [4], [6]. Section 5, derives the relationship between the classical 4-component Dirac spinors and the 2-component quaternion spinors defined in Section 4. It also relates the 2- component E-spinors, defined in [3] directly to quaternion spinors. 2

3 Quaternions and Euclidean 4-space The structure of the geometric algebrag 4 of Euclidean 4-space is beautifully expressed in terms of 2 2 matrices over the quaternionsh. Here, quaternions are identified with bivectors ing 3, i=e 23, j=e 3, k=e 2, so that H :=Re 23,e 3,e 2 ={q q=x 0 + x e 23 x 2 e 3 + x 3 e 2, for x 0,x,x 2,x 3 R}. The minus sign in the third term of q, allows us to write q=x 0 + ix=x 0 + Ix e 0 where x=x e + x 2 e 2 + x 3 e 3 is the position vector in the geometric subalgebrag 3 := Re,e 2,e 3 G 4, with i := e 23 and I := e 023. When working in G 4, or in its subalgebra G 3, the operation of reverse the order of the product of vectors of an element g G 4 is always denoted by g. A spectral basis ofg 4 over the quaternions is i e + e+ ie i= ie + e, 2 where the idempotents e ± := 2 ±e 0 are defined in terms of the unit vector e 0 G 4. The matrices quaternion[e µ ] for µ = 0,,2,3 are 0 0 e23 0 e3 [e 0 ]=,[e 0 ]=,[e e ]=,[e e ]= 0 e2. e This spectral basis for G 4 is different than the basis introduced by P. Lounesto in [5, p.86] The matrices of any of the other bases elements ofg 4 are then easily recovered by taking sums of products of the matrices [e µ ]. The matrix [q] of the quaternion is particularly simple, as is the matrix[i] of i. We have [q]= q 0 0 q, and [i] = 0 0 We can now solve for the matrix[x] of any position vector x R 3, [x]= [i] [q] [x 0 ] 0 ix 0 = = 0 0 ix. 0 ix ix 0 A general vector x := x 0 e 0 + x R 4 has the matrix x0 ix [x] e =, 4 ix x 0 with respect to the spectral basis 2 defined by the primitive idempotents e ±.. 3

4 Another, closely related quaternion spectral basis ofg 4 that was used in [6], is I+ e I e0 + e 0 = 0 I. 5 e 0 I + I The general vector x=x 0 e 0 + x R 4 has the quaternion matrix 0 x0 + ix [x] I =, 6 x 0 ix 0 with respect to this spectral basis defined by the idempotents I ±. It follows that x= ie + [x] e = e i 0 I + [x] I. e0 Multiplying this equation on the left and right by the appropriate column and row vectors, we find that i i e0 i e i + [x] e = I i i e 0 i + [x] I. e 0 i Next, we multiply the left and right sides of this result by e +, and simplify, to get I e + [x] e = e + I I I + [x] I e I + = e + I + e + [x] I. Taking the conjugate of this last equation by multipling on the left and right by i and i then gives e [x] e = e I e [x] I. Adding together these last two results, and noting that e + I + e + +e I e = 2, gives the desired relationship [x] e = A[x] I A, 7 where A= 2 e 0 and A = 2 are unitary matrices. It follows that the matrix[g] I is related to the matrix [g] e, for any element g G 4, by the same equation. An interesting relationship between the spectral bases 2 and 5 is given by Even more simply, I+ e 0 I e 0 I + I = i i + e + + ie e + ie. I + = 2i e + i + e + = 2i + I + i, 4

5 where i ± := 2 ±i which can be used to derive the relationship e+ ie i+ I+ e = 2 I ie + e i + i i + =B 0 I B, 8 e 0 I + I for the singular matrix 2 i+ i B=, 2 i i + where B = B T. The change of the spectral basis formula 8, involving the singular matrix B, is quite different than the change of the coordinates formula 7 with the invertible unitary matrix A. 2 Stereographic projection The geometric algebrag 4 of Euclidean 4-spaceR 4, and the spacetime geometric algebrag,3 of the pseudo-euclidean spacer,3 are algebraically isomorphic. We have G 4 =Re 0,e,e 2,e 3 =Rγ 0,γ 0,γ 20,γ 30 =Rγ 0,γ,γ 2,γ 3 =G,3, 9 where e 0 γ 0 and e k γ k0 for k =,2,3. Except for a renaming of the generating elements of G 4, they are the same as the elements in the geometric algebra G,3 of Minkowski spacetime, also called Space-Time Algebra STA, [3]. When working in the geometric algebra G,3, or in its sub-algebra G,2, the operation of reverse of an element g G,3 is always denoted by g. Of course, this is a different operation than the operation of reverse in G 4 denoted by g. Using the algebraic isomorphism 9 to solve for the spacetime Dirac vectors ing 4, we find that e 0 = γ 0, and e k0 = γ k0 γ 0 = γ k, so that G,3 =Rγ 0,γ,γ 2,γ 3 =Re 0,e 0,e 20,e 30 =Re 0,e,e 2,e 3 =G 4. 0 Note the peculiar role of the vector e 0 G 4, which is identified with the timelike Minkowski vector γ 0 G,3. Contrast this with the identification of the spacetime Minkowski vectors γ k with the Euclidean bivectors e k0 for k=,2,3. All calculations in this paper are carried out in the geometric algebrasg 4 :=GR 4 of the Euclidean space R 4, or in G,3 :=GR,3 of the pseudo-euclidean space R,3. Since we have identified the elements of G,3 with elements in G 4 in 9 and 0, all calculations could be carried out exclusively in either of these geometric algebras, but for reasons of clarity we do not attempt this here. The basic equation governing stereographic projection of the unit 3-sphere S 3 inr 4 into the flat xyz-space ofr 3, is m= 2 â+e 0, 5

6 e 3 m e x a e 2 -e 3 Figure : Stereographic Projection from the South Pole at e 3 to the xy-plane. where â S 3. Equation implies that m e 0 =, since rationalizing the denominator gives m= 2â+e 0 â+e 0 2 = â+e 0 +e 0 â, so that m= 2 â+e 0 = x m + e 0 2 where x m R 3 is the stereographic projection from the point e 0. The point x m is also the orthogonal projection of m along the e 0 axis. The basic equation 2 further implies that â= m2 me 0 m 2 = ˆme 0 ˆm=e θ ˆx me 0 e 0, 3 where e θ ˆx me 0 := ˆme 0 2. The two sided half-angle form of this relationship is â= ˆme 0 ˆm= ˆme 0 e 0 e 0 ˆm=e θ ˆxme 0 2 e 0 e θ ˆxme The rotor e θ ˆx me 0 rotates the North Pole at e 0 S 3, θ radians into the point â S 3. In Figure, we have replaced e 0 with e 3 and taken a cross-section of the Riemann 2- sphere S 2 in R 3, in the plane of the bivector ˆx m e 3 through the origin. We see that the stereographic projection from the South pole at the point e 3, to the point â on the Riemann sphere, passes through the point x m = projm of the point m onto the xy-plane through the origin with the normal vector e 3. Stereographic projection is just one example of conformal mappings, which have important generalizations in higher dimensions [0, ]. Returning to the geometric algebrag 4, we expand e θ ˆx me 0 getting e θ ˆx me 0 = cosθ+ ˆx m e 0 sinθ = x2 m + 2x me 0 +x 2, 5 m so that cosθ = x2 m +x 2, sinθ = 2 x m m +x 2, m 6

7 where 0 θ < π is the positive angle measured from the North Pole e 0 to the point â S 3. Using 3 and 5, â= x2 me 0 +2x m which we use to calculate +x 2 m dâ= 2+x2 m dx m 4x m + e 0 x m dx m +x 2 m 2 and dâ 2 = 4dx2 m +x 2 6 m 2, giving the differential of arc and the Euclidean metric on S 3 in terms of the parameter x m R 3. We have been exploring the geometry of the 3-dimensional sphere S 3 in R 4. Turning attention to the 3-hyperboloid L 3 R,3, defined by L 3 ={â â 2 = } where â=a 0 γ 0 + a γ + a 2 γ 2 + a 3 γ 3 for a µ R, µ = 0,,2,3, and a 0. Because of 0, it is possible to carry out all calculations in the geometricg 4, but it is simpler to work directly ing,3. By rewriting the basic equation 2 in the form m= 2 â+γ 0 = x m + γ 0, 7 where now x m R 0,3, the same calculations for stereographic projection in R 4 can be carried over tor,3. All of the arguments used to derive 3, 4 and 5 still apply, except in 5 we need to change the trigonometric functions to hyperbolic trigonometric functions. Thus, m= 2 â+γ 0 = x m + γ 0 â= ˆmγ 0 ˆm=e φ ˆx m γ 0, 8 where ˆx= ˆx m γ 0 is a vector ing 3, or a bivector in G2,3, and e φ ˆx m = coshφ+ ˆx m sinhφ = ˆmγ The two sided half-angle form of this relationship is â= ˆmγ 0 ˆm=ˆmγ 0 γ 0 γ 0 ˆm=e φ ˆxm 2 γ 0 e φ ˆxm 2. Expanding e φ ˆx m =ˆmγ 0 2 in 9, we find that e φ ˆx m = coshφ+ ˆx m sinhφ =ˆmγ 0 2 = +x m 2 x 2 m = +x2 m+2x m x 2, 20 m where 0 φ < is the hyperbolic angle between γ 0 and â in L 3. It follows that coshφ = +x2 m x 2, and sinhφ = 2 x m m x 2. m 7

8 L 2 H al.5 m l K e m ms k 0.5 a s h I 0.5 x e Figure 2: Stereographic Projection on the ray from the South Pole at e 0 to the 3- plane at x R 0,3, and onto the the hyperboloid at the point â. We are making the identification e = e 0 = γ 0. Also shown are various well-known models of hyperbolic geometry, labeled by L, K, H, I and S. The idea for this Figure is borrowed from [2]. The rotor e φ ˆx m boosts γ 0 L 3, φ hyperbolic radians into â L 3. Clearly, ˆm is defined for all x m R 0,3 in the open unit 3-sphere x 2 m <. Figure 2 shows a cross-section of the 3-hyperboloid, taken in the plane of the bivector ˆx= ˆx m γ 0, through the origin. We see that the stereographic projection from the pole at the point γ 0, to the point â on the hyperboloid, passes through the point x m = pro jm of the point m onto the xyzplane through the origin with the normal vector γ 0. Figure 3 shows the stereographic projection of the arc of a circle orthogonal to the circle bounding the Poincare disk into the corresponding geodesic hyperbola in L 2. Using 8 and 20, â= +x2 mγ 0 +2x m γ 0 x 2 m which we use to calculate dâ= 2 x2 m dx m+ 4x m + γ 0 x m dx m x 2, dâ 2 = 4dx2 m m 2 x 2 2 m 2 giving the differential of arc and the hyperbolic metric on L 3 in terms of the parameter x m R 3, where x m := x m γ 0 R 0,3 and dx m := dx m γ 0 R 0,3. Note that the minus sign arises in 2 because of the hyperbolic metric on hyperboloid L 3. Contrast this with the closely related formula 6 for the sphere S 3. 8

9 Figure 3: Stereographic Projection from γ 0, of the circular arc in the Poincare disk in R 0,2, to the geodesic hyperbola on the hyperboloid L 2 in R,2. From Wikipedia: Poincare disk model. 3 Geometric spinors We now restrict ourselves to geometric sub-algebras ofg 4 andg,3. Consider G 3 =Re,e 2,e 3 G 4, and G,2 =Rγ 0,γ,γ 2 G,3. The geometric algebra G 3 is isomorphic to the Pauli algebra of matrices [8], and is sometimes referred to as the Algebra of Physical Space APS, []. In 98, I called G 3 Spacetime Vector Analysis, because of its close relationship to Gibbs-Heaviside vector analysis, [9]. By a geometric spinor, or g-spinor, in the geometric sub-algebras G 3 org,2, we mean the quantities α :=α 0 + α e u + G 3, or α :=α 0 + α γ v + G,2, respectively, where u ± := 2 ±e 3 and v ± = 2 ±γ 0, and α 0,α are complex numbers in G or G 0+3,2, respectively. A g-spinor α in G 3 or G,2 corresponds to a 2-component spinor and a singular2 2-matrix, α0 α0 0 α [α]=. α 0 α For the g-spinor α G 3, we have α := e u + [α], 22 e as explained in detail in [2, 30]. In the case that α G,2, the equation 22 is modified to α := γ v + [α], 23 γ 9

10 taking into account that γ G,2 has square. The corresponding bra-ket g-spinors are defined by α := 2α, and α := 2 α, 24 the factor 2 being introduced for convenience. Whether a g-spinor α is in G 3, or in G,2, is made clear by context. Factoring out α 0, for a g-spinor α G 3, we find that α = α 0 + α α 0 e u + = ρe iθ ˆmu + = ρe iθ â + ˆm, 25 where i := e 23, e iθ := α 0, and ρ := α 0 α 0 + α α = +x 2 m. α 0 α 0 We also easily calculate the bra-ket relation α α =2ρ 2 ˆmu + ˆm=2ρ 2 â On the other hand, factoring out α 0, for a g-spinor α G,2, we find that where i := γ 02, α = α 0 + α α 0 γ v + = ρe iθ ˆmv + = ρe iθ â + ˆm, 27 e iθ := α 0, and ρ := α 0 α 0 α α = α 0 α 0 +x 2 m, and ˆm= x m+ γ 0, and +x 2 m â + := ˆmv + ˆm, for x m = x γ + x 2 γ 2. For the bra-ket spinor α, the calculation 26 gives the similar result α α =2ρ 2 ˆmv + ˆm=2ρ 2 â The±sign changes that occur in the definition of ρ in 25 and 27, are a result of the change of signature in going from G 3 to G,2. The inner products α β between the g-spinors α and β ing 3 org,2 are defined by α β := 2 α β 0+3 = α β 0+3, or α β := 2 αβ 0+3 = α β and the norm squared α 2 := α α =α 0 α 0+ α α > 0 or α 2 := α α = α 0 α 0 α α > 0, respectively. 0

11 For α = ρ a e iθ a ˆm a u + and β = ρ b e iθ b ˆm b u + in G 3, α β =2ρ a ρ b e iθ b θ a u + m a m b u If a spin 2 -particle is prepared in a unit Pauli g-state α = ˆm au +, what is the probability of finding it in a unit Pauli g-state β = ˆm b u + immediately thereafter? Following equations 3 and 4 in [5], β α α β =4 α β α β = 4 u + ˆm b ˆm a u + ˆm a ˆm b u = 4 ˆm b ˆb + â + ˆb + ˆm b = +â ˆbu = 2 +â ˆb. 3 This relationship can be directly expressed in terms of m a and m b. For â= 2 m a e 0 and ˆb= 2 m b e 0, a short calculation gives the result β α α β = m a m b 2 = 2 +â ˆb. 32 m 2 a m2 b m a m b 2 m 2 = a m2 b 2 â ˆb. Interpreting this result in G 3 shows that the probability of finding the particle in that Pauli g-state β is directly related to the Euclidean distance between the points m a and m b. When ˆb= â, m a m b 2 =. m 2 a m2 b This occurs when m b := m a e 0 m a, in which case ˆb= ˆm b e 0 ˆm b = ˆm a e 0 ˆm a = â and m b m a = 0, and m b = x b + e 0 = x a e 0 x a + e 0 = e 0x a x 2 x a + e 0 = + e a x a This means that a spin 2 -particle prepared in the state m a will have a zero probability of being found in the state m b, for a measurement taken immediately afterwards. It is worthwhile mentioning that these ideas can be naturally generalized to Dirac spinors [3], [4].

12 If, instead, we are doing the calculation in G,2, we find that the calculations 3 and 32 remain valid, so that β α α β = m a m b 2 m 2 am 2 = 2 +â ˆb, 34 b which clearly cannot represent a probability. The fact that hyperbolic dot product â ˆb can be expressed in terms of the hyperbolic differencem a m b 2 for the points m a and m b on the hyperboloid L 2, suggest the name Bloch hyperboloid in analogy for the case of the Bloch sphere represented in 32. In analogy to the Hopf Fibration for the Bloch sphere, we can similarly define a Hopf Fibration for the case of the Bloch hyperboloid, [5]. 4 Quaternion spinors The g-spinors α G 3 and α G,2, defined in 22 and 23, can be generalized to a quaternion-valued spinor in either G 4 or in G,3, depending upon in which algebra we are working. Recalling and 9, a quaternion in either G 4 or G,3 can be written in the form q=x 0 + ix for i=e 23 = γ 023. Just as for a g-spinor, a quaternion spinor α q :=q 0 + q iv + q0 q [α q ] := q0 0 q 0. With respect to the spectral basis, v i + v+ iv i=, iv + v which was first defined in 2 for v ± = 2 ±e, with e=e 0= γ 0, the quaternion spinor α q satisfies the equation α q = iv + [α q ]. i If q 0 = x 0 + ix and q = y 0 + iy, then q 0 q =x 0 ixy 0 + iy=x 0 y 0 + x y+ix 0 y y 0 x+x y= q 0 q + q 0 q, where and Also note that and q 0 q := 2 q 0 q + q q 0 =x 0y 0 + x y+x 0 y y 0 xi q 0 q := 2 q 0 q q q 0 =x yi. q q 0 0 = 2 q q 0 + q 0q =x 0y 0 + x y q q 0 = 2 q q 0 q 0q =ix 0y y 0 x x y. 2

13 For α q =q 0 + q iv +, then α q = q 0 where q 0 q 0+ q 0 q i v + = q 0 [ e 0 + q 0 q 0 q 0 q 0 e θiˆx := q [ 0, and M = q 0 q 0 Expressing M as an element ofg,3 gives M = γ 0 + y 0x x 0 y γ 23 x y x 2 0 x2 i+ q 0 q 2 q 0 q ie 0 ]v + = q 0 q 0 eθiˆx Mv +, 0 35 e 0 + q 0 q 0 q 0 q 0 where x=xγ 0, y=yγ 0 for x,y G 0,3, and i=γ 023. Noting that M 2 = q 0 q [ q 0 q 2 q 0 q 0 q 0 q 0 we arrive at the canonical form where i+ q 0 q 2 q 0 q ie 0 ]. 0 + γ 023x 0 y 0 x y x 2 0 x2, q 0 q ] 0 q 0 q = + q 0 q 2 2 q 0 q q 0 q = q q 0 2 q 0 q, 0 α q = ρe θiˆx ˆMv +, 36 ρ = q 0 q 0 M = q 0 q 0 q q and ˆM = M M for the quaternion spinor α q. We say that α q is a unit quaternion spinor if ρ =. Naturally, generalizing 24, we define the bra-ket quaternion spinors α q := 2α q, and α q = 2α q. 37 Defining, and carrying out the same calculations for quaternion spinors that we did in 29, 30, and 3, gives α q β q =2ρ a ρ b v + ˆM a e θ aiˆx a e θ biˆx b ˆM b v = 2ρ a ρ b e θ aiˆx a v + ˆM a ˆM b v +e θ biˆx b 0+3, where ˆM a = eθ aiˆx a ˆM a e θ aiˆx a and ˆM b = eθ biˆx b ˆM b e θ biˆx b, and β q α q α q β q =4 α q β q α q β q 0+3 = 4 v + ˆM b ˆB + + ˆM b v = 4 v + ˆM b ˆB + + ˆM b v = 4 ˆM b ˆB + + ˆB + ˆM b 0+3 = 2 + ˆB, where  = ˆM aγ 0 ˆM a and ˆB = ˆM b γ 0 ˆM b. A quaternion spinor α q is said to be orthogonal if q 0 q 0 = 0. For the orthogonal quaternion spinor α q, the canonical forms 35, 36 simplify to α q = q 0 q 0 eθiˆx +x m e0 v + = q 0 q 0 eθiˆx γ 0 + x m v+, 38 3

14 and α q = ρe θiˆx ˆMv + = ρe θiˆx+x me 0 x 2 m v +, 39 respectively, where We also have x m := y 0x x 0 y x y x x2 = y 0xγ 0 x 0 yγ 0 ix y x x2. M = M 2 = x 2 m = y2 0 + y2 x x2. When α q is an orthogonal quaternion g-spinor, then with the help of 39, [ ] α q α q = +x 2 0 y2 0 + x2 y 2 e 0 2x 0 y y 0 x x y. In agreement with 38, the canonical form 27 for a g-spinor α G,2 generalizes to α q = q 0 Mv + = ρe θiˆx ˆMv +, for an orthogonal quaternion g-spinor α q G,3, where x m = iq 0 q, M =+x m e 0, ρ := In this case, α q α q =2ρ 2 v + for ρ = q 0 q 0 q q. 5 Classical Dirac spinors q 0 q 0 q q, and eiˆxθ = q 0. q 0 q 0 In earlier work [3, 5], the classical 4-component Dirac spinors were considered by introducing the spectral basis u ++ e 3 u + e 3 u + e u e 3 e u e ++ e 3 e 3 e = 3 u ++ u + e u + e 3 u, 3 e 3 u ++ e u + u + e 3 u e e u ++ e 3 u + e 3 u + u 40 for the primitive idempotents u ± := 4 ±γ 0 iγ 2 = 4 ±e 0 Je 3, where J := ji for j := and i=e 23 = γ 023. A geometric Dirac spinor is then defined by the correspondence ϕ ϕ ϕ α 4 := 2 ϕ α ϕ 3 ϕ g, ϕ 4 ϕ

15 where α g :=ϕ + ϕ 2 e 3 + ϕ 3 e 3 + ϕ 4 e u ++, and ϕ k := x k + jy k for k=,2,3,4 and x k,y k R. As explained in detail in [3, ], noting that ju ++ = γ 2 u ++ = ie 3 u ++, the geometric spinor α g takes the form α g = x + x 4 e + y 4 e 2 + x 3 e 3 +iy 3 + y 2 e x 2 e 2 + y e 3 u ++. The geometric spinor α g can be rewritten in terms of the quaternions q 0 and q, α g =q 0 + iq u ++ = x 0 + ix+iy 0 + iy v + E + = x 0 y+iy 0 + x v + E +, where E ± := 2 ±Je 3. It follows that the classical Dirac spinor α 4 can be expressed in terms of the quaternion spinor α q, by defining the components ϕ = x 0 + ix 3, ϕ 2 = x 2 + ix, ϕ 3 = y 3 + iy 0, ϕ 4 = y y 2 i. It follows that the whole classical theory of 4-component Dirac theory can be expressed equivalently in terms of geometric quaternion spinors. Acknowledgement I thank Universidad de Las Americas-Puebla for many years of support. References [] W.E. Baylis, G. Sobczyk, Relativity in Clifford s Geometic Algebras of Space and Spacetime, International Journal of Theoretical Physics 43, 0 Oct. 2004, [2] J. W. Cannon, W. J. Floyd, R. Kenyon, W. R. Parry, Hyperbolic Geometry, Flavors of Geometry, MSRI Publications, Volume 3, 997. [3] D. Hestenes, Space-Time Algebra, Gordon and Breach 966. [4] S. De Leo, W. A. Rodrigues, Jr. 2, Quaternionic Electron Theory: Geometry, Algebra, and Diracs Spinors, International Journal of Theoretical Physics, Vol. 37, No. 6, 998. [5] P. Lounesto, Clifford Algebras and Spinors, 2nd Edition. Cambridge University Press, Cambridge, 200. [6] K. Morita, Quaternions, Lorentz Group and the Dirac Theory, ArXiv 2007: 5

16 [7] P. B. Pal, Dirac, Majorana and Weyl fermions, ArXiv 200: [8] Pauli Matrices, Wikipedia. matrices [9] G. Sobczyk, Spacetime Vector Analysis, Physics Letters A, Vol 84A, p.45-49, 98. [0] G. Sobczyk, Conformal Mappings in Geometric Algebra, Notices of the AMS, Volume 59, Number 2, p , 202. [] G. Sobczyk, New Foundations in Mathematics: The Geometric Concept of Number, Birkhäuser, New York [2] G. Sobczyk, Part I: Vector Analysis of Spinors, [3] G. Sobczyk, Part II: Spacetime Algebra of Dirac Spinors, [4] G. Sobczyk, Geometry of Spin /2 Particles, Revista Mexicana de Física, pdf [5] G. Sobczyk, Geometric Spinors, Relativity and the Hopf Fibration, [6] G. Sobczyk, Group Manifolds in Geometric Algebra, [7] W. O. Straub, WEYL SPINORS AND DIRACS ELECTRON EQUATION, Pasadena, California