Distractions of Shakin rings (Q406600)

The authors study quotients \(R=K[X_{1},\dots,X_{n}]/\mathfrak{a}\) of a polynomial ring over a field \(K\) by ideals \(\mathfrak{a}=L+P\) which are the the sum of a piecewise lex-segment ideal and a pure power ideal \(P=(X_{1}^{d_{1}},\dots,X_{r}^{d_{r}})\) with \(d_{1}\leq\dots\leq d_{r}\), and such a ring is called Shakin ring. Let \(\mathcal{I}_{*}\) denote the poset of all homogeneous ideal of the ring \(*\) ordered by inclusion and \(\mathcal{H}_{*}\) as the poset of all Hilbert functions of such ideals ordered by the natural embeddings. Let \(\epsilon\) be an embedding of \(R\), then \(\epsilon\) is called the lex-embedding if \(\text{Im}(\epsilon)=\{\pi(L)\in\mathcal{I}_{R}:L\in\mathcal{I}_{A}\) where \(L\) is a lex-segment ideal. Let \(S=A/\mathfrak{b}\) be another standard \(K\)-algebra with \(\mathcal{H}_{S}\subseteq\mathcal{H}_{R}\). We say \(\epsilon\) is cohomology extremal if, for every \(I\in\mathcal{I}_{S}\), one has \(\text{Hilb}(H_{m_{A}}^{i}(S/I))_{j}\leq\text{Hilb}(H_{m_{A}}^{i}(R/\epsilon(I)))_{j}\), for all \(i,j\). \(\epsilon\) is called Betti extremal if for all \(I\in\mathcal{I}_{S}\) and for all \(i,j\) one has \(\beta_{ij}^{A}(S/I)\leq\beta_{ij}^{A}(R)\). In Theorem 3.4 the authors show that a Shakin ring, \(R/\mathfrak{a}\), has the lex-embedding and such embedding is cohomology extremal. If char\((K)=0\) or \(P=0\), then such embedding is also Betti extremal. The Eisenbud-Green-Harris Conjecture predicts that all Hilbert functions of homogeneous ideals of \(R=A/\mathfrak{a}\), where \(A\) is a polynomial ring over a field \(K\) and \(\mathfrak{a}\) is an ideal of \(A\) generated by a homogeneous regular sequence, are equal to those of the images of some lex-segment ideals of \(A\) in the quotient ring \(A/P\), where \(P\) is generated by a certain regular sequence of pure powers of variables. Abedelfatah proved that the Eisenbud-Green-Harris Conjecture holds for distractions of Clements-Lindström rings [\textit{A. Abedelfatah}, Proc. Am. Math. Soc. 143, No. 1, 105--115 (2015; Zbl 1317.13002)]. The authors prove that the analogous statement (expressed in terms of embeddings of Hilbert functions) holds for Shakin rings in Theorem 4.7.