On p-adic q-l-functions and sums of powers, II

A Stickleberger theorem for p-adic Gauss sums

We define "splitting functions of level l" for any integer l>0. These functions generalize Dwork's splitting functions : they allow us to represent additive characters of order $p^l$. Then we use these functions to obtain a Stickleberger theorem on the $p$-adic valuation of new Gauss sums.

Dedekind sums in the $p$-adic number field

In a recent note W. Kohnen asks whether the values of Dedekind sums are dense in the field of $p$-adic numbers. The present paper answers this question. Dedekind sums do not approximate units of $\mathbb Z_2$ or $\mathbb Z_3$, so they are not dense in $\mathbb Q_2$ or $\mathbb Q_3$. But they are dense in $\mathbb Q_p$ if $p\ge 5$.

Non-vanishing of certain cyclotomic multiple harmonic sums and application to the non-vanishing of certain $p$-adic cyclotomic multiple zeta values

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.

L-functions of symmetric powers of Kloosterman sums (unit root L-functions and p-adic estimates)

The L-function of symmetric powers of classical Kloosterman sums is a polynomial whose degree is now known, as well as the complex absolute values of the roots. In this paper, we provide estimates for the p-adic absolute values of these roots. Our method is indirect. We first develop a Dwork-type p-adic cohomology theory for the two-variable infinite symmetric power L-function associated to the Kloosterman family, and then study p-adic estimates of the eigenvalues of Frobenius. A continuity argument then provides the desired p-adic estimates.

On the $\ell$-adic valuation of certain Jacobi sums

Fix distinct primes $\ell$ and $f$, a finite field $\mathbf{F}_{q}$ such that $q \equiv 1 \pmod{\ell f}$, and a character $χ: \mathbf{F}_{q}^{\times} \to \mathbf{C}^{\times}$ of exact order $\ell f$. We present a new $\ell$-adic congruence for the Jacobi sum $J(χ^{\ell}, χ^{f})$. These Jacobi sums are Frobenius eigenvalues of the curve $y^{\ell} = x^{f} + 1$.

Certain character sums and hypergeometric series

We prove two transformations for the $p$-adic hypergeometric series which can be described as $p$-adic analogues of a Kummer's linear transformation and a transformation of Clausen. We first evaluate two character sums, and then relate them to the $p$-adic hypergeometric series to deduce the transformations. We also find another transformation for the $p$-adic hypergeometric series from which many special values of the $p$-adic hypergeometric series as well as finite field hypergeometric functions are obtained.

Extended q-Dedekind-type Daehee-Changhee sums associated with Extended q-Euler polynomials

In the present paper, our goal is to introduce a p-adic continuous function for an odd prime to inside a p-adic q-analogue of the higher order dedekind-type sums with weight alpha related to Extended q-Euler polynomials by using p-adic q-integral in the p-adic integer ring.

p-adic Dedekind and Hardy-Berndt type sum related to Volkenborn Integral on Z_p

The purpose of this paper is to construct p-adic Dedekind sums and Hardy-Berndt type sums. We also construct generating function of the twisted Bernoulli polynomials and functions. Furthermore, we give some discussions on elliptic analogue of the Apostol-Dedekind sums.

L-functions of symmetric powers of the generalized Airy family of exponential sums: ell-adic and p-adic methods

For ψa nontrivial additive character on the finite field F_q, the map t \mapsto \sum_{x \in F_q} ψ(f(x)+tx) is the Fourier transform of the map t \mapsto ψ(f(t))$. As is well-known, this has a cohomological interpretation, producing a continuous ell-adic Galois representation. This paper studies the L-function attached to the k-th symmetric power of this representation using both ell-adic and p-adic methods. Using ell-adic techniques, we give an explicit formula for the degree of this L-function and determine the complex absolute values of its roots. Using p-adic techniques, we study the p-adi…

The $p$-adic Riemann Hypothesis For Expnonential Sums

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…

惯性素数处虚二次域的局部预解式、广义高斯和与反分圆Hecke $L$-值的$p$-adic赋值

