Gonzalo Tornaria has cleared up my confusion: Theorem 4.1 in the
undergraduate research paper is true for integer weights, but not for
half-integer weights. In particular, f(2*z) is not in M_{3/2}(8), as
was claimed. See
http://groups.google.com/group/sage-nt/browse_thread/thread/e84a0a7440625f1
Hi again,
Let M_{3/2}(N) be the space of modular forms of weight 3/2, level N
and trivial character.
It seems that the Cohen-Oesterle (CO) dimensions are too small. For
example, let
f(z) = 1 + 6*q + 12*q^2 + ...
be the (unique) basis element of M_{3/2}(4) and
g(z) = 1 + 2*q + 4*q^2 + ...
be
Hi William & David,
Thank you for your help! From:
http://magma.maths.usyd.edu.au/magma/htmlhelp/text1447.htm#14693
I see that Magma (to which I do not have access)
can answer my first question with something like:
Basis(CuspidalSubspace(HalfIntegralWeightForms(4,9/2)));
and can answer my se
I suspect that these are simple questions, but need help getting
started. Thank you!
How do I exhibit coefficients of the unique cusp form of weight 9/2,
level 4 and trivial character?
(The coefficients should be 1, -6, 12, -8, 0, 12, -48, 48, -15, ...)
How do I compute the dimension of the spa
