For diagonal metrics of 3 or more dimensions, the diagonal Riemann curvature tensor components R^{l}_{ili} are the sum of two pieces, the Gaussian curvature K_{li }for a 2-d surface, plus an ‘intermediary-curvature’ term reflecting the effect of the additional dimensions.

Writing g_{a} for the positive sqrt of g_{aa} : g_{aa}= e_{a} g_{a}^{2} , the Gaussian curvature is: [No sum on A,B]: (see Appendix 1)

K_{AB}^{ }= – [g_{A} g_{B}]^{-1}{h_{B }[g_{A,B }/g_{B}],_{B }+ h_{A}[g_{B,A}/g_{A}],_{A}} .

The essential aspect is: (1a) where the 2-d curvature K_{ie} is a sum of two such identical terms, just with i,e interchanged.

Note that the formula is identical under interchange of the two indices; indeed the two terms are identical under such interchange.

The below formula for the Riemann tensor component (RTC) formula for diagonal metrics, is from L. D. *Landau*, E. M. *Lifshitz, Classical Theory of Fields* (section 92)]; note that all the signature information has been separated out into the e’s:

g_{aa} = e_{a} exp(2F_{a}), where each F can be a different function, of various of the coordinates; (Font issues: the Summation is indicated via “SUM”).

R_{lili} = e_{l} e^{2F}_{l} (F_{i,i}F_{l,i} – F^{2}_{l,i} – F_{l,i,i}) +e_{i} e^{2F}_{i}(F_{l,l}F_{i,l} – F^{2}_{i,l} – F_{i,l,l})

– e_{i} e^{2F}_{i} e_{l} e^{2F}_{l}**S**UM_{m}**≠**_{ i,l} e_{m}e^{-2F}_{m }F_{i,m} F_{l,m i}**≠**_{ l }** **(A)

(for the reader’s convenience, we have inserted the equation as a photo of the actual page in LL):

(i,l) are the coordinates of the 2-d ‘surface’, and m in the summation are the coordinates of what we will call the ‘intermediary dimensions’.

Note that the formula is identical under interchange i <–> l.

The first two sub-terms are identical under i <–> l.

Appendix 3 provides a direct calculation of the Riemann curvature, arriving after some effort at LL’s formula above.

**What we wish to show**: the two interchange-invariant terms of the Gaussian curvature are identical to those of the Riemann curvature formula. To show this we of course only have to show the identity of one from each pair; eg that (F_{i,i}F_{l,i} – F^{2}_{l,i} – F_{l,i,i}) is basically the Gaussian curvature term_{ }[g_{A,B }/g_{B}],_{B}.

Slightly adapted notation in rewriting LL’s formula (A):

1. we use h rather than e to reduce confusion with the e-as-exponential;

2. in the summed term we have moved e_{i} e^{2F}_{i} out of the summation (‘SUM’):

R_{lili} = e_{l} e^{2F}_{l} (F_{i,i}F_{l,i} – F^{2}_{l,i} – F_{l,i,i}) + e_{i} e^{2F}_{i}(F_{l,l}F_{i,l} – F^{2}_{i,l} – F_{i,l,l})

– e_{l} e_{i} e_{m} e^{2F}_{l }e^{2F}_{i }SUM _{m i,l} e^{-2F}_{m }F_{i,m} F_{l,m i l }** ** (A)

To make it precise we will need to raise two indices of R_{lili} ; we will be showing that:

R^{li}_{li} = K_{li} + additional term involving the other dimensional coordinates.

**Adapting formula (A) to our notation**: Since in many fonts i and l are very similar, we’ll use the letters (e,i) for coordinate indices rather than (l,i).

We can write the positive sqrt of g_{aa} , symbolized by g_{a}:

g_{aa}= e_{a} g_{a}^{2} ,

Where e_{a} is the signature.

Relating various notations:

