$exp_q^{-1}(exp_p(tX)) = exp_q^{-1}(p)+tGamma_{pto q}(X)+O(t^2)$ as $tto 0$?












1












$begingroup$


Let $(M,g)$ be a Riemannian manifold with induced metric $d$ and injectivity radius $r>0$. Let $p, q$ be two points in $M$ such that $d(p,q)<r$. It is easy to see that $p$ and $q$ can be connected by an unique minimizing geodesic $gamma={gamma(t):0le tle 1 }$ with $gamma(0)=p$ and $gamma(1)=q$. Denote by $Gamma_{pto q}:T_p(M)to T_q(M)$ the parallel transport along the geodesic $gamma$ from $p$ to $q$.




My question is: for a tangent vector $Xin T_p(M)$, does the following holds
$$exp_q^{-1}(exp_p(tX)) = exp_q^{-1}(p)+tGamma_{pto q}(X)+O(t^2), quad tto 0?$$




Any comments or hints will be appreciated. TIA.










share|cite|improve this question











$endgroup$

















    1












    $begingroup$


    Let $(M,g)$ be a Riemannian manifold with induced metric $d$ and injectivity radius $r>0$. Let $p, q$ be two points in $M$ such that $d(p,q)<r$. It is easy to see that $p$ and $q$ can be connected by an unique minimizing geodesic $gamma={gamma(t):0le tle 1 }$ with $gamma(0)=p$ and $gamma(1)=q$. Denote by $Gamma_{pto q}:T_p(M)to T_q(M)$ the parallel transport along the geodesic $gamma$ from $p$ to $q$.




    My question is: for a tangent vector $Xin T_p(M)$, does the following holds
    $$exp_q^{-1}(exp_p(tX)) = exp_q^{-1}(p)+tGamma_{pto q}(X)+O(t^2), quad tto 0?$$




    Any comments or hints will be appreciated. TIA.










    share|cite|improve this question











    $endgroup$















      1












      1








      1


      2



      $begingroup$


      Let $(M,g)$ be a Riemannian manifold with induced metric $d$ and injectivity radius $r>0$. Let $p, q$ be two points in $M$ such that $d(p,q)<r$. It is easy to see that $p$ and $q$ can be connected by an unique minimizing geodesic $gamma={gamma(t):0le tle 1 }$ with $gamma(0)=p$ and $gamma(1)=q$. Denote by $Gamma_{pto q}:T_p(M)to T_q(M)$ the parallel transport along the geodesic $gamma$ from $p$ to $q$.




      My question is: for a tangent vector $Xin T_p(M)$, does the following holds
      $$exp_q^{-1}(exp_p(tX)) = exp_q^{-1}(p)+tGamma_{pto q}(X)+O(t^2), quad tto 0?$$




      Any comments or hints will be appreciated. TIA.










      share|cite|improve this question











      $endgroup$




      Let $(M,g)$ be a Riemannian manifold with induced metric $d$ and injectivity radius $r>0$. Let $p, q$ be two points in $M$ such that $d(p,q)<r$. It is easy to see that $p$ and $q$ can be connected by an unique minimizing geodesic $gamma={gamma(t):0le tle 1 }$ with $gamma(0)=p$ and $gamma(1)=q$. Denote by $Gamma_{pto q}:T_p(M)to T_q(M)$ the parallel transport along the geodesic $gamma$ from $p$ to $q$.




      My question is: for a tangent vector $Xin T_p(M)$, does the following holds
      $$exp_q^{-1}(exp_p(tX)) = exp_q^{-1}(p)+tGamma_{pto q}(X)+O(t^2), quad tto 0?$$




      Any comments or hints will be appreciated. TIA.







      differential-geometry manifolds differential-topology riemannian-geometry smooth-manifolds






      share|cite|improve this question















      share|cite|improve this question













      share|cite|improve this question




      share|cite|improve this question








      edited Jan 28 at 6:53







      Q. Huang

















      asked Jan 28 at 6:45









      Q. HuangQ. Huang

      603213




      603213






















          1 Answer
          1






          active

          oldest

          votes


















          1












          $begingroup$

          It does not hold : On $2$-dimensional unit sphere, consider two points of $frac{pi}{2}$ distance. And parallel vector field on the geodesic between two points is perpendicular to the geodesic (cf. Parallel transportion for Alexandrov space with curvature bounded below - Petrunin) :



          When $M=mathbb{S}^2, |p-q|=frac{pi}{2}$, then $c$ is unit speed
          geodesic from $p$ to $q$. Assume that $X(t)$ is a unit parallel
          vector field along $c(t)$ s.t. $X(0)perp c'(0)$.



          Then $$A=0, B=exp_p^{-1} q, C=exp_p^{-1} exp_q tX(pi/2)$$ is
          a triangle in $T_pM$ s.t. $angle BAC = t$.



          When $A, B, C'$ is triangle with $angle ABC'=pi/2$ and
          $|B-C'|=t$, then we find $|C-C'|$ : By cosine law, begin{align*}
          |C-C'|^2&=t^2+(pi sin frac{t}{2})^2-2t(pi sin
          frac{t}{2})cos frac{t}{2} \& =( t-pi sin frac{t}{2})^2+ O(t^4)
          \ |C-C'| &=t-pi sin frac{t}{2}+ O(t^2)end{align*}






          share|cite|improve this answer











          $endgroup$









          • 1




            $begingroup$
            How does your example negate that equality? Can you explain more? Thanks...
            $endgroup$
            – Q. Huang
            Jan 29 at 3:32










          • $begingroup$
            I think I understand your exmaple and it is really a good counterexample. But I derive the last two equations in your answer as $$|C-C'|^2 = (t- frac{pi}{2} sin t)^2 + (frac{pi}{2} - frac{pi}{2} cos t)^2 = t^2 - pi t sin t + frac{pi^2}{2} (1-cos t) = (1-pi+ frac{pi^2}{4}) t^2 + O(t^4),$$ $$|C-C'| = (1-frac{pi}{2}) t + O(t^2).$$ But, anyway, this negate that equality in my question. Thanks.
            $endgroup$
            – Q. Huang
            Jan 29 at 6:11













          Your Answer





          StackExchange.ifUsing("editor", function () {
          return StackExchange.using("mathjaxEditing", function () {
          StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix) {
          StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
          });
          });
          }, "mathjax-editing");

          StackExchange.ready(function() {
          var channelOptions = {
          tags: "".split(" "),
          id: "69"
          };
          initTagRenderer("".split(" "), "".split(" "), channelOptions);

          StackExchange.using("externalEditor", function() {
          // Have to fire editor after snippets, if snippets enabled
          if (StackExchange.settings.snippets.snippetsEnabled) {
          StackExchange.using("snippets", function() {
          createEditor();
          });
          }
          else {
          createEditor();
          }
          });

          function createEditor() {
          StackExchange.prepareEditor({
          heartbeatType: 'answer',
          autoActivateHeartbeat: false,
          convertImagesToLinks: true,
          noModals: true,
          showLowRepImageUploadWarning: true,
          reputationToPostImages: 10,
          bindNavPrevention: true,
          postfix: "",
          imageUploader: {
          brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
          contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
          allowUrls: true
          },
          noCode: true, onDemand: true,
          discardSelector: ".discard-answer"
          ,immediatelyShowMarkdownHelp:true
          });


          }
          });














          draft saved

          draft discarded


















          StackExchange.ready(
          function () {
          StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3090562%2fexp-q-1-exp-ptx-exp-q-1pt-gamma-p-to-qxot2-as-t-to-0%23new-answer', 'question_page');
          }
          );

          Post as a guest















          Required, but never shown

























          1 Answer
          1






          active

          oldest

          votes








          1 Answer
          1






          active

          oldest

          votes









          active

          oldest

          votes






          active

          oldest

          votes









          1












          $begingroup$

          It does not hold : On $2$-dimensional unit sphere, consider two points of $frac{pi}{2}$ distance. And parallel vector field on the geodesic between two points is perpendicular to the geodesic (cf. Parallel transportion for Alexandrov space with curvature bounded below - Petrunin) :



          When $M=mathbb{S}^2, |p-q|=frac{pi}{2}$, then $c$ is unit speed
          geodesic from $p$ to $q$. Assume that $X(t)$ is a unit parallel
          vector field along $c(t)$ s.t. $X(0)perp c'(0)$.



          Then $$A=0, B=exp_p^{-1} q, C=exp_p^{-1} exp_q tX(pi/2)$$ is
          a triangle in $T_pM$ s.t. $angle BAC = t$.



          When $A, B, C'$ is triangle with $angle ABC'=pi/2$ and
          $|B-C'|=t$, then we find $|C-C'|$ : By cosine law, begin{align*}
          |C-C'|^2&=t^2+(pi sin frac{t}{2})^2-2t(pi sin
          frac{t}{2})cos frac{t}{2} \& =( t-pi sin frac{t}{2})^2+ O(t^4)
          \ |C-C'| &=t-pi sin frac{t}{2}+ O(t^2)end{align*}






          share|cite|improve this answer











          $endgroup$









          • 1




            $begingroup$
            How does your example negate that equality? Can you explain more? Thanks...
            $endgroup$
            – Q. Huang
            Jan 29 at 3:32










          • $begingroup$
            I think I understand your exmaple and it is really a good counterexample. But I derive the last two equations in your answer as $$|C-C'|^2 = (t- frac{pi}{2} sin t)^2 + (frac{pi}{2} - frac{pi}{2} cos t)^2 = t^2 - pi t sin t + frac{pi^2}{2} (1-cos t) = (1-pi+ frac{pi^2}{4}) t^2 + O(t^4),$$ $$|C-C'| = (1-frac{pi}{2}) t + O(t^2).$$ But, anyway, this negate that equality in my question. Thanks.
            $endgroup$
            – Q. Huang
            Jan 29 at 6:11


















          1












          $begingroup$

          It does not hold : On $2$-dimensional unit sphere, consider two points of $frac{pi}{2}$ distance. And parallel vector field on the geodesic between two points is perpendicular to the geodesic (cf. Parallel transportion for Alexandrov space with curvature bounded below - Petrunin) :



          When $M=mathbb{S}^2, |p-q|=frac{pi}{2}$, then $c$ is unit speed
          geodesic from $p$ to $q$. Assume that $X(t)$ is a unit parallel
          vector field along $c(t)$ s.t. $X(0)perp c'(0)$.



          Then $$A=0, B=exp_p^{-1} q, C=exp_p^{-1} exp_q tX(pi/2)$$ is
          a triangle in $T_pM$ s.t. $angle BAC = t$.



          When $A, B, C'$ is triangle with $angle ABC'=pi/2$ and
          $|B-C'|=t$, then we find $|C-C'|$ : By cosine law, begin{align*}
          |C-C'|^2&=t^2+(pi sin frac{t}{2})^2-2t(pi sin
          frac{t}{2})cos frac{t}{2} \& =( t-pi sin frac{t}{2})^2+ O(t^4)
          \ |C-C'| &=t-pi sin frac{t}{2}+ O(t^2)end{align*}






          share|cite|improve this answer











          $endgroup$









          • 1




            $begingroup$
            How does your example negate that equality? Can you explain more? Thanks...
            $endgroup$
            – Q. Huang
            Jan 29 at 3:32










          • $begingroup$
            I think I understand your exmaple and it is really a good counterexample. But I derive the last two equations in your answer as $$|C-C'|^2 = (t- frac{pi}{2} sin t)^2 + (frac{pi}{2} - frac{pi}{2} cos t)^2 = t^2 - pi t sin t + frac{pi^2}{2} (1-cos t) = (1-pi+ frac{pi^2}{4}) t^2 + O(t^4),$$ $$|C-C'| = (1-frac{pi}{2}) t + O(t^2).$$ But, anyway, this negate that equality in my question. Thanks.
            $endgroup$
            – Q. Huang
            Jan 29 at 6:11
















          1












          1








          1





          $begingroup$

          It does not hold : On $2$-dimensional unit sphere, consider two points of $frac{pi}{2}$ distance. And parallel vector field on the geodesic between two points is perpendicular to the geodesic (cf. Parallel transportion for Alexandrov space with curvature bounded below - Petrunin) :



          When $M=mathbb{S}^2, |p-q|=frac{pi}{2}$, then $c$ is unit speed
          geodesic from $p$ to $q$. Assume that $X(t)$ is a unit parallel
          vector field along $c(t)$ s.t. $X(0)perp c'(0)$.



          Then $$A=0, B=exp_p^{-1} q, C=exp_p^{-1} exp_q tX(pi/2)$$ is
          a triangle in $T_pM$ s.t. $angle BAC = t$.



          When $A, B, C'$ is triangle with $angle ABC'=pi/2$ and
          $|B-C'|=t$, then we find $|C-C'|$ : By cosine law, begin{align*}
          |C-C'|^2&=t^2+(pi sin frac{t}{2})^2-2t(pi sin
          frac{t}{2})cos frac{t}{2} \& =( t-pi sin frac{t}{2})^2+ O(t^4)
          \ |C-C'| &=t-pi sin frac{t}{2}+ O(t^2)end{align*}






          share|cite|improve this answer











          $endgroup$



          It does not hold : On $2$-dimensional unit sphere, consider two points of $frac{pi}{2}$ distance. And parallel vector field on the geodesic between two points is perpendicular to the geodesic (cf. Parallel transportion for Alexandrov space with curvature bounded below - Petrunin) :



          When $M=mathbb{S}^2, |p-q|=frac{pi}{2}$, then $c$ is unit speed
          geodesic from $p$ to $q$. Assume that $X(t)$ is a unit parallel
          vector field along $c(t)$ s.t. $X(0)perp c'(0)$.



          Then $$A=0, B=exp_p^{-1} q, C=exp_p^{-1} exp_q tX(pi/2)$$ is
          a triangle in $T_pM$ s.t. $angle BAC = t$.



          When $A, B, C'$ is triangle with $angle ABC'=pi/2$ and
          $|B-C'|=t$, then we find $|C-C'|$ : By cosine law, begin{align*}
          |C-C'|^2&=t^2+(pi sin frac{t}{2})^2-2t(pi sin
          frac{t}{2})cos frac{t}{2} \& =( t-pi sin frac{t}{2})^2+ O(t^4)
          \ |C-C'| &=t-pi sin frac{t}{2}+ O(t^2)end{align*}







          share|cite|improve this answer














          share|cite|improve this answer



          share|cite|improve this answer








          edited Jan 29 at 3:40

























          answered Jan 29 at 2:39









          HK LeeHK Lee

          14.1k52361




          14.1k52361








          • 1




            $begingroup$
            How does your example negate that equality? Can you explain more? Thanks...
            $endgroup$
            – Q. Huang
            Jan 29 at 3:32










          • $begingroup$
            I think I understand your exmaple and it is really a good counterexample. But I derive the last two equations in your answer as $$|C-C'|^2 = (t- frac{pi}{2} sin t)^2 + (frac{pi}{2} - frac{pi}{2} cos t)^2 = t^2 - pi t sin t + frac{pi^2}{2} (1-cos t) = (1-pi+ frac{pi^2}{4}) t^2 + O(t^4),$$ $$|C-C'| = (1-frac{pi}{2}) t + O(t^2).$$ But, anyway, this negate that equality in my question. Thanks.
            $endgroup$
            – Q. Huang
            Jan 29 at 6:11
















          • 1




            $begingroup$
            How does your example negate that equality? Can you explain more? Thanks...
            $endgroup$
            – Q. Huang
            Jan 29 at 3:32










          • $begingroup$
            I think I understand your exmaple and it is really a good counterexample. But I derive the last two equations in your answer as $$|C-C'|^2 = (t- frac{pi}{2} sin t)^2 + (frac{pi}{2} - frac{pi}{2} cos t)^2 = t^2 - pi t sin t + frac{pi^2}{2} (1-cos t) = (1-pi+ frac{pi^2}{4}) t^2 + O(t^4),$$ $$|C-C'| = (1-frac{pi}{2}) t + O(t^2).$$ But, anyway, this negate that equality in my question. Thanks.
            $endgroup$
            – Q. Huang
            Jan 29 at 6:11










          1




          1




          $begingroup$
          How does your example negate that equality? Can you explain more? Thanks...
          $endgroup$
          – Q. Huang
          Jan 29 at 3:32




          $begingroup$
          How does your example negate that equality? Can you explain more? Thanks...
          $endgroup$
          – Q. Huang
          Jan 29 at 3:32












          $begingroup$
          I think I understand your exmaple and it is really a good counterexample. But I derive the last two equations in your answer as $$|C-C'|^2 = (t- frac{pi}{2} sin t)^2 + (frac{pi}{2} - frac{pi}{2} cos t)^2 = t^2 - pi t sin t + frac{pi^2}{2} (1-cos t) = (1-pi+ frac{pi^2}{4}) t^2 + O(t^4),$$ $$|C-C'| = (1-frac{pi}{2}) t + O(t^2).$$ But, anyway, this negate that equality in my question. Thanks.
          $endgroup$
          – Q. Huang
          Jan 29 at 6:11






          $begingroup$
          I think I understand your exmaple and it is really a good counterexample. But I derive the last two equations in your answer as $$|C-C'|^2 = (t- frac{pi}{2} sin t)^2 + (frac{pi}{2} - frac{pi}{2} cos t)^2 = t^2 - pi t sin t + frac{pi^2}{2} (1-cos t) = (1-pi+ frac{pi^2}{4}) t^2 + O(t^4),$$ $$|C-C'| = (1-frac{pi}{2}) t + O(t^2).$$ But, anyway, this negate that equality in my question. Thanks.
          $endgroup$
          – Q. Huang
          Jan 29 at 6:11




















          draft saved

          draft discarded




















































          Thanks for contributing an answer to Mathematics Stack Exchange!


          • Please be sure to answer the question. Provide details and share your research!

          But avoid



          • Asking for help, clarification, or responding to other answers.

          • Making statements based on opinion; back them up with references or personal experience.


          Use MathJax to format equations. MathJax reference.


          To learn more, see our tips on writing great answers.




          draft saved


          draft discarded














          StackExchange.ready(
          function () {
          StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3090562%2fexp-q-1-exp-ptx-exp-q-1pt-gamma-p-to-qxot2-as-t-to-0%23new-answer', 'question_page');
          }
          );

          Post as a guest















          Required, but never shown





















































          Required, but never shown














          Required, but never shown












          Required, but never shown







          Required, but never shown

































          Required, but never shown














          Required, but never shown












          Required, but never shown







          Required, but never shown







          Popular posts from this blog

          android studio warns about leanback feature tag usage required on manifest while using Unity exported app?

          SQL update select statement

          WPF add header to Image with URL pettitions [duplicate]