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

In this paper, we compute and verify the positivity of the Li coefficients for the Dirichlet $L$-functions using an arithmetic formula established in Omar and Mazhouda, J. Number Theory 125 (2007) no.1, 50-58; J. Number Theory 130 (2010)…

We study zeta functions enumerating finite-dimensional irreducible complex linear representations of compact p-adic analytic and of arithmetic groups. Using methods from p-adic integration, we show that the zeta functions associated to…

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…

We study zeta functions enumerating subalgebras or ideals of Lie algebras over finite field of prime order $\mathbb{F}_p$. We first develop a general blueprint method for computing zeta functions of $\mathbb{F}_p$-Lie algebras, and…

The goal of this article is twofold. We first extend a result of Murty and Saradha \cite{MS} related to the digamma function at rational arguments. Further, we extend another result of the same authors \cite{MS1} about the nature of…

A formal description of a functional analysis approach to the Riemann zeta-functional equation that provides in principle an infinity of different proofs based on work by the author on the existence of dilation-invariant unitary operators…

We have established novel integral representations of the Riemann zeta-function and Dirichlet eta-function based on powers of trigonometric functions and digamma function, and then use these representations to find close forms of Laurent…

We define a p-adic character to be a continuous homomorphism from 1 + t\Fq[[t]] to \Zp^*. We use the ring of big Witt vectors over Fq to exhibit a bijection between p-adic characters and sequences (c_i) of elements in Zq, indexed by natural…

Using as starting point a classical integral representation of a L-function we define a familly of two variables extended functions which are eigenfunctions of a Hermitian operator (having imaginary part of zeros as eigenvalues). This…

In this paper, we study the mean value distributions of Dirichlet $L$-functions at positive integers. We give some explicit formulas for the mean values of products of two and three Dirichlet $L$-functions at positive integers weighted by…

In this paper, by introducing a new operation in the vector space of Laurent series, the author derived explicit series for the values of $\zeta$-funtion at positive integers, where $\zeta$ denotes the Riemann zeta function. The values of…

We believe that Euler constant is not just the "renormalized" value of the Riemann zeta function in 1. In a sense that we shall clarify it is in fact the normal and natural value of zeta of 1. In this paper we first propose a limit…

We compute explicitly Dirichlet generating functions enumerating finite-dimensional irreducible complex representations of various $p$-adic analytic and adelic profinite groups of type $\mathsf{A}_2$. This has consequences for the…

The rank one Gross conjecture for Deligne-Ribet $p$-adic $L$-functions was solved in works of Darmon-Dasgupta-Pollack and Ventullo by the Eisenstein congruence among Hilbert modular forms. The purpose of this paper is to prove an analogue…

In the study of Dirichlet series with arithmetic significance there has appeared (through the study of known examples) certain expectations, namely (i) if a functional equation and Euler product exists, then it is likely that a type of…

Let $\pi S(t)$ denote the argument of the Riemann zeta-function at the point $s=\tfrac12+it$. Assuming the Riemann hypothesis, we give a new and simple proof of the sharpest known bound for $S(t)$. We discuss a generalization of this bound…

A short proof of the generalized Riemann hypothesis (gRH in short) for zeta functions $\zeta_{k}$ of algebraic number fields $k$ - based on the Hecke's proof of the functional equation for $\zeta_{k}$ and the method of the proof of the…

We investigate the analogues of certain classical estimates of Littlewood for the Riemann zeta-function in the context of quadratic Dirichlet $L$-functions over function fields. In some situations, we are actually able to establish finer…

The aim of this paper is to provide an analogue of the Ball-Rivoal theorem for $p$-adic $L$-values of Dirichlet characters. More precisely, we prove for a Dirichlet character $\chi$ and a number field $K$ the formula…

This paper develops an analytic theory of Dirichlet series in several complex variables which possess sufficiently many functional equations. In the first two sections it is shown how straightforward conjectures about the meromorphic…