Box-shaped matrices and the defining ideal of certain blowup surfaces.

ample divisor catalecticant Cohen-Macaulay decomposable tensor defining ideal of blowup Gröbner basis Hilbert function Koszul algebra minors of multidimensional matrix Segre embedding

Mathematics Subject Classification ID

Linkage, complete intersections and determinantal ideals (13C40) Embeddings in algebraic geometry (14E25) Special surfaces (14J25) Determinants, permanents, traces, other special matrix functions (15A15)

Abstract: We study the defining equations of projective embeddings of the blowup of P^2 at a set of {d+1 choose 2} number of points in generic position. To do this, we first generalize the notion of a matrix, its ideal of 2x2 minors to that of a box-shaped matrix. Our work completes previous works of Geramita and Gimigliano.

Review text

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:NEWLINENEWLINEIf \({\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.NEWLINENEWLINE \(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)].NEWLINENEWLINEThe Hilbert function of \(I_2({\mathcal A})\) is determined.NEWLINENEWLINE The homogeneous coordinate ring of the above Segre embedding is as well a Cohen-Macaulay as a Koszul algebra.NEWLINENEWLINE 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}).\)NEWLINENEWLINEThe 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.

Recommendations

Cites work

Cited in

(14)

This page was built for publication: Box-shaped matrices and the defining ideal of certain blowup surfaces.

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