Flat families by strongly stable ideals and a generalization of Gröbner bases (Q2275904): Difference between revisions

Let \(S=k[x_0,x_1,\ldots,x_{n}]\) be a polynomial in \(n+1\) variables such that \(x_0<\cdots<x_n\), \(J\) a monomial ideal of \(S\) and \(\mathcal{N}(J)\) the set of terms which are not in \(J\). The authors consider the family \(\mathcal{M}f(J)\) of all the ideals \(I\) in \(S\) such that \(S=I\oplus\mathcal{N}(J)\) as \(k\)-vector spaces. In order to study this family, they define the notions of \(J\)-marked set and \(J\)-marked basis. If \(J\) is a strongly stable ideal, they show that these two notions coincide if and only if the ideal \(J\) and the ideal generated by the \(J\)-marked set have the same Hilbert function. If \(J\) is a strongly stable ideal, \(G\) a \(J\)-marked set and \(I\) the homogeneous ideal generated by \(G\), the authors determine a procedure for computing, in a finite number of steps, a \(J\)-reduced form modulo \(I\) of every homogeneous polynomial. Moreover, they describe a Buchberger-like algorithmic method to check whether a \(J\)-marked set is a \(J\)-marked basis or not by recovering the notion of \(S\)-polynomials from the Gröbner basis theory. Using the concepts of \(J\)-marked basis, the authors shows that the family \(\mathcal{M}f(J)\) can be naturally endowed with a structure of an affine scheme.