English

Landau and Ramanujan approximations for divisor sums and coefficients of cusp forms

Number Theory 2025-02-07 v1

Abstract

In 1961, Rankin determined the asymptotic behavior of the number Sk,q(x)S_{k,q}(x) of positive integers nxn\le x for which a given prime qq does not divide σk(n),\sigma_k(n), the kk-th divisor sum function. By computing the associated Euler-Kronecker constant γk,q,\gamma_{k,q}, which depends on the arithmetic of certain subfields of Q(ζq)\mathbb Q(\zeta_q), we obtain the second order term in the asymptotic expansion of Sk,q(x).S_{k,q}(x). Using a method developed by Ford, Luca and Moree (2014), we determine the pairs (k,q)(k,q) with (k,q1)=1(k, q-1)=1 for which Ramanujan's approximation to Sk,q(x)S_{k,q}(x) is better than Landau's. This entails checking whether γk,q<1/2\gamma_{k,q}<1/2 or not, and requires a substantial computational number theoretic input and extensive computer usage. We apply our results to study the non-divisibility of Fourier coefficients of six cusp forms by certain exceptional primes, extending the earlier work of Moree (2004), who disproved several claims made by Ramanujan on the non-divisibility of the Ramanujan tau function by five such exceptional primes.

Keywords

Cite

@article{arxiv.2109.03288,
  title  = {Landau and Ramanujan approximations for divisor sums and coefficients of cusp forms},
  author = {Alexandru Ciolan and Alessandro Languasco and Pieter Moree},
  journal= {arXiv preprint arXiv:2109.03288},
  year   = {2025}
}

Comments

43 pages, 12 tables, webpage: www.math.unipd.it/~languasc/CLM.html