Growth conditions for a family of ideals containing regular sequences (Q2456387): Difference between revisions

Let \(R\) be the polynomial ring \(k[x_1,\ldots,x_n]\), where \(k\) is an algebraically closed field and \(\text{deg} (x_i)=1\), and let \(1 \leq a_1 \leq \ldots \leq a_n\) be integers. A lex-plus-powers ideal is a monomial ideal \(L \subseteq R\) which is minimally generated by \(\{x_1^{a_1}, \ldots, x_n^{a_n}, m_1,\ldots, m_r\}\) such that for all \(j \in \{1,\ldots, r\}\) the following condition is satisfied: if \(m\) is a monomial of degree \(\text{deg} (m_j)\) and \(m>m_j\) in the degree-lexicographic ordering, then \(m \in L\). \textit{D. Eisenbud, M. Green} and \textit{J. Harris} [Astérisque 218, 187--202 (1993; Zbl 0819.14001)] conjectured that if \(I \subseteq R\) is an ideal containing a regular sequence in degrees \(a_1, \ldots, a_n\) and \(L\) is a lex-powers-plus ideal such that \(\text{dim}_k(I_d)=\text{dim}_k(L_d)\) for some \(d\), then \(\text{dim}_k(R_1 I_d)\geq \text{dim}_k(R_1 L_d)\). The main theorem of this paper is the following related result. Let \(R=k[x,y,z]\) and \(S=k[x,y]\), where \(x > y > z\) in the degree-lexicographic ordering. Let \(I\) be a homogeneous ideal of \(R\) minimally generated by \(F,G, H_1,\ldots, H_t\), where \(\text{deg}(F)=\text{deg}(G)=\text{deg}(H_1)=\ldots=\text{deg}(H_t)=d\) and \(F,G \in S\) is a regular sequence of forms. Let \(J\subseteq R\) be the ideal generated by \(x^d, y^d\) and the \(t\) largest monomials in \(R_d \setminus\{x^d, y^d\}\). Then \(\text{dim}_k(R_1 I_d) \geq \text{dim}_k(R_1 J_d)\).