arxiv: v1 [math-ph] 16 Jun 2015

Transcription

1 arxiv: v1 [math-ph] 16 Jun 2015 On gemetry f the scatr space Artur Kbus Plitechnika Bia lstcka, Wydzia l Budwnictwa i Inżynierii Śrdwiska ul. Wiejska 45E, Bia lystk, Pland Jan L. Cieśliński, Uniwersytet w Bia lymstku, Wydzia l Fizyki ul. Ci lkwskieg 1L, Bia lystk, Pland Abstract We cnsider the scatr space - a hypercmplex, nn-distributive hyperblic algebra intrduced by Fernández-Guasti and Zaldívar. We discuss ismetries f the scatr space and find cnsequent methd fr treating them algebraically, alng with scatrs themselves. It ccurs that intrductin f zer divisrs cannt be avided while dealing with these ismetries. The scatr algebra may be endwed with a nice physical interpretatin, althugh it suffers frm lack f sme physically demanded imprtant features. Despite that, there arises sme pen questins, e.g., whether hypthetical tachyns can be cnsidered as usual particles pssessing time-like trajectries. MSC 2010: 30G35; 20M14 Keywrds: scatrs, tachyns, nn-distributive algebras, hypercmplex numbers. 1 Intrductin Fllwing Fernández-Guasti and Zaldívar [1] we cnsider a cmmutative, nn-distributive dimensinal algebra S, which is als assciative prvided that divisrs f zer are excluded. The elements f this algebra will be called dimensinal scatrs [1]. Scatrs a kind f hypercmplex numbers) are dented by a = ;a 1,a 2 ), where cmpnents a 1,a 2 are referred t as directr cmpnents, and is usually called scalar cmpnent, r, in j.cieslinski@uwb.edu.pl 1

2 physical cntext, tempral cmpnent. The space f scatrs pssesses the additive structure f usual vectr space, with scalars being its subset, clsed under additin and multiplicatin. In this paper we cnfine urselves t this definitin f a scatr, leaving aside earlier cncepts f scatrs as bjects generalizing scalars and vectrs, see [2, 3]. It was shwn in [4] that this algebra may be given physical interpretatin crrespnding t sme ideas f special relativity, althugh metric in the scatr space is different frm the standard metric f Minkwski space. This scatr metric defined belw) is called scatr-defrmed Lrentz metric. It was emphasized that scatrs and defrmed metrics can describe a kinematics f sme kind f particles, including hypthetical tachyns. In ur paper we study metric prperties f scatrs, paying special attentin t prper definitins fr causal realms appearing in this framewrk, what finally will lead t sme cnvergence with wrk f Kapuścik [5]. We emphasize the fact that multiplicatin acts in a nn-distributive way, what is the hallmark f the structure. Indeed, we have ab = ;a 1,a 2 ) ;b 1,b 2 ) = = +a 1 b 1 +a 2 b 2 + a 1a 2 b 1 b 2 ; b 1 +a 1 + a 1a 2 b 2 + a 2b 1 b 2, b 2 +a 2 + a 1a 2 b 1 + a ) 1b 1 b ) Therefre, cmputing a, b; c) := a+ b) c a c b c = a 1 b 1 ) b 2 a 2 ) + ) ) c1 c 2 ;c 2,c 1, c 0 1.2) where c = c 0 ;c 1,c 2 ), we easily see that in the generic case the righ-hand side des nt vanish, i.e., a+ b) c a c+ b c prvided that a 1 b 1 and b 2 a 2. Hence, in general, the scatr prduct is nt distributive. By the way, the scatr appearing n the right-hand side f 1.2) will be referred t as dual t c see Definitin 2.1 belw). Many prperties f the scatr prduct 1.1) were widely investigated in many cntexts [1, 8, 9], als physical [4]. T gain sme insight in pssible physical interpretatin f the scatr algebra, we recall here sme basic terminlgy frm [1] and [9], althugh mdified a little: 2

