trivialKClass -- the equivariant K-class of the structure sheaf

Synopsis

Usage:

trivialKClass X
Inputs:
- X, a GKM variety,
Outputs:
- an equivariant K-class,

Description

Given a GKM variety $X$ this function computes the KClass of the structure sheaf $O_X$. In terms of the localization map, $O_X$ corresponds to the constant function $1$.

i1 : X = projectiveSpace 3;

i2 : C = trivialKClass X;

i3 : peek C

o3 = KClass{KPolynomials => HashTable{set {0} => 1}                           }
                                      set {1} => 1
                                      set {2} => 1
                                      set {3} => 1
            variety => a "GKM variety" with an action of a 4-dimensional torus

Ways to use trivialKClass :

trivialKClass(GKMVariety)

For the programmer

The object trivialKClass is a method function.