If a finite group G acts on a smooth variety X over complex number field and the fixed locus of G is smooth subvariety of codimension 1, will the resulting quotient variety be smooth? What will happen if the fixed locus has lager codimension ? thanks.



A question about quotient singularity
In general, for a finite group $G$ acting faithfully on a smooth variety $X$, whether or not the quotient is smooth is determined by the 
[Chevalley-Shephard-Todd theorem:](http://en.wikipedia.org/wiki/Chevalley%E2%80%93Shephard%E2%80%93Todd_theorem)


For $x \in X$, let $G\_x\subset G$ be the stabilizer of $x$. Then a necessary and sufficient condtion for the quotient to be smooth is that each $G\_x$ should be generated by pseudoreflections i.e. elements which fix pointwise a codimension $1$ subvariety of $X$ containing $x$.


In particular, one cannot just look at the fixed locus of $G$ to determine whether the quotient is smooth. It could well be empty but the quotient could still be singular.


