Macaulay2 » Documentation
Packages » Schubert2 :: AbstractSheaf * AbstractSheaf
next | previous | forward | backward | up | index | toc

AbstractSheaf * AbstractSheaf -- (tensor) product of two abstract sheaves

Description

If F or G is a ring element of degree 0, it represents a trivial bundle of that rank.

i1 : X = abstractProjectiveSpace 1

o1 = X

o1 : a flag bundle with subquotient ranks {2:1}
 
i2 : OO_X(1) * OO_X(2)

o2 = a sheaf

o2 : an abstract sheaf of rank 1 on X
 
i3 : chi oo

o3 = 4

The sheaves can be on different varieties if one of the varieties is over the other.

Ways to use this method:

  • AbstractSheaf * AbstractSheaf -- (tensor) product of two abstract sheaves
  • AbstractSheaf * QQ
  • AbstractSheaf * RingElement
  • AbstractSheaf * ZZ
  • QQ * AbstractSheaf
  • RingElement * AbstractSheaf
  • ZZ * AbstractSheaf

The source of this document is in /__w/M2/M2/macaulay2-1.26.05+ds/M2/Macaulay2/packages/Schubert2.m2:1857:0.