3 Definitin 1.1. The mdulus squared f a scatr is given by ) ) a 2 = a a = a a2 1 a 2 1 a2 2 0 a 2 = a 2 0 a2 1 a2 2 + a2 1 a2 2 0 a ) 0 Definitin 1.2. We say that a scatr is time-like, if a 2 0 > a 2 1, and a 2 0 > a 2 2, r a 2 0 < a 2 2, and a 2 0 < a 2 1, 1.4) it is said t be space-like, if a 2 0 < a 2 1, and a 2 0 > a 2 2 r a 2 0 < a 2 2, and a 2 0 > a 2 1, 1.5) and it is light-like, when a 2 0 = a 2 1, r a 2 0 = a ) The divisin prpsed abve is analgus t what is well knwn frm special relativity. Nte that in bth cases cmpnentwise additin f scatrs r vectrs des nt preserve this divisin. On the ther hand, the nrm f a prduct f tw scatrs is just a prduct f their nrms [9], which is very useful in this cntext. In this paper we present new results cncerning the metric structure f the scatr space, extending results f [4, 9]. Fr instance, we indicate that bipyramid cnsidered in [4] has sme kind f time-like wings arund, described by the regime a 2 0 < a2 1 and a2 0 < a2 2, while, fr example, in [9], there were cnsidered mainly time-like events inside the light bipyramid a 2 0 > a2 1 and a2 0 > a2 2 ). Time-like regin is marked as dark at Fig. 1. We underline that the existence f such wings has been verlked in the paper [4], what has its cnsequences in pssible physical interpretatin prpsed in next sectins. This seems t reveal sme new aspects f causality in scatr-defrmed Lrentz metric see the picture at end f the paper). A clsely related ntin, super super-restricted space cnditins, was intrduced in [9] withut a direct relatin t the type f cnsidered events. Super-restricted space cnditins define either time-like events in evendimensinal spaces) r space-like events in dd-dimensinal spaces). The paper is rganized as fllws. In sectin 2 we intrduce basic bjects and transfrmatins respnsible fr ismetries in the scatr space S. Then, in sectins 3 and 4 we prpse and develp a new framewrk in which calculatin prceed in a mre natural way, using a distributive prduct. In sectin 5 we cntinue alng these lines fcusing n ismetries. Sectin 6 is entirely devted t the questin f metric prperties f scatrs; in particular, we btain pssible clsest analgue f scalar prduct we can get, althugh it is even nt bilinear. The last sectin cntains physical cmments and cnclusins. 3

4 Figure 1: Time-like wings at a fixed time 0). Duality peratins sectin 2) take us ut frm the bipyramid represented in this crss-sectin by the inner square) t ther causal realms, and cnversely. 4

5 2 Dualities - phenmenlgical treatment Nw we turn ur attentin t the issue f ismetries in the scatr space S. We begin with defining sme peratins and then check their prperties. Definitin 2.1. If we have a 3-scatr a = ;a 1,a 2 ), then we call the scatr f the frm ) a1 a 2 ā =,a 2,a 1 2.1) its dual r rdinary dual) scatr, and star dentes hypercmplex cnjugate: a = ; a 1, a 2 ). 2.2) Lemma 2.2. Operatin f duality cmmutes with hypercmplex cnjugatin. Prf: We have ) a) ō a1 a 2 =,a 2,a 1 = ) a1 a 2, a 2, a 1 2.3) and ) a1 a a 2 ) = ; a 1, a 2 ) =, a 2, a 1 2.4) which are evidently equal. Lemma 2.3. Operatin f duality is idemptent: ā) = a. Prf: This fllws instantly by straightfrward calculatin. Remark 2.4. Hypercmplex cnjugatin is a hmmrphism in S, i.e., a b) = a) b). 2.5) Operatin f duality des nt prvide yet anther hmmrphic sctructure in S, i.e. ab a ō b. The abve statements fllw frm cnsideratins similar t direct calculatins included in [7]. Sn we will get a better understanding f these facts by applying a new apprach which is bth faster and simpler. 5

