Baptiste on Tue, 17 Sep 2019 11:08:11 +0200


[Date Prev] [Date Next] [Thread Prev] [Thread Next] [Date Index] [Thread Index]

Coefficient field of modular forms


Hello,

I recently started to deal with modular forms in Pari/gp and I would like to get the coefficient field of a given modular form. I've found two functions that should help me:

-mfparams, which is supposed to give a list [level, weight, character, P], where P defines the extension Q(f)/Q(character);

-f.mod, which is supposed to give a polynomial P defining the extension Q(f)/Q.

I've tried to use those two methods on the Eisenstein series E := mfeisenstein(6,Mod(7,9),Mod(4,9)) and I get the following results:

? E = mfeisenstein(6,Mod(7,9),Mod(4,9));
? mfparams(E)
%2 = [81, 6, 1, y]
? E.mod
%3 = t - 1
? mfcoefs(E,10)
%4 = [Mod(0, t^2 + t + 1), Mod(1, t^2 + t + 1), Mod(-31*t - 32, t^2 + t + 1), Mod(0, t^2 + t + 1), Mod(1023*t + 31, t^2 + t + 1), Mod(3124*t - 1, t^2 + t + 1), Mod(0, t^2 + t + 1), Mod(-16806*t - 16807, t^2 + t + 1), Mod(-992*t + 31745, t^2 + t + 1), Mod(0, t^2 + t + 1), Mod(-3093*t + 96876, t^2 + t + 1)]

The problem is, mfparams(E)[4] return y, so Q(f) should be equal to Q(chi) = Q (but the coefficients of E are in Q(t)/(t^2 + t + 1)), and E.mod return t - 1, so Q(f) should be equal Q, which is again not the case.

Did I do something wrong or is this behavior really strange?

Best regards,
Baptiste