Past exam of the mathematics course of the University of Cambridge / 2014 / iii / Paper 23 / 1 / b

The weights of $E_4^3$ and $\Delta$ agree, so their ratio is invariant under the modular group. Nonvanishing of the modular discriminant on the half-plane makes the ratio holomorphic there. At an elliptic point, an invariant holomorphic function has a power series in the quotient coordinate, so the ratio descends holomorphically. At the unique modular cusp its expansion isThus it is a meromorphic function on the compact Riemann surface with precisely one pole, of order one. The degree of a nonconstant meromorphic map to the sphere equals its total pole order. It therefore has degree one, hence is a biholomorphism:This is the single-pole criterion for a spherical coordinate.

The matrix $\left(\begin{array}{cc}0& -1\\ 1& 1\end{array}\right)$ fixes $\omega$. Weight-four transformation gives $E_4(\omega )=(\omega +1{)}^4{E}_4(\omega )$, and $(\omega +1{)}^4\ne 1$. Hence $E_4(\omega )=0$ and $j(\omega )=0$. Since $j$ is a degree-one coordinate, this is a simple zero on the quotient surface. Pulled back to the half-plane it has order three, by the analytic ramification index in part (a).