Covariant derivative of connection coefficients?

In summary, the connection coefficients are not components of a tensor, so taking their covariant derivative does not make sense. However, you can still perform the operation and it may have physical usefulness, even though it is not covariant. There is no independent confirmation for the formula \nabla_d \Gamma^a{}_{bc} = \partial_d \Gamma^a{}_{bc} + \Gamma^a{}_{fd}\Gamma^f{}_{bc}, but it can be proven to an individual's satisfaction. Additionally, the covariant derivative of the connection coefficients has not been defined in geometry.
  • #1
pellman
684
5
The connection [tex]\nabla[/tex] is defined in terms of its action on tensor fields. For example, acting on a vector field Y with respect to another vector field X we get

[tex]\nabla_X Y = X^\mu ({Y^\alpha}_{,\mu} + Y^\nu {\Gamma^\alpha}_{\mu\nu})e_\alpha
= X^\mu {Y^\alpha}_{;\mu}e_\alpha[/tex]

and we call [tex]{Y^\alpha}_{;\mu}={Y^\alpha}_{,\mu} + Y^\nu {\Gamma^\alpha}_{\mu\nu}[/tex] the covariant derivative of the components of Y. We can similarly form the covariant derivative of the components of any rank tensor, by including other appropriate terms with the connection coefficients.

So what does it mean to take the covariant derivative of the connection coefficients themselves? They are not components of a tensor? I have just come across a reference to [tex]{\Gamma^\alpha}_{\mu\nu;\lambda}[/tex] and don't know what to do with it.
 
Last edited:
Physics news on Phys.org
  • #2
I figured this out. Apparently, its covariant derivative does have the same form as the covariant derivative of the components of a (1,2) tensor. But if someone can confirm this result is correct, I would appreciate it.
 
  • #3
That's a very bastard notation, and whoever wrote it down should explain what they mean. As you say, the connection coefficients are not a covariant object, so it is not sensible to talk about their covariant derivatives.

My guess is someone probably noticed they could write down the formula for the Riemann tensor in a kind of shorthand. It is technically incorrect.
 
  • #4
By the way, I'm not sure of your level of knowledge, but if you're still learning this stuff, I would say to avoid getting in the habit of using "comma, semicolon" notation, for two reasons:

1. Since covariant derivatives do not commute, it is unclear what is meant by objects such as

[tex]A^\mu{}_{;\nu\rho} = \nabla_\nu \nabla_\rho A^\mu \quad \text{or} \quad \nabla_\rho \nabla_\nu A^\mu \; \text{?}[/tex]
2. On the printed page, little marks like commas and semicolons can be hard to see, especially in photocopies.

Whoever invented the notation thought they were being clever by saving space, but seems to have forgotten that the main purpose of scientific papers is to communicate...
 
  • #5
Thanks, guys. Yeah, I never liked the semi-colon notation either.
 
  • #6
pellman said:
I figured this out. Apparently, its covariant derivative does have the same form as the covariant derivative of the components of a (1,2) tensor. But if someone can confirm this result is correct, I would appreciate it.

Sorry to drag this up, but in trying to verify the formula for the components of the Riemann tensor in a non--coordinate basis, I need to know how to take the covariant derivative of the connection coefficients. Pellman, can you let me know the resource that confirmed that

[tex]\nabla_a \Gamma^b{}_{cd} = \partial_a \Gamma^b{}_{cd} + \Gamma^b{}_{ma}\Gamma^m{}_{cd} - \Gamma^m{}_{ca}\Gamma^b{}_{md}- \Gamma^m{}_{da}\Gamma^b{}_{cm}
[/tex]

Cheers
 
  • #7
Ah, working backward from the definition of the Riemann tensor, it would appear that

[tex]
\nabla_d \Gamma^a{}_{bc} = \partial_d \Gamma^a{}_{bc}
[/tex]

...?
 
  • #8
Since the connection coefficients aren't a tensor, taking a covariant derivative of them doesn't really make sense.
 
  • #9
elfmotat said:
Since the connection coefficients aren't a tensor, taking a covariant derivative of them doesn't really make sense.

OK, but [itex]\Gamma^a{}_{bc}e^b[/itex] is a vector, so it makes sense to take its covariant derivative.
 
  • #10
A covariant derivative is the covariant analogue of a regular derivative. But if you use the affine connection as the thing to operate on, even if it has a form looking like a covariant derivative, it still will not be--it will not be a tensor.

You can do the operation anyway, and if it has physical usefulness it will still have physical usefulness even though it is not covariant.
 
Last edited:
  • #11
