Generalised Poincaré series and embedded resolution of curves (Q646616)

The purpose of this paper is to extend the notions of generalised Poincarè series and divisorial Poincarè series (of motivic nature) introduced by \textit{A. Campillo, F. Delgado} and \textit{S. M. Gusein-Zade} [Monatsh. Math. 150, No. 3, 193--209 (2007; Zbl 1111.14020)] for complex curve singularities to curves defined over perfect fields, as well as to express then in terms of an embedded resolution of curves. Let \(k\) be a perfect field, let \(\mathcal V_k\) be the category of reduced quasi-projective schemes of finite type over \(k\), and let \(K_0(\mathcal V_k)\) be the Grothendieck ring of \(\mathcal V_k\). Let \(\mathbb L\) be the class of \(\mathbb A^1_k\) in \(K_0(\mathcal V_k)\); \(\mathbb L\) is a regular element of \(K_0(\mathcal V_k)\). Set \(\mathcal M_k=K_0(\mathcal V_k)_{\mathbb L}\). Let \(R\) be a two-dimensional regular local ring which contains \(k\), is of finite type over \(k\) and has \(k\) as residue field. Let \(f\in R\setminus\{0\}\) be a non-unit which is analytically reduced, and let \(C\) be the curve defined by \(f\). Let \(f=f_1\cdots f_r\) be the factorization of \(f\) as a product of analytically irreducible elements. The branches \(f_1,\ldots,f_r\) determine pseudo-valuations \(v_1,\ldots,v_r\) of \(R\). For every \(\underline n=(n_1,\ldots,n_r)\in\mathbb N_0^r\) set \(J(\underline n)=\{z\in R\mid v_i(z)\geq n_i\,\text{for }i\in\{1,\ldots,r\}\}\). The generalised Poincarè series given by the multi-index filtration \(J(\underline n)\) is \[ P_g(t_1,\ldots,t_r;\mathbb L)=\int_{\mathbb PR} \underline t^{\underline v(h)}d\chi_g\in \mathcal M_k[\![\,t_1,\ldots,t_r\,]\!]\eqno(*) \] where \(\underline t^{\underline v(h)}=t_1^{v_1(h)}\cdots t_r^{v_r(h)}\) is considered as a function of the projectivization \(\mathbb PR\) of \(R\) with values in \(\mathbb Z[\![\,t_1,\ldots,t_r\,]\!]\) and the lower index \(g\) in \(P_g\) stands for ``generalized'' (we set \(\underline t^{\underline v(h)}=0\) as soon as at least one of the \(v_i(h)\) equals \(\infty\)). (For the definition of the integral in \((*)\) (cf. [\textit{S. M. Gusein-Zade, F. Delgado} and \textit{A. Campillo}, Russ. Math. Surv. 54, No. 3, 634--635 (1999); translation from Usp. Mat. Nauk 54, No. 3, 157--158 (1999; Zbl 0976.32017)]). The notion of a cylindric set \(X\) and the generalized Euler characteristic \(\chi_g(X)\) make also sense in the situation considered in this paper.) The author considers an embedded resolution of the curve \(C\) and can give an explicit formula for \(P_g\) (cf.\ Th. 4.23). Also, he can give an explicit formula for the generalised divisorial Poincarè series \(P^D_g(t_1,\ldots,t_r;\mathbb L)\) (for the definition of this series cf.\ Def.\ 5.3, for the result cf.\ Th.\ 5.4. In order to get these formulae, the author introduces a semigroup \(Y\) [\,cf. \((\dag)\) on p.\ 208\,] and a surjective homomorphism of semigroups \(\text{Init}:\mathbb PR^*\to Y\). Reviewer's remark: 1. p.\ 204, 2.7.: read \(p_j\in E_{ij}\) and \(p_{ij}= -1\) if \(p_j \succ p_i\). 2. p.\ 204, 3.1, add ``reduced''. 3. p.\ 205, second paragraph of 3.6: read \(X=\pi_p^{-1}(Y)\). 4. section 3.7: \( P_g(t_1,\ldots,t_r;\mathbb L)\in \mathcal M_{k_R}[[t_1,\ldots,t_r]].\) 5. p.\ 207, l.\ 7. from top: \(\underline n(g)\). 6. The notations \(w_i(\underline n)\) and \(v_j(\underline n)\), which are used in Cor.\ 4.12, are defined in~4.19.