# Particle-antiparticle duality from an extra timelike dimension

## Abstract

It is a well known fact that the usual complex structure on the real Clifford Algebra (CA) of Minkowski spacetime can be obtained by adding an extra time-like dimension, instead of the usual complexification of the algebra. In this article we explore the consequences of this approach and reinterpret known results in this new context. We observe that Dirac particles and antiparticles at rest can be interpreted as eigenstates of the generator of rotations in the plane formed by the two time-like coordinates and find an effective finite scale for the extra dimension when no EM fields are present (without postulating compactness). In the case of non-vanishing EM fields, we find a gauge condition to preserve such a scale.

## 1 Introduction

Since the theory of Kaluza-Klein was proposed [1, 2], the idea of a five dimensional spacetime has been widely explored in physics. The Kaluza-Klein theory allows the unification of the Einstein field equations and Maxwell electromagnetism by considering a 5D manifold with a compact fifth coordinate.

In the early nineties Wesson along with collaborators proposed the existence of a non compact extra dimension and presents the theory of space-time-matter (STM) or induced matter theory (IMT) [3, 4], as a way to induce 4D Einstein’s equations from a 5D Ricci-flat manifold, making use of the Campbell-Magaard theorem.

Following the ideas of IMT, applications to particle physics and quantum mechanics have also been considered [5, 6, 7, 8]. In these regard, physical quantities (charge, mass) are obtained as geometric parameters from a higher-dimensional spacetime. Since one is adding an extra dimension to the spacetime, the nature of it (space-like or time-like) must be taken into account. Spacetimes with time-like extra dimension (generally referred to as two-times spacetimes, e.g. [9]), and space-like extra dimension (e.g. [10]), has been considered with different applications in cosmology and particle physics.

In this article we are interested in analyzing the Dirac theory and the consequences of an extra time-like dimension in spacetime from a Clifford algebra point of view. We shall also provide an interpretation for what we call the time plane and relate it to the particle/antiparticle character of a Dirac spinor field.

Theories with more than two time-like dimensions has been proposed [11], and also plenty of work has been done on spaces of signature \((+---+)\) in the context of anti de Sitter spaces [12, 13].

Previous studies has been made in 5D spinors [10, 14, 15, 16], but in this article we focus more on the nature of the extra dimension and the structure of the Clifford algebra without studying gravitational cases. A central part of the Dirac theory, which sometimes is not thoroughly studied, is the Clifford algebra (or geometric algebra) of spacetime [17, 18, 19]. Starting from this algebra, the spinors are defined as representation spaces for it, and then we introduce the Dirac equation.

Interestingly, an extra dimension naturally emerges on the Dirac theory if we take into account the following fact: the ordinary Minkowski complex Clifford algebra can be obtained as a real algebra with an extra time-like dimension [17, 18], as will be detailed in the article. This is a very well known fact in the theory of Clifford algebras. Indeed, we can not distinguish (except for grading) between the complexified 4D Minkowski Clifford Algebra and the real 5D Clifford algebra: they are isomorphic.

In this work we consider the existence of a time-like extra dimension, we analyze its Clifford algebra and Spin group. Then, we obtain the related massive 4D Dirac equation (with and without an electromagnetic potential) from a massless 5D Dirac equation. We observe that the particles and antiparticles rest solutions for the Dirac field, can be seen as eigenvectors for the generator of a rotation in the defined time plane. We also conclude that, when an electromagnetic field is present, in addition to the time plane rotation we also have a gauge transformation on the spinor.

In this article we don’t ask for the extra dimension to be compact, but, when no electromagnetic fields are present, we obtain an effective scale for this dimension. Additionally, in the presence of electromagnetic fields we obtain a gauge condition to keep the aforementioned scale.

## 2 Clifford algebras preliminaries

### 2.1 Definitions and general results

Given a real n-dimensional vector space *V* with a bilinear symmetric form \(\varphi :{V}\times {V}\rightarrow {{\mathbb {R}}}\), we say that \(\Phi :{V}\rightarrow {{\mathbb {R}}}\), defined by \(\Phi (v)=\varphi (v,v)\), is the associated *quadratic form* and we call the pair \((V,\Phi )\) a quadratic space. If the form \(\varphi \) is non-degenerate we say the quadratic space is regular. Since \(\varphi (a,b)=\frac{\Phi (a+b)-\Phi (a)-\Phi (b)}{2}\), one doesn’t lost information when passing from \(\varphi \) to \(\Phi \).

*group of isometries*that we shall denote by \(\text {O}(\Phi )\), and define by

