Lexsegment and Gotzmann ideals associated with the diagonal action of \(\mathbb Z/p\)
type: Item
instance of: scholarly article
title: Lexsegment and Gotzmann ideals associated with the diagonal action of \(\mathbb Z/p\)
zbMATH Open document ID: 1223.13016
author: Müfit Sezer
published in: Monatshefte für Mathematik
publication date: 2011-06-03T00:00:00Z
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\).
reviewed by: Junaid Alam Khan
Mathematics Subject Classification ID: 13P10
Mathematics Subject Classification ID: 13A50
Mathematics Subject Classification ID: 13F20
zbMATH DE Number: 5903708
zbMATH Keywords: Gotzmann ideals
zbMATH Keywords: lexsegment ideals
zbMATH Keywords: separating invariants
zbMATH Keywords: rings of invariants
MaRDI profile type: Publication
full work available at URL: s00605-009-0182-3
OpenAlex ID: W2130729210
cites work: Q4274969
cites work: Computational invariant theory
cites work: Computing invariants of algebraic groups in arbitrary characteristic
cites work: Typical separating invariants
cites work: Polarization of Separating Invariants
cites work: Separating invariants and finite reflection groups
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
cites work: Separating invariants
cites work: Gotzmann monomial ideals
cites work: The depth of an ideal with a given Hilbert function
cites work: Gotzmann ideals of the polynomial ring
cites work: Separating invariants for modular \(p\)-groups and groups acting diagonally
cites work: Invariant theory of finite groups
cites work: Q3975991
cites work: Constructing modular separating invariants
cites work: Invariants of binary bilinear forms modulo two
DOI: 10.1007/S00605-009-0182-3
description: scientific article; zbMATH DE number 5903708