Homology of the three flag Hilbert scheme

We prove the existence of an affine paving for the three-step flag Hilbert scheme $$\text{Hilb}^{n, n+1, n+2}(0) := \left\{\mathbb{C}[[x,y]]\supset I_n\supset I_{n+1}\supset I_{n+2}: I_i \,\,\text{ ideals with } \text{dim}_{\mathbb{C}} {\mathbb{C}[x,y]}/{I_i} = i \right\}$$ of 0-dimensional subschemes that are supported at the origin of $\mathbb{C}^2$. This is done by showing that the space stratifies in smooth subvarieties, the Hilbert-Samuel's strata, each of which has an affine paving with cells of known dimension, indexed by marked Young diagrams. The affine pavings of the Hilbert-Samuel's strata allow us to prove that the Poincar\'{e} polynomials for $\text{Hilb}^{n,n+1, n+2}(0)$ satisfy:$$\sum_{n\geq 0} P_q\left(\text{Hilb}^{n,n+1, n+2}(0)\right) z^n = \frac{q+1}{(1-zq)(1-z^2q^2)}\,\, \prod_{k\geq 1} \frac{1}{1-z^kq^{k-1}}.$$ In the process of proving this formula we relate combinatorially the homology of our spaces with that of known subspaces of $\text{Hilb}^{n+1, n+3}(0)$. As a corollary we find an affine paving and a formula for the generating function of the Poincar\'{e} polynomials of $\text{Hilb}^{n, n+2}(0)$ for all $n\in \mathbb{N}$.