The $p$-adic valuation of local resolvents, generalized Gauss sums and anticyclotomic Hecke $L$-values of imaginary quadratic fields at inert primes

本文证明了虚二次域在惯性素数处沿反分圆塔的Hecke $L$-值 $p$-adic 赋值的渐近公式，通过确定广义高斯和与局部预解式的 $p$-adic 赋值，回答了 Rubin 的问题。

Some 3-adic congruences for binomial sums

We prove some 3-adic congruences for binomial sums, which were conjectured by Sun.

The $p$-adic Order of Power Sums, the Erdös-Moser Equation, and Bernoulli Numbers

The Erdös-Moser equation is a Diophantine equation proposed more than 60 years ago which remains unresolved to this day. In this paper, we consider the problem in terms of divisibility of power sums and in terms of certain Egyptian fraction equations. As a consequence, we show that solutions must satisfy strong divisibility properties and a restrictive Egyptian fraction equation. Our studies lead us to results on the Bernoulli numbers and allow us to motivate Moser's original approach to the problem.

T-adic exponential sums under diagonal base change

Twistec T-adic exponential sums are studied. As an application, the behavior of the L-function under diagonal base chang is explicitely given.

$L$-functions for families of generalized Kloosterman sums and $p$-adic differential equations

In this paper, we focus on a family of generalized Kloosterman sums over the torus. With a few changes to Haessig and Sperber's construction, we derive some relative $p$-adic cohomologies corresponding to the $L$-functions. We present explicit forms of bases of top dimensional cohomology spaces, so to obtain a concrete method to compute lower bounds of Newton polygons of the $L$-functions. Using the theory of GKZ system, we derive the Dwork's deformation equation for our family. Furthermore, with the help of Dwork's dual theory and deformation theory, the strong Frobenius structure of this equ…

A p-adic analogue of Siegel's Theorem on sums of squares

Siegel proved that every totally positive element of a number field K is the sum of four squares, so in particular the Pythagoras number is uniformly bounded across number fields. The p-adic Kochen operator provides a p-adic analogue of squaring, and a certain localisation of the ring generated by this operator consists of precisely the totally p-integral elements of K. We use this to formulate and prove a p-adic analogue of Siegel's theorem, by introducing the p-Pythagoras number of a general field, and showing that this number is uniformly bounded across number fields. We also generally stud…

T-adic exponential sums over finite fields

$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…

Note on q-Dedekind type sums related to q-Euler polynomials

it is the purpose of this paper to construct a p-adic continuous function for an odd prime to contain a p-adic q-analogue of higher order Dedekind type sums related to q-Euler polynomials and numbers.

$p$-adic理论中的部分托里克指数和

$p$-adic Theory for Partial Toric Exponential Sums

本文通过Dwork方法提出$p$-adic证明，展示部分$L$-函数可表示为交替乘积的扭曲Fredholm行列式，并构造$p$-adic上同调理论及公式，证明其具有唯一的$p$-adic单位根。

A note on the q-Dedekind-type Daehee-Changhee sums with weight alpha arising from modified q-Genocchi polynomials with weight alpha

In the present paper, our objective is to treat a p-adic continuous function for an odd prime to inside a p-adic q-analogue of the higher order Dedekind-type sums with weight in connection with modified q-Genocchi polynomials with weight alpha by using p-adic invariant q-integral on Zp.

Generic twisted $T$-adic exponential sums of binomials

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 $p$-Adic Valuations of Weil Sums of Binomials

We investigate the $p$-adic valuation of Weil sums of the form $W_{F,d}(a)=\sum_{x \in F} ψ(x^d -a x)$, where $F$ is a finite field of characteristic $p$, $ψ$ is the canonical additive character of $F$, the exponent $d$ is relatively prime to $|F^\times|$, and $a$ is an element of $F$. Such sums often arise in arithmetical calculations and also have applications in information theory. For each $F$ and $d$ one would like to know $V_{F,d}$, the minimum $p$-adic valuation of $W_{F,d}(a)$ as $a$ runs through the elements of $F$. We exclude exponents $d$ that are congruent to a power of $p$ modulo …

