↑

Properties

Label 2023.4
Level 2023
Weight 4
Dimension 473435
Nonzero newspaces 20
Sturm bound 1331712
Trace bound 3

Downloads

Learn more

Defining parameters

Level: \( N \) = \( 2023 = 7 \cdot 17^{2} \)
Weight: \( k \) = \( 4 \)
Nonzero newspaces: \( 20 \)
Sturm bound: \(1331712\)
Trace bound: \(3\)

Dimensions

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

Total New Old
Modular forms 501792 477119 24673
Cusp forms 496992 473435 23557
Eisenstein series 4800 3684 1116

Trace form

\( 473435 q - 483 q^{2} - 489 q^{3} - 483 q^{4} - 471 q^{5} - 450 q^{6} - 579 q^{7} - 1233 q^{8} - 525 q^{9} + O(q^{10}) \) \( 473435 q - 483 q^{2} - 489 q^{3} - 483 q^{4} - 471 q^{5} - 450 q^{6} - 579 q^{7} - 1233 q^{8} - 525 q^{9} - 926 q^{10} - 931 q^{11} - 822 q^{12} - 352 q^{13} - 259 q^{14} + 210 q^{15} + 1337 q^{16} - 256 q^{17} + 843 q^{18} - 319 q^{19} - 200 q^{20} - 1023 q^{21} - 2108 q^{22} - 1105 q^{23} - 7830 q^{24} - 5185 q^{25} - 4608 q^{26} - 1314 q^{27} - 123 q^{28} - 154 q^{29} + 4830 q^{30} + 2841 q^{31} + 3903 q^{32} + 3763 q^{33} + 3712 q^{34} + 761 q^{35} + 5441 q^{36} + 1743 q^{37} - 1780 q^{38} - 5302 q^{39} - 10056 q^{40} - 5278 q^{41} - 6078 q^{42} - 7176 q^{43} - 8252 q^{44} - 6362 q^{45} - 4242 q^{46} + 5399 q^{47} + 12430 q^{48} + 2619 q^{49} + 9533 q^{50} + 2688 q^{51} + 11108 q^{52} - 2177 q^{53} - 11262 q^{54} - 8230 q^{55} - 3377 q^{56} - 8646 q^{57} - 6406 q^{58} - 3021 q^{59} - 5724 q^{60} + 405 q^{61} - 7360 q^{62} + 3651 q^{63} - 8855 q^{64} + 4466 q^{65} + 20278 q^{66} + 7893 q^{67} + 6768 q^{68} + 11726 q^{69} + 1566 q^{70} - 2064 q^{71} - 73 q^{72} + 1131 q^{73} + 384 q^{74} + 3246 q^{75} + 1850 q^{76} - 785 q^{77} - 8672 q^{78} - 1345 q^{79} - 3168 q^{80} - 11156 q^{81} - 3026 q^{82} - 21582 q^{83} - 17582 q^{84} - 9896 q^{85} - 34792 q^{86} - 6618 q^{87} + 6192 q^{88} - 3837 q^{89} - 3688 q^{90} + 1692 q^{91} + 13624 q^{92} + 7427 q^{93} + 13890 q^{94} + 12969 q^{95} + 43426 q^{96} - 798 q^{97} + 23069 q^{98} + 38636 q^{99} + O(q^{100}) \)

Display 100 coefficients 10 coefficients

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

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
2023.4.a \(\chi_{2023}(1, \cdot)\) 2023.4.a.a 1 1
2023.4.a.b 1
2023.4.a.c 1
2023.4.a.d 1
2023.4.a.e 3
2023.4.a.f 4
2023.4.a.g 7
2023.4.a.h 9
2023.4.a.i 11
2023.4.a.j 11
2023.4.a.k 12
2023.4.a.l 12
2023.4.a.m 13
2023.4.a.n 13
2023.4.a.o 26
2023.4.a.p 26
2023.4.a.q 33
2023.4.a.r 33
2023.4.a.s 39
2023.4.a.t 39
2023.4.a.u 56
2023.4.a.v 56
2023.4.b \(\chi_{2023}(288, \cdot)\) n/a 406 1
2023.4.e \(\chi_{2023}(1157, \cdot)\) n/a 1054 2
2023.4.g \(\chi_{2023}(540, \cdot)\) n/a 812 2
2023.4.j \(\chi_{2023}(1444, \cdot)\) n/a 1052 2
2023.4.k \(\chi_{2023}(134, \cdot)\) n/a 1616 4
2023.4.n \(\chi_{2023}(905, \cdot)\) n/a 2104 4
2023.4.p \(\chi_{2023}(447, \cdot)\) n/a 4208 8
2023.4.q \(\chi_{2023}(120, \cdot)\) n/a 7328 16
2023.4.r \(\chi_{2023}(179, \cdot)\) n/a 4208 8
2023.4.v \(\chi_{2023}(50, \cdot)\) n/a 7328 16
2023.4.w \(\chi_{2023}(40, \cdot)\) n/a 8416 16
2023.4.y \(\chi_{2023}(18, \cdot)\) n/a 19520 32
2023.4.z \(\chi_{2023}(64, \cdot)\) n/a 14656 32
2023.4.bb \(\chi_{2023}(16, \cdot)\) n/a 19520 32
2023.4.bf \(\chi_{2023}(8, \cdot)\) n/a 29440 64
2023.4.bg \(\chi_{2023}(4, \cdot)\) n/a 39040 64
2023.4.bi \(\chi_{2023}(6, \cdot)\) n/a 78080 128
2023.4.bl \(\chi_{2023}(2, \cdot)\) n/a 78080 128
2023.4.bn \(\chi_{2023}(3, \cdot)\) n/a 156160 256

"n/a" means that newforms for that character have not been added to the database yet

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

\( S_{4}^{\mathrm{old}}(\Gamma_1(2023)) \cong \) \(S_{4}^{\mathrm{new}}(\Gamma_1(7))\)\(^{\oplus 3}\)\(\oplus\)\(S_{4}^{\mathrm{new}}(\Gamma_1(17))\)\(^{\oplus 4}\)\(\oplus\)\(S_{4}^{\mathrm{new}}(\Gamma_1(119))\)\(^{\oplus 2}\)\(\oplus\)\(S_{4}^{\mathrm{new}}(\Gamma_1(289))\)\(^{\oplus 2}\)