Math.RootLoci.CSM.Equivariant.Direct

We compute the open CSM classes directly, generalizing Aluffi's argument to the equivariant case:

First we compute the CSM of set of the distinct ordered points, then push that forward first with delta_* then with pi_* to get the CSM of the distinct unordered points with given multiplicities.

After that, we can get the closed CSM classes by summing over the strata in the closure.

This is faster, especially since we have a (recursive) formula for the CSM of the distinct ordered points.

Documentation

directOpenCSM :: ChernBase base => Partition -> ZMod (Gam base)

CSM class of the open strata.

We just push-forward first with Delta then down with Pi the conjectured (recursive) formula for the CSM of the set of distinct ordered points

directClosedCSM :: ChernBase base => Partition -> ZMod (Gam base)

To compute the CSM of the closed loci, we just some over the open strata in the closure