Equivariant Poincaré series of filtrations and topology

From MaRDI portal
Publication:2255153



Abstract: Earlier, for an action of a finite group G on a germ of an analytic variety, an equivariant G-Poincar'e series of a multi-index filtration in the ring of germs of functions on the variety was defined as an element of the Grothendieck ring of G-sets with an additional structure. We discuss to which extend the G-Poincar'e series of a filtration defined by a set of curve or divisorial valuations on the ring of germs of analytic functions in two variables determines the (equivariant) topology of the curve or of the set of divisors.


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.











This page was built for publication: Equivariant Poincaré series of filtrations and topology

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