Poincaré series of a toric variety

From MaRDI portal
Publication:2459992



Abstract: For an affine toric variety X we compute the Poincare series of the multi-index filtration defined by a finite number of monomial divisorial valuations on the ring O_{X,0}. We give an alternative description of the Poincare series as an integral with respect to the Euler characteristic over the projectivization of the space of germs O_{X,0}. In particular we study divisorial valuations on the ring O_{C^d,0} that arise by considering toric constellations. We give an explicit formula for the Poincare series and a nice geometric description. This generalizes an expression of the Poincare series for curves and rational surface singularities.


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.











This page was built for publication: Poincaré series of a toric variety

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2459992)