6 Prpsitin 2.5. Operatin f duality preserves the scatr prduct: ā b = ab. 2.6) Prf: We present explicit calculatin fr the scalar cmpnent: and a b) 0 = +a 1 b 1 +a 2 b 2 + a 1a 2 b 1 b 2, 2.7) a ō b)0 = ā 0 b0 +ā 1 b1 +ā 2 b2 + ā1ā 2 b1 b2 = ā 0 b0 = a 1a 2 b 1 b 2 +a 2 b 2 +a 1 b 1 + a 1a 2 b 1 b 2 b 1 a 2 b 1 b 2 = = +a 1 b 1 +a 2 b 2 + a 1a 2 b 1 b 2 = a b) ) Similar direct cmputatin can be dne fr directr cmpnents. Prpsitin 2.6. Operatin f duality is an ismetry in 3-scatr space. Prf: Fr rdinary scatr a we have its nrm ) ) a 2 = a a = a a2 1 a 2 1 a2 2 0 a ) 0 Thus, fr the dual scatr a, ō we get ) ) a ō 2 = a ō a ō a1 a 2 a1 a 2 =,a 2,a 1, a 2, a 1 = ) ) = a2 1 a2 2 a 2 1 a2 2 1 a2 1 = a a2 2 a 2 a 2 1 a2 2 0 a 2 0 = a2 1 a2 2 a 2 0 +a 2 0 a 2 1 a 2 2 = a a2 1 a 2 0 which exactly cincides with the nrm f the riginal scatr. ) ) 1 a2 2 a 2, 2.10) 0 Remark 2.7. Taking int accunt 1.1), 2.2) and 2.1), we can easily verify that a b+ a b = 2 a 1 b 1 a 2 b 2 + a ) 1a 2 b 1 b 2, 2.11) where the right-hand side is prprtinal t 1 mitted fr simplicity here and in many ther places). 6

7 Definitin 2.8. If we have a 3-scatr a = ;a 1,a 2 ), then we call a scatr f the frm ā i = a 1 ;, a ) 1a ) its internal dual scatr, and a scatr f the frm ā e = a 2 ; a ) 1a 2, 2.13) its external dual. Lemma 2.9. Internal and external duality peratins anti-cmmute with hypercmplex cnjugatin. Prf: We have ā i ) = a 1 ;, a 1a 2 ) = a 1 ;, a ) 1a ) and a ) i = ; a 1, a 2 ) i = a 1 ;, a ) 1a 2, 2.15) s that ō a) i + a ) i = ) Similarly we have ō a) e = a 2 ; a 1a 2, ) = a 2 ; a ) 1a 2, 2.17) and a ) e = ; a 1, a 2 ) e = a 2 ; a ) 1a 2,, 2.18) s that ō a e ) +a ) e = 0, 2.19) which ends the prf. 7

8 Lemma Internal and external duality peratins are idemptent. Prf: It is enugh t apply twice definitins f bth peratins. Remark Operatin f external and internal duality d nt prvide yet anther hmmrphic sctructures in S, s i.e. ab) i a ō ō i b i, ab) e a ō ō e b e, 2.20) which fllws frm straightfrwad calculatin. Lemma Operatins f internal and external duality preserve scatr prduct. Prf: By direct cmputatin, similar t the case f rdinary duality. Definitin A transfrmatin that exchanges time-like events with space-like events and cnversely) and leaves the type f light-like events unchanged is called a causality swap r a pseud-ismetry). Prpsitin Bth internal and external duality peratins are causality swaps f 3-scatr space. Prf: Denting a ō i = ā 0i ;ā 1i,ā 2i ), we cmpute: ) ) a ō i 2 = ā 2 0i 1 ā2 1i ā 2 1 ā2 2i 0i ā 2 = 0i = ā 2 0i 1 ā2 1i ā 2 ā2 2i 0i ā 2 + ā2 1i ā 2 ) ) ) 2i 0i ā 2 0i ā 2 = a a2 0 0i a 2 1 a2 2 1 a 2 = 1 ) ) = a a2 1 a 2 1 a2 2 0 a 2 = a ) 0 Therefre, if riginal scatr represents a time-like event, then its internal dual has t represent a space-like event, and vice versa. Light-like scatrs d nt change their type. Analgus cmputatin, with the same cnsequences, can be dne fr the external dual. Crllary Duality peratins cmmuting with hypercmplex cnjugatin are ismetries, while duality peratins anti-cmmuting with hypercmplex cnjugatin are causality swaps. Finally, we arrive at a very strng therem prviding sme kind f translatr between different kinds f duals. 8

