GR with Torsion: Definition of contorsion

Question

I start doing some computations in manifolds with non vanishing torsion and things are getting a bit confused, basically because of notations and definitions. I understand that in presence of non vanishing torsion, one has two fundamental objects:
begin{align}
text{The metric} quad g_{munu} & & text{The torsion tensor} quad T{^rho}_{munu} 
end{align}
The Torsion tensor is defined as 
begin{equation}
T{^rho}_{munu} equiv tilde{Gamma}{^rho}_{munu}-tilde{Gamma}{^rho}_{numu} = 2tilde{Gamma}{^rho}_{[munu]}
end{equation}
where $tilde{Gamma}{^rho}_{munu}$ is the affine connection so that the covariant derivatives $nabla_{mu}$ of any vector $A^{rho}$ and any form $a_{nu}$ are respectively
begin{align}
nabla_{mu}A^{rho} = partial_{mu}A^{rho} +tilde{Gamma}{^rho}_{munu}A^{nu} & & nabla_{mu}a^{nu} = partial_{mu}a^{nu} -tilde{Gamma}{^rho}_{munu}a^{rho} & & 
end{align}
In Shapiro's article (2001) it says (page 8, equations (2.8) and 2.9)):

The metricity condition
  enables one to express the connection through the metric and torsion in a unique way as
  begin{equation}
tilde{Gamma}{^rho}_{munu} = Gamma{^rho}_{munu}+K{^rho}_{munu}
end{equation}
  where $K{^rho}_{munu}$ is the contorsion tensor define as
  begin{equation}
K{^rho}_{munu} = frac{1}{2}left(T{^rho}_{munu}-T{_mu}{^rho}{_nu}-T{_nu}{^rho}{_mu}right) tag{1}
end{equation}

I tried to derive this last formula, but I find a different result. Here's my derivation:
begin{align}
nabla_{mu}g_{rhonu} & = partial_{mu}g_{rhonu}-tilde{Gamma}{^sigma}_{murho}g_{sigmanu}-tilde{Gamma}{^sigma}_{munu}g_{rhosigma} = 0 
nabla_{nu}g_{rhomu} & = partial_{nu}g_{rhomu}-tilde{Gamma}{^sigma}_{nurho}g_{sigmamu}-tilde{Gamma}{^sigma}_{numu}g_{rhosigma} = 0 
-nabla_{rho}g_{munu} & = -partial_{rho}g_{munu}+tilde{Gamma}{^sigma}_{rhomu}g_{sigmanu}+tilde{Gamma}{^sigma}_{rhonu}g_{musigma} = 0 
end{align}
Summing up these three equations one gets
begin{align}
{color{blue}{Big(partial_{mu}g_{rhonu}+partial_{nu}g_{rhomu}-partial_{rho}g_{munu}Big)}} +g_{nusigma}Big(tilde{Gamma}{^sigma}_{rhomu}-tilde{Gamma}{^sigma}_{murho}Big)& +g_{musigma}Big(tilde{Gamma}{^sigma}_{rhonu}-tilde{Gamma}{^sigma}_{nurho}Big)+
& {color{red}{-g_{rhosigma}Big(tilde{Gamma}{^sigma}_{munu}+tilde{Gamma}{^sigma}_{numu}Big)}} = 0 tag{2}
end{align}
Using the fact that $tilde{Gamma}{^sigma}_{numu} = tilde{Gamma}{^sigma}_{munu}+T{^sigma}_{numu}$, and introducing the Christoffel symbols 
begin{equation}
Gamma{^rho}_{munu} = frac{1}{2}g^{rhosigma}left(partial_{mu}g_{sigmanu}+partial_{nu}g_{musigma}-partial_{sigma}g_{munu}right)
end{equation}
We can rewrite (2) as
begin{equation}
{color{red}{2g_{rhosigma}tilde{Gamma}{^sigma}_{munu}}} = {color{blue}{2g_{rhosigma}Gamma{^sigma}_{munu}}}{color{red}{-g_{rhosigma}T{^sigma}_{numu}}}+g_{nusigma}T{^sigma}_{rhomu}+g_{musigma}T{^sigma}_{rhonu}
end{equation}
Hence we get
begin{align}
tilde{Gamma}{^rho}_{munu} & = Gamma{^rho}_{munu} -frac{1}{2}Big(T{^rho}_{numu}-T{_mu}{^rho}{_nu}-T{_nu}{^rho}{_mu}Big) = 
& =  Gamma{^rho}_{munu} +frac{1}{2}Big(T{^rho}_{munu}+T{_mu}{^rho}{_nu}+T{_nu}{^rho}{_mu}Big) =  Gamma{^rho}_{munu}+K{^rho}_{munu} tag{3}
end{align}

