The vanishing of the covariant derivative of the metric tensor

In summary, in this conversation, the participants discuss the concept of a covariant derivative of a metric tensor in flat space. They explore whether this relation holds in Riemannian manifolds and if it should be taken as an axiom or can be derived from other assumptions. They also discuss the different ways of approaching the concept, such as through the geodesic equation or the Palatini formalism. The importance of considering the connection and its role in determining if a field "changes" is also highlighted.
  • #1
snoopies622
840
28
TL;DR Summary
Axiom or theorem, part two.
I brought up this subject here about a decade ago so this time I'll try to be more specific to avoid redundancy.

In chapter five of Bernard F. Schutz's A First Course In General Relativity, he arrives at the conclusion that in flat space the covariant derivative of the metric tensor is zero. This can be done very simply, it seems to me. Then in chapter six he argues that since Riemannian manifolds are locally flat, this relation holds there as well, and says no more about it — evidentally satisfied with this reasoning.

I have read elsewhere, however, (including here) that [itex] \nabla g = 0 [/itex] should be taken as an axiom instead since without it funny things happen, like the lengths of vectors and the angles between them changing when they're parallel transported, which quite reasonably seems like something to avoid.

So what I'm wondering is . . what are the premises of flat space that make [itex] \nabla g = 0 [/itex] true, such that there one does not have to bother positing it as a separate axiom? Obviously in Cartesian coordinates the coefficients of [itex] ds^2 = dx^2 + dy^2 + . . . [/itex] do not change as we move around a flat manifold, and equally obviously the basis vectors parallel transport, so the Christoffel symbols are all zero. But maybe there's something deeper to it? I'm just troubled by the idea that one can derive [itex] \nabla g = 0 [/itex] in flat space but outside of flat space — or at least outside of Riemannian manifolds — one should posit it as an axiom instead.
 
Physics news on Phys.org
  • #2
snoopies622 said:
Summary: Axiom or theorem, part two.

Then in chapter six he argues that since Riemannian manifolds are locally flat, this relation holds there as well, and says no more about it — evidentally satisfied with this reasoning.
This depends on what meaning you give to "Riemannian manifold". If you just give it it should have a metric, then it is not true. If you do not but also include that the connection should be the Levi-Civita connection, then it is true by assumption as the Levi-Civita connection is the unique torsion-free and metric compatible affine connection.
 
  • #3
Not sure I'm completely following. If I say that [itex] \nabla g=0 [/itex] is true in a plane or on the surface of a sphere (describing the metrics), would that be correct by itself or is it not really correct without also specifying the Levi-Civita connection?
 
  • #4
You can have a manifold with a metric and introduce a connection that is not metric compatible (although I am not sure why you would want to). You can also have metric compatible connections that are not the Levi-Civita connection.

There are examples of metric compatible connections that are flat (globally), but not torsion free. Being flat is a property of the connection.
 
  • #5
In the first order Palatini formalism you write down the action in terms of g and Γ and allow them to vary independently. The equations of motion then establish the relation between g and Γ where Γ is the Christoffel symbol, which ensures that ∇g = 0. In the second order formalism you just have to establish the relation by fiat.
This assumes the torsion is zero, but easy to extend to cover non-zero torsion as well.
 
  • #6
Orodruin said:
Being flat is a property of the connection.

Now that's very interesting since Schutz goes about it in the opposite direction, perhaps because his book is for beginners. Must think about this more deeply.
 
  • #7
Okay, here's a slightly different version of my original question:

Suppose I say . .

"Let's take a plane, and put a Cartesian coordinate system on it. The metric is [itex] ds^2 = dx^2 + dy^2[/itex]. Obviously the coefficients of this metric (1,0,0,1) don't change as we move around the plane, and just as obviously [itex] e_x [/itex] and [itex] e_y [/itex] stay the same length and point in the same direction as we move those around as well. Therefore the Christoffel symbols are all zero and the covariant derivative of the metric is zero."

Would you then say, "well no, you've actually made unstated assumptions about your connection. These unstated assumptions are . . "?
 
  • #8
Looking back at my Uni GR notes, I see a derivation ∇g=0 from the geodesic equation. If they sneaked in some hidden assumptions, I can't see them.
 
  • #9
