English

Geodesic clustering of zeros of Eisenstein series for congruence groups

Number Theory 2025-11-24 v2

Abstract

We consider a set of generators for the space of Eisenstein series of even weight kk for any congruence group Γ\Gamma and study the set of all of their zeros taken for Γ(1)\Gamma(1)-conjugates of Γ\Gamma in the standard fundamental domain for Γ(1)\Gamma(1). We describe (a) an upper bound κΓ+O(1/k)\kappa_\Gamma + O(1/k) for their imaginary part; (b) a finite configuration of geodesics segments to which all zeros converge in Hausdorff distance as kk \rightarrow \infty; (c) a finite set containing all algebraic zeros for all weights. The bound in (a) depends on the (non-)vanishing of a new generalization of Ramanujan sums. The proof of (b) originates in a method used to study phase transitions in statistical physics. The proof of (c) relies on the theory of complex multiplication. The results can be made quantitative for specific groups. For Γ=Γ(N)\Gamma=\Gamma(N) with 4N4 \nmid N, κΓ=1\kappa_\Gamma=1 and the zeros tend to the unit circle, whereas if 4N4 \mid N, κΓ=2\kappa_\Gamma=2 and the limit configuration includes parts of vertical geodesics and circles of radius 22. In both cases, the only algebraic zeros are at i\mathrm{i} and exp(2πi/3)\exp(2\pi \mathrm{i}/3) for sufficiently large kk. For Γ(N)\Gamma(N) with NN odd, we use finer estimates to prove a trichotomy for the exact `convergence speed' of the zeros to the unit circle, as well as angular equidistribution of the zeros as kk \rightarrow \infty.

Keywords

Cite

@article{arxiv.2509.16108,
  title  = {Geodesic clustering of zeros of Eisenstein series for congruence groups},
  author = {Sebastián Carrillo Santana and Gunther Cornelissen and Berend Ringeling},
  journal= {arXiv preprint arXiv:2509.16108},
  year   = {2025}
}

Comments

57 pages, 8 figures (v2: many small changes, based on comments of readers)