g_{aa} = e_{a} exp(2F_{a}), g_{a} = exp(F_{a}), F_{a}= ln g_{a } ;

(F_{a})_{,i} = F’ = (ln g_{a})’ = g_{a,i}/g_{a } .

The first term of R_{lili} in (A) above, rewritten using our notation, is:(2a)

Using this notation, we want to show that (2a) is the Gaussian curvature’s essential term (1a), ie that:

**Outline of our procedure **(done explicitly below): In (3) above, there are three subterms on the LHS and one on the RHS. Expanding the [ ],** _{i}** terms on both sides gives 4 subterms on the LHS and two on the RHS. However, two of the four on the LHS exactly cancel each other, leaving two subterms. After raising two indices on the LHS the two subterms are identical to the two on the RHS.

**Side-discussion**:

- We can directly see that the Riemann curvature formula above has a 2
^{nd}derivative contribution only in the first term, and clearly that first term has no involvement of ‘the other dimensions’, only the two represented in the repeated subscript.

It is reasonable to expect that the Riemann curvature should somehow contain the Gaussian curvature of the 2-d aspect, and particularly that it should contain the Gaussian curvature’s 2^{nd} derivative term. The other part of the Riemann curvature formula (the summation) has only 1^{st} derivatives, and so there should be a 2^{nd} derivative contribution in (2a) which at least contains within it the 2^{nd} derivative part of (1a).

- Note the difference in the denominators of the term in (1a) and the term in (2a). For g = exp(F): In LL’s Riemann formula, the exponent function F of the metric coefficient appears; of course from calculus we know this is obtained by differentiating the exponential metric coefficient function and then dividing by the function itself, and indeed part of our task will be to show how the Riemann term with g
_{e}in the denominator can be transformed to have g_{i}in the denominator.

**Demonstrating the claim: (click this link or read the inserted page below)**

Calculating the diagonal Riemann tensor components for diagonal metrics is therefore rendered quite simple: for each such component calculate the Gaussian curvature:

and then add the summation-term giving the contribution to the curvature of the interaction with the intermediary-dimensions.

See lecture utilizing this formula for calculation of the Riemann tensor components for the FRW & Schwarzschild metrics.

**Speculations**:

- Can it be that there is some invariant characterization of those spaces (curvatures) which allow for diagonal metrics?
- What is the equivalent in a non-metric connected space which allows for orthogonal coordinates?
- Are the Riemann curvatures of generally-curved metric spaces expressible as the curvature for a diagonal metric plus some other (perhaps intuitively-meaningful) term?
- Can the off-diagonal components for a diagonal metric also be expressed in a simple form? For them, LL gives:

**Discussion**: **Properties of the Riemann curvature evident from the above formula (A)**: The signs of the three terms: For 4-d spacetime, whatever the choice of signature:

- If both (l,i) are spatial we can ignore e
_{l}& e_{i}. For this case there is a term in the summation m = t, and so if that term is non-zero then e_{l}e_{i}e_{m}= – 1, and so the sign of the summation term will change. - At most only one of (l,i) can be time, and if indeed one of them is, then there will be a relative negative sign between the first two subterms; but in that case m cannot be t and so there is no sign change in the last term.

Note that all second order derivatives originate with F_{l,i,i} and F_{i,l,l} , however these are 2^{nd} derivatives of the exponential function, not of the metric coefficients.

We can see that the second order effect, the true Riemann curvature, arises from the metric coefficients of the two dimensions represented in the RTC indices (e,i), whereas the ‘intermediary’ dimensions (represented by m) gives rise only to products of first derivatives.

Also: (and this is true not only for diagonal metrics): since the second derivative is with respect to the ‘other’ coordinate, one only gets first derivatives of a metric function with respect to ‘its’ coordinate, for example the time-metric coefficient g_{00} will not have 2^{nd} derivatives with respect to time, etc (see LL sec 95 re ‘peculiarities of the structure of the Einstein equaitons’). However, time-spatial Riemann components will have 2^{nd} time derivatives with respect to the spatial coordinate. For example, for the FRW metric, R_{trtr }has R^{..}(t).

