weighted projective space

Proj construction applied to a polynomial ring where the generators have been assigned arbitrary positive-integer degrees

Categories: