It is pointed out that the generalized Lambert series $\sum\nolimits_{n = 1}^\infty {[(n^{N-2h})/(e^{n^Nx}-1)]} $ studied by Kanemitsu, Tanigawa and Yoshimoto can be found on page 332 of Ramanujan's Lost Notebook in a slightly more general form. We extend an important transformation of this series obtained by Kanemitsu, Tanigawa and Yoshimoto by removing restrictions on the parameters N and h that they impose. From our extension we deduce a beautiful new generalization of Ramanujan's famous formula for odd zeta values which, for N odd and m > 0, gives a relation between ζ(2m + 1) and ζ(2Nm + 1). A result complementary to the aforementioned generalization is obtained for any even N and m ∈ ℤ. It generalizes a transformation of Wigert and can be regarded as a formula for ζ(2m + 1 − 1/N). Applications of these transformations include a generalization of the transformation for the logarithm of Dedekind eta-function η(z), Zudilin- and Rivoal-type results on transcendence of certain values, and a transcendence criterion for Euler's constant γ.

By combining classical techniques together with two novel asymptotic identities derived in recent work by Lenells and one of the authors, we analyse certain single sums of Riemann-zeta type. In addition, we analyse Euler-Zagier double exponential sums for particular values of Re{u} and Re{v} and for a variety of sets of summation, as well as particular cases of Mordell-Tornheim double sums.

We prove an upper bound for the fifth moment of Hecke L-functions associated to holomorphic Hecke cusp forms of full level and weight k in a dyadic interval K ≤ k ≤2K, as K → ∞. The bound is sharp on Selberg’s eigenvalue conjecture.

Let $\unicode[STIX]{x1D701}(s)$ be the Riemann zeta function. In 1929, Hardy and Littlewood proved the approximate functional equation for $\unicode[STIX]{x1D701}^{2}(s)$ with error term $O(x^{1/2-\unicode[STIX]{x1D70E}}((x+y)/|t|)^{1/4}\log |t|)$, where $-1/2<\unicode[STIX]{x1D70E}<3/2,x,y\geqslant 1,xy=(|t|/2\unicode[STIX]{x1D70B})^{2}$. Later, in 1938, Titchmarsh improved the error term by removing the factor $((x+y)/|t|)^{1/4}$. In 1999, Hall showed the approximate functional equations for $\unicode[STIX]{x1D701}^{\prime }(s)^{2},\unicode[STIX]{x1D701}(s)\unicode[STIX]{x1D701}^{\prime \prime }(s)$, and $\unicode[STIX]{x1D701}^{\prime }(s)\unicode[STIX]{x1D701}^{\prime \prime }(s)$ (in the range $0<\unicode[STIX]{x1D70E}<1$) whose error terms contain the factor $((x+y)/|t|)^{1/4}$. In this paper we remove this factor from these three error terms by using the method of Titchmarsh.

We show that if the zeros of an automorphic $L$-function are weighted by the central value of the $L$-function or a quadratic imaginary base change, then for certain families of holomorphic GL(2) newforms, it has the effect of changing the distribution type of low-lying zeros from orthogonal to symplectic, for test functions whose Fourier transforms have sufficiently restricted support. However, if the $L$-value is twisted by a nontrivial quadratic character, the distribution type remains orthogonal. The proofs involve two vertical equidistribution results for Hecke eigenvalues weighted by central twisted $L$-values. One of these is due to Feigon and Whitehouse, and the other is new and involves an asymmetric probability measure that has not appeared in previous equidistribution results for GL(2).

Since Rob Pollack and Glenn Stevens used overconvergent modular symbols to construct $p$-adic $L$-functions for non-critical slope rational modular forms, the theory has been extended to construct $p$-adic $L$-functions for non-critical slope automorphic forms over totally real and imaginary quadratic fields by the first and second authors, respectively. In this paper, we give an analogous construction over a general number field. In particular, we start by proving a control theorem stating that the specialisation map from overconvergent to classical modular symbols is an isomorphism on the small slope subspace. We then show that if one takes the modular symbol attached to a small slope cuspidal eigenform, then one can construct a ray class distribution from the corresponding overconvergent symbol, which moreover interpolates critical values of the $L$-function of the eigenform. We prove that this distribution is independent of the choices made in its construction. We define the $p$-adic $L$-function of the eigenform to be this distribution.

Katz and Sarnak predicted that the one level density of the zeros of a family of L-functions would fall into one of five categories. In this paper, we show that the one level density for L-functions attached to cubic Galois number fields falls into the category associated with unitary matrices.

We generalize a method of Conrey and Ghosh [Simple zeros of the Ramanujan $\unicode[STIX]{x1D70F}$-Dirichlet series. Invent. Math. 94(2) (1988), 403–419] to prove quantitative estimates for simple zeros of modular form $L$-functions of arbitrary conductor.

We aim to re-prove a theorem conjectured by Gauss, namely there are exactly nine imaginary quadratic fields $\mathbf{Q}(\sqrt{-q})$ with class number one: specifically the list is $q\in \{3,4,7,8,11,19,43,67,163\}$. Our method initially follows an idea of Goldfeld, but rather than using an elliptic curve of analytic rank three (provided by the Gross–Zagier theorem), we instead use an elliptic curve of analytic rank two, where this $L$-function vanishing can be proven by modular symbols rather than a difficult height formula. It is already clear that Goldfeld’s work yields a constant lower bound for the class number by such means, but unfortunately it seems that even for the best choice of elliptic curve this numerical constant is less than 1, unless one can show non-trivial cancellation in the $L$-function coefficients restricted to values taken by quadratic forms. To show the latter, we consider a specific analytic rank-two elliptic curve with complex multiplication by $\mathbf{Q}(\sqrt{-1})$, and then by adapting a result of Hooley’s regarding equi-distrbution of roots of a quadratic polynomial to varying moduli, are able to show that there is indeed sufficient coefficient cancellation, giving an effective resolution of class number one. As we use various aspects of the principal form, our proof seems inapplicable for larger class numbers. We also comment on the possibility of using spectral techniques (following Templier and Tsimerman) to show the desired coefficient cancellation, though postpone the details of this to elsewhere.

Using work of the first author [S. Bettin, High moments of the Estermann function. Algebra Number Theory 47(3) (2018), 659–684], we prove a strong version of the Manin–Peyre conjectures with a full asymptotic and a power-saving error term for the two varieties respectively in $\mathbb{P}^{2}\times \mathbb{P}^{2}$ with bihomogeneous coordinates $[x_{1}:x_{2}:x_{3}],[y_{1}:y_{2},y_{3}]$ and in $\mathbb{P}^{1}\times \mathbb{P}^{1}\times \mathbb{P}^{1}$ with multihomogeneous coordinates $[x_{1}:y_{1}],[x_{2}:y_{2}],[x_{3}:y_{3}]$ defined by the same equation $x_{1}y_{2}y_{3}+x_{2}y_{1}y_{3}+x_{3}y_{1}y_{2}=0$. We thus improve on recent work of Blomer et al [The Manin–Peyre conjecture for a certain biprojective cubic threefold. Math. Ann. 370 (2018), 491–553] and provide a different proof based on a descent on the universal torsor of the conjectures in the case of a del Pezzo surface of degree 6 with singularity type $\mathbf{A}_{1}$ and three lines (the other existing proof relying on harmonic analysis by Chambert-Loir and Tschinkel [On the distribution of points of bounded height on equivariant compactifications of vector groups. Invent. Math. 148 (2002), 421–452]). Together with Blomer et al [On a certain senary cubic form. Proc. Lond. Math. Soc. 108 (2014), 911–964] or with work of the second author [K. Destagnol, La conjecture de Manin pour une famille de variétés en dimension supérieure. Math. Proc. Cambridge Philos. Soc. 166(3) (2019), 433–486], this settles the study of the Manin–Peyre conjectures for this equation.

