Misplaced Pages

Weighted projective space

Article snapshot taken from Wikipedia with creative commons attribution-sharealike license. Give it a read and then ask your questions in the chat. We can research this topic together.

In algebraic geometry, a weighted projective space P(a0,...,an) is the projective variety Proj(k) associated to the graded ring k where the variable xk has degree ak.

Properties

  • 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 ij, 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.
  • A weighted projective space is a Q-Fano variety and a toric variety.
  • 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.

References

  1. 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
  2. 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/.


Stub icon

This algebraic geometry–related article is a stub. You can help Misplaced Pages by expanding it.

Categories: