This problem is closely connected to the "big images" challenge,
and could/should be treated in collaboration.
Modular forms of weight 1 over
behave completely differently
from forms of higher weights. One feature is that they are
very often NOT reductions of holomorphic modular forms.
In the course it will be explained how to compute modular
forms of weight one. By looking at the image of a weight one
form, one can often prove that it is such a non-liftable form.
So far, there are many examples over
, but only one
example for an odd prime,
namely for
.