9 Therem Ordinary, internal, and external duality peratins have the fllwing prperties: ā bi = a ō ō i b = ab) e = ā) ō eb = a b) e, ā be = a ō ō e b = ab) i = ā) ō ib = a b) i ō ā e b i = a ō ō i b e = ab = a ō b = a b. 2.22) Prf: One can perfrm lenghty straightfrward calculatin. Hwever, applying a new apprach f next sectins we will be able t present a very shrt prf. 3 Advances in algebra Let S dentes the space f hyperblic 3-scatrs with nn-vanishing scalar cmpnent a S if and nly if 0). We are ging t identify S with bjects in a linear space A f dimensin 4, where the furth cmpnent is reserved fr sme gemetric invariant. Definitin 3.1. The fundamental embedding f S int A is given by the map F : S S FS) A, defined by S a = ;a 1,a 2 ) F a) := ;a 1,a 2,a 3 ), a 3 = a 1a ) Remark 3.2. F is a bijectin between S and S, s it has an inversin F 1 : S S. We have als a natural prjectin π : A ;a 1,a 2,a 3 ) ;a 1,a 2 ) S. 3.2) Nte that π F 1 but π S = F 1. We dente by {1,i 1,i 2,i 12 } a basis in the linear space A such that ;a 1,a 2,a 3 ) = 1+a 1 i 1 +a 2 i 2 +a 3 i ) The first three elements span the scatr space S. The basis {1,i 1,i 2 } is related t {1,ê 1,ê 2 } used in papers [1, 8]. As in these papers, we demand that 1 2 = i 2 1 = i 2 2 = i 2 12 = 1, 3.4) 9

10 but we define i 12 = i 1 i 2 = i 2 i ) while the Authrs f [1, 8] make different assumptins: ê 1 ê 2 = ê 2 ê 1 = 0. The last equalities can be neatly interpreted in ur framewrk because F 1 i 1 i 2 ) = F 1 i 12 ) = ) Nw we make ur fundamental assumptin abut the space A. We assume that this is a cmmutative, assciative and distributive algebra, cmpare [7]. We dente F a) = ;a 1,a 2, a ) 1a 2, F b) = ;b 1,b 2, b ) 1b 2, 3.7) where we have written furth cmpnents f scatrs explicitly. in rder t keep track f pssible agreement with expected results. We have F a)f b) = +a 1 i 1 +a 2 i 2 + a ) 1a 2 i 12 +b 1 i 1 +b 2 i 2 + b ) 1b 2 i 12. Next, we use distributivity and 3.4) F a)f b) = +a 1 b 1 +a 2 b 2 + a 1a 2 b 1 b 2 +i 1 b 1 +a 1 )+ +i 12 i 1 a 1 a 2 b 1 +i 1 i 12 b 1 b 2 +i 2 i 12 b 1 b 2 a 2 +i 12 Then, due t 3.5), we btain a 1 a 2 a 1 +i 2 b 2 +a 2 )+i 12 i 2 b 2 + a 0 a1 a 2 + b ) 1b 2 +i 1 i 2 a 1 b 2 +a 2 b 1 ). 3.8) F a)f b) = +a 1 b 1 +a 2 b 2 + a 1a 2 b 1 b 2 +i 1 b 1 +a 1 )+ +i 12 i 2 a 1 a 2 b 2 +i 2 i 12 b 1 b 2 +i 1 i 12 b 1 b 2 a 1 +i 12 a 1 a 2 a 2 +i 2 b 2 +a 2 )+i 12 i 1 b 1 + a 0 a1 a 2 + b ) 1b 2 +a 1 b 2 +a 2 b ) We see that the btained scalar cmpnent cincides with the scalar cmpnent f 1.1). In rder t get the same directr cmpnents we have t assume i 1 i 12 = i 12 i 1 = i 2, i 2 i 12 = i 12 i 2 = i 1, 3.10) 10

