LetForthe matrix lies in and satisfies . The weight-twelve transformation law for the modular discriminant gives the same factor in numerator and denominator. Hence , so is a weight-zero modular function of level .
The discriminant has no zero in the upper half-plane, so has neither zeros nor poles there. At infinity,and therefore : it has a pole of order two. The transformation givesThe Fricke involution exchanges infinity and zero, so has a zero of order two at the cusp zero.
Thus the morphism has degree two, equal to its total pole order. An isomorphism of compact Riemann surfaces has degree one. Although has genus zero, this particular morphism is therefore not an isomorphism.
Articles by others on the same topic
There are currently no matching articles.