*Clifford algebra (CA) for*\((V,\Phi )\). It is possible to define that algebra in different equivalent ways. Here, we shall do it as follows: Let \(\{e_{1},\ldots ,e_{n}\}\) be a basis for the vector space

*V*, and \(\varphi _{ij}\) the matrix elements of the bilinear form \(\varphi \) in the given basis. The CA is defined by the generators \(\{E_{1},\ldots ,E_{n}\}\), with the relations:

*V*to the CA, via \(e_{i}\mapsto {E}_{i}\), by abuse of notation we shall refer to the generators of this algebra as \(e_{i}\). In the same way, we shall refer to the subspace \(\text {span}_{{\mathbb {R}}}\{E_{1},\ldots ,E_{n}\}\subseteq \text {Cl}(\Phi )\), as

*V*. It happens that this algebra is finite dimensional with dimension \(2^{n}\) [18].

*bivector*or

*2-vector*and in general a

*k-vector*is an element of the form:

*0-vector*is an element proportional to \(\varvec{1}\). We call \({\bigwedge }_{k}(V)\) or just \({\bigwedge }_{k}\) the vector space of \(k-vectors\), which means \({\bigwedge }_{1}=V\). It can be seen that \(\dim ({\bigwedge }_{k})={n \atopwithdelims ()k}\). Hence there is just one independent

*n*-vector and also one independent 0-vector for every quadratic space. The unitary n-vector is also called

*the pseudoscalar*of the algebra.

We define the *grade involution* \(\alpha \) on a basis element \(e_{i_{1}}\ldots e_{i_{k}}\) as: \(\alpha ({e_{i_{1}}\ldots e_{i_{k}}})=(-1)^{k}e_{i_{1}}\ldots e_{i_{k}}\), and extend it to any element as an algebra homomorphism on \(\text {Cl}(\Phi )\).

*reversion*,

*t*, on a basis element \(e_{i_{1}}\ldots e_{1_{k}}\) as \(t(e_{i_{1}}\ldots e_{i_{k}})=e_{i_{k}}\ldots e_{i_{1}}\), and extend it as an algebra anti-morphism (meaning \(t(a.b)=t(b).t(a)\), details can be found in [17, 19]).

Using the previous functions we define the *Clifford conjugation* on any CA element *x* as \({\overline{x}}=(t\circ \alpha )(x)=(\alpha \circ {t})(x)\). This is an algebra anti-morphism and in a basis element \(e_{i_{1}}\ldots e_{i_{k}}\) it can be seen to be \(\overline{e_{i_{1}}\ldots e_{i_{k}}}=(-1)^{k}e_{i_{k}}\ldots e_{i_{1}}\).

Last, we define the *norm* *N*(*x*) of an element *x* in the CA as \(N(x):=x{\overline{x}}={\overline{x}}{x}\). An important feature of this function is that \(N(v)=-\Phi (v)\varvec{1}\) for any \(v\in {V}\).

Although the algebra is constructed as a real algebra, from a real quadratic space, in occasions we need to work with the *complexified* version of the algebra. Roughly speaking complexifying the algebra consists in allowing scalars in the linear combinations to be complex numbers, transforming an \({\mathbb {R}}\)-algebra into a \({\mathbb {C}}\)-algebra. Mathematically this is attained by building the algebra \(\text {Cl}_{{\mathbb {C}}}(\Phi ):={\mathbb {C}}\otimes \text {Cl}(\Phi )\) with the product trivially defined.

*p*,

*q*) or \(\{\underbrace{+,+,\cdots ,+}_{p-times},\underbrace{-,-,\cdots ,-}_{q-times}\}\) is the signature of \(\varphi \).

We will denote the quadratic form of signature (*p*, *q*) as \(\Phi _{p,q}\) and its CA as \(\text {Cl}_{p,q}\).

### 2.2 The Clifford–Lipschitz group and its Lie algebra

In particular, we have \(Z(\text {Cl}_{1,3})={\mathbb {R}}\varvec{1}=\bigwedge _{0}\) and \(Z(\text {Cl}_{2,3})={\mathbb {R}}\varvec{1}\oplus {\mathbb {R}}i\cong {{\mathbb {C}}}\), with \(i=e_{0}e_{1}e_{2}e_{3}e_{4}\), the pseudoscalar of \(\text {Cl}_{2,3}\).

As in the previous section, we will call \(\Gamma _{p,q}\) the Clifford–Lipschitz group of the bilinear forms considered in 3.

