Virtual K-theoretic invariants of the nested Hilbert scheme on $\mathbb{C}^2$

We construct a nested version of the non-commutative Hilbert scheme and embed the nested Hilbert scheme of points on $\mathbb{C}^n$ as the commutativity locus.

In the $\mathbb{C}^2$-case, we exhibit this locus as the zero locus of two different sections of bundles and use this description to equip the nested Hilbert scheme of points with a perfect obstruction theory equivalent to that of Gholampour, Sheshmani and Yau.

We study the torus equivariant pushforward of the virtual structure sheaf under the map of nested Hilbert schemes forgetting the largest subscheme of the nesting.

Using a map of the bundles on the non-commutative Hilbert scheme, we prove that this pushforward is a twist of the virtual structure sheaf on the lower level.

Using localization, we show that the twist is by a constant class with values corresponding to the equivariant Euler characteristic of a tautological class of the Hilbert scheme of points.

From this, we derive a closed formula for the multivariate generating series of the equivariant virtual Euler characteristic of the nested Hilbert scheme of points.