黎曼流形
As a sub-Riemannian manifold.