I'm studying a particular kind of curve evolution on Riemannian manifolds. It would help me to know the answer to the following kinda weird question:

Does there exist a closed Riemannian manifold $M$ and a pair of distinct closed geodesics $\gamma, \alpha$ in $M$ satisfying the follow properties?

(1) $\gamma$ and $\alpha$ are of the same length. (Call the length $l$.)

(2) $\gamma$ is isolated in the space of loops of length $l$.

(3) For any $\varepsilon>0$, there exists a path of loops, each of length between $l$ and $l+\varepsilon$, starting at $\gamma$ and ending at $\alpha$.

I suspect (and hope) that the answer is no.

Details: The loop space I'm working with is $C^0(S^1,M)$ with the compact-open topology. In (2), I mean that $\gamma$ has a neighborhood in the loop space in which the only loops of length $l$ are reparameterizations of $\gamma$. The path in (3) of course has to be a path of rectifiable loops.




Is it a homework problem?

Define the distance between curves as $$d(\gamma,\gamma')=\inf_h\sup_x|\gamma'(x)-\gamma\circ h(x)|,$$ where $h:\mathbb S^1\to\mathbb S^1$ is reparametrization. Fix small $\delta$ so that if $d(\gamma,\gamma')\le \delta$ and $\mathop{\rm length}\gamma=\mathop{\rm length}\gamma'$ then $\gamma'=\gamma\circ h$ for some $h$. Fix $\varepsilon>0$ a choose the path $\gamma_t$. Choose the smallest value $t$ such that $d(\gamma,\gamma_t)=\delta$ and set $\beta_\varepsilon=\gamma_t$. You may assume that $\beta_\varepsilon$ has unit-speed parametrization, in particular they all uniformly Lipschitz. Pass to partial limit as $\varepsilon\to 0$ and that is it.

  • $\begingroup$ @Anton Petrunin: How exactly are you choosing the paths $\gamma_t$? Without specifying this, I don't understand how you can say "Choose the smallest value of $t$ such that $d(\gamma, \gamma_t)=\delta$." Also, it's been a while since I took a differential geometry course, but this questions seems much too hard for a standard HW exercise. $\endgroup$ Jul 26 '12 at 13:57
  • $\begingroup$ @Aaron, The path $\gamma_t$ is given in (3). $\endgroup$ Jul 26 '12 at 14:25
  • $\begingroup$ @Anton Petrunin Thanks for your answer! It's not a homework problem, but you're right that I should have thought about the question a bit harder before asking on MO. I guess it's not as difficult as I expected. I don't know why your answer was downvoted. $\endgroup$ Jul 26 '12 at 15:02
  • $\begingroup$ Passing to the limit one gets a loop located at a distance $\delta$ from $\gamma$. By the semicontinuity it has a lenght less than or equal to $l$. But why is it exactly $l$? $\endgroup$ Jul 26 '12 at 20:54
  • $\begingroup$ @Pietro, you can always make it longer, say by composing with a zig-zag $\mathbb{S}^1\to\mathbb{S}^1$. $\endgroup$ Jul 26 '12 at 23:13

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.