Related papers: Formalization of $p$-adic $L$-functions in Lean 3

The Riemann zeta function, and more generally the L-functions of Dirichlet characters, are among the central objects of study in number theory. We report on a project to formalize the theory of these objects in Lean's "Mathlib" library,…

In this paper, we define the p-adic Euler L-functions using the fermionic p-adic integral on Zp. By computing the values of the p-adic Euler L-functions at negative integers, we show that for Dirichlet characters with odd conductor, this…

This paper completes the construction of $p$-adic $L$-functions for unitary groups. More precisely, in 2006, the last three named authors proposed an approach to constructing such $p$-adic $L$-functions (Part I). Building on more recent…

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…

We construct $p$-adic multiple $L$-functions in several variables, which are generalizations of the classical Kubota-Leopoldt $p$-adic $L$-functions, by using a specific $p$-adic measure. Our construction is from the $p$-adic analytic side…

We describe in detail three distinct families of generalized zeta functions built over the (nontrivial) zeros of a rather general arithmetic zeta or L-function, extending the scope of two earlier works that treated the Riemann zeros only.…

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…

We consider Bernoulli distributions and their regularizations, which are measures on the $p$-adic integers $\mathbb{Z}_p$. It is well known that their Mellin transform can be used to define $p$-adic $L$-functions. We show that for $p>2$ one…

This paper provides an introduction to Eisenstein measures, a powerful tool for constructing certain $p$-adic $L$-functions. First seen in Serre's realization of $p$-adic Dedekind zeta functions associated to totally real fields, Eisenstein…

With respect to the analytic-algebraic dichotomy, the theory of Siegel modular forms of half-integral weight is lopsided; the analytic theory is strong whereas the algebraic lags behind. In this paper, we capitalise on this to establish the…

We obtain a formula for the $p$-adic valuation of weighted moments of central $L$-values of holomorphic cusp forms twisted by Dirichlet characters of order $p$. In some cases we give an arithmetic interpretation of the constants in the…

This paper deals with a multiple version of zeta- and L-functions both in the complex case and in the p-adic case: [I] Our motivation in the complex case is to find suitable rigorous meaning of the values of multivariable multiple…

We consider computing the Riemann zeta function $\zeta(s)$ and Dirichlet $L$-functions $L(s,\chi)$ to $p$-bit accuracy for large $p$. Using the approximate functional equation together with asymptotically fast computation of the incomplete…

Classically, Euler developed the theory of the Riemann zeta - function using as his starting point the exponential and partial fraction forms of cot(z) . In this paper we wish to develop the theory of $L$-functions of elliptic curves…

In this paper we propose a construction of $p$-adic Euler $\ell$-function using Kubota-Leopoldt's approach and Washington's one. We also compute the derivative of $p$-adic Euler $\ell$-function at $s=0$ and the values of $p$-adic Euler…

We consider the PDE flow associated to Riemann zeta and general Dirichlet $L$-functions. These are models characterized by nonlinearities appearing in classical number theory problems, and generalizing the classical holomorphic Riemann flow…

This paper describes some validated numerics aspects of Riemann zeta function, Dirichlet L-functions, Dedekind zeta functions and Hasse-Weil L-functions.

The knowledge on irrationality of p-adic zeta values has recently progressed. The irrationality of zeta_2(2), \zeta_2(3) and of a few other p-adic series of Dirichlet was obtained by F. Calegari. F. Beukers gave a more elementary proof of…

A new definition for the Dirichlet beta function for positive integer arguments is discovered and presented for the first time. This redefinition of the Dirichlet beta function, based on the polygamma function for some special values,…

We introduce $p$-adic Kummer spaces of continuous functions on $\mathbb{Z}_p$ that satisfy certain Kummer type congruences. We will classify these spaces and show their properties, for instance, ring properties and certain decompositions.…