# Christoffel symbol as tensor

1. Aug 22, 2004

### pmb_phy

On page 34 of General Relativity, Robert Wald, the author refers to the Christoffel symbol as a tensor of rank (1,2). That whole derivation that led to that is quite involved so I don't quite understand how Wald can say that the Christoffel symbols are tensors since normally one does not refer to them as tensors, in fact its commonly understood that they are not tensors.

So what's the deal??

Pete

2. Aug 22, 2004

### HallsofIvy

Staff Emeritus
I have no idea! The Christoffel symbols are NOT tensors! Could you give the complete quote from Wald?

3. Aug 22, 2004

### robphy

Here's a quote from Wald. I have highlighted what I think are the important parts.

4. Aug 22, 2004

### mathwonk

Hi Pete,

Input from the peanut gallery.

Well that quote is rather confusing to me, not least because i do not know what christoffel symbols are.

However, some people call a "tensor" anything that acts on families of vectors and covectors, sending them to other such things, with two defining properties:
1) the action is (multi) linear.
2) the value of the action depends only on the pointwise values of the arguments and not on their value in a nbhd.

From this perspective, even without knowing what a christoffel symbol is, one can deduce that Wald thinks his object is a tensor because of the first two sentences of your first quote from him:

"Thus, we have shown that *** defines a map of dual vectors at p (as opposed to dual vector fields defined in a neighborhood of p) to tensors of type (0, 2) at p. By property (1), this map is linear. Consequently *** defines a tensor of type (1,2) at p,"

So maybe the confusion is that when he changes coordinates, in order to have a tensor, he would have to transform both derivative operators by the tensor law, whereas he is merely taking one of the coordinate derivative operators as his delta a, rather than taking whatever he gets when he transforms the primed one.

So his definition of the christoffel symbols is not coordinate invariant, i.e. he says right there: (as you pointed out in red)

"as defined here, a christoffel symbol depends on a choice of coordinate system"
(roughly quoted).

But if it depends on the coordinate system it is not a true tensor, in the sense that it does not transform like one.

I.e. maybe the problem is something like this: maybe there IS a tensor asociated to a DIFFERENCE of two derivative operators, but when he tries to FIX one of the operators as differentiation in a coordinate direction, he steps out of bounds as far as defining a true tensor.

?????????
just a guess.

roy

5. Aug 22, 2004

### robphy

mathwonk,

I am robphy, who transcribed the passage from Wald.

Although we have the same last name , we're not related :tongue2: .

6. Aug 22, 2004

### mathwonk

thank you! My apologies. When Halls of Ivy asked Pete for the quote and then the quote appeared I did not look at who supplied it.

What did you think of my guess as to the problem he posed?

7. Aug 23, 2004

### pmb_phy

Thanks rob. I guess that's the part that doesn't make sense to me. How can a tensor be associated with, in part, a coordinate system? I don't see that it can from the definition given by Wald for "tensor".

