# Finite group action on quasi-projective varieties

Let $X$ be a smooth, quasi-projective variety, $G$ be a finite group which acts freely and properly on $X$. Denote by $\alpha:X \to X/G$ the quotient. Is $\alpha$ generically etale?

Also, as I am new to this topic (of group action on varieties) can someone suggest a good reference for the topic? I am mainly interested in finite group actions.

• The morphism $X\to X/G$ is finite. Therefore, it is generically etale if and only if the extension of function fields $K(X/G) \subset K(X)$ is separable. This is the case if the base field (which you didn't specify) is of characteristic zero, because fields of characteristic zero are perfect. Apr 17, 2016 at 17:58
• @AriyanJavanpeykar Thanks a lot for the answer. Could you please suggest some text to study this topic as well?
– Ron
Apr 17, 2016 at 18:06
• You could have a look at Liu's book on Algebraic Geometry, and specifically Chapter 4 in which he discusses flat morphisms, etale morphisms and smooth morphisms. Of course, the same is done in Hartshorne's book. Apr 17, 2016 at 19:39
• If a quotient exists as a variety or a scheme, then the fibres of $\alpha$ will be the same as $G$-orbits, and all contained in an open affine of $X$. But there exist group actions like in your setting where this condition fails, and hence no scheme quotient exists. Thus you must clarify what you mean by "the quotient". Another comment is that since you assume the action is free, if a quotient exists then $\alpha$ will in fact be \'etale everywhere. Apr 17, 2016 at 19:53
• Dear Ron, the best-known counterexample is due to Hironaka. It appears here and there in the literature; a good source is wikipedia's page for "Hironaka's example". Apr 18, 2016 at 7:00

Let $X$ be a normal variety over an algebraically closed field of characteristic 0 with a finite group $G$ acting effectively. Since $G$ is finite it is reductive and a geometric quotient $X/G$ exists. The quotient map $X\to X/G$ is étale at a point $x\in X$ if and only if the stabilizer at $x$ is trivial. Since the equations $gx-x$ are algebraic and define the locus where the action fails to be free, the complement is Zariski open and shows that the quotient map is always generically étale.
• I believe you need to impose that $X$ be quasi-projective.
• You don't need quasi-projectiveness. Being of finite type is enough: given any (irreducible) finite-type $X$ with $G$ action, let $Y\subset X$ be a closed divisor such that the complement $X\setminus Y$ is affine. Then the complement $X\setminus G\cdot Y$ is an affine scheme, and Sean's answer applies. Apr 18, 2016 at 17:40