We show that the real parts of the poles of the Igusa zeta function of a monomial ideal can be computed from the torus-invariant divisors on the normalized blowing-up along the ideal. Moreover, we show that every such number is a root of the Bernstein-Sato polynomial associated to the monomial ideal.
In this paper, we prove the rationality of Igusa's local zeta functions of semiquasihomogeneous polynomials with coefficients in a non-archimedean local field K. The proof of this result is based on Igusa's stationary phase formula and some ideas on Neron p-desingularization.
We define motivic analogues of Igusa's local zeta functions. These functions take their values in a Grothendieck group of Chow motives. They specialize to p-adic Igusa local zeta functions and to the topological zeta functions we introduced several years ago. We study their basic properties, such as functional equations, and their relation with motivic nearby cycles. In particular the Hodge spectrum of a singular point of a function may be recovered from the Hodge realization of these zeta functions.
We show that coefficients in the Laurent series of Igusa Zeta functions are periods. This will be used in a subsequent paper (by P. Brosnan) to show that certain numbers occurring in study of Feynman amplitudes (upto gamma factors) are periods.
In this article, we compute the motivic Igusa zeta function of a space monomial curve that appears as the special fiber of an equisingular family whose generic fiber is a complex plane branch. To this end, we determine the irreducible components of the jet schemes of such a space monomial curve. This approach does not only yield a closed formula for the motivic zeta function, but also allows to determine its poles. We show that, while the family of the jet schemes of the fibers is not flat, the number of poles of the motivic zeta function associated with the space monomial curve is equal to th…
The numerical data of an embedded resolution determine the candidate poles of Igusa's p-adic zeta function. We determine in complete generality which real candidate poles are actual poles in the curve case.
The aim of this paper is to describe explicitly the poles of the meromorphic continuation of the Igusa local zeta function associated to several polynomials. Using resolution of singularities is possible to express the Igusa's local zeta function as a finite sum of p-adic monomial integrals. We compute these monomial integrals using techniques of toroidal geometry. In this way, we obtain an explicit list for the candidates to poles of the local zeta function associated to several polynomials.
We explain the proof, obtained in collaboration with Chenyang Xu, of a 1999 conjecture of Veys about poles of maximal order of Igusa zeta functions. The proof technique is based on the Minimal Model Program in birational geometry, but the proof was heavily inspired by ideas coming from non-archimedean geometry and mirror symmetry; we will outline these relations at the end of the paper. This text is intended to be a low-tech introduction to these topics; we only assume that the reader has a basic knowledge of algebraic geometry.
Let (X,L) be a polarized manifold. Assume that the automorphism group is finite. If the height discrepancy of (X,L) is O(d^2) then (X,L) admits a csck metric in the first chern class of L if and only if (X,L) is asymptotically stable.
Let K be a p-adic field. We explore Igusa's p-adic zeta function, which is associated to a K-analytic function on an open and compact subset of K^n. First we deduce a formula for an important coefficient in the Laurent series of this meromorphic function at a candidate pole. Afterwards we use this formula to determine all values less than -1/2 for n=2 and less than -1 for n=3 which occur as the real part of a pole.
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…
For p prime, we give an explicit formula for Igusa's local zeta function associated to a polynomial mapping f=(f_1,...,f_t): Q_p^n -> Q_p^t, with f_1,...,f_t in Z_p[x_1,...,x_n], and an integration measure on Z_p^n of the form |g(x)||dx|, with g another polynomial in Z_p[x_1,...,x_n]. We treat the special cases of a single polynomial and a monomial ideal separately. The formula is in terms of Newton polyhedra and will be valid for f and g sufficiently non-degenerated over F_p with respect to their Newton polyhedra. The formula is based on, and is a generalization of results of Denef - Hoornaer…
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. …
We study the twisted local zeta function associated to a polynomial in two variables with coefficients in a non-Archimedean local field of arbitrary characteristic. Under the hypothesis that the polynomial is arithmetically non degenerate, we obtain an explicit list of candidates for the poles in terms of geometric data obtained from a family of arithmetic Newton polygons attached to the polynomial. The notion of arithmetical non degeneracy due to Saia and Zúñiga-Galindo is weaker than the usual notion of non degeneracy due to Kouchnirenko. As an application we obtain asymptotic expansions for…
Let K be a p-adic field, R the valuation ring of K, P the maximal ideal of R and q the cardinality of the residue field R/P. Let f be a polynomial over R in n>1 variables and let χbe a character of R^{\times}. Let M_i(u) be the number of solutions of f=u in (R/P^i)^n for i \in \mathbb{Z}_{\geq 0} and u \in R/P^i. These numbers are related with Igusa's p-adic zeta function Z_{f,χ}(s) of f. We explain the connection between the M_i(u) and the smallest real part of a pole of Z_{f,χ}(s). We also prove that M_i(u) is divisible by q^{\ulcorner(n/2)(i-1)\urcorner}, where the corners indicate that we …
We introduce and study a class of multivariate rational functions associated with hyperplane arrangements, called flag Hilbert-Poincaré series. These series are intimately connected with Igusa local zeta functions of products of linear polynomials, and their motivic and topological relatives. Our main results include a self-reciprocity result for central arrangements defined over fields of characteristic zero. We also prove combinatorial formulae for a specialization of the flag Hilbert-Poincaré series for irreducible Coxeter arrangements of types $\mathsf{A}$, $\mathsf{B}$, and $\mathsf{D}$ i…
In this paper we provide a geometric description of the possible poles of the Igusa local zeta function associated to an analytic mapping and a locally constant function, in terms of a log-principalizaton of an ideal naturally attached to the mapping. Typically our new method provides a much shorter list of possible poles compared with the previous methods. We determine the largest real part of the poles of the Igusa zeta function, and then as a corollary, we obtain an asymptotic estimation for the number of solutions of an arbitrary system of polynomial congruences in terms of the log-canonic…
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…
The local zeta functions (also called Igusa's zeta functions) over p-adic fields are connected with the number of solutions of congruences and exponential sums mod p^{m}. These zeta functions are defined as integrals over open and compact subsets with respect to the Haar measure. In this paper, we introduce new integrals defined over submanifolds, or more generally, over non-degenerate complete intersection varieties, and study their connections with some arithmetical problems such as estimation of exponential sums mod p^{m}. In particular we extend Igusa's method for estimating exponential su…
On Igusa's conjectures for weighted homogeneous polynomials with isolated singularities
KU Leuven(荷语鲁汶大学);Institute of Mathematics, Vietnam Academy of Science and Technology(越南科学技术院数学研究所);Kavli Institute for the Physics and Mathematics of the Universe, The University of Tokyo(东京大学宇宙物理数学研究所(Kavli));Department of Mathematics, Graduate School of Science, the University of Osaka(大阪大学理学研究科数学系)
Let X be a nonsingular algebraic variety in characteristic zero. To an effective divisor on X Kontsevich has associated a certain 'motivic integral', living in a completion of the Grothendieck ring of algebraic varieties. He used this invariant to show that birational Calabi-Yau varieties have the same Hodge numbers. Then Denef and Loeser introduced the motivic (Igusa) zeta function, associated to a regular function on X, which specializes to both the classical p-adic Igusa zeta function and the topological zeta function, and also to Kontsevich's invariant. This paper treats a generalization t…
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…
Let $X_λ$ and $X_λ'$ be monomial deformations of two Delsarte hypersurfaces in weighted projective spaces. In this paper we give a sufficient condition so that their zeta functions have a common factor. This generalises results by Doran, Kelly, Salerno, Sperber, Voight and Whitcher [arXiv:1612.09249], where they showed this for a particular monomial deformation of a Calabi-Yau invertible polynomial. It turns out that our factor can be of higher degree than the factor found in [arXiv:1612.09249].
Conjectures of J. Igusa for p-adic local zeta functions and of J. Denef and F. Loeser for topological local zeta functions assert that (the real part of) the poles of these local zeta functions are roots of the Bernstein-Sato polynomials (i.e. the b-functions). We prove these conjectures for certain hyperplane arrangements, including the case of reduced hyperplane arrangements in three-dimensional affine space.
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.
This paper intends to give a mathematical explanation for results on the zeta-function of some families of varieties recently obtained in the context of Mirror Symmetry. In doing so, we obtain concrete and explicit examples for some results recently used in algorithms to count points on smooth hypersurfaces in P^n. In particular, we extend the monomial-motive correspondence of Kadir and Yui and we give explicit solutions to the p-adic Picard-Fuchs equation associated with monomial deformations of Fermat hypersurfaces. As a by-product we obtain Poincare Duality for the Rigid cohomology of certa…
We develop techniques for computing zeta functions associated with nilpotent groups, not necessarily associative algebras, and modules, as well as Igusa-type zeta functions. At the heart of our method lies an explicit convex-geometric formula for a class of $p$-adic integrals under non-degeneracy conditions with respect to associated Newton polytopes. Our techniques prove to be especially useful for the computation of topological zeta functions associated with algebras, resulting in the first systematic investigation of their properties.
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…
For each central essential hyperplane arrangement $\mathcal{A}$ over an algebraically closed field, let $Z_\mathcal{A}^{\hatμ}(T)$ denote the Denef-Loeser motivic zeta function of $\mathcal{A}$. We prove a formula expressing $Z_\mathcal{A}^{\hatμ}(T)$ in terms of the Milnor fibers of related hyperplane arrangements. We use this formula to show that the map taking each complex arrangement $\mathcal{A}$ to the Hodge-Deligne specialization of $Z_{\mathcal{A}}^{\hatμ}(T)$ is locally constant on the realization space of any loop-free matroid. We also prove a combinatorial formula expressing the mot…
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 introduce motivic zeta functions for matroids. These zeta functions are defined as sums over the lattice points of Bergman fans, and in the realizable case, they coincide with the motivic Igusa zeta functions of hyperplane arrangements. We show that these motivic zeta functions satisfy a functional equation arising from matroid Poincaré duality in the sense of Adiprasito-Huh-Katz. In the process, we obtain a formula for the Hilbert series of the cohomology ring of a matroid, in the sense of Feichtner-Yuzvinsky. We then show that our motivic zeta functions specialize to the topological zeta …
We introduce the etale framework to study Igusa zeta functions in several variables, generalizing the machinery of vanishing cycles in the univariate case. We define the etale Alexander modules, associated to a morphism of varieties F from X to affine r-space, a geometric point of X, and an object in the derived category of constructible l-adic sheaves on the inverse image of the r-torus under F. The Alexander modules are sheaves of modules on the scheme of continuous characters of the tame fundamental group of the r-torus. We formulate Loeser's Monodromy and Holomorphy Conjectures for multiva…
The holomorphy conjecture predicts that the local Igusa 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 note we propose the holomorphy conjecture for arbitrary subschemes at the level of the topological zeta function and we prove this conjecture for subschemes defined by an ideal that is generated by a finite number of complex polynomials in two variables.
In this article, we study local zeta functions attached to Laurent polynomials over p-adic fields, which are non-degenerate with respect to their Newton polytopes at infinity. As an application we obtain asymptotic expansions for p-adic oscillatory integrals attached to Laurent polynomials. We show the existence of two different asymptotic expansions for p-adic oscillatory integrals, one when the absolute value of the parameter approaches infinity, the other when the absolute value of the parameter approaches zero. These two asymptotic expansions are controlled by the poles of twisted local ze…
To a polynomial $f$ over a non-archimedean local field $K$ and a character $χ$ of the group of units of the valuation ring of $K$ one associates Igusa's local zeta function $Z(s,f,χ)$. In this paper, we study the local zeta function $Z(s,f,χ)$ associated to a non-degenerate polynomial $f$, by using an approach based on the p-adic stationary phase formula and Néron p-desingularization. We give a small set of candidates for the poles of $Z(s,f,χ)$ in terms of the Newton polyhedron $ Γ(f)$ of $f$. We also show that for almost all $χ$, the local zeta function $Z(s,f,χ)$ is a polynomial in $q^{-s}$…
In the 70's Igusa developed a uniform theory for local zeta functions and oscillatory integrals attached to polynomials with coefficients in a local field of characteristic zero. In the present article this theory is extended to the case of rational functions, or, more generally, meromorphic functions f/g, with coefficients in a local field of characteristic zero. This generalization is far from being straightforward due to the fact that several new geometric phenomena appear. Also, the oscillatory integrals have two different asymptotic expansions: the 'usual' one when the norm of the paramet…
For a nonzero ideal I of C[x_1,...,x_n], with 0 in supp I, a generalization of a conjecture of Igusa - Denef - Loeser predicts that every pole of its topological zeta function is a root of its Bernstein-Sato polynomial. However, typically only a few roots are obtained this way. Following ideas of Veys, we study the following question. Is it possible to find a collection G of polynomials g in C[x_1,...,x_n], such that, for all g in G, every pole of the topological zeta function associated to I and the volume form gdx on the affine n-space, is a root of the Bernstein-Sato polynomial of I, and su…
One mentions in a lot of papers that the poles of Igusa's p-adic zeta function determine the asymptotic behavior of the number of solutions of polynomial congruences. However, no publication clarifies this connection precisely. We try to get rid of this gap.
This paper is dedicated to the description of the poles of the Igusa local zeta functions $Z(s,f,v)$ when $f(x,y)$ satisfies a new non degeneracy condition, that we have called arithmetic non degeneracy. More precisely, we attach to each polynomial $f(x,y)$, a collection of convex sets $Γ^{A}$ called the arithmetic Newton polygon of $f(x,y)$, and introduce the notion of arithmetic non degeneracy with respect to $Γ^{A}(f)$. The set of degenerate polynomials, with respect to a fixed geometric Newton polygon, contains an open subset, for the Zariski topology, formed by non degenerate polynomials …
An invertible polynomial in $n$ variables is a quasihomogeneous polynomial consisting of $n$ monomials so that the weights of the variables and the quasi-degree are well defined. In the framework of the construction of mirror symmetric orbifold Landau--Ginzburg models, P.~Berg\-lund, T.~Hübsch and M.~Henningson considered a pair $(f,G)$ consisting of an invertible polynomial $f$ and an abelian group $G$ of its symmetries together with a dual pair $(\widetilde{f}, \widetilde{G})$. Here we study the reduced orbifold zeta functions of dual pairs $(f,G)$ and $(\widetilde{f}, \widetilde{G})$ and sh…
Using the cohomology theory of Dwork, as developed by Adolphson and Sperber, we exhibit a deterministic algorithm to compute the zeta function of a nondegenerate hypersurface defined over a finite field. This algorithm is particularly well-suited to work with polynomials in small characteristic that have few monomials (relative to their dimension). Our method covers toric, affine, and projective hypersurfaces and also can be used to compute the L-function of an exponential sum.
We define a power series associated with a homogeneous ideal in a polynomial ring, encoding information on the Segre classes defined by extensions of the ideal in projective spaces of arbitrarily high dimension. We prove that this power series is rational, with poles corresponding to generators of the ideal, and with numerator of bounded degree and with nonnegative coefficients. We also prove that this `Segre zeta function' only depends on the integral closure of the ideal. The results follow from good functoriality properties of the `shadows' of rational equivalence classes of projective bund…
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…
We show that given an ideal I generated by regular functions f_1,...,f_r on the smooth complex variety X, the Bernstein-Sato polynomial of I is equal to the reduced Bernstein-Sato polynomial of the function g=\sum_{i=1}^rf_iy_i on the product of X with an r-dimensional affine space. By combining this with results from [BMS], we relate invariants and properties of I to those of g. We also use the result on Bernstein-Sato polynomials to show that the Strong Monodromy Conjecture for Igusa zeta functions of principal ideals implies a similar statement for arbitrary ideals.