Lexsegment and Gotzmann ideals associated with the diagonal action of \(\mathbb Z/p\) (Q540450): 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 \(R:=F[x_1,\dots,x_n]\) be a polynomial ring over a field \(F\). Let \(G\) be the cyclic group \(\mathbb Z/p\), \(p\) a prime. Consider the diagonal action of \(G\) on the polynomial ring \(R\). The ring of invariants \(R^G=\{f\in R\mid g(f)=f\;\forall g\in G\}\) is a finitely generated algebra. An important object in \(R\) is the Hilbert ideal \(H\) which is generated by the invariants of positive degree. Other important objects are lexsegment and Gotzmann ideals. These ideals have certain nice combinatorial properties and they form an important class of ideals in the study of Hilbert series of homogeneous ideals. A separating set is a subset of \(R^G\) and has the same separating power as the full ring of invariants. In this paper, the author studies the lexsegment and the Gotzmann properties of ideals generated by invariants of \(G\). He establishes a connection between the Gotzmann property of \(H\) and the action of the group \(G\). He develops criteria to detect the Gotzmann property for the case \(n=2\). Further, he shows that there is a separating set of monomials in \(R^G\) that generates a proper lexsegment ideal in \(R\) for all \(n\) and gives an algorithm to compute this set. He also presents the invariant ring corresponding to the diagonal action of \(\mathbb Z/2\times\mathbb Z/2\) that has no graded separating subalgebra whose elements of positive degree generate a Gotzmann ideal in \(R\). | |||
Property / review text: Let \(R:=F[x_1,\dots,x_n]\) be a polynomial ring over a field \(F\). Let \(G\) be the cyclic group \(\mathbb Z/p\), \(p\) a prime. Consider the diagonal action of \(G\) on the polynomial ring \(R\). The ring of invariants \(R^G=\{f\in R\mid g(f)=f\;\forall g\in G\}\) is a finitely generated algebra. An important object in \(R\) is the Hilbert ideal \(H\) which is generated by the invariants of positive degree. Other important objects are lexsegment and Gotzmann ideals. These ideals have certain nice combinatorial properties and they form an important class of ideals in the study of Hilbert series of homogeneous ideals. A separating set is a subset of \(R^G\) and has the same separating power as the full ring of invariants. In this paper, the author studies the lexsegment and the Gotzmann properties of ideals generated by invariants of \(G\). He establishes a connection between the Gotzmann property of \(H\) and the action of the group \(G\). He develops criteria to detect the Gotzmann property for the case \(n=2\). Further, he shows that there is a separating set of monomials in \(R^G\) that generates a proper lexsegment ideal in \(R\) for all \(n\) and gives an algorithm to compute this set. He also presents the invariant ring corresponding to the diagonal action of \(\mathbb Z/2\times\mathbb Z/2\) that has no graded separating subalgebra whose elements of positive degree generate a Gotzmann ideal in \(R\). / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Junaid Alam Khan / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 13P10 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 13A50 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 13F20 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 5903708 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Gotzmann ideals | |||
Property / zbMATH Keywords: Gotzmann ideals / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
lexsegment ideals | |||
Property / zbMATH Keywords: lexsegment ideals / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
separating invariants | |||
Property / zbMATH Keywords: separating invariants / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
rings of invariants | |||
Property / zbMATH Keywords: rings of invariants / 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.1007/s00605-009-0182-3 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2130729210 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4274969 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Computational invariant theory / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Computing invariants of algebraic groups in arbitrary characteristic / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Typical separating invariants / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Polarization of Separating Invariants / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Separating invariants and finite reflection groups / 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: Separating invariants / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Gotzmann monomial ideals / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The depth of an ideal with a given Hilbert function / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Gotzmann ideals of the polynomial ring / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Separating invariants for modular \(p\)-groups and groups acting diagonally / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q2771508 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3975991 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Constructing modular separating invariants / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Invariants of binary bilinear forms modulo two / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 03:36, 4 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Lexsegment and Gotzmann ideals associated with the diagonal action of \(\mathbb Z/p\) |
scientific article |
Statements
Lexsegment and Gotzmann ideals associated with the diagonal action of \(\mathbb Z/p\) (English)
0 references
3 June 2011
0 references
Let \(R:=F[x_1,\dots,x_n]\) be a polynomial ring over a field \(F\). Let \(G\) be the cyclic group \(\mathbb Z/p\), \(p\) a prime. Consider the diagonal action of \(G\) on the polynomial ring \(R\). The ring of invariants \(R^G=\{f\in R\mid g(f)=f\;\forall g\in G\}\) is a finitely generated algebra. An important object in \(R\) is the Hilbert ideal \(H\) which is generated by the invariants of positive degree. Other important objects are lexsegment and Gotzmann ideals. These ideals have certain nice combinatorial properties and they form an important class of ideals in the study of Hilbert series of homogeneous ideals. A separating set is a subset of \(R^G\) and has the same separating power as the full ring of invariants. In this paper, the author studies the lexsegment and the Gotzmann properties of ideals generated by invariants of \(G\). He establishes a connection between the Gotzmann property of \(H\) and the action of the group \(G\). He develops criteria to detect the Gotzmann property for the case \(n=2\). Further, he shows that there is a separating set of monomials in \(R^G\) that generates a proper lexsegment ideal in \(R\) for all \(n\) and gives an algorithm to compute this set. He also presents the invariant ring corresponding to the diagonal action of \(\mathbb Z/2\times\mathbb Z/2\) that has no graded separating subalgebra whose elements of positive degree generate a Gotzmann ideal in \(R\).
0 references
Gotzmann ideals
0 references
lexsegment ideals
0 references
separating invariants
0 references
rings of invariants
0 references