Homology of the three flag Hilbert scheme
We prove the existence of an affine paving for the three-step flag Hilbert scheme Hilbn,n+1,n+2(0):={C[[x,y]]⊃In⊃In+1⊃In+2:Ii ideals with dimCC[x,y]/Ii=i} of 0-dimensional subschemes that are supported at the origin of C2. 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é polynomials for Hilbn,n+1,n+2(0) satisfy:∑n≥0Pq(Hilbn,n+1,n+2(0))zn=(1−zq)(1−z2q2)q+1∏k≥11−zkqk−11. In the process of proving this formula we relate combinatorially the homology of our spaces with that of known subspaces of Hilbn+1,n+3(0). As a corollary we find an affine paving and a formula for the generating function of the Poincaré polynomials of Hilbn,n+2(0) for all n∈N.