Poincaré series of a toric variety (Q2459992)

Let \(X| \mathbb C\) be an affine variety, \(0\in X\), \(\{v_1, \ldots, v_r\}\) a set of discrete valuations of \(\mathcal O_{X, 0}\). For \(z=(z_1, \ldots, z_r)\in \mathbb Z^r\) let \(I(z):=\{f\in\mathcal O_{x,0}\;| \;v_i(f)\geq z_i\;,\;1\leq i\leq r\}\). If \(\{f\in\mathcal O_{X,0}\;| \;v_i(f)>0\}\) is the maximal ideal for all \(i\) then the \(\mathbb C\)-vector spaces \(I(z)\;/\;I(z+(1,\ldots, 1))\) have finite dimension, say \(d(z)\). For \(t=(t_1, \ldots, t_r)\) let \(L(t):= \sum_{z\in\mathbb Z^r} d(z)t^z\) and \(P(t)=\frac{\prod^r_{i=1}(t_i-1)L(t)}{\prod^r_{i=1}t_i-1}\) the Poincaré series. The Poincaré series for affine toric varieties is computed. An alternative description of the Poincaré series as an integral with respect to the Euler characteristic over the projectivization of the space \(\mathcal O_{X,0}\) is given.