Arxiv:1611.02263V1

Home , Christoffel symbols, Covariant derivative

arXiv:1611.02263v1 [gr-qc] 7 Nov 2016 nrymmnu esrfrteDrcfil 11 3 field Dirac the for tensor Energy-momentum 6 transformation conformal Local 5 derivatives covariant of Commutator 4 fermion Dirac of derivative Covariant 3 derivatives covariant and formalism Tetrad 2 Introduction 1 Contents fRria rzl twspbihdi oue1 f2016. of 11 volume in published was It Brazil. Roraima, of ftejournal the of eet ato h nta hpe faoesmse oreon course one-semester a of chapter The initial gravity. the field. of Dirac part free a a resents of of commutator tensor including energy-momentum expressions, and derivatives related some and fermions of Abstract. Keywords: 04.20.-q, 04.62.+v, 04.20.Cv PACS: MSC: h aucitwsodrdb n rprdwt h eeosas generous the with prepared and by ordered was manuscript The eatmnod ´sc,IE nvriaeFdrld uzd For de Juiz de Federal Universidade F´ısica, ICE, de Departamento os tt eaoia nvriyadTmkSaeUniversity State Tomsk and University Pedagogical State Tomsk oain eiaieo emosadalthat all and fermions of derivative Covariant apsUiestai uzd oa 63-3,M,Brazil MG, 36036-330, Fora, de Juiz Universitário - Campus 35,8C781T20 83C47 53B50, epeetdtie eaoia eiaino oain derivative covariant of derivation pedagogical detailed present We esAgitat Mens oain eiaie ia emos uvdspace-time Curved fermions, Dirac derivative, Covariant -al shapiro@fisica.ufjf.br E-mail: h dto fteAaeyo cecso h State the of Sciences of Academy the of edition the , os,644,Russia 634041, Tomsk, laL Shapiro L. Ilya semiclassical covariant etrep- text sistance a 10 8 7 2 7 Derivation of Tµν on the cosmological background 13

8 Conclusions 16

1 Introduction

The formulation of classical fields on an arbitrary curved background can be seen as an important element of general relativity. On the other hand it is one of the first steps in constructing the quantum field theory on a curved background [1]. The main difficulty is related to that, in general, it is not possible to start from the usual consideration based on the representations of the Lorentz group, because the general Riemann space (one can call it metric background) has much less symmetries compared to the Minkowski space. One can expect to achieve a systematic construction of the fields on de Sitter or anti-de Sitter spaces (see, e.g., [2] and references therein) but this is not what we actually need in both classical and semiclassical gravity, since the metric backgrounds of our interest are much more general than these two examples. The simplest possible solution for formulating classical fields on an arbitrary metric background consists of the covariant generalization of the flat space-time expressions. This means one has to start from the action of the field in the locally flat reference frame and construct the covariant expression which reduce to the flat actions in this special frame. Such a procedure can be called covariantization, and it is rather simple for scalars and vectors, and essentially more involved for spinor fields. In what follows we consider the main steps in formulating such a covariant generalization of the flat space-time action for a Dirac fermion. The action in the flat case is

S = i d4x ψ¯ γa∂ im ψ , (1) f Z a − where a =0, 1, 2, 3 are Minkowski-space indices. Along with this main problem, we shall present necessary details of the tetrad formalism, calculate dynamical energy-momentum tensor of spinor field and discuss the conformal properties of this field. The last step will be derivation of the energy-momentum tensor of spinor field on the cosmological background, in the case when spinor is depending only on time and not on space coordinates. All these calculations and considerations are pretty well-known and we do not pretend at all to say a new word in this field. The purpose of the work is purely pedagogical, namely we intend to present detailed derivations which can be useful for the one who wants learn the subject with restricted efforts and time spending. Some relevant, albeit relatively simple calculations are formulated as exercises.

2 2 Tetrad formalism and covariant derivatives

It is well-known that general relativity is a theory of the metric field. At the same time in many cases it proves useful to use other variables for describing the gravitational field. In particular, for defining the covariant derivative of a fermion one need an object called tetrad. The German name vierbein is also frequently used. The names indicate that the object is four-dimensional, but the formalism described below can be easily generalized to the space of any dimension and also does not depend on the signature of the metric. Anyway, for the sake of definiteness we will refer to the four-dimensional space-time with the M1,3 signature.

