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

## Synopsis

• Usage:
pushforward(f)
• Inputs:
• f, ,
• Outputs:
• , whose input is a KClass on the source GKMVariety of f and output is its pushforward along f

## 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