Hilbert-Poincaré series and Gorenstein property for some non-simple polyominoes

DOI10.1007/S41980-023-00769-5MaRDI QIDQ6100743zbMATH OpenOpenAlexFDO

Authors Carmelo Cisto, Francesco Navarra, Rosanna Utano

Publication date 22 June 2023

Published in Bulletin of the Iranian Mathematical Society (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2205.08375

zbMATH Keywords

Gorenstein ringHilbert-Poincaré seriespolyominoesrook polynomial

Mathematics Subject Classification ID

Polyominoes (05B50) Combinatorial aspects of commutative algebra (05E40) Structure, classification theorems for modules and ideals in commutative rings (13C05) Hilbert-Samuel and Hilbert-Kunz functions; Poincaré series (13D40) Commutative rings defined by monomial ideals; Stanley-Reisner face rings; simplicial complexes (13F55) Integral domains (13G05)

Abstract: Let $mathcalP$ be a closed path having no zig-zag walks, a kind of non-simple thin polyomino. In this paper we give a combinatorial interpretation of the $h$-polynomial of $K[mathcalP]$, showing that it is the rook polynomial of $mathcalP$. It is known by Rinaldo and Romeo (2021), that if $mathcalP$ is a simple thin polyomino then the $h$-polynomial is equal to the rook polynomial of $mathcalP$ and it is conjectured that this property characterizes all thin polyominoes. Our main demonstrative strategy is to compute the reduced Hilbert-Poincar'e series of the coordinate ring attached to a closed path $mathcalP$ having no zig-zag walks, as a combination of the Hilbert-Poincar'e series of convenient simple thin polyominoes. As a consequence we prove that the Krull dimension is equal to $vertV(mathcalP)vert-mathrmrank,mathcalP$ and the regularity of $K[mathcalP]$ is the rook number of $mathcalP$. Finally we characterize the Gorenstein prime closed paths, proving that $K[mathcalP]$ is Gorenstein if and only if $mathcalP$ consists of maximal blocks of length three.

Review text

Let \(K\) be a field and \(\mathcal{P}\) be a closed path without zig-zag walks. The authors are giving a combinatorial interpretation of the \(h\)-polynomial of \(K[\mathcal{P}].\) They show that the \(h\)-polynomial coincides in this case with the rook polynomial of \(\mathcal{P}.\) They compute the reduced Hilbert-Poincaré series of the coordinate ring ring attached to \(\mathcal{P}\), as a combination of Hilbert-Poincaré series of simple thin polyominoes. They compute the Krull dimension and the Castelnuovo-Muumford regularity of \(K[\mathcal{P}].\) They characterize the Gorenstein prime closed paths.

Recommendations

• Hilbert series of simple thin polyominoes
• The \(h\)-polynomial and the rook polynomial of some polyominoes
• Hilbert series of parallelogram polyominoes
• The Charney-Davis conjecture for simple thin polyominoes
• On Gröbner basis and Cohen-Macaulay property of closed path polyominoes

Cites work

• Algebraic properties of the coordinate ring of a convex polyomino
• Gröbner bases of balanced polyominoes
• Hilbert functions of graded algebras
• Hilbert series of parallelogram polyominoes
• Hilbert series of simple thin polyominoes
• scientific article; zbMATH DE number 482758 (Why is no real title available?)
• scientific article; zbMATH DE number 687006 (Why is no real title available?)
• Ideals generated by 2-minors, collections of cells and stack polyominoes
• Ideals generated by diagonal 2-minors
• Monomial algebras
• Monomial Ideals
• Nonsimple polyominoes and prime ideals
• On Gröbner basis and Cohen-Macaulay property of closed path polyominoes
• Primality of closed path polyominoes
• Primality of multiply connected polyominoes
• Primality of polyomino ideals by quadratic Gröbner basis
• Primality of weakly connected collections of cells and weakly closed path polyominoes
• Regularity and the Gorenstein property of \(L\)-convex polyominoes
• Simple polyominoes are prime
• The \(h\)-polynomial and the rook polynomial of some polyominoes
• The coordinate ring of a simple polyomino
• Toric representations of algebras defined by certain nonsimple polyominoes

Cited in

(16)

• On Gröbner basis and Cohen-Macaulay property of closed path polyominoes
• Hilbert series of simple thin polyominoes
• The Hilbert series of the clique complex
• Algebraic properties of the coordinate ring of a convex polyomino
• Regularity and the Gorenstein property of \(L\)-convex polyominoes
• Hilbert series of parallelogram polyominoes
• The \(h\)-polynomial and the rook polynomial of some polyominoes
• scientific article; zbMATH DE number 5558258 (Why is no real title available?)
• Polyocollection ideals and primary decomposition of polyomino ideals
• Shellable simplicial complex and switching rook polynomial of frame polyominoes
• Level and pseudo-Gorenstein path polyominoes
• Nonsimple collections of cells whose inner 2-minors ideals are prime. II
• On Cohen-Macaulay non-prime collections of cells
• Non-simple polyominoes of Kőnig type and their canonical module
• Shellable flag simplicial complexes of non-simple polyominoes
• On the rook polynomial of grid polyominoes

This page was built for publication: Hilbert-Poincaré series and Gorenstein property for some non-simple polyominoes

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6100743)