arXiv subjects
Publications and source records attributed to A. Campillo.
There exist several equivalent equations for the Poincaré series of a collection of valuations on the ring of germs of functions on a complex analytic variety. We give definitions of the Poincaé series of a collection of valuations in the real setting (i.e., on the ring of germs of functions on a real analytic variety), compute them for the case of one curve valuation on the plane and discuss some of their properties.
Earlier it was described to which extent the Alexander polynomial in several variables of an algebraic link in the Poincaré sphere determines the topology of the link. It was shown that, except some explicitly described cases, the Alexander polynomial of an algebraic link determines the combinatorial type of the minimal resolution of the curve and therefore the topology of the corresponding link. The Alexander polynomial of an algebraic link in the Poincaré sphere coincides with the Poincaré series of the corresponding set of curve valuations. The latter one can be defined as an integral over the space of divisors on the $E_8$-singularity. Here we consider a similar integral for rational double point surface singularities over the space of Weil divisors called the Weil-Poincaré series. We show that, except a few explicitly described cases the Weil-Poincaré series of a collection of curve valuations on a rational double point surface singularity determines the topology of the corresponding link. We give analogous statements for collections of divisorial valuations.
The Alexander polynomial in several variables is defined for links in three-dimensional homology spheres, in particular, in the Poincaré sphere: the intersection of the surface $S=\{(z_1,z_2,z_3)\in {\mathbb C}^3: z_1^5+z_2^3+z_3^2=0\}$ with the 5-dimensional sphere ${\mathbb S}_{\varepsilon}^5=\{(z_1,z_2,z_3)\in {\mathbb C}^3: \vert z_1\vert^2+\vert z_2\vert^2+\vert z_3\vert^2=\varepsilon^2\}$. An algebraic link in the Poincaré sphere is the intersection of a germ $(C,0)\subset (S,0)$ of a complex analytic curve in $(S,0)$ with the sphere ${\mathbb S}_{\varepsilon}^3$ of radius $\varepsilon$ small enough. Here we discuss to which extend the Alexander polynomial in several variables of an algebraic link in the Poincaré sphere determines the topology of the link. We show that, if the strict transform of a curve on $(S,0)$ does not intersect the component of the exceptional divisor corresponding to the end of the longest tail in the corresponding $E_8$-diagram, then its Alexander polynomial determines the combinatorial type of the minimal resolution of the curve and therefore the topology of the corresponding link. Alexander polynomial of an algebraic link in the Poincaré sphere coincides with the Poincaré series of the filtration defined by the corresponding curve valuations. We show that, under conditions similar for those for curves, the Poincaré series of a collection of divisorial valuations determines the combinatorial type of the minimal resolution of the collection.
Let $\{C_i : i=1,\ldots,r\}$ be a set of irreducible plane curve singularities. For an action of a finite group $G$, let $Δ^{L}(\{t_{a i}\})$ be the Alexander polynomial in $r\vert G\vert$ variables of the algebraic link $(\bigcup\limits_{i=1}^{r}\bigcup\limits_{a\in G}a C_i )\cap S^3_{\varepsilon}$ and let $ζ(t_1,\ldots, t_r) = Δ^{L}(t_1,\ldots,t_1,t_2,\ldots,t_2, \ldots,t_r,\ldots,t_r)$ with $\vert G\vert$ identical variables in each group. (If $r=1$, $ζ(t)$ is the monodromy zeta function of the function germ $\prod\limits_{a\in G} a^*f$, where $f=0$ is an equation defining the curve $C_1$.) We prove that $ζ(t_1,\ldots, t_r)$ determines the topological type of the link $L$. We prove an analogous statement for plane divisorial valuations formulated in terms of the Poincaré series of a set of valuations.
The equivariant with respect to a finite group action Poincaré series of a collection of $r$ valuations was defined earlier as a power series in $r$ variables with the coefficients from a modification of the Burnside ring of the group. Here we show that (modulo simple exceptions) the equivariant Poincaré series determines the equivariant topology of the collection of valuations.
In this survey one discusses the notion of the Poincaré series of multi-index filtrations, an alternative approach to the definition, a method of computation of the Poincaré series based on the notion of integration with respect to the Euler characteristic (or rather on an infinite-dimensional version of it), generalizations of the notion of the multi-variable Poincaré series based on the notion of the motivic integration, and relations of the latter ones with some zeta functions over finite fields and with generating series of Heegaard-Floer homologies of algebraic links.
We define a new equivariant (with respect to a finite group $G$ action) version of the Poincaré series of a multi-index filtration as an element of the power series ring ${\widetilde{A}}(G)[[t_1, \ldots, t_r]]$ for a certain modification ${\widetilde{A}}(G)$ of the Burnside ring of the group $G$. We give a formula for this Poincaré series of a collection of plane valuations in terms of a $G$-resolution of the collection. We show that, for filtrations on the ring of germs of functions in two variables defined by the curve valuations corresponding to the irreducible components of a plane curve singularity defined by a $G$-invariant function germ, in the majority of cases this equivariant Poincaré series determines the corresponding equivariant monodromy zeta functions defined earlier.
To a multi-index filtration (say, on the ring of germs of functions on a germ of a complex analytic variety) one associates several invariants: the Hilbert function, the Poincaré series, the generalized Poincaré series, and the generalized semigroup Poincaré series. The Hilbert function and the generalized Poincaré series are equivalent in the sense that each of them determines the other one. We show that for a filtration on the ring of germs of holomorphic functions in two variables defined by a collection of plane valuations both of them are equivalent to the generalized semigroup Poincaré series and determine the topology of the collection of valuations, i.e. the topology of its minimal resolution.
Earlier, for an action of a finite group $G$ on a germ of an analytic variety, an equivariant $G$-Poincaré 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é 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.
We offer a new approach to a definition of an equivariant version of the Poincaré series. This Poincaré series is defined not as a power series, but as an element of the Grothendieck ring of $G$-sets with an additional structure. We compute this Poincaré series for natural filtrations on the ring of germs of functions on the plane $(\C^2,0)$ with a finite group representation.
In earlier papers there were given formulae for the Poincare series of multi-index filtrations on the ring of germs of functions of two variables defined by collections of valuations corresponding to (reducible) plane curve singularities and by collections of divisorial ones. It was shown that the Poincare series of a collection of divisorial valuations determines the topology of the collection of divisors. Here we give a formula for the Poincare series of a general collection of valuations on the ring of germs of functions of two variables centred at the origin and prove a generalization of the statement that the Poincare series determines the topology of the collection.
Earlier the authors considered and, in some cases, computed Poincare series of two sorts of multi-index filtrations on the ring of germs of functions on a complex (normal) surface singularity (in particular on the complex plane). A filtration from the first class was defined by a curve (with several branches) on the surface singularity. The other one (so called divisorial filtration) was defined by a set of components of the exceptional divisor of a modification of the surface singularity. Here we define a filtration corresponding to an ideal or to a set of ideals in the ring of germs of functions on a surface singularity and compute the corresponding Poincare series in some cases. For the complex plane this notion unites the two classes of filtrations described above.
To a plane curve singularity one associates a multi-index filtration on the ring of germs of functions of two variables defined by the orders of a function on irreducible components of the curve. The Poincare series of this filtration turnes out to coincide with the Alexander polynomial of the curve germ. For a finite set of divisorial valuations on the ring corresponding to some components of the exceptional divisor of a modification of the plane, in a previous paper there was obtained a formula for the Poincare series of the corresponding multi-index filtration similar to the one associated to plane germs. Here we show that the Poincare series of a set of divisorial valuations on the ring of germs of functions of two variables defines "the topology of the set of the divisors" in the sense that it defines the minimal resolution of this set up to combinatorial equivalence. For the plane curve singularity case, we also give a somewhat simpler proof of the statement by Yamamoto which proves that the Alexander polynomial is equivalent to the embedded topology.
In previous papers, there were computed the Poincare series of some (multi-index) filtrations on the ring of germs of functions on a rational surface singularity. These Poincare series were written as the integer parts of certain fractional power series, an interpretation of whom was not given. Here we show that, up to a simple change of variables, these fractional power series are specializations of the equivariant Poincare series for filtrations on the ring of germs of functions on the universal abelian cover of the surface singularity. We compute these equivariant Poincare series.
This paper has been withdrawn by the authors due to a mistake in the proof of Theorem 1.
Let a finite group $G$ act on the complex plane $({\Bbb C}^2, 0)$. We consider multi-index filtrations on the spaces of germs of holomorphic functions of two variables equivariant with respect to 1-dimensional representations of the group $G$ defined by components of a modification of the complex plane ${\Bbb C}^2$ at the origin or by branches of a $G$-invariant plane curve singularity $(C,0)\subset({\Bbb C}^2,0)$. We give formulae for the Poincare series of these filtrations. In particular, this gives a new method to obtain the Poincare series of analogous filtrations on the rings of germs of functions on quotient surface singularities.
We prove two formulae which express the Alexander polynomial $Δ^C$ of several variables of a plane curve singularity $C$ in terms of the ring ${\cal O}_{C}$ of germs of analytic functions on the curve. One of them expresses $Δ^C$ in terms of dimensions of some factors corresponding to a (multi-indexed) filtration on the ring ${\cal O}_{C}$. The other one gives the coefficients of the Alexander polynomial $Δ^C$ as Euler characteristics of some explicitly described spaces (complements to arrangements of projective hyperplanes). The final version of this article will be published in the Duke Mathematical Journal.
We discuss some formulae which express the Alexander polynomial (and thus the zeta-function of the classical monodromy transformation) of a plane curve singularity in terms of the ring of functions on the curve. One of them describes the coefficients of the Alexander polynomial or of zeta-function of the monodromy transformation as Euler characteristics of some explicitly constructed spaces. For the Alexander polynomial these spaces are complements to arrangements of projective hyperplanes in projective spaces. For the zeta-function they are disjoint unions of such spaces. Under the influence of a result by J.Denef and F.Loeser it was understood that this results are connected with the notion of the motivic integration or rather with its version (in some sense a dual one) where the space of arcs is substituted by the space of functions. The aim of this paper is to discuss the notion of the integral with respect to the Euler characteristics (or with respect to the generalized Euler characteristic) over the space of functions (or over its projectivization) and its connection with the formulae for the coefficients of the Alexander polynomial and of the zeta-function of the monodromy transformation as Euler characteristics of some spaces. The paper will be published in Proceedings of the Steklov Mathematical Institute.