next | previous | forward | backward | up | top | index | toc | Macaulay2 website
GKMVarieties :: pushforward

pushforward -- computes the pushforward map of equivariant K-classes of an equivariant map

Synopsis

Description

Given two GKM varieties $X$ and $Y$, this method computes the pushforward of a KClass on $X$ along an equivariant morphism $X \to Y$.

i1 : R = makeCharacterRing 4;
i2 : FlGr = generalizedFlagVariety("A",3,{1,2},R)

o2 = a GKM variety with an action of a 4-dimensional torus

o2 : GKMVariety
i3 : Gr24 = generalizedFlagVariety("A",3,{2},R)

o3 = a GKM variety with an action of a 4-dimensional torus

o3 : GKMVariety
i4 : f = flagMap(FlGr,Gr24)

o4 = an equivariant map of GKM varieties 

o4 : EquivariantMap
i5 : O1 = ampleKClass FlGr

o5 = an equivariant K-class on a GKM variety 

o5 : KClass
i6 : (pushforward f)(O1)

o6 = an equivariant K-class on a GKM variety 

o6 : KClass

See also

Ways to use pushforward :

For the programmer

The object pushforward is a method function.