  Let $R$ be a commutative unital ring. Given a finitely presented affine
$R$-group scheme $G$ acting on a separated scheme $X$ of finite type over $R$,
we show that there is a prime $p_0$ such that for any $R$-algebra $k$ which is
an algebraically closed field of characteristic $p\geq p_0$, the centraliser in
$G_k$ of any closed subscheme of $X_k$ is smooth. When $X$ is not necessarily
separated we show similarly that for any closed subscheme $Y \subseteq X$ there
is a $p_1$ depending on $Y$ such that when $k$ has characteristic $p \geq p_1$
the normaliser of $Y$ in $G_k$ is smooth. We prove these results using the
Lefschetz principle together with careful application of Gr\"obner basis
techniques, and using a suitable notion of the complexity of an action.
  We apply our results to demonstrate that the Kostant-Kirillov-Souriau theorem
holds for Lie algebras of algebraic groups in large positive characteristics.
In particular, every such Lie algebra decomposes as a disjoint union of
symplectic varieties, each of which is a coadjoint orbit.
