next | previous | forward | backward | up | top | index | toc | Macaulay2 web site
Schubert2 :: AbstractVarietyMap _*

AbstractVarietyMap _* -- push forward operator associated to a map of varieties

Synopsis

Description

i1 : X = PP'^4

o1 = X

o1 : a flag bundle with ranks {4, 1}
i2 : f = X.StructureMap

o2 = f

o2 : a map to point from X
i3 : OO_X(1)

o3 = a sheaf

o3 : an abstract sheaf of rank 1 on X
i4 : f_* oo

o4 = a sheaf

o4 : an abstract sheaf of rank 5 on point
i5 : ch OO_X(1)

             1 2   1 3    1 4
o5 = 1 + h + -h  + -h  + --h
             2     6     24

                   QQ[][H   , H   , H   , H   , h]
                         1,1   1,2   1,3   1,4
o5 : -----------------------------------------------------------
     (H    + h, H    + H   h, H    + H   h, H    + H   h, H   h)
       1,1       1,2    1,1    1,3    1,2    1,4    1,3    1,4
i6 : f_* oo

      1
o6 = --
     24

o6 : QQ[]

See also