Weyl covariance, second clock effect and proper time in theories of symmetric teleparallel gravity

Just after Weyl’s paper (Weyl in Gravitation und Elektrizität, Sitzungsber. Preuss. Akad., Berlin, 1918) Einstein claimed that a gravity model written in a spacetime geometry with non-metricity suffers from a phenomenon, the so-called second clock effect. We give a new prescription of parallel transport of a vector tangent to a curve which is invariant under both of local general coordinate and Weyl transformations in order to remove that effect. Thus since the length of tangent vector does not change during parallel transport along a closed curve in spacetimes with non-metricity, a second clock effect does not appear in general, not only for the integrable Weyl spacetime. We have specially motivated the problem from the point of view of symmetric teleparallel (or Minkowski–Weyl) geometry. We also conclude that if nature respects Lorentz symmetry and Weyl symmetry, then the simplest geometry in which one can develop consistently alternative gravity models is the symmetric teleparallel geometry; Qμν≠0,Tμ=0,Rμν=0\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$Q_{\mu \nu }\ne 0, \; T^\mu =0, \; R^\mu {}_\nu =0$$\end{document}. Accordingly we discuss the proper time, the orbit equation of a spinless test body and the Lagrangian for symmetric teleparallel gravity.


Introduction
In general relativity (GR) idealised massive spinless test particles moving only under a gravitational field have spacetime histories (orbits) that coincide with timelike geodesic (autoparallel) curves associated with the spacetime metric.On the other hand, in modified theories of gravity formulated in non-Riemannian spacetimes with torsion and/or non-metricity, geodesic and autoparallel curves are not the same and it is not so clear to decide the orbit equation of test body.In Einstein's pseudo-Riemannian description of gravitation the affine parameter, τ , physically is taken as proper time which is measured by a standard clock that is modeled by any timelike curve x µ (τ ).Thus in spite of the fact that proper time passed between two events connected by x µ (τ ) is path dependent, a standard Einsteinian clock accepts a proper time parametrization independent of its trajectory.Nevertheless, in GR after a parallel transportation of two identical clocks, which are synchronized at the beginning, along different paths, the synchronization disappears.This is known as the first clock effect.On the other hand, in a non-Riemannian geometry containing non-metricity the identification of a clock as a device for measuring proper time requires more care since Hermann Weyl published his influential papers on unification of gravity and electromagnetism [1], [2].Weyl required that the covariant derivative satisfies the semimetricity condition, ∇ σ g µν = −2B σ g µν in his theory where B σ is the Weyl potential vector.Just after his announcement Einstein criticized his theory by saying that rate of a clock must be dependent of its trajectory (history) which is called second clock effect (SCE).Since a SCE has never been observed in laboratory, Weyl's theory fell out of favor over time.In [3] observational constraints are set on SCE by investigating recent data on the dilated lifetime of muons accelerated by a magnetic field in CERN.
However, there is a plenty of work containing non-metricity which is performed in the context of modified theories of gravity in literature, e.g.see [4]- [23] and the references therein.
Thus since it is to be worthy to strive for clarifying if there is definitely a SCE or a way for avoiding that in spacetimes with non-metricity, there have been researches [24]- [34].In [24] the authors give some axioms and their proofs about a standard clock for measuring proper time in terms of just light rays and freely falling massive particles.Parallel to this work in [25] the author presents a mathematical characterization of standard clocks in a Weyl manifold which yields an experimental method to test if a given clock is a standard clock or not.In [26], [27] the definitions of standard clocks in theories of gravitation formulated in the non-Riemannian spacetime geometries are discussed and it seems possible to define a new standard clock that will be able to measure the affine parameter by considering the invariance of action and the full connection under gauge symmetries.The authors of [28] find that a Weyl integrable spacetime is the most general Weyl geometry in which a generalized clock defined by Perlick [25] does not measure a SCE.Additionally, in lemma 2 of reference [29] it is stated and proved that the inner product is path-independent iff R (ab) = 0, and so the authors conclude that a SCE does not arise in symmetric teleparallel spacetimes.
Accordingly, for a non-Riemannian geometry not satisfying the condition R (ab) = 0 a SCE may still be open problem there.In the very recent papers [30], [31] it is argued that a SCE does not occur in Weyl gauge theories of gravity, which are invariant both under local Poincare transformations and local changes of scale.On the other hand, in a different work the authors of [32] argue that Perlick's generalized clocks measure a SCE in any non-Riemannian theory of gravity having non-metricity except the form Q µν = g µν dϕ where ϕ is a smooth function.Correspondingly, they state explicitly that generalized clocks in the socalled symmetric teleparallel theories will in general measure a SCE.Similarly, in the recent paper [33] it is argued that the symmetric teleparallel theories of gravity do not represent phenomenologically viable descriptions of nature due to SCE.Then in a subsequent article [34] the same researcher argues that when only Weyl integrable spacetimes, Q µν = g µν dϕ, are considered, the Weyl gauge theories and the symmetric teleparallel gravity theories are free of a SCE.In this work we discuss SCE especially for theories of symmetric teleparallel gravity and conclude that a non-Riemannian spacetime geometry with non-metricity does not need to suffer from second clock effect in general, not only for Weyl integrable spacetimes, by defining a new parallel transport rule of a tangent vector which is invariant under a local general coordinate transformation and a Weyl (conformal or scale) transformation.
Our result is not valid only for a symmetric teleparallel spacetime geometry but also for any non-Riemannian geometry containing both non-metricity and torsion.In addition, we arrive at a second conclusion that as long as nature respects Weyl symmetry apart from the Lorentz symmetry, the simplest spacetime geometry in which alternative gravity models can be written is the symmetric teleparallel spacetime defined by Q µν = 0, T µ = 0, R µ ν = 0.In our third conclusion we saw that meta-geodesic curve may be used rather than autoparallel curve in order to represent the orbit of a spinless test body moving under influence of only a gravitating source.At the end we write down a Lagrangian 4-form invariant under the Lorentz, the Weyl and U(1) transformations which can be a unification theory of gravitational and electromagnetic interactions.Our formalism is developed in terms the language of exterior algebra [35], [36].

