Some example calculations with diffstrata.
The purpose of diffstrata is to make computations in the tautological ring of the moduli space of multi-scale -differentials, which is a compactification of strata of k-differentials.
One of the main goals during the developements was to compute the Euler characteristic of strata of k-differentials where such that .
The tautological ring
As diffstrata does computations in the (vertical) tautological ring, we first describe how to obtain and evaluate the elements of this ring.
The abelian case
We first consider the case , i.e. the case of abelian differentials. Recall that the boundary of the moduli space of multi-scales differentials is stratified by enhanced level graphs.
Diffstrata only knows those level graphs without horizontal edges. As a first example, we create a stratum and list all 2-level graphs (called BICs for bi-colored) in the boundary of .
In the above images, the rectangles are the vertices of the graphs, the numbers inside are the genera, the numbers in brackets are the level the vertex is contained in, and the number at the edges and legs are the orders of the differential at the corresponding point.
Each boundary stratum in codimensions is the intersection of BICs . We would like to index this boundary stratum with the tuple , but there might be more than one graph that is the intersection of those BICs. Assume that there are such graphs. We index those graphs with the so-called enhanced profiles .
In the above example, there is only one graph in codimension :
The (vertical) tautological ring is the ring generated by the BICs and the -classes. Other important classes contained in this ring are the -classes and the first Chern class of the tautological bundle . We pick up our previouse example and compute some intersection numbers.
The case of -differentials
We now consider the case . There is a stratifications of the boundary by the decorated dual graphs of the curves underlying the -differentials (we will call those graphs -graphs in the following). This stratification turns out to be too coarse for our purposes.
To obtain a finer stratification, recall that each -differential comes with a canonical cover (that is an abelian differential together with an automorphism of order such that the abelian differential is in the eigenspace of the automorphism for a primitive -th root of unity ). This construction extends to the boundary by gluing the canonical covers of all irreducible components of the nodal curves to obtain an admissible cover. Note however that a given -graph might have multiple canonical covers. Hence the canonical covers give a finer stratification of the boundary, and this stratification is the one diffstrata works with.
When printing a graph in a stratum of -differentials, diffstrata will a priori print the canonical cover, but you can explicitly ask for the -graph.
Everything that was said about the tautological ring in the abelian case is still true, with one exception: The first Chern class of the tautological bundle is no longer called , but . (For actually , so you might simply always use .)
Higher level functions
There are some interesting invariants of the stratum that can be computed via intersection theory and for which the formulas are already implemented.
The Euler characteristic of the projectivized strata can be computed as follows.
For , the Masur-Veech volume of the strata can be computed as follows.