Macaulay2 » Documentation
Packages » GKMVarieties :: EquivariantMap
next | previous | forward | backward | up | index | toc

EquivariantMap -- the class of all equivariant morphisms between GKM varieties

Description

Given two GKM varieties $X$ and $Y$, an equivariant morphism from $X$ to $Y$ induces a map from the torus-fixed points of $X$ to the torus-fixed points of $Y$.

A EquivariantMap C is a HashTable consisting of three keys:

  • source, whose value is a GKMVariety corresponding to the domain of f
  • target, whose value is a GKMVariety corresponding to the codomain of f
  • ptsMap, whose value is a HashTable; its keys are X.points and the values are points of Y.points that the key maps to.

See also

Functions and methods returning an equivariant map:

Methods that use an equivariant map:

  • pullback(EquivariantMap) -- computes the pullback map of equivariant K-classes of an equivariant map
  • pushforward(EquivariantMap) -- see pushforward -- computes the pushforward map of equivariant K-classes of an equivariant map

For the programmer

The object EquivariantMap is a type, with ancestor classes HashTable < Thing.


The source of this document is in /build/reproducible-path/macaulay2-1.25.06+ds/M2/Macaulay2/packages/GKMVarieties/Documentation_GKMVarieties.m2:857:0.