Lexsegment ideals and their \(h\)-polynomials
type: Item
instance of: scholarly article
title: Lexsegment ideals and their \(h\)-polynomials
zbMATH Open document ID: 1427.13030
author: Takayuki Hibi
author: Kazunori Matsuda
published in: Acta Mathematica Vietnamica
publication date: 2019-06-28T00:00:00Z
full work available at URL: https://arxiv.org/abs/1807.02834
review text: Let \(S=K[x_1, \dots, x_n]\) be the polynomial ring in \(n\) variables over a field \(K\) with its standard grading. For any homogeneous ideal \(I\subset S\) with \(\dim S/I = d\), the Hilbert series of \(S/I\) is of the form \(h_{S/I}(\lambda)/(1-\lambda)^d\), where \(h_{S/I}(\lambda)=h_0+h_1\lambda+ h_2\lambda^2+ \cdots +h_s\lambda^s\) with \(h_s\neq 0\) is the \(h\)-polynomial of \(S/I\). A monomial ideal \(I\subset S\) is called lexsegment if for any monomial \(u\in I\) and any monomial \(v\in S\) with \(\mathrm{deg } u=\mathrm{deg } v\) and \(v >_{\mathrm{lex}} u\) one has \(v\in I\). In the paper under review, for any pair of integers \(r, s\geq 1\), the authors construct lexsegment ideal \(I\) over at most \(\max\{r, s\} + 2\) variables, satisfying \(\mathrm{reg}(S/I)=r\) and \(\mathrm{deg }h_{S/I}(\lambda)=s\). The authors close their article with the following interesting question: Question. Find all possible sequences \((d, e, r, s)\in \mathbb{Z}_{\geq 0}\) with \(d\geq e\geq 0, r\geq 1, s\geq 1\) and \(s-r\leq d-e\) for which there exists a homogeneous ideal \(I\subset S=K[x_1, \dots, x_n]\) with \(n\gg 0\) satisfying \[ \dim(S/I)=d, \ \mathrm{depth}(S/I)=e, \ \mathrm{reg}(S/I)=r, \ \mathrm{deg } h_{S/I}(\lambda)=s. \]
Mathematics Subject Classification ID: 13H10
Mathematics Subject Classification ID: 05E40
zbMATH DE Number: 7075125
zbMATH Keywords: Castelnuovo-Mumford regularity
zbMATH Keywords: lexsegment ideal
zbMATH Keywords: \(h\)-polynomial
reviewed by: S. A. Seyed Fakhari
MaRDI profile type: MaRDI publication profile
OpenAlex ID: W2964166603
arXiv ID: 1807.02834
cites work: Castelnuovo-Mumford regularity of products of ideals
cites work: Monomial Ideals
cites work: Regularity and h‐polynomials of monomial ideals
cites work: Computational methods of commutative algebra and algebraic geometry. With chapters by David Eisenbud, Daniel R. Grayson, Jürgen Herzog and Michael Stillman
Wikidata QID: Q129041398
DOI: 10.1007/S40306-018-0297-5
description: scientific article