Properties

Label 120.2
Level 120
Weight 2
Dimension 136
Nonzero newspaces 9
Newform subspaces 18
Sturm bound 1536
Trace bound 4

Downloads

Learn more about

Defining parameters

Level: \( N \) = \( 120 = 2^{3} \cdot 3 \cdot 5 \)
Weight: \( k \) = \( 2 \)
Nonzero newspaces: \( 9 \)
Newform subspaces: \( 18 \)
Sturm bound: \(1536\)
Trace bound: \(4\)

Dimensions

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

Total New Old
Modular forms 480 160 320
Cusp forms 289 136 153
Eisenstein series 191 24 167

Trace form

\( 136q + 4q^{2} + 2q^{3} + 4q^{5} - 12q^{6} + 8q^{7} - 8q^{8} + O(q^{10}) \) \( 136q + 4q^{2} + 2q^{3} + 4q^{5} - 12q^{6} + 8q^{7} - 8q^{8} - 12q^{10} - 32q^{12} + 8q^{13} - 32q^{14} - 18q^{15} - 48q^{16} - 20q^{18} - 40q^{19} - 32q^{20} - 16q^{21} - 32q^{22} - 24q^{23} - 8q^{24} - 8q^{25} - 16q^{26} - 46q^{27} - 24q^{29} - 4q^{30} - 72q^{31} + 24q^{32} - 40q^{33} + 16q^{34} - 48q^{35} - 8q^{36} - 40q^{37} + 40q^{38} - 20q^{39} + 64q^{40} + 32q^{42} - 24q^{43} + 56q^{44} + 12q^{45} + 64q^{46} + 16q^{47} + 72q^{48} - 24q^{49} + 52q^{50} + 60q^{51} - 8q^{52} + 16q^{53} + 36q^{54} - 16q^{55} + 16q^{56} + 16q^{58} + 24q^{59} + 72q^{60} + 48q^{61} + 8q^{62} + 64q^{63} + 48q^{64} - 16q^{65} + 64q^{66} + 24q^{67} + 56q^{68} + 72q^{70} + 16q^{71} + 72q^{72} - 80q^{73} + 56q^{74} + 42q^{75} + 32q^{76} + 72q^{78} + 64q^{79} + 80q^{80} - 48q^{81} + 128q^{82} + 80q^{83} + 72q^{84} - 64q^{85} - 16q^{86} + 60q^{87} - 48q^{88} - 40q^{89} + 36q^{90} - 64q^{91} - 8q^{92} - 32q^{93} - 128q^{94} + 24q^{95} - 112q^{96} - 24q^{97} - 100q^{98} + 88q^{99} + O(q^{100}) \)

Decomposition of \(S_{2}^{\mathrm{new}}(\Gamma_1(120))\)

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 the newforms together with their dimension.

Label \(\chi\) Newforms Dimension \(\chi\) degree
120.2.a \(\chi_{120}(1, \cdot)\) 120.2.a.a 1 1
120.2.a.b 1
120.2.b \(\chi_{120}(11, \cdot)\) 120.2.b.a 8 1
120.2.b.b 8
120.2.d \(\chi_{120}(109, \cdot)\) 120.2.d.a 6 1
120.2.d.b 6
120.2.f \(\chi_{120}(49, \cdot)\) 120.2.f.a 2 1
120.2.h \(\chi_{120}(71, \cdot)\) None 0 1
120.2.k \(\chi_{120}(61, \cdot)\) 120.2.k.a 2 1
120.2.k.b 6
120.2.m \(\chi_{120}(59, \cdot)\) 120.2.m.a 4 1
120.2.m.b 16
120.2.o \(\chi_{120}(119, \cdot)\) None 0 1
120.2.r \(\chi_{120}(17, \cdot)\) 120.2.r.a 4 2
120.2.r.b 4
120.2.r.c 4
120.2.s \(\chi_{120}(7, \cdot)\) None 0 2
120.2.v \(\chi_{120}(43, \cdot)\) 120.2.v.a 24 2
120.2.w \(\chi_{120}(53, \cdot)\) 120.2.w.a 4 2
120.2.w.b 4
120.2.w.c 32

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

\( S_{2}^{\mathrm{old}}(\Gamma_1(120)) \cong \) \(S_{2}^{\mathrm{new}}(\Gamma_1(15))\)\(^{\oplus 4}\)\(\oplus\)\(S_{2}^{\mathrm{new}}(\Gamma_1(20))\)\(^{\oplus 4}\)\(\oplus\)\(S_{2}^{\mathrm{new}}(\Gamma_1(24))\)\(^{\oplus 2}\)\(\oplus\)\(S_{2}^{\mathrm{new}}(\Gamma_1(30))\)\(^{\oplus 3}\)\(\oplus\)\(S_{2}^{\mathrm{new}}(\Gamma_1(40))\)\(^{\oplus 2}\)\(\oplus\)\(S_{2}^{\mathrm{new}}(\Gamma_1(60))\)\(^{\oplus 2}\)