Properties

Label 4.18
Level 4
Weight 18
Dimension 2
Nonzero newspaces 1
Newform subspaces 1
Sturm bound 18
Trace bound 0

Downloads

Learn more

Defining parameters

Level: \( N \) = \( 4 = 2^{2} \)
Weight: \( k \) = \( 18 \)
Nonzero newspaces: \( 1 \)
Newform subspaces: \( 1 \)
Sturm bound: \(18\)
Trace bound: \(0\)

Dimensions

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

Total New Old
Modular forms 10 2 8
Cusp forms 7 2 5
Eisenstein series 3 0 3

Trace form

\( 2 q - 5880 q^{3} + 604044 q^{5} + 25350160 q^{7} + 449174682 q^{9} + O(q^{10}) \) \( 2 q - 5880 q^{3} + 604044 q^{5} + 25350160 q^{7} + 449174682 q^{9} + 1259648280 q^{11} - 1320052580 q^{13} - 26621930448 q^{15} - 27498226140 q^{17} + 101133633832 q^{19} + 335430207552 q^{21} + 134767491120 q^{23} - 448986850114 q^{25} - 4619416117680 q^{27} + 2337155582652 q^{29} + 278836113472 q^{31} + 22602380058720 q^{33} - 7102242382752 q^{35} + 20929802888140 q^{37} - 108447997173648 q^{39} + 4166592315732 q^{41} - 111143148534440 q^{43} + 281755357404444 q^{45} + 196772651157600 q^{47} + 99570326741874 q^{49} - 39956666918256 q^{51} - 487965122736660 q^{53} - 566565363246960 q^{55} - 2272313631999840 q^{57} + 2835904197813624 q^{59} - 67544034994436 q^{61} + 3282762121966800 q^{63} + 3645157343001768 q^{65} - 995171321546360 q^{67} - 10188302100105024 q^{69} + 3882245493215376 q^{71} - 12746425881769580 q^{73} - 13688080703624712 q^{75} + 31591755846002880 q^{77} - 14984271534065504 q^{79} + 33380230287529458 q^{81} + 43899417809893800 q^{83} - 3956216991540264 q^{85} - 100892756486768400 q^{87} + 51909007958846388 q^{89} - 83455169400462112 q^{91} - 89807116632334080 q^{93} + 101643889304423664 q^{95} - 49281007789848380 q^{97} + 128223271309133880 q^{99} + O(q^{100}) \)

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

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
4.18.a \(\chi_{4}(1, \cdot)\) 4.18.a.a 2 1

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

\( S_{18}^{\mathrm{old}}(\Gamma_1(4)) \cong \) \(S_{18}^{\mathrm{new}}(\Gamma_1(1))\)\(^{\oplus 3}\)\(\oplus\)\(S_{18}^{\mathrm{new}}(\Gamma_1(2))\)\(^{\oplus 2}\)