MathOverflow is a question and answer site for professional mathematicians. 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 $V/G$ be the orbit space of a finite group $G$ of automorphisms of a complex projective variety $V$. Is $V/G$ a projective variety?

Example: $V/G$ is the space of sets in complex projective $n$-space $P$, of cardinality $\le k$. Here $V=P\times\dots\times P$ ($k$ factors) and $G$ is the permutation group on $k$ letters.

share|cite|improve this question
Could you clarify what you mean by $V/G$? (I know its the quotient variety, but what conditions are you requiring it to satisfy?) – jlk Jul 23 '11 at 3:44
The natural map $V\to V/G$ should be a morphism of projective varieties. – Moe Hirsch Jul 24 '11 at 17:31

Let $A^\bullet$ be the homogeneous coordinate ring of $V$. Then $G$ acts on $A^\bullet$. Let $B^\bullet = (A^\bullet)^G$ be the ring of $G$ invariants. The projective spectrum $Proj(B^\bullet)$ is the required quotient. So, the answer is yes.

share|cite|improve this answer

This is true. There is a very thorough discussion of this result in Mumford's book on abelian varieties.

share|cite|improve this answer

Your Answer


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

Not the answer you're looking for? Browse other questions tagged or ask your own question.