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 |
The object pushforward is a method function.