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

polyominoesGorenstein ringrook polynomialHilbert-Poincaré series

Mathematics Subject Classification ID

Combinatorial aspects of commutative algebra (05E40) Structure, classification theorems for modules and ideals in commutative rings (13C05) Commutative rings defined by monomial ideals; Stanley-Reisner face rings; simplicial complexes (13F55) Polyominoes (05B50) Hilbert-Samuel and Hilbert-Kunz functions; Poincaré series (13D40) 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.

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

• scientific article; zbMATH DE number 482758 (Why is no real title available?)
• scientific article; zbMATH DE number 687006 (Why is no real title available?)
• 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
• Ideals generated by 2-minors, collections of cells and stack polyominoes
• Ideals generated by diagonal 2-minors
• Monomial Ideals
• Monomial algebras
• 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

(11)

• Polyocollection ideals and primary decomposition of polyomino ideals
• scientific article; zbMATH DE number 5558258 (Why is no real title available?)
• The Hilbert series of the clique complex
• On Gröbner basis and Cohen-Macaulay property of closed path polyominoes
• Level and pseudo-Gorenstein path polyominoes
• Hilbert series of simple thin polyominoes
• Shellable simplicial complex and switching rook polynomial of frame polyominoes
• Algebraic properties of the coordinate ring of a convex polyomino
• Regularity and the Gorenstein property of \(L\)-convex polyominoes
• The \(h\)-polynomial and the rook polynomial of some polyominoes
• Hilbert series of parallelogram 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)