Convergence of the Zagier type series for the Cauchy kernel
Abstract
In 1975 prof. Don Zagier derived a preliminary formula for the trace of the Hecke operators acting on the space of cusp forms (5, 6). Actually, it is an expression in terms of an integral over a fundamental domain of SL2(Z). His theorem tells us that if f is a cusp form of weight k, then we can identify the Peterson scalar product of f and a certain series ωm(z1,z2, k) with the action of the Hecke operator T(m) on the function f, up to a constant that depends only on k and m. It follows that ωm(z1,z2, k) is kind of "kernel function" for the operator T(m). Don Zagier proved this theorem using the Rankin-Selberg method. Other evidence was proposed by prof. A. Levin. He suggested to construct a Cauchy kernel. Formally, the Cauchy kernel expressed by the series, which doesn't converge absolutely. The main purpose of this paper is to extend this series to the edge of convergence by analytic continuation. The second part of the paper is devoted to getting an expression for differential form of logarithm of difference of two j-invariant values |j(z1)-j(z2)|.