Yes I believe that's how Einstein does it in his original paper, too. More than one way to cook a chicken! :)
 
  • Like
Likes Michael Price
  • #10
snoopies622 said:
Okay, here's a slightly different version of my original question:

Suppose I say . .

"Let's take a plane, and put a Cartesian coordinate system on it. The metric is [itex] ds^2 = dx^2 + dy^2[/itex]. Obviously the coefficients of this metric (1,0,0,1) don't change as we move around the plane, and just as obviously [itex] e_x [/itex] and [itex] e_y [/itex] stay the same length and point in the same direction as we move those around as well. Therefore the Christoffel symbols are all zero and the covariant derivative of the metric is zero."

Would you then say, "well no, you've actually made unstated assumptions about your connection. These unstated assumptions are . . "?

First of all, components not changing is very different from a field "not changing". Whether components change or not is just a matter of differentiating numbers. Whether a field (such as a basis vector field) changes from point to point is a question that is only answered by the connection. By saying that ##\vec e_x## and ##\vec e_y## "do not change" as you move around the plane, you have made the assumption that you have the standard connection on the plane.
 
  • #11
snoopies622 said:
"Let's take a plane, and put a Cartesian coordinate system on it. The metric ##ds^2 = dx^2 + dy^2##
To minimize confusion, refer to ##ds^2## as the "(invariant) line element". A "metric" is actually a (bilinear) mapping from a pair of vectors to a number, (at a given point on the manifold).

Obviously the coefficients of this metric (1,0,0,1) don't change as we move around the plane,
That's only true for particular choices of coordinates (you're using Cartesian coordinates here). But in plane polar coordinates the line element is ##ds^2 = dr^2 + r^2 d\theta^2##, so the metric is ##(1,r^2)##.

The Christoffel symbols are all zero in Cartesian coords, but not all zero in plane polar. Nevertheless, the covariant derivative of the metric is a tensor, hence if it is zero in one coordinate systems, it is zero in all coordinate systems.

Then, in General Relativity (based on Riemannian geometry), one assumes that the laws of physics "here, today" are not fundamentally different from the laws of physics "there", "yesterday", or "tomorrow". Hence, at every point in spacetime, it is possible to find a coordinate system in which the metric components have the familiar constant-component form, at least in an infinitesimal neighbourhood of that point.

Hence the covariant derivative of the metric (being a tensor) is also zero "there", or "yesterday", or "tomorrow".

Hence we may assume ##\nabla_\lambda g_{\mu\nu} = 0## everywhere and everywhen.

From that equation (expressed in terms of general connection coefficients), one can (by cyclic permutation of indices) derive [Exercise!] that the connection coefficients must equal the Christoffel symbol coefficients (if one also assumes zero torsion).

Summary: if we specify that ##\nabla_\lambda g_{\mu\nu} = 0## and zero torsion, then the connection coefficients are the Christoffel symbols.

HTH.
 
  • Like
Likes dextercioby
  • #12
To add: that summary also follows from the fact that the connection appears algebraically with an invertible tensor in the eqn. for metric compatibility, and simply counting the number of equations and the number of independent components of the torsion-free connection: 1/2*D*(D+1).

A similar question by the way can be asked for the vielbein postulate. Different authors motivate this differently.
 
  • #13
strangerep your explanation seems to very closely follow Schutz's approach, and like it, it does not posit a particular connection on the plane as a separate hypothesis. So I'm still wondering if such a hypothesis is necessary. Now I'm re-reading section 9 of Einstein's 1916 paper The Foundations of the General Theory of Relativity, where he arrives at Christoffel symbols by starting with a geodesic, as Michael Price suggested.
 
  • Like
Likes Michael Price
  • #14
snoopies622 said:
Now I'm re-reading section 9 of Einstein's 1916 paper The Foundations of the General Theory of Relativity, where he arrives at Christoffel symbols by starting with a geodesic, as Michael Price suggested.
Note that this has other assumptions, ie, that the geodesics of the connection coincide with the paths extremizing distances and zero torsion.
 
  • #15
Orodruin said:
Note that this has other assumptions, ie, that the geodesics of the connection coincide with the paths extremizing distances and zero torsion.
The geodesic route only sets the symmetric part of the connection to the Christoffel symbols. The antisymmetric torsion part of the connection is left undefined.
 
  • #16
