Tight and adjusted equigenerated sequences, and the special fiber (Q6171843): Difference between revisions

Let \(R\) denote a standard graded algebra over an infinite field and let \(I \subset R\) be a \(d\)-equigenerated homogeneous ideal, i.e all of the generators of \(I\) are forms of degree \(d\). The main focus of this work is on the special fiber \(\mathcal{F}(I)\) of \(I\), its Cohen--Macaulayness and its relation to the associated graded ring \(gr_I(R)\) The authors introduce two conditions regarding sequences of forms o degree \(d\) in \(I\). Definition 2.11. Set \(\ell=\ell(I)\) (analytic spread) and \(\mu=\mu(I)\) (minimal number of generators). One says that a sequence of forms \(f_1,\ldots,f_{\ell}\in I_d\) is analytically tight in power \(n\) if \[[(f_1,\ldots,f_{\ell-1}:f_{\ell})\cap I^n ]_{nd} =[(f_1,\ldots,f_{\ell-1})\cap I^n ]_{nd}\] The sequence \(f_1,\ldots,f_{\ell}\) is analytically tight if it is analytically tight in power \(n\) for every \(n\geq 1\). In a subsequent theorem it is shown that when \(I\) has analytic deviation \(1\), then under some conditions, being analytically tight is equivalent with Cohen-Macaulayness of \(\mathcal{F}(I)\). Definition 2.18. Set \(\mu=\mu(I)\) (minimal number of generators). A set \(\{g_1,\cdots,g_l \}\in I_d\) of \(k\)-linearly independent forms will be said to be \(l\)-adjusted if \(\mu(IJ)=l\mu(J)-\binom{l}{2}\). It is shown that: If \(\mathcal{F}(I)\) admits no quadratic polynomial relations then any set of \(k\)-linearly independent forms \(\{g_{1},\cdots,g_{l} \}\subset I_{d}\) is \(l\)-adjusted. Finally for ideals of analytic deviation one, it is shown that, under some conditions, being analytically tight, \(l\)-adjusted and Cohen-Macaulayness of \(\mathcal{F}(I)\) are all equivalent.