English

Toy models for D. H. Lehmer's conjecture

Number Theory 2012-06-29 v2 Combinatorics

Abstract

In 1947, Lehmer conjectured that the Ramanujan τ\tau-function τ(m)\tau (m) never vanishes for all positive integers mm, where the τ(m)\tau (m) are the Fourier coefficients of the cusp form Δ24\Delta_{24} of weight 12. Lehmer verified the conjecture in 1947 for m<214928639999m<214928639999. In 1973, Serre verified up to m<1015m<10^{15}, and in 1999, Jordan and Kelly for m<22689242781695999m<22689242781695999. The theory of spherical tt-design, and in particular those which are the shells of Euclidean lattices, is closely related to the theory of modular forms, as first shown by Venkov in 1984. In particular, Ramanujan's τ\tau-function gives the coefficients of a weighted theta series of the E8E_{8}-lattice. It is shown, by Venkov, de la Harpe, and Pache, that τ(m)=0\tau (m)=0 is equivalent to the fact that the shell of norm 2m2m of the E8E_{8}-lattice is an 8-design. So, Lehmer's conjecture is reformulated in terms of spherical tt-design. Lehmer's conjecture is difficult to prove, and still remains open. In this paper, we consider toy models of Lehmer's conjecture. Namely, we show that the mm-th Fourier coefficient of the weighted theta series of the Z2\mathbb{Z}^2-lattice and the A2A_{2}-lattice does not vanish, when the shell of norm mm of those lattices is not the empty set. In other words, the spherical 5 (resp. 7)-design does not exist among the shells in the Z2\mathbb{Z}^2-lattice (resp. A2A_{2}-lattice).

Cite

@article{arxiv.0812.4643,
  title  = {Toy models for D. H. Lehmer's conjecture},
  author = {Eiichi Bannai and Tsuyoshi Miezaki},
  journal= {arXiv preprint arXiv:0812.4643},
  year   = {2012}
}

Comments

12 pages

R2 v1 2026-06-21T11:55:48.392Z