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 the $v$-adic MZV's.
We introduce an algebraic formulation of cyclic sum formulas for multiple zeta values and for multiple zeta-star values. We also present an algebraic proof of cyclic sum formulas for multiple zeta values and for multiple zeta-star values by reducing them to Kawashima relation.
In this paper, we provide an alternative method to calculate the values of generalized multiple Hurwitz zeta function at non-positive integers by means of \emph{Raabe}'s formula and the \textit{Bernoulli} numbers.
We prove two theorems. Theorem 1 gives the meromorphic continuation of the multiple zeta function to the whole space. In Theorem 2, we prove asymptotic behavior near the non-positive integers.
We give a result on the asymptotic behavior of the Hurwitz-Lerch multiple zeta functions near non-positive integer points by using the Apostol-Bernoulli polynomials. From this result, we can evaluate limit values at non-positive integer points.
We give an instant evaluation of multiple Zeta function at non-positive integers by elementary methods and discuss the Fourier theory (on unit interval) of the product of Bernoulli polynomials.We also show that the polynomial expression for Hurwitz Zeta function(at non-positive integral values of the first variable) and the polynomial expression for Bernoulli polynomials are equivalent.
Motivated by Euler-Goldbach and Shallit-Zikan theorems, we introduce zeta-one functions with infinite sums of $n^{s}\pm1$ as an analogy of the Riemann zeta function. Then we compute values of these functions at positive even integers by the residue theorem.
In this article, we introduce an algebraic setup of non-strict multiple zeta values (NMZVs, for short) and prove some relations of NMZVs, which are analogous to Hoffman's relations of multiple zeta values, by using this algebraic setup of NMZVs.
Interpolated multiple zeta values can be regarded as interpolation polynomials of multiple zeta values and multiple zeta-star values. In this paper, we give some algebraic relations of interpolated multiple zeta values, such as the symmetric sum formula, the shuffle regularized sum formula, a weighted sum formula and some evaluation formulas with even arguments. All the algebraic relations provided in this paper are deduced from the extended double shuffle relations.
We give new closed and explicit formulas for "multiple zeta values" at non-positive integers of generalized Euler-Zagier multiple zeta-functions. We first prove these formulas for a small convenient class of these multiple zeta-functions and then use the analyticity of the values on the parameters defining the multiple zeta-functions to deduce the formulas in the general case. Also, for our aim we prove an extension of "Raabe's lemma" due to E. Friedman and A. Pereira.
We prove a sum-shuffle formula for multiple zeta values in Tate algebras (in positive characteristic), introduced in \cite{PEL3}.This follows from an analog result for double twisted power sums, implying that an ${\mathbb{F}\_p$-vector space generated by multiple zeta values in Tate algebras is an ${\mathbb{F}\_p$-algebra.
We study the behavior of partially twisted multiple zeta-functions. We give new closed and explicit formulas for special values at non-positive integer points of such zeta-functions. Our method is based on a result of M. de Crisenoy on the fully twisted case and the Mellin-Barnes integral formula.
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 …
A dynamically affine map is a finite quotient of an affine morphism of an algebraic group. We determine the rationality or transcendence of the Artin-Mazur zeta function of a dynamically affine self-map of $\mathbb{P}^1(k)$ for $k$ an algebraically closed field of positive characteristic.
In this note, we shall discuss a generalization of Thakur's multiple zeta values and allied objects, in the framework of function fields of positive characteristic and more precisely, of periods in Tate algebras.
Using a summation identity obtained for the Fourier coefficients of $x^{2k}$, we derive a closed form expression for the zeta function at even positive integers, using a technique similar to one in an existing proof by Aladdi and Defant[1], but in a simpler and shorter way.
By restricting the variables running over various (possibly different) subfields, we introduce the notion of a partial zeta function. We prove that the partial zeta function is rational in an interesting case, generalizing Dwork's well known rationality theorem. In general, the partial zeta function is probably not rational. But a theorem of Faltings says that the partial zeta function is always nearly rational.
We apply the theory of height zeta functions to study the asymptotic distribution of rational points of bounded height on projective equivariant compactifications of semi-direct products.
We consider the values at proper fractions of the arithmetic gamma function and the values at positive integers of the zeta function for F_q[theta] and provide complete algebraic independence results for them.
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.
Let $x$ be a complex number which has a positive real part, and $w_1,\ldots,w_N$ be positive rational numbers. We show that $w^s ζ_N (s, x \ |\ w_1,\ldots, w_N)$ can be expressed as a finite linear combination of the Hurwitz zeta functions over $\mathbb Q(x)$, where $ζ_N (s,x \ |\ w_1,\ldots, w_N)$ is the Barnes zeta function and $w$ is a positive rational number explicitly determined by $w_1,\ldots, w_N$. Furthermore, we give generalizations of Kummer's formula on the gamma function and Koyama-Kurokawa's formulae on the multiple gamma functions, and an explicit formula for the values at non-p…
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…
We present a new method for computing the zeta function of an algebraic curve over a finite field. The algorithm relies on a trace formula of Harvey to count points on a plane model of the curve. The zeta function of the curve is then obtained by making corrections at singular points. We report on an implementation and provide some examples in MAGMA which demonstrate an improvement over Tuitman's algorithm.
Multiples zeta values (MZV's for short) in positive characteristic were introduced by Thakur as analogues of classical multiple zeta values of Euler. In this paper we give a systematic study of algebraic structures of MZV's in positive characteristic. We construct both the stuffle algebra and the shuffle algebra of these MZV's and equip them with algebra and Hopf algebra structures. In particular, we completely solve a problem suggested by Deligne and Thakur \cite{Del17} in 2017 and establish Shi's conjectures \cite{Shi18}. The construction of the stuffle algebra is based on our recent work \c…
In this paper, we study multiple zeta values (abbreviated as MZV's) over function fields in positive characteristic. Our main result is to prove Thakur's basis conjecture, which plays the analogue of Hoffman's basis conjecture for real MZV's. As a consequence, we derive Todd's dimension conjecture, which is the analogue of Zagier's dimension conjecture for classical real MZV's.
The study of this paper is inspired by the conjecture of Zagier on the explicit dimension formula for the space of the same weight double zeta values in terms of the dimension of cusp forms for SL_{2}(Z). Our main result is to devise an effective criterion for computing the dimension of the same weight double zeta values over a rational function field F_{q}(theta) in positive characteristic. Contrary to the Zagier's conjecture, the analogue of Zagier's conjectural dimension provides a lower bound for the dimension of the double zeta values when the weight is $A$-even.
We study trivial multiple zeta values in Tate algebras. These are particular examples of the multiple zeta values in Tate algebras in positive characteristic introduced by the second author. If the number of variables involved is 'not large' in a way that is made precise in the paper, we can endow the set of trivial multiple zeta values with a structure of module over a non-commutative polynomial ring with coefficients in the rational fraction field over a finite field. We determine the structure of this module in terms of generators and we show how in many cases, this is sufficient for the de…
We study the value-distribution of the Hurwitz zeta-function with algebraic irrational parameter $ζ(s;α)=\sum_{n\geq_0}(n+α)^{-s}$. In particular, we prove effective denseness results of the Hurwitz zeta-function and its derivatives in suitable strips containing the right boundary of the critical strip $1+i\mathbb{R}$. This may be considered as a first "weak" manifestation of universality for those zeta-functions.
In this paper, we introduce cell-forms on $\mathcal{M}_{0,n}$, which are top-dimensional differential forms diverging along the boundary of exactly one cell (connected component) of the real moduli space $\mathcal{M}_{0,n}(\mathbb{R})$. We show that the cell-forms generate the top-dimensional cohomology group of $\mathcal{M}_{0,n}$, so that there is a natural duality between cells and cell-forms. In the heart of the paper, we determine an explicit basis for the subspace of differential forms which converge along a given cell $X$. The elements of this basis are called insertion forms, their int…
We study positive characteristic multiple zeta values associated to general curves over $\mathbb F_q$ together with an $\mathbb F_q$-rational point $\infty$ as introduced by Thakur. For the case of the projective line these values were defined as analogues of classical multiple zeta values. In the present paper we first establish a general non-commutative factorization of exponential series associated to certain lattices of rank one. Next we introduce universal families of multiple zeta values of Thakur and show that they are Eulerian in full generality. In particular, we prove a conjecture of…
We show the recurrence relations of the Euler-Zagier multiple zeta-function which describes the $r$-fold function with one variable specialized to a non-positive integer as a rational linear combination of $(r-1)$-fold functions, which extends the previous results of Akiyama-Egami-Tanigawa and Matsumoto. As an application, we obtain an explicit method to calculate the special values of the multiple zeta-function at any integer point (the arguments could be neither all-positive nor all-non-positive) as a rational linear summation of the multiple zeta values.
Based on the notion of Stark units we present a new approach that obtains refinements of log-algebraic identities for Anderson t-modules. As a consequence, we establish a generalization of Chang's theorem on logarithmic interpretations for special characteristic p multiple zeta values (MZV's) and recover many earlier results in this direction. Further, we devise a direct and conceptual way to get logarithmic interpretations for both MZV's and v-adic MZV's. This generalizes completely the work of Anderson and Thakur for Carlitz zeta values.
This paper draws connections between the double shuffle equations and structure of associators; universal mixed elliptic motives as defined by Hain and Matsumoto; and the Rankin-Selberg method for modular forms for $SL_2(\mathbb{Z})$. We write down explicit formulae for zeta elements $σ_{2n-1}$ (generators of the Tannaka Lie algebra of the category of mixed Tate motives over $\mathbb{Z}$) in depths up to four, give applications to the Broadhurst-Kreimer conjecture, and completely solve the double shuffle equations for multiple zeta values in depths two and three.
Kaneko and Tsumura introduced a new kind of multiple zeta functions $η(k_1,\ldots,k_r;s_1,\ldots,s_r)$. This is an analytic function of complex variables $s_1,\ldots,s_r$, while $k_1,\ldots,k_r$ are non-positive integer parameters. In this paper, we first extend this function to an analytic function $η(s'_1,\ldots,s'_r;s_1,\ldots,s_r)$ of $2r$ complex variables. Then we investigate its special values at positive integers. In particular, we prove some linear relations among these $η$-values and the multiple zeta values $ζ(k_1,\ldots,k_r)$ of Euler-Zagier type.
We show that for a non-positive value of the first variable,Hurwitz zeta function becomes a polynomial in the second variable. We show this, using 'integration approach', instead of 'power series approach', which we had resorted to, in our earlier paper with the same title. This, in particular, explains why Riemann zeta function at positive even integer arguments, can be evaluated and why it cannot be evaluated explicitly at positive odd integer arguments.
For a function field $k$ over a finite field with $\mathbb{F}_q$ as the field of constant, and a finite abelian group $G$ whose exponent is divisible by $q-1$, we study the distribution of zeta zeroes for a random $G$-extension of $k$, ordered by the degree of conductors. We prove that when the degree goes to infinity, the number of zeta zeroes lying in a prescribed arc is uniformly distributed and the variance follows a Gaussian distribution.
We study the algebra MD of generating function for multiple divisor sums and its connections to multiple zeta values. The generating functions for multiple divisor sums are formal power series in q with coefficients in Q arising from the calculation of the Fourier expansion of multiple Eisenstein series. We show that the algebra MD is a filtered algebra equipped with a derivation and use this derivation to prove linear relations in MD. The (quasi-)modular forms for the full modular group Sl_2(Z) constitute a sub-algebra of MD this also yields linear relations in MD. Generating functions of mul…
In this note we shall study the Witten multiple zeta function associated to the exceptional Lie algebra g_2. Our main result shows that its special values at nonnegative integers can always be expressed as rational linear combinations of the multi-polylogs evaluated at 12th roots of unity, except for two irregular cases.
The Dedekind zeta function of a quadratic number field factors as a product of the Riemann zeta function and the $L$-function of a quadratic Dirichlet character. We categorify this formula using objective linear algebra in the abstract incidence algebra of the division poset.
We study rather general multiple zeta-functions whose denominators are given by polynomials. The main aim is to prove explicit formulas for the values of those multiple zeta-functions at non-positive integer points. We first treat the case when the polynomials are power sums, and observe that some ``trivial zeros'' exist. We also prove that special values are sometimes transcendental. Then we proceed to the general case, and show an explicit expression of special values at non-positive integer points which involves certain period integrals. We give examples of transcendental values of those sp…
We prove certain general forms of functional relations among Witten multiple zeta-functions in several variables (or zeta-functions of root systems). The structural background of those functional relations is given by the symmetry with respect to Weyl groups. From those relations we can deduce explicit expressions of values of Witten zeta-functions at positive even integers, which is written in terms of generalized Bernoulli numbers of root systems. Furthermore we introduce generating functions of those Bernoulli numbers of root systems, by which we can give an algorithm of calculating Bernoul…
For a non-negative integer $N$, let $\mathcal{Z}_{N}:=\sum^N_{c = 0} \mathbb{Q} \cdot ζ(-c,s+c)$, where the right-hand side is the vector space spanned by the Euler-Zagier double zeta functions over $\mathbb{Q}$. In this paper, we show that $\mathcal{Z}_{N} =\bigoplus^{N}_{c = 0 : \text{even}} \mathbb{Q} \cdot ζ(-c,s+c)$, where $\bigoplus$ is the direct sum of vector spaces. Moreover, we give a family of relations that exhaust all $\mathbb{Q}$-linear relations on $\mathcal{Z}_{N}$.
The conical zeta values are a generalization of the multiple zeta values which are defined by certain multiple sums over convex cones. In this paper, we present a relation between the values of the Dedekind zeta functions for totally real fields and the conical zeta values for certain algebraic cones. More precisely, we show that the values of the partial zeta functions for totally real fields can be expressed as a rational linear combination of the conical zeta values associated with certain algebraic cones up to the square root of the discriminant.
For these two decades, the Arakawa-Kaneko zeta function has been studied actively. Recently Kaneko and Tsumura constructed its variants from the viewpoint of poly-Bernoulli numbers. In this paper, we generalize their zeta functions of Arakawa-Kaneko type to those with indices in which positive and negative integers are mixed. We show that values of these functions at positive integers can be expressed in terms of the multiple Hurwitz zeta star values.
We study the values of the zeta-function of the root system of type $G_2$ at positive integer points. In our previous work we considered the case when all integers are even, but in the present paper we prove several theorems which include the situation when some of the integers are odd. The underlying reason why we may treat such cases including odd integers is also discussed.
Already in 1734 Euler found a short explicit formula for the value of Riemann zeta function Zeta(s) when the argument s equals a positive integer 2n where n=1,2,3,. No such formula exists for odd positive integer arguments of Zeta. The present paper discusses in particular the case of Zeta(3). A formula for Zeta(3) is obtained which in addition to a number of well known constants includes a rapidly converging infinite series, of which each term contains rational numbers and an even power of Pi. An attempt to convert this series into a finite number of terms containing commonly known constants …
Multizeta values in positive characteristic were first introduced and studied by Thakur. He and Lara Rodr\'ıguez discovered and conjectured certain zeta-like families. Kuan and Lin stated more conjectures about zeta-like multizeta values. In the present paper we study and give a transparent formula for certain Anderson-Thakur polynomials. Besides, we confirm the conjectured zeta-like families.
For Hurwitz zeta function, we obtain power series expression in second variable for its higher order derivatives (with respect to first variable) at non-positive integer arguments and consequently obtain rapidly decreasing series expression for Riemann zeta fuction at positive odd integer arguments. Further, we obtain corresponding results for Dirichlet L-series. We also a unified proof of various classical identities involving Riemann zeta values.
In analogy with the Riemann zeta function at positive integers, for each finite field F_p^r with fixed characteristic p we consider Carlitz zeta values zeta_r(n) at positive integers n. Our theorem asserts that among the zeta values in {zeta_r(1), zeta_r(2), zeta_r(3), ... | r = 1, 2, 3, ...}, all the algebraic relations are those algebraic relations within each individual family {zeta_r(1), zeta_r(2), zeta_r(3), ...}. These are the algebraic relations coming from the Euler-Carlitz relations and the Frobenius relations. To prove this, a motivic method for extracting algebraic independence resu…
