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!