(quote " ",CoherentSheaf,ZZ)

F(n) -- twist a coherent sheaf F on a projective variety by the n-th power of the hyperplane line bundle.

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

o1 = Proj(QQ[x,y,z])

o1 : ProjectiveVariety
i2 : F = OO_X

                      1
o2 = sheaf((QQ[x,y,z]) )

o2 : CoherentSheaf
i3 : G = F(3)

                      1
o3 = sheaf((QQ[x,y,z]) )

o3 : CoherentSheaf
i4 : module G

                1
o4 = (QQ[x,y,z])

o4 : QQ[x,y,z] - module, free
i5 : degrees oo

o5 = {{-3}}

o5 : List

See also CoherentSheaf.

topindexpreviousupnext