gp: [N,k,chi] = [864,2,Mod(109,864)]
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("864.109");
S:= CuspForms(chi, 2);
N := Newforms(S);
sage: from sage.modular.dirichlet import DirichletCharacter
H = DirichletGroup(864, base_ring=CyclotomicField(8))
chi = DirichletCharacter(H, H._module([0, 7, 0]))
N = Newforms(chi, 2, names="a")
Newform invariants
sage: traces = [128,0,0,0,0,0,0,0,0,16]
f = next(g for g in N if [g.coefficient(i+1).trace() for i in range(10)] == 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_{5}^{128} - 512 T_{5}^{122} + 205312 T_{5}^{120} - 113408 T_{5}^{118} + 131072 T_{5}^{116} + \cdots + 28\!\cdots\!96 \)
T5^128 - 512*T5^122 + 205312*T5^120 - 113408*T5^118 + 131072*T5^116 - 84445440*T5^114 + 14102444544*T5^112 - 20464036352*T5^110 + 22756098048*T5^108 - 3023489709568*T5^106 + 401195370158080*T5^104 - 845890156327936*T5^102 + 913792720601088*T5^100 - 21649275756576768*T5^98 + 5054206908915765504*T5^96 - 10653820966509010944*T5^94 + 10608749434979483648*T5^92 + 30804190068458569728*T5^90 + 31154758219850308288512*T5^88 - 53890942806429690183680*T5^86 + 44790401957334257106944*T5^84 + 319509202366744187322368*T5^82 + 97730435006051340229771264*T5^80 - 127644882444609886726946816*T5^78 + 76161420680630185587376128*T5^76 - 675207144223272122744471552*T5^74 + 148829763092901572663252221952*T5^72 - 175279901139330021360625975296*T5^70 + 98368042095053220847063924736*T5^68 - 2930705879005396798086127288320*T5^66 + 101128910346509231199163418959872*T5^64 - 151453716474669398321096876359680*T5^62 + 136798606243261561669648218324992*T5^60 - 1940582936538770785388190008082432*T5^58 + 28179199678046134984343605886320640*T5^56 - 60322090300553368625527617179615232*T5^54 + 74442774199647339354523465441869824*T5^52 - 263243547386630836401024906573119488*T5^50 + 2421742995477364386905147453606985728*T5^48 - 6179686291299384794572856485595840512*T5^46 + 8428086912766798702425407237885263872*T5^44 - 6609029606885233789240844916891844608*T5^42 + 24465562420429611894106211103585337344*T5^40 - 60790621958268685531932106019766796288*T5^38 + 83679848214038949619770097196972638208*T5^36 - 48207296264449167113083514491668267008*T5^34 + 31580152287183092275531643040966901760*T5^32 - 57372385750197213525743434754737307648*T5^30 + 90416918455393406436429288323139239936*T5^28 - 47589375782121124725867667473536385024*T5^26 + 7204126805637741254817065654399533056*T5^24 + 6954250127422603173448197677097418752*T5^22 + 2373184789067757697492117642259988480*T5^20 + 115861449607187652903026492084060160*T5^18 + 13181930742009403011677633220968448*T5^16 + 5772549962356749794519566895808512*T5^14 + 1297918195704486557163003291107328*T5^12 + 119330226076112110425754562461696*T5^10 + 5942836570840168979682465677312*T5^8 + 104315050100597905207102275584*T5^6 + 28688541669277758704844800*T5^4 - 12852453672805047772119040*T5^2 + 2878946711824242936119296
acting on \(S_{2}^{\mathrm{new}}(864, [\chi])\).