…………..

**Orthogonal coordinates, diagonal metrics**

** **

**Notation: **For an orthogonal metric of any dimensionality we can write: ds^{2} = g_{aa}dx^{a}dx^{a} (summed on a) . We define: g_{ D}_{ }≡ √|g_{DD}| ; **No summation over D**: to indicate this in the following we will insert [**NS**])

We also define h_{D }and w^{D} via:

w^{D }=^{ }g_{D}dx^{ D} (**No summation over D** [**NS: D**])

ds^{2} ≡ h_{a} (w^{a})^{ 2 } ≡ h_{a} [g_{a}]^{2 }[dx^{a}]^{2}. (summed over a: summation will be assumed in the below unless NS is specifically indicated) [The h_{a} contain the signature information.] (1) ** ** ** **^{ }^{[3]}^{[3]}

**………**

**2-d and Gaussian Curvature**

For a 2-d surface, using an orthogonal coordinate system (x_{A}, x_{B}), the metric is:

ds^{2} = g_{AA}dx^{A }² + g_{BB}dx^{B} ² (no sum on A or B [NS: A,B]).

Gauss’s curvature formula for this surface is: [See Barrett O’Neill: “Semi Riemannian Geometry” p81]

K_{AB}^{ }= – [g_{A} g_{B}]^{-1}{h_{A }[g_{A,B }/g_{B}],_{B }+ h_{B}[g_{B,A}/g_{A}],_{A}} [NS: A,B]. (Formula C)

The Gaussian curvature arises from the interconnection of the two dimensions represented by the coordinates corresponding to the two indices of K (or of the metric coefficients corresponding to the coordinates). Quantitatively, the Gaussian curvature arises via – or is dependent – the derivatives of the metric coefficient corresponding to one coordinate, derived w/r/t the other coordinate. In this sense the Gaussian curvature is the curvature arising from a “mutual” interconnection. (Then a second derivative is formed, giving rise to second order terms.)

Intrinsic Curvature: The above formula also provides the intrinsic curvature of a 2-d space described by the above metric.

..

**Gauss’s Formula for the Curvature of a 2-d Surface, in his notation** ^{[4]}^{[1]}

Given a 2-d surface with coordinate grid (u,v) on it, with the metric:

ds^{2 }= Edu^{2} + Gdv^{2}

In terms of the quantities:

e = sqrt|E|, g = sqrt|G| , e is the sign (my h)

and using the notation: g_{u} = ¶_{u}g , (g_{u}/e)_{ v} = ¶_{v}(¶_{u}g/e)

the curvature of the surface is given by Gauss’s formula:

K_{uv} = (-1/eg)[e_{1}(g_{u}/e)_{ u} + e_{2}(e_{v}/g)_{v}]

Which is the same as our (formula C) above.

..

**Intrinsic Curvature for 3-d and higher**

The formula for the Riemann Tensor Components** (**RTCs) for orthogonal metrics of any dimensionality is the Gauss term above plus an additional term which we call the ‘intermediary term’ I:

I^{AB} = h_{D}h_{B} (h_{A}) g_{D}^{-2} [g_{A,D/}g_{A}][g_{B,D}/g_{B}]_{ D }**≠**_{A,B }(summed on D A,B)

= [g_{A} g_{B}]^{-1 }h_{D}h_{B} (h_{A}) g_{D}^{-2} [g_{A,D}][g_{B,D}]_{ D }**≠**_{A,B}

This term vanishes unless *both* of the metric coefficients corresponding to the indices of the RTC have non-vanishing derivatives w/r/t *the same* coordinate(s). We will term “intermediary coordinates” those coordinates w/r/t which *both* of the metric coefficients corresponding to the indices of the RTC have non-vanishing derivatives. We can then say that this term relates to the curvature arising from the interconnection of the two dimensions represented by A and B via the dimensions represented by the “intermediary coordinates”.

