Action of the group of isometries on a manifold - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-25T01:19:52Z http://mathoverflow.net/feeds/question/31009 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/31009/action-of-the-group-of-isometries-on-a-manifold Action of the group of isometries on a manifold kangdon 2010-07-08T09:17:46Z 2010-07-08T17:59:18Z <p>Hi guys,</p> <p>I am able to prove that any symmetric manifold is complete (Consider a local geodesic and use the symmetry to flip it, effectively doubling the length of the geodesic, ad infinitum). I want to use a similar procedure to prove that a manifold whose isometries act transitively is complete, i.e there is always an isometry which maps the start point of a local geodesic to its end point, preserving the geodesic. I am, however, unable to ensure that it is not `rotated' in the process, i.e I want the pushforward of the initial tangent, by the isometry, to be the final tangent, ensuring the resultant doubled geodesic is smooth.</p> <p>My Lie group theory is a bit scratchy but I assume there is a method which allows me to construct the correct pushforward using only transitivity.</p> <p>Any ideas would be great,</p> <p>regards,</p> <p>MK</p> http://mathoverflow.net/questions/31009/action-of-the-group-of-isometries-on-a-manifold/31012#31012 Answer by Benoît Kloeckner for Action of the group of isometries on a manifold Benoît Kloeckner 2010-07-08T09:32:21Z 2010-07-08T09:32:21Z <p>By the Hopf-Rinow theorem, you only have to prove that the manifold is a complete metric space. By homogeneity, the injectivity radius is bounded from below by a uniform positive constant. Using this and the compacity of balls whose radius is smaller than the injectivity radius of their center it is easy to check the convergence of Cauchy sequences.</p> <p>Another way to do this is to interpret the bound on injectivity radius, $r$ say, in term of geodesic extension: a geodesic $\gamma$ defined on $[a,b]$ can be extended to a geodesic defined on $(a-r,b+r)$. From this the conclusion follows.</p> http://mathoverflow.net/questions/31009/action-of-the-group-of-isometries-on-a-manifold/31089#31089 Answer by Dick Palais for Action of the group of isometries on a manifold Dick Palais 2010-07-08T17:59:18Z 2010-07-08T17:59:18Z <p>It is easy to see that any metrically homogeneous, locally compact, metric space, $X$, is complete. If $p$ is some point of $X$ then, by local compactness, for some $\epsilon > 0$, the closed $\epsilon$-ball about $p$ is compact and hence complete. Then, by metric homogeneity, the closed $\epsilon$-ball about <em>every</em> point is complete. Then, if $x_n$ is a Cauchy sequence in X, eventually the $x_n$ are all within $\epsilon/2$ of eachother, and so by the triangle inequality they eventually lie in a closed $\epsilon$ ball about one of them. qed (Of course, the same argument shows more generally that if a metrically homogeneous metric space has one point with a complete neighborhood then it is complete.)</p>