Flat families by strongly stable ideals and a generalization of Gröbner bases (Q2275904): Difference between revisions
From MaRDI portal
Changed an Item |
Set profile property. |
||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank |
Revision as of 07:31, 5 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Flat families by strongly stable ideals and a generalization of Gröbner bases |
scientific article |
Statements
Flat families by strongly stable ideals and a generalization of Gröbner bases (English)
0 references
10 August 2011
0 references
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.
0 references
family of schemes
0 references
strongly stable ideal
0 references
Gröbner basis
0 references
flatness
0 references