We offer an equivariant version of the classical monodromy zeta function of a singularity as a series with coefficients from the Grothendieck ring of finite G-sets tensored by the field of rational numbers. Main two ingredients of the definition are equivariant Lefschetz numbers and the lambda-structure on the Grothendieck ring of finite G-sets. We give an A'Campo type formula for the equivariant zeta function.
By using sheaf-theoretical methods such as constructible sheaves, we generalize the formula of Libgober-Sperber concerning the zeta functions of monodromy at infinity of polynomial maps into various directions. In particular, some formulas for the zeta functions of global monodromy along the fibers of bifurcation points of polynomial maps will be obtained.
For a one-parameter deformation of an analytic complex function germ of several variables, there is defined its monodromy zeta-function. We give a Varchenko type formula for this zeta-function if the deformation is non-degenerate with respect to its Newton diagram.
We elaborate notions of integration over the space of arcs factorized by the natural $C^*$-action and over the space of non-parametrized arcs (branches). There are offered two motivic versions of the zeta function of the classical monodromy transformation of a germ of an analytic function on a smooth space. We indicate a direct formula which connects the naive motivic zeta function of J. Denef and F. Loeser with the classical monodromy zeta function.
In earlier work, the authors described a relation between the Poincaré series and the classical monodromy zeta function corresponding to a quasihomogeneous polynomial. Here we formulate an equivariant version of this relation in terms of the Burnside rings of finite abelian groups and their analogues.
We offer an equivariant analogue of the monodromy zeta function of a germ invariant with respect to an action of finite group G as an element of the Grothendieck ring of finite (Z x G)-sets. We formulate equivariant analogues of the Sebastiani-Thom theorem and of the A'Campo formula.
In a previous work we have introduced the notion of embedded $\Q$-resolution, which essentially consists in allowing the final ambient space to contain abelian quotient singularities. Here we give a generalization of N. A'Campo's formula for the monodromy zeta function of a singularity in this setting. Some examples of its applications are shown.
For a complex polynomial or analytic function f, one has been studying intensively its so-called local zeta functions or complex powers; these are integrals of |f|^{2s}w considered as functions in s, where the w are differential forms with compact support. There is a strong correspondence between their poles and the eigenvalues of the local monodromy of f. In particular Barlet showed that each monodromy eigenvalue of f is of the form exp(a2iπ), where a is such a pole. We prove an analogous result for similar p-adic complex powers, called Igusa (local) zeta functions, but mainly for the related…
We prove a large sieve statement for the average distribution of Frobenius conjugacy classes in arithmetic monodromy groups over finite fields. As a first application we prove a stronger version of a result of Chavdarov on the ``generic'' irreducibility of the numerator of the zeta functions in a family of curves with large monodromy.
The monodromy conjecture states that every pole of the topological (or related) zeta function induces an eigenvalue of monodromy. This conjecture has already been studied a lot; however, in full generality it is proven only for zeta functions associated to a polynomial in two variables. In this article we consider zeta functions associated to an ideal. First we work in arbitrary dimension and obtain a formula (like the one of A'Campo) to compute the 'Verdier monodromy' eigenvalues associated to an ideal. Afterwards we prove a generalized monodromy conjecture for arbitrary ideals in two variabl…
In this article we consider surfaces that are general with respect to a 3- dimensional toric idealistic cluster. In particular, this means that blowing up a toric constellation provides an embedded resolution of singularities for these surfaces. First we give a formula for the topological zeta function directly in terms of the cluster. Then we study the eigenvalues of monodromy. In particular, we derive a useful criterion to be an eigenvalue. In a third part we prove the monodromy and the holomorphy conjecture for these surfaces.
For a generic (polynomial) one-parameter deformation of a complete intersection, there is defined its monodromy zeta-function. We provide explicit formulae for this zeta-function in terms of the corresponding Newton polyhedra in the case the deformation is non-degenerate with respect to its Newton polyhedra. Using this result we obtain the formula for the monodromy zeta-function at the origin of a polynomial on a complete intersection, which is an analog of the Libgober--Sperber theorem.
A generalization of Arnold's strange duality to invertible polynomials in three variables by the first author and A.Takahashi includes the following relation. For some invertible polynomials $f$ the Saito dual of the reduced monodromy zeta function of $f$ coincides with a formal "root" of the reduced monodromy zeta function of its Berglund-Hübsch transpose $f^T$. Here we give a geometric interpretation of "roots" of the monodromy zeta function and generalize the above relation to all non-degenerate invertible polynomials in three variables and to some polynomials in an arbitrary number of vari…
In 2011 Lemahieu and Van Proeyen proved the Monodromy Conjecture for the local topological zeta function of a non-degenerated surface singularity. We start from their work and obtain the same result for Igusa's p-adic and the motivic zeta function. In the p-adic case, this is, for a polynomial f in Z[x,y,z] satisfying f(0,0,0)=0 and non-degenerated with respect to its Newton polyhedron, we show that every pole of the local p-adic zeta function of f induces an eigenvalue of the local monodromy of f at some point of the complex zero locus of f close to the origin. Essentially the entire paper is…
To any Nash germ invariant under right composition with a linear action of a finite group, we associate its equivariant zeta functions, inspired from motivic zeta functions, using the equivariant virtual Poincaré series as a motivic measure. We show Denef-Loeser formulae for the equivariant zeta functions and prove that they are invariants for equivariant blow-Nash equivalence via equivariant blow-Nash isomorphisms. Equivariant blow-Nash equivalence between invariant Nash germs is defined as a generalization involving equivariant data of the blow-Nash equivalence.
A notion of Milnor fibration for meromorphic functions and the corresponding concepts of monodromy and monodromy zeta function have been introduced in [GZLM1]. In this article we define the topological zeta function for meromorphic germs and we study its poles in the plane case. We show that the poles do not behave as in the holomorphic case but still do satisfy a generalization of the monodromy conjecture.
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 s…
The aim of the article is an extension of the Monodromy Conjecture of Denef and Loeser in dimension two, incorporating zeta functions with differential forms and targeting all monodromy eigenvalues, and also considering singular ambient spaces. That is, we treat in a conceptual unity the poles of the (generalized) topological zeta function and the monodromy eigenvalues associated with a complex analytic function germ f defined on a normal surface singularity (X,0). The article targets the `right' extension in the case when the link of (X,0) is a homology sphere. As a first step, we prove a spl…
The main objects of study in this paper are the poles of several local zeta functions: the Igusa, topological and motivic zeta function associated to a polynomial or (germ of) holomorphic function in n variables. We are interested in poles of maximal possible order n. In all known cases (curves, non-degenerate polynomials) there is at most one pole of maximal order n which is then given by the log canonical threshold of the function at the corresponding singular point. For an isolated singular point we prove that if the log canonical threshold yields a pole of order n of the corresponding (loc…
We describe the monodromy of the equivariant quantum differential equation of the cotangent bundle of a Grassmannian in terms of the equivariant K-theory algebra of the cotangent bundle. This description is based on the hypergeometric integral representations for solutions of the equivariant quantum differential equation. We identify the space of solutions with the space of the equivariant K-theory algebra of the cotangent bundle. In particular, we show that for any element of the monodromy group, all entries of its matrix in the standard basis of the equivariant K-theory algebra of the cotang…
This article investigates the monodromy conjecture for a space monomial curve that appears as the special fiber of an equisingular family of curves with a plane branch as generic fiber. Roughly speaking, the monodromy conjecture states that every pole of the motivic, or related, Igusa zeta function induces an eigenvalue of monodromy. As the poles of the motivic zeta function associated with such a space monomial curve have been determined in earlier work, it remains to study the eigenvalues of monodromy. After reducing the problem to the curve seen as a Cartier divisor on a generic embedding s…
We prove for abelian varieties a global form of Denef and Loeser's motivic monodromy conjecture, in arbitrary characteristic. More precisely, we prove that for every tamely ramified abelian variety $A$ over a complete discretely valued field, its motivic zeta function has a unique pole at Chai's base change conductor $c(A)$ of $A$, and that the order of this pole equals one plus the potential toric rank of $A$. Moreover, we show that for every embedding of $\Q_\ell$ in $\C$, the value $\exp(2πi c(A))$ is an $\ell$-adic tame monodromy eigenvalue of $A$. The main tool in the paper is Edixhoven's…
For a formal scheme over a complete discrete valuation ring with a good action of a finite group, we define equivariant motivic integration, and we prove a change of variable formula for that.To do so, we construct and examine an induced group action on the Greenberg scheme of such a formal scheme. Using this equivariant motivic integration, we define an equivariant volume Poincaré series, from which we deduce Denef and Loeser's motivic zeta function including the action of the profinite group of roots of unity.
Earlier the authors offered an equivariant version of the classical monodromy zeta function of a G-invariant function germ with a finite group G as a power series with the coefficients from the Burnside ring of the group G tensored by the field of rational numbers. One of the main ingredients of the definition was the definition of the equivariant Lefschetz number of a G-equivariant transformation given by W.Lück and J.Rosenberg. Here we offer another approach to a definition of the equivariant Lefschetz number of a transformation and describe the corresponding notions of the equivariant zeta …
We investigate the interplay between the monodromy and the Deligne mixed Hodge structure on the Milnor fiber of a homogeneous polynomial. In the case of hyperplane arrangement Milnor fibers, we obtain a new result on the possible weights. For line arrangements, we prove in a new way the fact due to Budur and Saito that the spectrum is determined by the weak combinatorial data, and show that such a result fails for the Hodge-Deligne polynomials.
The main objective of this paper is to prove the monodromy conjecture for the local Igusa zeta function of a quasi-ordinary polynomial of arbitrary dimension defined over a number field. In order to do it, we compute the local Denef-Loeser motivic zeta function $Z_{\text{DL}}(h,T)$ of a quasi-ordinary power series $h$ of arbitrary dimension over an algebraically closed field of characteristic zero from its characteristic exponents without using embedded resolution of singularities. This allows us to effectively represent $Z_{\text{DL}}(h,T)=P(T)/Q(T)$ such that almost all the candidate poles g…
Using the sieve for Frobenius, we show that, in a certain sense, the roots of the L-functions of "most" algebraic curves over finite fields do not satisfy any non-trivial (linear or multiplicative) rational dependency relations. This can be seen as an analogue of conjectures of linear independence among ordinates of zeros of L-functions over number fields. As a corollary, we find, for "most" pairs of distinct algebraic curves over a finite field, the limiting distribution of the (suitably normalized) difference between the number of rational points over extensions of the ground field. The meth…
We extend the tropical intersection theory to tropicalizations of germs of analytic sets. In particular, we construct a (not entirely obvious) local version of the ring of tropical fans with a nondegenerate intersection pairing. As an application, we study nearby monodromy eigenvalues -- the eigenvalues of the monodromy operators of singularities, adjacent to a given singularity of a holomorphic function $f$. More precisely, we express some of such values in terms of certain resolutions of $f$. The expression is given it terms of the exceptional divisor strata of arbitrary codimension, general…
The monodromy conjecture is an umbrella term for several conjectured relationships between poles of zeta functions, monodromy eigenvalues and roots of Bernstein-Sato polynomials in arithmetic geometry and singularity theory. Even the weakest of these relations -- the Denef--Loeser conjecture on topological zeta functions -- is open for surface singularities. We prove it for a wide class of multidimensional singularities that are non-degenerate with respect to their Newton polyhedra, including all such singularities of functions of four variables. A crucial difference from the known case of thr…
We study topological zeta functions of complex plane curve singularities using toric modifications and further developments. As applications of the research method, we prove that the topological zeta function is a topological invariant for complex plane curve singularities, we give a short and new proof of the monodromy conjecture for plane curves.
The Poincare series of an irreducible plane curve singularity equals the zeta function of its monodromy, by a result of Campillo, Delgado and Gusein-Zade. We derive this fact from a formula of Ebeling and Gusein-Zade relating the Poincare series of a quasi-homogeneous complete intersection singularity to the Saito dual of a product of zeta functions.
We study the poles and residues of the complex zeta function $ f^s $ of a plane curve. We prove that most non-rupture divisors do not contribute to poles of $ f^s $ or roots of the Bernstein-Sato polynomial $ b_f(s) $ of $ f $. For plane branches we give an optimal set of candidates for the poles of $ f^s $ from the rupture divisors and the characteristic sequence of $ f $. We prove that for generic plane branches $ f_{gen} $ all the candidates are poles of $ f_{gen}^s $. As a consequence, we prove Yano's conjecture for any number of characteristic exponents if the eigenvalues of the monodromy…
We use a formula of Bultot to compute the motivic zeta function for the toric degeneration of the quartic K3 and its Gross-Siebert mirror dual degeneration. We check for this explicit example that the identification of the logarithm of the monodromy and the mirror dual Lefschetz operator works at an integral level.
We study in detail the family of Calabi-Yau hypersurfaces defined by x_1+...+x_n+1/(x_1...x_n)=t over a finite field k. We determine its local and global monodromy and the trivial factors of its moment zeta function and Dwork's unit root zeta function.
We use the notion of Milnor fibres of the germ of a meromorphic function and the method of partial resolutions for a study of topology of a polynomial map at infinity (mainly for calculation of the zeta-function of a monodromy). It gives effective methods of computation of the zeta-function for a number of cases and a criterium for a value to be atypical at infinity.
Let $K$ be a discretely-valued field. Let $X\rightarrow Spec K$ be a surface with trivial canonical bundle. In this paper we construct a weak Néron model of the schemes $Hilb^n(X)$ over the ring of integers $R\subseteq K$. We exploit this construction in order to compute the Motivic Zeta Function of $Hilb^n(X)$ in terms of $Z_X$. We determine the poles of $Z_{Hilb^n(X)}$ and study its monodromy property, showing that if the monodromy conjecture holds for $X$ then it holds for $Hilb^n(X)$ too. Sit $K$ corpus cum absoluto ualore discreto. Sit $ X\rightarrow Spec K$ leuigata superficies cum canon…
We prove several results on monodromies associated to Macdonald integrals, that were used in our previous work on the finite field analogue of a conjecture of Macdonald. We also give a new proof of our formula expressing recursively the zeta function of the local monodromy at the origin of the discriminant of a finite Coxeter group in terms of the degrees of the group.
Let $(X,x)$ be an isolated complete intersection singularity and let $f : (X,x) \to (\CC,0)$ be the germ of an analytic function with an isolated singularity at $x$. An important topological invariant in this situation is the Picard-Lefschetz monodromy operator associated to $f$. We give a survey on what is known about this operator. In particular, we review methods of computation of the monodromy and its eigenvalues (zeta function), results on the Jordan normal form of it, definition and properties of the spectrum, and the relation between the monodromy and the topology of the singularity.
This is a survey on motivic zeta functions associated to abelian varieties and Calabi-Yau varieties over a discretely valued field. We explain how they are related to Denef and Loeser's motivic zeta function associated to a complex hypersurface singularity and we investigate the relation between the poles of the zeta function and the eigenvalues of the monodromy action on the tame $\ell$-adic cohomology of the variety. The motivic zeta function allows to generalize many interesting arithmetic invariants from abelian varieties to Calabi-Yau varieties and to compute them explicitly on a model wi…
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 …
We study motivic zeta functions of degenerating families of Calabi-Yau varieties. Our main result says that they satisfy an analog of Igusa's monodromy conjecture if the family has a so-called Galois-equivariant Kulikov model; we provide several classes of examples where this condition is verified. We also establish a close relation between the zeta function and the skeleton that appeared in Kontsevich and Soibelman's non-archimedean interpretation of the SYZ conjecture in mirror symmetry.
The Monodromy Conjecture asserts that if c is a pole of the local topological zeta function of a hypersurface, then exp(2πi c) is an eigenvalue of the monodromy on the cohomology of the Milnor fiber. A stronger version of the conjecture asserts that every pole is a root of the Bernstein-Sato polynomial of the hypersurface. In this note we prove the weak version of the conjecture for hyperplane arrangements. Furthermore, we reduce the strong version to the following conjecture: -n/d is always a root of the Bernstein-Sato polynomial of an indecomposable essential central hyperplane arrangement o…
We lift the splicing formula of Némethi and Veys, which deals with polynomials in two variables, to the motivic level. After defining the motivic zeta function and the monodromic motivic zeta function with respect to a differential form, we prove a splicing formula for them, which specializes to this formula of Némethi and Veys. We also show that we cannot introduce a monodromic motivic zeta functions in terms of a (splice) diagram since it does not contain all the necessary information. In the last part we discuss the generalized monodromy conjecture of Némethi and Veys. The statement also ho…
We give an equivariant version of the Saito duality which can be regarded as a Fourier transformation on Burnside rings. We show that (appropriately defined) reduced equivariant monodromy zeta functions of Berglund-Hübsch dual invertible polynomials are Saito dual to each other with respect to their groups of diagonal symmetries. Moreover we show that the relation between "geometric roots" of the monodromy zeta functions for some pairs of Berglund-Hübsch dual invertible polynomials described in a previous paper is a particular case of this duality.
For a pair of affine toric varieties X and Y defined by dual cones, we define an equivalence between two triangulated categories. The first is a mixed version of the equivariant derived category of X and the second is a mixed version of the derived category of sheaves on Y which are locally constant with unipotent monodromy on each orbit. This equivalence satisfies the Koszul duality formalism of Beilinson, Ginzburg, and Soergel. A similar duality was constructed in math.AG/0308216; this new approach is more canonical.
In a previous paper, the authors defined an equivariant version of the so-called Saito duality between the monodromy zeta functions as a sort of Fourier transform between the Burnside rings of an abelian group and of its group of characters. Here a so-called enhanced Burnside ring $\widehat{B}(G)$ of a finite group $G$ is defined. An element of it is represented by a finite $G$-set with a $G$-equivariant transformation and with characters of the isotropy subgroups associated to all points. One gives an enhanced version of the equivariant Saito duality. For a complex analytic $G$-manifold with …
The holomorphy conjecture states roughly that Igusa's zeta function associated to a hypersurface and a character is holomorphic on $\mathbb{C}$ whenever the order of the character does not divide the order of any eigenvalue of the local monodromy of the hypersurface. In this article we prove the holomorphy conjecture for surface singularities which are nondegenerate over $\mathbb{C}$ with respect to their Newton polyhedron. In order to provide relevant eigenvalues of monodromy, we first show a relation between the normalized volume (which appears in the formula of Varchenko for the zeta functi…
