Families of low dimensional determinantal schemes (Q531379): Difference between revisions

A projective scheme \(X\) is \textit{determinantal} if its homogeneous ideal is the ideal of \(r \times r\) minors of a homogeneous \(p \times q\) matrix, and the codimension of \(X\) is the expected value, namely \(c = (p-r+1) (q-r+1)\). If \(r = \min \{ p,q \}\) then \(X\) is \textit{standard determinantal}. If \(X\) is, in addition, a generic complete intersection then it is called \textit{good determinantal}. The degrees of the entries of the matrix can be determined by a \(p\)-tuple and a \(q\)-tuple of integers \(a_1 \leq \dots \leq a_p\) and \(b_1 \leq \dots \leq b_q\); we denote by \(W(\underline{b},\underline{a})\) the stratum in the appropriate Hilbert scheme corresponding to good determinantal schemes, and by \(W_s(\underline{b}, \underline{a})\) the stratum corresponding to standard determinantal schemes. One of the author's results is that \(W_s(\underline{b}, \underline{a})\) is irreducible, and \(W(\underline{b},\underline{a}) \neq \emptyset\) if and only if \(W_s(\underline{b},\underline{a}) \neq \emptyset\). This paper considers mainly the case of zero-dimensional schemes, and focuses on the following problems: (1) Determine when the closure of \(W(\underline{b}, \underline{a})\) is an irreducible component of the Hilbert scheme; (2) Find the codimension of \(W(\underline{b},\underline{a})\) in the Hilbert scheme if its closure is not a component; (c) Determine when the component of the Hilbert scheme is generically smooth along \(W(\underline{b},\underline{a})\).