Hilbert series of certain jet schemes of determinantal varieties (Q482099): Difference between revisions

Let \(m,n\) be integers and \(\mathcal{Z}_{2}^{m,n}\) be the determinantal variety given by the vanishing of all the \(2\times2\) minors of a generic \(m\times n\) matrix. Let \(\mathcal{Z}_{2,2}^{m,n}\) be the affine variety of first-order jets over \(\mathcal{Z}_{2}^{m,n}\). If \(2<m\leq n\), then \(\mathcal{Z}_{2,2}^{m,n}\) has two irreducible components. One of them is isomorphic to \(\mathbb{A}^{mn}\). The other one is called the principal component, and is denoted by \(Z_0\). Let \(R=\mathbb{F}[x_{i,j},y_{i,j}:1\leq i\leq m, 1\leq j\leq n]\) be the polynomial ring over an algebraically closed field \(\mathbb{F}\) and \(\mathcal{I}=\mathcal{I}_{2,2}^{m,n}\) be the ideal which corresponds to \(\mathcal{Z}_{2,2}^{m,n}\). Let \(\mathcal{I}_0\) be the ideal which corresponds to \(Z_0\). By using combinatorial techniques, the authors compute the Hilbert series of \(R/\mathcal{I}_0\) and prove that this is the square of the Hilbert series of the base variety \(\mathcal{Z}_{2}^{m,n}\). As a consequence, they determine the \(a\)-invariant of \(R/\mathcal{I}_0\) and the Hilbert series of its graded canonical module. They characterize also the property of \(Z_0\) of being Gorenstein.