Since we are dealing with Lie groups and given the discrepancies between the physics and mathematics literature, it is a good point to state what definition we are going to use for a *generator* of an element \(\varvec{S}\) in a Lie group *G*.

Recall that if *G* is a Lie group, then it is a manifold, and its Lie algebra \({\mathfrak {g}}\) is defined as the tangent space of that manifold at the point \(\varvec{1}\in {G}\). Given an element \(\varvec{S}\in {G}\) connected to the identity, there exists a path \(\beta :[0,1]\rightarrow \text {G}\), with \(\beta (0)=\varvec{1}\) and \(\beta (1)=\varvec{S}\). We say that \(\frac{d\beta (t)}{dt}|_{t=0}\) is *the generator of * \(\varvec{S}\). Observe that the generators of elements in *G* belong to \({\mathfrak {g}}\) the Lie algebra of *G*. It can be seen that this is a good definition.

### 2.3 The Spin group and its Lie algebra

*Spin group*of a certain CA, \(\text {Spin}(\Phi )\), is a subgroup of the Clifford–Lipschitz group. This group is defined as follows:

An important property of this group is that it is a double cover of the isometry group for the quadratic form \(\Phi \). This is stated in the following theorem:

### Theorem 1

*adjoint representation*or

*adjoint action*of Spin\((\Phi )\) (or the Clifford–Lipschitz group).

It is well known that any real CA is isomoprhic to a finite-dimensional matrix algebra over \({\mathbb {R}}, \ {\mathbb {C}}\) or \({\mathbb {H}}\) (or direct sum of these algebras), while any complex CA is isomoprphic to a finite-dimensional matrix algebra over \({\mathbb {C}}\) (or direct sum of these algebras) (see [17, 18]).

In the framework of the Dirac theory one works with the matrix form of the CA, and with what is called the *regular representation* of the CA (which induces a representation of the Spin group). In this case the representation space is the space of *spinors* (actually algebraic spinors), which are the column vectors for which the CA matrices represent a linear transformation. For instance, if \(\text {Cl}(\Phi )\cong {\mathcal {M}}(2,{\mathbb {C}})\) then, a spinor is an element in \({\mathbb {C}}^{2}\).

It happens that the space of spinors can be identified with a minimal left ideal in the CA. We will not enter in the details of this construction (see [17, 18]) but this is a very well known fact in the CA theory, and indeed it would be a more elegant way to introduce spinors; however, for sake of simplicity, we content ourselves with the definition given above.

Let \(\Psi \) be a spinor, then an element in \(A\in \text {Cl}(\Phi )\) acts on \(\Psi \) just by left multiplication using the matrix representation stated above, \(\Psi \mapsto {A\Psi }\).

The Theorem 1 is an important result because for every isometry of the vector space *V* it provides an element (two, actually) in the Spin group. If we further require the element in the Spin group to be connected to the identity, we get uniqueness. In this sense, the morphism \(\text {Ad}\) tells us how does a spinor change when we perform certain coordinate transformation in \(\text {SO}(\Phi )\).

Reciprocally, if we decide to make a transformation in the space of spinors \(\Psi \mapsto {\varvec{S}\Phi }\), with \(\varvec{S}\in \text {Spin}\) then, \(\text {Ad}\) gives us the corresponding transformation induced by it in *V*.

As will be clarified in the following sections, the vector space *V* will model the coordinate spacetime, while the space of spinors corresponds to a spin 1 / 2 physical field. Hence, the relation between the adjoint representation and the regular one reflects the relationship between coordinate space-time and internal space for the configuration of the field. In this sense the elements in the kernel of Ad are somehow an internal symmetry of the theory of spinors.

## 3 Clifford algebras in physics and applications to the Dirac theory

### 3.1 The Minkowski real CA and its complexification from an extra dimension

*the Minkowski space-time*, and refer to it as \({\mathbb {R}}^{1,3}\). Thus, the real CA corresponding to this spacetime, \(\text {Cl}_{1,3}({\mathbb {R}})\), will be the algebra generated by elements \(\{e_{\mu }:\mu \in \{0,\ldots ,3\}\}\) with the relation:

In this article we are going to work with the Dirac theory of spinors. This theory is derived partially from quantum mechanics, which postulates the existence of a complex Hilbert space of physical states, hence we need to use the complex CA, \(\text {Cl}_{1,3}({\mathbb {C}})\). This algebra is well known to be isomorphic to the complex algebra of \({4}\times {4}\) matrices with complex entries, \({\mathcal {M}}({\mathbb {C}},4)\). There are infinite matrix representations for the generators as matrices in \({\mathcal {M}}({\mathbb {C}},4)\), but the more popular are perhaps the Dirac and Weyl representations.

