Modular Cauchy kernel corresponding to the Hecke curve

Publication date 30 December 2019

Abstract: In this paper we construct the modular Cauchy kernel

X i_{N} (z_{1}, z_{2})

, i.e. the modular invariant function of two variables,

(z_{1}, z_{2}) i n m a t h b b H i m e s m a t h b b H

, with the first order pole on the curve

D_N=left{(z_1, z_2) in mathbb{H} imes mathbb{H}|~ z_2=gamma z_1, ~gamma in Gamma_0(N) ight}.

The function

X i_{N} (z_{1}, z_{2})

is used in two cases and for two different purposes. Firstly, we prove generalization of the Zagier theorem ([La], [Za3]) for the Hecke subgroups

G a m m a_{0} (N)

of genus

g > 0

. Namely, we obtain a kind of "kernel function" for the Hecke operator

T_{N} (m)

on the space of the weight 2 cusp forms for

G a m m a_{0} (N)

, which is the analogue of the Zagier series

. Secondly, we consider an elementary proof of the formula for the infinite Borcherds product of the difference of two normalized Hauptmoduls,

J_{G a m m a_{0} (N)} (z_{1}) - J_{G a m m a_{0} (N)} (z_{2})

, for genus zero congruence subgroup

G a m m a_{0} (N)

.

Recommendations

Cites work

Cited in

(3)

This page was built for publication: Modular Cauchy kernel corresponding to the Hecke curve