gp: [N,k,chi] = [58,5,Mod(3,58)]
mf = mfinit([N,k,chi],0)
lf = mfeigenbasis(mf)
magma: // Please install CHIMP (https://github.com/edgarcosta/CHIMP) if you want to run this code
chi := DirichletCharacter("58.3");
S:= CuspForms(chi, 5);
N := Newforms(S);
sage: from sage.modular.dirichlet import DirichletCharacter
H = DirichletGroup(58, base_ring=CyclotomicField(28))
chi = DirichletCharacter(H, H._module([5]))
N = Newforms(chi, 5, names="a")
Newform invariants
sage: traces = [60,-20]
f = next(g for g in N if [g.coefficient(i+1).trace() for i in range(2)] == traces)
gp: f = lf[1] \\ Warning: the index may be different
The algebraic \(q\)-expansion of this newform has not been computed, but we have computed the trace expansion .
For each embedding \(\iota_m\) of the coefficient field, the values \(\iota_m(a_n)\) are shown below.
For more information on an embedded modular form you can click on its label.
gp: mfembed(f)
Refresh table
This newform subspace can be constructed as the kernel of the linear operator
\( T_{3}^{60} - 16 T_{3}^{59} + 128 T_{3}^{58} - 3236 T_{3}^{57} - 15962 T_{3}^{56} + 428612 T_{3}^{55} + \cdots + 26\!\cdots\!56 \)
T3^60 - 16*T3^59 + 128*T3^58 - 3236*T3^57 - 15962*T3^56 + 428612*T3^55 - 4260254*T3^54 + 44165132*T3^53 + 1613025853*T3^52 - 10461259270*T3^51 + 232356063046*T3^50 - 7699381348090*T3^49 + 725835554604*T3^48 + 2325366498918072*T3^47 - 16213505984428034*T3^46 + 69057132704853000*T3^45 + 3379783678566504157*T3^44 - 22526071409844268526*T3^43 + 846753974435322000772*T3^42 - 15464449382906842815178*T3^41 - 169695881503784599883242*T3^40 + 4147688667619475315467612*T3^39 - 26103735556783339789786174*T3^38 + 333326597982103759827796578*T3^37 + 1617791069215754804283647691*T3^36 - 91912958918266695800973173780*T3^35 + 1080542817333877253147495754154*T3^34 - 11853074248371493481834313004142*T3^33 + 95797111481970246239700607507262*T3^32 - 138091744728761249863813224840500*T3^31 - 1527560666126127388749454895086458*T3^30 + 5795787794413715339281203074027754*T3^29 - 16727756397007824982591826180554807*T3^28 - 2004472722283402182617245301513559744*T3^27 + 22920148169342230678789233609955973284*T3^26 - 37481787649236758744917385656498138754*T3^25 - 89302813808428776686130422949112451990*T3^24 + 1597703049678472637704606093068482726526*T3^23 - 26719079698486647281110910323166171260236*T3^22 - 80076117537191266143462120584229973421796*T3^21 + 1695793240394606025346934705564553338754639*T3^20 - 5255973661079187690988878370047383192464740*T3^19 + 19796411338934047523723354594743735012521000*T3^18 - 60132269608515805825350909874378965693557646*T3^17 - 182029778768534163456076275016863217178505414*T3^16 + 1122711627636684356882225149027738435111169310*T3^15 - 26588194208460330246955476476130324566926441566*T3^14 + 175445962678248535218545850136783249544379683508*T3^13 - 69595097107396742473112411817507496653791578095*T3^12 + 257508711566627723191849705329246144488869083264*T3^11 - 1126505259483656066525209765117537310901590612412*T3^10 - 60854786509498244152462365772353822224101263235428*T3^9 + 116497639099527035446637354254847146928060660195040*T3^8 - 221209760939767847995635062920336910630746583823768*T3^7 + 2708862339024913449494162681496601461549906323597640*T3^6 - 2607303493096208858309605778531117082200634672967584*T3^5 + 8026042840906975586522531599888524244798667378666304*T3^4 + 12426255518540500524524272991709303607261996233330720*T3^3 + 3063999187495204563369140074951384504019174207757792*T3^2 + 20280617360502301279422436485724481839769819179992000*T3 + 26171266882069935188605383126646604106784874952891456
acting on \(S_{5}^{\mathrm{new}}(58, [\chi])\).