|
3
|
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. |
||||||
|
|
6
|
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. |
||
|
|
|
5
|
This is true. There is a very thorough discussion of this result in Mumford's book on abelian varieties. |
||
|
|
