arXiv:1611.02564v1 [physics.gen-ph] 1 Nov 2016 lent e ftasomtoswr eurdt ensure equations to an Maxwell’s required Poincar´e of that were invariance and processes. the transformations Lorentz of electromagnetic by set to shown alternate apply motion, was it relative to Indeed, in appear observers not for did established mechanics well classical transformations, in Galilean the that tury pca hoyo relativity Einstein’s of into theory result special foundational were a transformations, as Lorentz incorporated the then as today known tions, rlz h oet transformations, Lorentz the eralize hw ob nossetwt experiment with inconsistent have be to approaches isotropy, shown Other space no relaxing with included interpretation. quantities physical imaginary clear introduced this however htalteeapoce r setal inapplicable essentially Weinberg, are by approaches concluded these was all It that interpretation. with ties three of dimensions, introduction time the include suggestions exotic More transformations. non-linear introducing approaches other velocities superluminal include to transformations ing twsa nxetdrsl ftenntet cen- nineteenth the of result unexpected an was It nteohrhn,orapoc eiswt gen- a with begins approach our hand, other the On aiu tepshv ic enbe aet gen- to made been been since have attempts Various eea neovdqetosi lcrmgeima ela systems. well spin-ice as in general found electromagnetism this w monopoles in Also, into questions ones. unresolved perspective conventional several the new be a to provide constrained transfo nevertheless Lorentz th conventional we the trans assume framework, While generalized we our if ones. theory, conventional that Maxwell’s with further, ele fin accordance find the then in We that We equations unchanged. obtained. Maxwell’s nevertheless indeed on is acting four-dimen generalization transformations conventional natural expanding by a that that show we begin, To nti ae edvlpafaeokalwn aua exten natural a allowing framework a develop we paper this In .INTRODUCTION I. 6 lhuhi hscs hr r difficul- are there case this in although ae .Capl,DvdL ekh,AhrIbl n ee Abbot Derek and Iqbal, Azhar Berkahn, L. David Chappell, M. James 1 . nttt o htnc dacdSnig(PS,adthe and (IPAS), Sensing Advanced & Photonics for Institute eeaiigteLrnztransformations Lorentz the Generalizing 4 colo lcrcladEetoi Engineering, Electronic and Electrical of School hc a lobeen also has which 2 1 nttt o eeomnctosResearch, Telecommunications for Institute uha yinclud- by as such hssto equa- of set This . nvriyo dlie dlieS 5005 SA Adelaide Adelaide, of University nvriyo otnhm G 2RD, NG7 Nottingham, of University h nvriyo ot Australia, South of University The colo ahmtclSciences, Mathematical of School nvriyo dlie A5005 SA Adelaide, of University 5 colo hsclSciences, Physical of School swl as well as asnLksS 5095, SA Lakes Mawson Dtd uut7 2018) 7, August (Dated: ioagl Iannella Nicolangelo onG Hartnett G. John 2 3 . Australia Australia — Australia Kand UK rvsosfraclrtn n oaigframes, rotating incorporating and as accelerating conven- such for more provisions possible other are con- that generalizations the Note tional with group. coincide Lorentz to ventional constrained monopoles generalized is of our transformation equations that non-existence original find Maxwell’s the the We in of embodied as assumption required. well as the as with equations, Maxwell’s interval trans- of invariant The form the seeking. retains are formation we that generalized transformation a ex- allows Lorentz This then the spacetime of linearity. all description including retain panded and postulates, motion relativity real subluminal usual in remain while purely also We with space, space dimension. into time freedom single a of retaining in- degrees through rotational eight-dimensions cluding to spacetime of eralization ews ormi ntecneto nrilobservers. inertial of context the in remain to wish we ersnain hr ehv nevent an spacetime have we four-dimensional where representation, conventional the assuming ∗ † opoueteLrnztasomtos ebgnby begin we transformations, Lorentz the produce To zdfaeokmyass nexplaining in assist may framework ized mtosaeide eoee rmour from recovered indeed are rmations omtosaete etitdt ethe be to restricted then are formations ob bet ecieqaimagnetic quasi describe to able be to s toantcfil rnfrain are transformations field ctromagnetic inlsaeiet eight-dimensions to spacetime sional ihteegnrlzdcoordinate generalized these with d yteLrnztasomtosare transformations Lorentz the hy ino h oet transformations. Lorentz the of sion bec fmgei monopoles, magnetic of absence e .Mnosispacetime Minkowski A. X [ = ct, x ] , t 7 however (I.1) 2 where x = x1e1 + x2e2 + x3e3 is the space coordinate [cb, n]. Time, defining the radius of the spherically sym- and t is the local time in this frame and c is the canon- metric light sphere ct, is aptly described as a scalar, with ical speed of light. Now, Maxwell’s equations state that the distance x measured as a fraction of this light dis- the speed of light c =1/√µ0ǫ0 is isotropic and the same tance, being a directed quantity represented as the linear measured value for all observers. Hence, for two inertial combination of three orthogonal directions. Note that frames and ′ moving with relative velocity v along the the eight dimensional Clifford multivector description of x-axis forS example,S if a light is flashed at t′ = t = 0atthe spacetime is equivalent to other eight-dimensional de- coordinate origin, then with an isotropic speed of light, scriptions of spacetime, such as the biquaternions9 and independent of motion, both observers will find them- the octonions10,11. selves at the center of a spherical light sphere. Hence, we In order to produce a suitable metric distance we define obtain the relation Clifford conjugation as
′ x′2 + x′2 + x′2 c2t 2 = x2 + x2 + x2 c2t2, (I.2) X¯ = ct x jn + jcb, (II.2) 1 2 3 − 1 2 3 − − − between the two observers. It is well known that the which is analogous to the operation of raising and lower- transformations required to satisfy this relation, for an ing indexes found in four-vector notation. We can then 2 ¯ observer moving along the x1 axis, are the Lorentz trans- find a spacetime distance squared dS = XX where formations XX¯ = c2t2 x2 + n2 c2b2 +2j(c2bt x n). (II.3) ′ − − − · x1 = γ(x1 vt) (I.3) ′ − We can see the Minkowski invariant interval c2t2 x2 ap- x2 = x2 − ′ pearing as a special case when the additional spin terms x3 = x3 n and b are zero. However, assuming that these terms are ′ 2 t = γ(t vx1/c ), indeed present in spacetime then the Minkowski interval − is recovered if we select b = n /c and c2bt x n = 0, where γ = 1 . Note, that an assumption of the ±|| || − · √1−v2/c2 where n = √n2 = √n n = n2 + n2 + n2. Sub- || || · 1 2 3 isotropy of the speed of light, in all frames of reference, stituting the result for b we find px n = c n t and is required to yield this set of equations. This synchro- dividing through by n we produce· ± || || nization scheme is known as the Einstein Simultaneity || || Convention (ESC), or the Einstein Synchrony Conven- x nˆ = ct, (II.4) tion. In fact, provided we assume a round trip speed for · ± light of c during clock synchronization, without requiring where nˆ is the unit vector in the direction of n. Hence, any assumptions about the one way speeds, then other we have produced a relation describing Einstein’s light simultaneity conventions can be adopted in an equally cone. Now, x has its minimum value of ct when it is self consistent manner. The reason for this stems from parallel to nˆ and so this relation enforces a space-like our apparent inability to measure the one-way speed of condition. In differential form we have (dx) nˆ = cdt · ± light,8 though we can avoid these issues here by simply or v nˆ = c. We can see that this relation requires a par- · ± adopting the ESC, as did Einstein and hence the name. ticle moving at speed v = c with motion parallel to its spin axis nˆ. This condition|| || is indeed satisfied for trans- verse electromagnetic waves as described by Maxwell’s II. CLIFFORD GEOMETRIC ALGEBRA equations. Hence, the generalized metric in Eq. (II.3) is also null for light, that is, dS2 = 0, the same as the An alternate formalism for spacetime is Clifford geo- conventional Minkowski metric. Hence, the Minkowski metric algebra Cℓ( 3) that provides a generalization of four-dimensional spacetime arises as a special case when the Gibbs-Heavisideℜ three-vector formalism. In this case it is constructed on the basis of light propagation, in ac- we write an eight-dimensional spacetime event cordance with special relativity and ESC. Therefore, in addition to the Lorentz transformations X = ct + x + jn + jcb, (II.1) in Eq. (I.3) we need to add four additional transforma- tions for the four new components of the spacetime events where jn = n1e2e3 + n2e3e1 + n3e1e2 is a bivector, and in Eq. (II.1) j = e e e a trivector. The bivectors have the trans- 1 2 3 n′ = γ(n vb) (II.5) formation properties of pseudovectors and thus describe 1 1 ′ − physical quantities such as the magnetic field or angu- n2 = n2 ′ lar momentum. The trivectors are pseudoscalars and n3 = n3 so describe helicity or magnetic monopoles. The mul- ′ 2 b = γ(b vn1/c ). tivector can thus be viewed as a generalized description − of spacetime that now includes the additional compo- These transformations follow from the identification of nents jn + jcb = j(n + cb) which has the properties of the trivector with helicity and the bivector with spin. four-spin, conventionally represented by the four-vector That is, for an object initially at rest spinning in a plane 3 with angular velocity ω but then boosted to a velocity v, III. GENERALIZED TRANSFORMATIONS will produce an amount of helical motion v w. Hence, transforming the helicity we find h′dt = γ(h· vw/c2)dt − We define a bilinear transformation on a multivector as shown in Eq. (II.5) where h = db/dt and w = dn/dt. M as For a circularly polarized photon with angular frequency w, we have v = c parallel to the spin axis w and so M ′ = RMS, (III.1) we would generate helicity h = cw/c2 = w/c radians per meter. That is, db = dn/c, producing the result obtained where M ′,M,R,S Cℓ( 3). We then find, using ∈ ℜ earlier of b2 = n2/c2, for light, and so producing a null Eq. (II.3), the transformed multivector amplitude contribution to the metric from the spin terms. This indi- M ′ 2 = RMS RMS = RMSS¯M¯ R¯ = R 2 S 2 M 2, cates from the fourth equation in Eq. (II.5), that photons | | | | | | | | have no intrinsic helicity b, and so in a hypothetical rest (III.2) frame we would simply observe a rotating electric field of where we have used the anti-involution property of Clif- angular frequency w with the magnetic arising from the ford conjugation and the fact that the amplitude is com- Lorentz boost of the electric field. muting with respect to the algebra. Hence, provided we 2 2 We now wish to confirm the invariance of the general- specify a unitary condition R S = 1 for these trans- formations, then the amplitude| | | |M will be invariant. ized interval in Eq. (II.3) between the two frames with | | these transformations. We find firstly Without loss of generality, this constraint can be satisfied writing the operators R and S in exponential form13,14 2 2 2 2 2 2 as 2 2 (n vb) + n + n c (b vn /c ) n′ c2b′ = 1 − 2 3 − − 1 − 1 v2/c2 ′ p+jq r+js − X =e Xe , (III.3) = n2 c2b2 (II.6) − where p, q, r, s are three-vectors. With R = ep+jq ¯ p+jq −p−jq and for the imaginary components we find we find RR = e e = 1, as required. We thus have an expanded transformation group with twelve c2b′t′ x′ n′ (II.7) free parameters, as compared with the conventional six- − · dimensional Lorentz group, which now appears as a spe- c2((b vn /c2)(t vx /c2)) (x vt)(n vb) = − 1 − 1 − 1 − 1 − cial case, as shown in Eq. (II.8) and Eq. (II.9). 1 v2/c2 − Hence the Minkowski interval forming the conventional = c2bt x n, constraint in Eq. (I.2), when generalized with the interval − · in Eq. (II.3), allows the Lorentz transformations to be which are invariant, as required. Therefore, the trans- generalized to Eq. (III.3). formations given in Eq. (I.3) and Eq. (II.5) keeps the generalized metric distance shown in Eq. (II.3) invariant. IV. INVARIANCE OF MAXWELL’S Now, the conventional boost operation, shown in EQUATIONS Eq. (I.3) and Eq. (II.5) can be written efficiently in GA12 with the single operation Maxwell’s electromagnetic field equations are conven- 15 X′ =e−φvˆ/2Xe−φvˆ/2, (II.8) tionally written as the four equations ρ E = , (Gauss’ law); (IV.1) where we define tanh φ = v/c with v = √v2 as the mag- ∇ · ǫ 1 ∂E nitude of the relative velocity between the frames. We B = µ J, (Amp`ere’s law); then find cosh φ = 1 v2/c2 = γ and sinh φ = γv/c, as ∇× − c2 ∂t 0 required. The full Lorentz− group also includes rotations ∂B p E + = 0, (Faraday’s law); that can be represented as ∇× ∂t B =0, (Gauss’ law of magnetism), X′ =e−θwˆ /2Xeθwˆ /2, (II.9) ∇ · where = e1∂x + e2∂y + e3∂z. Using∇ Clifford geometric algebra, Maxwell’s four equa- where θ is the rotation angle and wˆ is the rotation axis. tions can be written as a single equation12,16 Therefore, the conventional Lorentz boost given in Eq. (II.8), produces the transformations in Eq. (I.3) and 1 ∂ ρ + F = µcJ, (IV.2) Eq. (II.5), and keeps the metric distance in Eq. (II.3) c ∂t ∇ ǫ − invariant. We will now show that these more general eight-dimensional spacetime events, shown in Eq. (II.1), where the electromagnetic field is F = E + jcB. Now, also allow a more general class of Lorentz transforma- 1 ρ J writing ∂ = c ∂t + and J = ǫ µc we can then write tions than the conventional ones shown in Eq. (II.8) and ∇ − Eq. (II.9). ∂F = J. (IV.3) 4
Now ∂ and J are known four-vectors and so we can act V. TRANSFORMING THE SOURCES with our general transformation in Eq. (III.3), so that ′ ′ ∂ = R∂S and J = RJS and produce We have found that Maxwell’s equations are invari- R∂SSFS¯ = RJS, (IV.4) ant under the generalized Lorentz transformations in Eq. (III.3), and the transformation of the field remains where we have inserted S¯ and S around F for self consis- the conventional one. We now consider the effect of the tency. That is, we know RR¯ = SS¯ = 1 and so multiply- generalized transformations on the four-current sources. ing Eq. (IV.4) from the left by R¯ and from the right by Maxwell’s equations, with the presence of magnetic S¯ we return to Maxwell’s equations in their form before monopoles become17 transformation, as shown in Eq. (IV.3). As we see this 1 ∂ ρ requires a field transformation F ′ = SFS¯ , specifically + F = µcJ jµ J m + jcµ ρm, (V.1) c ∂t ∇ ǫ − − 0 0 E′ + jcB′ =e−r−js(E + jcB)er+js. (IV.5) where ρm and J m are the monopole sources and currents, The bivector contribution js produces a rotation of the respectively. With this equation Maxwell’s equations will m m field and the three-vector component r produces a boost. now be modified to B = ρ and ∇ E+∂tB = J , This is, in fact, equivalent to the standard transformation in agreement with conventional∇· results.× − for the electromagnetic field. Now, for the four-current J = ρ/ǫ µcJ then the gen- We can put the operators in Eq. (III.3) in a more ex- eral transformation will produce in general− plicit form by writing G = p + jq so that we find R (ρ/ǫ µcJ) S = ρ′/ǫ µcJ ′ + jK′ + jκ′, (V.2) p q − − e +j =eG = cos G + Gˆ sin G , (IV.6) | | | | where jκ′ is a magnetic monopole source and jK′ = where G2 = G 2 = p2 q2 +2jp q and Gˆ = G/ G . j(k1e1 + k2e2 + k3e3) is a monopole current. We therefore−| have| − · | | Maxwell’s equation assumes that magnetic monopole sources are identically zero and indeed, despite exten- G = p2 + q2 2jp q, (IV.7) sive experimental searches magnetic monopoles have | | − − · p never been conclusively observed18. Hence, if we follow which will produce a complex-like number in general. We Maxwell and accept the non-existence of monopoles then can see that the trigonometric functions, and indeed the this implies that the generalized transformations need to square root, may need to act over the field of complex- be restricted by this condition to the conventional ones. like numbers a + jb, where j is the trivector. However, Note also that the extension of Maxwell’s equations to as j2 = 1 a commuting scalar we can simply utilize describe massive photons will also require the general- standard− expressions from complex number theory. Note ized transformations to be restricted to the conventional that Gˆ2 = 1 and so acts like a unit imaginary and so ones as it relies on the four potential A = φ cA, Eq. (IV.6) is− analogous to an Euler-type relation ejθ = which transforms analogous to the four current.− Inci- cos θ + j sin θ. dentally, Maxwell’s equations can be written in this case For example, for pure boosts with q = 0 we have G = as ∂F = J m2A, where m is the presumed mass of the jp, where j is the trivector, and so for a boost of a| pure| photon. − electric field we have We note, that while the full generalized Lorentz trans- cos G Gˆ sin G E cos G + Gˆ sin G (IV.8) formations may be ruled out on these physical grounds, | |− | | | | | | perhaps a limited extension of the conventional Lorentz = cos2 G E sin2 GGˆE Gˆ | | − | | transformations is feasible, which will be explored next. +cos G sin G (EGˆ GˆE) | | | | − = cosh2 pE sinh2 ppEˆ pˆ sinh 2p (E pˆ) , − − ∧ A. A limited generalization where pˆ = p/p. Now with tanh φ = v/c and 2p = φvˆ, where vˆ = v/v, then For a generalized Lorentz transformation to be consis- ′ E = cosh φE⊥ + Ek + sinh φ (E v) (IV.9) tent with Maxwell’s equations then we need to incorpo- ∧ rate the non-existence of monopole sources. This implies = γE⊥ + Ek + γE v/c, ∧ that a boost of a current source must leave the bivector using γ = cosh φ. We can see a magnetic field arising and trivector terms zero. from E v/c = jE v/c. Now, for the field variable We firstly define the involution of reversion, that re- ′ ∧ ′ − × ′ 2 E + jcB we therefore have B = jE v/c , agree- verses the order of all products and produces ing with the conventional transformation× of the electric X˜ = ct + x jn jcb. (V.3) field. We also find the perpendicular field components − − increased by γ, as expected. Hence, if the bivector and trivector terms are absent Hence the more general coordinate transformation in we have Eq. (III.3) nevertheless still requires the conventional field transformation, shown in Eq. (IV.5). X = X.˜ (V.4) 5
Now, for a general boost, we find are real scalars and the sign of the imaginary term, in Eq. (V.9), is given by the sign of p q. We therefore J ′ =ep+jqJer+js. (V.5) · have H = α+ sgn(p q)jα−. Now, using standard trigonometric| | identities,− shown· in Appendix B, we find Therefore, if we require an absence of bivector and trivec- tor sources, we require J ′ = J˜′ or 2 2 2 2 t = τ(cos α+ cosh α− + sin α+ sinh α−) (V.11) p+jq r+js r−js p−jq 2 2 e Je =e Je , (V.6) 2 2 2 2 p + q +τ(sin α+ cosh α− + cos α+ sinh α−) 2 2 . α+ + α− where we have used the fact that J = J˜. As this must be true for an arbitrary current J, we therefore require 2 2 2 2 2 2 We can also find α+ + α− =+ (q p ) + 4(p q) . r = p and s = q. This then produces the operator To confirm a correspondence with− regular boosts· we − p find with q = 0 that α = 0 and α = p. Therefore J ′ =ep−jqJep+jq, (V.7) + − 2 2 which is the most general transformation that ensures t = τ(cosh p + sinh p)= τ cosh2p. (V.12) monopoles sources remain zero. Note the similarity but For tanh 2p = v/c then cosh2p = 1/ 1 v2/c2, which also the single sign difference compared with the field − operators in Eq. (IV.5). is the conventional γ factor for time dilation.p Note that the generalized boost operation in Eq. (V.7) If we write t = γgτ for the generalized time dilation is in fact still standard physics, and has the physical ap- then we have 19,20 plication of the Thomas rotation . This phenomena 2 2 γ = cos2 α cosh α + sin2 α sinh α (V.13) arises from the fact that two non-parallel boosts induces g + − + − 2 2 an apparent rotation. The bivector terms in Eq. (V.7), 2 2 2 2 p + q + sin α+ cosh α− + cos α+ sinh α− . being rotation operators, thus describe this aspect of the α2 + α2 + − Lorentz boosts. For this combined boost operator we have We can show that 1 γg γ and so the generalized time dilation is bounded≤ by the≤ conventional values. That is, 2 p jq the inclusion of rotational terms into the boost operation eφ(p±jq)/√(p±jq) = cosh φ + ± sinh φ (V.8) (p jq)2 tends to reduce the amount of time dilation. ± p where tanh φ = (p + jq)2, which upon rearrangement implies cosh φ =1p/ 1 p2 + q2 2jp q. For the spe- VI. THOMAS ROTATION − − · cial case where q =p 0, we revert to the standard boost operation, shown in Eq. (II.8). For the case of two consecutive boosts we have the operators
v v v 1. Effect on time R =e−φ2 ˆ2/2e−φ1 ˆ1/2 =e−φc ˆc/2e−ιθ/2, (VI.1)
20 We now use transformations that are compliant with where we have combined the two boosts into a single v Maxwell’s equations, shown in Eq. (V.7), to find the ef- boost φc ˆc and a rotation θ, where fect on time within a coordinate transformation. Trans- θ sin δ sinh φ1 sinh φ2 forming from the rest frame we find for the scalar part tan = 2 2 , (VI.2) 2 φ1 φ2 φ1 φ2 represented by 0, which gives the time coordinate in cos δ sinh 2 sinh 2 cosh 2 cosh 2 the new frame h· · · i − where δ is the angle between the boost directions, given = cos G + Gˆ sin G τ cos H + Hˆ sin H v v | | | | | | | | 0 by cos δ = ˆ1 ˆ2. Hence we can see that only for parallel D E · sin G sin H boosts, that is δ = 0, will there not in fact be a Thomas = τ cos G cos H + | | | | GH , rotation θ, of the frame. We also have ι = vˆ vˆ / sin δ | | | | G H h i0 2 ∧ 1 | || | being the unit bivector in the plane of the two boosts. where τ is the time in the rest frame. Now GH = (p + We thus see that for two non-parallel boosts there is an jq)(p jq) = p2 + q2 2j(p q) and from Eq. (IV.7) implied rotation in the plane of the two boosts. However, we can− write − ∧ we note that our boost transformation in Eq. (V.7) that as p and q are not necessarily coplanar then this allows G = α + sgn(p q)jα , (V.9) | | + · − a rotation out of the plane. This case would therefore require three non-coplanar boosts that would then create where an implied helical motion of the particle. That is, we have 1 α = (q2 p2)2 + 4(p q)2 (q2 p2) v v v v ⊥ ± √ R =e−φ3 ˆ3/2e−φ2 ˆ2/2e−φ1 ˆ1/2 =e−φc ˆc/2e−ιθ/2e−ι ψ/2, ± 2qp − · ± − (V.10) (VI.3) 6 where we now have two rotations, one in the plane of monopoles, as required by Maxwell’s equations, we need the combined boost and an additional one ι⊥ creating to restrict the transformations to Eq. (V.7). This re- a spin vector parallel to the combined boost direction quirement then enforces the conventional Lorentz trans- forming helical motion. Note, though, that while we can formations. We also then find that the Dirac equation neatly describe the Thomas rotation in the plane, as well also enforces the conventional Lorentz boost, although as a generalization in three-dimensions, nevertheless we in this case unrelated to the existence of monopoles. remain within conventional physics. Nevertheless, while the conventional Lorentz boosts are still required, they can now act over a generalized eight- dimensional spacetime that now includes the rotational A. The Dirac equation degrees of freedom. We can now trace how the Minkowski spacetime and The Dirac relativistic wave equation for the electron is Lorentz transformations have arisen. Firstly, we note commonly written that Maxwell’s equations imply the Lorentz transforma- tion as well as transverse electromagnetic waves, which µ γ ∂µψ = imψ, (VI.4) then produces the space and time transformations of − special relativity based on light signaling and finally µ where γ , for µ 0, 1, 2, 3 , are the four anti-commuting summarized in the four-dimensional spacetime contin- ∈{ µ} ν ν µ gamma matrices with γ γ + γ γ = 2gµν I, where uum of Minkowski. However, we can see that the gµν = diag[ 1, 1, 1, 1] is the Minkowski metric. Note Minkowski four-dimensional spacetime only arises from − ~ that we have now chosen units in which c = = 1. The the more general eight-dimensional structure we shown similarity between the anti-commuting Dirac basis ma- in Eq. (II.1) when light is utilized to establish space and µ trices γ and the anti-commuting basis vectors defined time coordinates. That is, the bivector and trivector spin in Cℓ 3 allows us to write an isomorphic equation in ℜ contributions to the metric, in Eq.(V.7), are identically GA zero in this case, thus reducing to Minkowski spacetime. However, for a full description of non-lightlike massive (∂ + ) ψ = mψ∗je , (VI.5) t ∇ − 3 particles, where the additional spin components are not identically zero, then the full eight-dimensional descrip- where ψ Cℓ 3 . Note that with a wave function tion shown in Eq. (II.1) will be required. Indeed there are multivector∈ ψ =ℜa + E + jB + jb then we define the several arenas of physics where the standard spacetime involution ψ∗ = a E + jB jb. We note that the space coordinates seem to fail, such as inside the event horizon of multivectors in−Cℓ 3 −is eight dimensional and so of black holes or the inability to establish local realism in can be made isomorphicℜ to the eight-dimensional Dirac quantum mechanics. Also, the photon is the only light- spinor, as required. We note that the left hand side of like particle known within the standard model that can the Dirac and Maxwell equations are identical and so be used to establish a spacetime framework, except for we require the same transformation R∂SSψ¯ T¯, where we perhaps the graviton or the gluon. define T =ev+jw. Therefore ψ′ = Sψ¯ T¯ and so We note that while the generalized transformations ′ ψ∗ = S¯∗ψ∗T¯∗. (VI.6) appeared ruled out by the non-existence of magnetic monopoles, there are still several lines of inquiry that can So writing the transformation out in full, we find be pursued. Firstly, while true magnetic monopoles may not exist in nature, quasi magnetic monopoles have been p+jq −v−jw r−js ∗ v−jw 21 e ∂ψe = me ψ e je3. (VI.7) detected in spin-ice systems . Secondly, the generalized − spacetime events may also produce additional interaction In order to recover the untransformed Dirac equation we terms that then appear in the Lorentz force law. Other therefore require ep+jq = er−js or r = p and q = s, possible applications are investigations of the longitudi- which is the standard Lorentz boost, shown previously− nal electrodynamic force and the Abraham-Minkowski in Eq. (V.7). Hence, the Dirac equation also enforces controversy regarding the correct definition for light mo- the standard Lorentz boost over four-vectors, although menta in dielectrics, as this issue is related to the conser- in this case apparently unrelated to the presence of vation of angular momentum22,23. Our final coordinate monopoles as it was for Maxwell’s equations. transformation in Eq. (V.7) encapsulates the properties of the Thomas rotation in a single operation that con- sists of two non-parallel boosts. We also find that our VII. CONCLUSION operator is able to describe a more general Thomas rota- tion involving three non-coplanar boosts with an implied We find a generalized Lorentz transformation in helical motion. Eq. (III.3) that preserves the Minkowski invariant inter- Finally, while Maxwell’s electrodynamic equations val as well as retaining the form of Maxwell’s equations force us to restrict the use of the general transformation including the expected field transformation. We then to the conventional one, we know that Maxwell’s equa- find that in order to incorporate the absence of magnetic tions formed a classical theory before quantization and 7 before the advent of general relativity. Hence our gener- j cos a sinh b, we therefore have the following results: alized structure and transformations may have applica- bility to describe quantum effects or other fundamental cos G cos H = (cos α+ cosh α− j sin α+ sinh α−) | | | | − forces and provide a framework to explore the theoretical (cos β+ cosh β− j sin β+ sinh β−) aspects of magnetic monopoles. If monopoles are indeed × − = cos α cosh α cos β cosh β (B.1) found to exist in nature then the generalized transforma- + − + − sin α sinh α sin β sinh β tions that we describe are applicable and so would allow − + − + − a much greater range of space, time and field transforma- j(cos β cosh β sin α sinh α − + − + − tions than are currently permitted by the Lorentz group. +cos α+ cosh α− sin β+ sinh β−),
sin G sin H = (sin α cosh α + j cos α sinh α ) VIII. ACKNOWLEDGMENT | | | | + − + − (sin β cosh β + j cos β sinh β ) × + − + − N. Iannella was supported by the People Programme = sin α+ cosh α− sin β+ cosh β− (B.2) (Marie Curie Actions) of the European Unions Seventh cos α+ sinh α− cos β+ sinh β− − Framework Programme (FP7/2007-2013) under REA +j(sin β+ cosh β− cos α+ sinh α− grant agreement No PCOFUND-GA-2012-600181. + sin α+ cosh α− cos β+ sinh β−),
and Appendix A: The multivector products sin G cos H (B.3) | | | | = (sin α cosh α + j cos α sinh α ) In Clifford geometric algebra we form the space of mul- + − + − 2 3 tivectors 3 3 3, an eight-dimensional (cos β+ cosh β− j sin β+ sinh β−) ℜ⊕ℜ ⊕ ℜ ⊕ ℜ 3 × − real vector space denotedV byV Cℓ( ). This thus con- = sin α+ cosh α− cos β+ cosh β− sists of the sum of a scalar, vector,ℜ bivector and trivec- +cos α+ sinh α− sin β+ sinh β− tor. Defining vectors v = v1e1 + v2e2 + v3e3 and +j(cos β+ cosh β− cos α+ sinh α− u = u1e1 + u2e2 + u3e3, where vi,ui , we find their ∈ ℜ sin α cosh α sin β sinh β ). algebraic product using the distributive law of multipli- − + − + − cation over addition as
uv = (e1u1 + e2u2 + e3u3)(e1v1 + e2v2 + e3v3)(A.1) Appendix C: Example of a generalized boost = u v + u v + u v + (u v v u )e e 1 1 2 2 3 3 2 3 − 2 3 2 3 +(u v u v )e e + (u v v u )e e An example of a generalized boost would be 1 3 − 3 1 1 3 1 2 − 1 2 1 2 = u v + u v, · ∧ X′ =epXer =e−φvˆ Xe−φwˆ . (C.1) which produces a sum of symmetric and antisymmetric This is an extension of the conventional boost in which products, being the sum of a scalar and a bivector. We wˆ = vˆ, shown in Eq. (II.8). For the boost shown we can then write have G = H = jφ. Boosting a spacetime vector t + x, where| we| now| | take c = 1, we find from Eq. (IV.6) u v = 1 (uv + vu) , u v = 1 (uv vu). (A.2) · 2 ∧ 2 − (cosh φ + vˆ sinh φ)(t + x)(cosh φ + wˆ sinh φ)(C.2) Also, we find = t(cosh2 φ + vˆwˆ sinh2 φ +vˆ sinh φ cosh φ + wˆ cosh φ sinh φ) u v = ju v, (A.3) ∧ × +xk(cosh2 φ + vˆwˆ sinh2 φ which forms a connection with the conventional cross +vˆ sinh φ cosh φ + wˆ cosh φ sinh φ) product. +x⊥(cosh2 φ vˆwˆ sinh2 φ − vˆ sinh φ cosh φ + wˆ cosh φ sinh φ). − Appendix B: Useful trigonometric relations For the vector components we find
x′ = t(vˆ sinh φ cosh φ + wˆ cosh φ sinh φ) (C.3) We have G = α +jα and similarly H = β +jβ . + − + − k 2 2 Now, using| the| trigonometric identities| cos(| a + jb) = +x (cosh φ + vˆwˆ sinh φ) cos a cosh b j sin a sinh b and sin(a + jb) = sin a cosh b + +x⊥(cosh2 φ vˆwˆ sinh2 φ), − − 8 which can be re-arranged to Therefore, boosting the four current ρ + J we would produce the trivector term x′ = xk(cosh 2φ + (vˆwˆ 1) sinh2 φ) (C.4) − (γ 1) t J vˆ wˆ − . (C.10) + (vˆ sinh 2φ + wˆ sinh 2φ) − ∧ ∧ 2 2 +x⊥(1 (vˆwˆ 1) sinh2 φ). Now, as the trivector represents magnetic monopole − − charge, then if we require this to be zero we need vˆ wˆ = 0. This implies vˆ is parallel to wˆ and so we essentially∧ Now, as tanh 2φ = v we have cosh 2φ = γ = 1/√1 v2 require the conventional boost in Eq. (II.8). However in and sinh 2φ = γv and so we find that − the non-relativistic limit we have γ 1 and so this term also goes to zero. Hence monopoles→ will only appear for relativistic boosts in this case. ′ k (v + w) ⊥ γ 1 x = γ x + t +x +vxˆ (wˆ vˆ) − . (C.5) We also have the bivector components 2 − 2 (γ 1) 1 t − vˆ wˆ + γJ (w v). (C.11) We note that for conventional boosts vˆ = wˆ and so we 2 ∧ 2 ∧ − produce the result shown in Eq. (I.3). The last term also vanishes in the non-relativistic limit as γ 1. This term, representing the monopole current is non-zero → even in the non-relativistic limit, though zero for v = w. For the scalar components we find Appendix D: Lorentz transformation of the Dirac spinor t(cosh2 φ + vˆ wˆ sinh2 φ) (C.6) · −p−jq +xk sinh φ cosh φ + xk wˆ cosh φ sinh φ Multiplying from the left by e and from the right · by ev+jw, Dirac’s equation is recovered provided +x⊥ wˆ cosh φ sinh φ, · v−jw v+jw e e3e = e3. (D.1) which can be re-arranged to Now, in quantum electrodynamics we assume that we can produce the four-current J = ψψ˜ = ρ + J. If we t′ = t(cosh 2φ + (vˆ wˆ 1) sinh2 φ) (C.7) · − transform the field, we obtain the transformed current 1 k 1 + x sinh 2φ + x wˆ sinh 2φ ′ −r−js −v−jw −v+jw −r+js 2 2 · J =e ψe e ψ˜e . (D.2) We have thus recovered the correct Lorentz boost of a and so we have four-current provided
1 (γ 1) −v−jw −v+jw t′ = γ(t + v(xk + x wˆ )) + t(vˆ wˆ 1) − . (C.8) e e =1, (D.3) 2 · · − 2 or v = 0. Using this result in Eq. (D.1) we find the Once again with wˆ = vˆ the last term is zero and we condition return the conventional result shown in Eq. (I.3). e−jwe ejw = e , (D.4) For this generalized boost, we produce the trivector 3 3 components or w = w3e3. Hence, the transformation of the wave function requires the operation ψ′ =e−r−jsψe−je3 w3 or xk vˆ wˆ sinh2 φ x⊥ vˆ wˆ sinh2 φ (C.9) ∧ ∧ − ∧ ∧ ψ′ =e−p+jqψe−jw3e3 . (D.5) (γ 1) = x vˆ wˆ − . − ∧ ∧ 2
∗ [email protected] 5 J. Strnad, Nature 226, 137 (1970). † [email protected] 6 E. Cole and S. Buchanan, Journal of Physics A: Mathe- 1 J. Jackson, Classical Electrodynamics (John Wiley and matical and General 15, L255 (1982). Sons, 1998). 7 R. A. Nelson, Journal of Mathematical Physics 28, 2379 (1987). 2 N. Weinberg, Physics Letters A 80, 102 (1980). 8 R. Weingard, American Journal of Physics 53, 492 (1985). 3 R. Mignani and E. Recami, 9 S. Demir and M. Tanı¸slı, Il Nuovo Cimento A (1965-1970) 14, 169 (1973). The European Physical Journal Plus 126, 1 (2011). 4 G. Alway, Nature 224, 155 (1969). 10 M. Gogberashvili, Advances in Applied Clifford Algebras 9
15, 55 (2005). 18 K. A. Milton, Reports on Progress in Physics 69, 1637 11 M. Gogberashvili, Journal of Physics A: Mathematical and (2006). General 39, 7099 (2006). 19 E. F. Taylor and J. A. Wheeler, Spacetime Physics, 1st ed. 12 J. M. Chappell, S. P. Drake, C. L. Seidel, L. J. Gunn, (W. H. Freeman and Co, New York, 1966). A. Iqbal, A. Allison, and D. Abbott, Proceedings of the 20 J. M. Chappell, N. Iannella, A. Iqbal, and D. Abbott, IEEE 102, 1340 (2014). PLoS ONE 7, e51756 (2012). 13 D. Hestenes, Spacetime Algebra (Gordon and Breach, New 21 H. Kadowaki, N. Doi, Y. Aoki, Y. Tabata, T. J. York, 1966). Sato, J. W. Lynn, K. Matsuhira, and Z. Hiroi, 14 D. Hestenes, American Journal of Physics 71, 691 (2003). Journal of the Physical Society of Japan 78, 103706 (2009). 15 D. J. Griffiths, Introduction to Electrodynamics (Prentice 22 L. Johansson, Master of Science Thesis, Department of Hall, 1999). Electromagnetic Theory, Lund Institute of Technology, 16 W. E. Baylis, Electrodynamics: A Modern Geometric Ap- Sweden (1996). proach (Birkh¨auser, Boston, 2001). 23 Y. N. Obukhov, Annalen der Physik 17, 830 (2008). 17 P. A. M. Dirac, Phys. Rev. 74, 817 (1948).