Hilbert series of certain jet schemes of determinantal varieties

has two irreducible components: a trivial component, isomorphic to an affine space, and a nontrivial component that is the closure of the jets supported over the smooth locus of

X

. This second component is referred to as the principal component of

Y

; it is, in fact, a cone and can also be regarded as a projective subvariety of

m a t h b f P^{2 m n - 1}

. We prove that the degree of the principal component of

Y

is the square of the degree of

X

and more generally, the Hilbert series of the principal component of

Y

is the square of the Hilbert series of

X

. As an application, we compute the

a

-invariant of the principal component of

Y

and show that the principal component of

Y

is Gorenstein if and only if

m = n

.

Review text

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.

Recommendations

Cited in

(10)

This page was built for publication: Hilbert series of certain jet schemes of determinantal varieties

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