Properties

Label 58.4
Level 58
Weight 4
Dimension 105
Nonzero newspaces 4
Newform subspaces 8
Sturm bound 840
Trace bound 1

Downloads

Learn more

Defining parameters

Level: \( N \) = \( 58 = 2 \cdot 29 \)
Weight: \( k \) = \( 4 \)
Nonzero newspaces: \( 4 \)
Newform subspaces: \( 8 \)
Sturm bound: \(840\)
Trace bound: \(1\)

Dimensions

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

Total New Old
Modular forms 343 105 238
Cusp forms 287 105 182
Eisenstein series 56 0 56

Trace form

\( 105 q + O(q^{10}) \) \( 105 q + 308 q^{20} + 1568 q^{21} + 392 q^{22} + 56 q^{23} - 224 q^{24} - 896 q^{25} - 770 q^{26} - 2184 q^{27} - 1568 q^{29} - 2184 q^{30} - 1232 q^{31} - 672 q^{33} + 70 q^{34} + 784 q^{35} + 784 q^{36} + 1232 q^{37} + 1736 q^{38} + 4592 q^{39} + 728 q^{40} + 3465 q^{45} + 1484 q^{47} + 840 q^{49} - 840 q^{51} - 2331 q^{53} - 5712 q^{55} - 3192 q^{57} - 1540 q^{59} - 2520 q^{61} - 3024 q^{63} - 63 q^{65} + 1848 q^{67} + 4200 q^{69} + 5208 q^{70} + 16436 q^{71} + 11781 q^{73} + 5880 q^{74} + 6440 q^{75} + 1344 q^{76} + 560 q^{77} - 1568 q^{78} - 1680 q^{79} - 12544 q^{81} - 3696 q^{82} - 8288 q^{83} - 6720 q^{84} - 14112 q^{85} - 12040 q^{86} - 12040 q^{87} - 11200 q^{89} - 10360 q^{90} - 11088 q^{91} - 4704 q^{92} - 4928 q^{93} - 1680 q^{94} - 3136 q^{95} + 2933 q^{97} + 5152 q^{98} + 18592 q^{99} + O(q^{100}) \)

Decomposition of \(S_{4}^{\mathrm{new}}(\Gamma_1(58))\)

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
58.4.a \(\chi_{58}(1, \cdot)\) 58.4.a.a 1 1
58.4.a.b 1
58.4.a.c 2
58.4.a.d 3
58.4.b \(\chi_{58}(57, \cdot)\) 58.4.b.a 8 1
58.4.d \(\chi_{58}(7, \cdot)\) 58.4.d.a 18 6
58.4.d.b 24
58.4.e \(\chi_{58}(5, \cdot)\) 58.4.e.a 48 6

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

\( S_{4}^{\mathrm{old}}(\Gamma_1(58)) \cong \) \(S_{4}^{\mathrm{new}}(\Gamma_1(29))\)\(^{\oplus 2}\)