arxiv:gr-qc/ v1 11 Dec 2000

Transcription

1 The Einstein 3-form G α and its equivalent -form L α in Riemann-Cartan space arxiv:gr-qc/002037v Dec 2000 Christian Heinicke Institute for Theoretical Physics University of Cologne Köln, Germany chh@thpuni-koelnde March 4, 208 Abstract The definition of the Einstein 3-form G α is motivated by means of the contracted 2nd Bianchi identity This definition involves at first the completecurvature2-form The-formL α isdefinedviag α = L β (ϑ β ϑ α) (here is the Hodge-star, ϑ α the coframe) It is equivalent to the Einstein 3-form and represents a certain contraction of the curvature 2-form A variational formula of Salgado on quadratic invariants of the L α -form is discussed, generalized, and put into proper perspective Introduction In a Riemannian space, the curvature can be split into the conformal (Weyl) curvature and a piece which contains a -form, here called L α That -form has some very interesting properties: (i) It is closely related to the Einstein 3-form (ii) It plays an important role in the formulation of the initial value problem which focuses on symmetric-hyperbolic equations for the conformal curvature (iii) Recently, we learned of a nice formula of Salgado [8] which involves an quadratic invariant of L α (iv) It plays a role in the context of current investigations of the Cotton 2-form C α The -form L α appears as the potential of the Cotton 2-form, C α := DL α The C α is related to the conformal properties of space and, in 3 dimensions, substitutes the Weyl curvature in the criterion for conformal flatness These points motivate a closer look at L α We will investigate mainly its algebraic structure and generalize it to an n-dimensional Riemann-Cartan space The differential properties, that is, the Cotton 2-form, will be in the center of interest of a forthcoming article [4] In this article, we would like to cast some light on the Einstein (n )- form and related quantities Within the framework of the calculus of exterior differential forms these structures will arise quite naturally

2 In section 2 we introduce some notation and motivate the definition of the Einstein(n )-form We give the well known differential argument, involving the contracted 2nd Bianchi identity, and a less well-known algebraic argument In section 3 we derive two quantities equivalent to the Einstein 3-form, the Einstein tensor and the so-called L α -form In section 4 we discuss an invariant containing L α and G α which was found by Salgado [8] and generalize it to a Riemann-Cartan space Section 5 puts the previous results into the context of the irreducible decomposition of the curvature We close with a remark concerning the role of the derivative of L α, DL α, which also is known as Cotton 2-form C α 2 Bianchi identities and the Einstein (n )-form On a differentiable manifold of arbitrary dimension we start with a coframe ϑ α = e i α dx i () The coframe is called natural or holonomic if e α i = δi α The vector basis or frame which is dual to this particular coframe is denoted by e α, We then may introduce a connection -form e α = e i α i, e α ϑ β = δ α β (2) Γ α β = Γ iα β dx i (3) Thereby we define the exterior covariant derivative of a tensor-valued p-form (d denotes the exterior derivative) Dφ α β := dφ α β Γ α γ φ γ β +Γ γ β φ α γ (4) Subsequently, we define the torsion, a vector-valued two-form T α by T α = 2 T ij α dx i dx j := Dϑ α = dϑ α +Γ β α ϑ β, st structure eq, (5) and the curvature, an antisymmetric 2-form R α β by R α β = 2 R ijα β dx i dx j := dγ α β Γ α γ Γ γ β, 2 nd structure eq (6) From these definitions, together with that of the covariant exterior derivative, we can deduce the following two identities: DT α = R β α ϑ β, st Bianchi identity, (7) DR α β = 0, 2 nd Bianchi identity (8) We use Latin letters for holonomic and Greek letters for anholonomic indices 2

