Ideals of the form I₁(XY)

From MaRDI portal
Publication:1994119



Abstract: In this paper we compute Gr"obner bases for determinantal ideals of the form I1(XY), where X and Y are both matrices whose entries are indeterminates over a field K. We use the Gr"obner basis structure to determine Betti numbers for such ideals.


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.











This page was built for publication: Ideals of the form \(I_{1}(XY)\)

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