Hilbert series of simple thin polyominoes (Q2240736)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Hilbert series of simple thin polyominoes
scientific article

    Statements

    Hilbert series of simple thin polyominoes (English)
    0 references
    0 references
    0 references
    4 November 2021
    0 references
    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.
    0 references
    simple polyominoes
    0 references
    Hilbert-Poincaré series
    0 references
    rook polynomial
    0 references
    Gorenstein algebras
    0 references

    Identifiers