I'm working on the following problem:
Let $S$ be the unit $2$-sphere minus the north and south poles, and let $M = (0,\pi) \times \mathbb R$. Define $q : M \to S$ by $q(\phi,\theta) = (\sin\phi\cos\theta, \sin\phi\sin\theta, \cos\phi)$, and let $g$ be the metric on $M$ given by pulling back the round metric $g = q^*\mathring{g}$. Prove the Riemannian manifold $(M,g)$ has diameter $\pi$, but contains infinitely long properly embedded geodesics.
Constructing the geodesics in question is simple: they are the preimages of great circles that do not pass through the north and south poles. The equator, for example, is one: $\gamma(t) = (\frac\pi 2, t)$ is a properly embedded geodesic in $M$ with infinite length. But this specific example seems to disprove the assertion that the diameter of $M$ is finite. What am I overlooking to show the diameter is finite?
Best Answer
That this problem illustrates that for some Riemannian manifolds $(M, g)$ the length-minimizing paths are not geodesics.
(In fact, for this particular example there are pairs of points that are not connected by any geodesic, despite that the space is connected.) Indeed, this reinforces the point that geodesics are locally length-minimizing, but globally they need not be. (There are simpler examples of this fact, too: For any nonantipodal points $x, y \in S^n$, the minor and major arcs of the great circle passing through them are both geodesics, but the major arc is longer than the minor arc and hence not minimizing.)
Hint The key observation is that the metric in the preimage of the polar regions is small, so a strategy for building a short path between two points is to travel from your starting point to that region, do your lateral movement there, and then drop down to the point of interest.