gp: [N,k,chi] = [216,2,Mod(11,216)]
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("216.11");
S:= CuspForms(chi, 2);
N := Newforms(S);
sage: from sage.modular.dirichlet import DirichletCharacter
H = DirichletGroup(216, base_ring=CyclotomicField(18))
chi = DirichletCharacter(H, H._module([9, 9, 13]))
N = Newforms(chi, 2, names="a")
Newform invariants
sage: traces = [192]
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_{5}^{192} + 6 T_{5}^{190} - 9 T_{5}^{188} + 13251 T_{5}^{186} + 71217 T_{5}^{184} + \cdots + 23\!\cdots\!36 \)
T5^192 + 6*T5^190 - 9*T5^188 + 13251*T5^186 + 71217*T5^184 - 265887*T5^182 + 109930617*T5^180 + 549861669*T5^178 - 3162747618*T5^176 + 549087321960*T5^174 + 2237664268611*T5^172 - 26089124418720*T5^170 + 1958888367959202*T5^168 + 6918790810969530*T5^166 - 108929126713396158*T5^164 + 5000962191290782119*T5^162 + 16108580269285277814*T5^160 - 304937442331818395607*T5^158 + 9580206359671101461475*T5^156 + 31188904260025064094567*T5^154 - 564299173206475842761298*T5^152 + 13342756525252106715505701*T5^150 + 46149905596581355714838946*T5^148 - 718181222795697078180389709*T5^146 + 14093435669816943057656700477*T5^144 + 50720775554573022574616264604*T5^142 - 644277564758316131270859201867*T5^140 + 10972434253713904175964452903430*T5^138 + 42653302887626566687100474678952*T5^136 - 411168601982667532019189701693437*T5^134 + 6476396445196460553288737904429051*T5^132 + 26666737214554015482683067958127196*T5^130 - 187841135003700591404264928653293617*T5^128 + 2822724922530363999391853633446862121*T5^126 + 12577353109994862846633175497808604280*T5^124 - 57756492248722529407079786159141387880*T5^122 + 950957365611915628844022108061669287090*T5^120 + 4326808171630788585568697049470769580899*T5^118 - 11560110906638190210118987984291206042660*T5^116 + 250882111809587214879855479948191058718390*T5^114 + 1153580069297379529120353739308063828151452*T5^112 - 1142696332903243676276001675498983793889668*T5^110 + 53016361799712364708110003370082968335441375*T5^108 + 236493989498994483691732051598362639712472231*T5^106 + 93822857159548822787209965613097318561079252*T5^104 + 9025096422208382471555752438034540316985989312*T5^102 + 38499186625820565791141638607433437348930491281*T5^100 + 58985738056250817560125680913734446238303673929*T5^98 + 1236142211341739458428005681095755554510727363666*T5^96 + 4872333979651256252101731308266117469507481530595*T5^94 + 11708036096037925010874010786847571373810355803227*T5^92 + 134313339810487202124597452425347203911594302563190*T5^90 + 486008245575042362406897095346651022434466217302440*T5^88 + 1448372445682970774228397109960075008086067255291420*T5^86 + 11263481826406121320858011324609177432502598265287313*T5^84 + 36539374257692380891937958420326441735862459753124266*T5^82 + 121662677069547308422031433863552923421205606271607166*T5^80 + 701097734296614108505955487691178368095046209501180579*T5^78 + 2076851442700245827080736110178781881086217349046435680*T5^76 + 7144265421147464028294614060254191125243686900112825376*T5^74 + 31588850876326017845040663732483253791499870300711130607*T5^72 + 84345774984009151130244146255057743211919407463332367642*T5^70 + 282986436299118213442953532618511085754899567535833350280*T5^68 + 940815935451433997811833984895093386020209797449973562648*T5^66 + 2441849844995192120358950256267196035681807789058988241732*T5^64 + 6979434496667420369614958493245575985127227688753696188799*T5^62 + 19208835137788294760392619755667919579757083694138051919997*T5^60 + 44472429800441211564990271854647385635013027230212891129881*T5^58 + 100741553340895669199483477894246677129508827728326148858678*T5^56 + 212830276622508589120688655708914830515011069313172384376442*T5^54 + 369254553849605834486093907536177618343557946513499090672872*T5^52 + 550949498595001932603606752100798693064787686736391142750518*T5^50 + 729848870986232305893498622300633944049858120633449132330342*T5^48 + 741990992042857496707167335810595983445660422229196956480507*T5^46 + 501285979037862323868123463618601155798546008205898024364522*T5^44 + 263879781228661732958160800620689873149016752882251321748577*T5^42 + 169353350788730903093324918626758209229684790834208358247689*T5^40 + 65201284165500554334510180652323917882291181797928210858591*T5^38 + 3131089502317302400657595026248459834291785075124667724547*T5^36 + 50751551570158173017626622465368262323510046620885492065465*T5^34 + 43375941842205260917624584383953348383454360917126097995723*T5^32 - 12177439097594852861230771966303246600883041089209088417090*T5^30 - 7815546839271243776128310448637865077447861845388229551518*T5^28 + 6703275071292248898813099893735360602169312405682511160271*T5^26 + 794723140971345439595915125194402337945591975415161696497*T5^24 - 1232800186975162940629230425766343982065273048640213701569*T5^22 + 303573329622509316050951761271380453633177427051826529533*T5^20 + 66657951447797638944525919299099316933787779931525091042*T5^18 - 49702174225686955409789251998153539292255847061176040337*T5^16 + 10081017810065092526502376872860151427796701767317632125*T5^14 + 1462437131930742950843026711467997882566046023921083205*T5^12 - 1340597788572319114487690336767417103533566081896750580*T5^10 + 391211969595092587406302211757522315771791287037907840*T5^8 - 64739120797072726816031546904455143619478964057121664*T5^6 + 6963041588873149562504419274938301987406449163942912*T5^4 - 470932083924641512613105328047725456046600191021056*T5^2 + 23652685943700786815200570962559798509191095259136
acting on \(S_{2}^{\mathrm{new}}(216, [\chi])\).