(sheaf,Module,Variety)

sheaf(M,X) -- produce the coherent sheaf on the variety X corresponding to the module M.

If X is the affine variety Spec R, then M should be an R-module. If X is the projective variety Proj R, then M should be a homogeneous R-module.

See also CoherentSheaf.


topindexpreviousupnext