gp: [N,k,chi] = [230,4,Mod(31,230)]
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("230.31");
S:= CuspForms(chi, 4);
N := Newforms(S);
sage: from sage.modular.dirichlet import DirichletCharacter
H = DirichletGroup(230, base_ring=CyclotomicField(22))
chi = DirichletCharacter(H, H._module([0, 6]))
N = Newforms(chi, 4, names="a")
Newform invariants
sage: traces = [50,-10,-5]
f = next(g for g in N if [g.coefficient(i+1).trace() for i in range(3)] == 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}^{50} + 5 T_{3}^{49} + 143 T_{3}^{48} + 535 T_{3}^{47} + 12570 T_{3}^{46} + 51170 T_{3}^{45} + \cdots + 40\!\cdots\!69 \)
T3^50 + 5*T3^49 + 143*T3^48 + 535*T3^47 + 12570*T3^46 + 51170*T3^45 + 888071*T3^44 + 1537635*T3^43 + 54418306*T3^42 - 83826331*T3^41 + 2123611289*T3^40 - 1823478550*T3^39 + 31262506196*T3^38 + 58686281517*T3^37 + 1297673318111*T3^36 - 14508736713945*T3^35 + 154276134883695*T3^34 - 795246065800507*T3^33 + 4748907157592268*T3^32 - 27593669525665091*T3^31 + 201639976872000114*T3^30 - 1275811210517961017*T3^29 + 9052767259322138966*T3^28 - 58757938703623428679*T3^27 + 271892135063748862628*T3^26 - 1199432477814859542030*T3^25 + 9572410671736229314543*T3^24 - 41156753756208964499486*T3^23 + 57606105367697648844825*T3^22 - 230563596426011801710340*T3^21 + 1702860672930991294917203*T3^20 + 2578814859795249615768614*T3^19 - 49563376048903860263097992*T3^18 + 70305983015118623342576837*T3^17 + 1022132020513989023612447533*T3^16 - 7575868339795075183480191440*T3^15 + 28520145373648672075637393275*T3^14 - 68598689740752116772948259145*T3^13 + 111273517997900538470926884876*T3^12 - 124402026240178240432171445527*T3^11 + 167998657524950321251046065356*T3^10 - 543434869087882999392158568741*T3^9 + 1628258637071380752963057934542*T3^8 - 3218780261672656847518169890605*T3^7 + 4146820719409643079511569509811*T3^6 - 3292817007503626657319989590078*T3^5 + 1373738220416263030273398509951*T3^4 - 20991498712089326597826916578*T3^3 + 98852270705101641540880126262*T3^2 + 15608889964347500014530679006*T3 + 4046331866104762427062448569
acting on \(S_{4}^{\mathrm{new}}(230, [\chi])\).