Hodge numbers for Quot schemes on curves
The functionality outlined below, and much more, is implemented in Hodge diamond cutter, which can be used in Sage. If you use it for your research, please cite it using .
Last week Massimo Bagnarol, Barbara Fantechi, Fabio Perroni: On the motive of zero-dimensional Quot schemes on a curve appeared on the arXiv, and they study moduli spaces of sheaves on a curve which I hadn't seen before (at least not for their intrinsic geometry, only as a tool). They describe the class in the Grothendieck ring of $\mathrm{Quot}_C^n(\mathcal{E})$, where $C$ is a smooth projective curve of genus $g$, $\mathcal{E}$ is a vector bundle of rank $r$ on $C$ and $n\geq 1$ is the length of the finite-dimensional quotients of $\mathcal{E}$ which are parametrised.
They show that the class in the Grothendieck ring is independent of $\mathcal{E}$, effectively reducing the computation to an earlier result of Bifet for $\mathcal{E}=\mathcal{O}_C^{\oplus r}$. The formula (see proposition 4.5) is \begin{equation} [\mathrm{Quot}_C^n(\mathcal{E})] = \sum_{\mathbf{n}\in\mathbb{N}^r,|\mathbf{n}|=n} [\operatorname{Sym}^{n_1}C]\cdots[\operatorname{Sym}^{n_r}C]\mathbb{L}^{d_{\mathbf{n}}} \end{equation} where $d_{\mathbf{n}}:=\sum_{i=1}^r(i-1)n_i$, so one can then apply the motivic measure $\mathrm{K}_0(\mathrm{Var}/k)\to\mathbb{Z}[x,y]$ given by the Hodge polynomial to get the Hodge diamond. For all of you who wish to use it in Hodge diamond cutter I have good news, as I just added it.
Let me know about any requests you might have!