Let us start by defining the tetrad formalism on the M1,3 Riemann space. Locally, at point P one can introduce the flat metric ηab. This means that the vector basis includes four orthonormal vectors e , such that e e = η . Here e are 4-dimensional vectors a a · b ab a in the tangent space to the manifold of our interest at the point P . Furthermore, Xa are local coordinates on M1,3, which can be also seen as coordinates in the tangent space in a close vicinity of the point P . With respect to the general coordinates xµ, we can write µ µ ea = ea eµ, where eµ is a corresponding local basis and ea are transition coefficients from one basis to another. Hence ∂xµ ∂Xa eµ = , ea = and therefore a ∂Xa ν ∂xν µ aν µ ν ab µν ea e = ea eb η = g , (2) a a µ a a α α eµeaν = gµν , eµeb = δb , eµea = δµ . We assume that the Greek indices µ, ν, . . . are raised and lowered by the covariant metrics µν ab gµν and g , while the indices a, b, c . . . are raised and lowered by ηab and η . The transition from one type or indices to another is done using tetrad, since it is just a change of basis. Taking this into account, in some cases we admit objects with mixed indices, e.g.,

a ν a a b T ·µ = T ·µ eν = T ·b eµ . (3)

Formulas (2) show that the descriptions in terms of the metric and in terms of the tetrad are equivalent. The same concerns also the invariant volume of integration. It is easy to show that

a det eµ = g , g = det gµν , (4) p| | because

a b a 2 g = det eµeνηab = det eµ det ηab . (5) · 3 Indeed, the local frame coordinates Xa are not unique, since even for the locally ′ b 1 Minkowski metric one is allowed to make transformations ea =Λa′eb, such that

e′ e′ = Λb Λd e e = η Λb Λd = η . (6) a · c a′ c′ b · d bd a′ c′ ac b In ﬂat space-time case such frame rotations with constant Λa′ form Lorentz group. The a situation changes in curved space-time manifolds, because then Λb′ depends on the point P . For example, we can consider an inﬁnitesimal transformation

a a a Λb′ = δb′ + Ωb′(x) , (7) which preserves the form of the tangent-space metric. Them (6) gives

a a d d (δb′ + Ωb′)(δc′ + Ωc′) ηad = ηbc . (8)

It is an easy exercise to show that in this case Ω (x) = Ω (x). ab − ba

Exercise. Consider metric of the form gµν = ηµν + κhµν , where κ is a a small parameter. The ﬂat metric with κ = 0 corresponds to the tetrade ¯µ. Metric-dependent functions can be presented as power series in κ. i) Find the expansions, at least up to the order (κ2), for the following quantities: O gαβ , √ g , Γτ , ea , eν . (9) − αβ µ b ′ ii) Consider a more general expansion gµν = gµν + hµν , with a perturbation over an arbitrary background. Find the nonperturbative expansion (to all orders in h ) for gαβ and Γτ and up to the second order for √ g, ea and eν . µν αβ − µ b

Let us consider the covariant derivative in tetrad formalism and introduce the notion of spin connection. In the metric formalism the covariant derivative of a vector V µ is

V µ = ∂ V µ +Γµ V λ , (10) ∇ν ν λν where the aﬃne connection is given by a standard Christoﬀel symbol expression,

λ 1 µτ Γµν = g ∂µgλν + ∂ν gλµ ∂λgµν . (11) 2 − Our purpose is to construct a version of covariant derivative for objects such as tetrad, which have local Lorentz indices. Obviously, this is a non-trivial task, because tetrad is

1We use notation of the introductory lectures [3]. In particular, prime over the index or over the

V ′ V ′ vector is the same thing, e.g., α = α .

4 not a tensor and therefore its covariant derivative is not something natural. Hence our constructions will necessary involve certain amount of ad hoc assumptions. It is easy to understand that (different from the flat space-time) in the Lorentz frame a b X the covariant derivative of the same vector can not be just equal to ∂aV , because otherwise we come to the contradiction. The details will become clear below, let us just say that qualitatively the reason is that any shift from the point P means the change from one tangent space to another and hence deriving the corresponding difference between two values of the vector requires an additional definition. Let us suppose that the desired covariant derivative is a linear operator and satisfies Leibniz rule. The general expression satisfying these conditions is

V b = ∂ V b +˜ωa V c , (12) ∇a a · ca a whereω ˜ · ca are some unknown coeﬃcients. Later on we will discuss their relation to the a spin connection. In the ﬂat space-timeω ˜ · ca = 0. µ µ a We request that the vector components satisfy V = ea V and the tensor components satisfy V µ = eaeµ V b. Then, according to (10) and (12), we have ∇ν ν b ∇a V µ = ∂ V µ +Γµ V b = ea eµ V b = ea eµ ∂ V b +˜ωb V c) (13) ∇λ λ τλ λ b ∇a λ b a · ca µ τ τ a µ b µ c c τ b = δτ ∂λV + V eλeb ∂aeτ + eb ebeτ V ω˜ · cλ µ τ µ b µ c b = ∂λV + V (eb ∂λeτ + eb eτ ω˜· cλ) .

