The Divisor Matrix, Dirichlet Series and SL(2,Z), II
Peter Sin, John G. Thompson
备注：
11 pages.v8 is a minor revison of v7. The paper (v7 on) has different content from the earlier paper (v1-5) of the same title. The earlier versions were combined with 0712.0837
We examine an elliptic curve constructed in an earlier paper from a certain representation of $\SL(2,\Z)$ on the space of convergent Dirichlet series. The curve is observed to be a modular curve for $Γ^1(15)$ and a certain orbit of modular functions is thereby associated with the Riemann zeta function. Explicit descriptions are given of these functions and of the permutation action of $\SL(2,\Z)$ on them.
In this article, we prove an asymptotic formula for mean values of long Dirichlet polynomials with higher order shifted divisor functions, assuming a smoothed additive divisor conjecture for higher order shifted divisor functions. As a consequence of this work, we prove special cases of conjectures of Conrey-Keating on mean values of long Dirichlet polynomials with higher order shifted divisor functions as coefficients.
We present several new results involving $Δ(x+U)-Δ(x)$, where $U = o(x)$ and $$ Δ(x):=\sum_{n\le x}d(n)-x\log x-(2γ-1)x $$ is the error term in the classical Dirichlet divisor problem.
Several results are obtained concerning the function $Δ_k(x)$, which represents the error term in the general Dirichlet divisor problem. These include the estimates for the integral of this function, as well as for the corresponding mean square integral. The mean square integral of $Δ_2(x)$ is investigated in detail.
We improve existing estimates of moments of the Riemann zeta function. As a consequence, we are able to derive new estimates for the asymptotic behaviour of $\sum_{N α\le x} \mathfrak{t}_k(α)$, where $N$ stands for the norm of a complex number and $\mathfrak{t}_k$ is the $k$-dimensional divisor function on Gaussian integers.
Let $d(n)$ be the number of divisors of $n$, let $$ Δ(x) := \sum_{n\le x}d(n) - x(\log x + 2γ-1) $$ denote the error term in the classical Dirichlet divisor problem, and let $ζ(s)$ denote the Riemann zeta-function. Several upper bounds for integrals of the type $$ \int_0^TΔ^k(t)|ζ(1/2+it)|^{2m}dt \qquad(k,m\in\Bbb N) $$ are given. This complements the results of the paper Ivić-Zhai [Indag. Math. 2015], where asymptotic formulas for $2\le k \le 8,m =1$ were established for the above integral.
In this article, we study the Piltz divisor problem, which is sometimes called the generalized Dirichlet divisor problem, over number fields. We establish an identity akin to Voronoï's formula concerning the error term in the Dirichlet divisor problem.
For functions defined via Dirichlet/generalized Dirichlet series in some half planes of the complex plane, we give a new simple elementary approach to obtain an Approximate Functional Equation(AFE for short) for the product of functions with explicit remainder term. We do this,using a highly generalized identity following Motohashi's approach,wherein he uses a generalisation of Dirichlet's device.We use our method to give an AFE for the product of two Dirichlet L-series corresponding to primitive Dirichlet characters with hitherto unknown estimate for its remainder term.We also consideer AFEs …
A representation of SL(2,Z) by integer matrices acting on the space of analytic ordinary Dirichlet series is constructed, in which the standard unipotent element acts as multiplication by the Riemann zeta function. It is then shown that the Dirichlet series in the orbit of the zeta function are related to it by algebraic equations.
In this series we examine the calculation of the $2k$th moment and shifted moments of the Riemann zeta-function on the critical line using long Dirichlet polynomials and divisor correlations. The present paper is concerned with the precise input of the conjectural formula for the classical shifted convolution problem for divisor sums so as to obtain all of the lower order terms in the asymptotic formula for the mean square along $[T,2T]$ of a Dirichlet polynomial of length up to $T^2$ with divisor functions as coefficients.
We prove that $$ \int_1^XΔ(x)Δ_3(x)\,dx \ll X^{13/9}\log^{10/3}X, \quad \int_1^XΔ(x)Δ_4(x)\,dx \ll_\varepsilon X^{25/16+\varepsilon}, $$ where $Δ_k(x)$ is the error term in the asymptotic formula for the summatory function of $d_k(n)$, generated by $ζ^k(s)$ ($Δ_2(x) \equiv Δ(x)$). These bounds are sharper than the ones which follow by the Cauchy-Schwarz inequality and mean square results for $Δ_k(x)$. We also obtain the analogues of the above bounds when $\D(x)$ is replaced by $E(x)$, the error term in the mean square formula for $|ζ(1/2+it)|$.
In this work we discuss Dirichlet products evaluated at Fibonacci numbers. As first applications of the results we get a representation of Fibonacci numbers in terms of Euler's totient function, an upper bound on the number of primitive prime divisors and representations of some related Euler products. Moreover, we sum functions over all primitive divisors of a Fibonacci number and obtain a non--trivial fixed point of this operation.
The effectivity up to R-linear equivalence (Dirichlet property) of pseudoeffective adelic R-Cartier divisors is a subtle problem in arithmetic geometry. In this article, we propose sufficient conditions for the Dirichlet property by using the dynamic system in the classic Arakelov geometry setting. We also give a numerical criterion of the Dirichlet property for adelic R-Cartier divisors on curves over a trivially valued field.
In this series we examine the calculation of the $2k$th moment and shifted moments of the Riemann zeta-function on the critical line using long Dirichlet polynomials and divisor correlations. The present paper begins the general study of what we call Type II sums which utilize a circle method framework and a convolution of shifted convolution sums to obtain all of the lower order terms in the asymptotic formula for the mean square along $[T,2T]$ of a Dirichlet polynomial of length up to $T^3$ with divisor functions as coefficients.
We have developed a heuristic showing that in the Dirichlet divisor problem for the almost all $n \in \mathbb{N}^{+}$: $$ R(n) \leq O(ψ(n)n^{\frac{1}{4}}) $$ where $$ R(n) = \Big\lvert \sum_{x=1}^{n}\Big\lfloor\frac{n}{x}\Big\rfloor - n\log{n} - (2γ-1)n \Big\rvert $$ and $ ψ(n) $ - any positive function that increases unboundedly as $ n \to \infty $. The result is achieved under the hypothesis: $$ \Big \{\frac{n}{x} \Big \} \sim w_x $$ where $ w_x $ is uniformly distributed over $ [0,1) $ random variable with a values set $ \{0, \frac {1} {x}, \ldots, \frac{x-1}{x} \} $ and the value accepting…
In this series of papers we examine the calculation of the $2k$th moment and shifted moments of the Riemann zeta-function on the critical line using long Dirichlet polynomials and divisor correlations. The present paper completes the general study of what we call Type II sums which utilize a circle method framework and a convolution of shifted convolution sums to obtain all of the lower order terms in the asymptotic formula for the mean square along $[T,2T]$ of a Dirichlet polynomial of arbitrary length with divisor functions as coefficients.
We explore some intersection properties of divisors associated to polarized dynamical systems on algebraic surfaces. As a consequence, we obtain necessary geometric conditions for the existence of polarizations of hyperbolic type and exhibit compactified divisors associated to automorphisms on K3 surfaces that do not have the Dirichlet property as defined by Moriwaki.
In this rather computational paper, we determine certain representation numbers of ideals in real quadratic number fields explicitly in order to obtain a representation of the associated Dirichlet series in terms of Dirichlet L-functions and a generalized divisor sum. A direct and important consequence is that the Dirichlet series has a meromorphic continuation to the whole complex plane and a simple pole at $s=2$ whose residue can be made explicit in terms of the Dirichlet L-functions and the generalized divisor sum.
We construct multiple Dirichlet series in several complex variables whose coefficients involve quadratic residue symbols. The series are shown to have an analytic continuation and satisfy a certain group of functional equations. These are the first examples of an infinite collection of unstable Weyl group multiple Dirichlet series in greater than two variables.
Let Phi be a reduced root system of rank r. A Weyl group multiple Dirichlet series for Phi is a Dirichlet series in r complex variables s_1,...,s_r, initially converging for Re(s_i) sufficiently large, that has meromorphic continuation to C^r and satisfies functional equations under the transformations of C^r corresponding to the Weyl group of Phi. A heuristic definition of such series was given in [2], and they have been investigated in certain special cases in [2-6, 11-14]. In this paper we generalize results in [13] to construct Weyl group multiple Dirichlet series by a uniform method, and …
The $j$th divisor function $d_j$, which counts the ordered factorisations of a positive integer into $j$ positive integer factors, is a very well-known arithmetic function; in particular, $d_2(n)$ gives the number of divisors of $n$. However, the $j$th non-trivial divisor function $c_j$, which counts the ordered proper factorisations of a positive integer into $j$ factors, each of which is greater than or equal to 2, is rather less well-studied. We also consider associated divisor functions $c_j^{(r)}$, whose definition is motivated by the sum-over divisors recurrence for $d_j$. After reviewin…
In this paper, we confirm a smoothed version of a recent conjecture on the variance of the k-fold divisor function in arithmetic progressions to individual composite moduli, in a restricted range. In contrast to a previous result of Rodgers and Soundararajan, we do not require averaging over the moduli. Our proof adapts a technique of S. Lester who treated in the same range the variance of the k-fold divisor function in the short intervals setting, and is based on a smoothed Voronoi summation formula but twisted by multiplicative characters. The use of Dirichlet characters allows us to extend …
We consider the upper bound of Piltz divisor problem over number fields. Piltz divisor problem is known as a generalization of the Dirichlet divisor problem. We deal with this problem over number fields and improve the error term of this function for many cases. Our proof uses the estimate of exponential sums. We also show uniform results for ideal counting function and relatively $r$-prime lattice points as one of applications.
We examine the calculation of the second and fourth moments and shifted moments of the Riemann zeta-function on the critical line using long Dirichlet polynomials and divisor correlations. Previously this approach has proved unsuccessful in computing moments beyond the eighth, even heuristically. A careful analysis of the second and fourth moments illustrates the nature of the problem and enables us to identify the terms that are missed in the standard application of these methods.
We study the variance of sums of the $k$-fold divisor function $d_k(n)$ over sparse arithmetic progressions, with averaging over both residue classes and moduli. In a restricted range, we confirm an averaged version of a recent conjecture about the asymptotics of this variance. This result is closely related to moments of Dirichlet $L$-functions and our proof relies on the asymptotic large sieve.
A simple proof of the classical subconvexity bound $ζ(1/2+it) \ll_εt^{1/6+ε}$ for the Riemann zeta-function is given, and estimation by more refined techniques is discussed. The connections between the Dirichlet divisor problem and the mean square of $|ζ(1/2+it)|$ are analysed.
For positive integers $k$ and $n$ let $σ_k(n)$ denote the sum of the $k$th powers of the divisors of $n$. Erdős and Kac asked whether, for every $k$, the number $α_k = \sum_{n\geq 1} \frac{σ_k(n)}{n!}$ is irrational. It is known unconditionally that $α_k$ is irrational if $k\leq 3$. We prove $α_4$ is irrational.
First, we define the multiple Dirichlet product and study the properties of it. From those properties, we obtain a zero-free region of a multiple Dirichlet series and a multiple Dirichlet series expression of the reciprocal of a multiple Dirichlet series.
We consider the asymptotic behavior of the mean square of truncations of the Dirichlet series of $ζ(s)^k$. We discuss the connections of this problem with that of the variance of the divisor function in short intervals and in arithmetic progressions, reviewing the recent results on this topic. Finally, we show how these results can all be proved assuming a suitable version of the moments conjecture.
Weyl group multiple Dirichlet series, introduced by Brubaker, Bump, Chinta, Friedberg and Hoffstein, are expected to be Whittaker coefficients of Eisenstein series on metaplectic groups. Chinta and Gunnells constructed these multiple Dirichlet series for all the finite root systems using the method of averaging a Weyl group action on the field of rational functions. In this paper, we generalize Chinta and Gunnells' work and construct Weyl group multiple Dirichlet series for the root systems associated with symmetrizable Kac-Moody algebras, and establish their functional equations and meromorph…
We form generating series of special divisors, valued in the Chow group and in the arithmetic Chow group, on the compactified integral model of a Shimura variety associated to a unitary group of signature (n-1,1), and prove their modularity. The main ingredient of the proof is the calculation of the vertical components appearing in the divisor of a Borcherds product on the integral model.
The manuscript reviews Dirichlet Series of important multiplicative arithmetic functions. The aim is to represent these as products and ratios of Riemann zeta-functions, or, if that concise format is not found, to provide the leading factors of the infinite product over zeta-functions. If rooted at the Dirichlet series for powers, for sums-of-divisors and for Euler's totient, the inheritance of multiplicativity through Dirichlet convolution or ordinary multiplication of pairs of arithmetic functions generates most of the results.
In this article we study analytic properties of the multiple Dirichlet series associated to additive and Dirichlet characters. For the multiple Dirichlet series associated to additive characters, the meromorphic continuation is established via obtaining translation formulas satisfied by these multiple Dirichlet series. While it seems difficult to obtain such a translation formula for the multiple Dirichlet series associated to Dirichlet characters, we rely on their intrinsic connection with the multiple Dirichlet series associated to additive characters in order to investigate their analytic c…
We prove a theorem that allows one to count solutions to determinant equations twisted by a periodic weight with high uniformity in the modulus. It is obtained by using spectral methods of $\operatorname{SL}_2(\mathbb{R})$ automorphic forms to study Poincaré series over congruence subgroups. By keeping track of interactions between multiple orbits we get advantages over the widely used sums of Kloosterman sums techniques. We showcase this with applications to correlations of the divisor functions twisted by periodic functions and the fourth moment of Dirichlet $L$-functions on the critical lin…
We evaluate some twisted fourth moment of Dirichlet $L$-functions at the central point s=1/2 and for prime moduli q. The principal tool is a careful analysis of a shifted convolution problem involving the divisor function using spectral theory of automorphic forms and bounds for bilinear forms in Kloosterman sums. Having in mind simultaneous non vanishing results, we apply the Theorem to establish an asymptotic formula of a mollified fourth moment for this family of $L$-functions
We estimate asymptotically the fourth moment of the Riemann zeta-function twisted by a Dirichlet polynomial of length $T^{\frac14 - \varepsilon}$. Our work relies crucially on Watt's theorem on averages of Kloosterman fractions. In the context of the twisted fourth moment, Watt's result is an optimal replacement for Selberg's eigenvalue conjecture. Our work extends the previous result of Hughes and Young, where Dirichlet polynomials of length $T^{\frac{1}{11}-\varepsilon}$ were considered. Our result has several applications, among others to the proportion of critical zeros of the Riemann zeta…
Estimating averages of Dirichlet convolutions $1 \ast χ$, for some real Dirichlet character $χ$ of fixed modulus, over the sparse set of values of binary forms defined over $\mathbb{Z}$ has been the focus of extensive investigations in recent years, with spectacular applications to Manin's conjecture for Châtelet surfaces. We introduce a far-reaching generalization of this problem, in particular replacing $χ$ by Jacobi symbols with both arguments having varying size, possibly tending to infinity. The main results of this paper provide asymptotic estimates and lower bounds of the expected order…
In this article we define and study convex bodies associated to linear series of adelic divisors over quasi-projective varieties that have been introduced recently by Xinyi Yuan and Shou-Wu Zhang. Restricting our attention to big adelic divisors, we deduce properties of volumes obtained by Yuan and Zhang using different convex geometric arguments. We go on to define augmented base loci and restricted volumes of adelic divisors following the works of Michael Nakamaye and develop a similar study using convex bodies to obtain analogous properties for restricted volumes. We closely follow methods …
We obtain asymptotic for the quantity $\int_0^1 \bigg|\sum_{n\le X}τ_k(n)e(nα)\bigg|dα$ where $τ_k(n) = \sum_{d_1\dots d_k = n} 1$. This follows from a quick application of the circle method. Along the way, we find minor arc bounds for the exponential sum with $τ_k$, and asymptotics for high moments of the Dirichlet kernel.
Consider the operator $E$ on arithmetic functions such that $Ef$ is the multiplicative arithmetic function defined by $(Ef)(p^a) = f(a)$ for every prime power $p^a$. We investigate the behaviour of $E^mτ_k$, where $τ_k$ is a $k$-dimensional divisor function and $E^m$ stands for the $m$-fold iterate of $E$. We estimate the error terms of $\sum_{n\le x} E^mτ_k(n)$ for various combinations of $m$ and $k$. We also study properties of $E^mf$ for arbitrary $f$ and sufficiently large $m$. Our study provides a unified approach to functions with exponential divisors. We improve special cases of the Dir…
Let $Δ(x)$ denote the error term in the Dirichlet divisor problem, and $E(T)$ the error term in the asymptotic formula for the mean square of $|ζ(1/2+it)|$. If $E^*(t) = E(t) - 2πΔ^*(t/(2π))$ with $Δ^*(x) = -Δ(x) + 2Δ(2x) - {1\over2}Δ(4x)$, then it is proved that $$ \int_0^T|E^*(t)|^3dt \ll_εT^{3/2+ε}, $$ which is (up to `$ε$' best possible) and $ζ(1/2+it) \ll_εt^{ρ/2+ε}$ if $E^*(t) \ll_εt^{ρ+ε}$.
We consider certain Dirichlet series of Selberg type, constructed from periods of automorphic forms. We study analytic properties of these Dirichlet series and show that they have analytic continuation to the whole complex plane.
