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

Synopsis

• Usage:

  pushforward(f)

• Inputs:
  • f, an equivariant map,
• Outputs:
  • a function closure, whose input is a KClass on the source GKMVariety of f and output is its pushforward along f

Description

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

• flagMap -- creates equivariant maps between generalized flag varieties
• pullback(EquivariantMap) -- computes the pullback map of equivariant K-classes of an equivariant map
• pushforward -- computes the pushforward map of equivariant K-classes of an equivariant map
• euler(KClass) -- computes the equivariant Euler characteristic of an equivariant K-class