Homology of the three flag Hilbert scheme

MaRDI QIDQ6277569zbMATH OpenFDO

Authors Daniele Boccalini

Publication date 16 September 2016

Abstract: We prove the existence of an affine paving for the three-step flag Hilbert scheme ${\displaystyle }$ ext{Hilb}^{n, n+1, n+2}(0) := left{mathbb{C}x,ysupset I_nsupset I_{n+1}supset I_{n+2}: I_i ,, ext{ ideals with } ext{dim}_{mathbb{C}} {mathbb{C}[x,y]}/{I_i} = i ight} ${\displaystyle }$ 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 $ext{Hilb}^{n,n+1,n+2}(0)$ satisfy:${\displaystyle }$ sum_{ngeq 0} P_qleft( ext{Hilb}^{n,n+1, n+2}(0) ight) z^n = frac{q+1}{(1-zq)(1-z^2q^2)},, prod_{kgeq 1} frac{1}{1-z^kq^{k-1}}. ${\displaystyle }$ In the process of proving this formula we relate combinatorially the homology of our spaces with that of known subspaces of $ext{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 $ext{Hilb}^{n,n+2}(0)$ for all $ninmathbbN$.

This page was built for publication: Homology of the three flag Hilbert scheme

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6277569)