11 which fllws frm 3.4) and 3.5). Finally, we get F a)f b) = +a 1 b 1 +a 2 b 2 + a 1a 2 b 1 b 2 +i 1 b 1 +a a 1a 2 b 2 + b 1b 2 + b 1b 2 a 1 )+i 12 a 2 )+i 2 b 2 +a 2 + a 1a 2 b 1 + a 0 a1 a 2 + b 1b 2 +a 1 b 2 +a 2 b 1 ). 3.11) Crllary 3.3. Frm 3.11) we immediately see that a b = πf a)f b)). Therem 3.4. The fundamental embedding 3.1) is a multiplicative hmmrphism f S and S: F a)f b) = F a b), hence a b = F 1 F a)f b)). 3.12) Prf: We may check it by tedius straightfrward cmputatin, multiplying scalar and furth cmpnent f 3.11) and cmparing it with the prduct f directr cmpnents. Hwever, calculatins can be avided when we take int accunt the fllwing factrizatin: F a) = 1+ a 1 i 1 ) F a)f b) = 1+ a 1b a 2 i 2 ) a1 + b 1, F b) = 1+ b ) 1 i 1 1+ b ) 2 i 2, )i 1 ) 1+ a 2b 2 + a2 + b 2 We see immediately that F a)f b) S which cmpletes the prf. )i 2 ). Remark 3.5. We can easily check that F a ) = F a)), Fλ a) = λf a), F 1 λf a)) = λ a, 3.13) where λ is a real cnstant. 11

12 4 Frmula fr distributive multiplicatin Acrucialpintinuranalysisistexpressthedifference1.2)intermsfthe fundamental embedding. We take int accunt distributivity f the algebra A assumed in the previus sectin. Nte that althugh F is a multiplicative hmmrphism but is nt additive, i.e., in general F a)+f b) F a+ b). 4.1) Therefre, multiplicatin f scatrs has a gemetric interpretatin, while additin f such bjects cannt be treated gemetricly. In particular, F a+ b))f c) F a)f c)+f b)f c). 4.2) But then we surely have F a)f c)+f b)f c) = F a)+f b))f c), 4.3) because the prduct in S is distributive. We will try express F a + b) in terms f F a) and F b). First, we cmpute F a+ b)f c) = = = ;a 1,a 2, a 1a 2 ) c 0 ;c 1,c 2, c ) 1c 2 + ;b 1,b 2, b ) 1b 2 c 0 ;c 1,c 2, c ) 1c 2 c 0 c 0 c 0 + )+c 1 a 1 +b 1 )+c 2 a 2 +b 2 )+ a 1 +b 1 )a 2 +b 2 ) + c 1 c 2 c 0 ; c 1 + )+c 0 a 1 +b 1 )+ c 1c 2 c 0 a 2 +b 2 )+ a 1 +b 1 )a 2 +b 2 ) + c 2, c 2 + )+c 0 a 2 +b 2 )+ c 1c 2 c 0 a 1 +b 1 )+ a 1 +b 1 )a 2 +b 2 ) + c 1, c 1 a 2 +b 2 )+c 2 a 1 +b 1 )+ c 1c 2 c 0 + )+ a 1 +b 1 )a 2 +b 2 ) + c 0 ). 4.4) 12

13 On the ther hand F a)f c)+f b)f c) = = = ;a 1,a 2, a 1a 2 ) c 0 ;c 1,c 2, c ) 1c 2 + ;b 1,b 2, b 1b 2 c 0 a1 a 2 c 0 + )+c 1 a 1 +b 1 )+c 2 a 2 +b 2 )+ Therefre b 1 b 2 ) c 0 ;c 1,c 2, c 1c 2 ) c1 c 2 c 0 ; c 1 + )+c 0 a 1 +b 1 )+ c 1c 2 a1 a 2 a 2 +b 2 )+ + b 1b 2 c 0 c 2 + )+c 0 a 2 +b 2 )+ c 1c 2 a1 a 2 a 1 +b 1 )+ + b 1b 2 c 0 c 1 a 2 +b 2 )+c 2 a 1 +b 1 )+ c 1c 2 a1 a 2 + )+ + b 1b 2 c 0 ) c 2, ) c 1, )c 0 ). c 0 ) 4.5) F a+ b)f c) F a)f c) F b)f c) = = a1 +b 1 )a 2 +b 2 ) a 1a 2 b ) ) 1b 2 c1 c 2 ;c 2,c 1,c 0 + c 0 and this is exactly F a,b;c)), as defined in 1.2)! Thus we have 4.6) F a+ b) c a c b c) = F a+ b)f c) F a)f c) F b)f c), 4.7) which lks suspiciusly hmmrphic. Equatin 4.6) can be rewritten as F a+ b)f c) F a)f c) F b)f c) = κ a, b)f ō c) 4.8) where κ a, b) is the scalar functin standing befre dual f c in frmulas 1.2) and 4.6). Remark 4.1. Frm 1.3) it fllws that the inverse f a scatr with respect t the scatr prduct) is given by c) 1 = c) c 2, 4.9) and light-like scatrs are nt invertible. 13

