gp: [N,k,chi] = [507,2,Mod(40,507)]
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("507.40");
S:= CuspForms(chi, 2);
N := Newforms(S);
sage: from sage.modular.dirichlet import DirichletCharacter
H = DirichletGroup(507, base_ring=CyclotomicField(26))
chi = DirichletCharacter(H, H._module([0, 2]))
N = Newforms(chi, 2, names="a")
Newform invariants
sage: traces = [180]
f = next(g for g in N if [g.coefficient(i+1).trace() for i in range(1)] == 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}^{180} + T_{2}^{179} + 23 T_{2}^{178} + 23 T_{2}^{177} + 321 T_{2}^{176} + 321 T_{2}^{175} + \cdots + 28561 \)
T2^180 + T2^179 + 23*T2^178 + 23*T2^177 + 321*T2^176 + 321*T2^175 + 3663*T2^174 + 3585*T2^173 + 36167*T2^172 + 34438*T2^171 + 324322*T2^170 + 318641*T2^169 + 2745221*T2^168 + 2644366*T2^167 + 21966446*T2^166 + 20400249*T2^165 + 169613593*T2^164 + 153800056*T2^163 + 1274564023*T2^162 + 1125874832*T2^161 + 9482116990*T2^160 + 8432333550*T2^159 + 70787357869*T2^158 + 65954168277*T2^157 + 526564977892*T2^156 + 512327303688*T2^155 + 3770537955111*T2^154 + 3705078071312*T2^153 + 25524592653250*T2^152 + 24567120836305*T2^151 + 163428177281702*T2^150 + 152870154670542*T2^149 + 1003231015401278*T2^148 + 929713861481441*T2^147 + 6038584167804037*T2^146 + 5830241327111021*T2^145 + 36321196882047703*T2^144 + 37836881139442015*T2^143 + 217953287164383989*T2^142 + 246090793801290305*T2^141 + 1286175541141602449*T2^140 + 1522379446976070883*T2^139 + 7308903728598373213*T2^138 + 8716961561681174672*T2^137 + 39837793350102302617*T2^136 + 46859580512318120670*T2^135 + 208793363049682878661*T2^134 + 239790538143799241265*T2^133 + 1046510337979986969533*T2^132 + 1159350446205359488056*T2^131 + 4921692836076915505530*T2^130 + 5207188522373711407974*T2^129 + 21634912111241693478805*T2^128 + 21998130713464527182291*T2^127 + 89626936227024968519445*T2^126 + 89045715282022515905162*T2^125 + 354023138631061084523656*T2^124 + 345419461748299016015141*T2^123 + 1334444336074452931741709*T2^122 + 1268812037902218479386201*T2^121 + 4815631396872773630712451*T2^120 + 4384986188948363063008006*T2^119 + 16687087150113041352069132*T2^118 + 14678811449932091206631095*T2^117 + 56650014304890178154524970*T2^116 + 47978542085452137673326869*T2^115 + 191556679586377021045972179*T2^114 + 151941272746147448908839410*T2^113 + 652771865453851450834024780*T2^112 + 447609410313941145936800684*T2^111 + 2196440273834084394527565677*T2^110 + 1293365950671861611997474778*T2^109 + 7074234283956912865293061578*T2^108 + 3974861836322765857968554587*T2^107 + 20944297605789069024139019855*T2^106 + 12756116973431150475767907795*T2^105 + 58858181851933419306541176853*T2^104 + 38891218857885054418529319858*T2^103 + 167316946070871861495709488924*T2^102 + 95969318196887700532100476144*T2^101 + 493489740253286952856312974318*T2^100 + 186831562517729774373697406190*T2^99 + 1432567695801556463659107049263*T2^98 + 282161402218138329758223832487*T2^97 + 3872261934312375852820956724394*T2^96 + 407156346349513510512759942010*T2^95 + 9848524994093800682377830403610*T2^94 + 929022206755073712173713399053*T2^93 + 25393588455419483542465539944174*T2^92 + 2689441507628867885077819075517*T2^91 + 63291062719997594786866879474735*T2^90 + 8837369017499636704655821295325*T2^89 + 151261713554045390852119214050058*T2^88 + 12675401846922652015958714948549*T2^87 + 364612639467819844545113499662349*T2^86 - 11706679290384864324566256644321*T2^85 + 854676883179265898076756126547861*T2^84 - 96375591331070593521040490025999*T2^83 + 1907787036771596184970610214897022*T2^82 - 406485846651285915846491470065287*T2^81 + 4237094518835919913442228320118189*T2^80 - 1414889013183374941719284939530698*T2^79 + 9083442769109515438652494798512303*T2^78 - 3837600503883983885471922573454169*T2^77 + 18310756745009345684559365053619388*T2^76 - 8240395799352340499370440727596394*T2^75 + 34526628204652131758279604789136872*T2^74 - 14656553115971599714195972928860959*T2^73 + 59982724272401574968257563807240138*T2^72 - 19784393720295089231495253320588641*T2^71 + 97230491883066652910181753021856897*T2^70 - 12093465096681934831091901183218929*T2^69 + 150253082333725527517518240697809035*T2^68 + 16746473568316890537461364557352609*T2^67 + 211095238550685042328347402534362357*T2^66 + 59932645092129024175503787316263525*T2^65 + 264017282541137875207917301818720732*T2^64 + 117715122659238203874560122417158912*T2^63 + 328042246357004577242568853332389118*T2^62 + 208665346378070289332541469652503521*T2^61 + 416133117709445726288696235254756468*T2^60 + 292289301079657386053550528115393661*T2^59 + 436761270803908886068809809175686353*T2^58 + 285859175202918378771285437469752248*T2^57 + 413163078190912971972842538731578243*T2^56 + 272539256932446069948336932782711081*T2^55 + 356494556390666987263407209031529796*T2^54 + 201500863558453675824578836743335146*T2^53 + 234234410372599096494235098310049611*T2^52 + 80054553340241543089667330161252608*T2^51 + 133625019891959532959770914549936770*T2^50 + 47673883824058188141951187908389151*T2^49 + 136221705948806210374323500811441853*T2^48 + 43773098597949295120397027779587348*T2^47 + 113979771643684242164951265332811662*T2^46 + 71312296697630832424311547982587136*T2^45 + 117981417507187658462700796025421608*T2^44 + 71244811460475008081962008931447289*T2^43 + 73311700029180838358231909152172545*T2^42 + 58695948642466620650194539220672247*T2^41 + 53748712173259394948721066293488301*T2^40 + 26511502884035843656050421337520458*T2^39 + 25553318535205663721411822570207255*T2^38 + 13898955018865520202151221278963977*T2^37 + 9146783130205036745069318518372025*T2^36 + 4840689467867670745257046120719781*T2^35 + 1885023634376636601776770684531624*T2^34 + 1276478624848618246321138010899787*T2^33 + 681860004825075408081493448693781*T2^32 + 169795088373986997311687145500379*T2^31 + 181129682039206307065246651990628*T2^30 + 41540566631545804428673809467310*T2^29 + 32178818539906807996780987350826*T2^28 + 7205511781919146055784147868599*T2^27 + 7372545923743363303637191901419*T2^26 - 27843737726618304005514905165*T2^25 + 1468092455177096329295181648454*T2^24 - 11247959424181027345478401474*T2^23 + 166967739132745045011776620088*T2^22 - 15962544230387482778210327180*T2^21 + 30943371996527298101706994380*T2^20 - 8194365276708929490335839143*T2^19 + 4271742095898943390198430034*T2^18 - 1027209362784936485036225980*T2^17 + 294663768034581064302556555*T2^16 - 54206020987249910195793259*T2^15 + 9555984814629659361500493*T2^14 - 1241892806456271482988397*T2^13 + 124987925789936081647021*T2^12 - 8111481865457104394884*T2^11 + 306207344379840797751*T2^10 - 1177043105820836215*T2^9 - 379034676350342129*T2^8 + 16285014381273326*T2^7 - 78765401616772*T2^6 - 5591720848090*T2^5 + 212730439324*T2^4 - 7505345263*T2^3 + 204668126*T2^2 + 5540834*T2 + 28561
acting on \(S_{2}^{\mathrm{new}}(507, [\chi])\).