We can therefore write: (Note: No Sum on A,B. However, D summed on D**≠**A,B)

R^{AB}_{AB }= K_{AB}^{ }+ I^{AB} = – [g_{A} g_{B}]^{-1}{ [g_{A,B }/g_{B}],_{B }+ h_{A }h_{B}[g_{B,A}/g_{A}],_{A }+ h_{D}h_{B} (h_{A})g_{D}^{-2} [g_{A,D}][g_{B,D}]_{ D }**≠**_{A,B }}

Where the first (Gaussian) part of the RTC is the curvature arising from the “mutual” interconnection, and the ‘additional’ (third) term is the curvature arising from the interconnection via the “intermediary” dimensions/coordinates.

- The terms are manifestly symmetric under A ßà B. [(AR to AR: check the signature part of the last term)] Note that this is not true of the usual formulae for the RTC.
- This division of the RTC into “mutual” and “intermediary” terms grants this form of the RTC formula a certain intuitive basis.
- Use of this formula facilitates intuiting shortcuts in calculations of the RTC. (Some RTCs can be computed mostly ‘by inspection’ using this formula; the terms arising in the RTCs can be easily traced to the metric; some properties of special metrics are easily discernible eg for metrics with inverse relationship eg: g
_{tt}= -g_{rr}^{-1 }[R^{t}_{t }is a Laplacian]).

^{ }

**Analysis of the Formula **: Note that when the two metric coefficients are functions of each other’s coordinate, ie:

g_{A} = g_{A}(x_{B}),

g_{B} = g_{B}(x_{A}),

then both terms can survive. If neither is a function of the other, both terms must vanish. [And of course if only one is a function of the other’s coordinate then only one term survives.]

These terms clearly involve a second derivative of each of the two metric coefficients involved, w.r.t. the other coordinate, ie g_{A,B},_{B} and g_{B,A},_{A} . This makes sense as curvature since it takes into account a type of twisting of the metric basis. But note that the first derivative eg g_{A,B } is ‘normalized’ by dividing with g_{B} before the second derivative is taken: eg the term is:

[g_{A,B }/g_{B}],_{B} ;

furthermore, the resulting term with the second derivative is normalized by the product of the two metric coefficients: eg:

-[g_{A} g_{B}]^{-1}[g_{A,B }/g_{B}],_{B }.

……………………………………..

**Note**: **See my formula for the Ricci tensor components for an orthogonal metric: **LL gives the formula:

R_{ii} = S_{l}**≠**_{ i} (F_{i,i}F_{l,i} – F^{2}_{l,i} – F_{l,i,i} + e_{i} e_{l} e^{2(F}_{i}^{ – F}_{l}^{)} ) [F_{l,l}F_{i,l} – F^{2}_{i,l} – F_{i,l,l }– F_{i,l}S_{m}**≠**_{ i,l} F_{m,l}]

…….

**Appendix: Gauss & Riemann curvature formulae in terms of our (non-standard) “square-root connection coefficients”**

** **

For orthogonal coordinates:

G^{D}_{aa} = g_{aa,D}/[-2g_{DD}] = [h_{a}g_{a}²]_{,D}/[-2h_{D}g_{D}²] = 2h_{a}g_{a}g_{a,D}/[-2h_{D}g_{D}²]

= -h_{D}h_{a} [g_{a}/g_{D}][g_{a,D}/g_{D}]

We define what we can perhaps term ‘square-root connections’. [Note: the square root sign (with a ‘roof’ which is missing here), the radical, is a mnemonic symbol for this since it is somewhat similar to the Greek gamma.]:

**√** ^{D}_{aa} ≡ [g_{a,D}/g_{D}]

so that:

G^{D}_{aa} = -h_{D}h_{a} [g_{a}/g_{D}] ** √** ^{D}_{aa}

