Distribution of Kaneko's val function
Kaneko's val function is defined as the normalized cycle integral of the elliptic modular $j$-function along closed geodesics on the modular surface. We prove that, when primitive hyperbolic conjugacy classes are ordered by geodesic length, its values concentrate at the single point 720. More generally, an analogous co...