$p$-adic estimates of exponential sums on curves

The purpose of this article is to prove a ``Newton over Hodge'' result for exponential sums on curves. Let $X$ be a smooth proper curve over a finite field $\mathbb{F}_q$ of characteristic $p\geq 3$ and let $V \subset X$ be an affine curve. For a regular function $\overline{f}$ on $V$, we may form the $L$-function $L(\overline{f},V,s)$ associated to the exponential sums of $\overline{f}$. In this article, we prove a lower estimate on the Newton polygon of $L(\overline{f},V,s)$. The estimate depends on the local monodromy of $f$ around each point $x \in X-V$. This confirms a hope of Deligne tha…

包含下降阶乘、上升阶乘、组合和与特殊数的p进q积分公式

Formulas for p-adic q-integrals including falling-rising factorials, combinatorial sums and special numbers

本文提出推导含Volkenborn积分、p进费米子积分的p进q积分公式的新方法，结合阶乘、二项式系数得到多类组合和与特殊数的恒等式，给出新组合和及新特殊数与多项式族的生成函数。

Generic twisted $T$-adic exponential sums of polynomials

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$.

Partial zeta functions, partial exponential sums, and p-adic estimates

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, …

Generic T-adic exponential sums in one variable

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.

$T$-adic exponential sums of polynomials in one variable

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.

Kloosterman sums and Hecke polynomials in characteristics 2 and 3

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…

调和和的$p$进赋值及其与Wolstenholme素数的联系

$p$-adic valuation of harmonic sums and their connections with Wolstenholme primes

本研究围绕Eswarathasan-Levine关于调和数$p$进赋值的猜想展开，用模算术方法分别证明了非Wolstenholme素数与Wolstenholme素数情形下，$H(p^mn)$的$p$进赋值在$H(n)$的$p$进赋值为3时的反常渐近行为。

On inverted Kloosterman sums over finite fields

The classical $n$-variable Kloosterman sums over finite fields are well understood by Deligne's theorem from complex point of view and by Sperber's theorem from $p$-adic point of view. In this paper, we study the complex and $p$-adic estimates of inverted $n$-variable Kloosterman sums, addressing a question of N. Katz (1995). We shall give two complex estimates. The first one is elementary based on Gauss sums. The second estimate is deeper, depending on the cohomological results of Adolphson-Sperber, Denef-Loeser and Fu for twisted toric exponential sums. This deeper result assumes that the ch…

素数幂模下二元二次型的特征和

Character sums to prime power moduli evaluated at binary quadratic forms

研究素数幂模下二元二次型的特征和估计，采用p进分析方法，补充Heath-Brown对平方自由模的估计。

Igusa and Denef-Sperber Conjectures on nondegenerate p-adic exponential sums

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.

Uniform rationality of Poincaré series of p-adic equivalence relations and Igusa's conjecture on exponential sums

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

On p-adic approximation of sums of binomial coefficients

We propose higher-order generalizations of Jacobsthal's $p$-adic approximation for binomial coefficients. Our results imply explicit formulae for linear combinations of binomial coefficients $\binom{ip}{p}$ ($i=1,2,\dots$) that are divisible by arbitrarily large powers of prime $p$.

$p$-adic estimates for multiplicative character sums

This article is an expanded version of the talk given by the first author at the conference "Exponential sums over finite fields and applications" (ETH, Zürich, November, 2010). We state some conjectures on archimedian and $p$-adic estimates for multiplicative character sums over smooth projective varieties. We also review some of the results of J. Dollarhide, which formed the basis for these conjectures. Applying his results, we prove one of the conjectures when the smooth projective variety is ${\mathbb P}^n$ itself.

An explicit theory of $π_{1}^{\un,\crys}(\mathbb{P}^{1} - \{0,μ_{N},\infty\})$ - II-2 : From standard algebraic relations of weighted multiple harmonic sums to those of cyclotomic $p$-adic multiple zeta values

