Determinantal schemes and Buchsbaum-Rim sheaves (Q1575028)

A codimension \(r+1\) scheme \(X \subset {\mathbb P}^n\) is called a standard determinantal scheme if \(I_X\) is the ideal generated by the maximal minors of a homogeneous \(t\times (t+r)\)-matrix \(A\). The determinantal scheme \(X\) will be called good if after performing some row operations on \(A\), the resulting matrix contains a \((t-1)\times (t+r)\)-submatrix whose ideal of maximal minors defines a scheme of codimension \(r+2\). This paper gives several characterizations of standard and good determinantal schemes. The main results can be summarized as follows. Let \(X\) be a subscheme of \({\mathbb P}^n\) with codimension \(\geq 2\). Then the following conditions are equivalent: (a) \(X\) is a good determinantal scheme of codimension \(r+1\), (b) \(X\) is the zero-locus of a regular section of the dual of a first Buchsbaum-Rim sheaf of rank \(r+1\), (c) \(X\) is standard determinantal and locally a complete intersection outside a subscheme \(Y \subset X\) of codimension \(r+2\). Furthermore, for any good determinantal subscheme \(X\) of codimension \(r+1\) there is a good determinantal subscheme \(S\) of codimension \(r\) such that \(X\) sits in \(S\) in a nice way. As an application, the authors show that for a zero-scheme \(X \subset {\mathbb P}^3\), being good determinantal is equivalent to the existence of an arithmetically Cohen-Macaulay curve \(S\) which is a local completion such that \(X\) is a subcanonical Cartier divisor on \(S\). This generalizes an earlier result of \textit{M. Kreuzer} on 0-dimensional complete intersection [Math. Ann. 292, No. 1, 43-58 (1992; Zbl 0741.14030)]. The paper closes with a number of examples.