….. …………

In this notation, Gauss’s curvature formula for a 2-d surface is:

K_{AB} = -[g_{A} g_{B}]^{-1}{**√** ^{B}_{AA,B} + h_{A }h_{B} **√** ^{A}_{BB,A}} = -[g_{A} g_{B}]^{-1}{[g_{A,B }/g_{B}],_{B }+ h_{A }h_{B}[g_{B,A}/g_{A}],_{A}}

This measure provides a fully dependable measure of the curvature of the two dimensional surface: if it vanishes there’s actually no curvature, whatever the functions g_{A }and g_{B} are, however much they make the metric look as though it is that of a curved surface.

………..

Schematically, we can write

Gaussian curvature K^{21} ~ **√**G^{21}_{,1 }^{ }+ **√**G^{12}_{,2}

symbolically:

R^{AB}_{AB} ~ K_{AB} + **√** ^{A}_{AD}**√** ^{B}_{BD} , _{D}**≠**_{ A,B { ie D = C, E}}

One can see the connection coefficients as expressing a measure of the interconnection of two dimensions, but a somewhat subjective or arbitrary measure, and the Gaussian curvature – involving appropriate derivatives of connection coefficient. – gives a more sophisticated and also more objective measure of the curvature.

**The Structure of the Riemann Curvature in terms of the Connection**

**CHANGE OF NOTATION**: W’e’ll write both the radical and the gamma, but this does NOT mean the square root of the gamma!

f a 2-d ‘section’ were the totality of the space, the curvature would be: R^{12}_{12} ~ **√**G^{21}_{,1 }^{ }+ **√**G^{12}_{,2}

However since this 2-d ‘section’ is part of a 4-d space, both dimensions of the 2-d section, eg labeled by the coordinates 1 and 2, can interact with eg the dimension labeled by 3, so that there are non-vanishing connection curvature terms **√**G_{3}_{1 }and **√**G_{3}_{2} . If so, the product of these terms will appear in the curvature formula. Eg:

R^{12}_{12} ~ **√**G^{21}_{,1 }^{ }+ **√**G^{12}_{,2} + **√**G_{31}**√**G_{32}

We would then refer to 3 as the ‘intermediary dimension/coordinate’.

Thus although the formulae for the curvature of 2-d surfaces in a 3-d flat space is the same as for the curvature of an intrinsically-curved 2-d space not embedded in any higher dimension., for a 2-d section in a 3 or higher-dimensional space such as the 4 dimensions of spacetime, we must take into account the indirect curvature deriving from the way that the various dimensions interact with each other, and this necessitates adding a term onto the curvature formula for curved 2-d surfaces.

The Riemann sectional curvature involves two dimensions principally, but also the additional dimensions. Structurally the Riemann curvature for the orthogonal metrics we’ll analyze in this book can be written as a sum of derivatives of certain G’s and products of other G’s:

R^{12}_{12} ~ **√**G^{21}_{,1 }^{ }+ **√**G^{12}_{,2} + **√**Ga_{1}**√**Ga_{2}

where we allow a to run over all the ‘intermediary dimension/coordinates’.

In general the Riemann ‘sectional curvatures’ will be labeled by 4 coordinates, but for the orthogonal metrics we’ll analyze in this book two will repeat, and so the Riemann curvatures will be labeled by only two coordinates corresponding to two dimensions out of the 4, eg we’ll write R^{AB}_{AB} , and the formula will involve terms relating to specific interconnections of only two dimensions within the totality, eg [g_{B,A}/g_{A}],_{A} which relates to the interconnectedness of the dimensions coordinatized by A and B.

** **

**The ‘Additional’ Term**

The Riemann Curvature Components (RCC) for orthogonal metrics of any dimensionality is the Gauss curvature for 2-d involving derivatives of connections, plus an additional term composed of a product of connections: eg the Riemann sectional curvature R^{AB}_{AB} has the additional term:

