variety(CoherentSheaf) -- the underlying variety over which a coherent sheaf or morphism is defined.

• Function: variety

• Usage:

  variety F

• Inputs:
  • F, a coherent sheaf, a sheaf of rings, a sum of twists, or a morphism of sheaves,
• Outputs:
  • a variety,

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

o1 = X

o1 : ProjectiveVariety

i2 : variety OO_X

o2 = X

o2 : ProjectiveVariety

i3 : variety OO_X(3)

o3 = X

o3 : ProjectiveVariety

i4 : variety id_(OO_X(3))

o4 = X

o4 : ProjectiveVariety