It is important to be careful when working in \(\text {Cl}_{2,3}({\mathbb {R}})\), since we shall use the name *i* to refer to the pseudoscalar, but we are by no means complexifying \(\text {Cl}_{2,3}({\mathbb {R}})\). Reciprocally, when we complexify the theory in the usual way, this fifth dimension emerges naturally as the matrix element \(\gamma _{5}\), which squares to 1 and is associated with the chirality of the Dirac spinor fields. Since the isomorphism 12 holds, the representations of \(\text {Cl}_{1,3}({\mathbb {C}})\) and \(\text {Cl}_{2,3}({\mathbb {R}})\) are equivalent, and hence the spaces of spinors are isomorphic.

In this article we shall explore the consequences of considering this extra dimension as a real physical one, particularly in the subject related to the particle/antiparticle interpretation of the spinor field. Following the spirit of the theory of Induced Matter [20, 21], we will obtain the massive 4D Dirac equation from a massless 5D Dirac equation.

In what follows we will name the 5D coordinates \(x_{A}\), and the 5D Minkowski metric \(\eta _{AB}=\text {diag}(1,-1-1-1,1)\), hence uppercase latin scripts range from 0 to 4. The 4D coordinates will be named \(x_{\mu }\) and the 4D metric \(\eta _{\mu \nu }=\text {diag}(1,-1-1-1)\), hence lowercase greek scripts range from 0 to 3. We shall use latin lowercase scripts (e.g. *i*, *j*, *k*), that take the values 1, 2, 3.

Although 12 establishes that the algebras \(\text {Cl}_{2,3}({\mathbb {R}})\) and \(\text {Cl}_{1,3}({\mathbb {C}})\) are isomorphic, the isomorphism is not univocally determined. Hence we have to pick an isomorphism that will allows us to do the calculations and provide physical interpretations.

### Definition

We will call a vector \({\tilde{V}}^{\mu }{\tilde{e}}_{\mu }\), a *tilded 4-vector*, in opposition to an ordinary 5-vector \(V^{A}e_{A}\).

An interesting feature of this treatment is that the elements \(i\tilde{e_{\mu }}\) now belong to the vector space \({\bigwedge }_{2}({\mathbb {R}}^{2,3})\), which is the Lie algebra of the group \(\text {Spin}(2,3)\) and hence, the vectors generating the algebra can also be seen as generators of certain coordinate transformations preserving the 5*D* metric tensor in the Spin group. Recall that, for instance, \(e_{0}e_{1}\) is the generator of a boost in the direction \(x_{1}\) and \(e_{1}e_{2}\) is a generator of a rotation in the plane \(x_{1}-x_{2}\). If we think of transformations in a space of functions in \({\mathbb {R}}^{n}\), then \(\frac{\partial }{\partial {x_{k}}}\) is the generator of a translation in the *k* direction.