**√**G^{A}_{AD }**√**G^{B}_{BD }_{D A,B .}

The RTC will contain a product term for each coordinate D which is neither A nor B: in 4-d, there are therefore at most two such coordinates, D = C and D = E, and therefore only two ‘additional terms’.

Note that Gauss curvature involves connections of the type **√**G^{A}_{BB} whereas the connections in this ‘additional’ term are of other type, where the coordinate wrt which we take the derivative is also the coordinate of the metric term in the denominator: eg:

**√**G^{a}_{ba} = g_{a,b/}g_{a}

Substituting A for a and D for b gives** √**G^{A}_{AD}, and then substituting B for a and D for b gives **√**G^{B}_{BD} . The full ‘additional’ term for the interconnection of the dimensions represented by the coordinates A and B is:

{h_{D}h_{B} (h_{A}) g_{D}^{-2} }**√**G^{A}_{AD }**√**G^{B}_{BD} _{D }**≠**_{A,B} = {h_{D}h_{B} (h_{A}) g_{D}^{-2}} [g_{A,D/}g_{A}][g_{B,D}/g_{B}]_{ D }**≠**_{A,B}

where D is the ‘Dummmy’ summation index.

This additional term vanishes if one or both of the terms g_{A,D/}g_{A} and g_{B,D}/g_{B} vanish, ie if either one or both of g_{A,D} and g_{B,D} vanishes. Thus the additional term vanishes unless *both* of the metric coefficients corresponding to the indices of the RTC (ie g_{AA} and g_{BB}) have non-vanishing derivatives wrt *the same* coordinate(s) D.

- We will term “intermediary coordinates” those coordinates D wrt which
*both*of the metric coefficients g_{A}and g_{B}corresponding to the indices of the RTC have non-vanishing derivatives. We can then say that this term relates to the curvature arising from the interconnection of the (A,B) 2-section with the “intermediary dimensions” represented by the “intermediary coordinates” D.

We can call the new term the “**Intermediary Term”: **Both the A *and* B metric coefficients must have derivatives w.r.t. the “intermediary” coordinate D, otherwise this whole term vanishes

**……………………**

Keep this structure of the Riemann curvature component in mind.

- The terms are manifestly symmetric under A ßà B.[(AR to AR: check the signature part of the last term)]
- The first (Gaussian) part of the RTC is dependent on (or quantify the curvature arising from) the interconnection of the two coordinates corresponding to the two indices of the RTC (or of the metric coefficients corresponding to the coordinates), specifically on the derivatives of the metric coefficient corresponding to one coordinate, derived w/r/t the other coordinate. In this sense it is the curvature arising from the “mutual” interconnection. The product term relates to the curvature arising from the interconnection of the (A,B) 2-section with the “intermediary dimensions” represented by the “intermediary coordinates” D.

- This division of the RTC into “mutual” and “intermediary” terms grants this form of the RTC formula a certain intuitive basis, and also helps intuit shortcuts in calculations of the RTC (some RTCs can be computed mostly ‘by inspection’ using this formula; the terms arising in the RTCs can be easily traced to the metric [some properties of special metrics are easily discernible eg for metrics with inverse relationship eg g
_{tt}= -g_{rr}^{-1 }one obtains a Laplacian].

The Riemann Tensor Components (RTC) are composed of terms interrelating the metric coefficients of two dimensions at a time (eg one term is a measure of the curvature of the 2 dimensions represented by the coordinates A and B, another is a measure of the curvature of the 2 dimensions represented by the coordinates by A and D, another for B and D). In general one must compute the Riemann components for all pairs of two indices, that is, one computes the curvatures in each “2-section” (A,B) as follows:

R^{AB}_{AB }= -[g_{A} g_{B}]^{-1}{[g_{A,B }/g_{B}],_{B }+ h_{A }h_{B}[g_{B,A}/g_{A}],_{A}}_{ – }h_{D}h_{B} g_{D}^{-2} [g_{A,D/}g_{A}][g_{B,D}/g_{B}]} _{D}**≠**_{A,B} ^{[5]}^{[4]}