b Therefore, we arrive at the equation forω ˜· cλ,

µ µ b µ c d Γτλ = eb ∂λeτ + ed eτ ω˜· cλ . (14)

a τb Multiplying the last equation by eµe we arrive at the following solution:

ωãb = ea eτbΓµ eτb∂ ea . (15) ·· λ µ τλ − λ τ One of the important features of the last expression is antisymmety in (a, b), that meansω ãb = ω˜ba . In order to see this, consider the sum ··µ − ··µ ωãb +˜ωba = eaeλbΓν + eb eλaΓν eλb∂ ea eλa∂ eb ··µ ··µ ν λµ ν λµ − µ λ − µ λ 1 = (∂ g + ∂ g ∂ g ) (eaν eλb + eaλeνb) ebλ∂ ea eaλ∂ eb 2 λ νµ µ νλ − ν µλ · − µ λ − µ λ = eaνeλbec ∂ e + eaν eλbe ∂ ec eλb∂ ea eaλ∂ eb = 0 . ν µ cλ cλ µ ν − µ λ − µ λ Another observation follows from Eqs. (10) and (12). We can rewrite (10) in the form

(V aeµ) = ∂ (V aeµ)+Γµ V aeλ (16) ∇ν a µ a λν a 5 and construct the “covariant derivative” of the tetrad eµ in a way consistent with the ∇ν a Leibnitz rule and with both (16) and (7). Then

V µ = ∂ V µ +Γµ V λ = (V beµ) = ea (V beµ) (17) ∇ν ν λν ∇ν b ν∇a b = eaeµ V b + eaV b eµ = eaeµ(∂ V b +˜ωb V c)+ eaV b eµ . ν b ∇a ν ∇a b ν b a · ca ν ∇a b At the same time, we have

µ a b µ a µ b b a µ ∂νV = eν ∂a(V eb ) = eνeb ∂aV + V eν∂aeb . (18)

By combining (17) and (18) one can easily obtain the relation

V λec ω˜b eaeµ + eaebV λ eµ = V λeb ea∂ eµ + V λΓµ . (19) λ ·ca ν b ν ∇a b λ ν a b λν Since this relation should be true for all V λ, we arrive at

eaeb eµ = eaeb ∂ eµ +Γµ eaec eµ ω˜b . (20) ν λ∇a b ν λ a b λν − ν λ b · ca ν λ Multiplying this equation by edee one can get (changing some indices)

eµ = ∂ eµ +Γµ eλeν ω˜cb eνeµ . (21) ∇a b a b λν b a − ·· ν a c a Since this is a tensor quantity, we can multiply it by eτ and obtain the ﬁnal result

eµ = ea∂ eµ +Γµ eλ ω˜ c eµ . (22) ∇τ b τ a b λτ b − · bτ c One can show that, also2,

e = eb ∂ e Γλ eλ ω˜ b e . (23) ∇τ µa τ b µa − µτ a − a · τ µb Finally, by direct replacement of (15) one can easily check that both covariant derivatives vanish, eµ = 0 and e = 0. This fact is nothing else but a direct consequence of ∇τ b ∇τ µa the metricity property of covariant derivative, because

a b a b τ gµν = τ eµeνηab = 2ηab eµ τ eν = 0 . (24) ∇ ∇ · ∇ 2This can be done by either repating the steps leading to (22) or by directly using (22). We recommend the reader to do both things as a small exercise.

6 3 Covariant derivative of Dirac fermion

Let us construct a covariant generalization of the action of a spinor ﬁeld (1). The desirable expression has the form

S = i d4x√ g ψ¯ γµ im ψ . (25) f Z µ − ∇ − Since the part related to the integration volume element is relatively simple, what has to be done is to generalize the gamma-matrices and to construct the covariant derivative. µ µ a Let us use tetrad and deﬁne the curved-space gamma-matrices as γ = ea γ . Now the indices of the the new gamma-matrices are lowered and raised by means of the covariant µν metrics gµν and g . It is easy to see that the new gamma-matrices satisfy the curved- space version of Cliﬀord algebra,

γµγν + γνγµ = gµν . (26)

The construction of covariant derivative is a little bit more involved. Let us deﬁne

i ab i µψ = ∂µψ + ωµ ·· σab ψ , where σab = γaγb γbγa . (27) ∇ 2 2 − ab One can regard (27) as a hypothesis which can be proved or disproved. ωµ ·· are antisymmetric coeﬃcients of the spinor connection, which have to be found from the requirement of covariance. Taking a conjugate of (27), we arrive at i ψ¯ = ∂ ψ¯ ω ab ψ¯ σ . (28) ∇µ µ − 2 µ ·· ab

