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 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.
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 prove the intersection of Igusa's Conjecture of [Igusa, J., "Lectures on forms of higher degree", Lect. math. phys., Springer-Verlag, 59 (1978)] and the Denef - Sperber Conjecture of [Denef, J. and Sperber, S., "Exponential sums mod p^n and Newton polyhedra", Bull. Belg. Math. Soc., suppl. (2001) 55-63] on nondegenerate exponential sums modulo p^m.
This thesis contains some new results on the uniform rationality of Poincaré series of p-adic equivalence relations and Igusa's conjecture on exponential sums
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…
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 …
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.
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…
We formulate and prove certain vanishing theorems for p-adic automorphic forms on unitary groups of arbitrary signature. The p-adic q-expansion principle for p-adic modular forms on the Igusa tower says that if the coefficients of (sufficiently many of) the q-expansions of a p-adic modular form f are zero, then f vanishes everywhere on the Igusa tower. There is no p-adic q-expansion principle for unitary groups of arbitrary signature in the literature. By replacing q-expansions with Serre-Tate expansions (expansions in terms of Serre-Tate deformation coordinates) and replacing modular forms wi…
We give a proof of double shuffle relations for $p$-adic multiple zeta values by developing higher dimensional version of tangential base points and discussing a relationship with two (and one) variable $p$-adic multiple polylogarithms.
The cyclotomic $p$-adic multi-zeta values are the $p$-adic periods of $π_{1}(\mathbb{G}_{m} \setminus μ_{M},\cdot),$ the unipotent fundamental group of the multiplicative group minus the $M$-th roots of unity. In this paper, we compute the cyclotomic $p$-adic multi-zeta values at all depths. This paper generalizes the results in [6] and [7]. Since the main result gives explicit formulas we expect it to be useful in proving non-vanishing and transcendence results for these $p$-adic periods and also, through the use of $p$-adic Hodge theory, in proving non-triviality results for the correspondin…
We survey some recent applications of p-adic cohomology to machine computation of zeta functions of algebraic varieties over finite fields of small characteristic, and suggest some new avenues for further exploration.
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 establish a tannakian formalism of $p$-adic multiple polylogarithms and $p$-adic multiple zeta values introduced in our previous paper via a comparison isomorphism between a de Rham fundamental torsor and a rigid fundamental torsor of the projective line minus three points and also discuss its Hodge and etale analogues. As an application we give a way to erase log poles of $p$-adic multiple polylogarithms and introduce overconvergent $p$-adic multiple polylogarithms which might be $p$-adic multiple analogue of Zagier's single-valued complex polylogarithms.
In this brief note, we will investigate the number of points of bounded (twisted) height in a projective variety defined over a function field, where the function field comes from a projective variety of dimension greater than or equal to 2. A first step in this investigation is to understand the $p$-adic analytic properties of the height zeta function. In particular, we will show that for a large class of projective varieties this function is $p$-adic meromorphic.
In this paper we compute the values of the p-adic multiple polylogarithms of depth two at roots of unity. Our method is to solve the fundamental differential equation satisfied by the crystalline frobenius morphism using rigid analytic methods. The main result could be thought of as a computation in the p-adic theory of higher cyclotomy. We expect the result to be useful in proving non-vanishing results since it gives quite explicit formulas.
We will introduce a regularization for $p$-adic multiple zeta values and show that the generalized double shuffle relations hold. This settles a question raised by Deligne, given as a project in Arizona winter school 2002. Our approach is to use the theory of Coleman functions on the moduli space of genus zero curves with marked points and its compactification. The main ingredients are the analytic continuation of Coleman functions to the normal bundle of divisors at infinity and definition of a special tangential base point on the moduli space.
We obtain general estimates for exponential integrals of the form \[ E_f(y)=\int_{\mathbb{Z}_{p}^{n}}ψ(\sum_{j=1}^r y_j f_j(x))|dx|, \] where the $f_j$ are restricted power series over $\mathbb{Q}_p$, $y_j\in\mathbb{Q}_p$, and $ψ$ a nontrivial additive character on $\mathbb{Q}_p$. We prove that if $(f_1,...,f_r)$ is a dominant map, then $|E_f(y)| < c|y|^α$ for some $c>0$ and $α<0$, uniform in $y$, where $|y|=\max(|y_i|)_i$. In fact, we obtain similar estimates for a much bigger class of exponential integrals. To prove these estimates we introduce a new method to study exponential sums, namely,…
This paper pursues positive characteristic analogues of the results of Furusho, Komori, Matsumoto and Tsumura on $p$-adic multiple $L$-functions. We consider $\infty$-adic and $v$-adic multiple zeta functions concerned by Anglès, Ngo Dac and Tavares Ribeiro. Our main results in this paper consist of: (1) integral expressions of special values of $\infty$-adic multiple zeta functions, (2) integral expression of $v$-adic multiple zeta functions themselves similar to those of $p$-adic multiple $L$-functions, (3) Kummer-type congruence for the special values of $v$-adic multiple zeta functions at …
Our main theorem describes the degree 0 cohomology of Igusa varieties in terms of one-dimensional automorphic representations in the setup of mod p Hodge-type Shimura varieties with hyperspecial level at p, mirroring the well known analogue for complex Shimura varieties. As an application, we obtain a completely new approach to two geometric questions. (See Sect. 1.5 for a comparison with independent results by van Hoften and Xiao via a different approach.) Firstly, we verify the discrete part of the Hecke orbit conjecture, which amounts to irreducibility of central leaves, generalizing preced…
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.
This work is a study of $p$-adic multiple zeta values at roots of unity ($p$MZV$μ_{N}$'s), the $p$-adic periods of the crystalline pro-unipotent fundamental groupoid of $(\mathbb{P}^{1} - \{0,μ_{N},\infty\})/ \mathbb{F}_{q}$. The main tool is new objects which we call $p$-adic pro-unipotent harmonic actions. In this part IV we define and study $p$-adic analogues of some elementary complex analytic functions which interpolate multiple zeta values at roots of unity such as the multiple zeta functions. The indices of $p$MZV$μ_{N}$'s involve sequences of positive integers ; in this IV-1, by consid…
We give an interim report on some improvements and generalizations of the Abbott-Kedlaya-Roe method to compute the zeta function of a nondegenerate ample hypersurface in a projectively normal toric variety over $\mathbb{F}_p$ in linear time in $p$. These are illustrated with a number of examples including K3 surfaces, Calabi-Yau threefolds, and a cubic fourfold. The latter example is a non-special cubic fourfold appearing in the Ranestad-Voisin coplanar divisor on moduli space; this verifies that the coplanar divisor is not a Noether-Lefschetz divisor in the sense of Hassett.
We study a refinement of the symmetric multiple zeta value, called the $t$-adic symmetric multiple zeta value, by considering its finite truncation. More precisely, two kinds of regularizations (harmonic and shuffle) give two kinds of the $t$-adic symmetric multiple zeta values, thus we introduce two kinds of truncations correspondingly. Then we show that our truncations tend to the corresponding $t$-adic symmetric multiple zeta values, and satisfy the harmonic and shuffle relations, respectively. This gives a new proof of the double shuffle relations for $t$-adic symmetric multiple zeta value…
We propose a conjecture for exponential sums which generalizes both a conjecture by Igusa and a local variant by Denef and Sperber, in particular, it is without the homogeneity condition on the polynomial in the phase, and with new predicted uniform behavior. The exponential sums have summation sets consisting of integers modulo $p^m$ lying $p$-adically close to $y$, and the proposed bounds are uniform in $p$, $y$, and $m$. We give evidence for the conjecture, by showing uniform bounds in $p$, $y$, and in some values for $m$. On the way, we prove new bounds for log-canonical thresholds which a…
We compute the Archimedean doubling zeta integrals which appear in the interpolation formulas for the p-adic L-functions of Siegel modular forms, and verify that they agree with the modified Archimedean Euler factors for p-adic interpolation conjectured by Coates--Perrin-Riou.
The higher rank Lefschetz formula for p-adic groups is used to prove rationality of a several-variable zeta function attached to the action of a p-adic group on its Bruhat-Tits building. By specializing to certain lines one gets one-variable zeta functions, which then can be related to geometrically defined zeta functions
The fact that the double zeta values at n and m can be written as a sum of products of two zeta values and of zeta value at m+n, whenever n+m is odd is due to Euler. We shall show a weak version of this result for the Galois l-adic realization.
The article is dedicated to the memory of George Voronoi. It is concerned with ($p$-adic) $L$-functions (in partially ($p$-adic) zeta functions) and cyclotomic ($p$-adic) (multiple) zeta values. The beginning of the article contains a short summary of the results on the Bernoulli numbers associated with the studies of George Voronoi. Results on multiple zeta values have presented by D. Zagier, by P. Deligne and A.Goncharov, by A. Goncharov, by F. Brown, by C. Glanois and others. S. Ünver have investigated p-adic multiple zeta values in the depth two. Tannakian interpretation of p-adic multiple…
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 short note, we give a proof of the Riemann hypothesis for Goss $v$-adic zeta function $ζ_{v}(s)$, when $v$ is a prime of $\mathbb{F}_{q}[t]$ of degree one.
For primes $p>3$ we produce a new derivation of the universal $p$-adic sigma function and $p$-adic Weierstrass zeta functions of Mazur and Tate for ordinary elliptic curves by a method that highlights congruences among coefficients in Laurent expansions of elliptic functions, and works simultaneously for generalized elliptic curves defined by Weierstrass equations.
We define and apply a method to study the non-vanishing of $p$-adic cyclotomic multiple zeta values. We prove the non-vanishing of certain cyclotomic multiple harmonic sums, and, via a formula proved in another paper, which expresses a cyclotomic multiple harmonic sums as an infinite sum of products of $p$-adic cyclotomic multiple zeta values, this implies the non-vanishing of certain $p$-adic cyclotomic multiple zeta values.
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.
