Ideals of the form \(I_{1}(XY)\) (Q1994119)

Let \(K\) be a field and \(\{x_{ij} \mid 1 \leq i \leq m, 1 \leq j \leq n \}\) be indeterminates over \(K\). Consider the polynomial algebras \(K[x_{ij}]\) and \(K[x_{ij}, y_j]\). We let \(X\) be an \(m \times n\) matrix whose entries belong to the ideal \(\langle (x_{ij}) \rangle\) and let \(Y = (y_j)\) be the generic \(n \times 1\) column matrix. Define \(I_1(XY)\) to be the ideal generated by the entries of the \(m \times 1\) matrix \(XY\). This ideal, and closely related objects, have been much studied in the literature. The authors reprove some of these results using more elementary methods. Similarly, given a determinantal ideal \(J\), ideals of the form \(I_1(XY) + J\) are not so easy to understand in general, but they appear in several geometric situations. In these and similar situations, having a computation of Gröbner bases for such ideals is very helpful in understanding these constructions. In this paper the authors produce some suitable Gröbner bases for ideals of the form \(I_1(XY)\) when \(Y\) is as above and \(X\) is either a generic square matrix, a generic symmetric matrix, or a generic \((n+1) \times n\) matrix, and also when \(X\) is an \((m \times mn)\) generic matrix and \(Y\) is an \((mn \times n)\) generic matrix.