(2,4,{(k-1)/4,(k+1)/4},±(-1)^(k/2))

Holomorphic, Degree 2, Level 4

Back to Degree 2, Back to the start

tex2html_wrap_inline630 has three cusps, so in general we expect the dimension of the space of modular forms to be greater by three than the space of cusp forms.

Let tex2html_wrap_inline632 denote the non-trivial character mod 4. There is a weight 1 Eisenstein series in tex2html_wrap_inline634 which is associated with

displaymath636

It is given by

eqnarray3

It is well known that if

displaymath638

then tex2html_wrap_inline640 is a modular form of weight 1 for tex2html_wrap_inline630 . In fact,

displaymath644

For weight two there are two modular forms, one with a minus and one with a plus. These can be found from the modular form tex2html_wrap_inline646 of weight two on tex2html_wrap_inline648 . Thus,

eqnarray27

and

eqnarray47

Then,

displaymath650

Also,

displaymath652

is a weight 2 form. We find that

displaymath654

These give rise to three linearly independent modular forms of weight 4:

displaymath656

Note that there are two plusses and one minus modular form of weight 4.vel4.html