Properties

Label 252.9
Level 252
Weight 9
Dimension 6072
Nonzero newspaces 20
Sturm bound 31104
Trace bound 9

Downloads

Learn more

Defining parameters

Level: \( N \) = \( 252 = 2^{2} \cdot 3^{2} \cdot 7 \)
Weight: \( k \) = \( 9 \)
Nonzero newspaces: \( 20 \)
Sturm bound: \(31104\)
Trace bound: \(9\)

Dimensions

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

Total New Old
Modular forms 14064 6160 7904
Cusp forms 13584 6072 7512
Eisenstein series 480 88 392

Trace form

\( 6072q - 3q^{2} - 42q^{3} + 657q^{4} - 2073q^{5} - 2730q^{6} + 2153q^{7} + 23235q^{8} - 14430q^{9} + O(q^{10}) \) \( 6072q - 3q^{2} - 42q^{3} + 657q^{4} - 2073q^{5} - 2730q^{6} + 2153q^{7} + 23235q^{8} - 14430q^{9} - 50322q^{10} + 39177q^{11} + 51324q^{12} - 280198q^{13} - 82065q^{14} - 195450q^{15} - 268323q^{16} - 70959q^{17} + 1116324q^{18} - 193693q^{19} - 872970q^{20} - 815799q^{21} + 423270q^{22} - 1803969q^{23} - 73278q^{24} + 3710310q^{25} + 4544946q^{26} - 550026q^{27} + 1806273q^{28} - 4848942q^{29} - 5476782q^{30} - 2475427q^{31} - 9181173q^{32} - 5995152q^{33} + 6015606q^{34} + 16385067q^{35} + 1210542q^{36} - 2980025q^{37} - 26869104q^{38} - 14359794q^{39} - 9123402q^{40} + 3713016q^{41} + 19665096q^{42} + 24365200q^{43} + 20755086q^{44} + 1792506q^{45} + 20488830q^{46} - 20157579q^{47} - 34534998q^{48} + 96667353q^{49} - 14139657q^{50} - 51710634q^{51} + 53024298q^{52} + 102502281q^{53} + 47327220q^{54} - 26343324q^{55} - 78138369q^{56} - 40055970q^{57} + 14040828q^{58} + 1202697q^{59} + 38221470q^{60} - 23761027q^{61} - 23445948q^{62} + 61425531q^{63} + 137108613q^{64} + 122874276q^{65} + 114911850q^{66} + 49208979q^{67} - 185343078q^{68} - 194799990q^{69} + 57932058q^{70} - 189429480q^{71} + 25652520q^{72} + 246847001q^{73} - 128905734q^{74} + 291745866q^{75} + 171601794q^{76} + 170123106q^{77} + 391344264q^{78} - 115684563q^{79} + 165269430q^{80} - 478457790q^{81} - 118932690q^{82} - 104964174q^{83} - 297452502q^{84} + 218034894q^{85} - 446636652q^{86} - 8406828q^{87} - 187924332q^{88} + 1006244853q^{89} + 137844354q^{90} + 13333214q^{91} + 302879424q^{92} - 805966476q^{93} - 134024832q^{94} + 20983023q^{95} + 751803840q^{96} + 1192323188q^{97} - 84413661q^{98} + 629532330q^{99} + O(q^{100}) \)

Decomposition of \(S_{9}^{\mathrm{new}}(\Gamma_1(252))\)

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

Label \(\chi\) Newforms Dimension \(\chi\) degree
252.9.c \(\chi_{252}(197, \cdot)\) 252.9.c.a 16 1
252.9.d \(\chi_{252}(181, \cdot)\) 252.9.d.a 2 1
252.9.d.b 6
252.9.d.c 8
252.9.d.d 10
252.9.g \(\chi_{252}(127, \cdot)\) n/a 120 1
252.9.h \(\chi_{252}(251, \cdot)\) n/a 128 1
252.9.m \(\chi_{252}(65, \cdot)\) n/a 128 2
252.9.p \(\chi_{252}(61, \cdot)\) n/a 128 2
252.9.q \(\chi_{252}(143, \cdot)\) n/a 256 2
252.9.r \(\chi_{252}(131, \cdot)\) n/a 760 2
252.9.s \(\chi_{252}(83, \cdot)\) n/a 760 2
252.9.u \(\chi_{252}(151, \cdot)\) n/a 760 2
252.9.v \(\chi_{252}(43, \cdot)\) n/a 576 2
252.9.y \(\chi_{252}(163, \cdot)\) n/a 316 2
252.9.z \(\chi_{252}(73, \cdot)\) 252.9.z.a 2 2
252.9.z.b 10
252.9.z.c 10
252.9.z.d 12
252.9.z.e 20
252.9.bc \(\chi_{252}(13, \cdot)\) n/a 128 2
252.9.bd \(\chi_{252}(229, \cdot)\) n/a 128 2
252.9.bg \(\chi_{252}(29, \cdot)\) 252.9.bg.a 96 2
252.9.bh \(\chi_{252}(137, \cdot)\) n/a 128 2
252.9.bk \(\chi_{252}(53, \cdot)\) 252.9.bk.a 44 2
252.9.bl \(\chi_{252}(67, \cdot)\) n/a 760 2
252.9.bn \(\chi_{252}(47, \cdot)\) n/a 760 2

"n/a" means that newforms for that character have not been added to the database yet

Decomposition of \(S_{9}^{\mathrm{old}}(\Gamma_1(252))\) into lower level spaces

\( S_{9}^{\mathrm{old}}(\Gamma_1(252)) \cong \) \(S_{9}^{\mathrm{new}}(\Gamma_1(3))\)\(^{\oplus 12}\)\(\oplus\)\(S_{9}^{\mathrm{new}}(\Gamma_1(4))\)\(^{\oplus 6}\)\(\oplus\)\(S_{9}^{\mathrm{new}}(\Gamma_1(6))\)\(^{\oplus 8}\)\(\oplus\)\(S_{9}^{\mathrm{new}}(\Gamma_1(7))\)\(^{\oplus 9}\)\(\oplus\)\(S_{9}^{\mathrm{new}}(\Gamma_1(9))\)\(^{\oplus 6}\)\(\oplus\)\(S_{9}^{\mathrm{new}}(\Gamma_1(12))\)\(^{\oplus 4}\)\(\oplus\)\(S_{9}^{\mathrm{new}}(\Gamma_1(14))\)\(^{\oplus 6}\)\(\oplus\)\(S_{9}^{\mathrm{new}}(\Gamma_1(18))\)\(^{\oplus 4}\)\(\oplus\)\(S_{9}^{\mathrm{new}}(\Gamma_1(21))\)\(^{\oplus 6}\)\(\oplus\)\(S_{9}^{\mathrm{new}}(\Gamma_1(28))\)\(^{\oplus 3}\)\(\oplus\)\(S_{9}^{\mathrm{new}}(\Gamma_1(36))\)\(^{\oplus 2}\)\(\oplus\)\(S_{9}^{\mathrm{new}}(\Gamma_1(42))\)\(^{\oplus 4}\)\(\oplus\)\(S_{9}^{\mathrm{new}}(\Gamma_1(63))\)\(^{\oplus 3}\)\(\oplus\)\(S_{9}^{\mathrm{new}}(\Gamma_1(84))\)\(^{\oplus 2}\)\(\oplus\)\(S_{9}^{\mathrm{new}}(\Gamma_1(126))\)\(^{\oplus 2}\)