The image and kernel of Atkin's _{ operator modulo
We compute the image of Atkin's Up operator on reduced modular forms. If A 1 and 2 B p 1, then Up MAp+B (G1(N) MA+B (G1(N) is a surjection. In particular, the dimension of kerUp is known for weights at least p+ 2.