MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

$(M^n,g)$ is a compact $n$ dimensional manifold of negative curvature with n>2 . let $\alpha$ be a simple closed geodesic loop in $M$ based at a point $p$

1) will the geodesic in the free homotopy class of alpha be simple ?

2) can $\alpha$ be homotopic ( with respect to $p$ ) to a power of another closed curve at $p$

share|cite|improve this question
in 1), do you mean $\alpha$ is a simple closed loop? – Ian Agol Apr 14 '12 at 2:59
Assuming Ian's reading of your question, take hyperbolic n-manifold $M$ containing a closed totally-geodesic subsurface $S$. Then most closed geodesics in $S$ are not simple but are are homotopic to simple loops in $M$ provided $n>2$. For part 3 answer is also negative for $n>2$. You should proofread your posts. – Misha Apr 14 '12 at 4:34
No, the question is still misstated, currently you are asking if A implies A. – Misha Apr 14 '12 at 12:04

2) Yes $\alpha$ can be homotopic to power of another loop.

Choose a manifold with a closed geodesic $\gamma$, say 1-periodic. Assume that the curvature tensor along $\gamma$ is generic (this can be arranged by small perturbation).

If $n\ge 3$ then there is a Jacobi field $J(t)$, $t\in[0,2]$ such that $J(0)=J(2)$, but $J(t)\ne J(t+1)$ for any $t\in[0,1]$.

Take $p=\exp_{\gamma(0)}(\epsilon\cdot J(0))$ for small $\epsilon>0$. Then the geodesic loop $\alpha$ based at $p$ which goes around $\gamma$ twice will have no self-intersections.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.