On models of algebraic group actions

We show that every action of a smooth algebraic group on a variety admits a normal projective model. Along the way, we present new proofs of some basic results on algebraic transformation groups, including Weil’s regularization theorem.