On the canonical decomposition of generalized modular functions

Abstract: The authors have conjectured (cite{KoM}) that if a normalized generalized modular function (GMF)

f

, defined on a congruence subgroup

G a m m a

, has integral Fourier coefficients, then

f

is classical in the sense that some power

f^{m}

is a modular function on

G a m m a

. A strengthened form of this conjecture was proved (loc cit) in case the divisor of

f

is emph{empty}. In the present paper we study the canonical decomposition of a normalized parabolic GMF

f = f_{1} f_{0}

into a product of normalized parabolic GMFs

f_{1}, f_{0}

such that

f_{1}

has emph{unitary character} and

f_{0}

has emph{empty divisor}. We show that the strengthened form of the conjecture holds if the first "few" Fourier coefficients of

f_{1}

are algebraic. We deduce proofs of several new cases of the conjecture, in particular if either

f_{0} = 1

or if the divisor of

f

is concentrated at the cusps of

G a m m a

.

Recommendations

Cites work

Cited in

(7)

This page was built for publication: On the canonical decomposition of generalized modular functions