Degree-one generation condition for Proj

ID: degree-one-generation-condition-for-proj

If a nonnegatively graded ring is generated by as an -algebra, the standard affine opens of Proj with cover . Indeed a homogeneous prime containing every degree-one element would contain the irrelevant ideal of a graded ring. This condition makes all twisting sheaves on Proj invertible and makes graded sheafification compatible with tensor products of sheaves.

New to topics? Read the docs here!