A characterization of proper actions with bornology and coarse geometry

In 1961, Palais showed that every smooth proper Lie group action on a smooth manifold admits a compatible Riemannian metric on the manifold such that the action becomes isometric. In 2006, Yoshino studied a continuous proper action of a locally compact Hausdorff group on a locally compact Hausdorff space, and showed that the space carries a compatible uniform structure making the action equi continuous in an appropriate setting. In this paper, we focus on bornological proper actions on bornological spaces and prove that the space admits a compatible coarse structure such that the action becomes equi controlled.