nLab projective scheme

Redirected from "projective morphism".
Note: injective or projective morphism and projective scheme both redirect for "projective morphism".
Contents

Contents

Idea

A projective kk-variety (Zariski closed subvarieties of a projective space over kk) is determined up to an isomorphism by its homogeneous coordinate ring which is an N\mathbf{N}-graded commutative kk-algebra; this coordinate ring depends slightly on the embedding of the variety into a projective space (see ample line bundle). More generally, to any N\mathbf{N}-graded commutative ring AA one can define a locally ringed space, in fact an algebraic scheme, Proj(A)Proj(A), the “Proj” or projective spectrum of AA.

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.

Construction of Proj

Properties

(Serre's theorem on Proj) The category of quasicoherent sheaves of 𝒪 X\mathcal{O}_X-modules where X=Proj(A)X = Proj(A) is equivalent to the localization of the category of graded AA-modules on the torsion subcategory of graded AA-modules of finite length.

Generalizations

There are also categorical versions of Proj for noncommutative N\mathbf{N}-graded rings, which serve as a basis for noncommutative algebraic geometry.

References

  • The Stacks project: Proj of a graded ring, tag/00JM
  • Robin Hartshorne, Algebraic geometry, Springer Graduate Texts in Mathematics
  • eom: projective scheme
  • Ravi Vakil, Foundations of algebraic geometry, lecture 14, course notes pdf

Last revised on August 24, 2024 at 15:22:54. See the history of this page for a list of all contributions to it.