module(CoherentSheaf) -- get the module defining a coherent sheaf

Synopsis

• Function: module

• Usage:

  module F

• Inputs:
  • F, a coherent sheaf
• Outputs:
  • a module, the module from which the coherent sheaf F was defined

Description

i1 : X = Proj(QQ[x,y,z])

o1 = X

o1 : ProjectiveVariety

i2 : F = OO_X(3)

        1
o2 = OO  (3)
       X

o2 : coherent sheaf on X, free of rank 1

i3 : module F

               1
o3 = (QQ[x..z])

o3 : QQ[x..z]-module, free, degrees {-3}

i4 : degrees oo

o4 = {{-3}}

o4 : List

See also

• OO -- the structure sheaf
• degrees -- degrees of generators
• Proj -- make a projective variety