Exercise. i) Verify Eq. (27). ii) Using both (27) and (28), verify an identity µ α ψψ¯ = ∂α ψψ¯ . iii) Discuss and explain why αγ = 0. ∇ ∇ In order to obtain the equation for spinor connection, consider the relation for a composite vector

(ψγ¯ αψ) = ∂ (ψγ¯ αψ)+Γα ψγ¯ νψ . (29) ∇µ µ νµ A simple calculation using Leibniz rule yields

ψ¯ γαψ + ψ¯( γα)ψ + ψγ¯ α ψ = ∂ ψ¯ γαψ + ψ∂¯ γαψ + ψγ¯ α∂ ψ ∇µ · ∇µ ∇µ µ · µ µ i i +Γα ψγ¯ ν ψ + ω ab ψ¯ σ γα + ω abγασ ψ = ψγ¯ a(∂ eα)ψ + ψ¯Γα γνψ . νµ 2 µ ·· ab 2 µ ·· ab µ a νµ

7 As far as this equality should be valid for any ﬁeld ψ, we arrive at

1 ab α c c c ν α α ωµ ·· ec γ (γaγb γbγa) (γaγb γbγa)γ = γ ec Γµν + ∂µec . (30) − 4 − − − By means of the well-known relations

γcγ γ = 2δcγ γ γcγ , a b a b − a b 2δcγ 2δcγ + γ γ γc γcγ γ = 2δcγ +2γ δc γ γ γc a b − b a a b − b a − b a b a − b a we get

ab α α c τ α α ωµ ·· eb γa ea γb = γ ec Γτµ + ∂µec . (31) − ab The last equation can be easily solved due to the antisymmetry of ωµ ·· , and the result is 1 1 ω ab = ω˜ ab = (eb eλaΓτ eλa∂ eb ) µ ·· − 2 ·· µ 2 τ λµ − µ λ 1 1 = (eb eλa eaeλb)Γτ + (eλb∂ ea eλa∂ eb ) . (32) 4 τ − τ λµ 4 µ λ − µ λ Here we established the relation with the Eq. (15) and presented both compact and explicitly antisymmetric forms of the spinor connection. Finally, the expression for the covariant derivative is (27) with the spinor connection (32). At this point we can say that the construction of the action (25) is complete. In the next sections we will derive and discuss some additional relevant formulas and features.

4 Commutator of covariant derivatives

The next necessary step is to derive the commutator of two covariant derivatives acting on a Dirac spinor. Consider i Ψ = ∂ Ψ+ ω abσ Ψ ∇ν∇µ ∇ν µ 2 µ ·· ab i = ∂ ( Ψ) + ω ab σ Ψ Γλ Ψ ν ∇µ 2 ν ·· ab ∇µ − µν ∇λ i i i = ∂ ∂ Ψ+ ∂ ω ab σ Ψ+ ω ab σ ∂ Ψ+ ωab σ ∂ Ψ ν µ 2 ν µ ·· ab 2 µ ·· ab ν 2 ν ab µ 1 i ω abσ ω cdσ Ψ Γλ ∂ Ψ Γλ ω ab σ Ψ . (33) − 4 ν ·· ab µ ·· cd − µν λ − 2 µν λ ·· ab By using this expression and the relation

γ γ γ γ = 2η γ γ 2η γ γ +2γ γ η 2γ γ η + γ γ γ γ (34) a b c d bc a d − ac b d c a bd − c b ad c d a b 8 it is not diﬃcult to obtain the commutator 1 [ , ]ψ = ψ ψ = R ab γ γ ψ , (35) ∇µ ∇ν ∇µ∇ν −∇µ∇ν − 4 µν ·· a b where

R ab = ∂ ω ab ∂ ω ab + ω ac ω b ω ac ω b (36) µν ·· µ ν ·· − ν µ ·· µ ·· νc · − ν ·· µc · is a new notation, which becomes clear if we prove that there is a direct relation with the Riemann tensor,

ρ σ Rµνab = Rµνρσ ea eb . (37)

The proof consists of a direct replacement of Eq. (15) into the expression (36) and some algebra which we skip here for brevity and leave as an exercise to the interested reader. Using (35) and (37) one can write a useful covariant expression for the commutator, 1 [ , ]ψ = R γργσ ψ . (38) ∇µ ∇ν − 4 µνρσ One of the applications of the previous expression is the possibility of a “doubling” of the covariant Dirac equation (25). Taking the product

