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.
In 2007 Chang and Yu determined all the algebraic relations among Goss's zeta values for the rational function field - these are also known as the Carlitz zeta values. Goss raised the problem about algebraic relations among Goss's zeta values for a general base ring A, but very little is known. In this paper we develop a general method and determine all algebraic relations among Goss's zeta values for the base ring A attached to an elliptic curve over a finite field. To our knowledge, these are the first non-trivial solutions of Goss's problem for a base ring whose class number is strictly gre…
A theorem of Tate and Turner says that global function fields have the same zeta function if and only if the Jacobians of the corresponding curves are isogenous. In this note, we investigate what happens if we replace the usual (characteristic zero) zeta function by the positive characteristic zeta function introduced by Goss. We prove that for function fields whose characteristic exceeds their degree, equality of the Goss zeta function is the same as Gassmann-equivalence (a purely group theoretical property), but this statement fails if the degree exceeds the characteristic. We introduce a `T…
We investigate hyperderivatives of Drinfeld modular forms and determine formulas for these derivatives in terms of Goss polynomials for the kernel of the Carlitz exponential. As a consequence we prove that v-adic modular forms in the sense of Serre, as defined by Goss and Vincent, are preserved under hyperdifferentiation. Moreover, upon multiplication by a Carlitz factorial, hyperdifferentiation preserves v-integrality.
Let q be a power of a prime p. We prove an assertion of Carlitz which takes q as parameter. Diaz-Vargas' proof of the Riemann Hypothesis for the Goss zeta function for F_p[T] depends on his verification of Carlitz's assertion for the specific case q = p. Our proof of the general case allows us to extend Diaz-Vargas' proof to F_q[T].
The zeroes of Goss polynomials $G_{k, Λ}(X)$ for $Λ= A \defeq \mathbb{F}_{q}[T]$ and similar lattices $Λ$ are studied. Generically, the zero distribution follows a simple pattern governed by the $q$-adic expansion of $k-1$. However, if $q=p^{f}$ with $f \geq 2$ is a proper power of the prime $p$, irregularities of the $q$-adic sum-of-digits function may lead to deviations from this pattern, to irregular zeroes, and an abundance of trivial zeroes of $G_{k, Λ}$ compared to the generic formula. These phenomena are related to properties of the Sheats compositions of natural numbers $n$ divisible b…
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 …
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 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 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.
We study tensor powers of rank 1 sign-normalized Drinfeld A-modules, where A is the coordinate ring of an elliptic curve over a finite field. Using the theory of vector valued Anderson generating functions, we give formulas for the coefficients of the logarithm and exponential functions associated to these A-modules. We then show that there exists a vector whose bottom coordinate contains a Goss zeta value, whose evaluation under the exponential function is defined over the Hilbert class field. This allows us to prove the transcendence of Goss zeta values and periods of Drinfeld modules as wel…
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…
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.
The $t$-adic symmetric multiple zeta values were defined Jarossay, which have been studied as a real analogue of $\boldsymbol{p}$-adic finite multiple zeta values. In this paper, we consider the star analogues based on several regularization processes of multiple zeta-star values: harmonic regularization, shuffle regularization, and Kaneko-Yamamoto's type regularization. We also present the cyclic sum formula for $t$-adic symmetric multiple zeta(-star) values, which is the counterpart of that for $\boldsymbol{p}$-adic finite multiple zeta(-star) values obtained by Kawasaki. The proof uses our …
We consider the symmetric multiple zeta values in $\mathcal{S}_m$ without modulo $π^2$ reduction for indices in which $1$ and $3$ appear alternately. We investigate those values that can be expressed as a polynomial of the Riemann zeta values, and give a conjecturally complete list of explicit formulas for such values.
In this paper, we generalize Bernoulli-Goss polynomials, and give a criterion on the divisibility of zeta functions of cyclotomic function fields. As an application of our criterion, for a given polynomial $f(u)$, we prove that there are infinitely many cyclotomic function fields whose zeta polynomial is divided by $f(u)$.
With every path on a projective line minus zero, one and infinity there is associated a measure. We are studying a sum of two such measures associated to paths from the tangential point at zero to roots of one. We show that the obtained measure can be defined very elementary. Integrating agaist this measure we get p-adic Hurwitz zeta functions constructed previously by Shiratani.
We introduce certain special polynomials in an arbitrary number of indeterminates over a finite field. These polynomials generalize the special polynomials associated to the Goss zeta function and Goss-Dirichlet $L$-functions over the ring of polynomials in one indeterminate over a finite field and also capture the special values at non-positive integers of $L$-series associated to Drinfeld modules over Tate algebras defined over the same ring. We compute the exact degree in $t_0$ of these special polynomials and show that this degree is an invariant for a natural action of Goss' group of digi…
We discuss the formalism of Iwasawa theory descent in the setting of the localized K_1-groups of Fukaya and Kato. We then prove interpolation formulas for the `leading terms' of the global Zeta isomorphisms that are associated to certain Tate motives and of the p-adic L-functions that are associated to certain critical motives.
$p$-adic cyclotomic multiple zeta values depend on the choice of a number of iterations of the crystalline Frobenius of the pro-unipotent fundamental groupoid of $\mathbb{P}^{1} - \{0,μ_{N},\infty\}$. In this paper we study how the iterated Frobenius depends on the number of iterations, in relation with the computation of $p$-adic cyclotomic multiple zeta values in terms of cyclotomic multiple harmonic sums. This provides new results on that computation and the definition of a new pro-unipotent harmonic action.
We study analytic properties of multiple zeta-functions of generalized Hurwitz-Lerch type. First, as a special type of them, we consider multiple zeta-functions of generalized Euler-Zagier-Lerch type and investigate their analytic properties which were already announced in our previous paper. Next we give `desingularization' of multiple zeta-functions of generalized Hurwitz-Lerch type, which include those of generalized Euler-Zagier-Lerch type, the Mordell-Tornheim type, and so on. As a result, the desingularized multiple zeta-function turns out to be an entire function and can be expressed as…
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, …
This paper is a culmination of [CM20] on the study of multiple zeta values (MZV's) over function fields in positive characteristic. For any finite place $v$ of the rational function field $k$ over a finite field, we prove that the $v$-adic MZV's satisfy the same $\bar{k}$-algebraic relations that their corresponding $\infty$-adic MZV's satisfy. Equivalently, we show that the $v$-adic MZV's form an algebra with multiplication law given by the $q$-shuffle product which comes from the $\infty$-adic MZV's, and there is a well-defined $\bar{k}$-algebra homomorphism from the $\infty$-adic MZV's to t…
We study a relation between two refinements of the rank one abelian Gross-Stark conjecture: For a suitable abelian extension $H/F$ of number fields, a Gross-Stark unit is defined as a $p$-unit of $H$ satisfying some proporties. Let $τ\in \mathrm{Gal}(H/F)$. Yoshida and the author constructed the symbol $Y_p(τ)$ by using $p$-adic $\log$ multiple gamma functions, and conjectured that the $\log_p$ of a Gross-Stark unit can be expressed by $Y_p(τ)$. Dasgupta constructed the symbol $u_T(τ)$ by using the $p$-adic multiplicative integration, and conjectured that a Gross-Stark unit can be expressed by…
Suppose that $ω_1,\ldots,ω_N$ are positive real numbers and $x$ is a complex number with positive real part. The multiple Barnes-Euler zeta function $ζ_{E,N}(s,x;\barω)$ with parameter vector $\barω=(ω_1,\ldots,ω_N)$ is defined as a deformation of the Barnes multiple zeta function as follows $$ ζ_{E,N}(s,x;\barω)=\sum_{t_1=0}^\infty\cdots\sum_{t_N=0}^\infty \frac{(-1)^{t_1+\cdots+t_N}}{(x+ω_1t_1+\cdots+ω_Nt_N)^s}. $$ In this paper, based on the fermionic $p$-adic integral, we define the $p$-adic analogue of multiple Barnes-Euler zeta function $ζ_{E,N}(s,x;\barω)$ which we denote by $ζ_{p,E,N}(…
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…
Our main aim in this paper is to give a foundation of the theory of $p$-adic multiple zeta values. We introduce (one variable) $p$-adic multiple polylogarithms by Coleman's $p$-adic iterated integration theory. We define $p$-adic multiple zeta values to be special values of $p$-adic multiple polylogarithms. We consider the (formal) $p$-adic KZ equation and introduce the $p$-adic Drinfel'd associator by using certain two fundamental solutions of the $p$-adic KZ equation. We show that our $p$-adic multiple polylogarithms appear as coefficients of a certain fundamental solution of the $p$-adic KZ…
The definition for the $p$-adic Hurwitz-type Euler zeta functions has been given by using the fermionic $p$-adic integral on $\mathbb Z_p$. By computing the values of this kind of $p$-adic zeta function at negative integers, we show that it interpolates the Euler polynomials $p$-adically. Many properties are provided for the $p$-adic Hurwitz-type Euler zeta functions, including the convergent Laurent series expansion, the distribution formula, the functional equation, the reflection formula, the derivative formula, the $p$-adic Raabe formula and so on. The definition for the $p$-adic Euler $L$…
This is a review on the two first parts of our work on $p$-adic multiple zeta values at $N$-th 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\}$ (where $N$ and $p$ are coprime). We restrict for simplicity the review to the case of $N=1$, i.e. the case of $p$-adic multiple zeta values ($p$MZV's). The main tools are new objects which we call $p$-adic pro-unipotent harmonic actions. These are continuous group actions on a space containing the non-commutative generating series of weighted multiple h…
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.
We give a proof of the irrationality of the $p$-adic zeta-values $ζ_p(k)$ for $p=2,3$ and $k=2,3$. Such results were recently obtained by F.Calegari as an application of overconvergent $p$-adic modular forms. In this paper we present an approach using classical continued fractions discovered by Stieltjes. In addition we show irrationality of some other $p$-adic $L$-series values, and values of the $p$-adic Hurwitz zeta-function.
In this note we answer the question raised by D. Goss in [Applications of non-Archimedean integration to the $L$-series of $τ$-sheaves, {\em J. Number Theory,} 110 (2005), no. 1, 83--113] by proving that the group of locally analytic endomorphisms on the 1-units of a locally compact field of characteristic $p>0$ is isomorphic to the $p$-adic integers.
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…
The analogue of the Bruhat-Tits building of a p-adic group in F1-geometry is a single apartment. In this setting, the trace formula gives rise to a several variable zeta function analogously to the p-adic case. The analogy carries on to the fact that the restriction to certain lines yield zeta functions which are defined in geometrical terms. Also, the classical formula of Ihara has an analogue in this setting.
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.
We generalize a formula of Leopoldt which relates the p-adic regulator modulo p of a real abelian extension of Q with the value of the relative Dedekind zeta function at s=2-p. We use this generalization to give a statement on the non-vanishing modulo p of this relative zeta function at the point s=1 under a mild condition.
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.