Properties

Label 4.20
Level 4
Weight 20
Dimension 1
Nonzero newspaces 1
Newform subspaces 1
Sturm bound 20
Trace bound 0

Downloads

Learn more

Defining parameters

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

Dimensions

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

Total New Old
Modular forms 11 1 10
Cusp forms 8 1 7
Eisenstein series 3 0 3

Trace form

\( q - 36 q^{3} - 196290 q^{5} - 35905576 q^{7} - 1162260171 q^{9} + O(q^{10}) \) \( q - 36 q^{3} - 196290 q^{5} - 35905576 q^{7} - 1162260171 q^{9} - 12016099980 q^{11} - 45529656874 q^{13} + 7066440 q^{15} + 496563248178 q^{17} + 1410273986444 q^{19} + 1292600736 q^{21} - 7039745388792 q^{23} - 19034956564025 q^{25} + 83682778968 q^{27} + 38996890912134 q^{29} + 173641323230816 q^{31} + 432579599280 q^{33} + 7047905513040 q^{35} - 1108106825662306 q^{37} + 1639067647464 q^{39} - 1444509198124614 q^{41} + 4646075748354260 q^{43} + 228140048965590 q^{45} + 8950457686524048 q^{47} - 10109684797481367 q^{49} - 17876276934408 q^{51} - 32948524384463538 q^{53} + 2358640265074200 q^{55} - 50769863511984 q^{57} + 36999205673523588 q^{59} + 82929105285760742 q^{61} + 41731620901613496 q^{63} + 8937016347797460 q^{65} - 186668590860047716 q^{67} + 253430833996512 q^{69} - 596514630027659112 q^{71} + 310786775495585306 q^{73} + 685258436304900 q^{75} + 431444991055488480 q^{77} + 700397513485701872 q^{79} + 1350847198802088009 q^{81} - 1357882121724855732 q^{83} - 97470399984859620 q^{85} - 1403888072836824 q^{87} - 5991411253779123894 q^{89} + 1634768555143329424 q^{91} - 6251087636309376 q^{93} - 276822680799092760 q^{95} + 4531118407744664354 q^{97} + 13965834417507896580 q^{99} + O(q^{100}) \)

Decomposition of \(S_{20}^{\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.20.a \(\chi_{4}(1, \cdot)\) 4.20.a.a 1 1

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

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