Let $X$ be a variety (i.e. a reduced scheme of finite type over a field) and let $G$ be an abstract group, finitely generated, acting of $X$ algebraically freely. The example I have in mind is ...
It's true that the pushforward of a coherent sheaf is coherent via a proper morphism: but do proper morphisms preserve a finite presentation? Under some assumptions perhaps? Does it change if we are ...