Schutz has an entire section on this topic, which I had forgotten about. The section starts on page 143 and is entitled The tensorial nature of Gabu (where Gabu are the Christoffel symbols. Schutz states
(sorry, unable to sit longer to type more).

If there is a sense where you can call the Christoffel symbols "tensors" then would it be reasonable to say that there is a sense in which you can call the gravitational force a tensor as well?

Pete

Last edited: Aug 23, 2004
8. Aug 23, 2004

### mathwonk

how silly of me. I just repeated what Rob said.

9. Aug 24, 2004

### Russell E. Rierson

In the book "A first course in general relativity" by Bernard F. Schutz, on page 143, chapter 5, section 5.5, the tensorial nature of the Christoffel symbols are explained as the components of a set of tensors but there is no single tensor whose components are C^mu_ab.

And the combination V^b_,a + V^mu C^b_mu a is explained as a component of a single tensor.

If I understand correctly, the Christoffel symbols are tensors in the respect that they're linear maps from tangent vectors and dual vectors to the reals. Christoffel symbols don't transform like tensors though.

10. Aug 24, 2004

### sal

Not exactly... There's a subtle but important point which has, perhaps, not been given sufficient emphasis here.

The tensor which Wald actually defines (and proves to be a tensor) is the thing he calls Cabc. It describes the relationship between two abstract derivative operators. It depends on the choice of operators, but no coordinate system is referred to in its definition.

Let me say that again: Wald defines derivative operators without reference to a coordinate system. His Cabc tensor relates a pair of these operators; each such pair of operators defines a tensor. Given a particular pair of operators, the tensor which relates them is valid in any coordinate system.

He later narrows the discussion to derivative operators which are associated with particular coordinate systems, and the (unique) derivative operator which is associated with the metric. And in that context, he defines

$$\Gamma^a_{bc} = C^a_{bc}$$

to be the tensor which maps between the covariant derivative and the derivative operator for the selected coordinate system.

His Cabc thingies are obviously tensors. Whether you choose to call the Gamma version, which is associated with the coordinate system, a tensor or not seems like a matter of taste. He's shown that it actually depends on the derivative operator, not the CS, and with that knowledge in hand, I'd say what you decide to call it is just a semantic issue.

Incidentally, the Christoffel symbols are mislabelled anyway. The Greek letter Gamma is a "g" which has no business here. The Greek letter corresponding to "C", which is what we ought to use, is chi, which looks just like "X". But perhaps that would be too confusing.

Last edited: Aug 24, 2004
11. Aug 24, 2004

### robphy

Here's an interpretation I have held for while (since I never had the chance to sort it out myself... but this might be my opportunity!)... if it's wrong, please correct me.

For simplicity, take an affine space ("a vector space, but forget the origin").
Given a point x on that space, its location is represented by a tuple of numbers that depends on the choice of origin.
Given two points x and y on that space, the displacement from x to y (i.e., y-x) is a vector, independent of any choice of origin.

Is something like this happening with the Christoffel symbols and the tensor Ccab?

(If so, is this why the Christoffel symbols are sometimes called affine connections? Or does "affine" refer to the "affine parameter" in the geodesic equation? Based on http://planetmath.org/encyclopedia/Connection.html#foot196 , I might have to go find the references to Cartan.)

12. Aug 26, 2004

### pmb_phy

Correct me if I'm wrong but myu rad of Wald is that the coordinate system is not explicit in the definition - it is implicit. I.e. Wald writes on page 34
That seems to mean that a coordinate system is tied to the tensor, not by definition, but as a result of the definition.

I think I understand this "Christoffel symbol as tensor" thing. If you recall, there are several things which have the name "tensor" and which are not the same thing. For example, a Lorentz tensor is not a tensor in the normal sense of the term since the Lorentz tensor is only a tensor under a Lorentz transformation. Thus the tensor is tied to Lorentz transformations and not generalized coordinate transformations.

Perhaps this is yet another use of the term "tensor". By the way, the Christoffel symbols are Lorentz tensors. In fact they are tensors under any linear transformation. But they are not general tensors.

Pete

Last edited: Aug 26, 2004
13. Aug 26, 2004

### sal

I can't completely agree with this interpretation.

It's the Cabc object which Wald clearly states is a tensor, and there is no coordinate system, either explicit or implicit, in its definition. CONSIDER: It relates two abstract derivative operators, and in general, a particular derivative operator may not be related to any coordinate system! In curved space, the derivative operator associated with the metric is identical with the coordinate derivative of any particular coordinate system at at most one point. (If that were not true, you could find globally flat coordinates.) Every possible "curved" metric has a (different!) derivative operator associated with it, so there are an uncountable number of derivative operators, all different, which are associated with no coordinate system. Each pair of these non-coordinate derivative operators determines a Cabc tensor.

Again, the Cabc objects are tensors, by anybody's definition, and as I just pointed out, they are not typically associated with any particular coordinate system.

When Wald goes on to define [Gamma]abc as a Christoffel symbol associated with a particular derivative operator which is in turn the coordinate derivative for a particular CS, then he has, indeed, bound it to a particular CS. At that point it's no longer clear whether it's better to just drop the name "tensor" to avoid confusing everybody.

Again, I can't fully agree.

Wald is using the word "tensor" without qualification, unlike its use in "Lorentz tensor", where it is qualified. But when he defines the Christoffel symbols, which are bound to a coordinate system, he seems a bit hesitant about calling them "tensors". They refer to objects which are tensors, under any transformation, but it's not useful to call them that because they refer to a different tensor in every (non-linear) frame.

I think I'm repeating myself, so I should stop.

14. Aug 27, 2004

### pmb_phy

But its a tensor which is attached to a coordinate system and general tensors do not have this property.

Pete

15. Sep 1, 2004

### mathwonk

If interested, here is a reference I think is very scholarly on Christoffel symbols. Volume 2, of Differential Geometry, by Michael Spivak, chapter 4D, the Birth of the Riemann curvature tensor.

I have not studied it, but as has appeared in these posts, apparently the Christoffel symbols are objects defined by taking derivatives, are not strictly tensors, but a certain difference of them is so.

The interest of Spivak's treatment is that he actually went back and read Riemann's original treatment and even provides a translation of Riemann's "habilitationshrifft" in which they first appear.

In particular, these expressions are apparently due not to Christoffel but to Riemann originally. Christoffel did work on them after Riemann, Even the gamma notation used now for the connection is not Christoffels original notation, which Riemann remarks on.

16. Sep 1, 2004

### sal

I'm still trying to get through Volume 1 of that monster... and volumes 2 through 5 glare at me and make me feel guilty every time I walk into the spare room....

I always assumed that the gammas were chosen to stand in for Latin C's. Of course, they're the wrong letter -- they happen to be third in the Greek alphabet, and we tend to think of gamma as being like C, but it's really G; the greek X is C....

17. Sep 7, 2004

### mathwonk

So what? obviously volume 1 is not a prerequisite for understanding volume 2, since Riemann did not know any of those modern definitions in volume 1, and volume 2 is his stuff. volume 1 is just to scare off the faint of heart, or the obsessive consecutive reader.

18. Sep 9, 2004

### mathwonk

Well more accurately, I guess it functions to discourage people with jobs. I'm one of those lucky people who gets paid to go to the library and read books I find interesting. Of course the downside is I still can't afford the last three volumes of Spivak!

But really Sal, I think volume 1 is Mike's version of a very through treatment of modern differentiable manifolds and deRham theory, and then volume 2 is the actual classical differential geometry. So I bet you can start reading right at the beginning of chapter 4D, of vol 2, knowing only partial derivatives, and get the gist of it.

best regards,

roy

19. Sep 9, 2004

### sal

Thanks for the hint, and the encouragement. I'll definitely look at it, when I get out from under the sand pile I'm stuck in at work just now.

I find Spivak's style very engaging but I often find his explanations less than enlightening, and so I stalled in Volume 1 ... and I'm kind of compulsive about reading things in order, it's true. But after spending my free time for the past year softening my brain with tensor calculus I suspect I'll find the text less daunting when I pick it up again, anyway (or at least I hope I will).

20. Sep 10, 2004

### humanino

I think the paradox has been faded away since this post and clarified later.

I would like to point that , for us physicists, these symbols are just what we need to add to the partial derivative to get a covariant derivative. If they were tensors, put them in the LHS with covariant derivative. This imply that the RHS, which is the partial derivative, should be covariant too, and why bother at all with correcting it to make it covriant !? This is indeed confusing.

Wald's book is an excellent one, but requires much attention, especially pay attention to greek and latin indices. The formal indice formalism of Penrose is very powerful.