The Riemann tensor as a whole takes into account the curving of the whole spacetime by computing the curvature of each individual 2-surface of the whole spacetime. The field equation will have on the left hand side a combination of these individual curvatures, adding them together and making the sum equal to the tensor element on the right hand side, which is some aspect of the source (an element of the source tensor).

…..

**Introduction: Define **the basis one-form w^{A }and the connection two-form w^{A}_{D}.

w^{A }= g_{A} dA

w^{A}_{D} =

w^{A}_{D} clearly involves a first derivative of the one of the two metric coefficients involved, w.r.t. the other coordinate…..

dw^{A}_{B} involves a second derivative of each of the two metric coefficients involved, w.r.t. the other coordinate. Therefore the terms in the RTC coming from dw^{A}_{B} will involve a second derivative of each of the two metric coefficients involved, w.r.t. the other coordinate. This makes sense as curvature since it takes into account a type of twisting of the metric basis.

The RTC can be read from the coefficients in the “curvature two-form” R^{A}_{B }:

R^{A}_{B} = dw^{A}_{B} – w^{A}_{D}^ w^{D}_{B} : summed over D**≠**A,B (1)

The origin of the term in the RTC involving the product of the connection two-forms can be seen via construction of the RTC via parallel transport around a closed circuit, or via the two-form method, there will also be a In general the Riemann Tensor Components (RTC) for an orthogonal metric are composed of terms coming from one or both of dw^{A}_{B} and w^{A}_{D }^ w^{D}_{B }_{D }**≠**_{ A,B }_{ }; for some special symmetry situations only one of these terms survives, whereas for non-orthogonal coordinates there are more than these two terms.

**………………………………………**

The RTC are given by: *[I have to check the signs]:*

R^{AB}_{AB }= -[g_{A} g_{B}]^{-1}{[g_{A,B }/g_{B}],_{B }+ h_{A }h_{B}[g_{B,A}/g_{A}],_{A}}_{ – }h_{D}h_{B} g_{D}^{-2} [g_{A,D/}g_{A}][g_{B,D}/g_{B}] _{D}**≠**_{A,B} (2)

Defining:

g_{A,B }/g_{B} ≡**√**^{B}_{AA}

the relationship to the connection coefficients (Christoffel symbols) is:

G^{B}_{AA }= ½ [g_{AA,B }/g_{BB}] = ½ [g_{A}^{2}_{,B }/g_{B}^{2}] = ½ 2 g_{A}g_{A,B }/g_{B}^{2} = [g_{A/}g_{B ] } g_{A,B }/g_{B} = [g_{A/}g_{B ] }**√**^{B}_{AA ;}

G^{B}_{BD }= ½ [g_{BB,D }/g_{BB}] = ½ [g_{B}^{2}_{,D }/g_{B}^{2}] = ½ [2g_{B}g_{B,D }/g_{B}^{2}] = [g_{B,D }/g_{B}] ≡** √**^{B}_{BD}

See file: “**Comparing my RTC formula to the usual one**”

Note:

v No matter how many dimensions the space each term in the RTC above is computed only in a 2-d subspace, either (A,B), or (A,D), or (B,D) ; this makes each such calculation relatively simple.

[ADVANCED: This is so since each connection two-form w^{A}_{D} depends only on the two dimensional subspace (A,D), and the “curvature two-form” R^{A}_{B} is composed of these connection two-forms]

v The first two terms of the RTC above are simply the Gaussian curvature for the 2-d surface (A,B):

K_{AB }= -[g_{A} g_{B}]^{-1}{[g_{A,B }/g_{B}],_{B }+ h_{A }h_{B}[g_{B,A}/g_{A}],_{A}} (3) ^{[6]}^{[5]}