We study the number of non-trivial simple zeros of the Dedekind zeta-function of a quadratic number field in the rectangle $\{\unicode[STIX]{x1D70E}+\text{i}t:0<\unicode[STIX]{x1D70E}<1,0<t<T\}$. We prove that such a number exceeds $T^{6/7-\unicode[STIX]{x1D700}}$ if $T$ is sufficiently large. This improves upon the classical lower bound $T^{6/11}$ established by Conrey et al [Simple zeros of the zeta function of a quadratic number field. I. Invent. Math.86 (1986), 563–576].

In this series of papers, we explore moments of derivatives of L-functions in function fields using classical analytic techniques such as character sums and approximate functional equation. The present paper is concerned with the study of mean values of derivatives of quadratic Dirichlet L-functions over function fields when the average is taken over monic and irreducible polynomials P in 𝔽q[T]. When the cardinality q of the ground field is fixed and the degree of P gets large, we obtain asymptotic formulas for the first moment of the first and the second derivative of this family of L-functions at the critical point. We also compute the full polynomial expansion in the asymptotic formulas for both mean values.

We establish finite analogues of the identities known as the Aoki–Ohno relation and the Le–Murakami relation in the theory of multiple zeta values. We use an explicit form of a generating series given by Aoki and Ohno.

The standard twist $F(s,\unicode[STIX]{x1D6FC})$ of $L$-functions $F(s)$ in the Selberg class has several interesting properties and plays a central role in the Selberg class theory. It is therefore natural to study its finer analytic properties, for example the functional equation. Here we deal with a special case, where $F(s)$ satisfies a functional equation with the same $\unicode[STIX]{x1D6E4}$-factor of the $L$-functions associated with the cusp forms of half-integral weight; for simplicity we present our results directly for such $L$-functions. We show that the standard twist $F(s,\unicode[STIX]{x1D6FC})$ satisfies a functional equation reflecting $s$ to $1-s$, whose shape is not far from a Riemann-type functional equation of degree 2 and may be regarded as a degree 2 analog of the Hurwitz–Lerch functional equation. We also deduce some results on the growth on vertical strips and on the distribution of zeros of $F(s,\unicode[STIX]{x1D6FC})$.

We give bounds on the error in the asymptotic approximation of the log-Gamma function $\ln \unicode[STIX]{x1D6E4}(z)$ for complex $z$ in the right half-plane. These improve on earlier bounds by Behnke and Sommer [Theorie der analytischen Funktionen einer komplexen Veränderlichen, 2nd edn (Springer, Berlin, 1962)], Spira [‘Calculation of the Gamma function by Stirling’s formula’, Math. Comp.25 (1971), 317–322], and Hare [‘Computing the principal branch of log-Gamma’, J. Algorithms25 (1997), 221–236]. We show that $|R_{k+1}(z)/T_{k}(z)|<\sqrt{\unicode[STIX]{x1D70B}k}$ for nonzero $z$ in the right half-plane, where $T_{k}(z)$ is the $k$th term in the asymptotic series, and $R_{k+1}(z)$ is the error incurred in truncating the series after $k$ terms. We deduce similar bounds for asymptotic approximation of the Riemann–Siegel theta function $\unicode[STIX]{x1D717}(t)$. We show that the accuracy of a well-known approximation to $\unicode[STIX]{x1D717}(t)$ can be improved by including an exponentially small term in the approximation. This improves the attainable accuracy for real $t>0$ from $O(\exp (-\unicode[STIX]{x1D70B}t))$ to $O(\exp (-2\unicode[STIX]{x1D70B}t))$. We discuss a similar example due to Olver [‘Error bounds for asymptotic expansions, with an application to cylinder functions of large argument’, in: Asymptotic Solutions of Differential Equations and Their Applications (ed. C. H. Wilcox) (Wiley, New York, 1964), 16–18], and a connection with the Stokes phenomenon.

We approximate the Riemann Zeta-Function by polynomials and Dirichlet polynomials with restricted zeros.

