Two remarks on monomial Gotzmann sets (Q425288): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(4 intermediate revisions by 4 users not shown) | |||
Property / review text | |||
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'\). | |||
Property / review text: 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'\). / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 13F20 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 13D40 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6043588 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
monomial Gotzmann sets and ideals | |||
Property / zbMATH Keywords: monomial Gotzmann sets and ideals / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
lexsegment ideals | |||
Property / zbMATH Keywords: lexsegment ideals / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Macaulay-lex rings | |||
Property / zbMATH Keywords: Macaulay-lex rings / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1016/j.jpaa.2011.10.007 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2132297399 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3843140 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Eine Bedingung für die Flachheit und das Hilbertpolynom eines graduierten Ringes / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4251931 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Gotzmann squarefree ideals / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Power sums, Gorenstein algebras, and determinantal loci. With an appendix `The Gotzmann theorems and the Hilbert scheme' by Anthony Iarrobino and Steven L. Kleiman / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Betti numbers of lex ideals over some Macaulay-lex rings / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Lexifying ideals / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Hilbert functions and lex ideals / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Gotzmann monomial ideals / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A combinatorial proof of Gotzmann's persistence theorem for monomial ideals / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Gotzmann ideals of the polynomial ring / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Lexsegment and Gotzmann ideals associated with the diagonal action of \(\mathbb Z/p\) / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 08:09, 5 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Two remarks on monomial Gotzmann sets |
scientific article |
Statements
Two remarks on monomial Gotzmann sets (English)
0 references
8 June 2012
0 references
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'\).
0 references
monomial Gotzmann sets and ideals
0 references
lexsegment ideals
0 references
Macaulay-lex rings
0 references