[ADVANCED The whole term [g_{A,D/}g_{A}][g_{B,D}/g_{B}] ** vanishes unless both the A and B metric coefficients have derivatives w.r.t. the “intermediary” coordinate D. **From now on, this is the sense in which we will use the term “intermediary” coordinate.

v [ADVANCED w^{A}_{D }^ w^{D}_{B }_{D }**≠**_{ A,B }_{ }contributes a term to R^{A}_{BAB} proportional to: [g_{A,D/}g_{A}][g_{B,D}/g_{B}] (summed over D) ^{[7]}^{[6]}

**Curvature of a 2-d Surface: Subspace of a Higher-d Space**

For a 2-d space, ie a surface, there are only two orthogonal coordinates A and B, and therefore there is no D**≠** A,B _{ }coordinate to be summed over, and so there can be no “intermediary” term [ADVANCED:w^{A}_{D }^ w^{D}_{B}]. _{ }Therefore the RTC for a 2-d space (A,B) [ADVANCED: depend only on the terms arising from dw^{A}_{B} , namely]

R^{AB}_{AB }= -[g_{A} g_{B}]^{-1}{[g_{A,B }/g_{B}],_{B }+ h_{A }h_{B}[g_{B,A}/g_{A}],_{A}}

which is in fact Gauss’s formula for 2-d surfaces.

In a higher-d space containing this 2-d subspace (A,B), the RTC will then simply be the Gaussian curvature for the 2-d surface with the addition of the intermediary term:

R^{AB}_{AB} = K_{AB} + [g_{A,D/}g_{A}][g_{B,D}/g_{B}] _{(summed over D)} (3)

v We will term **“self-contained”** those subspaces in which the intermediary term vanishes (ie one or both of the A and B metric coefficients have no derivatives w.r.t. the “intermediary” coordinate D). Thus, “self-contained” 2-d subspaces have the same curvature as they would if there were no other dimensions: ie their RTC is equal to their Gaussian curvature.

v The term in the RTC coming from the dw^{A}_{B} is:

[g_{A,B }/g_{B}],_{B }+ h_{A }h_{B}[g_{B,A}/g_{A}],_{A} (4)

When in the metric of the 2-d surface (A,B) the metric coefficients are functions of each other’s coordinate, then both terms survive. If neither is a function of the other, both terms vanish. [And of course if only one is a function of the other’s coordinate then only one term survives.]

[In general the RTC are composed of terms coming from both dw^{A}_{B} and w^{A}_{D }^ w^{D}_{B }_{D }**≠**_{ A,B }_{ }.]

v But note that the first derivative is ‘normalized’ before the second derivative is taken: eg [g_{A,B }/g_{B}],_{B} , and the resulting second derivative is normalized by the product of the two metric coefficients: -[g_{A}g_{B}]^{-1}{[g_{A,B }/g_{B}],_{B }.

……………….

*Appropriateness of the Word ‘Curvature’ as Applied to Spacetime Warping*

The Gaussian curvature measure applies to an ordinary 2-dimensional surface in ordinary three-dimensional space, and we are very easily intuitively aware of the meaning of the word ‘curvature’ in that context. Although the meaning of the word ‘curvature’ is in a sense allegorical when applied to higher dimensions since we can never observe it directly as we do for 2-surfaces, and is certainly allegorical when applied to a combination of space and time as for spacetime, nevertheless since the Riemann ‘curvature’ is so closely modeled on the 2-d Gaussian curvature, we have good reason to maintain usage of the word ‘curvature’ even when applied to higher-dimensional spacetime warping.

…

Photos of some of the pages 9earlier verison), included for possible reader convenience

See lecture utilizing this formula for calculation of the Riemann tensor components for the FRW & Schwarzschild metrics.

https://www.youtube.com/user/AviRab1/playlists

LikeLike