Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2021/iii/paper-137/3/b/solution

A weight-zero modular function is invariant under , so it descends uniquely through the quotient map to a meromorphic function on . Its assumed meromorphic Fourier expansion at every cusp makes the descended function meromorphic in each cusp coordinate. A meromorphic function on a compact Riemann surface is equivalently a holomorphic morphism to the Riemann sphere, sending each pole to infinity. Thus there is a morphism
with . The open quotient is dense in , so this identity also proves uniqueness.

New to topics? Read the docs here!