Constancy of metric tensor components as a test of curvature

In summary, a space is considered flat if the metric components are constant in a suitable coordinate system. This can be seen by considering the equator of S2, which has constant metric components and can be covered by a set of charts with constant metric components. However, this does not apply to every point on the manifold, as the second derivatives of the metric carry information about the curvature. Therefore, the metric cannot be completely constant and the space cannot be considered entirely flat.
  • #1
Rasalhague
1,387
2
Later, we shall see that constancy of the metric components is sufficient for a space to be flat, and in fact there always exists a coordinate system on any flat space in which the metric is constant (Carroll: Lecture Notes on General Relativity.)

In the previous section he derived the components, with respect to the coordinate bases associated with a polar coordinate system, of the Riemannian metric tensor field on S2, the unit 2-sphere:

[tex]g = \begin{pmatrix}1 & 0 \\ 0 & \sin^2(\theta) \end{pmatrix}[/tex]

where [itex]\theta[/itex] is the zenith angle as shown in the diagram above the paragraph quoted.

Earlier in the chapter, he talks about a circle as a manifold. Let's consider the equator of S2, the circle defined in these polar coordinates by [itex]\theta = \pi / 2[/itex]. Is this a submanifold of S2? On the equator, [itex]g[/itex] has constant components:

[tex]g=\begin{pmatrix}1 & 0\\ 0 & \sin^2(\pi / 2) \end{pmatrix}=\begin{pmatrix}
1 & 0\\ 0 & 1 \end{pmatrix}[/tex]

Apparently the equator is flat. At least, every subset of points on the equator is flat, since it can be covered with a set of charts with respect to each of whose coordinate bases the components of [itex]g[/itex] are constant. But there's nothing special about the equator; with a suitable choice of charts, [itex]g[/itex] could be given constant components over any circle on S2. If every point in a Riemannian manifold belongs to a flat submanifold, doesn't this make the whole manifold flat?

Obviously I'm missing something pretty basic here. Is there a fuller way to word "constancy of the metric components is sufficient for a space to be flat" that would make clear how I'm misunderstanding it? Are extra conditions implicit? Do the components have to be constant in one single chart that covers the whole manifold?
 
Physics news on Phys.org
  • #2
Rasalhague said:
If every point in a Riemannian manifold belongs to a flat submanifold, doesn't this make the whole manifold flat?

No. As another counterexample, think of a flat Friedmann-Robertson-Walker universe. This has flat 3-dimensional submanifolds (the "space" part of sapcetime) that cover (foliate) the whole spacetime, but spacetime, in this case, itself is not flat.
 
  • #3
Thanks, George. Is a circle really flat then?
 
  • #4
Perhaps I should say: is S1 flat in the sense that it has no intrinsic curvature? (Although it may be mapped to circles embedded in some other manifold, such as E2, with extrinsic curvature 1/r.) I suppose it could be thought of as a piece of string and straightened out without gaps or wrinkles, so I guess maybe so.
 
  • #5
That's right, any 1-dimensional manifold has zero intrinsic curvature. In order to calculate the Riemann tensor you have to parallel transport in two different directions, and you can't do that in one dimension - or rather your two directions are actually the same direction, so they just cancel. The other way to see it is, the curvature form is a 2-form, and there are no 2-forms in 1 dimension.
 
  • #6
t_barlow said:
That's right, any 1-dimensional manifold has zero intrinsic curvature. In order to calculate the Riemann tensor you have to parallel transport in two different directions, and you can't do that in one dimension - or rather your two directions are actually the same direction, so they just cancel. The other way to see it is, the curvature form is a 2-form, and there are no 2-forms in 1 dimension.

Yet another way to say it: curvature measures the failure of Euclid's parallel postulate, but we can't express a parallel postulate in one dimension.
 
  • #7
Yet a third way to say it is that in 1 dimension, we can always find a coordinate transformation to coordinates where the metric is constant*. Since curvature depends on derivatives of the metric, it automatically vanishes.

* In general, the metric takes the form

[tex]ds^2 = f(x)^2\,dx^2.[/tex]

So we can bring this to a constant metric if we solve

[tex]dy = f(x) \, dx,[/tex]

which always has a solution, because it is a first-order, linear differential equation.
 
  • #8
Thanks to everyone who chipped in with comments!

Ben Niehoff said:
Yet a third way to say it is that in 1 dimension, we can always find a coordinate transformation to coordinates where the metric is constant*. Since curvature depends on derivatives of the metric, it automatically vanishes.