14 Therem 4.2. F a+ b) F a) F b) = κ a, b)i ) Prf: We multiply bth sides f 4.8) by F c) 1 ) and, taking int accunt that F is a hmmrphism, we btain the left-hand side f 4.10). Then we bserve that Therefre F ō c) = c 1c 2 c 0 +c 2 i 1 +c 1 i 2 +c 0 i 12 = i 12 F c). 4.11) F ō c)f c) 1 ) = i 12 F c) )F c) c 2 = i ) which ends the prf. Remark 4.3. As a direct cnsequence f 4.12) we get the fllwing strange result ā a) 1 = 0, 4.13) which manifestly shws that the scatr algebra has numerus zer divisrs. Crllary 4.4. Therem 4.2 implies that fr a given set f scatrs, a i = i ;a 1i,a 2i ), where i = 1,...,n, we have: F a a n ) = F a 1 )+F a 2 )+...+F a n )+κ n a 1, a 2,..., a n )i ) where κ n a symmetric scalar functin) can be expressed by κ: κ n a 1, a 2,..., a n ) = n j=2 κ a 1 + a a j 1, a j ). 4.15) Crllary 4.5. Frm Therem 4.2 it fllws that the inverse f the fundamental embedding is an additive hmmrphism, i.e., F 1 F a)+f b)) = F 1 F a)+f 1 F b)) a+ b, 4.16) because F 1 i 12 ) = 0. We pint ut that F 1 is nt a multiplicative hmmrphism. Cunterexamples will be given in the next sectin. 14

15 5 Dualities - systematic treatment Here we als prvide sme back-up fr what we have dne earlier: at first, we see why we call duality peratin a duality peratin. First, we nte that multiplicatin by bivectr i 12 acts n any element f the algebra A in a way similar t the Hdge peratr prducing its cmplementary element with respect t the maximal frm i 12. We have tw pairs f cmplementary basis elements: the first ne is 1 and i 12 and the secnd ne is i 1 and i 2. Definitin 5.1. Duality peratins are naturally given by: ā = F 1 i 12 F a)), ā i = F 1 i 1 F a)), ā e = F 1 i 2 F a)), 5.1) and, f curse, a = F 1 1F a)). Therefre, we have F a) ō = i 12 F a), F a ō i ) = i 1 F a), F a ō e ) = i 2 F a). 5.2) Thus, taking int accunt F a) 1 ) = F a)) 1 and 3.12), we get: ā a 1 = 0, ā i a 1 = i1, ā e a 1 = i2. 5.3) In rder t unify prfs it is cnvenient t intrduce the fllwing ntatin, generalizing 5.1) and 5.2): δ d a) = F 1 df a)), Fδ d a)) = df a), F a) = dfδ d a)), 5.4) where δ d dentes ne f duality peratins and d dentes the crrespnding basis element i 1, i 2 r i 12 ). Nte that d 2 = 1. Lemma 5.2. Any duality peratin cmmutes with inversin, i.e., δ d a) 1 ) = δ d a)) ) Prf: Using F a) = dfδ d a)) and 1 = F a)f a) 1 ) because F is a hmmrphism) we btain 1 = dfδ d a))f a) 1 ) = Fδ d a))df a) 1 ) = Fδ d a))fδ d a) 1 )). On the the hand, we have 1 = Fδ d a))fδ d a)) 1 ). Therefre, Fδ d a) 1 )) = Fδ d a)) 1 ) 15

