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 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.
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.
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.
We study the analytic behaviour of adelic versions of Igusa integrals given by integer polynomials defining elliptic curves. By applying results on the meromorphic continuation of symmetric power L-functions and the Sato-Tate conjectures we prove that these global Igusa zeta functions have some meromorphic continuation until a natural boundary beyond which no continuation is possible.
In this paper, we study the Igusa's local zeta functions of a class of hybrid polynomials with coefficients in a non-archimedean local field of positive characteristic. Such class of hybrid polynomial was first introduced by Hauser in 2003 to study the resolution of singularities in positive characteristic. We prove the rationality of these local zeta functions and describe explicitly their poles. The proof is based on Igusa's stationary phase formula.
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 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…
This paper provides specific results on the Igusa local zeta function for the curves $x^n+y^m$. In addition to specific results, we give an introduction to $p$-adic analysis and a discussion of various methods which have been used to compute these zeta functions. The paper was written by the 1992 REU group in $p$-adic analysis supervised by Margaret Robinson. It has been available on the Mount Holyoke REU website.
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 investigate the relationship between the poles of Igusa zeta integrals and the unextendability of semi-invariant distributions. Under some algebraic conditions, we obtain an upper bound for the order of the poles of Igusa zeta integral, and by using the order of the poles we give a criterion on the unextendability of semi-invariant distributions. A key ingredient of our method is the idea of generalized semi-invariant distributions.
Let $K$ be a local field and $f(x)\in K[x]$ be a non-constant polynomial. When ${\rm char}K=0$, Igusa showed the local zeta function is a rational function. However, when ${\rm char}K>0$, the rationality of the local zeta function is unknown in general. In this paper, we study the local zeta functions for the so-called hybrid polynomials in three variables with coefficients in a non-archimedean local field of positive characteristic. These hybrid polynomials were first introduced by Hauser in 2003 to study the resolution of singularities in positive characteristic. We establish the rationality…
Let $K$ be a local field and $f(x)\in K[x]$ be a non-constant polynomial. The local zeta function $Z_f(s, χ)$ was first introduced by Weil, then studied in detail by Igusa. When ${\rm char}(K)=0$, Igusa proved that $Z_f(s, χ)$ is a rational function of $q^{-s}$ by using the resolution of singularities. Later on, Denef gave another proof of this remarkable result. However, if ${\rm char}(K)>0$, the question of rationality of $Z_f(s, χ)$ is still kept open. Actually, there are only a few known results so far. In this paper, we investigate the local zeta functions of two-variable polynomial $g(x,…
In this paper we present a polynomial time algorithm to compute the local zeta function Z(s,f) attached to a polynomial f(x) in Z[x] (in one variable, with splitting field Q) and a prime p. The algorithm reduces in polynomial time the computation of Z(s,f) to the computation of a factorization of f(x) over Q. This reduction is accomplished by constructing a weighted tree from the p-adic expansion of the roots of f(x) modulo a certain power of p, and then associating a generating function to this tree. The generating function constructed in this way coincides with the local zeta function of f(x…
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…
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…
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（大阪大学理学研究科数学系）
A new method is devised for calculating the Igusa local zeta function $Z_f$ of a polynomial $f(x_1,\dots,x_n)$ over a $p$-adic field. This involves a new kind of generating function $G_f$ that is the projective limit of a family of generating functions, and contains more data than $Z_f$. This $G_f$ resides in an algebra whose structure is naturally compatible with operations on the underlying polynomials, facilitating calculation of local zeta functions. This new technique is used to expand significantly the set of quadratic polynomials whose local zeta functions have been calculated explicitl…
Igusa's local zeta function $Z_{f,p}(s)$ is the generating function that counts the number of integral roots, $N_{k}(f)$, of $f(\mathbf x) \bmod p^k$, for all $k$. It is a famous result, in analytic number theory, that $Z_{f,p}$ is a rational function in $\mathbb{Q}(p^s)$. We give an elementary proof of this fact for a univariate polynomial $f$. Our proof is constructive as it gives a closed-form expression for the number of roots $N_{k}(f)$. Our proof, when combined with the recent root-counting algorithm of (Dwivedi, Mittal, Saxena, CCC, 2019), yields the first deterministic poly($|f|, \log …
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.
Let $f$ be a polynomial in $n$ variables over some number field and $Z$ a subscheme of affine $n$-space. The notion of motivic oscillation index of $f$ at $Z$ was initiated by Cluckers (2008) and Cluckers-Mustaţǎ-Nguyen (2019). In this paper we elaborate on this notion and raise several questions. The first one is stability under base field extension; this question is linked to a deep understanding of the density of non-archimedean local fields over which Igusa's local zeta functions of $f$ has a pole with given real part. The second one is around Igusa's conjecture for exponential sums with b…
In this article, we study local zeta functions over non-Archimedean locals fields of arbitrary characteristic attached to rational functions and characters $χ$ of the units of the ring of integers $\mathcal{O}_{K}$, by using an approach based on the multivariate $π$-adic stationary phase formula and Newton polyhedra. When the rational function is non-degenerate with respect to its Newton polyhedron, we give an explicit formula for the local zeta function and a list of the possible poles in terms of the normal vectors of the supporting hyperplanes of the Newton polyhedron attached to the ration…
We prove the modulo $p$ and modulo $p^2$ cases of Igusa's conjecture on exponential sums. This conjecture predicts specific uniform bounds in the homogeneous polynomial case of exponential sums modulo $p^m$ when $p$ and $m$ vary. We introduce the motivic oscillation index of a polynomial $f$ and prove the stronger, analogue bounds for $m=1,2$ using this index instead of the original bounds. The modulo $p^2$ case of our bounds holds for all polynomials; the modulo $p$ case holds for homogeneous polynomials and under extra conditions also for nonhomogeneous polynomials. We obtain natural lower b…
In this article we initiate the study of the heat traces and spectral zeta functions for certain p-adic Laplacians. We show that the heat traces are given by p-adic integrals of Laplace type, and that the spectral zeta functions are p-adic integrals of Igusa-type. We find good estimates for the behaviour of the heat traces when the time tends to infinity, and for the asymptotics of the function counting the eigenvalues less than or equal to a given quantity.
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.
Motivated by recent work of Deitmar-Koyama-Kurokawa, Kurokawa-Ochiai, Connes-Consani, and the author, we define some multivariable deformed zeta functions of Hurwitz-Igusa type for a Noetherian $\F_1$-scheme $X$ in the sense of Connes-Consani. Our zeta functions generalize both the zeta functions studied by Deitmar-Koyama-Kurokawa, Kurokawa-Ochiai, and the log derivative of the modified Soulé type zeta function Connes-Consani. We give an explicit presentation for these zeta functions using the Hurwitz zeta functions, and so, we can derive its meromorphicity. When restricted to the log derivati…
We give explicit formulae for the local normal zeta functions of torsion-free, class-2-nilpotent groups, subject to conditions on the associated Pfaffian hypersurface which are generically satisfied by groups with small centre and sufficiently large abelianization. We show how the functional equations of two types of zeta functions - the Weil zeta function associated to an algebraic variety and zeta functions of algebraic groups introduced by Igusa - match up to give a functional equation for local normal zeta functions of groups. We also give explicit formulae and derive functional equations …
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 …
In this article we discuss the limit $p$ approaches to one of tree-level $p$-adic open string amplitudes and its connections with the topological zeta functions. There is empirical evidence that $p$-adic strings are related to the ordinary strings in the $p \to 1$ limit. Previously, we established that $p$-adic Koba-Nielsen string amplitudes are finite sums of multivariate Igusa's local zeta functions, consequently, they are convergent integrals that admit meromorphic continuations as rational functions. The meromorphic continuation of local zeta functions has been used for several authors to …
We show that the analytic continuations of Helson zeta functions $ ζ_χ(s)= \sum_1^{\infty}χ(n)n^{-s} $ can have essentially arbitrary poles and zeroes in the strip $ 21/40 < \Re s < 1 $ (unconditionally), and in the whole critical strip $ 1/2 < \Re s <1 $ under Riemann Hypothesis.
It is known that Shintani zeta functions, which generalise multiple zeta functions, extend to meromorphic functions with poles on affine hyperplanes. We refine this result in showing that the poles lie on hyperplanes parallel to the facets of certain convex polyhedra associated to the defining matrix for the Shintani zeta function. Explicitly, the latter are the Newton polytopes of the polynomials induced by the columns of the underlying matrix. We then prove that the coefficients of the equation which describes the hyperplanes in the canonical basis are either zero or one, similar to the pole…
We introduce the zeta function of the prehomogenous vector space of binary cubic forms, twisted by the real analytic Eisenstein series. We prove the meromorphic continuation of this zeta function and identify its poles and their residues. We also identify the poles and residues of the zeta function when restricted to irreducible binary cubic forms. This zeta function can be used to prove the equidistribution of the lattice shape of cubic rings.
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…
Picking binomial coefficients which cannot be divided by a given prime from Pascal's triangle, we find that they form a set with self-similarity. Essouabri studied on a class of meromorphic functions associated to the above set. These functions are related to fractal geometry and it is a problem whether such a function has a non-real pole on its axis of absolute convergence. Essouabri gave a proof of existence of such a non-real pole in the simplest case. The keys of his proof are Stein's and Wilson's estimates on how fast the points multiply in Pascal's triangle modulo a prime. This article w…
In this article we introduce a new type of local zeta functions and study some connections with pseudodifferential operators in the framework of non-Archimedean fields. The new local zeta functions are defined by integrating complex powers of norms of polynomials multiplied by infinitely pseudo-differentiable functions. In characteristic zero, the new local zeta functions admit meromorphic continuations to the whole complex plane, but they are not rational functions. The real parts of the possible poles have a description similar to the poles of Archimedean zeta functions. But they can be irra…
In this paper we define a continuous version of multiple zeta functions. They can be analytically continued to meromorphic functions on $\mathbb{C}^r$ with only simple poles at some special hyperplanes. The evaluations of these functions at positive integers (continuous multiple zeta values) satisfy the shuffle product. We give a detailed analysis about the depth structure of continuous multiple zeta values. There are also sum formulas for continuous multiple zeta values. Lastly we calculate some special continuous multiple zeta values in terms of special values of multiple polylogarithms.
This paper studies zeta functions of the form $\sum_{n=1}^{\infty} χ(n) n^{-s}$, with $χ$ a completely multiplicative function taking only unimodular values. We denote by $σ(χ)$ the infimum of those $α$ such that the Dirichlet series $\sum_{n=1}^{\infty} χ(n) n^{-s}$ can be continued meromorphically to the half-plane $\operatorname{Re} s>α$, and denote by $ζ_χ(s)$ the corresponding meromorphic function in $\operatorname{Re} s>σ(χ)$. We construct $ζ_χ(s)$ that have $σ(χ)\le 1/2$ and are universal for zero-free analytic functions on the half-critical strip $1/2<\operatorname{Re} s <1$, with zero…
The Stieltjes constants $γ_n(K)$ of a number field $K$ are the coefficients of the Laurent expansion of the Dedekind zeta function $ζ_K(s)$ at its pole $s=1$. In this paper, we establish a similar expression of $γ_n(K)$ as Stieltjes obtained in 1885 for $γ_n(\mathbb Q)$. We also study the signs of $γ_n(K)$.
Two integral representations of q-analogues of the Hurwitz zeta function are established. Each integral representation allows us to obtain an analytic continuation including also a full description of poles and special values at non-positive integers of the q-analogue of the Hurwitz zeta function, and to study the classical limit of this q-analogue. All the discussion developed here is entirely different from the previous work in [4]
In this paper we define a symmetric zeta function. We show that it can be analytically continued to a meromorphic function on $\mathbb{C}^3$ with only simple poles at some special hyperplanes. We also calculate the value of a multiple residue at one special point. For a divergent multiple series, which can be viewed as the value of the symmetric zeta function at the point $(1,1,1)$, we give a very detailed analysis on its growth and we relate it to the classical Euler constant.
The theory of Ihara zeta functions is extended to non-compact arithmetic quotients of Bruhat-Tits trees. This new zeta function turns out to be a rational function, despite the infinite-dimensional setting. In general it has zeros and poles, in contrast to the compact case. The determinant formulas of Bass and Ihara hold true if one defines the determinant as limit of all finite principal minors. From this analysis, a prime geodesic theorem is derived, which, applied to special arithmetic groups, yields new asymptotic assertions on class numbers of orders in global fields.
Partial zeta functions of algebraic varieties over finite fields generalize the classical zeta function by allowing each variable to be defined over a possibly different extension field of a fixed finite field. Due to this extra variation their rationality is surprising, and even simple examples are delicate to compute. For instance, we give a detailed description of the partial zeta function of an affine curve where the number of unit poles varies, a property different from classical zeta functions. On the other hand, they do retain some properties similar to the classical case. To this end, …
We deduce new properties of the orbicyclic function $E$ of several variables investigated in a recent paper by V. A. Liskovets. We point out that the function $E$ and its connection to the number of solutions of certain linear congruences occur in the literature in a slightly different form. We investigate another similar function considered by Deitmar, Koyama and Kurokawa by studying analytic properties of some zeta functions of Igusa type. Simple number theoretic proofs for some known properties are also given.
For a positive irrational number $α,$ we study the ordinary Dirichlet series $ζ_α(s) = \sum\limits_{n\geq1} \lfloorαn\rfloor^{-s}$ and $S_α(s) = \sum\limits_{n\geq1} (\left\lceilαn\right\rceil - \left\lceil α(n-1)\right\rceil){n^{-s}}.$ We prove relations between them and $J_{\boldsymbolα}(s)=\sum\limits_{n\geq1}\left(\lbraceαn\rbrace-\frac{1}{2}\right)n^{-s}.$ Motivated by the previous work of Hardy and Littlewood, Hecke and others regarding $J_{\boldsymbolα},$ we show that $ζ_α$ and $S_α$ can be continued analytically beyond the imaginary axis except for a simple pole at $s=1.$ Based on the …