µ ν µ ν 2 γ µ im γ ν + im = γ µ γ ν + m , (39) ∇ − ∇ ∇ ∇ one can obtain

µ ν 1 µ ν 1 µ ν γ µ γ ν = γ γ µ ν + µ ν + γ γ µ ν µ ν ∇ ∇ 2 ∇ ∇ ∇ ∇ 2 ∇ ∇ −∇ ∇ 1 µ ν ν µ 1 = γ γ + γ γ µ ν + µ ν µ ν 2 ∇ ∇ 2 ∇ ∇ −∇ ∇ 1 1 = gµν R γργσγµγν = ✷ R. (40) ∇µ∇ν − 8 µνρσ − 4 In the last step we used an identity

ρ σ µ ν Rµνρσ γ γ γ γ = 2R, (41) which can be easily proved by using covariant version of relation (34) and the algebraic properties of the Riemann tensor. We leave the veriﬁcation of this identity as one more exercise for the interested reader.

9 5 Local conformal transformation

Let us now concentrate on the conformal transformation of the metric and fermion ﬁeld. It is easy to see that the massless part of the action (25) is invariant under the global conformal transformation 3 gµν gµν exp (2λ) , ψ ψ exp λ , λ = const. (42) → → − 2 The conformal transformation for the conjugated fermion ψ¯ is always the same as for ψ. Using the global symmetry as a hint, let us consider the local conformal transformation 3 2σ(x) − 2 σ(x) gµν =g ¯µν e , ψ = ψ∗ e . (43) In what follows we will omit space-time argument, but always assume that σ = σ(x).

Furthermore, all quantities with bars are constructed using the ﬁducial metricg ¯µν. Also, we use compact notation for partial derivative σ,λ = ∂λσ. Let us note that many formulas related to local conformal transformations of curvature tensors, their contractions etc can be found in [6]. Our aim is to ﬁnd the transformation rule for the action (25) and this requires the transformation of all intermediate quantities. Direct replacement of (43) provides gµν =g ¯µν e−2σ , √ g¯ = √ g e4σ , eµ =e ¯µ e−σ , eb =e ¯b eσ (44) − − a a µ µ and, consequently,

µ µ −σ σ γ =γ ¯ e , γµ =γ ¯µ e . (45) For the Christoﬀel symbols and spinor connection we use (11) and (32) and ﬁnd Γλ = Γ¯λ + δλσ + σ δλ σ g¯λτ g¯ , αβ αβ α ,β ,α β − ,τ αβ ω ab =ω ¯ ab + (¯ea e¯λb e¯b e¯λa) σ . (46) µ ·· µ ·· µ − µ ,λ Now we are ready to start the next phase.

µ µ −σ i ab i a λb b λa i γ µψ =γ ¯ e ∂µψ ω¯µ ·· σabψ e¯µe¯ e¯µe¯ σ,λ γaγb γbγa)ψ ∇ n − 4 − 4 − · 2 − o µ −σ 1 λ λ −σ 3 λ =γ ¯ e¯ ¯ ψ + (¯γµγ¯ γ¯ γ¯µ) σ,λψ = e ¯ ψ + γ¯ σ,λψ . (47) n∇ 4 − o n∇ 2 o By replacing (47), (43) and (44) into the action (25), we arrive at the transformation law

i d4x√ g ψ¯ γµ im ψ = i d4x√ g¯ ψ¯ γ¯µ ¯ im eσ ψ . (48) Z µ Z ∗ µ ∗ − ∇ − − ∇ − One can see that the massless action is invariant under local conformal transformation. Exercise. a) Consider the possibility to restore local conformal symmetry in the general action (25) through replacing the mass by a scalar ﬁeld3 ϕ. Find 3Such a coupling between fermion and scalar is called Yukawa interaction term.

10 the form of the local conformal transformation for the scalar which makes the action invariant. b) Generalize the whole consideration for the space of an arbitrary dimension n. For this end one has to start from the global conformal transformation and find the form of the transformation of the fermion field [more general than the one in (42)], which leaves massless fermion action invariant. Then find the transformation law for the scalar which leaves the Yukawa term invariant. c) Consider the massless scalar field action in the form

n 1 µν 1 2 λ k Ss = d x√ g g ∂µϕ ∂ν ϕ + ξRϕ ϕ . (49) Z − n2 2 − n! o First check the invariance of the kinetic term with the transformation law found in point b). Then ﬁnd the functions ξ(n) and k(n) which provide the invariance of the rest of the action.

6 Energy-momentum tensor for the Dirac ﬁeld