Obviously the contorsion tensors in (1) and (3) do not agree. Actually the definition of $K{^rho}_{munu}$ that I got can be written as
begin{equation}
K{^rho}_{munu} = frac{1}{2}Big(T{^rho}_{munu}-T{_{munu}}{^rho}+T{_nu}{^rho}{_mu}Big)
end{equation}
which is the definition that I found in some others references. What is going on? Ultimately what should I take as definition of the contorsion?

Edit The main problem here is that (if I did things correctly) using the conventions of Shapiro (2001) for the torsion and the contorsion tensors, I eventually get a result different from his.

M. M. R. · Accepted Answer

I decided to answer my own question because, hopefully, I found at least some coherent results.

In Shapiro's(2001) something doesn't work: I say this because according to his definition
begin{align}
tilde{Gamma}{^rho}_{munu} = Gamma{^rho}_{munu} + K{^rho}_{munu} & & K{^rho}_{munu} = frac{1}{2}left(T{^rho}_{munu}-T{_mu}{^rho}{_nu}-T{_nu}{^rho}{_mu}right)
end{align}
Of course the affine connection must satifies the metricity condition $nabla_rho g_{munu}=0$. Therefore we get the equation
begin{equation}
 nabla_sigma g_{munu}=partial_sigma g_{munu}-Gamma{^rho}_{sigmamu}g_{rhonu}-Gamma{^rho}_{sigmanu}g_{murho}-K{^rho}_{sigmamu}g_{rhonu}-K{^rho}_{sigmanu}g_{murho} 
end{equation}
Substituting the expression of the Christoffel symbols, the first three terms of the above equations cancel and one is left with (pulling all indices down for simplicity)
begin{equation}
-K_{nusigmamu}-K_{musigmanu} = -left(T_{nusigmamu}-T_{sigmanumu}-T_{munusigma}right)neq 0
end{equation}
Hence the metricity condition is not satisfied; hence, either I did something wrong in these computations, either something is not well define in the paper.

Then I found two (of course equivalent) order-of-indices conventions in which torsion and contorsion are often introduced:

First way: Having the metric $g_{munu}$ and the affine connection $tilde{Gamma}{^rho}_{munu}$, one define the torsion as
begin{equation}
T{^rho}_ {{color{green}{munu}}} equiv 2tilde{Gamma}{^rho}_{[munu]} = tilde{Gamma}{^rho}_{munu} -tilde{Gamma}{^rho}_{numu}
end{equation}
I decide to write in green indices that in a tensor are antisymmetric. Hence in this first convention the torsion tensor is antisymmetric in the last two indices. One then can again compute 
begin{align}
nabla_{mu}g_{rhonu} & = partial_{mu}g_{rhonu}-tilde{Gamma}{^sigma}_{murho}g_{sigmanu}-tilde{Gamma}{^sigma}_{munu}g_{rhosigma} = 0 tag{1.a}
nabla_{nu}g_{rhomu} & = partial_{nu}g_{rhomu}-tilde{Gamma}{^sigma}_{nurho}g_{sigmamu}-tilde{Gamma}{^sigma}_{numu}g_{rhosigma} = 0 tag{1.b}
-nabla_{rho}g_{munu} & = -partial_{rho}g_{munu}+tilde{Gamma}{^sigma}_{rhomu}g_{sigmanu}+tilde{Gamma}{^sigma}_{rhonu}g_{musigma} = 0 tag{1.c}
end{align}
Summing up these three equations one gets
begin{equation}
tilde{Gamma}{^rho}_{munu} = Gamma{^rho}_{munu}+frac{1}{2}left(T{^rho}_{{color{green}{munu}}}-T_{mu{color{green}{nu}}}{^{color{green}{rho}}}+T_{nu}{^{color{green}{rho}}}_{{color{green}{mu}}}right)
end{equation}
It's easy to verify that the combination in round brackets is antisymmetric in the exchange of $nu$ and $rho$. Then one can define the contorsion to be 
begin{equation}
K_{mu{color{green}{nu}}}{^{color{green}{rho}}} equiv frac{1}{2}left(T{^rho}_{{color{green}{munu}}}-T_{mu{color{green}{nu}}}{^{color{green}{rho}}}+T_{nu}{^{color{green}{rho}}}_{{color{green}{mu}}}right)
end{equation}

Second way: Having again the metric $g_{munu}$ and the affine connection $tilde{Gamma}{^rho}_{munu}$, one can define the torsion switching the order of the indices as follows
begin{equation}
T_ {{color{green}{munu}}}{^rho} equiv 2tilde{Gamma}{^rho}_{[munu]} = tilde{Gamma}{^rho}_{munu} -tilde{Gamma}{^rho}_{numu}
end{equation}
Therefore in this second convention the torsion is antisymmetric in the first two indices. Again one can write the three equations (1.a) (1.b) and (1.c); their sum gives 
begin{equation}
tilde{Gamma}{^rho}_{munu} = Gamma{^rho}_{munu}+frac{1}{2}left(T_{{color{green}{munu}}}{^rho}-T_{{color{green}{nu}}}{^{color{green}{rho}}}_{mu}+T{^{color{green}{rho}}}_{{color{green}{mu}}nu}right)
end{equation}
Again the quantity in round brackets is antisymmetric in $nu$ and $rho$, and the contorsion can be define as
begin{equation}
K_{mu{color{green}{nu}}}{^{color{green}{rho}}} equiv frac{1}{2}left(T_{{color{green}{munu}}}{^rho}-T_{{color{green}{nu}}}{^{color{green}{rho}}}_{mu}+T{^{color{green}{rho}}}_{{color{green}{mu}}nu}right)
end{equation}

