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 equation and our $p$-adic multiple zeta values appear as coefficients of the $p$-adic Drinfel'd associator. We show various properties of $p$-adic multiple zeta values, which are sometimes analogous to the complex case and are sometimes peculiar to the $p$-adic case, via the $p$-adic KZ equation.
In this article, we express solutions of the Gauss hypergeometric equation as a series of the multiple polylogarithms by using iterated integral. This representation is the most simple case of a semisimple representation of solutions of the formal KZ equation. Moreover, combining this representation with the connection relations of solutions of the Gauss hypergeometric equation, we obtain various relations of the multiple polylogarithms of one variable and the multiple zeta values.
We shall define the q-analogs of multiple zeta functions and multiple polylogarithms in this paper and study their properties, based on the work of Kaneko et al. and Schlesinger, respectively.
We describe a solution of the Gauss hypergeometric equation, $F(α,β,γ;z)$ by power series in paramaters $α,β,γ$ whose coefficients are $\Z$ linear combinations of multiple polylogarithms. And using the representation and connection reletions of solutions of the hypergeometric equation, we show some relations of multiple zeta values.
In this paper we consider iterated integrals of multiple polylogarithm functions and prove some explicit relations of multiple polylogarithm functions. Then we apply the relations obtained to find numerous formulas of alternating multiple zeta values in terms of unit-exponent alternating multiple zeta values. In particular, we prove several conjectures given by Borwein-Bradley-Broadhurst \cite{BBBL1997}, and give some general results. Furthermore, we discuss Kaneko-Yamamoto multiple zeta values, and establish some relations between it and multiple zeta values. Finally, we establish a linear re…
We prove the $\boldsymbol{p}$-adic duality theorem for the finite star-multiple polylogarithms. That is a generalization of Hoffman's duality theorem for the finite multiple zeta-star values.
The $\ell$-adic Galois polylogarithm is an arithmetic function on an absolute Galois group with values in $\ell$-adic numbers, which arises from Galois actions on $\ell$-adic étale paths on ${\mathbb P}^1 \backslash \{0,1,\infty\}$. In the present paper, we discuss a relationship between $\ell$-adic Galois polylogarithms and triple $\ell$-th power residue symbols in some special cases studied by a work of Hirano-Morishita. We show that a functional equation of $\ell$-adic Galois polylogarithms by Nakamura-Wojtkowiak implies a reciprocity law of triple $\ell$-th power residue symbols.
In this paper, we give a simultaneous vanishing principle for the $v$-adic Carlitz multiple polylogarithms (abbreviated as CMPLs) at algebraic points, where $v$ is a finite place of the rational function field over a finite field. This principle establishes the fact that the $v$-adic vanishing of CMPLs at algebraic points is equivalent to its $\infty$-adic counterpart being Eulerian. This reveals a nontrivial connection between the $v$-adic and $\infty$-adic worlds in positive characteristic.
We introduce and study new versions of polylogarithms and a zeta function on a completion of $\mathbb F_q (x)$ at a finite place. The construction is based on the use of the Carlitz differential equations for $\mathbb F_q$-linear functions.
We study an $\ell$-adic Galois analogue of the distribution formulas for polylogarithms with special emphasis on path dependency and arithmetic behaviors. As a goal, we obtain a notion of certain universal Kummer-Heisenberg measures that enable interpolating the $\ell$-adic polylogarithmic distribution relations for all degrees.
We generalize the definition of overconvergent $p$-adic multiple polylogarithms and of $p$-adic cyclotomic multiple zeta values and we prove a bound on their norm. A byproduct of the proof is a characterization of these objects in terms of certain regularized $p$-adic iterated integrals. The generalization of the definition consists in replacing the underlying Frobenius structure by its iterations. The bound on the norms of overconvergent $p$-adic multiple polylogarithms that we obtain is a prerequisite for our subsequent papers on $p$-adic cyclotomic multiple zeta values.
The purpose of this article is to newly define the $p$-adic polylogarithm as an equivariant class in the cohomology of a certain infinite disjoint union of algebraic tori associated to a totally real field. We will then express the special values of $p$-adic $L$-functions interpolating nonpositive values of Hecke $L$-functions of the totally real field in terms of special values of these $p$-adic polylogarithms.
We use visible point vector identities to examine polylogarithms in the neighbourhood of the Riemann zeta function zeroes. New formulas limiting to the trivial zeroes and to the critical line on the zeta function are given. Similar results arise from Euler-Zagier sums given in Bailey, Borwein and Crandall [4] providing new infinite product identities.
This is a completely rewritten version of the paper formerly entitled "Sheaves of Iwasawa modules, moment maps and the $\ell$-adic elliptic polylogarithm". The proof of the main result is also simplified. In the paper we study systematically the $\ell$-adic realization of the elliptic polylogarithm in the context of sheaves of Iwasawa modules. This leads to a description of the elliptic polylogarithm in terms of elliptic units. As an application we prove a precise relation between $\ell$-adic Eisenstein classes and elliptic Soulé elements. This allows to give a new proof of the formula for the…
We develop the topological polylogarithm which provides an integral version of Nori's Eisenstein cohomology classes for $GL_n(\mathbf{Z})$ and yields classes with values in an Iwasawa algebra. This implies directly the integrality properties of special values of $L$-functions of totally real fields and a construction of the associated $p$-adic $L$-function. Using a result of Graf, we also apply this to prove some integrality and $p$-adic interpolation results for the Eisenstein cohomology of Hilbert modular varieties.
The relationship between the Ohno relation and multiple polylogarithms are discussed. Using this relationship, the algebraic reduction of the Ohno relation is given.
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.
In this paper, we give an explicit description of the de Rham and p-adic polylogarithms for elliptic curves using the Kronecker theta function. We prove in particular that when the elliptic curve has complex multiplication and good reduction at p, then the specializations to torsion points of the p-adic elliptic polylogarithm are related to p-adic Eisenstein-Kronecker numbers, proving a p-adic analogue of the result of Beilinson and Levin expressing the complex elliptic polylogarithm in terms of Eisenstein-Kronecker-Lerch series. Our result is valid even if the elliptic curve has supersingular…
It is known that multiple zeta values can be written in terms of certain iterated log-sine integrals. Conversely, we evaluate iterated log-sine integrals in terms of multiple polylogarithms and multiple zeta values in this paper. We also suggest some conjectures on multiple zeta values, multiple Clausen values, multiple Glaisher values and iterated log-sine integrals.
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 …
The specializations of the motivic elliptic polylog are called motivic Eisenstein classes. For applications to special values of L-Functions, it is important to compute the realizations of these classes. In this paper, we prove that the syntomic realization of the motivic Eisenstein classes, restricted to the ordinary locus of the modular curve, may be expressed using p-adic Eisenstein-Kronecker series. These p-adic modular forms are defined using the two-variable p-adic measure with values in p-adic modular forms constructed by Katz.
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.
Mordell-Tornheim multiple zeta-functions, their integral analogues, and relations among multiple polylogarithms
Graduate School of Mathematics, Nagoya University（名古屋大学大学院数学研究科）；Center for General Education, Aichi Institute of Technology（爱知工业大学通识教育中心）；Division of Mathematics, Chiba Institute of Technology（千叶工业大学数学系）；Harish-Chandra Research Institute（哈里什-钱德拉研究所）
The finite n-th polylogarithm li_n(z) in Z/p[z] is defined as the sum on k from 1 to p-1 of z^k/k^n. We state and prove the following theorem. Let Li_k:C_p to C_p be the p-adic polylogarithms defined by Coleman. Then a certain linear combination F_n of products of polylogarithms and logarithms, with coefficients which are independent of p, has the property that p^{1-n} DF_n(z^p) reduces modulo p>n+1 to li_{n-1}(z) where D is the Cathelineau operator z(1-z) d/dz. A slightly modified version of this theorem was conjectured by Kontsevich. This theorem is used by Elbaz-Vincent and Gangl to deduce …
In this paper we show that the iterated integrals on products of one variable multiple polylogarithms from 0 to 1 are actually multiple zeta values if they are convergent. In the divergent case, we define regularized iterated integrals from 0 to 1. By the same method, we show that the regularized iterated integrals are also multiple zeta values. As an application, we give new series representations for multiple zeta values and calculate some interesting examples of iterated integrals.
The author has found today an error in the denominator of the residue equation (4.5). This unfortunate mistake makes the conclusions and the title of the paper incorrect. The function $Z(s,x)$ is regular at $x=1$ and the multivalued part disappears. The original motivation of the paper was to derive an old (and correct!) result due to the author using a different approach.
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 formulate a parametrized uniformly absolutely globally convergent series of $ζ$(s) denoted by Z(s, x). When expressed in closed form, it is given by Z(s, x) = (s -- 1)$ζ$(s) + 1 x Li s z z -- 1 dz, where Li s (x) is the polylogarithm function. As an immediate first application of the new parametrized series, a new expression of $ζ$(s) follows: (s -- 1)$ζ$(s) = -- 1 0 Li s z z -- 1 dz. As a second important application, using the functional equation and exploiting uniform convergence of the series defining Z(s, x), we have for any non-trivial zero s
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…
The sum formula for multiple zeta values are derived, via the Mellin transform, from the Euler connection formula and the Landen connection formula for polylogarithms. These connection formulas for multiple polylogarithms will be considered in the framework of the theory of the formal Knizhnik-Zamolodchikov equation.
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…
The Galois action on the pro-$\ell$ étale fundamental groupoid of the projective line minus three points with rational base points gives rise to a non-commutative formal power series in two variables with $\ell$-adic coefficients, called the $\ell$-adic Galois associator. In the present paper, we focus on how Landen's functional equation of trilogarithms and its $\ell$-adic Galois analog can be derived algebraically from the $S_3$-symmetry of the projective line minus three points. Twofold proofs of the functional equation will be presented, one is based on Zagier's tensor criterion devised in…
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.
We show that the shuffle algebras for polylogarithms and regularized MZVs in the sense of Ihara, Kaneko and Zagier are both free commutative nonunitary Rota-Baxter algebras with one generator. We apply these results to show that the full sets of shuffle relations of polylogarithms and regularized MZVs are derived by a single series. We also take this approach to study the extended double shuffle relations of MZVs by comparing these shuffle relations with the quasi-shuffle relations of the regularized MZVs in our previous approach of MZVs by renormalization.
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.
Let $T$ be the triangle with vertices (1,0), (0,1), (1,1). We study certain integrals over $T$, one of which was computed by Euler. We give expressions for them both as a linear combination of multiple zeta values, and as a polynomial in single zeta values. We obtain asymptotic expansions of the integrals, and of sums of certain multiple zeta values with constant weight. We also give related expressions for Euler's constant. In the final section, we evaluate more general integrals -- one is a Chen (Drinfeld-Kontsevich) iterated integral -- over some polytopes that are higher-dimensional analog…
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.
This paper studies algebraic and analytic structures associated with the Lerch zeta function, extending the complex variables viewpoint taken in part II. The Lerch transcendent $Φ(s, z, c)$ is obtained from the Lerch zeta function $ζ(s, a, c)$ by the change of variable $z=e^{2 πi a}$. We show that it analytically continues to a maximal domain of holomorphy in three complex variables $(s, z, c)$ as a multivalued function defined over the base manifold ${\bf C} \times P^1({\bf C} \smallsetminus \{0, 1, \infty\}) \times ({\bf C}\smallsetminus {\bf Z})$. and compute the monodromy functions definin…
Pellarin introduced the deformation of multiple zeta values of Thakur as elements over Tate algebras. In this paper, we relate these values to a certain coordinate of a higher dimensional Drinfeld module over Tate algebras which we will introduce. Moreover, we define multiple polylogarithms in our setting and represent deformation of multiple zeta values as a linear combination of multiple polylogarithms.
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$…
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 $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.
We prove sum formulas for double polylogarithms of Hurwitz type, that is, involving a shifting parameter $b$ in the denominator. These formulas especially imply well-known sum formulas for double zeta values, and sum formulas for double $L$-values. Further, differentiating in $b$, we obtain a kind of weighted sum formula for double polylogarithms and double $L$-values. We also give sum formulas for partial double zeta values with some congruence conditions. Our proofs of those sum formulas are based on certain functional relations for double polylogarithms of Hurwitz type.
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…
By using the method of iterated integral representations of series, we establish some explicit relationships between multiple zeta values and Integrals of logarithmic functions. As applications of these relations, we show that multiple zeta values of the form \[ζ( {\bar 1,{\left\{ 1 \right\}_{m - 1}},\bar 1,{\left\{ 1 \right\}_{k - 1}}} ),\ (k,m\in \mathbb{N})\] for $m=1$ or $k=1$, and \[ζ( {\bar 1,{\left\{ 1 \right\}_{m - 1}},p,{\left\{ 1 \right\}_{k - 1}}}),\ (k,m\in\mathbb{N})\] for $p=1$ and $2$, satisfy certain recurrence relations which allow us to write them in terms of zeta values, pol…
