A projective -variety (Zariski closed subvarieties of a projective space over ) is determined up to an isomorphism by its homogeneous coordinate ring which is an -graded commutative -algebra; this coordinate ring depends slightly on the embedding of the variety into a projective space (see ample line bundle). More generally, to any -graded commutative ring one can define a locally ringed space, in fact an algebraic scheme, , the “Proj” or projective spectrum of .
A projective scheme is an algebraic scheme which is isomorphic as a locally ringed space to a Proj of some finitely generated graded commutative ring. Alternatively a projective scheme is a closed subscheme of a projective space.
More generally Grothendieck defines projective morphisms of schemes or relative projective schemes, which can be presented as generalized version of Proj for projective fiber bundles associated to locally free modules over a target.
…
(Serre's theorem on Proj) The category of quasicoherent sheaves of -modules where is equivalent to the localization of the category of graded -modules on the torsion subcategory of graded -modules of finite length.
There are also categorical versions of Proj for noncommutative -graded rings, which serve as a basis for noncommutative algebraic geometry.
Last revised on August 24, 2024 at 15:22:54. See the history of this page for a list of all contributions to it.