ianhoolihan said:
Sorry to drag this up, but in trying to verify the formula for the components of the Riemann tensor in a non--coordinate basis, I need to know how to take the covariant derivative of the connection coefficients. Pellman, can you let me know the resource that confirmed that

[tex]\nabla_a \Gamma^b{}_{cd} = \partial_a \Gamma^b{}_{cd} + \Gamma^b{}_{ma}\Gamma^m{}_{cd} - \Gamma^m{}_{ca}\Gamma^b{}_{md}- \Gamma^m{}_{da}\Gamma^b{}_{cm}
[/tex]

Cheers

Sorry. I never found an independent confirmation. I just proved it to my own satisfaction. I don't recall the details now either.
 
  • #12
ApplePion said:
A covariant derivative is the covariant analogue of a regular derivative. But if you use the affine connection as the thing to operate on, even if it has a form looking like a covariant derivative, it still will not be--it will not be a tensor.

You can do the operation anyway, and if it has physical usefulness it will still have physical usefulness even though it is not covariant.

I realize the connection coefficients are not the components of a tensor. However, in the case of the vector [itex]\nabla_c e_b = \Gamma^a{}_{bc}e_a[/itex] I'm pretty sure you can just treat the connection coefficient as the component of the vector: [itex]\Gamma^a{}_{bc} = [\nabla_c e_b]^a[/itex]. Hence

[tex]\nabla_d (\nabla_c e_b) = \partial_d \Gamma^a{}_{bc} + \Gamma^a{}_{fd}\Gamma^f{}_{bc}[/tex].

pellman said:
Sorry. I never found an independent confirmation. I just proved it to my own satisfaction. I don't recall the details now either.

I guess my case is different to yours.
 
  • #13
ianhoolihan said:
OK, but [itex]\Gamma^a{}_{bc}e^b[/itex] is a vector, so it makes sense to take its covariant derivative.

Sorry, I meant [itex]\Gamma^a{}_{bc}e_a[/itex] in this case, as in the post above.
 
  • #14
The connection coefficients are not the components of any tensor. The covariant derivative, if applied onto this set of components, would lose their meaning and purpose as a derivative. I haven't seen any source in geometry defining a covariant derivative to the connection coefficients.
 
  • #15
dextercioby said:
The connection coefficients are not the components of any tensor. The covariant derivative, if applied onto this set of components, would lose their meaning and purpose as a derivative. I haven't seen any source in geometry defining a covariant derivative to the connection coefficients.

Yes, as before, I understand this. However, as in the previous post, [itex]\nabla_d (\nabla_c e_b) = \nabla_d(\Gamma^a{}_{bc}e_a)[/itex] is a valid equation. Is my previous result correct?
 

1. What is a covariant derivative?

A covariant derivative is a mathematical operation that takes into account the curvature of a space when differentiating a vector field. It allows for the differentiation of vector fields that are defined on curved spaces, which cannot be done with a regular derivative.

2. What are connection coefficients?

Connection coefficients, also known as Christoffel symbols, are a set of numbers that describe how the basis vectors of a space change as you move along a particular direction. They are used in the calculation of the covariant derivative.

3. Why is the covariant derivative of connection coefficients important?

The covariant derivative of connection coefficients is important because it allows us to take the derivative of a vector field in a space with curvature. This is essential in many areas of physics and mathematics, such as general relativity and differential geometry.

4. How is the covariant derivative of connection coefficients calculated?

The covariant derivative of connection coefficients is calculated using a formula that involves the connection coefficients themselves, as well as the basis vectors and the partial derivatives of the basis vectors. This formula can be quite complex and varies depending on the specific space and coordinate system being used.

5. What are some applications of the covariant derivative of connection coefficients?

The covariant derivative of connection coefficients has many applications, including in general relativity, where it is used to describe the curvature of spacetime and the motion of particles in a gravitational field. It is also used in differential geometry, where it is used to study the properties of curved spaces. Additionally, it has applications in fluid dynamics, quantum mechanics, and other areas of physics and mathematics.

Similar threads

  • Special and General Relativity
Replies
2
Views
881
  • Special and General Relativity
Replies
1
Views
633
  • Special and General Relativity
4
Replies
125
Views
6K
  • Special and General Relativity
Replies
19
Views
1K
Replies
24
Views
1K
  • Special and General Relativity
Replies
7
Views
2K
  • Special and General Relativity
2
Replies
62
Views
3K
  • Special and General Relativity
Replies
10
Views
664
  • Special and General Relativity
Replies
12
Views
1K
  • Special and General Relativity
Replies
5
Views
2K
Back
Top