Let us present the derivation of the dynamical energy-momentum tensor Tµν for the Dirac field. The definition is 2 δS T µν = f . (50) −√ g δg − µν At that moment we meet two problems. First of all, the action (25) is not Hermitian. In order to fix this issue, one can trade it to the equivalent Hermitian form i S = d4x√ g ψγ¯ µ ψ ψγ¯ µψ +2im . (51) f Z µ µ 2 − ∇ −∇ The second problem is that the variation in (50) should be taken with respect to the metric, but the action (25) is constructed in terms of tetrad and spin connection. The solution of this difficulty has been found long ago (for the quantum gravity purposes) in [7] (see also [8] and Chapter 9 of [1]). The trick is to make a variation of the metric

g g′ = g + h (52) αβ → αβ αβ αβ and ﬁnd corresponding variations of all involved quantities. Solving this problem in the

(requested here) ﬁrst order in hαβ is quite simple and we arrive at 1 1 1 δ√ g = √ gh, δgµν = hµν , δec = hν ec , δeρ = hρ eλ , − 2 − − µ 2 µ ν b −2 λ b λ 1 λ λ λ µ 1 µ ν δΓαβ = αhβ + βhα hαβ , δγ = hν γ . (53) 2 ∇ ∇ −∇ −2 11 µν Here all indices are raised and lowered with the background metric g and gµν. Further- more, direct calculation using (32) and (53) yields

ab ba 1 b λa τ λa b 1 aτ bλ bτ aλ δωµ ·· = δωµ ·· = δ(eτ e Γλµ e ∂µeλ) = e e e e ) λhµτ . (54) − 2 − 2 − ∇ Next we have to replace (53) and (54) into (51), and expand

¯ µ ¯ µ ¯ µ ¯ µ i ab ¯ µ µ ψγ µψ µψγ ψ = ψγ ∂µψ ∂µψγ ψ ωµ ·· ψ γ σab + σabγ ψ . (55) ∇ −∇ − − 4 ab Consider the term depending on the variation of ωµ ·· , deﬁned by (54), i δ S = d4x√ g ψ¯ γµσ + σ γµ ψδω ab ω f Z ab ab µ ·· −4 − i 1 = d4x√ g eaτ ebλ ebτ eaλ h eµc ψ¯(γ σ + σ γ )ψ . (56) Z λ µτ c ab ab c −4 − 2 − ∇ After integration by part we get i δ S = d4x√ g h eµc eτaeλb eτbeλa ψ¯(γ σ + σ γ )ψ . ω f Z µτ λ c ab ab c 8 − − ∇ Lets us note that the factor in the brackets [...] is antisymmetric in ab. Hence one can simplify the expression, using the expression for σab, 1 δ S = d4x√ g h eµceνaeλb ψ¯(γ γ γ γ γ γ + γ γ γ γ γ γ )ψ . ω f Z µν λ c a b c b a a b c b a c −8 − ∇ − −

Replacing γaγb + γbγa =2ηab, we arrive at 1 δ S = d4x√ g h ψ¯(gλµγν gλνγµ)ψ = 0 . (57) ω f Z µν λ −8 − ∇ − ab Finally, we observe that δωµ ·· is irrelevant, since its contribution vanish. Hence we µν arrive at (remember h = g hµν ) i 1 δS = d4x√ g hgµν hµν ψγ¯ ψ ψγ¯ ψ ihmψψ¯ f Z ν µ µ ν 2 − n2 − ∇ −∇ − o i 1 = d4x√ g h gαβ ψγ¯ λ ψ ψγ¯ λψ gαβmψψ¯ Z αβ λ λ − n4 ∇ −∇ − 2 i ψγ¯ α βψ αψγ¯ βψ . (58) − 4 ∇ −∇ o According to the deﬁnition (50), the energy-momentum tensor of the fermion is

i ¯ λ ¯ λ i ¯ ¯ ¯ Tµν = gµν ψγ λψ λψγ ψ + ψγ(µ ν)ψ (µψγν)ψ + mψψgµν. (59) −2 ∇ −∇ 2 ∇ −∇ 12 In order to check this expression, let us take a trace,

µ µν 3i ¯ λ ¯ λ ¯ Tµ = Tµν g = ψγ λψ λψγ ψ + 4mψψ . (60) − 2 ∇ −∇ Using the equations of motion we have

γµ ψ = imψ and ψγ¯ µ = imψ¯ = 0 . (61) ∇µ − ∇µ Therefore, on-shell the trace is µ ¯ Tµ = mψψ . (62) on−shell

Of course, for a massless theory this expression vanish, in accordance with our previous ﬁnding that the massless fermion theory is invariant under local conformal transformation.

