The origin of Minkowski spacetime James M. Chappell, John G. Hartnett, Nicolangelo Iannella, Azhar Iqbal and Derek Abbott Abstract. The four dimensional spacetime continuum, as originally conceived by Minkowski, has become the default framework for describing physical laws. Due to its fundamental importance, there have been various attempts to find the origin of this structure from more elementary principles. In this paper, we show how the Minkowski spacetime structure arises naturally from the geometrical properties of three dimensional space when modeled by Clifford geometric alge- bra of three dimensions Cℓ(ℜ3). We find that a time-like dimension along with the three spatial dimensions, arise naturally, as well as four additional degrees of freedom that we identify with spin. Within this expanded eight-dimensional arena of spacetime, we find a generalisation of the invariant interval and the Lorentz transformations, with standard results returned as special cases. The value of this geometric approach is shown by the emergence of a fixed speed for light, the laws of special relativity and the form of Maxwell’s equations, without recourse to any physical arguments. Mathematics Subject Classification (2010). MSC 51B20, 83A05. Keywords. Minkowski, Spacetime, Clifford geometric algebra, Special relativ- ity, Multivector. arXiv:1501.04857v6 [physics.gen-ph] 27 Apr 2021 1. Introduction Einstein’s seminal paper of 1905 [12] introduced a new description of space and time, which includedthe propertiesof time dilation and length contraction. Minkowski then showed that these exotic phenomena could be simply interpreted as the intrin- sic properties of a four-dimensional spacetime continuum. That is, if we write a space-time event as the four vector X = [t, x], we produce the invariant distance XX¯ = [t, x] [t, x]= t2 x2. The set of transformations Λ acting on spacetime · − − coordinates X′ = ΛX that hold this interval invariant, then produce the various spacetime effects. Due to the fundamental importance of Minkowski spacetime, a variety of ar- guments have been presented over the years attempting to derive this structure from more elementary considerations, such as (i) the consistency of Newton’s First Law, 2Chappell, John G. Hartnett, Nicolangelo Iannella, Azhar Iqbal and Derek Abbott (ii) spacetime isotropy with non-instantaneous interaction propagation [28, 18], (iii) the requirements for the existence of observed elementary particles and dynamics in the context of basic quantum mechanical considerations [4, 30, 31], (iv) implica- tions of electric/magnetic reciprocity [23], and (v) the effective ill-posed nature of Einstein’s field equations unless the Minkowski metric applies [32]. Now, beginning from first principles, it is easily confirmed that we live in a world with nominally three spatial dimensions, such as by the presence of exactly five regular solids [9, 27]. Also, the inverse square laws of gravity and electromag- netism, have been experimentally verified to very high precision [22], indicating the absence of additional macroscopic dimensions beyond three space dimensions. The formalism of Clifford geometric algebra of three dimensions Cℓ( 3) is therefore a natural choice to describe spacetime structure. Two previous implemen-ℜ tations being (i) spacetime algebra (STA) [20] and (ii) the algebra of physical space (APS) [2]. We thus begin with the Clifford algebra of three dimensions Cℓ( 3) and pro- duce the Minkowski metric as an emergent property. While recoveringℜ standard results, we expand spacetime to eight dimensions and the group of Lorentz transfor- mations. The metric produces a Lagrangian for relativistic processes that provides a natural extension to standard interactions. 2. Derivation Clifford’s geometric algebra (GA) Cℓ( 3) can describe a regular three-dimensional vector space, but the algebra also containsℜ additional bivector and trivector elements, forming overall an eight-dimensional space. Proposition 2.1 (Spacetime structure). The Clifford Algebra Cℓ 3 , forms an ℜ algebraic representation of spacetime as 3 2 3 3 3, where refers ℜ⊕ℜ ⊕ ℜ ⊕ ℜ to the exterior algebra. V V V This structure can be expressed using three-vector notation with an eight- dimensional multivector M = a + x + jn + jb, (2.1) where x = x1e1 + x2e2 + x3e3 a vector, jn = n1e2e3 + n2e3e1 + n3e1e2 a bivector, and j = e1e2e3 trivector with a,b,x1, x2, x3,n1,n2,n3 real scalars [7, 5]. The trivector j commutes with all elements of the algebra jM = Mj and squares to minus one j2 = 1, thus providing a substitute for the unit imaginary √ 1. − − Clifford algebrais a graded algebra,and the fourgrades of Cℓ 3 are scalars, ℜ polar vectors, axial vectors (pseudovectors) and pseudoscalars. The four grades form an algebraic representation of the common geometric concepts —point, line, areal and volume elements—found in three-dimensional space. We can define the three dimensional Clifford’s algebra Cℓ 3 , using three unit elements e ,e ,e ℜ 1 2 3 that obey the relation epeq = δpq + ǫpqr jer, where δ is the Dirac delta func- tion, ǫ is the antisymmetric tensor and p,q,r 1, 2, 3 . The Clifford Algebra ∈ { } Cℓ3,0 is thus isomorphic to the Pauli algebra. The eight-dimensional multivector in Minkowski Spacetime 3 Eq. (2.1) is also isomorphic to the complexified quaternions [19, 29] and the octo- nions [11, 13, 15, 16, 14], which have also been used to model spacetime. Refer to Appendix A for more details. Now, Einstein’s first postulate, the laws of physics are the same in all inertial frames of reference, leads us to look for the invariants in Cℓ 3 , after applying ℜ transformation rules. 2.1. Finding the invariants and metric Definition 2.2 (Clifford conjugation). We define Clifford conjugation of a multi- vector M as M¯ = a x jn + jb. (2.2) − − Clifford conjugation is an involution that is an anti-automorphism, so that for a product MN of two multivectors M,N Cℓ 3 , MN = N¯M¯ . ∈ ℜ Definition 2.3 (Multivector amplitude). We define the amplitude squared of a multivector M through Clifford conjugation, giving the bilinear form M 2 = MM¯ = MM¯ = a2 x2 + n2 b2 +2j (ab x n) (2.3) | | − − − · forming a complex-like number, thus in the center of the algebra. The square root is therefore well defined from complex number theory and so we can define the mul- tivector amplitude as M = M 2. The amplitude squared also has the important | | | | property that M M 2 = MpM M¯ M¯ = M M¯ M M¯ = M 2 M 2. | 1 2| 1 2 2 1 1 1 2 2 | 1| | 2| 2.2. The group transformations Definition 2.4 (Bilinear multivector transformation). We define a general bilin- ear transformation on a multivector M as M ′ = KML, (2.4) where M,K,L Cℓ( 3). ∈ ℜ We then find the transformed multivector amplitude 2 2 2 2 M ′ = KML KML = KMLL¯M¯ K¯ = K L M , (2.5) | | | | | | | | where we have used the anti-involution property of Clifford conjugation and the commuting property of the amplitude. Hence, provided we specify a unitary con- dition K 2 L 2 = 1 for these transformations, then the amplitude M will be in- variant.| Without| | | loss of generality, it is then convenient to impose| the| condition K 2 = L 2 = 1. The transformation in Eq. (2.4) is then the most general bi- linear| | transformation| | ± that preserves the multivector amplitude and so produces an invariant distance over the space. If we focus on the special case Y 2 = Z 2 = +1 that describe transfor- mations that are continuous with the identity.| | Then,| | using the power series expan- sion of the exponential function, a multivector Y can be written in an exponential form [20, 21] Y =ec+p+jq+jd, (2.6) provided Y =0, where c, d and p, q 3. Therefore, we find | | 6 ∈ℜ ∈ℜ c+p+jq+jd c p jq+jd 2c+2jd Y Y¯ =e e − − =e . (2.7) 4Chappell, John G. Hartnett, Nicolangelo Iannella, Azhar Iqbal and Derek Abbott The unitary condition Y 2 = 1 then requires c =0, d = nπ/2, n an integer. Now, as d = 0 simply adds| a commuting| ± phase term and because this will not affect the amplitude6 of the multivector we now set d = 0 in order to investigate the Lorentz group. So, also writing Z = er+js, with r, s 3, we finally produce the general transformation operation ∈ ℜ p+jq r+js M ′ =e Me , (2.8) which will leave the multivector amplitude invariant. The four three-vectors p, q, r, s illustrate that the transformation is specified by twelve real parameters, thus gener- alizing the conventional six dimensional Lorentz group, consisting of boosts and rotations. Definition 2.5 (Multivector dot product). Given two multivectors A, B we define the dot product as 1 A¯ B = AB¯ + BA¯ , (2.9) · 2 a commuting complex-like number, see Appendix A, which is invariant under the Lorentz transformations. That is, under transformation we have 1 A¯′ B′ = KALKBL + KBLKAL (2.10) · 2 1 = L¯A¯KKBL¯ + L¯B¯KKAL¯ 2 1 1 = L¯ABL¯ + L¯BAL¯ = L¯ AB¯ + BA¯ L 2 2 = L¯ A¯ B L = A¯ B, · · and so invariant. Hence, along with AA¯, the dot products A¯ B = A B¯ = B¯ A = B A¯ are also invariant under the general Lorentz transformatio· ns. The· multivector· dot· product is a generalisation of the conventional four-vector dot product. 2.3. Field multivectors Now, the product AB¯ transforms as A¯′B′ = KALKBL = L¯A¯KKBL¯ = L¯ABL,¯ (2.11) thus requiring a restricted transformation rule. Definition 2.6 (Field multivectors). We define a class of multivectors called fields as F = AB¯ , which transform as F ′ = LF¯ L. (2.12) This implies the product XF will transform as multivector. That is X′F ′ = KXLLF¯ L = K(XF )L.