3 Suppliedwithametricg andthecorrespondinghodge-stardualityoperator, we can define the η-basis 2 η :=, basis of n-forms, η α := ϑ α = e α η, basis of (n )-forms, η α α 2 := (ϑ α ϑ α2 ) = e α2 η α, basis of (n 2)-forms, η α α 2 αn := (ϑ α ϑ α2 ϑ αn ) = e αn η α α 2 α (n ) (9) If we require metric-compatibility of the connection, ie, Dg αβ = 0, we arrive at a Riemann-Cartan space In orthonormal frames, we find Γ αβ = Γ βα By contracting the second Bianchi identity (8) twice, we find e β e α DR αβ = 0 taking Hodge-dual = ϑ α ϑ β DR αβ = 0 (0) This corresponds to an irreducible piece of the second Bianchi identity, see [5] For n > 3, we obtain another differential identity of the curvature 2-form by taking the exterior products of eq(0) and ϑ γ By using rule H5 for the Hodgestar (see appendix) we find By differentiation, DR αβ η αβγ = 0 () D ( R βγ η αβγ ) = ( DR βγ ) η αβγ +R βγ Dη αβγ, (2) or, by () and Dη αβγ = T δ η αβγδ (see [6], eq(385)), ( ) D 2 η αβγ R βγ = 2 η αβγδ T β R γδ (3) In a Riemann space, where the torsion is zero, and in a Weitzenböck space, where the curvature is zero, the term on the right hand side vanishes Another interesting property of the (n )-form η αβγ R βγ should be mentioned here From special relativity we know that the energy-momentum current density has to be represented by a vector-valued (n )-form Suppose one has the idea to link energy-momentum to curvature We then notice that the expression η αβγ R βγ is one of the two most obvious vector valued (n )-forms linear in the curvature The other one is ϑ β R αβ However, in a Riemannian space, only the first quantity is automatically conserved 3 which perfectly matches the conserved energy-momentum 4 2 The η-basis seemingly was introduced by Trautman, see [] 3 In a Riemannian space we find for the covariant derivative of ϑ β R αβ, using the notation introduced in section 3, D ( ϑ β R αβ) = D ( e β R αβ) = D (Ric ν α ϑ ν ) = ( µric ν α )ϑ µ η ν = ( µric ν α )g νµ η = 2 ( α R)η The last expression, which is non-zero in general, is obtained by means of the 2 nd Bianchi identity 4 In a Riemann-Cartan space appear additional forces on the right-hand side of the energymomentum law, such as the Mathisson-Papapetrou force This is consistent with the nonvanishing right-hand side of eq(3), see [5] 3

