Two remarks on monomial Gotzmann sets (Q425288): Difference between revisions

Let \(S=F[x_1,\dots,x_n]\) be a polynomial ring over a field \(F\) and \(S_t\) denote its homogeneous component of degree \(t\). For an arbitrary set \(M\) of monomials in \(S_t\), \(\mathrm{lex}(M)\) denotes the set consisting of the biggest \(|M|\) monomials in \(S_t\) with respect to the lexicographic order with \(x_1\succ\cdots\succ x_n\) and \(M\) is called lexsegment if \(\mathrm{lex}(M)=M\). A monomial ideal \(I\) is lexsegment if \(I\cap S_t\) is lexsegment as a set, for each \(t\). One feature of lexsegment ideals founded by Macaulay is that \(|S_1\cdot lex(M)|\leq |S_1\cdot M|\), for any \(M\) in \(S_t\), where \(S_1\cdot M\) is the set obtained from \(M\) by multiplying with all the variables. Those \(M\) for which the lower bound is attained, i.e. \(|S_1\cdot lex(M)|= |S_1\cdot M|\), are of special interest and are called Gotzmann. The fact that every Hilbert function in \(S\) is attained by a lexsegment ideal has given rise to a new research direction to discover quotients \(S/J\) of \(S\) by homogeneous ideals \(J\) in which every Hilbert function is obtained by a lexsegment ideal. \(R=S/x_1^{a}\) being one of these quotients, the first result of the paper determines all Gotzmann sets of homogeneous monomials in \(R_t\) in terms of those in \(S_t\). To state the second result, let \(M\) be a set of monomials in \(S\) and \(x_1^i \cdot M_i\) be the subset of \(M\) which consists of monomials with degree \(i\) \;in \(x_1\), where \(M_i \subset F[x_2,\dots,x_n]:=S'\). If \(M\) is Gotzmann in \(S\), the authors show under a mild condition on the size of \(M_i\) that \(M_i\) is Gotzmann in \(S'\), which can be seen as an attempt to characterize Gotzmann sets in \(S\) by using those in \(S'\).