Arxiv:0907.0934V2

Home , Holonomic basis

arXiv:0907.0934v2 [gr-qc] 16 Dec 2009 h erd r offiinso h ul(-om ai non-holon basis (1-form) dual the of coefficients are tetrads The pctm sgvnby given is spacetime r h ocle erdfils tym eaddtettasa o as tetrads the space regarded (tangent) Utiyama local fields. the tetrad solder so-called to Einstein the need by s are we Lorentz asserted spacetime, possessing curved space principle Minkowski to equivalence with represent identified The be symmetry structure Lorentz freedom. the of group, degrees symmetry internal an is hsrve,mil olwn ibesapoc,w eosrt o gr how demonstrate view. we symmetry of approach, local point Kibble’s different theoretical following on mainly based the review, as gravitation well this of as theories tetrads the gauge include of scheme Kibble’s by introduced fields 1) stefil qain o rvt sdrvduigasadr variatio standard a th using 7, derived Section is In gravity for 6. 8. ex equations Section Section The field in the developed. obtained aid is as is the fields with manifold valued 5, spacetime Section coordina spinor underlying In and local vectors frame. the tetrad manipulating set the for (which to tetrads respect as with defined interpreted is former the iehnln fgaiain i hoyfl hr ntetn erdfi tetrad gravitation treating of in theory short gauge fell Utiyama’s theory Although of his extension torsion. gravitation, comprehensive with space of curved handling is, like that modificatio t non-Riemannian; a order be required in to particles torsion spinning with of endowed interaction be gravitational should spacetime that recognized hr ti on htivrac speevdpoie n introduc one provided 3 preserved is Section invariance t that of In loc found variation under is density vanishing it Lagrangian where coordinates. the the from of of Invariance obtained variation transformations. are under momentum angular integral and action the of nMnosinspacetime Minkowskian in sotie stegaiainlcutrato h agMlsgaug Yang-Mills the of counterpart gravitational the as obtained is η a eeoe ntebsso h nenliopnguegroup gauge isospin internal the of basis the on developed was ag hoybsdo h oa oet group fir Lorentz the local was the [1] on (1956) Utiyama based theory gravitation. gauge of effect the describe to eaiiy hsmnfl sMnwsinspacetime Minkwoskian is manifold this relativity, ij h ril sognzda olw.I eto ,teEuler-Lagrange the 2, Section In follows. as organized is article The eoepoedn otemi icsin eitouetenotatio the introduce we discussion, main the to proceeding Before rmtevepito lsia hsc,orsaeiei four-dime a is spacetime our physics, Classical of viewpoint the From ⋊ for 0 = T 3 )( 1) (3, i ASnmes rvt 0.;GueSmer 1.0-) Ri (11.10.-z); Symmetry Gauge (04.); Gravity numbers: PACS an t for symmetry laws obtained. conservation of are and Poincaré group identities local Bianchi the equations, on based gravitation 3 6= ⋊ iatmnod cez iih,Uiestad aoi“Fe Napoli Università di Fisiche, Scienze di Dipartimento epeetacmat efcnandrve fteconventi the of review self-contained compact, a present We NTEPICR AG HOYO GRAVITATION OF THEORY GAUGE POINCARE THE ON j ersnstesm-ietpout a eeaeasaewt t with space a generate can product) semi-direct the represents h rhnra Lrnz ai vectors basis (Lorentz) orthonormal The . op.Ui.d ot .Agl,EicoG i iti,I-80 Cinthia, Via G, Edificio Angelo, S. Monte di Univ. Compl. 4 soizoeSinic aie aie,i irCrn 1 Cironi Pier Galilei,Via Galileo Scientifica Associazione g 2 µν iatmnod iia nvri` iCmrn,I602C I-62032 Camerino, Università di Fisica, di Dipartimento = 1 M eateto hsc,SaeUiest fNwYr tAlban at York New of University State Physics, of Department e 4 µ .A Ali A. S. sdntdby denoted is · e 40Wsigo vne lay Y122 USA 12222, NY Albany, Avenue, Washington 1400 ν ( µ , ν 1 ,1 ,3,where 3), 2, 1, 0, = .Cafaro C. , η .INTRODUCTION I. ij SO = 3 )i uhtesm anrYn-il ag hoy(94 [2] (1954) theory gauge Yang-Mills manner same the much in 1) (3, M e i 4 2 · ngnrlrltvt,teudryn pctm scre oas so curved is spacetime underlying the relativity, general In . .Capozziello S. , e j ( i , j e e SU i ,1 ,3 with 3) 2, 1, 0, = α lPicretasomtosi osdrdi eto 4, Section in considered is Poincaré transformations al r endby defined are h oa aueo pctm ahrta internal than rather spacetime of nature local the s = mer.I re orlt oa oet symmetry Lorentz local relate to order In ymmetry. mcco-vectors omic 2.I hsfruain h imninconnection Riemannian the formulation, this In (2). jcsgiven bjects tt rps htgnrlrltvt a ese sa as seen be can relativity general that propose to st oteetra cre)sae h odrn tools soldering The space. (curved) external the to efae n h atra oa ffieconnections affine local as latter the and frame) te mn-atnGoer (02.40.-k). Geometry emann-Cartan ua oetmadenergy-momentum and momentum gular sguefilswt components with fields gauge es rus[,6 ,8 ,1,1,1,1,1,1,1] In 16]. 15, 14, 13, 12, 11, 10, 9, 8, 7, 6, [5, groups fteReana emtyo eea relativity general of geometry Riemannian the of n fttasadlclan oncin,tescheme the connections, affine local and tetrads of e ysoigta oa Poincaré symmetry local that showing by comdt pnrfils nohrwrs the words, other In fields. spinor accommodate o α ed.While fields. e eioI”adIF e.d Napoli, di Sez. INFN and II” derico i caaue h erdfraimfrhsgauge- his for formalism tetrad the used Sciama ob sdtruhu h ril.Temetric The article. the throughout used be to n oa ffiecneto.Teehsbe variety a been has There connection. affine local a acls u ocuin r rsne in presented are conclusions Our calculus. nal lsa ag ed.Kbl 16)[]md a made [4] (1961) Kibble fields. gauge as elds ( h osrainlw fenergy-momentum of laws conservation the , o eea eaiiyrqie oa spacetime local requires relativity general for 3 asomtos h oain field covariant The ransformations. qain r bandb eurn invariance requiring by obtained are equations lctfr ftecraueadtrino the of torsion and curvature the of form plicit x h Corda Ch. , eLgaga est ne lblPoincaré global under density Lagrangian he nlguetertclapoc to approach theoretical gauge onal ) vtto a efruae rmtegauge the from formulated be can avitation e qaino oinfrtesio swell as spinor the for motion of equation e i ,I510Pao Italy Prato, I-59100 6, h quantities The . soa ieeta aiod nspecial In manifold. differential nsional priori a rina ela uvtr.Tegauge The curvature. as well as orsion e i mrn,Italy amerino, η 2,Npl,Italy Napoli, 126, ϑ := 00 a ( SU = ∂ 4 x onatr caa(92 [3] (1962) Sciama after, Soon . i = ) − = 2 nteYn-il theory Yang-Mills the in (2) y, η 11 ∂x e ∂ a e γ i = σ h erco curved of metric The . ( i x ( − x ) dx η r aldtetrads. called are ) 22 e γ µ i h nes of inverse The . = n Γ and − η 33 αβ γ and 1 = where , SO (3, 2

µ i ei is denoted by e µ and satisﬁes the following orthogonality relations

i ν ν i µ i e µei = δµ , e µej = δ j . (1)

The tetrads constitute transformation matrices that map from local Lorentz (with non-holonomic coordinates xa) to µ α α i i α i i α world (with holonomic coordinates x ) bases, i.e., v = ei v with v = v eα. The components eα (x) and ei (x) transform as covariant and contravariant vectors (under the Poincar´egroup) of the frame xµ, if and only if the a i rotations ∂[µeλ] vanish at all points (the square brackets denote anti-symmetrization). The equations ∂[µeλ] = 0 are the so-called integrability conditions [4]. If the integrability conditions are satisﬁed, then the tetrad takes the form i i µ eµ (x)= ∂x /∂x . The metrics ηij and gαβ are related via

i j i j i j gµν = eµ eν = e (x) ei e (x) ej = e (x) e (x) ei ej = e (x) e (x) η . (2) · µ · ν µ ν · µ ν ij

II. INVARIANCE PRINCIPLE

As is well-known, field equations and conservation laws of a given theory can be obtained from the principle of least action. The same principle is the basis of gauge theories. Thus, we begin with the principle of the least action and Noether’s theorem. Let χ(x) be a multiplet field defined at a spacetime point x and let χ(x), ∂j χ(x); x be the Lagrangian density of the system. The action integral I of the system over a spacetime 4-volumeL{ Ω is defined} by

4 I(Ω) = χ(x), ∂j χ(x); x d x. (3) ZΩ L{ }

Now we consider the inﬁnitesimal variations of the coordinates

i i i i x x′ = x + δx , (4) → and the ﬁeld variables

χ(x) χ′(x′)= χ(x)+ δχ(x). (5) → Correspondingly, the variation of the action integral is given by

4 4 j 4 δI = ′(x′) d x′ (x) d x = ′(x′) ∂j x′ (x) d x. (6) Z ′ L − Z L Z L || || − L Ω Ω Ω Since the Jacobian for the inﬁnitesimal variation of coordinates becomes

j j ∂j x′ =1+ ∂j (δx ), (7) || || the variation of the action takes the form,

j 4 δI = δ (x)+ (x) ∂j (δx ) d x (8) Z L L Ω where

δ (x)= ′(x′) (x). (9) L L − L

For any function Φ(x) of x, it is convenient to deﬁne the ﬁxed point variation δ0 by,

δ Φ(x) := Φ′(x) Φ(x)=Φ′(x′) Φ(x′). (10) 0 − − Expanding the function to ﬁrst order in δxj as

j Φ(x′)=Φ(x)+ δx ∂j Φ(x), (11) we obtain

j δΦ(x)=Φ′(x′) Φ(x)=Φ′(x′) Φ(x′)+Φ(x′) Φ(x)= δ Φ(x)+ δx ∂j Φ(x), (12) − − − 0 3 or equivalently,

j δ Φ(x)= δΦ(x) δx ∂j Φ(x). (13) 0 −

An advantage of having the ﬁxed point variation is that δ0 commutes with ∂j :

δ0∂j Φ(x)= ∂j δ0Φ(x). (14)

For Φ(x)= χ(x), we have

i δχ(x)= δ0χ(x)+ δx ∂iχ(x), (15) and

j δ∂iχ(x)= ∂i(δ χ(x)) ∂j (δx )∂iχ(x). (16) 0 − Use of the ﬁxed point variation in the integrand of (8) gives

j 4 δI = δ0 (x)+ ∂j (δx (x)) d x. (17) Z L L Ω If we require the action integral deﬁned over any arbitrary region Ω to be invariant, that is, δI = 0, then we must have

j j δ + ∂j (δx )= δ + ∂j ( δx )=0. (18) L L 0L L j j If ∂j (δx ) = 0, then δ = 0 so that the Lagrangian density is invariant. In general however, ∂j (δx ) = 0, and L L j 6 L transforms like a scalar density. In other words, is a Lagrangian density unless ∂j (δx ) = 0. For convenience, let us introduce a function h(Lx) that behaves like a scalar density, namely

j δh(x)+ h(x)∂j (δx ) = 0. (19)

We further let (χ(x), ∂j χ(x); x) = h(x)L(χ(x), ∂j χ(x); x) where the function L(χ(x), ∂j χ(x); x) is the scalar Lagrangian of theL system. Then we see that

j δ + ∂j (δx )= h(x)δL. (20) L L Hence, the action integral remains invariant provided

δL = 0. (21)

Let us calculate the integrand of (17) explicitly. The fixed point variation of (x) is a consequence of a fixed point variation of the field χ(x), L

∂ ∂ δ0 = L δ0χ(x)+ L δ0(∂j χ(x)) (22) L ∂χ(x) ∂(∂j χ(x)) which can be cast into the form,

∂ δ0 = [ ]χδ0χ(x)+ ∂j L δ0χ(x) (23) L L ∂(∂j χ(x)) where ∂ ∂ [ ]χ L ∂j L . (24) L ≡ ∂χ(x) − ∂(∂j χ(x))

Consequently, we have the action integral in the form

∂ j k 4 δI = [ ]χδ0χ(x)+ ∂j L δχ(x) Tk δx d x, (25) ZΩ L ∂(∂j χ(x)) − 4 where

j ∂ j Tk := L ∂kχ(x) δk (26) ∂(∂j χ(x)) − L is the canonical energy-momentum tensor density. If the variations are chosen in such a way that δxj = 0 over Ω and δ0χ = 0 on the boundary of Ω, then δI = 0 gives us the Euler-Lagrange equation,

∂ ∂ [ ]χ = L ∂j L =0. (27) L ∂χ(x) − ∂(∂j χ(x))

On the other hand, if the ﬁeld variables obey the Euler-Lagrange equation, [ ]χ = 0, then we have L

∂ j k ∂j L δχ(x) T k δx =0, (28) ∂(∂j χ(x)) − which gives rise to conservation laws.

III. GLOBAL POINCARE´ INVARIANCE

Recall our assertion that our spacetime in the absence of gravitation is Minkowski spacetime M4. The isometry group of M4 is the group of Poincar´etransformation (PT) which consists of the Lorentz group SO(3, 1) and the group of translations T (3, 1). The Poincar´etransformation of coordinates is given by

i P T i i j i x x′ = a j x + b , (29) → i i i i k i where aj and b are real constants and aj satisfy the orthogonality conditions akaj = δj . For inﬁnitesimal variations,

i i j i δx′ = ε j x + ε (30) where εij + εji = 0. While the Lorentz transformation (LT) forms a six parameter group, the Poincar´egroup has ten parameters. The Lie algebra for the ten generators of the Poincar´egroup is given by

[Ξij , Ξkl] = η Ξjl + η Ξik η Ξil η Ξjk, ik jl − jk − il (31)

[Ξij , Tk] = η Ti η Tj ,[Ti, Tj ] = 0, jk − ik where Ξij are the generators of Lorentz transformations, and Ti are the generators of four-dimensional translations. i Obviously, ∂i(δx ) = 0 for the Poincarétransformation (29). Therefore, our Lagrangian density , which is the same as L with h(x) = 1 in this case, is invariant; that is to say, δ = δL = 0 for δI = 0. L Suppose that the field χ(x) transforms under infinitesimalL Poincarétransformation as 1 δχ(x)= εij S χ(x), (32) 2 ij where the tensors Sij are generators of the Lorentz group in some appropriate representation, satisfying

Sij = Sji,[Sij , Skl]= η Sjl + η Sik η Sil η Sjk. (33) − ik jl − jk − il Correspondingly, the derivative of χ(x) transforms as

1 ij i δ(∂kχ(x)) = ε Sij ∂kχ(x) ε k∂iχ(x). (34) 2 − Since the choice of inﬁnitesimal parameters εi and εij is arbitrary, the vanishing variation of the Lagrangian density invariant δ = 0 leads to the following identities, L ∂ ∂ L Sij χ(x)+ L (Sij ∂kχ(x)+ ηki∂j χ(x) ηkj ∂iχ(x)) = 0. (35) ∂χ(x) ∂(∂kχ(x)) − 5

We also obtain the following conservation laws

j k k k ∂j T = 0, ∂k S ij xiT j + xj T i =0, (36) k − where

k ∂ S ij := L Sij χ(x) (37) −∂(∂kχ(x))

j and Tk was deﬁned in (26). These conservation laws imply that the energy-momentum Pk and angular momentum Jij , respectively

0 3 0 0 0 3 Pk = T d x, Jij = S ij xiT j xj T i d x, (38) Z k Z − − are conserved. The system exhibiting invariance under the ten parameter symmetry group has ten conserved quan- 0 tities. This is an example of Noether’s theorem. The first term S ij of the angular momentum integral corresponds to the spin angular momentum while the second term gives the orbital angular momentum. The global Poincaré invariance of a system defined over spacetime implies the latter is homogeneous (all spacetime points are equivalent) as dictated by translational invariance and is isotropic (all directions about a spacetime point are equivalent) as indicated by Lorentz invariance. It is interesting to observe that the fixed point variation of the field variables χ(x) takes the form 1 δ χ(x)= εj Ξ k χ(x)+ εj T χ(x), (39) 0 2 k j j

k ik with Ξj = η Ξji, where

Ξjk = Sjk + δ (xj ∂k xk∂j ), Tj = ∂j . (40) − − k We remark that Ξj are the generators of the Lorentz transformation and Tj are those of the translations.

IV. LOCAL POINCARE´ INVARIANCE

In this Section we consider a modification of the infinitesimal Poincaré transformation (30) by assuming that the j j parameters εk and ε are functions of spacetime coordinates. We write the spacetime dependant infinitesimal Poincaré transformation as

µ µ ν µ µ δx = ε ν (x) x + ε (x)= ξ (x), (41) which we call a local Poincarétransformation (or the general coordinate transformation). To make a distinction between global (with holonomic coordinates) and local transformations (with non-holonomic coordinates), we use Greek indices (µ, ν = 0, 1, 2, 3) for the former and Latin indices (j, k = 0, 1, 2, 3) for the latter. The variation of the field variables χ(x) defined at a point x is still the same as that of the global Poincarétransformation (32). The corresponding fixed point variation of χ(x) takes the form,

1 ij ν δ χ(x)= εij S χ(x) ξ ∂ν χ(x). (42) 0 2 − Diﬀerentiating both sides of (42) with respect to xµ we obtain

1 ij 1 ij ν δ ∂µχ(x)= ε Sij ∂µχ(x)+ (∂µε ) Sij χ(x) ∂µ(ξ (x)∂ν χ(x)). (43) 0 2 2 − Use of these variations leads to the variation of the Lagrangian L,

µ ν 1 ij µ ν µ δ + ∂µ(δx ) = h(x)δL = δ + ∂ν ( δx )= (∂µε ) S ij (∂µξ (x)) T (44) L L 0L L −2 − ν which is no longer zero unless the parameters εij and ξν (x) become constants. Accordingly, the action integral for the j given Lagrangian density is not invariant under local Poincar´etransformation. We notice that while ∂j (δx )=0for L 6

µ the local Poincarétransformation, ∂µξ (x) does not vanish under local Poincarétransformations. Hence, as expected is not a Lagrangian scalar but a Lagrangian density. As mentioned earlier, for defining the Lagrangian L we have toL select an appropriate non-trivial scalar function h(x) satisfying

µ δh(x)+ h(x)∂µξ (x) = 0. (45)

Now we consider a minimal modiﬁcation of the Lagrangian so as to make the action integral invariant under the local Poincar´etransformation. It is rather obvious that if there is a covariant derivative kχ(x) which transforms as ∇

1 ij i δ( kχ(x)) = ε Sij kχ(x) ε k iχ(x), (46) ∇ 2 ∇ − ∇ then a modiﬁed Lagrangian L′(χ(x), ∂kχ(x), x) = L(χ(x), kχ(x), x), obtained by replacing ∂kχ(x) in L(χ(x), ∇ ∂kχ(x), x) by kχ(x), remains invariant under the local Poincar´etransformation, that is ∇

∂L′ ∂L′ δL′ = δχ(x)+ δ( kχ(x)) = 0. (47) ∂χ(x) ∂( kχ(x)) ∇ ∇ ij ji To find such a k-covariant derivative, we introduce the gauge fields A µ = A µ and define the µ-covariant derivative −

1 ij µχ(x) := ∂µχ(x)+ A µSij χ(x), (48) ∇ 2 in such a way that the covariant derivative transforms as

1 ij ν δ µχ(x)= ε Sij µχ(x) ∂µ(ξ (x) ν χ(x)). (49) 0∇ 2 ∇ − ∇

ab The transformation properties of A are determined by µχ(x) and δ µχ(x). Making use of µ ∇ ∇

1 ij 1 ij ν 1 ij 1 ij kl δ µχ(x)= ∂µ ε Sij χ(x)+ ε Sij ∂µχ(x) (∂µξ (x)) ∂ν χ(x)+ δA Sij χ(x)+ A Sij ε Sklχ(x) (50) ∇ 2 2 − 2 µ 4 µ and comparing with (48) we obtain,

ij ij 1 ij kl ij kl ν ij δA Sij χ(x)+ ∂µ ε Sij χ(x)+ A ε ε A Sij Sklχ(x) + (∂µξ (x)) A Sij χ(x)=0. (51) µ 2 µ − µ ν Using the antisymmetry in ij and kl to rewrite the term in parenthesis on the right hand side (RHS) of (51) as ij kl [Sij , Skl] A µε χ, we see the explicit appearance of the commutator [Sij , Skl]. Using the expression for the commutator of Lie algebra generators 1 [S , S ]= c[ef] S , (52) ij kl 2 [ij][kl] ef

[ef] where c [ij][kl] (the square brackets denote anti-symmetrization) is the structure constants of the Lorentz group (deduced below), we have

ij kl 1 ic j cj i [Sij , Skl] A ε = A ε A ε Sij . (53) µ 2 µ c − µ c Substitution of this equation and consideration of the antisymmetry of ε b = εb enables us to write c − c ij i kj j ik ν ij ij δA µ = ε kA µ + ε kA µ (∂µξ (x))A ν ∂µε . (54) − − We require the k-derivative and µ-derivative of χ(x) to be linearly related as

µ kχ(x)= ek (x) µχ(x), (55) ∇ ∇ µ where the coeﬃcients ek (x) are position-dependent and behave like a new set of ﬁeld variables. From (55) it is evident that kχ(x) varies as ∇ µ µ δ kχ(x)= δe µχ(x)+ e δ µχ(x). (56) ∇ k ∇ k ∇ 7

1 ab j Comparing (56) with δ kχ(x)= ε Sab kχ(x) ε j χ(x) we obtain, ∇ 2 ∇ − k∇ k µ ν k j e δe µχ(x) (∂αξ (x)) ν χ(x)+ e ε j χ(x)=0. (57) α k ∇ − ∇ α k∇ k µ µ Exploiting δ eαek = 0 we ﬁnd the quantity ek transforms according to µ ν µ µ i δek = ek ∂ν ξ (x) ei ε k. (58) − µ It is also important to recognize that the inverse of det(ek ) transforms like a scalar density as h(x) does. For our minimal modiﬁcation of the Lagrangian density, we utilize this available quantity for the scalar density h; namely, we let

µ 1 h(x) := [det(ek )]− . (59)

By replacing the Lagrangian density (χ(x), ∂kχ(x), x), which is invariant under global Poincar´etransformation, by the Lagrangian density L

(χ(x), ∂µχ(x); x) h(x)L(χ(x), kχ(x)), (60) L → ∇ the action integral remains invariant under the local Poincarétransformation. We remark that in the limiting case µ µ when we consider Poincarétransformations which are not spacetime dependant, ek δk so that h(x) 1. Since the local Poincarétransformation δxµ = ξµ(x) is nothing but a generalized coordinate→ transformation,→ the newly λ ij introduced gauge fields ei and A µ can be interpreted, respectively, as the tetrad (vierbein) fields which set the local coordinate frame and as a local affine connection with respect to the tetrad frame.

V. SPINORS AND VECTORS

We may readily define tensors (and vectors) and various algebraic operations with tensors at a given point in the spacetime manifold. Comparison of tensors at different points however, requires use of the affine connection via the process of parallel transport. Introduction of spinors require use of tetrads. In analogy with the case of vectors, comparison of bilinear forms - constructed from spinors and their conjugates - at different spacetime points require use of the spin connection. First, consider the case where the multiplet field χ (x) is the Dirac field ψ(x) which behaves like a four-component spinor under LTs and transforms as

ψ(x) ψ′(x′)= S(Λ)ψ(x), (61) → where S(Λ) is an irreducible unitary representation of the Lorentz group. Since the bilinear form vk = iψγ¯ kψ is a vector (where i C), it transforms according to ∈ j j k v =Λ kv , (62)

j i where Λ i is a LT matrix satisfying Λij +Λji = 0. Invariance of v (or covariance of the Dirac equation) under the transformation ψ(x) ψ′(x′) leads to → 1 i i j S− (Λ)γ S(Λ) = Λj γ , (63) where the quantities γi are the Dirac γ-matrices satisfying the anti-commutator relation,

γiγj + γj γi = ηij 1, i, j =0...3. (64)

Furthermore, we notice that the γ-matrices satisfy the following properties:

0 2 2 0 0 (γ )† = γ , γ = (γ ) = 1, γ = γ and γ γ =1 0 − 0 0 − 0 − 0  k 2 2 k  (γ )† = γ , γ = (γ ) =1; (k =1, 2, 3) and γ = γ (65)  k k k k  2  γ5 := γ0γ1γ2γ3, (γ )† = γ , (γ ) = 1 and γ5 = γ .  5 − 5 5 − 5  8

The dagger operator ( ) implements the complex conjugation of the transpose of the quantity appearing to its left. † ij We assume the transformation S(Λ) can be put into the form S(Λ) = eΛij γ . Expanding S(Λ) about the identity, retaining terms to first order in infinitesimals and expanding Λij to first order in εij ,

Λij = δij + εij ,εij + εji =0 (66) we get 1 S(Λ)= 1+ εij γ . (67) 2 ij

To determine the form of γij we substitute (66) and (67) into (63) to obtain 1 ε γij , γk = ηkiε γj . (68) 2 ij ji Rewriting the RHS of (68) using the antisymmetry of εij as

ki j 1 ki j kj i η εjiγ = εij η γ η γ , (69) 2 − yields

γk, γij = ηkiγj ηkj γi. (70) − Assuming the solution to have the form of an antisymmetric product of two matrices, we obtain the solution 1 γij := γi, γj . (71) 2 If χ(x)= ψ(x), the group generator Sij appearing in (33) is identified with 1 Sij γ = (γ γ γ γ ). (72) ≡ ij 2 i j − j i To be explicit, the Dirac field transforms under LT as 1 δψ(x)= εij γ ψ(x). (73) 2 ij The Pauli conjugate of the Dirac field is denoted ψ¯(x) and defined by

¯ ψ(x) := iψ†(x) γ0. (74) The conjugate ﬁeld ψ¯(x) transforms under LTs as, 1 δψ¯(x)= ψ¯(x) εij γ . (75) − 2 ij

Under local LTs, εab becomes a function of spacetime εab εab(x). Now unlike ∂µψ(x), the derivative of ψ′(x′) →ab is no longer homogenous due to the occurrence of the term γ [∂µεab(x)] ψ(x) in ∂µψ′(x′), which is non-vanishing unless εab(x) is constant. When going from locally ﬂat to curved spacetime we must generalize ∂µ to the covariant derivative Dµ to compensate for this extra term, allowing to gauge the group of LTs. Thus, by use of Dµ we can preserve the invariance of the Lagrangian for arbitrary local LTs at each spacetime point

Dµψ′(x′)= S(Λ(x))Dµψ(x). (76)

To determine the explicit form of the connection belonging to Dµ, we study the derivative of S(Λ(x)). The transformation S(Λ(x)) is given by 1 S(Λ(x))=1+ ε (x)γab. (77) 2 ab 9

Since εab(x) is only a function of spacetime for local Lorentz coordinates, we express this inﬁnitesimal LT in terms of general coordinates only by shifting all spacetime dependence of the local coordinates into tetrad ﬁelds as

λ ν εab(x)= ea (x)e b(x)ελν . (78)

Substituting this expression for εab(x), we obtain

λ ν ∂µεab(x)= ∂µ ea (x)e b(x)ελν . (79) However, since ελν has no spacetime dependence, this reduces to

λ ν ∂µεab(x)= e (x)∂µebλ(x) e (x)∂µeaν (x), (80) a − b enabling us to write

1 ab ∂µS(Λ(x)) = γ ∂µεab(x). (81) −2 According to (48), the covariant derivative of a Dirac spinor (and its conjugate) is given by an equation of form

1 ij 1 ij Dµψ(x)= ∂µψ(x)+ ω µγ ψ(x) and Dµψ¯(x)= ∂µψ¯(x) ψ¯(x)ω µγ , (82) 2 ij − 2 ij

ij respectively, where ω µ are the components of the spin-connection. Using the covariant derivatives of ψ(x) and ψ¯(x), we can show that

i Dµvj = ∂µvj ω jµvi. (83) − i i The same covariant derivative should be used for any covariant vector vk under LTs. Since µ(viv )= ∂µ(viv ), the covariant derivative for a contravariant vector vi must be ∇

i i i j Dµv = ∂µv + ω jµv . (84)

µ Since the tetrad ei is a covariant vector under LTs, its covariant derivative must transform according to the same rule. Under local LTs, the covariant derivative itself should transform as a scalar since it does not carry a Lorentz i LT i i j i ∂xi i i (Latin) index. Thus Dµv Dµ′ v′ = Λj Dµv where Λj := ∂xj . Making use of the equation for Dµv , Dµ′ v′ → n k j and using ∂µηab = 0 (since the Minkowski metric is constant) to write Λ aηnk∂µΛb = Λ a∂µΛjb, we obtain the transformation property of the spin connection

ab ab a b ij a bi ω ω′ =Λ Λ ω (∂µΛ )Λ . (85) µ → µ i j µ − i Parallel transport is a unique geometric operation that is independent of the choice of frame. We emphasize that there is only one linear connection. It may be expressed in either holonomic or non-holonomic frames of reference. As will be shown, these two representations of the linear connection are related by (89). Moreover, the linear connection (expressed in either reference frame) is not a priori torsion free. Indeed, it will be shown that the linear connection does contain torsion, the latter being defined by (124). α γ γ β The relative rotation of a coordinate (holonomic) basis vector eα is given by dx ∂αek +Γαβ ek eγ = α β j ρ ρ i i ρ dx αe e ej with the affine connection Γ = e (x) Dν e (x) = e (x) Dν e (x) defining the covariant ∇ k β µν i µ − µ i βγ derivative operator α := ∂α +Γα Ξβγ. The matrices Ξαβ = Ξβα are generators of the Lorentz group satisfying the Lie algebra (31). To∇ make the transition to curved spacetime,− we take account of the general coordinates of objects λ that are covariant under local Poincarétransformations. The covariant derivative of a quantity v (vλ) which behaves like a contravariant (covariant) vector under the local Poincarétransformations is given by

λ λ λ µ λ ν v := ∂ν v +Γ µν v and ν vµ := ∂ν vµ Γ µν vλ, (86) ∇ ∇ − λ respectively. The covariant derivative for a mixed tensor Aν is given by,

λ λ λ σ σ λ µA = ∂µA +Γ A Γ A . (87) ∇ ν ν µσ ν − µν σ 10

Since the basis vectors (in either holonomic or non-holonomic frames) change from one point in the spacetime manifold i i i i to another, the derivative of a vector must be given by [17] ∂µv = ∂µ v ei = ∂µv ei + v (∂µei) Dµv ei. This i ρ ≡ implies that ∂µej = ω jµei. For similar reasons, we conclude ∂µeν = Γ νµeρ. Thus, if we perform a transformation on (85) which leads from a non-holonomic to a holonomic frame, then we ﬁnd [17, 18]

λ k λ λ µ λ ∂ν ei (x) ω iν ek +Γ µν ei : = ν ei (x)=0, (88) − D

i i k λ i i ∂ν e µ(x)+ ω kν e µ Γ µν e λ : = ν e µ(x) = 0, − D i ρ i ρ since ∂µejν = ∂µ (ej eν )= ω jµei eν +Γ νµej eρ = ω jµeiν +Γ νµejρ. The operator ν deﬁned in (88) is introduced for later convenience.· From (88) we· can deduce· a relation that allows to compute theD aﬃne connection in terms of the spin connection (and tetrad) or vice-versa, namely [17],

σ σ b ab Γ µν = e ∂µe (x) ω eaν . (89) b ν − µ σ b To determine the transformation properties of (89), we consider the LT of the quantity eb ∂µe ν (x) which is given by

σ b σ b σ ρ β λ b e ∂µe (x) e ∂µe (x) ′ =Λ e Λ ∂β Λ e (x) (90) b ν → b ν ρ b µ ν λ σ β λ σ β λ ρ b = ΛλΛµ∂βΛν +Λρ ΛµΛν eb ∂βe λ(x),

α ∂xα where Λ µ := ∂xµ is a holonomic transformation matrix. By use of (85) and (89), we obtain the following transformation law

λ λ α β λ γ α λ ρ Γ Γ′ =Λ Λ Λ Γ +Λ Λ Λ , (91) µν → µν µ ν γ αβ µ ρ αν ρ ρ where Λ αν ∂α∂ν x . ≡ σ The linear connection may be decomposed into its symmetric and anti-symmetric components according to Γρµ = ˚σ σ ˚σ ˚σ σ Γρµ + Tρµ, where Γ ρµ = Γ µρ and Tρµ is the torsion tensor deﬁned as the asymmetric part of the aﬃne connection,

T α := Γα Γα . (92) βγ βγ − γβ

Recalling (2) and using (88), we may derive the so-called metricity condition λgµν = λgµν = i j σ ∇ D λ e (x) e (x) η = 0. By use of the metricity condition and the symmetry of ˚Γ in µν we can write, D µ ν ij µν ρ ρ ρ c b γ γ b ˚Γ + ˚Γ = e e ∂µe (x) e + (∂µe (x)) e . (93) µν νµ − b ν γ c c γ We know however, that

λ λ λ ρ λ ∂µ e b(x)eλc(x) = eλc(x)∂µe b(x)+ eλb(x)∂µe c(x)+ eb (x)e c(x)∂µgλρ. (94) Letting λ ν and exchanging b and c, we obtain → ν λ ν ∂µ [e (x)eνc(x)] = e (x)e (x)∂µgνλ (95) b − b c so that,

˚Γµλν + ˚Γµνλ = ∂µgνλ. (96)

By cyclic permutation of indices in (96), we obtain the Christoﬀel connection coeﬃcient of a Riemannian manifold,

σ 1 κσ ˚Γ := g (∂κgρµ + ∂ρgµκ ∂µgκρ) . (97) ρµ 2 − ˚λ For completeness we determine the transformation law of the Christoﬀel connection. Making use of Γµν eλ = ∂µeν , where

α β α β ∂µeν =Λ µΛ ν ∂αeβ +Λ µ ∂αΛ ν eβ, (98) 11 we can show that

λ λ α β λ γ α λ β ˚Γ ˚Γ′ =Λ Λ Λ ˚Γ +Λ Λ Λ . (99) µν → µν µ ν γ αβ µ β αν In light of the above considerations, we may regard inﬁnitesimal local gauge transformations as local rotations of basis vectors belonging to the tangent space [13, 19] of the manifold. For this reason, given a local frame on a tangent plane to the point x on the base manifold, we can obtain all other frames on the same tangent plane by means of local rotations of the original basis vectors. Reversing this argument, we observe that by knowing all frames residing in the horizontal tangent space to a point x on the base manifold enables us to deduce the corresponding gauge group of symmetry transformations.

VI. CURVATURE AND TORSION

The parallel transport of a vector around an infinitesimal closed path is proportional to the curvature of the manifold and can be obtained from the commutator [Dµ, Dν ] ψ (x) [20]. By direct computation we find the second order covariant derivative 1 1 D D ψ (x) = ∂ ∂ ψ (x)+ S ψ (x) ∂ ω cd + ω cd∂ ψ (x) +Γρ D ψ (x)+ S ω ef ∂ ψ (x)+ ν µ ν µ 2 cd ν µ µ ν µν ρ 2 ef ν µ 1 + S S ω ef ω cdψ (x). (100) 4 ef cd ν µ Using (100) and a similar expression with µ and ν interchanged and noting that partial derivatives commute, we find

1 cd cd 1 ef cd ef cd [Dµ, Dν ] ψ (x)= Scd ∂ν ω ∂µω ψ (x) + Sef Scd ω ω ω ω ψ (x) . (101) 2 µ − ν 4 ν µ − µ ν Relabeling running indices we can write,

1 ef cd ef cd 1 ef cd Sef Scd ω ω ω ω ψ (x)= [Scd, Sef ] ω ω ψ (x). (102) 4 ν µ − µ ν 4 µ ν Using γ , γ =2η to obtain { a b} ab γ , γ γ γ =2η γ γ , (103) { a b} c d ab c d we ﬁnd the commutator of Sab is given by

1 a b a b a b a b [Scd, Sef ]= ηceδdδf ηdeδc δf + ηcf δe δd ηdf δe δc Sab. (104) 2 h − − i It is clear that the term in brackets on the RHS of (104) is antisymmetric in cd and ef and is also antisymmetric under exchange of pairs of indices cd and ef. Since Sab is antisymmetric in ab, so too must be the terms in brackets, so that the commutator does not vanish. Hence, the term in brackets is totally antisymmetric under interchange of indices ab, cd and ef and exchange of these pairs of indices. We identify this quantity as the structure constant [21] of the Lorentz group

a b a b a b a b [ab] [ab] ηceδdδf ηdeδc δf + ηcf δe δd ηdf δe δc = c[cd][ef] = c [cd][ef], (105) h − − i with the aid of which we can write

1 ef cd 1 a eb b ae [Scd, Sef ] ω ω ψ (x)= Sab ω ω ω ω ψ (x). (106) 4 µ ν 2 eν µ − eν µ Combining these results, the commutator [Dµ, Dν ]ψ (x) gives

1 ij [Dµ, Dν ]ψ (x)= R µν Sij ψ (x), (107) −2 where

i i i i k i k R jµν := ∂ν ω jµ ∂ ω jν + ω ω jµ ω ω jν . (108) − µ kν − kµ 12

i Using the Jacobi identities for the commutator of covariant derivatives, it follows that the curvature R jµν the Bianchi identity

i i i DλR jµν + DµR jνλ + Dν R jλµ =0. (109)

Permuting indices, this can be put into the cyclic form

αβρσ ij ε DβR ρσ = 0, (110)

αβρσ ij jk i where ε is the Levi-Civita alternating symbol. Furthermore, it can be shown that R µν = η R kµν is antisymmetric with respect to both pairs of indices,

ij ji ji ij R µν = R µν = R νµ = R νµ. (111) − − This condition is known as the ﬁrst curvature tensor identity. µ To determine the analogue of [Dµ, Dν ]ψ (x) in local coordinates we depart from Dkψ (x) = e kDµψ (x). From Dkψ (x) we obtain,

ν µ ν µ DlDkψ (x)= e l [Dν e k (x)] Dµψ (x)+ e le kDν Dµψ (x). (112) Permuting indices and recognizing

a µ µ a e Dν e (x)= e Dν e (x), (113) µ k − k µ a µ (which follows from Dν eµek = 0) which leads to, ν µ µ ν µ ν µ ν a e [Dν e (x)] Dµψ (x) e [Dµe (x)] Dν ψ (x) = (e e e e ) Dν e (x) Daψ (x). (114) l k − k l l k − k l µ Deﬁning

a µ ν µ ν a C := (e e e e ) Dν e (x), (115) kl k l − l k µ the commutator of the k-covariant derivatives takes the ﬁnal form [4]

1 ij i [Dk, Dl]ψ (x)= R klSij ψ (x)+ C klDiψ (x). (116) −2

ij i The central charge R kl and structure functions C jk of the deformed algebra (116) are given (in non-holonomic coordinates) by the ﬁrst Cartan structure equations

ij µ ν ij i µ ν µ ν i R (ω) := ek el R µν , C = e e e e Dν e (x). (117) kl jk j k − k j µ k ˚k With (97) and (108) in hand, the quantity R ijl in (117) can be expressed in terms of its torsion-free R ijl and torsion dependant contributions as [20]

k λ k ˚α ˚ α α β R ijl = el eα R ijλ +2 [j T i]λ +2T [j βT i]λ , (118) ∇ | | ˚ α α ˚α β ˚ ˚β α β where µA := ∂µA + ΓµβA , µAα := ∂µAα ΓµαAβ, the square brackets in T [j βT i]λ represents anti- ∇ ∇ − i | | symmetrization with respect to ij, β being ﬁxed. As was done for R jµν using the Jacobi identities for the commutator of covariant derivatives, we ﬁnd the Bianchi identity in Einstein-Cartan spacetime [22],

αβρσ µν αβρσ λ µν ε DβR ρσ = ε Cβρ R σλ. (119) It is interesting to observe the similarity in structure of the curvature tensors in (129) and the ﬁrst equation in (117). Indeed, there is only one curvature tensor since these two quantities can be transformed into each other via appropriate i i γ ρ λ α α ij tetrad index saturation, R jkl (ω) = eαej ekel R γρλ (Γ). We can therefore view R γρλ (Γ) in (129) and R kl (ω) in (117) as holonomic and non-holonomic representations, respectively, of the same spacetime curvature. The second curvature identity

Rk =2D C k 4C bC k (120) [ρσλ] [ρ σλ] − [ρσ λ]b 13 leads to, αβρσ k αβρσ k j ε DβCρσ = ε R jρσe β. (121)

λ λ i i λ Notice that if Γ = e (x)Dν e (x)= e (x)Dν e (x), then µν i µ − µ i λ λ λ i i Γ Γ = e Dν e (x) Dµe (x) . (122) µν − νµ i µ − ν µ ν Contracting (122) with ek el , we obtain [4] Ca = e µe ν e a Γλ Γλ . (123) kl k l λ µν − νµ a We therefore conclude that C kl is related to the antisymmetric part of the affine connection Γλ = e ke le λCa T λ , (124) [µν] µ ν a kl ≡ µν λ which is interpreted as spacetime torsion T µν . Equation (124) establishes a means to transform between the holonomic α i torsion tensor T βγ in (92) and the non-holonomic structure functions C jk in (117) (and vice-versa) in terms of i appropriate tetrad index saturation. This situation is entirely analogous to the transformation from R jkl (ω) to α R γρλ (Γ) (and vice-versa) via tetrad index saturation. From (115), the torsion tensor can be viewed as a sort of field strength associated with the tetrad coefficients that describes a twist of the tetrad under parallel transport (relative to a given basis) that is independent of the effect of curvature (i.e., a twist in a plane perpendicular to the plane of parallel transport). This is to be compared with the interpretation of torsion as the asymmetric part of the affine connection. Equation (124) can be solved with the aid of the metricity condition for the spin connection, yielding [23]

1 c ωabµ := (Ωcab +Ωbca Ωabc) e + Tabµ, (125) 2 − µ where µ ν µ ν Ωcab := eνc [e ∂µe (x) e ∂µe (x)] , (126) a b − b a i are the so-called objects of non-holonomicity. If the integrability conditions ∂[αeβ] = 0 are not satisfied, the ref- β i erence frame formed by ei and eλ is said to be non-holonomic. The objects of non-holonomicity measures the non-commutativity of the tetrad basis [18]. The quantities Tabµ are related to the spacetime torsion tensor Tαβµ α β according to Tabµ := ea eb Tαβµ. The most general connection in the Poincarégauge approach to gravitation is given by λ ν Aabµ = ˚ωabµ Kabµ + ˚Γ νµeaλeb , (127) − 1 c where ˚ωabµ := (Ωcab +Ωbca Ωabc) e is the torsion-free spin connection and 2 − µ λ λ λ ν µ Kabc := T νµ T + T eaλeb e (128) − − νµ µ ν c ρ ρ i is the contortion tensor. Now, the quantity Rσµν = ei R σµν (expressed in holonomic coordinates) may be written as ρ ρ ρ ρ λ ρ λ R σµν = ∂ν Γ ∂µΓ +Γ λν Γ σµ Γ λµΓ σν . (129) σµ − σν − ρ λ Therefore, we can regard R σµν as the curvature tensor with respect the affine connection Γ µν . We remark that α α α α R˚ in (118) is given by R˚ = R Γ ˚Γ . For completeness, we note that the Ricci tensor Rµλ = R γρλ γρλ γρλ → µαλ takes the form α α α β α β Rµλ = R˚µλ + ˚αT ˚µT + T T T T , (130) ∇ µλ − ∇ αλ αβ µλ − µβ αλ where the torsion-free contribution R˚µλ is defined as,

γ γ γ n γ k R˚µν = ∂γ˚Γ ∂ν˚Γ + ˚Γ ˚Γ ˚Γ ˚Γ . (131) µν − µγ µν γn − µk νγ It is not diﬃcult to show that i µ 1 √ g = [det e µ] = [det ei ]− , (132) − where g := det gµν . Hence we may take √ g for the density function h(x). − 14

VII. FIELD EQUATIONS FOR GRAVITATION

The scalar curvature R is obtained from the generalized Ricci tensor (130) as follows,

ν ia bc a R = R ν = R˚ + ∂iK T K (133) a − a bc where R˚ denotes the usual Ricci scalar of general relativity. Using this scalar curvature R, we choose the Lagrangian density for free Einstein-Cartan gravity with cosmological constant

1 ˚ ia bc a G = √ g R + ∂iKa Ta Kbc 2Λ , (134) L 2k0 − − − 8πG where k0 = c4 is a gravitational coupling constant, and Λ is the cosmological constant. Observe that the second term is a total divergence and may be ignored. The ﬁeld equation can be obtained from the total action,

µ ij 4 S = ﬁeld(χ(x), ∂µχ(x), ei , A µ)+ G d x, (135) Z L L where the Lagrangian density for a fermion ﬁeld ψ (x) in curved spacetime [24, 25] with torsion is given by

1 a a = ψγ¯ Daψ (x) Daψ¯ (x) γ ψ . (136) Lﬁeld 2 − Modifying the connection to include spin connection and contortion contributions, the gauge covariant derivative for a spinor and adjoint spinor is then given by,

1 σ σ λρ 1 σ σ λρ Dµψ(x)= ∂µ + gλσ ˚ω K γ ψ(x), Dµψ¯(x)= ∂µψ¯(x) ψ¯(x) gλσ ˚ω K γ . (137) 4 µρ − ρµ − 4 µρ − ρµ The variation of the ﬁeld Lagrangian reads,

µ µ δ = ψ¯ (δγ Dµ + γ δΓµ) ψ (x). (138) Lfield The field Lagrangian defined in Einstein-Cartan spacetime can be written [18, 22, 23, 26, 27] explicitly in terms of its Lorentzian and contortion components as ~ 1 µ µ c µ αβ = D˚µψ¯ (x) γ ψ ψγ¯ D˚µψ (x) Kµαβψ¯ γ , γ ψ, (139) Lfield 2 − − 8 h i 1 ij 1 ij with D˚αψ (x) := ∂αψ (x) ˚ωαij γ ψ (x) and D˚αψ¯ (x) := ∂αψ¯ (x)+ ψ¯ (x)˚ωαij γ . Using the following relations − 4 4 1 µ αβ 1 βα µ 1 µ αβ Kµαβψ¯ γ , γ ψ = Kµαβψγ¯ γ ψ Kµαβψγ¯ γ ψ, − 4 4 − 4  µ ν λ µ νλ  γ γ γ εµνλσ = γ , γ εµνλσ = 3!γ γ , (140)  σ 5  γµ, γνλ = γ[µγν γλ],   we obtain  1 K ψ¯ γµ, γαβ ψ = K εαβµν ψγ¯ γ ψ . (141) µαβ 2i µαβ 5 ν We define the contortion axial vector 1 K := εαβµν K . (142) ν 3! αβµ 5 ¯ Multiplying through by the axial current jν = ψγ5γν ψ we obtain, αβµν 5 ν ψγ¯ γ ψ ε Kµαβ = 6ij K . (143) 5 ν − ν The interaction between the Dirac field and torsion has been reduced to a coupling of the fermion axial current to a torsion axial-vector Kµ. Thus, the field Lagrangian density in curved spacetime with torsion [26] becomes ~ 1 ˚ ¯ µ ¯ µ ˚ 3i c µ field = Dµψ (x) γ ψ ψγ Dµψ (x) + Kµj5 . (144) L 2 h − i 8 15

The total action reads,

4 4 4 δI = δ G√ gd x + δ ﬁeld√ gd x = (δ G + δ ﬁeld) √ gd x. (145) Z L − Z L − Z L L − In order to obtain the explicit form of the dynamical equations for the fermions we recall that the Dirac γ-matrices are covariantly constant,

µ ˆ κγι = ∂κγι Γικγµ + γι, Γκ =0. (146) ∇ − h i

The 4 4 matrices Γˆκ are real matrices used to induce similarity transformations on quantities with spinor transfor- × 1 mation properties [28], that is γ γ′ = Γˆ− γ Γ.ˆ Solving for Γˆκ leads to, i → i i

1 ι µ ι Γˆκ = (∂κγ ) γ Γ γ γ . (147) 8 ι − ικ µ 1 ι µ ι Variation of Γˆκ gives δΓˆκ = (∂κδγ ) γ (δΓ ) γ γ . Since we require the anti-commutator condition on the 8 ι − ικ µ gamma matrices γµγν + γν γµ = gµν 1 (Dirac algebra) to hold, the variation of the metric yields, 2δgµν = δγµ, γν + γµ, δγν . (148) { } { } ν 1 σν ι 1 ν ι One solution to (148) is δγ = 2 γσδγ . With the aid of this result, we can write (∂κδγι) γ = 2 ∂κ (γ δgνι) γ . Finally, exploiting the anti-symmetry in γµν we obtain

1 σ σ µν δΓˆκ = gνσδΓ gµσδΓ γ . (149) 8 µκ − νκ With the above variational relations, it is straightforward to show that the equation of motion obtained from variation of the action with respect to ψ¯(x) is given by [18, 22], 3 γµD ψ (x)+ T γ[µγν γσ]ψ (x)=0. (150) µ 8 µνσ It is interesting to observe that this generalized, curved spacetime Dirac equation can be recasted into a nonlinear equation of the Heisenberg-Pauli type [22], 3 γµD˚ ψ (x)+ ψγ¯ µγ ψ γ γ ψ (x)=0. (151) µ 8 5 µ 5 The following calculations involving the metric tensor gµν and its determinant g = det (gµν ) are useful. Recall that µν ∂g ∂g gg = and ggµν = µν . Since ∂gµν − ∂g ∂√ g δg δ√ g = − δg = , (152) − ∂g −2√ g − where δg = ggµν , we can write δgµν

µν δg = gg δgµν . (153)

µν gg δgµν µν µν Upon substituting (153) into (152), we obtain δ√ g = 2√ g . However, since gg δgµν = ggµν δg = µν − − − µν gg δgµν µν √ g√ ggµν δg , we conclude √ g = √ ggµν δg . Hence, − − − −

1 µν δ√ g = √ ggµν δg . (154) − −2 −

µν µ νi 1 µ i νi Writing the metric in terms of the tetrads g = e ie , we observe δ√ g = 2 √ g δe ieµ + eνiδe . By using νi ij ν ij ν − − − δe = δ η e j = η δe j , we are able to deduce δ√ g = √ ge iδe µ. (155) − − − µ i 16

µ ˚ µ ˚ µ ˚ For the variation of the Ricci tensor Riν = ei Rµν we have δRiν = δei Rµν + ei δRµν . In an inertial frame the Ricci β β tensor reduces to R˚µν = ∂ν˚Γ ∂β˚Γ , so that βµ − νµ ˚ µ ˚ µ ˚β ˚β δRiν = δei Rµν + ei ∂ν δΓβµ ∂βδΓνµ . (156) − The second term can be converted into a surface term, so it may be ignored. Collecting our results, we have

µν µρ νσ δg = g g δgρσ, −  1 µν i µ  δ√ g = √ ggµν δg = √ ge δe ,  − − 2 − − − µ i   (157)  ˚ ˚λρ ˚ ˚λρ ρ ˚λ ˚ µ ˚  δRµν = gρµ DλδΓ ν Dν δΓ λ + Tλµ δΓ ρν , δRiν = δei Rµν , −   ˚µν µν ˚ ˚λ ˚ ˚λ bc a  δR = R δgµν + g DλδΓ µν Dν δΓ µλ Ta δKbc .  − −  From the above results we obtain,

µ 1 µ µ i ρλ σ ˚µ Ri 2 ei R ei Λ δe µ +2g Tµλ δΓ ρσ+ 1 − − 4 δIG =   √ gd x. (158) 16π Z µν ˚ ˚λ ˚ ˚λ −  +g DλδΓ µν Dν δΓ µλ   −  The last term in the action can be converted into a surface term, so it may be ignored. Using the four-current vµ introduced earlier, the action for the matter ﬁelds read [28]

µ µ 4 δIﬁeld = ψ¯ (x) δγ D˚µψ (x)+ ψ¯ (x) γ δΓˆµψ (x) √ gd x (159) Z h i − 1 µν ¯ ˚ µ ρσ µ λρσ i 2 g ψ (x) γi Dν ψ (x) + T ρσTi δi TλρσT δe µ+  −  = h i √ gd4x. Z   −  1 ρν µ ρµ ν ˚σ ˚σ  + 8 (g v g v ) gµσδΓ νρ gνσδΓ µρ − −    σ  Removing the derivatives of variations of the metric appearing in δΓ νρ via partial integration, and equating to zero µν σ the coeﬃcients of δg and δT νρ in the variation of the action integral, we obtain

1 1 1 1 0 = Rµν gµν R gµν Λ + ψ¯ (x) γ D˚µψ (x) D˚µvν + (160) 16π − 2 − 2 ν − 4

σ ρσ λρσ +D˚σT + TµρσT gµν TλρσT µν ν − and

Tρσλ = k0τ ρσλ, (161)

8πG where k0 = c4 . Equation (160) has the form of Einstein equations

Gµν gµν Λ= k Σµν , (162) − 0 where the Einstein tensor is given by its standard deﬁnition, 1 Gµν = Rµν gµν R (163) − 2 and Σµν =Θµν +Tµν is the generalized energy-momentum tensor. We identify Θµν as the canonical energy-momentum tensor

µ ∂ field ˚ µ Θ ν = L Dν ψ (x) δ ν field, (164) ∂(D˚µψ (x)) − L 17 while Tµν is the stress form of the non-Riemannian manifold. For the case of spinor fields being considered here, the explicit form of the energy-momentum components [29] is (after symmetrization of corresponding canonical source terms in the Einstein equation),

¯ ˚ ˚ ¯ Θµν = ψ (x) γ(µDν)ψ (x) D(µψ (x) γν)ψ (x) (165) − − and by use of the second ﬁeld equation (161), we determine

σ ρσ λρσ Tµν = D˚σT + Tµρστ gµν Tλρστ , (166) µν ν − σ where τ µν is the spin angular momentum [18, 22],

σ ∂ ﬁeld τ µν := L γµν ψ (x). (167) ∂(D˚σψ (x))

Explicitly, the spin angular momentum reads τ µνσ = ψγ¯ [µγν γσ]ψ. Although the gravitational field equation is similar in form to the Einstein field equation, it differs from the original Einstein equations because the present curvature tensor, containing spacetime torsion is non-Riemannian. In particular, the Einstein tensor (163) has a non-vanishing asymmetric component and is not divergenceless, i.e., ˚ ν Dν Gµ = 0 as can readily be verified by use of (119) and (163). Assuming the Euler-Lagrange equations for the matter fields6 are satisfied, we obtain the following conservation laws for angular momentum and energy-momentum

˚ ν µ ν Dν τ ij = e ie j Σ[µν], (168) k ˚ ν ν k ν ij eµ Dν Σ κ = 2Σ κT µν + τ ij R µν .

VIII. CONCLUSION

In the present work, we have demonstrated how all the necessary ingredients for a theory of gravitation can be obtained from a gauge theory of local Poincarésymmetry. Gauge fields were obtained by requiring invariance of the Lagrangian density under local Poincarétransformations. The resulting Einstein-Cartan theory describes a spacetime endowed with nonvanishing curvature and torsion. The lowest order gravitational action is one that is linear in the curvature scalar while being quadratic in torsion. Dirac spinors were introduced as matter sources and it was found that they couple to gravity via the torsion stress form Tµν as well as through the canonical energy-momentum Σµν tensor. The stress form contains a torsion divergence term as well as a term similar to an external non-spinor source to gravity. The field equations obtained from the action by means of standard variational calculus describe a nonlinear equation of the Heisenberg-Pauli type in the matter sector, a gravitational field equation similar in form to the Einstein equation as well as a constraint equation relating torsion to the spin energy potential of matter. The Bianchi identities of Einstein-Cartan theory differ from that of general relativity since the Riemann curvature tensor characterizing the non-Riemannian geometry does not exhibit the symmetry properties of the latter. In the limit of vanishing torsion however, the Bianchi identities reduce to their usual form. The conservation laws for angular momentum and energy- momentum were obtained. From the former, it was found that the generalized energy-momentum tensor contains a nonvanishing anti-symmetric component proportional to the divergence of the spin angular–momentum. For the latter, it was found that the generalized energy-momentum tensor is divergenceless only in the limit of vanishing torsion.

[1] R. Utiyama, Phys. Rev. 101 (1956) 1597 [2] C. N. Yang and R. L. Mills, Phys. Rev. 96 (1954) 191 [3] D.W. Sciama, ”On the analog between charge and spin in general relativity,” in Recent Developments in General Relativity, Festschrift for Leopold Infeld, (Pergamon Press, New York, 1962) 415 [4] T.W. Kibble Lorentz invariance and the gravitational field, J. Math. Phys. 2 (1960) 212 [5] G. Grignani et al. Gravity and the Poincarégroup, Phys. Rev. D 45 (1992) 2719 [6] F. W. Hehl et al. Metric-affine gauge theory of gravity: Field equations, Noether identities, world spinors, and breaking of dilation invariance, Phys. Rep. 258 (1995) 1-171 [7] A. Inomata et al. General relativity as a limit of the de Sitter gauge theory, Phys. Rev. D 19 (1978) 1665 18

[8] E. A. Ivanov and J. Niederle, Gauge formulation of gravitation theories, I. The Poincaré, de Sitter and conformal cases, Phys. Rev. D 25 (1982) 976 [9] E. A. Ivanov and J. Niederle, Gauge formulation of gravitation theories, II. The special conformal case, Phys. Rev. D 25 (1982) 988 [10] F. Mansouri et al. Gravity as a gauge theory, Phys. Rev. D 13 (1976) 3192 [11] F. Mansouri, Conformal gravity as a gauge theory, Phys. Rev. Lett. 42 (1979) 1021 [12] G. Sardanashvily, On the geometric foundation of classical gauge gravitation theory, arXiv: gr-qc/0201074 [13] L. N. Chang et al. Geometrical approach to local gauge and supergauge invariance: Local gauge theories and supersym- metric strings, Phys. Rev. D 13 (1976) 235 [14] Yuval Ne’eman, Tullio Regge, Gravity And Supergravity As Gauge Theories On A Group Manifold, Phys. Lett. B 74 (1978) 54. [15] M. Toller, Classical Field Theory in the Space of Reference Frames, Nuovo Cim. B 44 (1978) 67-98. [16] G. Cognola, et al. Theories Of Gravitation In The Space Of Reference Frames, Nuovo Cim. B 54 (1979) 325-348. [17] J. P. Crawford, Spinors in General Relativity, appearing in ”Clifford (Geometric) Algebras: With Applications in Physics, Mathematics and Engineering”, Birkhäuser, Boston (1996) edited by William E. Baylis. [18] F.W. Hehl et al. General relativity with spin and torsion: foundations and prospects, Rev. Mod. Phys. 48 (1976) 393 [19] F. Mansouri, Superunified theories based on the geometry of local (super-) gauge invariance, Phys. Rev. D 16 (1977) 2456 [20] J. Schouten, Ricci Calculus (Berlin: Springer, 1954) [21] B. S. Dewitt, Dynamical theory of groups and fields (Les Houches Lectures 1963), Relativity, Groups and Topology, Gordon and Breach Science Publishers, New York (1965) [22] F. W. Hehl et al. Nonlinear spinor equation and asymmetric connection in general relativity, J. Math. Phys. 12 (1970) 1334 [23] M. Blagojevic Three Lectures on PoincaréGauge Theory, arXiv: gr-qc/0302040 [24] R. M. Wald, Quantum field theory in curved spacetime and black hole thermodynamics, (The University of Chicago Press 1994) [25] N. D. Birrell and P. C. W. Davies, Quantum fields in curved space, (Cambridge University Press 1982) [26] S. Carroll et al. Consequences of propagating torsion in connection dynamic theories of gravity, arXiv: gr-qc/9403058 [27] I. L. Shapiro, Physical aspects of spacetime torsion, arXiv: hep-th/0103093 [28] D. R. Brill et al. Interaction of neutrinos and gravitational fields, Rev. Mod. Phys. 29 (1957) 465 [29] J. Schwinger, Energy and momentum density in field theory, Phys. Rev. 130 (1962)