Since \(i\tilde{e_{\mu }}=e_{4}e_{\mu }\in {\bigwedge }_{2}({\mathbb {R}}^{2,3})\), \(i{\tilde{e}}_{0}\) is the generator of a rotation in the plane of the two time coordinates, and the elements \(i\tilde{e_{i}}\in {\bigwedge }_{2}({\mathbb {R}}^{2,3})\), are the generators of Lorentz boosts with respect to the extra time and in the spatial direction \(x_{i}\). Furthermore, it can be easily seen that \({\tilde{e}}_{\mu }{\tilde{e}}_{\nu }=e_{\mu }e_{\nu }\), and hence rather \([{\tilde{e}}_{\mu },{\tilde{e}}_{\nu }]\) or \([e_{\mu },e_{\nu }]\), can be considered as a generator or a Lorentz transformation in the 4D space \((x_{0},x_{1},x_{2},x_{3})\). Also, if we consider a Lorentz transformation in the 4D spacetime \((x_{0},\ldots , x_{3})\) with \({x'_{\mu }=\Lambda ^{\nu }{_\mu }x_{\nu }}\), we know that there exists an element \(\varvec{S}\in \text {Cl}\), such that \(\varvec{S}{e}_{\mu }\varvec{S}^{-1}=\Lambda ^{\nu }{_\mu }e_{\nu }\). Now, if we do the same computation on the \({\tilde{e}}_{\mu }\) we have the same relation, namely, \(\varvec{S}{\tilde{e}}_{\mu }\varvec{S}^{-1}=\Lambda ^{\nu }{_\mu }{\tilde{e}}_{\nu }\). This is due to the fact that \(\varvec{S}=\exp {({{\varepsilon }^{\alpha \beta }}e_{\alpha }e_{\beta })}\), with \({\varepsilon ^{\alpha \beta }}\) skew-symmetric. Thus, \(\varvec{S}\) commutes with \(e_{4}\) in \({\tilde{e}}_{\mu }=-ie_{4}e_{\mu }\), and we arrive to the stated conclusion. This is important because it implies that, when restricted to the 4D space-time, a 4-vector \(V^{\mu }e_{\mu }\) transforms in the exact same way as the element \(V^{\mu }{\tilde{e}}_{\mu }\). Note that since \(i{\tilde{e}}_{0}=e_{4}e_{0}\) commutes with \(e_{1}e_{2}\), we can have a spinor that is simultaneously a spin eigenvector and an eigenvector for the 2-time plane rotation generator \(e_{4}e_{0}\).

*bilinear covariants*[17, 18], which are quantities that transform as tensors under an isommetry of the quadratic space. Bilinear covariants of order

*k*with \(0\le {k}\le {n}\) can be defined in an

*n*-dimensional vector space, for instance, in 4D Minkowski spacetime we define the scalar, vector, bivector, axial vector and pseudoscalar covariants:

*z*-axis. Because of 16b, performing the time-time rotation after the other six transformations, would create a non-vanishing space component for \(J^{\mu }\), interfering with the work of the original boosts. In conclusion, we can set the spinor 22 to have \(\omega =2\phi ^{2}\sin {\beta }=0\), reducing it to the form:

Since we are in a 5D spacetime, we could also wonder if we it would be possible to use the three boosts with respect to the extra time to remove degrees of freedom from the spinor 17. This would seem paradoxical since there are at most only two degrees of freedom left to remove. In order to perform such a boost, note that while \(U^{A}\) will transform as a vector under the transformation, \(J^{\mu }=M^{\mu 4}\) will transform as the components of a rank two tensor. We have arrived at the spinor 22 by aligning the space vector \(K^{j}\) to the *z*-axis, hence \(K^{1}=K^{2}=0\), also \(K^{0}=0\) (because \(J^{i}=0\)), which amounts to \(V^{A}=(0,0,0,K^{3},\omega )\). Any boost involving directions *x* and *y* would ruin our alignment of \(K^{i}\) with the *z*-axis, hence those are not free boosts for us to perform. However, we can perform an extra-time boost in the *z*-direction in order to set \(V^{4}=0\). This will then reduce the form of the spinor 17 to 21, which sets \(\omega =0\). Note that this reduction would be equivalent to the one made using a time plane rotation.

### 3.2 Dirac equation in Minkowski spacetime \({\mathbb {R}}^{1,3}\) from \({\mathbb {R}}^{2,3}\) for neutral matter

*m*the mass of the spinor field and

*i*the complex imaginary unit. In this section we shall consider the Minkowski 5D spacetime with an extra time-like dimension, \({\mathbb {R}}^{2,3}\) described in the previous section. An important thing to state about the coordinates is that, although \(x_{0}\) and \(x_{4}\) are time-like, all the coordinates have dimensions of length; hence \(x_{0}=ct_{0}\) and \(x_{4}=ct_{4}\). Since \(x_{0}\) and \(x_{4}\) are both time-like, we will call the plane \(x_{0}-x_{4}\) the

*time-plane*.

*k*in Eq. 29, and since the integral in the same equation is taken over \(p^{A}p_{A}=0\) we get that \({(p^{0})}^2={m^{2}c^2}\), which implies \(p^{0}=\pm {mc}\) and we obtain for the full spinor:

### 3.3 Time evolution in coordinate space-time

### 3.4 The rest solution and the particle-antiparticle character

*rest solution*(\(p^{i}=0\)) is given precisely by the eigenvalue of \(\gamma _{0}\), associated to the eigenstate in consideration. If it’s \(+1\), it is a pure particle state and if it is \(-1\), it is a pure antiparticle state.

*mc*, 0, 0, 0) to certain \((p^{0},p^{1},p^{2},p^{3})\), and then transforming the spinors \(\varvec{u}_{i}\) into the states \(\varvec{u}'_{i}=\varvec{S}\varvec{u}_{i}\).

The possibility of a possitive mass associated to neutrinos and negative mass to antineutrinos was considered by Barut and Ziino in [23]. In the article mentioned, they work under the hypothesis that neutrinos obey a Dirac equation with possitive mass and antineutrinos the same equation but with a negative mass term. Under this assumption a relationship between these two types of particles is obtained, accounting to an explanation of the parity violation for neutrinos and the non-existence of a right-handed neutrino.

On the contrary, in this article, we only consider a positive mass Dirac equation, which in the rest frame it reduces to the ordinary Dirac equation for particles, and to the negative mass Dirac equation for antiparticles. Since our treatment follows classical single Dirac equation, the particle/antiparticle character of the fermion is an instrinsic property only defined in the rest frame, which makes particles and antiparticles not absolutely separable, meaning that a boost in a given direction will in general mix positive eigenstates with negative eigenstates of \({\tilde{e}}_{0}\). Instead, the treatment provided in [23] duplicates the fermion space, incorporating a mass operator which determines the particle/antiparticle quality, allowing a strong symmetry between chiral fermions and Dirac fermions.

Recall that the chiral decomposition of spinors is really succesfull in four dimensions because the projections \(P_{R}=\frac{1}{2}(1+\gamma _{5})\) and \(P_{L}=\frac{1}{2}(1-\gamma _{5})\) commute with every element of \(\text {Spin}(1,3)\), hence neither the boosts nor the rotations mix right and left chiral spinors. We see that in five dimensions this spliting is lost since now we can perform boosts in the extra time \(x_{4}\), mixing left and right chiral spinors. However, particles and antiparticles do not constitute such an elegant decomposition, since, as stated above, the boosts always mix them. We may think though, that particles and antiparticles wouldn’t mix under extra time boosts, and that would have been the case if we had identified particles and antiparticles with eigenvectors of \(e_{0}\), but since we considered \({\tilde{e}}_{0}\) instead, this is not the case.

The question of discrete symmetries in this theory is a very interesting point. In the work of Barut and Ziino, the fact that particles and antiparticles are parity eigenstates is central to the inference of other discrete transformation laws. If we imitate that principle in our formalism, the parity transformation would have to be \(\psi \mapsto {\tilde{e}}_{0}\psi \), but this will only be the parity transformation for tilded vectors.

From the reasoning above, we see that some of the discrete transformations may have no straight forward definition in the five dimensional approach. The topics of parity, charge conjugation and time reversal are very interesting topics to study, in particular in relation with [23], where they obtain a covariant charge conjugation operator. Nonetheless, this treatment would be too extensive to be treated here, and we plan to explore it thoroughly in future work.

### 3.5 The effective scale of the spinor field in the extra dimension

Since \(\partial ^{4}{\Psi }=-mc/{\hbar }\Psi \) holds for any spinor solution, all massive spinors decay exponentially in the extra dimension. We see that if we assume that the extra coordinate doesn’t extend to \(-\infty \), then after some extra-time the field values get very small, the exponential damping constant being \(mc/\hbar \), the inverse of the reduced Compton wavelength for the particle. Then for a given particle after a time of order Open image in new window the field is \(90\%\) smaller than initially. This would mean that even though we didn’t propose the extra dimension to be bounded, the field would only extend over a finite region of it, of the order of the Compton wavelength (or Open image in new window in units of time).

### 3.6 Charged Dirac fields with an electromagnetic field

*U*(1) symmetry given by \(\Psi \mapsto {e^{i\alpha }\Psi }\), where \(\alpha \) is a real number. QED introduces the electromagnetic field as the gauge field required to make this symmetry a local one. This is, the theory is invariant for \(\Psi \mapsto {e^{i\alpha (x)}\Psi }\), with \(\alpha (x)\) a function on the coordinates of the space-time. Usually \(\alpha \) is a function of the four variables of space-time, but since now our spacetime has five coordinates, let’s consider \(\alpha =\alpha (x_{B})\). This induces the gauge covariant derivative:

*q*is the charge of the field \(\Psi \) in consideration. In this way we get an electromagnetic 5-vector potential. In consequence, we have the massless Dirac equation

In the previous section we went from Eqs. 28–32 very easily, because \([\partial ^{0},e_{0}e_{4}]=0\). Here we have \(\frac{mc}{\hbar }e_{0}e_{4}-i\frac{q}{\hbar }A^{0}\) in the right hand side of 56, instead of just \(\frac{mc}{\hbar }e_{0}e_{4}\). This leads us, unless \(A^{0}\) doesn’t depend on \(x_{0}\), to the fact that \([\partial ^{0},\frac{mc}{\hbar }e_{0}e_{4}-i\frac{q}{\hbar }A^{0}]\ne 0\). Hence, the equation in the Lie algebra representation doesn’t pass so easily to the Lie group representation.

#### 3.6.1 The case \(\partial ^{0}A^{0}=0\).

*so*(2, 3), however, we see now in Eq. 56 that the right hand member doesn’t lie in \(\bigwedge _{2}({\mathbb {R}}^{2,3})\) but rather in \(\bigwedge _{2}({\mathbb {R}}^{2,3})\oplus {Z}(\text {Cl}(2,3))\), which is the Lie algebra of the Clifford–Lipschitz group \(\Gamma _{2,3}\) (cf. Sect. 2.2). This group contains all the elements that under the adjoint action on the CA transform vectors into vectors. Indeed the adjoint action of \(\exp (-i\frac{q}{\hbar }A^{0}x_{0})\) on every element of the CA is the identity, since this element sits on the center of the CA. This can be put as follows: Additionally to the coordinate transformation that we have in the absence of electromagnetic field, there is also an internal transformation, which has no coordinate consequences, and that corresponds to the internal local gauge freedom of the theory. Note that this case contains every electrostatic potential \(A^{0}(x_{1},x_{2},x_{3},x_{4})\). If we further ask for the cyclic condition to hold [20, 21] (potentials not depending on the 5th coordinate), we have \(A^{0}=A^{0}(x_{i})\). Now, if we decide to use a basis of eigenvectors of \(e_{0}e_{4}\) for the spinor, as in Sect. 3.4, we have that a \(+i\) eigenvector solution is

#### 3.6.2 The case \(\partial ^{0}A^{0}\ne {0}\).

*F*is written as \(F(x_{A})=F^{0}(x_{0})+F^{i}(x_{i})+F^{4}(x_{4})\) and consequently we can separate the dependence on \(x_{0}\), from the rest of the coordinates

### 3.7 Propagation in the extra dimension and 5D gauge fixing

## 4 On ghosts and tachyons in this two-times physical theory

The typical problems in theories with more than one timelike dimension are the existence of tachyons and the existence of ghost fields (negative norm states). This two issues makes it difficult to quantize the theory [11].

As exposed in [9], the momentum in the extra dimension is related to the mass of the particle, hence tachyons are not a problem since there’s no superluminical propagation in the 4D spacetime.

Note that although \({\tilde{J}}^{\mu }\) is not obtained as the vector bilinear covariant of the field, it is a projection of the 3-vector bilinear covariant of the 5D CA (since each \({\tilde{e}}_{\mu }\) is a 3-vector), hence, the information is present in a bilinear covariant of the theory. This change from the, let’s say, “vector current” to this “3-vector current” is related to the equivalence of Lagrangians (62) and (64) once we impose the constraint \(\partial ^{4}\Psi =-\frac{mc}{\hbar }\Psi \). This also implies that the 5 current \(J_{A}\) is always conserved, while \({\tilde{J}}_{\mu }\) is only conserved once we introduce the aforementioned constraint.

## 5 Conclusions and prospects

In this article we have obtained the 4D Dirac equation for spinors from a 5D massless equation. In order to do so, we have exploited the fact that the Dirac theory naturally comes equiped with an extra timelike dimension. Hence, following the principles of induced matter theory [3, 4, 20, 21] we have studied the Dirac equation in a 5D spacetime of signature 2, 3. Analyzing the Dirac equation for neutral matter (or absence of EM fields) and the Clifford algebra structure of the 5D space-time, we have provided an interpretation for a particle/antiparticle states, as eigenstates of the generators of rotations in the time-plane. In the charged case (with the presence of an EM field), by performing a similar analysis we have seen that in addition to the rotation in the time-plane, there is an internal gauge transformation in two opposite directions that separates particles from antiparticles. Additionally, we have observed that although the extra dimension was not proposed to be bounded, the effective extension of the field over it is of the order of the Compton wavelength of the particle.

In the absence of EM fields, the interpretation of particles and antiparticles given in this article could be analyzed by studying high order representations of the group \(\text {SO}(2,3)\). In just the same way spin up and down are the two states associated to the \(s=1/2\) representation of the \(\text {SO}(3)\) group, the particle and antiparticle states could be the two states of a particular representation of the group (or some subgroup of) \(\text {SO}(2,3)\). If the extra dimension is a physical one and representation theory predicts more states of matter (other than matter/antimatter), it should be possible to try to observe them in experiments.

The relation of our work with [23] is still to be further explored, particularly in relation to C, P, T and CPT symmetries. An interesting proposal would be to combine our analysis with the formalism of positive mass particles / negative mass antiparticles.

The main success of the Kaluza-Klein theory lies on its unification of Einstein field equations and Maxwell electromagnetism. It also introduces the Lorentz force on a test particle in the geodesic equations of motion. Due to these facts an interesting approach to induce an EM field in the Dirac theory (alternative to the used above) would be given by working with the original Kaluza-Klein metric [20, 21]. In this way, we would have a non trivial 5D manifold and by working on the Clifford and spinor bundles we could try to obtain QED in absence of gravity. This is something we would like to do in the future since it would also allows us to work with gravitational fields.

## Notes

### Acknowledgements

The authors acknowledge CONICET, Argentina (PIP 11220150100072CO) and UNMdP (EXA852/18), for financial support. M.R.A.A. thanks professor Roldão da Rocha for reading the paper and for the references suggested regarding \(\hbox {SO}(2,3)\).

## References

- 1.T. Kaluza, S. Preuss, Akad. Wiss. Berlin. Math. Phys. 966–972 (1921)Google Scholar
- 2.O. Klein, Z. Phys.
**37**, 895 (1926)ADSCrossRefGoogle Scholar - 3.P.S. Wesson, J. Ponce de León, J. Math. Phys.
**33**, 3883 (1992)ADSMathSciNetCrossRefGoogle Scholar - 4.P.S. Wesson et al., Int. J. Mod. Phys. A
**11**, 3247 (1996)ADSMathSciNetCrossRefGoogle Scholar - 5.P.S. Wesson, Gen. Relativ. Gravit.
**38**(5), 937–944 (2006)ADSCrossRefGoogle Scholar - 6.P.S. Wesson, Phys. Lett. B
**701**(4), 379–383 (2011)ADSMathSciNetCrossRefGoogle Scholar - 7.J. Ponce de León, Gen. Relativ. Gravit.
**35**, 1365 (2003)ADSCrossRefGoogle Scholar - 8.T. Liko, Phys. Lett. B
**617**, 193–197 (2005)ADSCrossRefGoogle Scholar - 9.P.S. Wesson, Phys. Lett. B
**538**, 159–163 (2002)ADSMathSciNetCrossRefGoogle Scholar - 10.P. Sanchez, M. Anabitarte, M. Bellini, Phys. Lett. B
**705**(5), 535 (2011)ADSCrossRefGoogle Scholar - 11.I. Bars, C. Deliduman, D. Minic, Phys. Rev. D
**59**(12), 125004 (1999)ADSMathSciNetCrossRefGoogle Scholar - 12.R. Aldrovandi et al., AIP Conf. Proc.
**962**, 175–184 (2007)ADSCrossRefGoogle Scholar - 13.M. Heneaux, C. Tetelboim, Commun. Math. Phys.
**3**, 391–424 (1985)ADSCrossRefGoogle Scholar - 14.S. Vignolo, L. Fabbri, O. Castillo-Felisola, Adv. Appl. Clifford Algebra
**29**, 17 (2019)CrossRefGoogle Scholar - 15.G.W. Ma, Z.K. Guo, Int. J. Theor. Phys.
**41**, 1733 (2002)CrossRefGoogle Scholar - 16.J. Kocinski, J. Phys. A
**32**(23), 4257 (1999)ADSMathSciNetCrossRefGoogle Scholar - 17.J. Vaz, R. da Rocha,
*An Introduction to Clifford Algebras and Spinors*(Oxford University Press, Oxford, 2016)CrossRefGoogle Scholar - 18.P. Lounesto,
*Clifford Algebras and Spinors*(Cambridge University Press, Cambridge, 2007)zbMATHGoogle Scholar - 19.J. Gallier, J. Quaintance, Notes on Differential Geometry and Lie Groups, chapter 30Google Scholar
- 20.P.S. Wesson,
*Five-Dimensional Physics*(World Scientific, Singapore, 2006)CrossRefGoogle Scholar - 21.P.S. Wesson,
*Space-Time-Matter*(World Scientific, Singapore, 1999)CrossRefGoogle Scholar - 22.L. Fabbri, Int. J. Geom. Methods Mod. Phys.
**13**, 06 (2016)Google Scholar - 23.A.O. Barut, G. Ziino, Mod. Phys. Lett. A
**08**(11), 1011–1020 (1993)ADSCrossRefGoogle Scholar

## Copyright information

**Open Access**This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.

Funded by SCOAP^{3}