English

Sums of squares and sequences of modular forms

Number Theory 2024-07-04 v1

Abstract

Let hn(v)h_n(v) be the sequence of rational functions with hn(v)vnhn(v)+(n1)hn1(v)vhn1(v)+v(v(vhn1(v)))4=0 \frac{h_n(v)}{v}-nh_n(v)+(n-1)h_{n-1}(v)-vh_{n-1}'(v)+\frac{v(v(vh_{n-1}(v))')'}{4}=0 for n>0n>0 and h0(v)=1h_0(v)=1. We prove that hn(v)h_n(v) has a pole at v=1nv=\frac{1}{n} if and only if nn is a sum of two squares of integers. Moreover, if r2(n)=#{(a,b)Z2:a2+b2=n}r_2(n)=\#\{(a,b)\in \mathbb Z^2: a^2+b^2=n\}, then we derive the formula Resv=1/nhn(v)=(1)n1r2(n)n16n. \underset{v=1/n}{\mathrm{Res}}h_n(v)=\frac{(-1)^{n-1}r_2(n)}{n16^n}. The results are then generalized to arbitrary modular forms with respect to Γ(2)\Gamma(2) and as a consequence we obtain a new criterion for Lehmer's conjecture for Ramanujan's τ\tau-function.

Keywords

Cite

@article{arxiv.2407.03002,
  title  = {Sums of squares and sequences of modular forms},
  author = {Alexander Kalmynin},
  journal= {arXiv preprint arXiv:2407.03002},
  year   = {2024}
}