A Lie group can (often) be recovered as the $\mathbb{R}$-points of a group scheme. I am wondering if this parallelism carries over to proper actions.

In particular, let $G$ be a Lie group acting on a manifold $M$. Let $\underline G$ be the associated group scheme acting on the scheme $\underline M$, where the $\mathbb{R}$-points of $\underline M$ can be identified with $M$.

Could it be true that the map $G\times M\to M\times M$ is proper (in the topological sense) if and only if $\underline G\times \underline M\to \underline M\times \underline M$ is a proper morphism of schemes?