We give the explicit algorithm computing the motivic generalization of the Poincare series of the plane curve singularity introduced by A. Campillo, F. Delgado and S. Gusein-Zade. It is done in terms of the embedded resolution of the curve. The result is a rational function depending of the parameter q, at q=1 it coincides with the Alexander polynomial of the corresponding link. For irreducible curves we relate this invariant to the Heegard-Floer knot homologies constructed by P. Ozsvath and Z. Szabo. Many explicit examples are considered.
We target multivariable series associated with resolutions of complex analytic normal surface singularities. In general, the equivariant multivariable analytical and topological Poincaré series are well-defined and have good properties only if the link is a rational homology sphere. We wish to create a model when this assumption is not valid: we analyse the case of cusps. For such germs we define even the motivic versions of these two series, we prove that they are equal, and we provide explicit combinatorial expression for them. This is done via a motivic multivariable series associated with …
The geometric motivic Poincaré series of a germ $(S,0)$ of complex algebraic variety takes into account the classes in the Grothendieck ring of the jets of arcs through $(S,0)$. Denef and Loeser proved that this series has a rational form. We give an explicit description of this invariant when $(S,0)$ is an irreducible germ of quasi-ordinary hypersurface singularity in terms of the Newton polyhedra of the logarithmic jacobian ideals. These ideals are determined by the characteristic monomials of a quasi-ordinary branch parametrizing $(S,0)$.
The arithmetic motivic Poincaré series of a variety $V$ defined over a field of characteristic zero, is an invariant of singularities which was introduced by Denef and Loeser by analogy with the Serre-Oesterlé series in arithmetic geometry. They proved that this motivic series has a rational form which specializes to the Serre-Oesterlé series when $V$ is defined over the integers. This invariant, which is known explicitly for a few classes of singularities, remains quite mysterious. In this paper we study this motivic series when $V$ is an affine toric variety. We obtain a formula for the rati…
The geometric motivic Poincaré series of a variety, which was introduced by Denef and Loeser, takes into account the classes in the Grothendieck ring of the sequence of jets of arcs in the variety. Denef and Loeser proved that this series has a rational form. We describe it in the case of an affine toric variety of arbitrary dimension. The result, which provides an explicit set of candidate poles, is expressed in terms of the sequence of Newton polyhedra of certain monomial ideals, which we call logarithmic jacobian ideals, associated to the modules of differential forms with logarithmic poles…
If k is a field of characteristic 0, we prove that the motivic Poincare serie and the motivic Zeta functions associated to a k[[t]]-variety, flat and purely dimensional, are rational.
Lejeune-Jalabert and Reguera computed the geometric Poincare series P_{geom}(T) for toric surface singularities. They raise the question whether this series equals the arithmetic Poincare series. We prove this equality for a class of toric varieties including the surfaces, and construct a counterexample in the general case. We also compute the motivic Igusa Poincare series Q_{geom}(T) for toric surface singularities, using the change of variables formula for motivic integrals, thus answering a second question of Lejeune-Jalabert and Reguera's. The series Q_{geom}(T) contains more information t…
The Poincare series of a multi-index filtration on the ring of germs of functions can be written as a certain integral with respect to the Euler characteristic over the projectivization of the ring. Here this integral is considered with respect to the generalized Euler characteristic with values in the Grothendieck ring of varieties. For the filtration defined by orders of functions on the components of a plane curve singularity $C$ and for the so called divisorial filtration for a modification of $(\C^2,0)$ by a sequence of blowing-ups there are given formulae for this integral in terms of an…
We introduce a family of periods of mixed Tate motives called dissection polylogarithms, that are indexed by combinatorial objects called dissection diagrams. The motivic coproduct on the former is encoded by a combinatorial Hopf algebra structure on the latter. This generalizes Goncharov's formula for the motivic coproduct on (generic) iterated integrals. Our main tool is the study of the relative cohomology group corresponding to a bi-arrangement of hyperplanes.
We study the scheme of formal arcs on a singular algebraic variety and its images under truncations. We prove a rationality result for the Poincare series of these images which is an analogue of the rationality of the Poincare series associated to p-adic points on a p-adic variety. The main tools which are used are semi-algebraic geometry in spaces of power series and motivic integration (a notion introduced by M. Kontsevich). In particular we develop the theory of motivic integration for semi-algebraic sets of formal arcs on singular algebraic varieties, we prove a change of variable formula …
Following the work of Gangl, Goncharov and Levin in [GGL], we will give a combinatorial framework for motivic study of iterated integrals on the affine line. We will show that under a certain genericity condition these combinatorial objects yield to elements in the motivic Hopf algebra constructed in Bloch-Kriz [BK]. It will be shown that the Hodge realization of these elements coincides with the Hodge structure induced from the fundamental torsor of path of punctured affine line.
Our purpose is to investigate all defined Poincaré series associated with multi-index filtrations and value semigroups of curve singularities---not necessarily complex---with regard to the property of forgetting variables, i.e., by making variables of the series to be 1. Generalised Poincaré series of motivic nature will be also considered.
We review Deitmar's theory of monoidal schemes to start with, and have a detailed look at the standard examples. It is explained how one can combinatorially study such schemes through a generalization of graph theory. In a more general setting we then introduce the author's version of $\mathbb{F}_1$-schemes (called $Υ$-schemes here), after which we study Grothendieck's motives in some detail in order to pass to "absolute motives". Throughout several considerations about absolute zeta functions are written. In a final part of the chapter, we describe the approach of Connes and Consani to unders…
Let X be a complete, geometrically irreducible, singular, algebraic curve defined over a field of characteristic p big enough. Given a local ring O_{P,X} at a rational singular point P of X, we attached a universal zeta function which is a rational function and admits a functional equation if O_{P,X} is Gorenstein. This universal zeta function specializes to other known zeta functions and Poincare series attached to singular points of algebraic curves. In particular, for the local ring attached to a complex analytic function in two variables, our universal zeta function specializes to the gene…
We construct a notion of p-adic measure on Artin n-stacks which are strongly of finite type over the ring of p-adic integers. We also prove the rationality of of the Poincare series and the Serre series associated with such stacks. Finally, we use motivic integration to show that the rationality of the Serre series is uniform with respect to p.
The purpose of this paper is to extend the notions of generalised Poincaré series and divisorial generalised Poincaré series (of motivic nature) introduced by Campillo, Delgado and Gusein-Zade for complex curve singularities to curves defined over perfect fields, as well as to express them in terms of an embedded resolution of curves.
We present a decomposition of the space of twisted arcs of a toric stack. As a consequence, we give a combinatorial description of the motivic integral associated to a torus-invariant divisor of a toric stack.
We give here a description of the motivic Poincare series in case of irreducible quasi-ordinary hypersurfaces in all dimension. We give an explicit formula in a particular case. Finally, for such singularities, we give a constructive proof of a result of rationnality of such series proved by Denef and Loeser in all generality.
We derive some combinatorial consequences from the positivity of Donaldson-Thomas invariants for symmetric quivers conjectured by Kontsevich and Soibelman and proved recently by Efimov. These results are used to prove the Kac conjecture for quivers having at least one loop at every vertex.
The motivic nearby fiber is an invariant obtained from degenerating a complex variety over a disc. It specializes to the Euler characteristic of the original variety but also contains information on the variation of Hodge structure associated to the degeneration which is encoded as a limit mixed Hodge structure. However, this invariant is difficult to compute in practice. Using the techniques of tropical geometry we present a new formula for the motivic nearby fiber. Moreover, since there is a range of available software implementing the main algorithms in tropical geometry, our formula can be…
We show that the Poincare polynomial associated with the orbifold cell decomposition of the moduli space of smooth algebraic curves with distinct marked points satisfies a topological recursion formula of the Eynard-Orantin type. The recursion uniquely determines the Poincare polynomials from the initial data. Our key discovery is that the Poincare polynomial is the Laplace transform of the number of Grothendieck's dessins d'enfants.
Assume that the link of a complex normal surface singularity is a rational homology sphere. Then its Seiberg-Witten invariant can be computed as the `periodic constant' of the topological multivariable Poincaré series (zeta function). This involves a complicated regularization procedure (via quasipolynomials measuring the asymptotic behaviour of the coefficients). We show that the (a Gorenstein type) symmetry of the zeta function combined with Ehrhart-Macdonald-Stanley reciprocity (of Ehrhart theory of polytopes) provide a simple expression for the periodic constant. Using these dualities we a…
Hyperquot schemes are generalizations of Grothendieck's Quot scheme to partial flags. Using a Bialynicki-Birula decomposition, we obtain combinatorial data for the Betti numbers, and collect this information into the form of rational generating functions for the Poincare polynomials.
We obtain a combinatorial proof that the number of points of the space $\overline{{\mathcal M}_{0,n}}({\mathbb F}_q)$ satisfies the recurrent formula for Poincare polynomials of the space $\overline{{\mathcal M}_{0,n}}({\mathbb C})$.
We give a combinatorial proof for a multivariable formula of the generating series of type D Young walls. Based on this we give a motivic refinement of a formula for the generating series of Euler characteristics of Hilbert schemes of points on the orbifold surface of type D.
We study endomorphisms of complete Noetherian local rings in the context of motivic integration. Using the notion of an auto-arc space, we introduce the (reduced) auto-Igusa zeta series at a point, which appears to measure the degree to which a variety is not smooth that point. We conjecture a closed formula in the case of curves with one singular point, and we provide explicit formulas for this series in the case of the cusp and the node. Using the work of Denef and Loeser, one can show that this series will often be rational. These ideas were obtained through extensive calculations in Sage. …
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 …