Exercise. Taking variational derivative of the fermion action with respect to the conformal factor σ(x) in (43), derive the corresponding Noether identity for local conformal symmetry. After that derive (60) using this identity and equations (61). Finally, establish the general relation between local conformal symmetry and the vanishing on-shell expression for the trace of the energy- momentum tensor.

7 Derivation of Tµν on the cosmological background

In order to have an illustration for the results presented above, let us calculate the energy- momentum tensor for a free spinor on a cosmological background. It is assumed that not only metric, but also the fermion ﬁeld depends only on time and not on the space coordinates. For the sake of simplicity we choose a conformally-ﬂat metric

2 2σ(η) gµν = a (η)¯gµν = e g¯µν , (63) withg ¯µν = ηµν . We also use the conformal time variable η, related to physical time t as dη = a(t)dt. The derivative with respect to η will be denoted by prime. It is well-known that the non-zero components of affine connection are a′ a′ a′ Γ0 = , Γ0 = δ , Γi = δi . (64) 00 a ik a ik 0k a k Here and in what follows we shall use the notations i, j, k =1, 2, 3 and a, b, c =0, 1, 2, 3, while both sets of Latin indices correspond to the flat fiducial metric. The tetrad components can be easily derived and the curved-space gamma-matrices are given by 1 1 γ0 = Γ0 , γ = a Γ0 , γk = Γk , γ = a Γ , (65) a 0 a k k

13 where the useful notations Γa = γa were introduced for the ﬂat-space gamma’s.

In order to derive the components of Tµν one has to take care about the spinor connection ﬁrst. Direct calculation gives (other components are equal to zero)

ω k0 = Γk e−σηλ0∂ eσδk =Γk =0 , 0 ·· 00 − 0 λ 00 a′ a′ ω ki = Γτ ekeλi eλi∂ ek = ηki = δki , 0 ·· λ0 τ − 0 λ − a a ω ik = Γτ ei eλk ekλ∂ ei =0 , j ·· λj τ − j λ a′ a ω oi = Γτ eo eλi eλi∂ e0 = Γ0 ηij = η ηij = δi . (66) k ·· λk τ − k λ jk a jk −a k Hence we obtain i i a′ ψ = ψ′ ωkjσ ψ = ψ′ + ηkjσ = ψ′ . ∇0 − 4 0 kj 4 a kj Similarly, ψ¯ = ψ¯′. Furthermore, it is easy to obtain ∇0 i i a′ i a′ ψ = ∂ ψ ω okσ ψ = 2Γ Γ ψδ = Γ Γ , ∇i i − 2 i ·· ok 2 a 2 0 k −2a o i i 1 a′ a′ ψ¯ = ∂ ψ¯ + ω 0kψσ¯ = δk ψ¯Γ Γ =+ ψ¯Γ Γ . ∇i i 2 i ·· ok 2 i a 0 k 2a o i

Now we are in a position to calculate the components of Tαβ. According to Eq. (59),

i 0 k 0 k T00 = g00 ψγ¯ 0ψ + ψγ¯ kψ 0ψγ¯ ψ kψγ¯ ψ + g00ψψm¯ −2 ∇ ∇ −∇ −∇ i 2 + ψγ¯ 0 0ψ 0ψγ¯ 0ψ = a mψψ¯ . (67) 2 ∇ −∇ In a similar way, taking into account g0k = 0, we get i T0k = ψγ¯ 0 kψ + ψγ¯ k 0ψ 0ψγ¯ kψ kψγ¯ 0ψ 4 ∇ ∇ −∇ −∇ ia ′ ′ = ψ¯Γkψ ψ¯ Γkψ . (68) 4 − Due to the homogeneity and isotropy of space, in the cosmological setting this must be zero. Let us show that this is the case. On the mass-shell, we have 1 a′ γ0 ψ + γµ ψ + imψ = Γ0ψ′ ΓkΓ Γ ψ + imψ =0 . (69) ∇0 ∇k a − 2a2 0 k Since ΓkΓ Γ = 3Γ , we get 0 k − 0 1 3 a′ Γ0 ψ′ + ψ + imψ = 0 . (70) a a 2 14 Similarly, starting from ψγ¯ µ imψ = 0, one can arrive at ∇µ − a′ 1 ¯′ 3 ¯ ¯ ψ + ψ Γ0 imψ =0 . (71) a 2a − Then, (68) becomes the following on-shell expression: ia Tok = ma ψ¯ΓkΓ0ψ + ψ¯Γ0Γkψ = 0 , (72) o.sh − 4 exactly as it has to be to have the vanishing non-diagonal element (68). The last part is to derive the space components4,