Michael Price said:
The geodesic route only sets the symmetric part of the connection to the Christoffel symbols. The antisymmetric torsion part of the connection is left undefined.
Not if, as I clearly stated, torsion is assumed to be zero.
 
  • #17
Orodruin said:
Not if, as I clearly stated, torsion is assumed to be zero.
Yes, but we don't have to assume the torsion is zero for this derivation to work. (Einstein assumed it, we don't have to.)
 
Last edited:
  • #18
Michael Price said:
Yes, but we don't have to assume the torsion is zero for this derivation to work. (Einstein assumed it, we don't have too.)
To find the symmetric components no. To find the anti-symmetric components, yes, unless you add some additional requirement that is essentially equivalent on top.
 
  • #19
To find the torsion you have to move to the spin connection, which is outside the scope of this thread.
 
  • #20
Orodruin said:
By saying that ##\vec e_x## and ##\vec e_y## "do not change" as you move around the plane, you have made the assumption that you have the standard connection on the plane.

Personally I find it a bit strange that this requires an additional hypothesis. Given what the Cartesian coordinate system on a plane looks like, how could the basis vectors not parallel transport? Isn't the parallelism of the coordinate lines built into it? Given two points very close to each other, their x=constant lines, for instance, go on forever and never touch.
 
  • #21
According to the equivalence principle you can always find a locally Lorenzian, free falling frame through any point. In that frame you must have ∇g=0 where g is the Minkowski metric. Transforming back into the general coordinate frame we will still have ∇g=0.
 
  • #22
Michael Price said:
According to the equivalence principle you can always find a locally Lorenzian, free falling frame through any point. In that frame you must have ∇g=0 where g is the Minkowski metric. Transforming back into the general coordinate frame we will still have ∇g=0.
This is true in GR. This is the differential geometry forum, even if the OP is using a GR textbook.

snoopies622 said:
Personally I find it a bit strange that this requires an additional hypothesis. Given what the Cartesian coordinate system on a plane looks like, how could the basis vectors not parallel transport? Isn't the parallelism of the coordinate lines built into it? Given two points very close to each other, their x=constant lines, for instance, go on forever and never touch.
In an affine space (such as Euclidean space), there is a built in notion of identification of tangent spaces at different points. This supplies a predetermined connection and thereby a sense of parallellism. However, if you disregard this notion and just look at the coordinates and the metric, it is perfectly possible to introduce other connections.
 
  • #23
Thanks, Orodruin. Looks like I'll have to take out a differential geometry book or two. None of my GR books go into this stuff with any depth.
 
  • #24
snoopies622 said:
Thanks, Orodruin. Looks like I'll have to take out a differential geometry book or two. None of my GR books go into this stuff with any depth.
Well, that depends on what you need it for. If you just need it for learning GR, you can probably skip a lot of things for the time being and concentrate on the things necessary for GR.
 
  • #25
I read in another forum (unfortunately I no longer remember where) the following idea: An intuitive justification for having [itex] \nabla g=0 [/itex] is, if you move a meter stick around a room and the meter stick grows or shrinks as you move, it will still measure one meter in length if what you're using to measure it is the meter stick itself.
 
  • Like
Likes Michael Price
  • #26
snoopies622 said:
I read in another forum (unfortunately I no longer remember where) the following idea: An intuitive justification for having [itex] \nabla g=0 [/itex] is, if you move a meter stick around a room and the meter stick grows or shrinks as you move, it will still measure one meter in length if what you're using to measure it is the meter stick itself.
I think that is a very good intuitive of viewing it. ∇is measuring the gradient with respect to g. Therefore g has no gradient itself.
 
  • Like
Likes weirdoguy
  • #27
Michael Price said:
I think that is a very good intuitive of viewing it. ∇is measuring the gradient with respect to g. Therefore g has no gradient itself.
There is no such thing as a ”gradient with respect to g”. The connection defines a way of relating vectors in nearby tangent spaces. This can be done in such a way that parallel transport preserves angles or not. If it does, this is what metric compatibility means. This does not mean that it is a gradient with respect to the metric. There is also no unique metric compatible connection unless further constraints (such as no torsion) are imposed.

