OO _ AbstractVariety -- the structure sheaf of an abstract variety

• Operator: _

• Usage:

  OO_X

• Inputs:
  • X, an abstract variety,
• Outputs:
  • an abstract sheaf, the structure sheaf of X

i1 : X = abstractProjectiveSpace 4

o1 = X

o1 : a flag bundle with subquotient ranks {1, 4}

i2 : OO_X

o2 = a sheaf

o2 : an abstract sheaf of rank 1 on X

i3 : rank oo

o3 = 1

i4 : chi ooo

o4 = 1