04.06.2013 Views

Gravity and Strings

Gravity and Strings

Gravity and Strings

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

16 Differential geometry<br />

Local GL(d, R) covariance implies the inhomogeneous transformation law for the connection:<br />

ω ′ ab c <br />

= c dωef d −1 f<br />

b − −1c d∂e d <br />

b ( −1 ) e a. (1.78)<br />

The curvature of this connection can be defined through the Ricci identities in the st<strong>and</strong>ard<br />

fashion (observe that there are no torsion terms here):<br />

<br />

Dµ, Dν φ = 0,<br />

<br />

a Dµ, Dν ξ = Rµνb aξ b ,<br />

<br />

Dµ, Dν εa =−εb Rµνa b (1.79)<br />

,<br />

<strong>and</strong> then the curvature is given by 10<br />

Rµνa b = 2∂[µ ων]a b − 2ω[µ|a c ω|ν]c b . (1.81)<br />

At this point we have introduced a new connection ω that is independent of the metric.<br />

In the previous section we managed to relate the connection Ɣ to the metric via the metric<br />

postulate. Here we are going to generalize the metric postulate first to relate the two<br />

connections (the first Vielbein postulate) <strong>and</strong> then to relate them to the metric (the second<br />

Vielbein postulate). Before we enunciate these postulates we introduce the total covariant<br />

derivative, covariant with respect to all the indices of the object it acts on. We denote it by<br />

∇ again, <strong>and</strong>, for instance, acting on Vielbeins it is<br />

∇µea ν = ∂µea ν + Ɣµρ ν ea ρ − eb ν ωµa b . (1.82)<br />

We can motivate the first Vielbein postulate as follows: we would like to be able to<br />

convert tangent into world indices <strong>and</strong> vice-versa inside the total covariant derivative, so<br />

e a ν∇µξ ν = Dµξ a <strong>and</strong> D is just the projection of ∇ onto the Vielbein basis. To have this<br />

property we impose the first Vielbein postulate,<br />

∇µea ν = 0. (1.83)<br />

It is worth stressing that this does not imply the covariant constancy of the metric ∇µgνρ =<br />

0. The above postulate implies the following relation between the connections:<br />

ωµa b = Ɣµa b − ea ν ∂ b µ eν. (1.84)<br />

Furthermore, the curvatures of the two connections are now related by<br />

Rµνρ σ (Ɣ) = e a ρeb σ Rµνa b (ω). (1.85)<br />

The first Vielbein postulate also gives an important relation between the torsion <strong>and</strong> the<br />

Vielbein: on taking the antisymmetric part of ∇µea ν = 0, we obtain<br />

2D[µe a ν] = 2 ∂[µe a ν] − ω[µ a <br />

ν] =−Tµν a . (1.86)<br />

10 Observe that, with all Latin indices, Rabc d = ea µ eb ν Rµνc d <strong>and</strong>, therefore,<br />

Rabc d = 2∂[a ωb]c d − 2ω[a|c e ω|b]e d + 2ab e ωec d . (1.80)

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!