Rees algebras and almost linearly presented ideals (Q296653)

Let \(R=k[x_1,\ldots,x_d]\) be a standard graded polynomial ring over a field \(k\) and \(I=(\alpha_1,\ldots,\alpha_m)\) be a grade \(2\) perfect ideal generated by homogeneous elements of the same degree with almost linear presentation, i.e. all but the last column of the presentation matrix \(\phi\) of \(I\) are linear and the last column consists of homogeneous entries of arbitrary degree \(n\geq 1.\) Let \(m>d\) and \(I\) satisfies \(G_d\) condition (i.e. \(\mu(p)\leq \)height \(p\) for all \(p\in V(I)\) with height \(p\leq d-1\)). In this paper, the authors describe the defining ideal of the Rees algebra of \(I\) which generalizes a result due to Kustin, Polini and Ulrich where the Rees algebras of ideals of this type is studied for \(d=2\) case. Let \(\mathcal A\) and \(\mathcal L\) be the defining ideals of the Rees algebra of \(I\) and the Symmetric algebra of \(I\) respectively. The authors prove that \(\mathcal A=\mathcal L:(x_1,\ldots,x_d)^n\) where \(n\) is the degree of the entries in the last column of \(\phi.\) They also show that \(n\) is the smallest integer such that the above equality holds. The authors introduce the concept of iterated Jacobian duals which extends the notion of Jacobian duals. With the help of the minors of these iterated Jacobian duals, the authors construct more generators for the defining ideal \(\mathcal A,\) especially which are not of the expected form. Since the defining ideal \(\mathcal A\) is not always equal to an ideal of an iterated Jacobian dual, the authors provide a condition for the equality \(\mathcal A=\mathcal L+I_d(B_n(\phi))\) where \(B_n(\phi)\) is \(n\)-th iterated Jacobian dual of \(\phi\). This condition is always true for ideals of second analytic deviation one. With additional assumptions that \(n>1\) and \(\mu(I)=d+1,\) i.e. second analytic deviation one, the authors show that depth \({\mathcal F}(I)=\)depth \({\mathcal R}(I)=d\) where \(\mathcal F(I)\) and \({\mathcal R}(I)\) are the special fiber ring of \(I\) and the Rees algebra of \(I\) respectively. The authors also establish relations among relation type rt\((I)\) of \(I\) and Castelnuovo regularity of the special fiber ring and the Rees algebra of \(I\) where \(\mu(I)=d+1\) and show that rt\((I)=\)reg\({\mathcal F}(I)+1=\)reg\({\mathcal R}(I)+1=n(d-1)+1\).