Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

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?

share|cite|improve this question
$X/G$ is quasi-projective: It is the Proj of $\bigoplus \Gamma(X,L^n)^G$ for some ample line bundle $L$ on $X$. – Bonanza Aug 26 '11 at 14:58
Ah, I assumed $X$ projective. Maybe a GIT approach works for quasi-projective also. – Bonanza Aug 26 '11 at 15:02
For 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. – Andrea Aug 26 '11 at 15:15

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.