Let $X_{0}=\mathbb{P}^{1} - (\{0,\infty\} \cup μ_{N})\text{ }/\text{ }\mathbb{F}_{q}$, with $N \in \mathbb{N}^{\ast}$ and $\mathbb{F}_{q}$ of characteristic $p>0$ and containing a primitive $N$-th root of unity. We establish an explicit theory of the crystalline pro-unipotent fundamental groupoid of $X_{0}$. In part I, we have computed explicitly the Frobenius, and in particular cyclotomic $p$-adic multiple zeta values. In part II, we use part I to understand the algebraic relations of cyclotomic $p$-adic multiple zeta values via explicit formulas ; this is in particular a study of the harmoni…

Derivation of Computational Formulas for certain class of finite sums: Approach to Generating functions arising from $p$-adic integrals and special functions

The aim of this paper is to construct generating functions for some families of special finite sums with the aid of the Newton-Mercator series, hypergeometric series, and $p$-adic integral (the Volkenborn integral). By using these generating functions, their functional equations, and their partial derivative equations, many novel computational formulas involving the special finite sums of (inverse) binomial coefficients, the Bernoulli type polynomials and numbers, Euler polynomials and numbers, the Stirling numbers, the (alternating) harmonic numbers, the Leibnitz polynomials and others. Among…

Exponential Sums and Polynomial Congruences Along p-adic Submanifolds

In this article, we consider the estimation of exponential sums along the points of the reduction mod $p^{m}$ of a $p$-adic analytic submanifold of $ \mathbb{Z}_{p}^{n}$. More precisely, we extend Igusa's stationary phase method to this type of exponential sums. We also study the number of solutions of a polynomial congruence along the points of the reduction mod $% p^{m}$ of a $p$-adic analytic submanifold of $\mathbb{Z}_{p}^{n}$. In addition, we attach a Poincare series to these numbers, and establish its rationality. In this way, we obtain geometric bounds for the number of solutions of the…

On unit root formulas for toric exponential sums

Starting from a classical generating series for Bessel functions due to Schlomilch, we use Dwork's relative dual theory to broadly generalize unit-root results of Dwork on Kloosterman sums and Sperber on hyperkloosterman sums. In particular, we express the (unique) p-adic unit root of an arbitrary exponential sum on the torus in terms of special values of the p-adic analytic continuation of a ratio of A-hypergeometric functions. In contrast with the earlier works, we use noncohomological methods and obtain results that are valid for arbitrary exponential sums without any hypothesis of nondegen…

A note on $p$-adic valuations of the Schenker sums

A prime number $p$ is called a Schenker prime if there exists such $n\in\mathbb{N}_+$ that $p\nmid n$ and $p\mid a_n$, where $a_n = \sum_{j=0}^{n}\frac{n!}{j!}n^j$ is so-called Schenker sum. T. Amdeberhan, D. Callan and V. Moll formulated two conjectures concerning $p$-adic valuations of $a_n$ in case when $p$ is a Schenker prime. In particular, they asked whether for each $k\in\mathbb{N}_+$ there exists the unique positive integer $n_k<p^k$ such that $v_p(a_{m\cdot 5^k + n_k})\geq k$ for each nonnegative integer $m$. We prove that for every $k\in\mathbb{N}_+$ the inequality $v_5(a_n)\geq k$ h…

Bounds for p-adic exponential sums and log-canonical thresholds

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…

p-adic variation of unit root L-functions

Dwork's conjecture, now proven by Wan, states that unit root L-functions "coming from geometry" are p-adic meromorphic. In this paper we study the p-adic variation of a family of unit root L-functions coming from a suitable family of toric exponential sums. In this setting, we find that the unit root L-functions each have a unique p-adic unit root. We then study the variation of this unit root over the family of unit root L-functions. Surprisingly, we find that this unit root behaves similarly to the classical case of families of exponential sums. That is, the unit root is essentially a ratio …

On 2-adic orders of some binomial sums

