Let $X$ be a quasi-projective variety over an algebraicaly closed field and $G$ be a finite group acting on $X$ through automorphisms. Can you tell me how to prove that the quotient $X/G$ is also a quasi-projective variety. In particular: Why is this quotient a variety? Why is this variety quasi-projective?
Quotient of quasi-projective variety
3
$\begingroup$
algebraic-geometry
-
0For the existence of the quotient you can see exercises 2.3.20, 2.3.21, 3.3.23 and proposition 3.3.36 of Qing Liu's book *Algebraic Geometry and Arithmetic Curves*. For quasi-projectiveness of the quotient you must read Mumford's *Geometric Invariant Theory*, I think. But I don't know if every finite quotient of a quasi-projective variety is a quasi-projective variety. – 2011-08-26