Subtraction of Christoffel symbol

[mertcan]

hi, How do we prove the torsion tensor is a tensor using the subtraction of christoffel symbols?? I am aware of the fact that subtraction of christoffel symbols equals the torsion. How can we use this fact to prove the tensor?? Could you please give the proof or share the link which prove it??

 

[wrobel]

use the law of transformation of the Christoffel symbols under the change of local coordinates

 

[haushofer]

Carroll shows this in great detail. If you write down the transformation of the difference between two connections, the inhomogeneous term drops out. This is because the inhomogeneous term is symmetric in the lower indices. As such this difference transforms as a tensor.

You're asking different questions, so maybe it's a good idea to tell us what your background and literature is. This should help if you have any further questions.

 

[stevendaryl]

hi, How do we prove the torsion tensor is a tensor using the subtraction of christoffel symbols?? I am aware of the fact that subtraction of christoffel symbols equals the torsion. How can we use this fact to prove the tensor?? Could you please give the proof or share the link which prove it??

A general rule of thumb is that if you can define an operation without mentioning a particular coordinate system, then it is a coordinate-free definition, and linear operations with coordinate-free definitions are (almost?) always tensors. So a way to show that T is a tensor is to show:

1. There is a coordinate-free way to define T(U,V)
2. T(U,V) is linear in both U and V

The coordinate-free definition of T(U,V) is this:

T(U,V) = \nabla_U V - \nabla_V U - [U,V]

where \nabla_U means the covariant derivative, or directional derivative along U, and where [U,V] is the vector field defined by its action on a scalar field:

\nabla_{[U,V]} \phi \equiv \nabla_U (\nabla_V \phi) - \nabla_V (\nabla_U \phi)

So T(U,V) has a coordinate-free definition. Now, you have to show that it is linear in U and V. Since T(U,V) = -T(V,U), it's enough to show that T(U,V) is linear in U. So let \bar{U} \equiv \phi U + W, where \phi is a scalar field, and W is a vector field. Then we need to show that T(\bar{U}, V) = \phi T(U,V) + T(W,V)

T(\bar{U},V) = \nabla_{\bar{U}} V - \nabla_V \bar{U} - [\bar{U},V]

Using properties of covariant derivatives, we have:

\nabla_{(\phi U + W)} V = \phi \nabla_U V + \nabla_W V
\nabla_V (\phi U + W) = (\nabla_V \phi) U + \phi (\nabla_V U) + \nabla_V W
[\phi U + W, V] = \phi [U,V] - (\nabla_V \phi) U + [W,V]

So we have:

T(\bar{U},V) = \phi \nabla_U V + \nabla_W V - (\nabla_V \phi) U - \phi (\nabla_V U) - \nabla_V W - \phi [U,V] + (\nabla_V \phi) U - [W,V]

The two occurrences of \nabla_V \phi cancel out, giving:

T(\bar{U},V) = \phi \nabla_U V + \nabla_W V + \phi (\nabla_V U) - \nabla_V W - \phi [U,V] - [W,V]
= \phi (\nabla_U V - \nabla_V U - [U,V]) + \nabla_W V - \nabla_V W - [W,V]
= \phi T(U,V) + T(W,V)

 

[mertcan]

A general rule of thumb is that if you can define an operation without mentioning a particular coordinate system, then it is a coordinate-free definition, and linear operations with coordinate-free definitions are (almost?) always tensors. So a way to show that T is a tensor is to show:

1. There is a coordinate-free way to define T(U,V)
2. T(U,V) is linear in both U and V

The coordinate-free definition of T(U,V) is this:

T(U,V) = \nabla_U V - \nabla_V U - [U,V]

where \nabla_U means the covariant derivative, or directional derivative along U, and where [U,V] is the vector field defined by its action on a scalar field:

\nabla_{[U,V]} \phi \equiv \nabla_U (\nabla_V \phi) - \nabla_V (\nabla_U \phi)

So T(U,V) has a coordinate-free definition. Now, you have to show that it is linear in U and V. Since T(U,V) = -T(V,U), it's enough to show that T(U,V) is linear in U. So let \bar{U} \equiv \phi U + W, where \phi is a scalar field, and W is a vector field. Then we need to show that T(\bar{U}, V) = \phi T(U,V) + T(W,V)

T(\bar{U},V) = \nabla_{\bar{U}} V - \nabla_V \bar{U} - [\bar{U},V]

Using properties of covariant derivatives, we have:

\nabla_{(\phi U + W)} V = \phi \nabla_U V + \nabla_W V
\nabla_V (\phi U + W) = (\nabla_V \phi) U + \phi (\nabla_V U) + \nabla_V W
[\phi U + W, V] = \phi [U,V] - (\nabla_V \phi) U + [W,V]

So we have:

T(\bar{U},V) = \phi \nabla_U V + \nabla_W V - (\nabla_V \phi) U - \phi (\nabla_V U) - \nabla_V W - \phi [U,V] + (\nabla_V \phi) U - [W,V]

The two occurrences of \nabla_V \phi cancel out, giving:

T(\bar{U},V) = \phi \nabla_U V + \nabla_W V + \phi (\nabla_V U) - \nabla_V W - \phi [U,V] - [W,V]
= \phi (\nabla_U V - \nabla_V U - [U,V]) + \nabla_W V - \nabla_V W - [W,V]
= \phi T(U,V) + T(W,V)

Thank you "stevendarly", I appreciate your endeavor. The things you have written down have remarkable and striking structure. They are based on a nice structure.

 

[stevendaryl]

Thank you "stevendarly", I appreciate your endeavor. The things you have written down have remarkable and striking structure. They are based on a nice structure.

You are welcome.

 

[mertcan]

Hi, I would like to ask whether or not linear operations with coordinate-free definitions are always tensors, Because "stevendarly" said that linear operations with coordinate-free definitions were (almost?) always tensors. Is there a proof or derivation that just tensors are related to linear operations with coordinate-free definitions ?

 

[mertcan]

Guys, ?

 

[stevendaryl]

Hi, I would like to ask whether or not linear operations with coordinate-free definitions are always tensors, Because "stevendarly" said that linear operations with coordinate-free definitions were (almost?) always tensors. Is there a proof or derivation that just tensors are related to linear operations with coordinate-free definitions ?

A tensor is just a multilinear function on vectors and covectors. So if you can prove that T(u,v) is linear in both its arguments, then it follows that it is a tensor. The point about coordinate-free definitions is that such definitions reveal the functional dependency of the object in a way that the component definition can obscure. For a counter-example, the connection coefficients \Gamma^\mu_{\nu \lambda} look like components of a tensor, but there is no coordinate-free way to write it as a function \Gamma(u,v) that takes a pair of vectors and returns a vector. In contrast, the directional derivative \nabla_u v does have a coordinate-free definition, but it isn't linear in the second argument (v).