We prove that for any nonnegative integers $n$ and $r$ the binomial sum $$ \sum_{k=-n}^n\binom{2n}{n-k}k^{2r} $$ is divisible by $2^{2n-\min\{α(n),α(r)\}}$, where $α(n)$ denotes the number of 1's in the binary expansion of $n$. This confirms a recent conjecture of Guo and Zeng.

pro-unipotent 调和作用与 $p$-进分圆多重 zeta 值的计算

Pro-unipotent harmonic actions and a computation of $p$-adic cyclotomic multiple zeta values

本文引入 pro-unipotent 调和作用，建立 $p$-进分圆多重 zeta 值与分圆多重调和和的互推公式，证明并推广相关猜想，同时给出有限分圆多重 zeta 值空间的维数界。

Newton Polygons of Sums on Curves II: Variation in $p$-adic Families

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…

On Jacobi Sums in $\mathbb Q(ζ_p)$

We study the p-adic behavior of Jacobi Sums for $\mathbb Q(ζ_p)$ and link this study to the p-Sylow subgroup of the ideal class group of $\mathbb Q(ζ_pà^+$

Exponential Sums Along p-adic Curves

Let K be a p-adic field, R the valuation ring of K, and P the maximal ideal of R. Let $Y subseteq R^{2}$ be a non-singular closed curve, and Y_{m} its image in R/P^{m} times R/P^{m}, i.e. the reduction modulo P^{m} of Y. We denote by Psi an standard additive character on K. In this paper we discuss the estimation of exponential sums of type S_{m}(z,Psi,Y,g):= $sum\limits_{x in Y_{m}}$ Psi(zg(x)), with z in K, and g a polynomial function on Y. We show that if the p-adic absolute value of z is big enough then the complex absolute value of S_{m}(z,Psi,Y,g) is O(q^{m(1-beta(f,g))}), for a positive…

Exponential sums on A^n, II

We prove a vanishing theorem for the p-adic cohomology of exponential sums on affine space. In particular, we obtain new classes of exponential sums on affine space that have a single nonvanishing p-adic cohomology group. The dimension of this cohomology group equals a sum of Milnor numbers.

L-functions of certain exponential sums over finite fields II

In this paper, we compute the $q$-adic slopes of the L-functions of an important class of exponential sums arising from analytic number theory. Our main tools include Adolphson-Sperber's work on toric exponential sums and Wan's decomposition theorems.

函数域上的几何高斯和与Gross-Koblitz公式

Geometric Gauss Sums and Gross-Koblitz Formula over Function Fields

本文在正特征函数域上引入几何高斯和，通过证明Gross-Koblitz型公式将其与$v$-进伽马值联系，从而导出反射公式、Stickelberger定理等基本性质。

p-adic unit roots of L-functions over finite fields

In this brief note, we consider p-adic unit roots or poles of L-functions of exponential sums defined over finite fields. In particular, we look at the number of unit roots or poles, and a congruence relation on the units. This raises a question in arithmetic mirror symmetry.

Certain transformations and values of p-adic hypergeometric functions

We prove two transformations for the $p$-adic hypergeometric functions which can be described as $p$-adic analogues of a Euler's transformation and a transformation of Clausen. We first evaluate certain character sums, and then relate them to the $p$-adic hypergeometric functions to deduce the transformations. We use a character sum identity proved by Ahlgren, Ono, and Penniston to deduce the $p$-adic Clausen's transformation. We also deduce special values of certain $p$-adic hypergeometric functions.

L-functions of symmetric powers of cubic exponential sums

For each positive integer k, we investigate the L-function attached to the k-th symmetric power of the F-crystal associated to the family of cubic exponential sums of x^3 + λx. We explore its rationality, field of definition, degree, trivial factors, functional equation, and Newton polygon. The paper is essentially self-contained, due to the remarkable and attractive nature of Dwork's p-adic theory. A novel feature of this paper is an extension of Dwork's effective decomposition theory when k < p. This allows for explicit computations in the associated p-adic cohomology. In particular, the act…