Box-shaped matrices and the defining ideal of certain blowup surfaces. (Q5957769): Difference between revisions

Consider an \(r_1\times \ldots \times r_n\)-array \({\mathcal A}=(a_{i_1\ldots i_n})\) of elements \(a_{i_1\ldots i_n}\in S,\) \(S\) being a commutative algebra containing a field \(F.\) A \(2\times 2\)-minor over the \(l\)-th coordinate of \({\mathcal A}\) is an expression \(a_{i_1...i_l...i_n}a_{j_1...j_l...j_n}-a_{i_1...i_{l-1}\,j_l\,i_{l+1}...i_n} a_{j_1...j_{l-1}\,i_l\,j_{l+1}...j_n} \in S_{\mathcal A}:=F[{\mathcal A}].\) Define \(I_2({\mathcal A})\) to be the ideal in \(S_{\mathcal A}\) generated by the \(2\times 2\) minors of \({\mathcal A}.\) The major results of this paper are these: If \({\mathcal A}\) is an \(n\)-dimensional generic box shaped matrix of indeterminates, then \(I_2({\mathcal A})\) is a perfect prime ideal in \(F[{\mathcal A}].\) \textit{M. Hochster} and \textit{J. A. Eagon} [Am. J. Math. 93, 1020--1058 (1971; Zbl 0244.13012)] have shown a similar statement for all \(t\times t\) minors of a usual matrix of indeterminates. \(I_2({\mathcal A})\) gives a set of equations describing the defining ideal of the Segre embedding \(P(V_1)\times \dots \times P(V_n)\hookrightarrow P(V_1\otimes \dots \otimes V_n)\) where the \(V_i\) are \(r_i\)-dimensional \(F\)-vector spaces. Here the author relies on work of \textit{R. Grone} [Proc. Am. Math. Soc 64, 227--230 (1977; Zbl 0404.15008)]. The Hilbert function of \(I_2({\mathcal A})\) is determined. The homogeneous coordinate ring of the above Segre embedding is as well a Cohen-Macaulay as a Koszul algebra. Under a certain degree reverse lexicographic ordering, the \(2\times 2\) minors of \({\mathcal A}\) form a Gröbner basis for \(I_2({\mathcal A}).\) The notions are used to give an explicit description for the defining ideal of the blowup of \(\mathbb{P}^2\) along a set of \({d+1 \choose 2} \) points in generic position, embedded into projective spaces using very ample divisors which correspond to the linear system of plane curves going through these points; see \textit{A. V. Geramita} and \textit{P. Maroscia} [J. Algebra 90, 528--555 (1984; Zbl 0547.14001)] and later work by Geramita and coauthors.