CoherentSheaf ZZ -- canonical twist of a coherent sheaf

• Operator: SPACE

• Usage:

  F(n)

• Inputs:
  • F, a coherent sheaf, or a sheaf of rings, on a projective variety
  • n, an integer
• Outputs:
  • a coherent sheaf, the twist of F on a projective variety by the n-th power of the hyperplane line bundle.

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

o1 = X

o1 : ProjectiveVariety

i2 : F = OO_X

o2 = OO
       X

o2 : SheafOfRings

i3 : G = F(3)

        1
o3 = OO  (3)
       X

o3 : coherent sheaf on X, free of rank 1

i4 : module G

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

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

i5 : degrees oo

o5 = {{-3}}

o5 : List