5
$\begingroup$

A divergent curve on a noncompact Riemannian manifold $M$ is a curve $\alpha:[0,\infty)\to M$ where given any compact $K\subset M$ we have there exists $t_{0}$ such that $\alpha(t) \notin K$ for $t>t_{0}$. Subsequently the length is defined in the usual sense for curves on a manifold:

$L(\alpha)=\int_{0}^{\infty} ||\alpha′(t)||dt$.

The problem is

Prove that a noncompact manifold is complete if and only if every divergent curve has unbounded (i.e. infinite) length.

I proved that if M is Complete ⟹ Every divergent curve has unbounded length. But i don't know how i prove the reciprocal.

Thanks

$\endgroup$
8
$\begingroup$

Every divergent curve has unbounded length $\implies$ Completeness:

Suppose the manifold was not complete. Then, there exists a geodesic $\gamma:[0,T) \to M $ which cannot be extended further than $T$. It is clear that this curve has bounded length (specifically, $k.T$ for some constant $k$). However, $\gamma$ is divergent. This is a standard result of maximal solutions of ODEs, but we can make a particular simple proof here: Suppose it was not divergent. Then it is contained in some compact set. Consider the sequence $\gamma(t_n)$, with $t_n \to T$. It has a convergent subsequence $\gamma(t_{n_i})\to p$. Consider this point $p$, and a strongly normal neighbourhood chart domain(*) around it. Now, take a point $\gamma(\xi)$ ($\xi$ sufficiently close to $T$) such that it is in this chart. Since $\gamma(t_{n_i}) \to p$, the line segment (in the local chart on $T_{\gamma(\xi)}M$) emanating from $\gamma(\xi)$ must pass through $p$. By passing a little more through $p$ with the segment (which is possible because we are in an open set), we would be able to extend the geodesic, which is a contradiction.

(*) Strongly normal in the sense that it is a normal neighbourhood of each one of its points.

Completeness $\implies$ Every divergent curve has unbounded length:

Note that if the manifold is complete, Hopf-Rinow holds. Therefore, the closed ball of radius $N$ ($N$ a natural number) is compact. Your hypothesis says that the curve must leave this ball. Note that this holds for any $N$. What does this imply?

By definition of the metric on a Riemannian manifold, this implies that, for a divergent curve $\alpha$, the $t_0$ given by the definition of divergence (when considering the compact being the closed ball of radius $N$) is such that the length of $\alpha|_{[0,t_0]}$ is greater than $N$. Therefore, $$\int_0^{\infty} \Vert \alpha '\Vert \geq \int_0^{t_0} \Vert \alpha '\Vert \geq N .$$

$\endgroup$
0
$\begingroup$

I'd like to give a slightly more direct and generalizable proof that every divergent curve having unbounded length implies completeness.

Let $\gamma:[0,T) \to M$ ($T \leq \infty$) be a continuously (equivalent to smoothly) inextendible geodesic; we wish to show that $\gamma$ has infinite length. If $\gamma$ is divergent, we are done by hypothesis. Otherwise, the end of $\gamma$ is contained in a compact set. Thus there exists a sequence $(t_n) \subset [0,T)$ satisfying $t_n \to T$ with $(\gamma(t_n))$ convergent to some point $p \in M$. Since $\gamma$ is inextendible, there must exist another such sequence $(s_n)$ with $(\gamma(s_n))$ convergent to another point $q \in M, q \neq p$. Passing to subsequences, we may assume $t_n \leq s_n \leq t_{n+1}$. Choosing $\epsilon = \frac{d(p,q)}{3}$, for sufficiently large $n$ we have $\gamma(t_n) \in B_\epsilon(p)$, $\gamma(s_n) \in B_\epsilon(q)$, so that the triangle inequality gives $$L(\gamma|_{[t_n,s_n]}) \geq d(\gamma(t_n),\gamma(s_n)) \geq d(p,q)-d(p,\gamma(t_n)) - d(q,\gamma(s_n)) \geq 3 \epsilon - \epsilon - \epsilon = \epsilon$$ So that $L(\gamma) \geq \sum_n L(\gamma|_{[t_n,s_n]})$, which diverges, as desired.

Note this proof in fact shows more generally that every continuously inextendible curve (not necessarily a geodesic) of finite length in a length space is divergent. By constructing a path of finite length through (a subsequence of) a Cauchy sequence, one can show your condition implies completeness in the case of a length space. Hopf-Rinow partially generalizes to length spaces as well, and it says that a complete and locally compact length space has the property that closed and bounded sets are compact, giving that such a space has no divergent curves of finite length.

$\endgroup$

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.