We study the $p$-adic absolute value of the roots of the $L$-functions associated to certain twisted character sums, and additive character sums associated to polynomials $P(x^d)$, when $P$ varies among the space of polynomial of fixed degree $e$ over a finite field of characteristic $p$. For sufficiently large $p$, we determine in both cases generic Newton polygons for these $L$-functions, which is a lower bound for the Newton polygons, and the set of polynomials of degree $e$ for which this generic polygon is attained. In the case of twisted sums, we show that the lower polygon defined in \cite{as1} is tight when $p\equiv 1 [de]$, and that it is the actual Newton polygon for any degree $e$ polynomial.
The $C$-function of $T$-adic exponential sums is studeid. An explicit arithmetic bound is established for the Newton polygon of the $C$-function. This polygon lies above the Hodge polygon. It gives a sup-Hodge bound of the $C$-function of $p$-power order exponential sums.
Let P(x) be a one-variable Laurent polynomial of degree (d_1,d_2) over a finite field of characteristic p. For any fixed positive integer s not divisible by p, we prove that the (normalized) p-adic Newton polygon of the L-functions of exponential sums of P(x^s) has a tight lower bound which we call `Hodge-Stickelberger polygon', depending only on d_1,d_2,s, and (p mod s). This Hodge-Stickelberger polygon is a weighted convolution of a `Hodge polygon' for L-function of exponential sum of P(x) and the `Newton polygon' for L-function of exponential sum of x^s (given by the classical Stickelberger…
The twisted $T$-adic exponential sum associated to $x^{d}+λx$ is studied. If $λ\neq0,$ then an explicit arithmetic polygon is proved to be the Newton polygon of the twisted $C$-function of the T-adic exponential sum. It gives the Newton polygons of the $L$-functions of twisted $p$-power order exponential sums.
The L-function of a non-degenerate twisted Witt extension is proved to be a polynomial. Its Newton polygon is proved to lie above the Hodge polygon of that extension. And the Newton polygons of the Gauss-Heilbronn sums are explicitly determined, generalizing the Stickelberger theorem.
The twisted $T$-adic exponential sum associated to a polynomial in one variable is studied. An explicit arithmetic polygon is proved to be the generic Newton polygon of the twisted $C$-function of the T-adic exponential sum. It gives the generic Newton polygon of the twisted $L$-functions of $p^m$-power order exponential sums, for all $m$.
The $T$-adic exponential sum associated to a Laurent polynomial in one variable is studied. An explicit arithmetic polygon is proved to be the generic Newton polygon of the $C$-function of the T-adic exponential sum. It gives the generic Newton polygon of $L$-functions of $p$-power order exponential sums.
The twisted $T$-adic exponential sum associated to a polynomial in one variable is studied. An explicit arithmetic polygon in terms of the highest two exponents of the polynomial is proved to be a lower bound of the Newton polygon of the $C$-function of the twisted T-adic exponential sum. This bound gives lower bounds for the Newton polygon of the $L$-function of twisted $p$-power order exponential sums.
The $T$-adic exponential sum of a polynomial in one variable is studied. An explicit arithmetic polygon in terms of the highest two exponents of the polynomial is proved to be a lower bound of the Newton polygon of the $C$-function of the T-adic exponential sum. This bound gives lower bounds for the Newton polygon of the $L$-function of exponential sums of $p$-power order.
In this article, we use Robba's method to give an estimate of the Newton polygon for the L function on torus and we can draw the Newton polygon in some special cases.
In this paper, we study the Newton polygons for the $L$-functions of $n$-variable generalized Kloosterman sums. Generally, the Newton polygon has a topological lower bound, called the Hodge polygon. In order to determine the Hodge polygon, we explicitly construct a basis of the top dimensional Dwork cohomology. Using Wan's decomposition theorem and diagonal local theory, we obtain when the Newton polygon coincides with the Hodge polygon. In particular, we concretely get the slope sequence for $L$-function of $\bar{F}(\barλ,x):=\sum_{i=1}^nx_i^{a_i}+\barλ\prod_{i=1}^nx_i^{-1}$.
Let p be a prime and let F_pbar be the algebraic closure of the finite field of p elements. Let f(x) be any one variable rational function over F_pbar with n poles of orders d_1, ...,d_n. Suppose p is coprime to d_i for every i. We prove that there exists a Hodge polygon, depending only on d_i's, which is a lower bound to the Newton polygon of L functions of exponential sums of f(x). Moreover, we show that these two polygons coincide if p=1 mod d_i for every i=1,...,n. As a corollary, we obtain a tight lower bound of Newton polygon of Artin-Schreier curve.
We prove an Euler-Maclaurin formula for double polygonal sums and, as a corollary, we obtain approximate quadrature formulas for integrals of smooth functions over polygons with integer vertices. Our Euler-Maclaurin formula is in the spirit of Pick's theorem on the number of integer points in an integer polygon and involves weighted Riemann sums, using tools from Harmonic analysis. Finally, we also exhibit a classical trick, dating back to Huygens and Newton, to accelerate convergence of these Riemann sums.
$T$-adic exponential sums associated to a Laurent polynomial $f$ are introduced. They interpolate all classical $p^m$-power order exponential sums associated to $f$. The Hodge bound for the Newton polygon of $L$-functions of $T$-adic exponential sums is established. This bound enables us to determine, for all $m$, the Newton polygons of $L$-functions of $p^m$-power order exponential sums associated to an $f$ which is ordinary for $m=1$. Deeper properties of $L$-functions of $T$-adic exponential sums are also studied. Along the way, new open problems about the $T$-adic exponential sum itself ar…
We give explicit, polynomial-time computable formulas for the number of integer points in any two-dimensional rational polygon. A rational polygon is one whose vertices have rational coordinates. We find that the basic building blocks of our formulas are Dedekind-Rademacher sums, which are polynomial-time computable finite Fourier series. As a by-product we rederive a reciprocity law for these sums due to Gessel, which generalizes the reciprocity law for the classical Dedekind sums. In addition, our approach shows that Gessel's reciprocity law is a special case of the one for Dedekind-Rademach…
The $L$-function of exponential sums associated to the generic polynomial of degree $d$ in $n$ variables over a finite field of characteristic $p$ is studied. A polygon called the Frobenius polygon of the generic polynomial of degree $d$ in $n$ variables over a finite field of characteristic $p$ is defined. A $p$-adic Riemann hypothesis is formulated. It asserts that the Newton polygon of the $L$-function coincides with the Frobenius polygon when $p$ is large enough. This $p$-adic Riemann hypothesis is proved when $n=2$ and $p\equiv-1({\rm mod }\ d)$. In general, it is proved that the Newton p…
Let $χ$ be an order $c$ multiplicative character of a finite field and $f(x)=x^d+λx^e$ a binomial with $(d,e)=1$. We study the twisted classical and $T$-adic Newton polygons of $f$. When $p>(d-e)(2d-1)$, we give a lower bound of Newton polygons and show that they coincide if $p$ does not divide a certain integral constant depending on $p\bmod {cd}$. We conjecture that this condition holds if $p$ is large enough with respect to $c,d$ by combining all known results and the conjecture given by Zhang-Niu. As an example, we show that it holds for $e=d-1$.
Generic Newton polygons for L-functions of exponential sums associated to Laurent polynomials in one variable are determined. The corresponding Hasse polynomials are also determined.
In this paper we construct a Dwork theory for general exponential sums over affinoids in Witt towers. Using this, we compute the degree of the $L$-function, its Hodge polygon and examine when the Hodge and Newton polygons coincide.
The purpose of this article is to study Newton polygons of certain abelian $L$-functions on curves. Let $X$ be a smooth affine curve over a finite field $\mathbb{F}_q$ and let $ρ:π_1(X) \to \mathbb{C}_p^\times$ be a finite character of order $p^n$. By previous work of the first author, the Newton polygon $\mathrm{NP}(ρ)$ lies above a `Hodge polygon' $\mathrm{HP}(ρ)$, which is defined using local ramification invariants of $ρ$. In this article we study the touching between these two polygons. We prove that $\mathrm{NP}(ρ)$ and $\mathrm{HP}(ρ)$ share a vertex if and only if a corresponding verte…
Let $p$ be a prime number. Every $n$-variable polynomial $f(\underline x)$ over a finite field of characteristic $p$ defines an Artin--Schreier--Witt tower of varieties whose Galois group is isomorphic to $\mathbb{Z}_p$. Our goal of this paper is to study the Newton polygon of the $L$-function associated to a finite character of $\mathbb{Z}_p$ and a generic polynomial whose convex hull is an $n$-dimensional paralleltope $Δ$. We denote this polygon by $\mathrm{GNP}(Δ)$. We prove a lower bound of $\mathrm{GNP}(Δ)$, which is called the improved Hodge polygon $\mathrm{IHP}(Δ)$. We show that $\math…
In this note we study Kloosterman sums twisted by a multiplicative characters modulo a prime power. We show, by an elementary calculation, that these sums become equidistributed on the real line with respect to a suitable measure.
In this article we study the behavior of Newton polygons along $\mathbb{Z}_p$-towers of curves. Fix an ordinary curve $X$ over a finite field $\mathbb{F}_q$ of characteristic $p$. By a $\mathbb{Z}_p$-tower $X_\infty/X$ we mean a tower of covers $ \dots \to X_2 \to X_1 \to X$ with $\mathrm{Gal}(X_n/X) \cong \mathbb{Z}/p^n\mathbb{Z}$. We show that if the ramification along the tower is sufficiently moderate, then the slopes of the Newton polygon of $X_n$ are equidistributed in the interval $[0,1]$ as $n$ tends to $\infty$. Under a stronger congruence assumption on the ramification invariants, we…
We study averages over squarefree moduli of the size of exponential sums with polynomial phases. We prove upper bounds on various moments of such sums, and obtain evidence of un-correlation of exponential sums associated to different suitably unrelated and generic polynomials. The proofs combine analytic arguments with the algebraic interpretation of exponential sums and their monodromy groups.
In this paper, we consider the following $(A, B)$-polynomial $f$ over finite field: $$f(x_0,x_1,\cdots,x_n)=x_0^Ah(x_1,\cdots,x_n)+g(x_1,\cdots,x_n)+P_B(1/x_0),$$ where $h$ is a Deligne polynomial of degree $d$, $g$ is an arbitrary polynomial of degree $< dB/(A+B)$ and $P_B(y)$ is a one-variable polynomial of degree $\le B$. Let $Δ$ be the Newton polyhedron of $f$ at infinity. We show that $Δ$ is generically ordinary if $p\equiv 1 \mod D$, where $D$ is a constant only determined by $Δ$. In other words, we prove that the Adolphson--Sperber conjecture is true for $Δ$.
In this paper we construct a generating polynomial over the rationals for the generic Newton polygon for the L function of exponential sums of the family of f = x^d+ a x^s parameterized by a, and prove some of its key properties. The generating polynomial encodes information of and determines the generic Newton polygon at each prime p when p is large enough, and vice versa.
In this paper, we shall precise the asymptotic behaviour of Newton polygons of $L$ functions associated to character sums, coming from some $n$ variable Laurent polynomials. In order to do this, we use the free sum on convex polytopes. This operation allows the determination of the limit of generic Newton polygons for the sum $Δ=Δ_1\oplus Δ_2$ when we know the limit of generic Newton polygons for each factor. To our knowledge, these are the first results concerning the asymptotic behaviour of Newton polygons for multivariable polynomials.
Let $p$ denote an odd prime. In this paper, we are concerned with the $p$-divisibility of additive exponential sums associated to one variable polynomials over a finite field of characteristic $p$, and with (the very close question of) determining the Newton polygons of some families of Artin-Schreier curves, i.e. $p$-cyclic coverings of the projective line in characteristic $p$. We first give a lower bound on the $p$-divisibility of exponential sums associated to polynomials of fixed degree. Then we show that an Artin-Schreier curve defined over a finite field of characteristic $p$ cannot be …
In their recent work, the authors (2016) have combined classical ideas of A. G. Postnikov (1956) and N. M. Korobov (1974) to derive improved bounds on short character sums for certain nonprincipal characters with powerful moduli. In the present paper, these results are used to bound sums of the Mobius function twisted by characters of the same type, complementing and improving some earlier work of B. Green (2012). To achieve this, we obtain a series of results about the size and zero-free region of $L$-functions with the same class of moduli.
Let Delta be an integral convex polytope containing the origin of dimension n in the n-dim real space and it is simplicial at all origin-less facets. Let A(Delta) be the space of all Laurent polynomials f parametered by its coefficients supported on the interior of Delta with with prescribed vertices. In this paper we prove that, if the interior points of Delta and its vertices generate almost all integral points in the cone of Delta, then there is a Zariski dense open subset U in A(Delta) defined over the rationals such that for every f in U(bar{Q}) and for p large enough the Newton polygon o…
Let $p$ be a prime number. Every two-variable polynomial $f(x_1, x_2)$ over a finite field of characteristic $p$ defines an Artin--Schreier--Witt tower of surfaces whose Galois group is isomorphic to $\mathbb Z_p$. Our goal of this paper is to study the Newton polygon of the $L$-functions associated to a finite character of $\mathbb{Z}_p$ and a generic polynomial whose convex hull is a fixed triangle $Δ$. We denote this polygon by $\textrm{GNP}(Δ)$. We prove a lower bound of $\textrm{GNP}(Δ)$, which we call the improved Hodge polygon $\textrm{IHP}(Δ)$, and we conjecture that $\textrm{GNP}(Δ)$ …
In this paper we give a modular interpretation of the $k$-th symmetric power $L$-function of the Kloosterman family of exponential sums in characteristics 2 and 3, and in the case of $p=2$ and $k$ odd give the precise 2-adic Newton polygon. We also give a $p$-adic modular interpretation of Dwork's unit root $L$-function of the Kloosterman family, and give the precise 2-adic Newton polygon when $k$ is odd. In a previous paper, we gave an estimate for the $q$-adic Newton polygon of the symmetric power $L$-function of the Kloosterman family when $p \geq 5$. We discuss how this restriction on prim…
This expository paper is based on the author's series of lectures delivered at the January 1999 Mini-course in Number Theory, held at Sogang University (Seoul). The aim is to give an elementary and self-contained introduction to the theory of Newton polygons (namely, the $p$-adic Riemann hypothesis) for L-functions of exponential sums over a finite field. The main idea of our approach is to establish a suitable local to global principal which would allowus to reduce the harder ``global'' case to various easier well understood "local" cases for which Stickelberger's theorem applies. For this pu…
We consider a generalized Gauss sum supported on matrices over a number field. We evaluate this Gauss sum and relate it to the number of totally isotropic subspaces of related quadratic spaces. Then we consider a further generalization of such a Gauss sum, realizing its value in terms of numbers of totally isotropic subspaces of related quadratic spaces.
We produce a new proof of the reciprocity law for the twisted second moment of Dirichlet L-functions that was recently proved by Conrey. Our method is to analyze certain two-variable sums where the variables satisfy a linear congruence. We show that these sums satisfy an elegant reciprocity formula. In the case that the modulus is prime, these sums are closely related to the twisted second moment, and the reciprocity formula for these sums implies Conrey's reciprocity formula. We also extend the range of uniformity of Conrey's formula.
The aim of this paper is to construct new Dedekind type sums. We construct generating functions of Barnes' type multiple Frobenius-Euler numbers and polynomials. By applying Mellin transformation to these functions, we define Barnes' type multiple l-functions, which interpolate Frobenius-Euler numbers at negative integers. By using generalizations of the Frobenius-Euler functions, we define generalized Dedekind type sums and prove corresponding reciprocity law. We also give twisted versions of the Frobenius-Euler polynomials and new Dedekind type sums and corresponding reciprocity law. Further…
We obtain new bounds for short sums of isotypic trace functions associated to some sheaf modulo prime $p$ of bounded conductor, twisted by the Mobius function and also by the generalised divisor function. These trace functions include Kloosterman sums and several other classical number theoretic objects. Our bounds are nontrivial for intervals of length at least $p^{1/2+\varepsilon}$ with an arbitrary fixed $\varepsilon >0$, which is shorter than the length at least $p^{3/4+\varepsilon}$ in the case of the Mobius function and at least $p^{2/3+\varepsilon}$ in the case of the divisor function r…
In this paper we define the $p$-density of a finite subset $D\subset\ma{N}^r$, and show that it gives a good lower bound for the $p$-adic valuation of exponential sums over finite fields of characteristic $p$. We also give an application: when $r=1$, the $p$-density is the first slope of the generic Newton polygon of the family of Artin-Schreier curves associated to polynomials with their exponents in $D$.
We construct isomorphisms between spaces of vector-valued modular forms for the dual Weil representation and certain spaces of scalar-valued modular forms in the case that the underlying finite quadratic module $A$ has order $p$ or $2p$, where $p$ is an odd prime. The isomorphisms are given by twisted sums of the components of vector-valued modular forms. Our results generalize work of Bruinier and Bundschuh to the case that the components $F_γ$ of the vector-valued modular form are antisymmetric in the sense that $F_γ = -F_{-γ}$ for all $γ\in A$. As an application, we compute restrictions of …
In this paper, we study various twisted A-harmonic sums, named following the seminal log-algebraicity papers of G. Anderson. These objects are partial sums of new types of special zeta values introduced by the first author and linked to certain rank one Drinfeld modules over Tate algebras in positive characteristic by Anglès, Tavares Ribeiro and the first author. We prove, by using techniques introduced by the second author, that various infinite families of such sums may be interpolated by polynomials, and we deduce, among several other results, properties of analogues of finite zeta values b…
Let $k$ be a finite field of characteristic $p$, $l$ a prime number distinct to $p$, $ψ:k\to \bar {\bf Q}_l^\ast$ a nontrivial additive character, and $χ:{k^\ast}^n\to \bar{\bf Q}_l^\ast$ a character on ${k^\ast}^n$. Then $ψ$ defines an Artin-Schreier sheaf ${\cal L}_ψ$ on the affine line ${\bf A}_k^1$, and $χ$ defines a Kummer sheaf ${\cal K}_χ$ on the $n$-dimensional torus ${\bf T}_k^n$. Let $f\in k[X_1,X_1^{-1},..., X_n,X_n^{-1}]$ be a Laurent polynomial. It defines a $k$-morphism $f:{\bf T}_k^n\to {\bf A}_k^1$. In this paper, we calculate the dimensions and weights of $H_c^i({\bf T}_{\bar …
Let $λ_g (n)$ be the Fourier coefficients of a holomorphic cusp modular form $g$ for $\mathrm{SL}_2 (\mathbb{Z})$. The aim of this article is to get non-trivial bound on non-linearly additively twisted sums of the Fourier coefficients $λ_g (n)$. Precisely, we prove for any $3/4 < β< 3/2$, $β\neq 1 $, the following non-trivial estimate $$ \sum_{n \leq N}λ_g(n)\,e(α\, n^β)\ll_{g, α, β, \varepsilon} N^{\frac{1}{2}+ \fracβ{3} +\varepsilon} + N^{\frac{3}{2}-\frac {2β}{3} + \varepsilon}, $$ for any $\varepsilon > 0$. This is the first time that non-trivial estimate for such sums is achieved for $1 <…
In this paper we consider the Newton polygons of $L$-functions coming from additive exponential sums associated to a polynomial over a finite field $\F_q$. These polygons define a stratification of the space of polynomials of fixed degree. We determine the open stratum: we give the generic Newton polygon for polynomials of degree $d\geq 2$ when the characteristic $p$ is greater than 3d, and the Hasse polynomial, i.e. the equation defining the hypersurface complementary to the open stratum.
Let $$S(N) = \sum_{n \sim N}^{\text{smooth}} \, λ_{f}(n) \, χ(n),$$ where $λ_{f}(n)$'s are Fourier coefficients of Hecke-eigen form, and $χ$ is a primitive character of conductor $p^{r}$. In this article we prove a sub-Weyl strength bounds for $S(N)$. Indeed, we obtain $$S(N) \ll \, N^{\frac{5}{9}} \ p^{\frac{13r}{45}},$$ provided that $ p^{13r/20} \leq N \leq p^{4r/5}$. Note that the above bound for $S(N)$ is non-trivial if $N\geq \left(p^{r}\right)^{\frac{2}{3}-\frac{1}{60}}$.
We derive eight identities of symmetry in three variables related to generalized twisted Bernoulli polynomials and generalized twisted power sums, both of which are twisted by ramified roots of unity. All of these are new, since there have been results only about identities of symmetry in two variables. The derivations of identities are based on the $p$-adic integral expression of the generating function for the generalized twisted Bernoulli polynomials and the quotient of $p$-adic integrals that can be expressed as the exponential generating function for the generalized twisted power sums.
We derive eight identities of symmetry in three variables related to generalized twisted Euler polynomials and alternating generalized twisted power sums, both of which are twisted by ramified roots of unity. All of these are new, since there have been results only about identities of symmetry in two variables. The derivations of identities are based on the $p$-adic integral expression of the generating function for the generalized twisted Euler polynomials and the quotient of $p$-adic integrals that can be expressed as the exponential generating function for the alternating generalized twiste…
We derive three identities of symmetry in two variables and eight in three variables related to generalized twisted Bernoulli polynomials and generalized twisted power sums, both of which are twisted by unramified roots of unity. The case of ramified roots of unity was treated previously. The derivations of identities are based on the $p$-adic integral expression, with respect to a measure introduced by Koblitz, of the generating function for the generalized twisted Bernoulli polynomials and the quotient of $p$-adic integrals that can be expressed as the exponential generating function for the…
Let f be a Hecke-Maass or holomorphic primitive cusp form for $SL(2,\mathbb{Z})$ with Fourier coefficients $λ_{f}(n)$. Let $χ$ be a primitive Dirichlet character of modulus p, where p is a prime number. In this article we prove the following Weyl-type bound: for any $ε>0$, $$\sum_{|n| \ll N}λ_{f}(n)χ(n) \ll_{f,ε}N^{3/4 }p^{1/6}(pN)^ε.$$ We can see an improvement of the range $N > p^{3/4}$ to the range $N > p^{2/3}$ and we get a bound for $S_{f,χ}(N)$ without going into the $L$-function.
Let d>2 and let p be a prime coprime to d. Let Z_pbar be the ring of integers of Q_pbar. Suppose f(x) is a degree-d polynomial over Qbar and Z_pbar. Let P be a prime ideal over p in the ring of integers of Q(f), where Q(f) is the number field generated by coefficients of f in Qbar. Let A^d be the dimension-d affine space over Qbar, identified with the space of coefficients of degree-d monic polynomials. Let NP(f mod P) denote the p-adic Newton polygon of L(f mod P;T). Let HP(A^d) denote the p-adic Hodge polygon of A^d. We prove that there is a Zariski dense open subset U defined over Q in A^d …
