Ideals of the form \(I_{1}(XY)\) (Q1994119)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Ideals of the form \(I_{1}(XY)\) |
scientific article |
Statements
Ideals of the form \(I_{1}(XY)\) (English)
0 references
1 November 2018
0 references
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.
0 references
Gröbner basis
0 references
Betti numbers
0 references
determinantal ideals
0 references
completely irreducible systems
0 references
0 references