Equivariant Poincaré series of filtrations and topology (Q2255153)

In previous work, the authors investigated some modern invariants attachable to a germ of complex analytic variety, specially the Poincaré series associated to a given multi-index filtration of the local ring of the germ. In [Rev. Mat. Complut. 26, No. 1, 241--251 (2013; Zbl 1276.14005)], they considered the more general case of a germ where a finite group \(G\) is acting. In this situation, they introduced a corresponding \textit{equivariant \(G\)-Poincaré} series (or \textit{Poincaré \(G\)-series}, or simply \textit{\(G\)-series}). In general this is not really a power series in the usual sense but rather an element of a Grothendieck ring \(K_0((G,r)\text{-sets})\) based on \(G\)-sets with some additional structure. The associated \(G\)-series is obtained by using \textit{integration with respect to the Euler characteristic}, a process somewhat akin to motivic integration. If the group \(G\) is trivial (\(G =\{e\}\)) this element can be identified to ``classical'' power series. In the mentioned article they compute this \(G\)-Poincaré series in the case of filtrations on \({\mathcal O}_{{\mathbb C}^2,0}\) defined by a plane curve singularity (alternatively, by the set of branches composing the curve) or by a finite set of divisorial valuations in the plane. In the present paper, in the planar situation just mentioned, the authors study whether the \(G\)-Poincaré series determines the equivariant topology of an embedded plane curve or of a given set of divisorial valuations. That is, if equality of the \(G\)-series implies \(G\)-topological equivalence (the precise meaning is explained in the paper). The answer is affirmative in the case of divisorial valuations, but not in general for curves. They give a condition of the set of branches so that its \(G\)-Poincaré series determines the \(G\)-invariant topology. They previously study the connection of the \(G\)-series and certain associated resolution graphs. Their results are used in their proof of the main theorems on topological equivalence. The article includes a number of interesting examples.