Riemann normal coordinates

In summary: Sean Carroll).local: (1) non-global: "In each local chart a Riemannian metric is given by smoothly assigning a 2 x 2 positive definite matrix to each point"; (2) at one point only: "Local Lorentz covariance, which follows from general relativity, refers to Lorentz covariance applying only locally in an infinitesimal region of spacetime at every point."local: (1) non-global: "In each local chart a Riemannian metric is given by smoothly assigning a 2 x 2 positive definite matrix to each point"; (2) at one point only: "Local Lorentz covariance,
  • #1
Rasalhague
1,387
2
Sean Carroll: Lecture Notes on GR (2:20):

at any point p there exists a coordinate system in which [itex]g_{\mu\nu}[/itex] takes its canonical form and the first derivatives [itex]\partial_\sigma g_{\mu\nu}[/itex] vanish [...] Such coordinates are known as Riemann normal coordinates

Presumable to be a coordinate system it would have to exist at more than one point! Does he mean to define a Riemann normal coordinate system as a chart such that [itex]g_{\mu\nu}[/itex] takes its canonical form and the first derivatives [itex]\partial_\sigma g_{\mu\nu}[/itex] vanish wrt the coordinate bases at every point where this chart is defined, and to say that each point p, q, r etc. in M is covered by at least one such a chart (although not necessarily the same chart for p, q and r)?

Or is he only saying that each point p is covered by at least one chart in whose coordinate basis at that point [itex]g_{\mu\nu}[/itex] takes its canonical form and the first derivatives [itex]\partial_\sigma g_{\mu\nu}[/itex] vanish, although at another point q covered by the same RNC chart, [itex]g_{\mu\nu}[/itex] doesn't necessarily take its canonical form, wrt the coordinate basis at q, and the first derivatives [itex]\partial_\sigma g_{\mu\nu}[/itex] don't necessarily vanish?

I'm guessing it's the former.
 
Physics news on Phys.org
  • #2
Carroll is only saying that every point on the manifold has a set of unique coordinates that are Minkowskian. It's a set of coordinates because a rotation or boost of a Minkowski coordinate system gives you another Minkowski coordinate system.

For the arguments that follow, we don't really care what the coordinate system looks like at other points. What is relevant is the metric and it's derivatives. The Minkowski metric space at a given point is a tangent space at that point so the first derivative is the same as the underlying manifold, which is good to know. From the second derivative develops the notion of curvature.

After what is clearly understood what the manifold is like at a point, we can start connecting points on the manifold with parametric curves.
 
  • #3
"Such coordinates are known as Riemann normal coordinates"

More precisely it should be said "Riemann normal coordinates with respect to the point p". They are sometimes useful when you need to calculate and compare some geometric quantities at this particular point.
 
  • #4
Rasalhague said:
Presumable to be a coordinate system it would have to exist at more than one point!
Riemann normal coordinates do cover more than a single point, but the nice properties of the metric only hold at that one point.
 
  • #5