4 These considerations motivate the definition G α := 2 η αβγ R βγ, Einstein (n )-form (4) 3 Alternative representations of the Einstein (n )-form The (n )-form (4) naturally appears as a piece of the identically vanishing (n+)-form R βγ η α We try to extract G α from R βγ η α by contracting the latter twice: ( 0 = e γ e β R βγ ) [( η α = eγ eβ R βγ) η α +R βγ ] η αβ = ( e γ e β R βγ) η α ( e β R βγ) η αγ + }{{}}{{} = R = Ric γ ( eγ R βγ) η αβ +R βγ η αβγ }{{}}{{} =Ric β =2G α, (5) G α = Ric β η αβ + 2 Rη α, (6) where we introduced the Ricci -form Ric α := e β R α β, and its trace, the curvature scalar R := e α Ric α In a Riemann-Cartanspace we haver αβ = R βα Bymeansofthedefinitionofthecurvature2-form,eq(6), wefindric α = Ric να ϑ ν, where Ric να := R µνα µ denotes the Ricci tensor It is symmetric if the torsion is covariantly constant as, for instance, in a Riemann space, where T α 0 Often the Ricci tensor is defined by contraction of the 2nd and 4th index in our Schouten notation of the curvature tensor Because of the antisymmetry of the curvature tensor, this definition of the Ricci tensor differs from our convention by a sign This applies also to quantities which are derived from the Ricci tensor, like the Einstein tensor and the L αβ tensor Einstein tensor Since G α is a (n )-form, we can decompose it with respect to the basis of (n )-forms η α : G α =: G α β η β (7) By convention, we contract here the 2nd index of G α β In order to determine the components G α β, we just have to rewrite the first term of the right hand side of eq(5): Ric β η αβ = Ric µ β ϑ µ η αβ = Ric µ β ϑ µ (ϑ α ϑ β ) = Ric µ β (e µ (ϑ α ϑ β )) = Ric µ β (δ µ α ϑ β ϑ α δ µ β ) = Ric α β η β +Rη α (8) 4

5 By substituting (8) into (5) we find G αβ = Ric αβ 2 Rg αβ (9) Thereby we recover the usual definition of the Einstein tensor The L α -form Using the identity ϑ α (e α Φ) = (rankφ) Φ, we can rewrite η α according to Substituting this into (6), we arrive at (n )η α = ϑ β (e β η α ) = ϑ β η αβ (20) G α = Ric β η βα This suggests the definition 2(n ) Rϑβ η βα (2) L β := Ric β 2(n ) Rϑβ, (22) such that G α = L β η βα (23) The decomposition of L α in components reads In a Riemann-Cartan space, the tensor L µ α = Ric µ α L α =: L µ α ϑ µ (24) if α is lowered, is not symmetric in general The trace of L α is proportional to the curvature scalar 2(n ) Rδα µ, (25) L := e α L α = n 2 R (26) 2(n ) We collect the results of this section for a Riemann-Cartan space in G α = 2 Rβγ η αβγ = L β η βα = G α β η β (27) 5

6 4 On Salgado s formula Since G α is a (n )-form and L α a -form, L α G α is a scalar-valued n-form and thus a possible candidate for a Lagrange n-form Moreover, we can guess that the variation of L α G α with respect to L α should yield G α, and vice versa However, because L α and G α are not independent, we have to check this explicitly By means of the results of the last section we find δ 2 (Lα G α ) = 2 (δlα G α +L α δg α ) Thus we have = 2 (δlα G α +L α δ(l γ η γα )) = 2 (δlα G α +L α δl γ η γα +L α L γ δη γα ) = 2 (δlα G α δl γ L α η γα +L α L γ δη γα ) }{{} = G γ = δl α G α 2 Lα L β δη αβ (28) δ(l α G α ) 2 δl β = G β (29) This formula also becomes apparent by noticing that 2 Lα G α = 2 Lα L β η αβ (30) For the variation of L α G α with respect to G α we have to express L α in terms of G α We start from G α = L β η βα = L µ β ϑ µ η βα, (3) The term ϑ µ η βα can be rewritten as in eq(8) yielding ( ) G α = L β α η β Lη α = L β α Lδα β η β (32) From this equation we infer for the traces L and G G := e α G α = (G α ϑ α ) = ( ) (n +ind) ( n)l (33) The last two equations lead to L α µ = L α β δ µ β = L α β e µ ϑ β = L α β e µ ( ( ) (n +ind) η β ) ( = ( ) (n +ind) e µ G α n 6 Gδ α µ ), (34)

7 or, by multiplying with ϑ α and using the rules for the Hodge-dual, 5 L µ = ( ) ind [ e α (G α ϑ µ ) ] n eµ (G α ϑ α ) (35) Since Hodge-star, interior and exterior products are linear, eq(35) is linear in G α Consequently, the variation of L α with respect to G α reads δl α (G β ) = L α (G β +δg β ) L α (G β ) = L α (δg β ) (36) A simple, but somewhat lengthy, calculation shows 6 L α (δg β ) G α = L α δg α (37) Then the variation of L α G α with respect to G α turns out to be 2 δ(lα G α ) = 2 [(δlα ) G α +L α (δg α )] = L α δg α (38) δ(l α G α ) = ( ) (n ) L β (39) 2 δg β Component representation Evaluating e β e α (L α L β η) = 0 yields 2 Lα G α = 2 Lα L β η αβ = ( L α α L β β L α β L β ) α η 2 = ( L α [αl β β]) η, (40) Eq(29) corresponds to the Salgado formula [8] d ( ) L α [αl β β] = L ν µ +δµl ν = G ν µ, (4) dl µ ν which was found by Salgado in a Riemannian context It remains valid in a Riemann-Cartan space Eqs(9, 25) yield Differentiating the last equation we get L α β = G α β n Gµ µδ α β (42) L α β G µ = δµ α δν β ν n δν µ δα β (43) 5 If DT α 0, L αβ is symmetric and we simply have L α = (L α µ ϑ µ ) = L α µ ϑ µ = L α µ η µ = L α µη µ, or, by substituting this into eq(32), G α = L α Lη α 6 See appendix 7

8 Substituting eq(42) into L α [αl β β], we find From the last two equation we derive L α [αl β β] = 2 Lα β G β α (44) d dg µ ν ( L α [α L β ) β] = L ν µ (45) 5 The -form L α and the irreducible decomposition of the curvature The -form L α represents the trace-part (that is, the second rank pieces of a fourth rank quantity) e β R αβ = L α + n 2 Lϑα of the curvature This property seems to be nothing special because it also belongs to other contractions of the curvature (like the Ricci- and the Einstein-tensor) However, the Einstein tensor, which is a trace-modified Ricci-tensor, is an interesting quantity because of a property not shared by the Ricci-tensor, namely to be divergence-free What are the properties peculiar to L α? In a Riemann-Cartan space, the -form L α represents that part of the curvature 2-form which has the structure ϑ [α ( form) β] To see this, one has to perform an irreducible decomposition of the curvature We use the results obtained in [7] and find R αβ = = () R αβ + (2) R αβ + (3) R αβ + (4) R αβ + (5) R αβ + (6) R αβ () R αβ + ( ) ind ( ) 2 ϑ [α P β] ϑ n 2 [α L β] =: Weyl αβ + P R αβ + L R αβ = irreducible 4 th -rank + pseudo-trace piece + trace piece (46) The (i) R αβ denote the 6 irreducible pieces of the curvature in a Riemann- Cartan space For their precise definition we refer the reader to the literature, see [7, 6], e g, because, in this context, the main result is contained in the second line of (46) The curvature decomposes into the conformal curvature Weyl αβ, a trace piece piece L R αβ, determined by L α, and a pseudo-trace piece P R αβ, which is determined by a (n 3)-form 7 P α If DT α 0, ie, in particular in a Riemannian space, we have, due to the st Bianchi identity (7), (2) R αβ = (3) R αβ = (5) R αβ = 0 and thus R αβ = Weyl αβ 2 n 2 ϑ [α L β], if T α 0 (47) 7 For the sake of completeness we display its explicit form: P α := (R β α ϑ β ) 6 ϑα (R βγ ϑ β ϑ γ) n 2 eα [ ϑ β (R γ β ϑ γ) ] 8

9 The corresponding formula in Ricci calculus is often used for defining the Weyl tensor C αβγδ Eq(47), decomposed into components reads C αβγδ = R αβγδ + 4 n 2 g[ α L ] [γ δ] β, if γ Tαβ 0 (48) In a Riemannian space, Weyl αβ transforms like a conformal density Thus, L α represents that piece of the curvature which does not transform like a conformal density This properties of L α are well known, compare [2] and [9] For the number of independent components we have Weyl αβ (n+2)(n+)n(n 3), (49) 2 P R αβ (n+)(n )n(n 3), 6 (50) L R αβ n 2 (5) These pieces have characteristic trace properties e α Weyl αβ = e α P R αβ = 0, e α L R αβ = e α R αβ (52) By means of those we find Weyl βγ η αβγ = P R βγ η αβγ = 0 Thus, only the piece L R αβ contributes to the Einstein 3-form This is even more apparent by substituting ϑ γ η αβγ = (n 2)η αβ into eq(27), G α = L β η βα = n 2 Lβ ϑ γ η βαγ = n 2 ϑ[β L γ] η αβγ, or, by using (46), L G α = R βγ η αβγ (53) 2 We can use this relation in order to obtain another well motivated representation of the invariant L α G α by rewriting it according to 8 I S := L α [αl β β]η = 2 Lα G α = 4 Lα η αβγ L R βγ = n 2 L R αβ R L γδ η αβγδ (54) 8(n 3) In this way, I S turned out to be one of the basic quadratic invariants 9 (scalarvalued n-forms) ofr L αβ 8 We use (n 3)η αβγ = ϑ δ η αβγδ 9 L In the case n = 4 we can define the Lie-dual of R αβ byr L αβ := L R γδ η 2 αβγδ Then I S reads I S = L R αβ R L 2 αβ Using the irreducible decomposition (46), I S can also be expressed in terms of the Hodge-dual I S R αβ ( ) (4) R αβ (5) R αβ (6) R αβ If DT α 0, we can [ use G α = L α Lη α and obtain I S = 2 [Lα L α (L) 2 η] = Lν α L ν 2 α (L) 2] η The positions of the indices differ from those in eq(40)! 9

10 We collect the various representation of the invariant I S in I S = 2 Lα G α = 2 Lα L β η αβ = n 2 L R αβ R L γδ η αβγδ (55) 8(n 3) 6 Discussion In view of our observations, we may put the main result of our investigations as follows The basic quantity here is the trace-part L R αβ of the curvature with its n 2 independent components A vector-valued -form, a vector-valued (n )-form, and a 2nd rank tensor valued 0-form, respectively, have the same number of independent components ThusR L αβ, as displayed in eq(53) and in eq(27), can be mapped into a (n )-form by means of the η-basis, yielding the Einstein 3-form G α, into a -form, yielding the L α -form, and into an n n matrix, yielding the Einstein tensor G αβ Realizing this, makes the algebraic relations between the stated quantities quite clear These results are represented by Eqs(27, 53), and (46) We also would like to mention that eq(23) which expresses G α in terms of L β and eq(35) which expresses L α in terms of G α hold for arbitrary (n ) forms G α and -forms L β, respectively Hence, eq(23) and eq(35) establish a duality relation between (n )-forms and -forms The invariant L α [αl β β], which was derived by Salgado as second principal invariant of L α β (arising in connection with the characteristic polynomial), in our context emerges (i) as one of the the most obvious invariants constructed from L α and G α, (ii) as a basic quadratic invariant of L α, and (iii) as a basic quadratic invariant of the curvature piecer L αβ These results are displayed in (55) and (29, 39) We have extensively studied the algebraic properties of L α It was quite helpful to check all formulas by means of the Excalc package of the computer algebra system Reduce, see [0] Also the differential properties of L α are very interesting In a Riemannian space we have Dϑ α = 0 By using (47), we can represent the second Bianchi Identity as follows DWeyl αβ = 2 n 2 ϑ [α C β], (56) where we defined the Cotton 2-form by C α := DL α (57) In this way, L α appears as potential of the Cotton 2-form Since the conformal (Weyl-) curvature is tracefree, the (twice) contracted 2nd Bianchi identity reads 0 = e α C α = e α DL α (58) 0

11 The Cotton 2-form, especially its relation to the conformal properties of spacetime, is subject of a current project [4] The definition (57) ofthe Cotton 2-form can be transferred to a Riemann-Cartan space Acknowledgements The author is grateful to FW Hehl for many helpful discussions The author would also like to thank GF Rubilar and YN Obukhov for useful remarks 7 Appendix 7 Some relations for the exterior and interior products In order to avoid dimension-dependent signs, it is of special importance to take care of the order of the forms in the exterior products We would like to remind the reader of the following relations which hold for a p-form φ and a q-form ψ: φ ψ = ( ) pq ψ φ, (59) e µ (φ ψ) = (e µ φ) ψ +( ) p φ (e µ ψ) (60) 72 The variational derivative with respect to p-forms The variation of a function F which depends on a p-form ψ is defined to be δf := F(ψ +δψ) F(ψ), (6) where the p-form δψ is supposed to be an arbitrary small deviation With given F, we can elementary evaluate the right-hand side of eq(6) We then neglect all terms of quadratic and higher order in δψ and bring the result into the form δf = δψ () (62) The expression in the parentheses is defined to be the partial derivative with respect to ψ This prescription especially fixes the sign The generalization to an arbitrary number of forms or tensor-valued forms is straightforward Due to the definition, the variation obeys a Leibniz-rule δ(φ ψ) (6) = ((φ+δφ) (ψ +δψ)) φ ψ = φ δψ +δφ ψ +δφ δψ }{{} 0 = φ δψ +δφ ψ (63) The variational derivative can be introduced in the usual way However, in this context we just note that in the case in which F does not depend on the derivatives dψ, the partial and the variational derivative coincide

12 73 Some relations for the Hodge-star We frequently made use of the following relations for the Hodge-star ψ an φ are two p-forms of the same degree, a, b R are numbers (aψ +bφ) = a ψ +b φ, H (64) ψ = ( ) p(n p)+ind ψ, H2, (65) where ind denotes the number of negative Eigenvalues of the metric, 3 in the case of a (3 + )-dimensional spacetime (e α ψ) = ( ) (p ) ϑ a ψ, H3 (66) e α ψ = (ψ ϑ α ), H4 (67) ψ φ = φ ψ, H5 (68) 74 Variation of L α We substitute eq(35) in eq(36): [ δl α = L α (δg β ) = ( ) ind e β (δg β ϑ α ) ] n eα (δg β ϑ β ) (69) The expression in the square-brackets is a (n )-form By H5 we then have [ δl α G α = ( ) ind e β (δg β ϑ α ) ] n eα (δg β ϑ β ) G α { [ ] = ( ) ind G α e β (δg β ϑ α ) [ G α e α (δg β ϑ )] } β n (70) G α is a -form and δg β ϑ β, δg β ϑ β are n-forms Thus 0 = e β [ ] [ ] G α (δg β ϑ α ) = (e β G α )δg β ϑ α G α e β (δg β ϑ α ), 0 = e α [ ] [ ] G α (δg β ϑ β ) = (e α G α )δg β ϑ β G α e α (δg β ϑ β ) Substituting this into eq(70) yields δl α G α = ( ) ind ( ) (n )[ (e β G α )ϑ α n (eα G α )ϑ β] δg β = ( ) ind ( ) (n )[ (G α ϑ β )ϑ α (G α ϑ α )ϑ β] δg β n = ( ) ind [ e α (G α ϑ β ) ] n eβ (G α ϑ α ) δg β = L β δg β = ( ) (n ) δg β L β (7) 2

13 References [] É Cotton: Sur les variétés à trois dimensions Ann Fac d Sc Toulouse (II) (899) [2] L P Eisenhart: Riemannian Geometry Princeton University Press, Princeton (925) [3] L P Eisenhart: Non Riemannian Geometry Americ Math Soc Coll Publication, New York (927) [4] A García, A Macías, FW Hehl: The Cotton 2 form in Riemann and in Riemann-Cartan geometry In preparation (October 2000) [5] F W Hehl, J D McCrea: Bianchi identities and the automatic conservation of energy-momentum and angular momentum in general-relativistic field theories Found Phys 6, (986) [6] FW Hehl, JD McCrea, EW Mielke, Y Ne eman: Metric-Affine Gauge Theory of Gravity Phys Rep 258, -7 (995) [7] J D McCrea, Irreducible decomposition of non-metricity, torsion, curvature and Bianchi identities in metric-affine spacetimes Class Quant Grav 9, (992) [8] R B Salgado: Fun With Curvature Tensors Unpublished notes (Syracuse University, Jan 996) pages [9] J A Schouten, Ricci-Calculus Springer, Berlin (954) [0] J Socorro, A Macias, and F W Hehl Computer algebra in gravity: Reduce-Excalc programs for (non-)riemannian spacetimes I Comp Phys Com 5, , (998) Also available at: [] A Trautman: Differential Geometry for Physicists Bibliopolis, Naples (984) [2] A Trautman: Fibre bundles, gauge fields, and gravitation In: General Relativity and Gravitation A Held (ed), Plenum Press, New York (980) 3