Properties

Label 1.56
Level 1
Weight 56
Dimension 4
Nonzero newspaces 1
Newform subspaces 1
Sturm bound 4
Trace bound 0

Downloads

Learn more

Defining parameters

Level: \( N \) = \( 1 \)
Weight: \( k \) = \( 56 \)
Nonzero newspaces: \( 1 \)
Newform subspaces: \( 1 \)
Sturm bound: \(4\)
Trace bound: \(0\)

Dimensions

The following table gives the dimensions of various subspaces of \(M_{56}(\Gamma_1(1))\).

Total New Old
Modular forms 5 5 0
Cusp forms 4 4 0
Eisenstein series 1 1 0

Trace form

\( 4 q + 208622520 q^{2} - 6821470691280 q^{3} + 38727758778743872 q^{4} + 14396937963387167160 q^{5} + 201756545247712015008 q^{6} - 205529376090660565972000 q^{7} + 4549274472651430619082240 q^{8} + 47936416820074569958974228 q^{9} + O(q^{10}) \) \( 4 q + 208622520 q^{2} - 6821470691280 q^{3} + 38727758778743872 q^{4} + 14396937963387167160 q^{5} + 201756545247712015008 q^{6} - 205529376090660565972000 q^{7} + 4549274472651430619082240 q^{8} + 47936416820074569958974228 q^{9} + 4648305821937663379975180560 q^{10} + 19492148713537948248062043408 q^{11} + 512487561854224962046873117440 q^{12} - 4449970852951030370486873382760 q^{13} - 28356223847864660359303625873856 q^{14} + 248797810922527062710720195548320 q^{15} + 972748533533952319807553436258304 q^{16} + 8593971071724377583839140954773960 q^{17} + 38459068061903712495232732227386520 q^{18} + 339485321922051504109099704484079600 q^{19} + 2938981710383707492522432611899614080 q^{20} + 9223279286409457932469393248481185408 q^{21} + 38006076575943531891094535037919254240 q^{22} + 49808560358713761517710452453445612960 q^{23} + 190807152467783159198396962175734425600 q^{24} + 35720819629535961214417161732721803100 q^{25} - 2942801473325677064443328059884451887792 q^{26} - 8530982134391103993322927255258361598240 q^{27} - 14225688489857344137508473549032747368960 q^{28} - 18313921252535508838816178753292620581800 q^{29} + 81282391149812883221152750335721388925120 q^{30} + 228069689399145752868860523834729264526208 q^{31} + 633346612507316231430506989727883716689920 q^{32} + 847291303346996712726357318732333414939840 q^{33} + 896637942332031893460273084285964132034544 q^{34} - 4819663438502339394117495448236020975855040 q^{35} - 23127427661252023416447691458638107482530496 q^{36} - 32137889117062584203203089731106089299166920 q^{37} - 4952027966320588944657713384757782381142240 q^{38} + 66999829160538184499173080943184361764833056 q^{39} + 423453117316016459693780561000308646880691200 q^{40} + 246756563007211451240604479433521241061314408 q^{41} + 507527523766486022631274034521150794413218560 q^{42} - 860266067148440101585711757682636198922476400 q^{43} - 486680632760661386186662626683912868907405056 q^{44} - 9558583136774695571527888760209735674807045480 q^{45} - 12358385464441662606619414449724307588901916992 q^{46} + 4275321492760062770492681289130578251551314240 q^{47} + 19765938683883854374252413540295783983351644160 q^{48} + 51896265177052512954332052101694146860214382372 q^{49} + 174698296445912937700335126041507926720149534600 q^{50} + 114739625474091768829327173325517597576905389408 q^{51} - 262201419493851260177411503538061050352769552000 q^{52} - 488469552022263686716757080744643106633189705480 q^{53} - 1343912975841315509587669615741882301086568894400 q^{54} - 127591926326749967084952696035933816282025595680 q^{55} - 298136165704261759300184058675155027135738572800 q^{56} + 1638420796018602848713747835626091496488772083520 q^{57} + 6079853356051584053436052229523762232408341938640 q^{58} + 8189687634125713603536212764174920044680103250000 q^{59} + 10139666510723475640830884157120900147903797660160 q^{60} + 7023917261975601941077275556050474243839244469208 q^{61} - 30522733021551585983790682957575295692580599279360 q^{62} - 71978335814893755132347187478401614601601405967520 q^{63} - 98185742120493275625308720675268779449265392713728 q^{64} - 96029582501479027321081622269423947602394832060080 q^{65} + 64231534245847760638155838044250061298414536370816 q^{66} + 418567852430847740316243536772383918093566302547760 q^{67} + 627327947371921816104248533416688222149537051169920 q^{68} + 515735918068902691862050107073617954531351228253056 q^{69} - 471522968288511321788110491009215619195633708224640 q^{70} + 997985577607888605538672501225224229003742837277408 q^{71} - 4304125570291567284830418802698753913226780601899520 q^{72} - 898993596628095916013292323795403905388680301942040 q^{73} - 7967044320232055682477818350544716808849477162563056 q^{74} + 5296014974156672466059853856400507071088579916421200 q^{75} - 60907940015267454915614913374117951647840510009600 q^{76} + 14299054939611075432133092801777785333545282382563200 q^{77} + 396845629416952247715668693426892670455525504984000 q^{78} + 48721021140002244303635330301073120621076057627153600 q^{79} - 3558308494035098045228661758379879929555981454090240 q^{80} + 62764174850641400333291315844329697377153438426256804 q^{81} - 164154584875013842045822252535546173951453621276929360 q^{82} - 71840759606517399895238320212650236559070020961691920 q^{83} - 315751105587523254185006931474478000838644134120953856 q^{84} + 248899912487828257920888533066500872415304578192331760 q^{85} - 390961799675414150209662123589235297185712905683496992 q^{86} + 793070552989118953410697424048823657459134846084789280 q^{87} + 263660200754753376218335161392938332564087458967828480 q^{88} + 1567987214275383302209606514592359147814765036271890600 q^{89} - 1212078526300174060358044731623232837611704141954645680 q^{90} + 1660326344231373069708515805926098978407334056523187008 q^{91} - 2737928811190126698927829997086921657569438136581219840 q^{92} - 1148699655429559764317569984734958616523316649999439360 q^{93} - 4092215382133552783473757354682502518415689822573629056 q^{94} + 90834332415616009306267157723570331064559482078144800 q^{95} - 5408972861452632753807094701577513866193715960586043392 q^{96} + 5113732531532480760212291157301231295251404057238280840 q^{97} + 4361266856004358769699597237924757031028912315048682360 q^{98} + 7959889613481860830509059286387276732667315436102354256 q^{99} + O(q^{100}) \)

Decomposition of \(S_{56}^{\mathrm{new}}(\Gamma_1(1))\)

We only show spaces with even parity, since no modular forms exist when this condition is not satisfied. Within each space \( S_k^{\mathrm{new}}(N, \chi) \) we list available newforms together with their dimension.

Label \(\chi\) Newforms Dimension \(\chi\) degree
1.56.a \(\chi_{1}(1, \cdot)\) 1.56.a.a 4 1