Weil-Poincaré series and topology of collections of valuations on rational double points (Q2091643)

The authors continue their studies on Poincaré series [\textit{A. Campillo} et al., Duke Math. J. 117, No. 1, 125--156 (2003; Zbl 1028.32013); \textit{A. Campillo} et al., Comment. Math. Helv. 80, No. 1, 95--102 (2005; Zbl 1075.14024)]. Let \(S\subset \mathbb C^3\) be a surface, \(0\in \mathcal S\), and assume that the local ring \(\mathcal O_{\mathcal S,0}\) is normal. Let \(\pi: (\mathcal X,\mathcal D)\to (\mathcal S,0)\) be a resolution of the surface \(\mathcal S\). Let \(\mathcal D=\bigcup _{\sigma\in\Gamma}E_\sigma\) be the representation of the exceptional divisor \(\mathcal D\) as the union of its irreducible components; let \(d:=\det (E_\sigma \circ E_\tau)\) (\(\circ\) denotes intersection multiplicity). Let \(\{ v_i\mid 1\leq i\leq r\}=\{v_i\}\) be a family of discrete rank 1 valuations on \(\mathcal S\) such that \(v_i\) is defined either by an irreducible curve \(( \mathcal C_i, 0)\subset (\mathcal S,0)\) or -- loosely speaking -- by a component of \(\mathcal D\). Using this data, the authors define the Weil-Poincaré series \(P^W_{\{v_i\}}( \mathfrak t_1,\ldots,t_r) \in\mathbb Z[[ t_1^{1/d},\ldots,t_r^{1/d}]]\); in the following, they write \(P^W_{\{v_i\}}( \mathfrak t_1,\ldots,t_r)=: P^W_{\{v_i\}}(\underline {t})\), and call this series the W-Poincaré series associated with the family \(\{v_i\}\). The W-Poincaré series is well-defined, i.\ e.\ it is independent of the choice of the resolution \(\pi: (\mathcal X,\mathcal D)\to (\mathcal S,0)\). Let \(P_{\{v_i\}}(\underline t)\) be the usual Poincaré series of the family \(\{v_i\}\) [cf.\ the papers mentioned above]. Let \(\mathfrak C_{\mathcal S,0} \subset \mathfrak W_{\mathcal S,0}\) be the set of effective Cartier divisors on \((\mathcal S,0)\). There exist integral representations \[ P_{\{v_i\}}(\underline t)=\int_{\mathfrak C_{S,0}}\underline t^{\underline v(-)}d\chi,\quad P^W_{\{v_i\}}(\underline t)=\int_{\mathfrak W_{S,0}}\underline t^{\underline v(-)}d\chi. \] \{in eq.\ (5), p.\ 304, of the paper under review, the last \(P\) should carry an exonent~\(W\)\}. In Section 4 the authors give examples which show that the W-Poincaré series of a curve on an \(\mathbb E_7\) surface singularity does not, in general, determine the combinatorial type of its minimal resolution. A similar result holds for a divisorial valuation. The main results of this paper are Theorem 11 and Theorem 12 in Section 5. We describe -- only very roughly -- the statement for a family of valuations, i.\ e.\ the statement in Theorem 12. It provides sufficient conditions such that the following holds: Up to the symmetry of the dual resolution of \((\mathcal S,0)\), the W-Poincaré series \(P^W_{\{v_i\}}\) determines the combinatorial type of the minimal resolution of the family \(\{v_i\}\). In Section 6 the authors consider the case of a rational double point (of type \(\mathbb A_k\), \(\mathbb D_k\), \(\mathbb E_6\), \(\mathbb E_7\), \(\mathbb E_8\)); they start with the case that there is only one valuation \(v\), be it a curve valuation (defined by a curve germ \((C,0)\subset (S,0)\)) or a divisorial valuation \(v\) on \(\mathcal O_{(\mathcal S,0)}\). In Section 7 the case of a family \((v_i)\) of valuations is considered.