Lexsegment and Gotzmann ideals associated with the diagonal action of \(\mathbb Z/p\) (Q540450): Difference between revisions

From MaRDI portal
Importer (talk | contribs)
Changed an Item
Added link to MaRDI item.
links / mardi / namelinks / mardi / name
 

Revision as of 06:56, 30 January 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
    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

    Identifiers