16 and, taking int accunt that F is a bijectin, we btain 5.5). Nw, we can give a simple the prf fr Therem We rewrite this therem in a mre cnvenient way, using the unificatin f dualities frmulated in this sectin. Therem 5.3. Duality peratins have the fllwing prperties: δ p a b) = δ p a) b = aδ p b), δ p a)δ q b) = δ q a)δ p b) = δ pq a b), 5.6) where p,q {i 1,i 2,i 12 }. Prf:: Using 5.4) and 3.12) we btain: δ p a b) = F 1 pf a b)) = F 1 pf a)f b)) = F 1 F a)pf b)). 5.7) F 1 pf a)f b)) = F 1 Fδ p a))f b)) = δ p a) b, F 1 F a)pf b)) = F 1 F a)fδ p b))) = aδ p b), which ends the prf. 5.8) Crllary 5.4. The preservatin f the scatr prduct by any duality is a special case f Therem 5.3 fr q = p, namely: δ p a)δ p b) = a b, 5.9) because δ 1 is the identity peratin. 6 Metric prperties f scatrs We begin witha simple fact. Lemma 6.1. Mdulus squared f a scatr satisfies: a b 2 = a 2 b 2, λ a = λ a. 6.1) where λ is a real cnstant. 16

17 Prf: Using the definitin 1.3) we have a b 2 = a b) a b) = a a ) b b ) = a 2 b 2, 6.2) by virtue f cmmutativity and assciativity f the scatr prduct. The secnd equality fllws directly frm 1.3). Therefre, the mdulus squared f the scatr prduct factrizes like the prduct f cmplex numbers. Unfrtunatelly, the mdulus squared is nt a quadratic frm f the scatr cmpnents, which means that there is nt crrespnding bilinear frm. Hwever, we will intrduce an analgue f the scalar prduct pstulating the frmula beyed by quadratic frms. Definitin 6.2. Scalar prduct f scatrs is defined by a b = 1 2 Crllary 6.3. a+ b 2 a 2 b 2 ). 6.3) a a = a ) Therem 6.4. The scalar prduct in S is explicitly given by a b = a 1 b 1 a 2 b 2 + a 1 +b 1 ) 2 a 2 +b 2 ) ) 2 a2 1 a2 2 2a 2 0 Prf: We start frm b2 1 b2 2 2b ) 0 a+ b 2 = a+ b) a+ b) = a+ b) a + b ), 6.6) and, since we cannt safely prceed because f lack f distributivity in S, we mve n t S, i.e., a+ b 2 = F 1 F a+ b)f a + b )), 6.7) and frm the frmula 4.10) we get a+ b 2 = F 1 F a)+f b)+κ a, b)i 12 )F a )+F b )+κ a, b )i 12 )). Hence, using 5.2) and Therem 3.4, we btain a+ b 2 = a a + b b + a b + a b+ +κ a, b) ā + b )+κ a, b ) a+ ō 17 b)+κ a, b)κ a, b ). 6.8)

18 T prceed further we need Remark 2.7 and the fllwing prperties f the hypercmplex cnjugatin and κ: ā + ō a = 2a 1a 2, 6.9) κ a, b ) = κ a, b) = a 1 +b 1 )a 2 +b 2 ) a 1a 2 b 1b ) + ) Then frm 6.8) and Definitin 6.2 we have 2a b = κ 2 a1 a 2 +2κ + b ) 1b 2 +2 = κ+ a 1a 2 + b ) 2 1b 2 a2 1 a2 2 a 2 0 a 1 b 1 a 2 b 2 + a 1a 2 b 1 b 2 b2 1 b2 2 b a 1 b 1 a 2 b 2 ), where κ = κ a, b). We cmplete the prf by substituting 6.10). ) Remark 6.5. We easily see that λ a) λ b) = λ 2 a b). 6.11) but, in general, λ a b) λ a) b a λ b) λ a b) and a+ b) c a c+ b c. 6.12) We pint ut that this scalar prduct is ill-defined if a scalar cmpnent f any factr is zer. 7 Underlying physics and cnclusins We pint ut that the scatr metric 1.3) appraches the flat Minkwski metric f special relativity space-time in the limit. It was shwn in [4] that the framewrk f scatrs excludes pssibility f existence f an abslute rest frame, s it is cnsistent with the principle f relativity [6]. Therefre the subject is nt nly f purely mathematical interest but may have interesting physical pints, as well. The first questin is, can we think f tachyns as para-particles pssessing space-like trajectries? In the scatr framewrk this wuld mean that at each instance f time tachyns have t be described by scatrs with negative 18