Lee seems to cover Riemannian normal coordinates pretty well. (I haven't read that section myself).
 
  • #6
Fredrik said:
Lee seems to cover Riemannian normal coordinates pretty well. (I haven't read that section myself).

In fact Lee (in "Riemannian Manifolds: An Introduction to Curvature", Springer (1997), p. 77) is using a precise term:

"... Any such coordinates are called (Riemannian) normal coordinates centered at p."
 
  • #8
arkajad said:
In fact Lee (in "Riemannian Manifolds: An Introduction to Curvature", Springer (1997), p. 77) is using a precise term:

"... Any such coordinates are called (Riemannian) normal coordinates centered at p."

And the properties in Proposition 5.11 on page 78 give an intuitive feel for Riemann normal coordinates. I hope to say more about this "intuitive feel" later, but right now I have to do real work.
 
  • #9
Thanks, everyone, for clearing that up for me. So, to paraphrase, for each point p, there exists a RNC chart with p as its origin, x(p) = 0 = (0,0,0,0). And a RNC chart is one for which the components of g take their canonical form in the coordinate basis, [itex]dx^\mu \otimes dx^\nu[/itex], at this point:

[tex]\text{matrix} (g_{\mu\nu}) \bigg|_{\textbf{0}} = \text{diag}(1,-1,-1,-1)[/tex]

(or minus this, depending on the choice of signature), and

[tex]\partial_\sigma g_{\mu\nu} \bigg|_{\textbf{0}} = 0[/tex]

for every permutation of sigma, mu and nu.
 
  • #10
There are other kinds of "normal" coordinate systems, e.g. Fermi normal coordinates. Aren't those two conditions just what defines "normal"? (Maybe that's just the first condition?) I haven't seen all the definitions carefully explained, but I expect that "normal" is defined by conditions like this, and "Riemannian", "Fermi" etc., are defined by specifying what geodesics to use to construct the coordinate system.
 
  • #11
Incidentally, I get the impression that the word local is used in two different senses in the context of differential geometry and GR:

(1) non-global: "In each local chart a Riemannian metric is given by smoothly assigning a 2 x 2 positive definite matrix to each point"; (2) at one point only: "Local Lorentz covariance, which follows from general relativity, refers to Lorentz covariance applying only locally in an infinitesimal region of spacetime at every point."

Sometimes even open to either interpretation in the same expression, as in this thread: "A local Lorentz frame only exists in an infinitesimally small region of spacetime" (JesseM); "The local Lorentz frame is usually well-defined in a large region, but it only agrees with a grid of rulers and clocks in an infinitesimal region" (Fredrik). Is the name meant to indicate a non-global chart that's locally Lorentzian in the sense of being Lorentzian at one point (one location)? Or is it a chart that's local in the sense of being non-global, or not necessarily global, and also happens to be Lorentzian at one point?

When Carroll writes "Such coordinates are known as Riemann normal coordinates, and the associated basis vectors constitute a local Lorentz frame" (2:20), the message I'm hearing is that he's referring to a frame which is "Lorentz" (orthonormal) at one point, and only one point (although, of course, that's a very special case of non-global).

I also occurs to me that it's often hard to avoid an ambiguity in English between specific and nonspecific indefinite pronouns, e.g. "they asked if I had a book". (Did they have a particular book in mind, or were they just asking if there was any book that I had?) Almost always the context makes it clear in everyday life. But when the topic is something as abstract as "a point" (and when the reader is someone as ignorant as me!), that ambiguity can become significant.
 
Last edited:
  • #12
Fredrik said:
There are other kinds of "normal" coordinate systems, e.g. Fermi normal coordinates. Aren't those two conditions just what defines "normal"? (Maybe that's just the first condition?) I haven't seen all the definitions carefully explained, but I expect that "normal" is defined by conditions like this, and "Riemannian", "Fermi" etc., are defined by specifying what geodesics to use to construct the coordinate system.

Oh dear, I'll have to have a more careful look at Lee then. Perhaps Carroll was only intending this as a passing mention of RNCs, rather than a definition. One more for the list of things that "normal" can mean (unit length, orthogonal, possibly both...).
 
  • #13
For the record, I'm still confused about "local Lorentz frames", so don't take anything I may have said about them too seriously. I think that "local Lorentz frame", "local inertial frame", and "normal coordinates" are the same thing. I also think that in GR, there are several different kinds, Riemannian, Fermi, etc., while in SR, the definitions of those special cases are equivalent.
 
  • #14
Local Lorentz frame (at a point) means connection coefficients ("forces") vanish, and this happens when the derivatives of the metric tensor vanish - thus in normal coordinates centered at this point. But there are many normal coordinates centered at a given point. So, we can try to choose among them those with other "nice" properties.
 

What are Riemann normal coordinates?

Riemann normal coordinates are a mathematical tool used in differential geometry to describe a coordinate system in a curved space. They are a set of coordinates that are adapted to the local geometry of a point on a curved manifold.

Why are Riemann normal coordinates useful?

Riemann normal coordinates are useful because they allow us to describe the geometry of a point on a curved manifold in a way that is similar to Cartesian coordinates on a flat plane. This makes it easier to perform calculations and analyze the geometry of curved spaces.

How are Riemann normal coordinates calculated?

Riemann normal coordinates are calculated by constructing a local coordinate system at a given point on a curved manifold such that the metric tensor at that point is equal to the Euclidean metric tensor. This involves taking the first and second derivatives of the metric tensor at that point and using them to transform the coordinate system.

In what situations are Riemann normal coordinates used?

Riemann normal coordinates are used in many fields, including general relativity, differential geometry, and physics. They are particularly useful for studying the behavior of objects in curved spacetimes, such as in the study of black holes and cosmology.

What is the difference between Riemann normal coordinates and other coordinate systems?

Riemann normal coordinates are unique in that they are adapted to the local geometry of a point on a curved manifold. Other coordinate systems, such as polar or spherical coordinates, are not adapted to the local geometry and may be more difficult to use in curved spaces. Additionally, Riemann normal coordinates are only defined within a small neighborhood of a given point, while other coordinate systems can cover larger regions of a manifold.

Similar threads

  • Special and General Relativity
Replies
5
Views
1K
Replies
13
Views
522
  • Special and General Relativity
Replies
4
Views
3K
  • Special and General Relativity
2
Replies
62
Views
3K
  • Special and General Relativity
Replies
28
Views
2K
  • Special and General Relativity
Replies
19
Views
3K
  • Special and General Relativity
Replies
12
Views
1K
  • Special and General Relativity
Replies
19
Views
1K
  • Special and General Relativity
Replies
1
Views
807
  • Special and General Relativity
Replies
1
Views
813
Back
Top