I agree that preserving the inner product is a nice and intuitive property and in many cases there is good reason to restrict oneself to metric compatibility. However, there is a priori nothing wrong with having a connection that is not metric compatible - it just might not be what we are looking for for our description of whatever we want to describe.
 
  • #28
Orodruin said:
There is no such thing as a ”gradient with respect to g”. The connection defines a way of relating vectors in nearby tangent spaces. This can be done in such a way that parallel transport preserves angles or not. If it does, this is what metric compatibility means. This does not mean that it is a gradient with respect to the metric. There is also no unique metric compatible connection unless further constraints (such as no torsion) are imposed.

I agree that preserving the inner product is a nice and intuitive property and in many cases there is good reason to restrict oneself to metric compatibility. However, there is a priori nothing wrong with having a connection that is not metric compatible - it just might not be what we are looking for for our description of whatever we want to describe.
But the question was framed in the context of General Relativity, where the connection is a metric connection (plus torsion). The covariant derivative of the metric along any curve vanishes. (The metric is always parallel(ly?) transported onto itself.) In that sense the metric has a vanishing derivative and is covariantly "flat".
 
  • #29
Michael Price said:
But the question was framed in the context of General Relativity, where the connection is a metric connection (plus torsion). The covariant derivative of the metric along any curve vanishes. (The metric is always parallel(ly?) transported onto itself.) In that sense the metric has a vanishing derivative and is covariantly "flat".
The question is posed in the differential geometry forum. The only actual implication of GR is the literature the OP is using. The terminology is that the metric is parallel (meaning that the covariant derivative everywhere in all directions is zero).

Flatness is a geometric property of the connection, not the metric or any other tensor. Even when the connection is metric compatible, the space may not be flat (otherwise we would not talk about curved spacetime in GR). Let us not mix up these concepts.

TLDR: If the connection is metric compatible, the metric is parallel. If the space is flat, any parallel transport around a contractable loop returns the original tensor.
 
  • Like
Likes lavinia and weirdoguy
  • #30
I suspect the question should have been posed in the Special and General Relativity forum. :-)
 
  • #31
Actually this thread has been very helpful to me. I'm especially interested in following up on the method outlined in the Einstein paper, where one arrives at Christoffel symbols via the geodesic approach. Would anyone like to recommend a good source? I've never taken a course in the calculus of variations.
 
  • #32
snoopies622 said:
Actually this thread has been very helpful to me. I'm especially interested in following up on the method outlined in the Einstein paper, where one arrives at Christoffel symbols via the geodesic approach. Would anyone like to recommend a good source? I've never taken a course in the calculus of variations.
You could try Sean Carroll's GR lecture notes.
https://arxiv.org/abs/gr-qc/9712019Pages 66-67 (pdf version) has a good discussion of connections and metrics. It is not exactly what you're after, but it looks well explained and would be helpful.
PS I've come round to thinking that the best demonstration of ∇g=0 - in GR - is to note that it is trivially true in flat Minkowski space time, and there is always a locally Lorentzian frame in GR, so it has to hold everywhere in GR, as well.
 
Last edited:
  • #33
Michael Price said:
You could try Sean Carroll's GR lecture notes.
https://arxiv.org/abs/gr-qc/9712019
Thanks, Michael!
Michael Price said:
I've come round to thinking that the best demonstration of ∇g=0 - in GR - is to note that it is trivially true in flat Minkowski space time, and there is always a locally Lorentzian frame in GR, so it has to hold everywhere in GR, as well.
Exactly Schutz's approach!
 
  • Like
Likes Michael Price
  • #34
snoopies622 said:
Thanks, Michael!

Exactly Schutz's approach!

I don't know the Physics so this is a naive question.

The local Lorentz frame seems to be interpreted to say that the Space-Time metric can be represented in normal coordinates as diagonal ±1 with first partial derivatives equal to zero at a central point. But doesn't this assume that the connection and the metric are compatible? Why does one do a proof?

It also seems that the Christoffel symbols are assumed to be zero at the central point. Doesn't this require the affine connection to be torsion free? If not, I don't see how the Christoffel symbols can all vanish.
 
Last edited:
  • #35