19 mdulus squared. Thus understd tachyns, in rder t remain tachyns, need t experience sub-luminal Lrentz bsts at that each instance f time, since therwise the sign f the mdulus squared wuld get reverted. It is hard t imagine inertial, super-luminal bserver that culd be turned int anther ne with sme kind f sub-luminal Lrentz-like transfrmatin preserving scatr metric. Hence it seems t us that a mre natural way f understanding tachyns is that they are rdinary particles in a different causal dmain and they cannt reach us because f the infinite-energy requirement t pass the bipyramidal light-barrier, inside which we are capable f taking the measurements. T sum up: we may suppse that tachyns are being super-luminal in a sense f belnging t a different sub-luminal causal realm, althugh then we lk exactly the same way t them. Nte that this hypthesis is surprisingly in accrdance with recent remarks n the nature f tachyns [5]. Next questin that appears in the physical cntext is whether the apprach prpsed in this paper wrks in the case f 1+3 dimensins? The answer is yes. It may be easily shwn that in physical space-time f scatrs there is F a+ b) = F a)+f b)+c 1,2 i 1 i 2 +c 1,3 i 1 i 3 +c 2,3 i 2 ê 3 +c 1,2,3 i 1 i 2 i 3, 7.1) as ppsed t 4.10), pening all drs needed [7]. In the abve expressin we have and c i,j a, b) = a i +b i )a j +b j ) + a ia j b ib j 7.2) c 1,2,3 a, b) = a 1 +b 1 )a 2 +b 2 )a 3 +b 3 ) + ) 2 a 1a 2 a 3 a 2 0 b 1b 2 b 3 b ) 0 We see that the generalizatin, althugh simple in principle, may lead t cumbersme calculatins. This als implies existence f mre dualities, assciated with the basis f the A-space, nw 8-dimesinal. Here als dualities intrduced fr dimensinal case find their interpretatin: the rdinary duality takes us int the realm f wings arund the dipyramid, while internal and external dualities carry us ut f the light bipyramid. We pint ut, hwever, that pssibilities fr scatrs t be physically interpreted is strngly suppressed by the fact that the scatr algebra des nt pssess rtatinal invariance. Frtunatelly, the cnsidered dynamics des nt prvke the appearance f abslute-rest frame [4], which leaves sme hpe fr ptential ptential applicatins. 19

20 References [1] M.Fernández-Guasti, F.Zaldívar: A Hyperblic Nn-Distributive Algebra in 1+2 dimensins, Adv. Appl. Cliffrd Algebras ) [2] P.J.Chban: An intrductin t scatrs, M.Sc. Thesis, Oregn State Univ., [3] S.Tauber: Lumped Parameters and Scatrs, Mathematical Mdelling ) [4] M.Fernández-Guasti: Time and space transfrmatins in a scatr defrmed Lrentz metric, Eur. Phys. J. Plus ) pp). [5] E.Kapuścik: On Fatal Errr in Tachynic Physics, Int. J. Ther. Phys., in press, DOI: /s , arxiv: [6] G.Amelin-Camelia: Dubly-Special Relativity: Facts, Myths and Sme Key Open Questins, Symmetry ) [7] J.L.Cieśliński, A.Kbus: A distributive interpretatin f the scatr algebra, in preparatin. [8] M.Fernández-Guasti, F.Zaldívar: Multiplicative representatin f a hyperblic nn distributive algebra, Adv. Appl. Cliffrd Algebras 24 3) 2014) [9] M.Fernández-Guasti, F.Zaldívar: Hyperblic superluminal scatr algebra, Adv. Appl. Cliffrd Algebras )