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

AbstractVarietyMap ^* -- pull back operator associated to a map of varieties

Synopsis

Description

i1 : S = base(4, Bundle => (E,4,c) )

o1 = S

o1 : an abstract variety of dimension 4
i2 : X = flagBundle( {2,2}, E )

o2 = X

o2 : a flag bundle with subquotient ranks {2:2}
i3 : f = X.StructureMap

o3 = f

o3 : a map to S from X
i4 : chern E

o4 = 1 + c  + c  + c  + c
          1    2    3    4

o4 : QQ[c , c , c , c ]
         1   2   3   4
i5 : f^* oo

o5 = 1 + c  + c  + c  + c
          1    2    3    4

                                QQ[c , c , c , c ][H   , H   , H   , H   ]
                                    1   2   3   4   1,1   1,2   2,1   2,2
o5 : ------------------------------------------------------------------------------------------------
     (- H    - H    + c , - H    - H   H    - H    + c , - H   H    - H   H    + c , - H   H    + c )
         1,1    2,1    1     1,2    1,1 2,1    2,2    2     1,2 2,1    1,1 2,2    3     1,2 2,2    4
i6 : f^* E

o6 = a sheaf

o6 : an abstract sheaf of rank 4 on X
i7 : chern oo

o7 = 1 + c  + c  + c  + c
          1    2    3    4

                                QQ[c , c , c , c ][H   , H   , H   , H   ]
                                    1   2   3   4   1,1   1,2   2,1   2,2
o7 : ------------------------------------------------------------------------------------------------
     (- H    - H    + c , - H    - H   H    - H    + c , - H   H    - H   H    + c , - H   H    + c )
         1,1    2,1    1     1,2    1,1 2,1    2,2    2     1,2 2,1    1,1 2,2    3     1,2 2,2    4

See also