Of course one can change the order of the indices also in the contorsion tensor. For istance in the second way (or analogously for the first case) one can say 
begin{equation}
K{^{color{green}{rho}}}_{{color{green}{nu}}mu} equiv frac{1}{2}left(T_{{color{green}{munu}}}{^rho}-T_{{color{green}{nu}}}{^{color{green}{rho}}}_{mu}+T{^{color{green}{rho}}}_{{color{green}{mu}}nu}right) 
end{equation}
This of course doesn't change the order of indices on the combination on the right hand side.

Finally, following the answer of @Saksith Jaksri in Torsion tensor: definition, I stress that for each paper one should be careful on how the "covariant derivative is define", namely
begin{align}
nabla_{{color{red}{mu}}}A^{rho} & = partial_{mu}A^{nu} +tilde{Gamma}{^rho}_{{color{red}{mu}}nu}A^{nu} tag{A}
nabla_{{color{red}{mu}}}A^{rho} & = partial_{mu}A^{nu} +tilde{Gamma}{^rho}_{nu{color{red}{mu}}}A^{nu} tag{B}
end{align}
In my answer I used the convention (A). Of course in case (B) is used things slightly change. So when torsion start to play a role, one has to keep track of all order-of-indices convention of each author.

final edit: Actually it seems to me that if one uses convention (B) in Shapiro(2001), everything seems to work, also for some other equations written later in the paper, even though in equation (2.1) (page 6) it clearly introduce the covariant derivative following (A). However I have to say that I didn't read the entire paper, so I can't be completely sure of this possible solution.

Adam Marsh · Answer

Here are expressions for the various conventions after slogging through the calculations:
If the connection coefficients are defined such that $nabla_{a}w^{b}=partial_{a}w^{b}+Gamma^{b}{}_{ca}w^{c}$, then the usual definition of the torsion as $vec{T}left(v,wright)=nabla_{v}w-nabla_{w}v$ corresponds to the tensor $T^{c}{}_{ab}=Gamma^{c}{}_{ba}-Gamma^{c}{}_{ab}$, which results in the contorsion tensor
$$K_{abc} = frac{1}{2}left(T_{bac}+T_{cab}-T_{abc}right).$$
For whatever reason, many papers seem to stick with connection coefficients $nabla_{a}w^{b}=partial_{a}w^{b}+Gamma^{b}{}_{ca}w^{c}$ but instead define the torsion tensor with a reversed sign $T^{c}{}_{ab}=Gamma^{c}{}_{ab}-Gamma^{c}{}_{ba}$; this then flips the sign of the contorsion tensor, which can then be written
$$begin{aligned}K_{abc} & = -frac{1}{2}left(T_{bac}+T_{cab}-T_{abc}right)  & =frac{1}{2}left(T_{abc}-T_{bac}-T_{cab}right). end{aligned}$$
This is the approach taken on the Wikipedia page at the time of this writing, and is also the expression in Shapiro, which as the OP noted is inconsistent with connection coefficients defined such that $nabla_{a}w^{b}=partial_{a}w^{b}+Gamma^{b}{}_{ac}w^{c}$; instead, this connection coefficient convention, when paired with the torsion tensor definition $T^{c}{}_{ab}=Gamma^{c}{}_{ab}-Gamma^{c}{}_{ba}$, which is in this case consistent with $vec{T}left(v,wright)=nabla_{v}w-nabla_{w}v$, results in a contorsion tensor
$$K_{abc} = frac{1}{2}left(T_{abc}+T_{cab}+T_{bac}right).$$
Although I didn’t come across this in the literature, if one was to instead define torsion with the opposite sign, this would again flip the sign of the contorsion tensor.
These expressions also remain valid in an anholonomic frame, where
$$vec{T}left(v,wright)=nabla_{v}w-nabla_{w}v-left[v,wright]$$
and
$$begin{aligned}2Gamma^{c}{}_{ba}=g^{cd}( & partial_{a}g_{bd}+partial_{b}g_{da}-partial_{d}g_{ab} & -g_{af}[e_{b},e_{d}]^{f}+g_{bf}[e_{d},e_{a}]^{f}+g_{df}[e_{a},e_{b}]^{f}). end{aligned}$$

GR with Torsion: Definition of contorsion

2 Answers

Add your own answers!

Ask a Question