Halász’s theorem gives an upper bound for the mean value of a multiplicative function $f$. The bound is sharp for general such $f$, and, in particular, it implies that a multiplicative function with $|f(n)|\leqslant 1$ has either mean value $0$, or is ‘close to’ $n^{it}$ for some fixed $t$. The proofs in the current literature have certain features that are difficult to motivate and which are not particularly flexible. In this article we supply a different, more flexible, proof, which indicates how one might obtain asymptotics, and can be modified to treat short intervals and arithmetic progressions. We use these results to obtain new, arguably simpler, proofs that there are always primes in short intervals (Hoheisel’s theorem), and that there are always primes near to the start of an arithmetic progression (Linnik’s theorem).

We finalize the analysis of the trace formula initiated in S. A. Altuğ [Beyond endoscopy via the trace formula-I: Poisson summation and isolation of special representations, Compos. Math.151(10) (2015), 1791–1820] and developed in S. A. Altuğ [Beyond endoscopy via the trace formula-II: asymptotic expansions of Fourier transforms and bounds toward the Ramanujan conjecture. Submitted, preprint, 2015, Available at: arXiv:1506.08911.pdf], and calculate the asymptotic expansion of the beyond endoscopic averages for the standard $L$-functions attached to weight $k\geqslant 3$ cusp forms on $\mathit{GL}(2)$ (cf. Theorem 1.1). This, in particular, constitutes the first example of beyond endoscopy executed via the Arthur–Selberg trace formula, as originally proposed in R. P. Langlands [Beyond endoscopy, in Contributions to Automorphic Forms, Geometry, and Number Theory, pp. 611–698 (The Johns Hopkins University Press, Baltimore, MD, 2004), chapter 22]. As an application we also give a new proof of the analytic continuation of the $L$-function attached to Ramanujan’s $\unicode[STIX]{x1D6E5}$-function.

We study the values of finite multiple harmonic $q$-series at a primitive root of unity and show that these specialize to the finite multiple zeta value (FMZV) and the symmetric multiple zeta value (SMZV) through an algebraic and analytic operation, respectively. Further, we prove the duality formula for these values, as an example of linear relations, which induce those among FMZVs and SMZVs simultaneously. This gives evidence towards a conjecture of Kaneko and Zagier relating FMZVs and SMZVs. Motivated by the above results, we define cyclotomic analogues of FMZVs, which conjecturally generate a vector space of the same dimension as that spanned by the finite multiple harmonic $q$-series at a primitive root of unity of sufficiently large degree.

A comprehensive study of the generalized Lambert series $\sum _{n=1}^{\infty }\frac{n^{N-2h}\text{exp}(-an^{N}x)}{1-\text{exp}(-n^{N}x)},0<a\leqslant 1,~x>0$, $N\in \mathbb{N}$ and $h\in \mathbb{Z}$, is undertaken. Several new transformations of this series are derived using a deep result on Raabe’s cosine transform that we obtain here. Three of these transformations lead to two-parameter generalizations of Ramanujan’s famous formula for $\unicode[STIX]{x1D701}(2m+1)$ for $m>0$, the transformation formula for the logarithm of the Dedekind eta function and Wigert’s formula for $\unicode[STIX]{x1D701}(1/N),N$ even. Numerous important special cases of our transformations are derived, for example, a result generalizing the modular relation between the Eisenstein series $E_{2}(z)$ and $E_{2}(-1/z)$. An identity relating $\unicode[STIX]{x1D701}(2N+1),\unicode[STIX]{x1D701}(4N+1),\ldots ,\unicode[STIX]{x1D701}(2Nm+1)$ is obtained for $N$ odd and $m\in \mathbb{N}$. In particular, this gives a beautiful relation between $\unicode[STIX]{x1D701}(3),\unicode[STIX]{x1D701}(5),\unicode[STIX]{x1D701}(7),\unicode[STIX]{x1D701}(9)$ and $\unicode[STIX]{x1D701}(11)$. New results involving infinite series of hyperbolic functions with $n^{2}$ in their arguments, which are analogous to those of Ramanujan and Klusch, are obtained.