A proof of Kobayashi's properness criterion from a viewpoint of metric geometry

Kento Ogawa, Takayuki Okuda

Let $G$ be a locally-compact group and $(H,L)$ a pair of closed subgroups of $G$. For the cases where $G$ is a real linear reductive Lie group, T. Kobayashi [Math. Ann. '89, J. Lie…