Homogeneous Riemannian manifold

A Riemannian manifold is homogeneous when its isometry group acts transitively on points. For example, a Lie group with a left-invariant metric is homogeneous under left translations. Homogeneity gives the same local metric-ball geometry at every point, which yields the completeness of homogeneous Riemannian manifolds. It does not imply two-point homogeneity: that stronger property also controls directions and pairs at equal distance.

A connected Riemannian manifold is two-point homogeneous if its isometry group is transitive on ordered pairs at each fixed Riemannian distance. The equal-distance condition is necessary because isometries preserve distance. Round spheres and Euclidean spaces are examples. The unit tangent transitivity characterizes two-point homogeneity lemma shows that this pair condition is equivalent to transitivity on the unit tangent bundle.

For a connected Riemannian manifold, two-point homogeneity is equivalent to the isometry group being transitive on the unit tangent bundle. One direction follows by taking short equal-length radial geodesic segments: the Gauss lemma identifies their distance, and injectivity of the exponential map identifies the initial directions after the endpoints are matched. Conversely, unit tangent transitivity implies point homogeneity, hence completeness. The Hopf-Rinow theorem supplies minimizing geodesics for arbitrary equal-distance pairs. Matching their initial unit tangent vectors and using uniqueness of the geodesic equation matches their other endpoints.

In a homogeneous Riemannian manifold, choose $r>0$ so that one closed metric ball $\overline{B}(o,r)$ is compact. Such a ball exists from local compactness and the metric topology. Every radius-$r$ ball is isometric to it. A Cauchy sequence eventually lies in one such compact ball, has a convergent subsequence, and therefore converges. This proves metric completeness; the Hopf-Rinow theorem gives geodesic completeness and minimizing geodesics between points.