2 0 j 0 j i Tki = ia ηik ψγ¯ 0ψ + ψγ¯ jψ 0ψγ¯ ψ jψγ¯ ψ +2imψψ¯ + ψγ¯ (k i)ψ − ∇ ∇ −∇ −∇ 2 ∇ ia a′ a′ = η ψ¯Γ0ψ′ ψ¯′Γ0ψ ψ¯ΓjΓ Γ ψ ψ¯Γ Γ Γjψ − 2 ik − − 2a 0 j − 2a 0 j ′ 2 ia + a ηik mψψ¯ ψ¯Γ(kΓ|0|Γi)ψ + ψ¯Γ0Γ(kΓi)ψ − 8 ia ia′ = η ψ¯Γ ψ′ ψ¯′Γ ψ + ma2 η ψψ¯ ψ¯ Γ Γ Γ Γ Γ Γ ψ ik 0 0 ik a 0 (k i) 0 (k i) − 2 − − − ia ′ ′ 2 = ηik ψ¯ Γ0ψ ψ¯Γ0ψ + ma ηikψψ¯ . (73) 2 − On-shell we get, according to (70) and (71),

2 2 ¯ a ¯ 2 ¯ 2 Tik = ηik ma ψψ + m ψΓ0ψ + ψΓ0ψ = 0 . (74) on−shell h 2 i 2 Here we used the Γ0 = 1 property of the gamma-matrix. For a massive case we meet T = T = T = ρ = 0, while ρ = T = 0. This is a 11 22 33 00 6 dust-type equation of state for the matter. The physical interpretation of the results for diagonal component (67) and (74) is the T following. First of all, for a massless case µν on−shell = 0 for the FRW metric. This is a natural output, since we permitted the fermion field to depend only on conformal time and not on the space coordinates. Therefore, we exclude the field configurations such as plane (and other, of course) waves. In the massive case there is still a dust-like configuration and in the massless version no solutions are possible. Of course, if we permit the space- α 1 j dependence, the equation of state will be the one of radiation, Tµ = diag ρr , 3 δi ρr . − 4Our notations for symmetrization can be easily understood from the two examples, A 1 A A B 1 B B (ij) = 2 ( ij + ji) and (i|k|j) = 2 ( ikj + jki).

15 8 Conclusions

We presented in details the derivation of spinor connection, covariant derivative of Dirac fermion, and energy-momentum tensor for the fermion, and also conformal properties of fermions in curved space were discussed. Let us note that the same constructions can be applied to more general backgrounds, for instance for the non-Riemannian space which has not only metric, but also metric-independent torsion. The result can be found, e.g., in [1] or in the review papers [9, 10]. In a more general case when the metricity condition is not satisﬁed, the construction of covariant derivative of the fermions has not been done so far. In principle, the scheme described here can be applied to this and to many other cases, when the geometry is enriched by additional metric-independent ﬁelds.

Acknowledgements

It is my pleasure to thank Prof. Miguel Gustavo de Campos Batista for a friendly oﬀer to publish these notes in MensAgitat and for an important assistance in typing the ﬁrst draft. Author is grateful to CNPq, FAPEMIG and ICTP for partial support of this work.

References

[1] I.L. Buchbinder, S.D. Odintsov, and I.L. Shapiro, Eﬀective Action in Quantum Grav- ity (IOP Publishing, Bristol, 1992).

[2] P. Bartesaghi, J.-P. Gazeau, U. Moschella, and M.V. Takook, Class. Quant. Grav. 18 (2001) 1.

[3] I.L. Shapiro, Lecture Notes on Vector and Tensor Algebra and Analysis. (CBPF - Rio de Janeiro, 2003).

[4] B.S. DeWitt, Dynamical Theory of Groups and Fields. (Gordon and Breach, 1965); The Global Approach to Quantum Field Theory. (2 volumes, Clarendon Press; 2003).

[5] V. Rubakov, Classical Theory of Gauge Fields. ( Princeton University Press, 2002).

[6] D.F. Carneiro, E.A. Freitas, B. Gon¸calves, A.G. de Lima, and I.L. Shapiro, Gravita- tion and Cosmology. 40 (2004) 305, gr-qc/0412113.

[7] I.L. Buchbinder, and I.L. Shapiro, Sov. J. Nucl. Phys., 44 (1986) 1033.

16 [8] R.P. Woodard, Phys. Lett. B148 (1984) 440.

[9] F.W. Hehl, P. Heide, G.D. Kerlick, and J.M. Nester, Rev. Mod. Phys.48 (1976) 393.

[10] I.L. Shapiro, Phys. Repts. 357 (2002) 113, hep-th/0103093.