Poincaré series of monomial rings (Q2576982)

Let \(I\) be an ideal generated by monomials in the polynomial ring \(\,k[x_1,\ldots ,x_t]\,\) over a field \(k\), and let \(\,R=k[x_1,\ldots ,x_t]/I\,\) be the associated monomial ring. For each \(\,i\geqslant 0\), the \(k\)-vector spaces \(\,\text{Tor}^R_i (k,k)\,\) are \(\,\mathbb N ^t\,\)-graded. In this paper the author derives a formula for the multigraded Poincaré series of \(R\): \[ \text{ P}^R_k(x_1,\ldots x_t, z)= \sum _{i\geqslant 0, \alpha \in \mathbb N^t} \dim _k \text{Tor}^R_{i, \;\alpha} (k,k)x^\alpha z^i\,, \] in terms of the homology of certain simplicial complexes associated to subsets of the minimal set of generators for \(I\).