A Cartan geometry from a correspondence space in Riemannian geometry
Cartan geometries are curved analogues of homogeneous spaces, and the correspondence space construction produces, from a Cartan geometry of one type, another of a different type over a larger base manifold. The unit tangent bundle of a Riemannian manifold is, in this language, a Cartan geometry of type $(\operatorname{...