Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Pushing a geodesic

  1. Apr 5, 2008 #1

    CompuChip

    User Avatar
    Science Advisor
    Homework Helper

    Hello.

    Suppose that [itex]\sigma: (M, g) \to (N, h)[/itex] is an isometric diffeomorphism between two Riemannian manifolds M and N and let [itex]\gamma: [0, 1] \to M[/itex] be a geodesic on M.
    Because [itex]\sigma[/itex] preserves distances, and geodesics are locally length minimizing, it is intuitively clear that [itex]\sigma_* \gamma = \sigma \circ \gamma[/itex] is a geodesic on N, but I'm having some trouble proving this.
    In particular, I don't see which characterization of geodesics is the most convenient (I suppose it is the locally length minimizing property; but I don't really see how to express that formally).
    Any help is greatly appreciated.
     
  2. jcsd
  3. Apr 5, 2008 #2
    Perhaps the fact that geodesics parallel transport their own tangent vectors? The local isometry pretty much by definition does so, so geodesics are preserved.
     
  4. Apr 5, 2008 #3

    CompuChip

    User Avatar
    Science Advisor
    Homework Helper

    That's definitely a possibility, but I think it's quite elaborate. It involves dealing with the two different Levi-Civita connections
    [tex]\nabla^M_{\dot\gamma} \dot\gamma = \nabla^N_{(\sigma \circ \gamma)^\cdot} (\sigma \circ \gamma)^\cdot[/tex]
    with [itex]\nabla^{M,N}[/itex] denoting the connection on the respective manifolds, and [itex](\sigma \circ \gamma)^\cdot[/itex] is the derivative w.r.t. t.

    Since there is such an intuitive meaning to the statement (geodesics have to do with minimal length curves, and isometries are precisely those maps that preserve lengths) I was sort of hoping for a proof in that direction.
     
    Last edited: Apr 5, 2008
  5. Apr 5, 2008 #4
    I would have thought that the latter is more difficult actually. Isometry is an intrinsically local concept, and finite lengths are not.
     
  6. Apr 8, 2008 #5
    Your idea works. A geodesic minimizes length locally. Under an isometry this must be true in both manifolds because curve length is preserved.

    I think it is instructive though to prove this directly from the definition of a geodesic rather than appeal to this difficult theorem.
     
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook

Have something to add?



Similar Discussions: Pushing a geodesic
  1. Dense geodesic (Replies: 36)

  2. Geodesic triangle (Replies: 1)

  3. Geodesic equations (Replies: 0)

  4. Geodesic problem (Replies: 3)

  5. Geodesic equation (Replies: 2)

Loading...