gp: [N,k,chi] = [729,2,Mod(28,729)]
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("729.28");
S:= CuspForms(chi, 2);
N := Newforms(S);
sage: from sage.modular.dirichlet import DirichletCharacter
H = DirichletGroup(729, base_ring=CyclotomicField(54))
chi = DirichletCharacter(H, H._module([44]))
N = Newforms(chi, 2, names="a")
Newform invariants
sage: traces = [144,9,0,9,9,0,9,-18,0,-18,9,0,9,9,0,9,-18,0,-18,-63]
f = next(g for g in N if [g.coefficient(i+1).trace() for i in range(20)] == 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}^{144} - 9 T_{2}^{143} + 36 T_{2}^{142} - 75 T_{2}^{141} + 45 T_{2}^{140} + 144 T_{2}^{139} + \cdots + 13966276041 \)
T2^144 - 9*T2^143 + 36*T2^142 - 75*T2^141 + 45*T2^140 + 144*T2^139 - 141*T2^138 - 1413*T2^137 + 5841*T2^136 - 12471*T2^135 + 24705*T2^134 - 71928*T2^133 + 222291*T2^132 - 358074*T2^131 - 459054*T2^130 + 3754107*T2^129 - 7546878*T2^128 + 5358582*T2^127 + 8143800*T2^126 - 84808647*T2^125 + 511029918*T2^124 - 1869242166*T2^123 + 3571384905*T2^122 - 1254190041*T2^121 - 9168065208*T2^120 + 21575767797*T2^119 - 26756105868*T2^118 + 63278385579*T2^117 - 181814055651*T2^116 + 77621591412*T2^115 + 1579398522984*T2^114 - 5131956363084*T2^113 + 1215868615488*T2^112 + 34247291894397*T2^111 - 109277147696688*T2^110 + 194277629730897*T2^109 - 212375322483273*T2^108 - 272835399063888*T2^107 + 2675274564886704*T2^106 - 8349787335713427*T2^105 + 14109494414958360*T2^104 - 8106928461795456*T2^103 - 17747142769869237*T2^102 + 32177114815798440*T2^101 + 67581547853322276*T2^100 - 401770093786017957*T2^99 + 913007201849645868*T2^98 - 755060264846865558*T2^97 - 2614143314499842718*T2^96 + 13085405262337476366*T2^95 - 32792644164816859581*T2^94 + 60120637953900213978*T2^93 - 81008934048358691094*T2^92 + 50045618453590011825*T2^91 + 118553082094033013511*T2^90 - 574779690323051485743*T2^89 + 1608707985363736990902*T2^88 - 3581618035083671704248*T2^87 + 6475888072883740321962*T2^86 - 9495664143462538765812*T2^85 + 11262680674062955870995*T2^84 - 11670175822704329170413*T2^83 + 13199715613654813997640*T2^82 - 12942820257668918651646*T2^81 + 1087364770810705466766*T2^80 - 902590968320613834417*T2^79 + 53421121436569341549345*T2^78 - 197017407761805535294440*T2^77 + 619298334512280592906644*T2^76 - 1471154215714731337036689*T2^75 + 2983750934320585584088857*T2^74 - 5957038138986313767622575*T2^73 + 10942653860172466241734242*T2^72 - 18525765361167431711581734*T2^71 + 30278675610049197566094552*T2^70 - 47135307681256756274792775*T2^69 + 69138172069853759321800221*T2^68 - 93845025126542981764114668*T2^67 + 115649304058336955587453107*T2^66 - 135650273312283918059201787*T2^65 + 154258988013493031019270906*T2^64 - 158202341670004002737938944*T2^63 + 152108413926180828367333473*T2^62 - 158429919195189564144299910*T2^61 + 131995221543455443197578271*T2^60 - 108449490093385658212847835*T2^59 + 221045406940349575677287766*T2^58 - 261261539383099140808301664*T2^57 + 304172967327817492092051288*T2^56 - 633318919284658565269492803*T2^55 + 600493894002922666783737357*T2^54 - 233641120260558304091306727*T2^53 + 471538935546957018528335613*T2^52 - 637023724313943975898478733*T2^51 + 372906605252516102884191141*T2^50 - 749832648805214958028477446*T2^49 + 997784129806273523955642966*T2^48 - 539837366157255743035076988*T2^47 + 627212443166808421300567614*T2^46 - 1174758195709023238938172869*T2^45 + 1092331405140503422690359351*T2^44 - 141590144062827313946809866*T2^43 - 96068564178707278928695266*T2^42 - 424327118665966191970329762*T2^41 + 328027738754927224524415275*T2^40 - 77354140207482430015481379*T2^39 - 28105920865939977148140522*T2^38 - 112483961051180009246530884*T2^37 + 84523998634025338241117604*T2^36 + 106627650460709621309191755*T2^35 - 62623771589417715495317925*T2^34 + 14836746317519776953596724*T2^33 + 44216640608102408944427715*T2^32 + 22024342501661906771476293*T2^31 + 12431471727888231978533832*T2^30 + 9924612138352291814202762*T2^29 + 12653944439556369488252094*T2^28 + 9548595571525412675550273*T2^27 + 3125402641490875715022912*T2^26 + 1742998226147885457360612*T2^25 + 2278900117977494674693563*T2^24 + 963243241087682640151179*T2^23 - 11784565374647411184966*T2^22 + 130654669912039050672789*T2^21 + 229254527451838352408451*T2^20 + 62387227331000052555168*T2^19 - 2755375538891172905709*T2^18 + 382852081537015110804*T2^17 + 490061236130046612855*T2^16 + 316703305315248098256*T2^15 + 110361694881728333106*T2^14 - 54770121460339097832*T2^13 - 5772526011677414484*T2^12 + 2038991353079101542*T2^11 - 426090775536788139*T2^10 + 162358718421763791*T2^9 - 7401547610966790*T2^8 - 1662639327384147*T2^7 + 2264523477536547*T2^6 - 468775186039962*T2^5 + 119317100794371*T2^4 - 18422905756140*T2^3 + 2095643223198*T2^2 - 191861597457*T2 + 13966276041
acting on \(S_{2}^{\mathrm{new}}(729, [\chi])\).