Properties

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

Downloads

Learn more about

Defining parameters

Level: \( N \) = \( 4 = 2^{2} \)
Weight: \( k \) = \( 18 \)
Nonzero newspaces: \( 1 \)
Newforms: \( 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

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