next | previous | forward | backward | up | top | index | toc | packages | Macaulay2 website
Schubert2 :: StructureMap

StructureMap -- get the structure map of an abstract variety

Synopsis

Description

i1 : F = abstractProjectiveSpace 2

o1 = F

o1 : a flag bundle with subquotient ranks {1..2}
i2 : f = F.StructureMap

o2 = f

o2 : a map to point from F
i3 : source f

o3 = F

o3 : a flag bundle with subquotient ranks {1..2}
i4 : f_* OO_F

o4 = a sheaf

o4 : an abstract sheaf of rank 1 on point
i5 : f_* OO_F(1)

o5 = a sheaf

o5 : an abstract sheaf of rank 3 on point
i6 : target f

o6 = point

o6 : an abstract variety of dimension 0
i7 : f^* OO_point

o7 = a sheaf

o7 : an abstract sheaf of rank 1 on F

See also

For the programmer

The object StructureMap is a symbol.