I guess implicit in your first sentence is the condition that the metric (tensor field) must have constant coefficients over the whole chart. And I guess a curve on S2 couldn't count as the domain of a chart because it has less dimensions than the whole manifold, S2.

On a Riemannian manifold, given any point, we can find a chart (not necessarily the same chart for each point) with respect to whose coordinate bases the metric tensors have constant coefficients, part of the local (extrinsic?) flatness theorem. But for a manifold to qualify as (intrinsically) flat, it just needs to be possible to chose a set of charts which cover the manifold such that the coefficients of the metric tensors in the coordinate bases of each chart are the same at all points in that chart. Is that right?
 
  • #9
Rasalhague said:
On a Riemannian manifold, given any point, we can find a chart (not necessarily the same chart for each point) with respect to whose coordinate bases the metric tensors have constant coefficients

No, this is false, and maybe this is part of the confusion. Given any point, you can find a chart such that the metric is equal to the flat-space metric, and the first derivatives of the metric all vanish. But these are true only at that particular point, and the second derivatives do not vanish in general! The metric cannot be made "constant" in general, as that would imply ALL derivatives vanish.

The second derivatives of the metric carry information about the curvature.

When we say a metric is "constant", we mean not just at a point, but in a neighborhood.
 
  • #10
Okay, I'll try again:

An intrinsically flat Riemannian manifold is one that can be covered by a set of charts such that, in each of these charts, the coefficient matrix of the metric tensor field is everywhere constant in the coordinate bases, [itex]\mathrm{d}x^a \otimes \mathrm{d}x^b \, (p)[/itex], associated with that particular chart. (Where [itex]p[/itex] ranges over all points in the domain of the chart.)

For each point in a general Riemannian manifold, there exists some chart such that the coefficient matrix of the metric tensor at this particular point, [itex]p_0[/itex], in the coordinate basis, [itex]\mathrm{d}x^a \otimes \mathrm{d}x^b (p_0)[/itex], associated with this chart, is the identity matrix, [itex]I = \text{diag}(1,...,1)[/itex], and the values of the first derivatives, with respect of each coordinate, of each coefficient function of the metric tensor field, in the coordinate bases associated with this chart, are zero.

Likewise for a pseudo-Riemannian manifold, except replace the identity matrix with the canonical form of the flatspace pseudometric tensor, e.g. in the famous case, that Minkowski space: [itex]\pm \text{diag}(-1,1,1,1)[/itex].
 

Related to Constancy of metric tensor components as a test of curvature

1. How is the constancy of metric tensor components used as a test of curvature?

The constancy of metric tensor components is used as a test of curvature in the field of differential geometry. It is a way to determine whether a given space is flat or curved. If the metric tensor components are constant, then the space is flat. If the components vary, then the space is curved.

2. What is a metric tensor?

A metric tensor is a mathematical object that describes the geometry of a space. It is used to measure distances and angles in that space. In general relativity, the metric tensor is used to describe the curvature of spacetime.

3. What is the significance of constancy of metric tensor components?

The constancy of metric tensor components is significant because it allows us to determine the curvature of a space. This is important in understanding the structure of the universe and in developing theories of gravity, such as general relativity.

4. How is the constancy of metric tensor components related to the curvature of spacetime?

The constancy of metric tensor components is directly related to the curvature of spacetime. If the components are constant, then the space is flat and there is no curvature. If the components vary, then the space is curved and there is non-zero curvature.

5. Can the constancy of metric tensor components be used to test for the presence of matter or energy?

Yes, the constancy of metric tensor components can be used to test for the presence of matter or energy. In general relativity, the presence of matter or energy causes spacetime to curve, which is reflected in the non-constant metric tensor components. By analyzing the curvature of spacetime, we can infer the presence of matter or energy in a given space.

Similar threads

  • Special and General Relativity
Replies
11
Views
503
Replies
40
Views
2K
  • Special and General Relativity
Replies
5
Views
358
  • Special and General Relativity
Replies
8
Views
1K
  • Special and General Relativity
Replies
12
Views
3K
  • Special and General Relativity
Replies
7
Views
433
  • Special and General Relativity
2
Replies
55
Views
3K
  • Special and General Relativity
Replies
19
Views
312
  • Special and General Relativity
Replies
7
Views
2K
  • Special and General Relativity
Replies
12
Views
2K
Back
Top