If d is a positive integer then P(a0,a1,...,an) is isomorphic to P(da0,da1,...,dan). This is a property of the Proj construction; geometrically it corresponds to the d-tuple Veronese embedding. So without loss of generality one may assume that the degrees ai have no common factor.
Suppose that a0,a1,...,an have no common factor, and that d is a common factor of all the ai with i≠j, then P(a0,a1,...,an) is isomorphic to P(a0/d,...,aj-1/d,aj,aj+1/d,...,an/d) (note that d is coprime to aj; otherwise the isomorphism does not hold). So one may further assume that any set of n variables ai have no common factor. In this case the weighted projective space is called well-formed.
The only singularities of weighted projective space are cyclic quotient singularities.
The weighted projective space P(a0,a1,...,an) is isomorphic to the quotient of projective space by the group that is the product of the groups of roots of unity of orders a0,a1,...,an acting diagonally.[2]
References
edit
^M. Rossi and L. Terracini, Linear algebra and toric data of weighted projective spaces. Rend. Semin. Mat. Univ. Politec. Torino 70 (2012), no. 4, 469--495, proposition 8
^This should be understood as a GIT quotient. In a more general setting, one can speak of a weighted projective stack. See https://mathoverflow.net/questions/136888/.
Dolgachev, Igor (1982), "Weighted projective varieties", Group actions and vector fields (Vancouver, B.C., 1981), Lecture Notes in Math., vol. 956, Berlin: Springer, pp. 34–71, CiteSeerX10.1.1.169.5185, doi:10.1007/BFb0101508, ISBN 978-3-540-11946-3, MR 0704986
Hosgood, Timothy (2016), An introduction to varieties in weighted projective space, arXiv:1604.02441, Bibcode:2016arXiv160402441H
Reid, Miles (2002), Graded rings and varieties in weighted projective space(PDF)