Ideals generated by submaximal minors (Q2270639): Difference between revisions

Let \(R= k[x_0,x_1,\dots, x_n]\) be the polynomial ring in \(n+ 1\) variables over a field \(k\). Fix nonnegative integers \(a_1\leq\cdots\leq a_t\), \(b_1\leq\cdots\leq b_t\), and consider a homogeneous map \[ \Phi: \bigoplus^t_{i=1} R(b_i)\to \bigoplus^t_{j=1} R(a_j). \] Then the entries of the matrix \(A\) of \(\Phi\) are homogeneous polynomials \(f_{ji}\in R\) of degree \(A_j- b_i\). \(\Phi\) is assumed to be minimal, i.e. \(f_{ji}= 0\) if \(b_i= a_j\). (A classical result says that codimension of the ideal \(I_{t-1} (A)\) in \(R\) generated by the submaximal minors of \(A\) is less than or equal to 4.) Assume now that \(k\) is algebraically closed, and let \(X\) be a subscheme of \(\mathbb{P}^n= \text{Proj\,}R\) defined by the ideal \(I_{t-1}(A)\), where \(A\) is a matrix as above with \(\text{codim\,} I_{t-1}(A)= 4\). Denote by \(W_t(\underline b,\underline a)\subset \text{Hilb}^{p(x)}(\mathbb{P}^n)\) the locus of such schemes. (\(p(x)\) is the Hilbert polynomial of \(X\) which clearly depends only on \(\underline b\), \(\underline a\).) We quote from the authors' abstract: ``Under some numerical assumptions on \(b_i\) and \(a_j\), we prove that the closure of \(W_t(\underline b,\underline a)\) is an irreducible component of \(\text{Hilb}^{p(x)}(\mathbb{P}^n)\), show that \(\text{Hilb}^{p(x)}(\mathbb{P}^n)\) is generically smooth along \(W_t(\underline b,\underline a)\), and compute the dimension of \(W_t(\underline b,\underline a)\) in terms of \(b_i\) and \(a_j\).''