The mathematical preliminaries
In spite of the fact that we discuss the subject in four dimensions in this work, all the content in this section is valid in any dimensions.The spacetime, in general, is denoted by the triple {M, g, ω} where M is the 4-dimensional orientable and differentiable manifold, g is the (0,2)type symmetric and non-degenerate metric tensor, ω is the connection 1-form representing the parallel transport of the tensors (and also spinors).We set up a coordinate system {x µ }, µ = 0, 1, 2, 3, to represent points (events) in M. With the abbreviation ∂ µ := { ∂ ∂x µ }, the set {∂ µ } denotes a frame.The union of frames constructed on all points of M constitutes the coordinate (holonomic) frame bundle, CF (M), over M. We notate the dual of CF (M) by CF * (M), the so-called coordinate (holonomic) co-frame bundle over M. Duality relation is given by dx µ (∂ ν ) = δ µ ν where the set {dx µ } forms a co-frame and δ µ ν is the Kronecker symbol.In the language of exterior algebra, the elements of {dx µ } are called the coordinate (holonomic) 1-forms.We can write the metric tensor in terms of the coordinate co-frame g = g µν dx µ ⊗ dx ν where ⊗ denotes symmetric tensor product, dx µ ⊗ dx ν = dx ν ⊗ dx µ .Thus g µν is the symmetric coordinate components of metric which is determined by the scalar product of the coordinate co-frame, g(∂ µ , ∂ ν ) = g µν .Finally we define connection (or covariant derivative) on any (p, q)-type tensor-valued exterior form T where ∧ is the exterior product, d is the exterior derivative satisfying the Poincare lemma d 2 = 0, ω µ ν is the full connection 1-form of CF * (M) and D is the covariant exterior derivative with respect to ω µ ν .Thus we can write down the Cartan structure equations; non-metricity 1-form, torsion 2-form and full curvature 2-form, respectively, where we use the Poincare lemma on the right had side of torsion.They satisfy the Bianchi identities The spacetime geometry is classified with respect to vanishing of Q µν , T µ and R µ ν as shown in Table 1.
Table 1: Classification of spacetime.In literature, sometimes firstly Q µν is decomposed as , then the case of Q µν = 0 and Q = 0 is called Weyl geometry.But, here by "Weyl geometry" we mean Q µν = 0 in general.
In a coordinate frame the full connection 1-form can be decomposed uniquely as the Riemannian piece plus non-Riemannian piece [4], [5], [6] where the Levi-Civita (Christoffel) connection 1-form ω µ ν is expressed in terms of metric and the disformation tensor valued 1-form L µ ν contains tensors of non-metricity 1-form and torsion 2-form where ι µ is the interior product of the exterior algebra, ι ν dx µ = δ µ ν .In the literature some-times T µ is given by the contortion 1-form K µν = −K νµ via the expression K µ ν ∧ dx ν = T µ .Under the decomposition (4) we can split the full curvature 2-form in the equation (2c) as where D denotes the covariant exterior derivative with respect to the Levi-Civita connection 1-form ω µ ν .By using vielbein (tetrad) h µ a we can pass from a coordinate frame {∂ µ } to an orthonormal frame {X a } by relation Here orthonormality becomes explicit when we write the metric tensor in the orthonormal (Lorentz) co-frame {e a } as g = η ab e a ⊗ e b where η ab is the Minkowski metric with the signature η ab = diag(−1, +1, +1, +1).Then metric components are related through vielbein, Union of orthonormal frames constructed over all points of M constitutes the orthonormal frame bundle, OF (M), and its dual is the orthonormal co-frame bundle, OF * (M), over M. Duality relation is e a (X b ) = δ a b .Again we can use vielbein for transitions between {dx µ } and {e a } by relations e a = h a µ dx µ or dx µ = h µ a e a .Correspondingly, while a co-frame transforms from {dx µ } to {e a } in the form of e a = h a µ dx µ , in order D to transform covariantly, i.e.De a = h a µ Ddx µ , the full connection 1-form must transform as follows Thus in the orthonormal frame we can rewrite non-metricity 1-form, torsion 2-form and the full curvature 2-form, respectively, The Bianchi identities given by (3) may be rewritten readily in the orthonormal frame if wanted.Now we can again decompose the full connection 1-form, ω ab , as the Riemannian part plus others.
ω ab = ω ab + L ab (10) where the Levi-Civita connection 1-form, ω ab , is obtained from orthonormal co-frame, and the disformation 1-form from non-metricity and torsion 3 Local general coordinate transformation, Weyl transformation and second clock effect In this section firstly we consider the general coordinate transformation (GCT) on M by forgetting the origin where Γ µ ′ µ represents the rotational part and ξ µ ′ translational part.Because of the translational piece, the origins of two coordinate systems, {x µ } and {x µ ′ }, do not have to coincide.
GCT can be written in matrix notation.
Here 5×5 transformation matrices form the affine group.In general, GCT may be dependent of coordinates.In other words, we consider a local GCT, Γ µ ′ µ = Γ µ ′ µ (x) and ξ µ ′ = ξ µ ′ (x).Thus, by taking the exterior derivative of a local GCT we obtain the transformation rule in where . These transformation elements can be represented by 4 × 4 matrices, Λ µ ′ µ (x) , and also form the general linear group, Λ µ ′ µ (x) ∈ Gl(4, R).If the full connection of CF * (M) transform in the following way then, the covariant exterior derivative transform covariantly.Thus the non-metricity 1-form, the torsion 2-form and the full curvature 2-form of CF * (M) transform covariantly By usage of vielbein we can obtain the transformation rule in OF * (M) over M generated by a local GCT on M where ) and h µ a = h µ a (x).After substituting these into the equation ( 15) and then by using the relation where In order to decide which group is formed by L a ′ a (x) we look at the transformation of metric components where Together with e a ′ = L a ′ a e a that yields η ab = L a a ′ η ab L b b ′ .In the matrix notation it is read as where T denotes the transpose matrix.This shows that the transformation elements, L a ′ a , obtained from a local GCT generate the Lorentz group SO(1, 3) in OF * (M) [16], [35], [36].
That is the reason for {e a } to be called the Lorentzian co-frame.Accordingly, for covariant exterior derivative to transform covariantly the full connection of OF * (M) must transforms as follows As a result, under a local GCT the non-metricity 1-form, the torsion 2-form and the full curvature 2-form on OF * (M) transform covariantly As a complementary remark we give the transformation of veilbein under a local GCT Secondly we summarize the Weyl (scale or conformal) transformation independent of local GCT where ψ(x) is a smooth function.That corresponds to transformations in the coordinate co-frame bundle and the orthonormal co-frame bundle, respectively, e ā = e ψ(x) e a and η āb = η ab .
Accordingly, the Weyl transformation of vielbein is obtained as Thus the conformal (Weyl) weights are w(dx µ ) = 0, w(g µν ) = 2, w(e a ) = 1, w(η ab ) = 0, w(h µ a ) = −1, w(h a µ ) = 1.As this transformation rescales the lengths of vectors, it leaves the angles between two vectors the same.The transformation element e ψ(x) forms the Weyl group, W. We adhere a notation that a prime and a bar denote a local GCT and a Weyl transformation, respectively.Besides, independently from metric we give W-transformation rule of the full connection of CF * (M) and OF * (M), respectively, Thus the non-metricity, the torsion and the full curvature transform in the coordinate co-frame bundle and in the orthonormal co-frame bundle Correspondingly after a Weyl transformation the spacetime changes as follows.
where the Weyl full connection 1-form ω µ ν is written as Here w is the conformal weight of O µ , i.e.O μ = e wψ(x) O µ and also O µ ′ = Λ µ ′ ν O ν .In order DO µ to transform in the same way as O µ , that is DO µ ′ = Λ µ ′ ν DO ν and DO μ = e wψ(x) DO µ under both transformations of a local GCT and a Weyl transformation, we prescribe transformation rules for the Weyl 1-form as In his theory Weyl required that the covariant derivative satisfies the semimetricity condition, ∇ σ g µν = −2B σ g µν .In our formalism and notation the Weyl equation corresponds to This is invariant under both a GCT and a Weyl transformation.Weyl thought of B as the Maxwell's electromagnetic potential 1-form and attempted to argue a unified theory of gravity and electromagnetism.Just after the publication it was seen that the Weyl potential 1-form does not couple the electric current, but to the dilaton current of matter.Indeed, there is no distinction between interactions of B with particles and anti-particles and this is the oppose to observational data on electromagnetism.Meanwhile the first counter-argument to Weyl's theory was developed by Einstein.Einstein argued that Weyl's theory predicts a second clock effect (SCE) meaning that the tick-tack rate of a clock is dependent of its worldline (or history) which has been never observed.This theoretical effect is in addition to the well known first clock effect that is predicted both in special and general relativity and has been repeatedly observed in experiments.Basically a SCE originates from the geometric result that norm of a vector changes during parallel transport along its worldline (trajectory).Therefore, we search parallel transport of the tangent vector, u µ = dx µ /dλ, of a curve C defined by x µ (λ) where λ is an affine parameter below.With notation u := |u µ |, the square of norm (or length) of u µ (λ) is written via metric, u 2 = g µν u µ u ν .Then we differentiate this with respect to the full connection, ω µ ν , Now the critical question is "what is the rule of parallel transport of a tangent vector to a curve along the curve?".In the standard textbooks it is written as which turns out to be in components where ω µ ν,σ := ι σ ω µ ν or ω µ ν = ω µ ν,σ dx σ .It is worthy to remind that the full connection ω µ ν,σ contains the Levi-Civita, non-metricity and torsion pieces through the equation ( 4).The rule of parallel transport given by ( 35) or ( 36) is also called as the equation of autoparallel curve.
Only in Riemannian spacetimes the equation of autoparallel curve is the same as the geodesic equation obtained from the extreme of the integral defines the length of a timelike curve between the fixed end points x µ (λ i ) and x µ (λ f ).Consequently, after this definition of parallel transport (35), the equation ( 34) becomes Here we define the unit vector of u µ as t µ = u µ /u, then rewrite the equation and integrate it where u i is an integration constant corresponding to the initial length of the parallel transported vector and u is its final length.This is the source of debate about SCE which we discuss below.In conclusion, because of existence of the non-metricity, in general, the length of a tangent vector changes during the parallel transport along a closed autoparallel curve.
In the original Weyl theory, Q µν = Bg µν , this result yields where we use firstly g µν t µ t ν = −1 since the unit vector is timelike, and then the Stokes  16) of [23].In the Ref. [30] the authors keep the length of a vector unchanged on completing a loop, and so remove the original basis suggesting the existence of an SCE by postulating a new metric compatibility condition and a rule for parallel transport of a vector Dg µν = 0 and Du µ = 0.
They stay invariant under both a local GCT and a Weyl transformation.Their equations may be expanded as Thus their solution in order to terminate a SCE is valid only for a restricted components of the non-metricity: from the semicompatibility B = Q/4 = g µν Q µν /4, then the parallel transport Du µ = Qu µ /4.On the other hand, our suggestion (42) is valid for all components of it.For example, a special choice of Q µν = g µν Q/4 in (42) coincides with the result of [30].
Similarly the author of [34] bases his discussion on the assumption B = Q yielding where a is left as a free parameter.Since the choice of a = 1/4 corresponds to (44a), it seems more general than the work [30], but still more restricted than our result (42).We started our discussion with the coincident gauge of symmetric teleparallel spacetimes, but our result is general enough to cover any non-Riemannian geometry which consists of non-metricity and torsion.
One more remark is on the proper time, τ .In GR it is defined as ds 2 = g µν dx µ dx ν = −dτ 2 in natural units, c = G = = 1 and the signature (−, +, +, +).This definition is invariant under a local GCT, but not under a Weyl transformation due to (25a).In the literature it is sometimes assumed that conformal weight of velocity four-vector to be zero, then u μ = u µ , so dx μ/dτ = dx µ /dτ yielding a Weyl invariant proper time dτ = dτ .But in this work w(u µ ) = −1, i.e. u μ = e −ψ(x) u µ , and so dτ = e ψ(x) dτ .In order to have a Weyl invariant proper time we follow the work [30], [31] in which the arbitrary parameter λ is not interpreted as the proper time of a particle moving along the worldline because one obtains a relation dτ is Weyl invariant.Accordingly, in scale-invariant gravity theories, they suggest that a compensator scalar field φ both enables dynamic generation of particle masses and is also key in generating a particle's proper time.For more detailed discussion one can consult for [30], [31].
We now wonder if our autoparallel transport recipe (42) would represent a correct orbit equation of a test particle, e.g. the planet of Mercury.Therefore we write down the explicit form of it in the coincident gauge of symmetric teleparallel geometry as In terms of proper time this turns out to be Here we have calculated explicitly the components of this autoparallel curve equation for a spherically symmetric static metric, and experienced that our novel equation of an autoparallel curve can not represent orbit equation of a spinless test body, (e.g. even planet of Mercury).So, we have to look at the geodesic equation whether it can be used for orbit equation of a spinless test body.In fact we ought to say meta-geodesic3 equation, because Lorentz and Weyl invariant action contains the compensator field: I = φds = f i φ −g µν dx µ dx ν .Then, δI = 0 causes the meta-geodesic equation Here since we make the length of tangent vector to be constant during parallel transport along the curve x µ (τ ), we considered normalized 4-velocities, −g µν dx µ dτ dx ν dτ = 1.Now if we assume that the scalar field varies very slowly, then we can think of φ nearly constant in the scale of solar system, and so omit the last term: ∂ ν φ ≈ 0. Consequently we obtain correct orbit equation of Mercury.But in galactic scale ∂ ν φ may contribute a significant effect such that it may be responsible for the flatness of velocity curves at outer arms of spiral galaxies.So, this meta-geodesic equation may be the correct candidate for the worldline of a freely falling spinless test body.
5 SO(1, 3) ⊗ W ⊗ U (1)-invariant Lagrangian 4-form Finally we want to deal with the Weyl transformation of the quadratic parity preserving Lagrangian 4-form of symmetric teleparallel gravity given in the paper [12] L where c 1 , • • • , c 5 are coupling constants, λ 0 is a constant which might be seen as cosmological constant, λ a is a Lagrange multiplier 2-form constraining torsion to zero, ρ b a is another Lagrange multiplier 2-form terminating the full curvature.Since T ā = e ψ T a and R āb = R a b , we determine rule of Weyl transformations for the Lagrange multipliers as λ ā = e −ψ λ a and ρ bā = ρ b a .We prefer to work in the orthonormal co-frame because of user friendly and coordinate independent behavior of the Hodge dual star, * 1 = e 0 ∧ e 1 ∧ e 2 ∧ e 3 .Besides, one can consult for [15], [16] to see how the gauge spirit leads to that Lagrangian.It is invariant under the Lorentz transformation meaning that gauge group is SO(1, 3).Now we obtain the Weyl-transformed Lagrangian 4-form as As long as the relations among c i s are valid we can get rid of the residual terms.We notice here that two of these three algebraic relations are linearly independent and they are the same as the equation (44) of [12] and also GR-equivalent STPG given by the equation ( 31) of [12] does not satisfy them.With help Here Q is the general trace 1-form of non-metricity and a is a free parameter.Now the gauge group is SO(1, 3) ⊗ W.
As a last task we separately discuss the transformations of the Dirac-Maxwell Lagrangian where Ω is the full connection 1-form of the spinor bundle Here Ξ b a contains some combinations of the Dirac matrices [29].Since we already know transformation rules for ω a b and Q under both SO(1, 3) and W, now we cast those of A under U(1) as A → A + df where f (x) is a new scalar function and under W as A → A meaning A ā = e −ψ A a , and so A μ = A µ .Then, as Ψ → e −3ψ/2 e if SΨ, the equation (55) of autoparallel curve can not still represent the worldline of a test body, but the modified equation of geodesic can be.In our final conclusion, we wrote down the Lagrangian 4-form of a symmetric teleparallel theory of gravity in terms of parity preserving quadratic nonmetricity and the scalar field φ, and also of Dirac-Maxwell all which are invariant under a SO(1, 3) ⊗ W ⊗ U(1)-transformation.That may be the true unified theory of gravitational and electromagnetic interactions.We left an open problem of obtaining variational field equations and of searching solutions to them for our future projects.
Most generalThen we realize that under a W-transformation the geometry is not invariant in the first half, it is invariant in the second half.Thus if nature respects Lorentz symmetry and Weyl symmetry, the simplest geometry in which one can develop consistently alternative gravity models is the symmetric teleparallel spacetime.In his original work[1],[2] Hermann Weyl introduced a new field which we name the Weyl potential 1-form, B. Thus one can define a new covariant exterior derivative of a geometrical object, O µ , in the coordinate co-frame theorem.Here the closed curve ∂S is the boundary of S which is the region bounded by two different trajectories of a clock.In the literature dB is called as the line curvature (or field strength) and denoted by F = dB.If F does not vanish in the region S, even if the initial and final points of the clock are the same, then the tick-tack rates of the clock are to be different when it follows the different paths.This is known as SCE.If Weyl potential 1-form is an exact form, that is B = dϕ for any scalar function ϕ(x), then automatically F vanishes because of the Poincare lemma, F = dB = d 2 ϕ = 0, and SCE disappears completely.The case of B = dϕ is named as the Weyl integrable spacetime.not to change during parallel transport in spacetimes with non-metricity, D |u µ | = 0.This new parallel transport equation corresponds to the set of a = 1, b = c = 0 in the equation ( d/d λ = e −ψ(x) d/dλ from the definition u µ = dx µ /dλ.In order to clarify the subject they first note that since Einstein's objection to Weyl's theory is based on the observation of sharp spectral lines, the presence of matter fields to represent atoms, observers and clocks is required.Then they consider Weyl gauge theories to include ordinary matter which is generally modeled by a Dirac field, see the equation (54).Finally they introduce a scalar compensator field 2 φ(x) with Weyl weight w(φ) = −1, and conclude that an interval of proper time measured by the clock along its path is given by dτ = φdλ.By definition this of compensator field φ = e −ψ φ and the conditions (51) the following symmetric teleparallel gravity Lagrangian 4-form is invariant under both Lorentz and Weyl transformationsL[Q, φ] =φ 2 c 1 Q ab ∧ * Q ab + c 2 Q ab ∧ e b ∧ * (Q ac ∧ e c ) + c 3 ι b Q ab ∧ * ι c Q ac + c 4 Q ∧ * Q +c 5 ι b Q ab ∧ * ι a Q + Dφ ∧ * Dφ + λ 0 φ 4 * 1 + λ a ∧ T a + R a b ∧ ρ b a (52)where λ 0 φ 4 may be interpreted as mass term of the scalar field.Here again the gauge spirit makes us to introduce the kinetic term for φ in terms of the Weyl covariant exterior derivative of it Dφ = dφ − Qφ where Q = aQ + (1 − 4a)(ι a Q ab )e b .( , A, φ] = Her iΨ * γ ∧ DΨ + im 0 φ ΨΨ * 1 + dA ∧ * dA (54) where i = √ −1 is the imaginary unit, m 0 is a constant such that m 0 φ represents the mass of Dirac field, A is the Maxwell potential 1-form, γ := γ a e a is Cℓ 1,3 -valued 1-form and Ψ is the Dirac adjoint of Ψ spinor defined by Ψ := Ψ † γ 0 .Dirac matrices which are also known as the generators of the Clifford algebra Cℓ 1,3 must satisfy the relation γ a γ b + γ b γ a = 2η ab I where I is 4 × 4 unit matrix that is not usually written explicitly.4-component spinor fields Ψ can be seen as sections from the base manifold to the spinor bundle.Its SO(1, 3) ⊗ W ⊗ U(1)covariant exterior derivative is in the form DΨ = dΨ + ΩΨ (55)