Hilbert series of simple thin polyominoes (Q2240736)

Polyominoes are 2-dimensional objects obtained by joining edge by edge squares of same size. In [\textit{A. A. Qureshi}, J. Algebra 357, 279--303 (2012; Zbl 1262.13013)], Qureshi introduced a binomial ideal \(I_{\mathcal P}\) of a polynomial ring \(R\) associated with the geometry of a given polyomino \({\mathcal P}\), which is called a \textit{polyomino ideal}. In [\textit{J. Herzog} and \textit{S. Saeedi Madani}, Ill. J. Math. 58, No. 4, 981--995 (2014; Zbl 1326.05029)] and [\textit{A. A. Qureshi} et al., J. Commut. Algebra 9, No. 3, 413--422 (2017; Zbl 1372.05031)], one of the most important facts on polyomino ideals was shown: the algebra \(K[{\mathcal P}] = R / I_{\mathcal P}\) is a Cohen-Macaulay domain if \({\mathcal P}\) is simple, i.e., \({\mathcal P}\) has no holes. In this paper, the authors study a polyomino ideal \(I_{\mathcal P}\) when \({\mathcal P}\) is simple and thin. Here, a polyomino is said to be thin if it has no square tetrominoes as subpolyominoes. It is proved that, if \({\mathcal P}\) is simple and thin, then the reduced Hilbert-Poincaré series of \(K[{\mathcal P}]\) is of the form \(h(t)/(1-t)^d\) where \(h(t)\) is the rook polynomial of \({\mathcal P}\). A characterization of a simple thin polyomino \({\mathcal P}\) such that \(K[{\mathcal P}]\) is Gorenstein is also given.