lavinia said:
The local Lorentz frame seems to be interpreted to say that the Space-Time metric can be represented in normal coordinates as diagonal ±1 with first partial derivatives equal to zero at a central point. But doesn't this assume that the connection and the metric are compatible? Why does one do a proof?

It also seems that the Christoffel symbols are assumed to to be zero at the central point. Doesn't this require the affine connection to be torsion free? If not, I don't see how all of the Christoffel symbols can all vanish.
Sure. The usual assumption is that you have the Levi-Civita connection. You can also do something somewhat different and assume the connection and metric to be independent. In that case the Levi-Civita connection drops out from the stationary action principle (with some assumptions).
 
  • Like
Likes lavinia
<h2>1. What is the covariant derivative of the metric tensor?</h2><p>The covariant derivative of the metric tensor is a mathematical tool used in differential geometry to measure how a vector field changes as one moves along a curved space. It is a generalization of the ordinary derivative used in calculus to measure changes in a flat space.</p><h2>2. Why does the covariant derivative of the metric tensor vanish?</h2><p>The covariant derivative of the metric tensor vanishes in a flat space because there is no curvature present. In other words, the metric tensor is constant and does not change as one moves along the space. This is known as the metric compatibility condition.</p><h2>3. What is the significance of the vanishing of the covariant derivative of the metric tensor?</h2><p>The vanishing of the covariant derivative of the metric tensor is significant because it means that the space is flat and has no curvature. This is an important property in general relativity, as it allows us to define a coordinate system where the laws of physics can be described by simple equations.</p><h2>4. Can the covariant derivative of the metric tensor ever be non-zero?</h2><p>Yes, the covariant derivative of the metric tensor can be non-zero in curved spaces. This means that the space has non-zero curvature and is described by more complex equations in general relativity.</p><h2>5. How is the vanishing of the covariant derivative of the metric tensor related to the principle of general covariance?</h2><p>The vanishing of the covariant derivative of the metric tensor is a consequence of the principle of general covariance, which states that the laws of physics should be expressed in a coordinate-independent manner. In other words, the equations describing the laws of physics should not depend on the choice of coordinates used to describe the space. The vanishing of the covariant derivative of the metric tensor ensures that this principle is satisfied in a flat space.</p>

1. What is the covariant derivative of the metric tensor?

The covariant derivative of the metric tensor is a mathematical tool used in differential geometry to measure how a vector field changes as one moves along a curved space. It is a generalization of the ordinary derivative used in calculus to measure changes in a flat space.

2. Why does the covariant derivative of the metric tensor vanish?

The covariant derivative of the metric tensor vanishes in a flat space because there is no curvature present. In other words, the metric tensor is constant and does not change as one moves along the space. This is known as the metric compatibility condition.

3. What is the significance of the vanishing of the covariant derivative of the metric tensor?

The vanishing of the covariant derivative of the metric tensor is significant because it means that the space is flat and has no curvature. This is an important property in general relativity, as it allows us to define a coordinate system where the laws of physics can be described by simple equations.

4. Can the covariant derivative of the metric tensor ever be non-zero?

Yes, the covariant derivative of the metric tensor can be non-zero in curved spaces. This means that the space has non-zero curvature and is described by more complex equations in general relativity.

5. How is the vanishing of the covariant derivative of the metric tensor related to the principle of general covariance?

The vanishing of the covariant derivative of the metric tensor is a consequence of the principle of general covariance, which states that the laws of physics should be expressed in a coordinate-independent manner. In other words, the equations describing the laws of physics should not depend on the choice of coordinates used to describe the space. The vanishing of the covariant derivative of the metric tensor ensures that this principle is satisfied in a flat space.

Similar threads

Replies
16
Views
2K
  • Differential Geometry
Replies
6
Views
2K
  • Differential Geometry
Replies
11
Views
2K
Replies
11
Views
6K
  • Differential Geometry
Replies
7
Views
3K
  • Differential Geometry
Replies
20
Views
5K
  • Differential Geometry
Replies
6
Views
2K
  • Advanced Physics Homework Help
Replies
5
Views
2K
  • Differential Geometry
Replies
4
Views
5K
  • Differential Geometry
Replies
15
Views
4K
Back
Top