Stack Exchange network consists of 183 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.
Cool, Topping's example seems to work. For the record, I asked this because Jost claims one gets full convergence in his Riemannian geometry book but offers no proof -- this had been bugging me for some time.
@BenoîtKloeckner If it's not, then it could shrink to a point. However, it is easy to construct an example where $u_0$ is homotopically nontrivial but converges to a geodesic with positive length. (Think of a dumbbell.)
@MarkGrant Naively applying 5.D does not seem to work because $p+q-1=1$ in this case. Does one have to do something special with 1.A, perhaps related to the mod 2 coefficients?
