gp: [N,k,chi] = [261,3,Mod(10,261)]
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("261.10");
S:= CuspForms(chi, 3);
N := Newforms(S);
sage: from sage.modular.dirichlet import DirichletCharacter
H = DirichletGroup(261, base_ring=CyclotomicField(28))
chi = DirichletCharacter(H, H._module([0, 23]))
N = Newforms(chi, 3, names="a")
Newform invariants
sage: traces = [120,0]
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_{2}^{120} - 298 T_{2}^{116} + 64847 T_{2}^{112} - 449470 T_{2}^{110} - 13161037 T_{2}^{108} + \cdots + 11\!\cdots\!21 \)
T2^120 - 298*T2^116 + 64847*T2^112 - 449470*T2^110 - 13161037*T2^108 + 133942060*T2^106 + 2659220537*T2^104 - 17303385736*T2^102 - 380090414396*T2^100 + 2753449862800*T2^98 + 62848006229595*T2^96 - 236006727808096*T2^94 - 6362290826010288*T2^92 + 40915936900753236*T2^90 + 700885253604394061*T2^88 - 6059424132899347798*T2^86 - 68053176438538187930*T2^84 + 466321779196130088378*T2^82 + 4728817033948570050403*T2^80 - 16654244431541124836764*T2^78 - 274784519033820055872970*T2^76 + 378119987306975849205298*T2^74 + 16673959551190097227859009*T2^72 - 31512907341557960147498662*T2^70 - 414831667240038604810253105*T2^68 + 194493872020137815146550704*T2^66 + 26552485215337133074518016442*T2^64 - 140374881916588847877757926896*T2^62 - 67530285050919215892938567524*T2^60 - 189214885673946276587315772396*T2^58 + 15463179707233355648917804937763*T2^56 - 4812869568842788910948084293308*T2^54 - 370703096740742306727670819954745*T2^52 + 992280362770757665094249499066908*T2^50 + 2333427192703055188406507615639626*T2^48 - 17145601742649089206432579692769882*T2^46 + 7848498355126866085813096134009922*T2^44 + 118638114423106508313441374495985464*T2^42 - 98805885934136752749646680450892188*T2^40 - 506371833969251874596831921035933218*T2^38 + 705528517773710500857520091595618670*T2^36 + 1661664854147987290900147601041649884*T2^34 - 1894908256281873896232344911862798826*T2^32 - 1914720000497185163324754553801177092*T2^30 + 4081336895322516168102303149048690400*T2^28 + 1726461931328366520300266196501853910*T2^26 - 1213496849925723489872465033645951596*T2^24 - 987549804867262630113060111058854246*T2^22 + 1381656873302901701794157854040828048*T2^20 + 2057323983887592444252953744235316534*T2^18 + 1242249622985695392750578179040903042*T2^16 + 377375641125861244735578755865902628*T2^14 + 55547357385191628649218011255110003*T2^12 + 3694624195677267844333484462999896*T2^10 + 141188812171350821076236005152704*T2^8 - 11216374955679997446653833801642*T2^6 + 217266806426411738194517344948*T2^4 - 2145089694126867990171189156*T2^2 + 11998021584517316356728721
acting on \(S_{3}^{\mathrm{new}}(261, [\chi])\).