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

The purpose of this paper is to give the explicit formulae of p-adic l-functions and sums of powers which are related to Euler numbers.

Finite differences of values of the Riemann zeta function at the integers are explored. Such quantities, which occur as coefficients in Newton series representations, have surfaced in works of Maslanka, Coffey, Baez-Duarte, Voros and…

We introduce new methods from p-adic integration into the study of representation zeta functions associated to compact p-adic analytic groups and arithmetic groups. They allow us to establish that the representation zeta functions of…

The (Deuring-Heilbronn-) Linnik phenomenon is extended to L-functions associated with real analytic automorphic forms. The repelling effect of exceptional zeros of Dirichlet L-functions are felt not only by those L-functions themselves but…

The Riemann Hypothesis has been of central interest to mathematicians for a long time and many unsuccessful attempts have been made to either prove or disprove it. Since the Riemann zeta function is defined as a sum of the infinite number…

This is the first of four papers that study algebraic and analytic structures associated to the Lerch zeta function. This paper studies "zeta integrals" associated to the Lerch zeta function using test functions, and obtains functional…

Let K be a p-adic field. We explore Igusa's p-adic zeta function, which is associated to a K-analytic function on an open and compact subset of K^n. First we deduce a formula for an important coefficient in the Laurent series of this…

We explore a variant of the zeta function interpolating the Bernoulli numbers based on an integral representation suggested by J. Jensen. The Bernoulli function $\operatorname{B}(s, v) = - s\, \zeta(1-s, v)$ can be introduced independently…

The main objective of this article is to establish the $p$-adic Artin formalism for the algebraic $p$-adic $L$-functions attached to the adjoint representations of Coleman families of modular forms. In particular, we prove a factorization…

We define an axiomatic class of L-functions extending the Selberg class. We show in particular that one can recast the traditional conditions of an Euler product, analytic continuation and functional equation in terms of distributional…

The present essay aims at investigating whether and how far an algebraic analysis of the Zeta Function and of the Riemann Hypothesis can be carried out. Of course the well-established properties of the Zeta Function, explored in depth in…

The principal aim of this article is to attach and study $p$-adic $L$-functions to cohomological cuspidal automorphic representations $\Pi$ of $\mathrm{GL}(2n)$ over a totally real field $F$ admitting a Shalika model. We use a modular…

The class of Dirichlet series associated with a periodic arithmetical function $f$ includes the Riemann zeta-function as well as Dirichlet $L$-functions to residue class characters. We study the value-distribution of these Dirichlet series…

We calculate a certain mean-value of meromorphic functions by using specific ergodic transformations, which we call affine Boolean transformations. We use Birkhoff's ergodic theorem to transform the mean-value into a computable integral…

We investigate the behavior of the Euler products of the Riemann zeta function and Dirichlet L-functions on the critical line. A refined version of the Riemann hypothesis, which is named "the Deep Riemann Hypothesis" (DRH), is examined. We…

Our objective in the present work is to develop a fairly complete arithmetic theory of critical $p$-adic $L$-functions on the eigencurve. To this end, we carry out the following tasks: a) We give an "\'etale" construction of Bella\"iche's…

Zeros of the Riemann zeta function and its derivatives have been studied by many mathematicians. Among, the number of zeros and the distribution of the real part of non-real zeros of the derivatives of the Riemann zeta function have been…

One of the main objectives of the current paper is to revisit the well known Laurent series expansions of the Riemann zeta function $\zeta(s)$, Hurwitz zeta function $\zeta(s,a)$ and Dirichlet $L$-function $L(s,\chi)$ at $s=1$. Moreover, we…

We give a survey of Denef's rationality theorem on $p$-adic integrals, its uniform in $p$ versions, the relevant model theory, and a number of applications to counting subgroups of finitely generated nilpotent groups and conjugacy classes…

We explicitly evaluate a special type of multiple Dirichlet $L$-values at positive integers in two different ways: One approach involves using symmetric functions, while the other involves using a generating function of the values. Equating…