Poset embeddings of Hilbert functions (Q358875)

Let \(S\) be a polynomial ring over a field \(K\), graded for the standard graduation, \(I\subset S\) be a homogeneous ideal. Macaulay's Theorem states that there exists a monomial lexicographic (lex segment) ideal \(L_I\) such that \(I\) and \(L_I\) have the same Hilbert function. A similar problem consist to consider a homogeneous ideal \({{\mathfrak a}}\subset S\), and the quotient \(R:=S/{{\mathfrak a}}\): for any \(I\subset R\) homogeneous ideal there exists a monomial lexicographic (lex segment) ideal \(L_I\subset R\) such that \(I\) and \(L_I\) have the same Hilbert function. One can find several results on this direction, I mention the case where \( {{\mathfrak a}}=(x_1^{e_1},\dots, x_n^{e_n}),\) solved by Clements and Lindstrom. In the paper under review the authors consider another point of view; let \(R:=S/{{\mathfrak a}}\) as above and consider the set \({{\mathcal H}}\) of all the Hilbert functions of homogeneous ideals of \(R\), is it possible to define an embedding from \({{\mathcal H}}\) to the set of ideals of \(R\) such that composing with the natural map who associates to any ideal its Hilbert function gives the identity. They show some necessary conditions to prove the existence of embeddings. There are examples for which such embeddings do no exist. Describe how embeddings can be lifted to some ring extensions. Moreover a version of Clements and Lindstrom is proved.