↑

Properties

Label 810.2
Level 810
Weight 2
Dimension 4224
Nonzero newspaces 12
Newform subspaces 69
Sturm bound 69984
Trace bound 4

Downloads

Learn more

Defining parameters

Level: \( N \) = \( 810 = 2 \cdot 3^{4} \cdot 5 \)
Weight: \( k \) = \( 2 \)
Nonzero newspaces: \( 12 \)
Newform subspaces: \( 69 \)
Sturm bound: \(69984\)
Trace bound: \(4\)

Dimensions

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

Total New Old
Modular forms 18360 4224 14136
Cusp forms 16633 4224 12409
Eisenstein series 1727 0 1727

Trace form

\( 4224 q - 6 q^{5} - 12 q^{7} - 6 q^{8} + O(q^{10}) \) \( 4224 q - 6 q^{5} - 12 q^{7} - 6 q^{8} - 6 q^{10} - 30 q^{11} - 24 q^{13} - 12 q^{14} - 24 q^{17} + 18 q^{18} + 36 q^{19} + 30 q^{20} + 108 q^{21} + 42 q^{22} + 156 q^{23} + 36 q^{25} + 180 q^{26} + 108 q^{27} + 48 q^{28} + 168 q^{29} + 54 q^{30} + 72 q^{31} + 108 q^{33} + 54 q^{34} + 132 q^{35} + 36 q^{36} + 60 q^{37} + 66 q^{38} + 18 q^{40} + 102 q^{41} + 78 q^{43} + 12 q^{44} + 54 q^{45} + 24 q^{46} + 228 q^{47} + 120 q^{49} + 60 q^{50} + 126 q^{51} + 180 q^{53} + 84 q^{55} + 12 q^{56} + 108 q^{57} - 24 q^{58} + 162 q^{59} + 36 q^{61} - 48 q^{62} + 108 q^{63} - 6 q^{64} - 12 q^{65} - 144 q^{66} + 90 q^{67} - 60 q^{68} - 252 q^{69} + 24 q^{70} - 240 q^{71} - 144 q^{72} - 60 q^{73} - 228 q^{74} + 30 q^{76} - 396 q^{77} - 288 q^{78} + 192 q^{79} - 24 q^{80} - 288 q^{81} - 12 q^{82} - 168 q^{83} - 72 q^{84} + 108 q^{85} - 234 q^{86} - 576 q^{87} + 42 q^{88} - 204 q^{89} - 144 q^{90} + 36 q^{91} - 132 q^{92} - 252 q^{93} + 36 q^{94} + 36 q^{95} - 36 q^{96} + 102 q^{97} - 174 q^{98} - 36 q^{99} + O(q^{100}) \)

Display 100 coefficients 10 coefficients

Decomposition of \(S_{2}^{\mathrm{new}}(\Gamma_1(810))\)

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
810.2.a \(\chi_{810}(1, \cdot)\) 810.2.a.a 1 1
810.2.a.b 1
810.2.a.c 1
810.2.a.d 1
810.2.a.e 1
810.2.a.f 1
810.2.a.g 1
810.2.a.h 1
810.2.a.i 2
810.2.a.j 2
810.2.a.k 2
810.2.a.l 2
810.2.c \(\chi_{810}(649, \cdot)\) 810.2.c.a 2 1
810.2.c.b 2
810.2.c.c 2
810.2.c.d 2
810.2.c.e 4
810.2.c.f 4
810.2.c.g 8
810.2.e \(\chi_{810}(271, \cdot)\) 810.2.e.a 2 2
810.2.e.b 2
810.2.e.c 2
810.2.e.d 2
810.2.e.e 2
810.2.e.f 2
810.2.e.g 2
810.2.e.h 2
810.2.e.i 2
810.2.e.j 2
810.2.e.k 2
810.2.e.l 2
810.2.e.m 4
810.2.e.n 4
810.2.f \(\chi_{810}(323, \cdot)\) 810.2.f.a 8 2
810.2.f.b 8
810.2.f.c 16
810.2.f.d 16
810.2.i \(\chi_{810}(109, \cdot)\) 810.2.i.a 4 2
810.2.i.b 4
810.2.i.c 4
810.2.i.d 4
810.2.i.e 4
810.2.i.f 4
810.2.i.g 8
810.2.i.h 8
810.2.i.i 8
810.2.k \(\chi_{810}(91, \cdot)\) 810.2.k.a 6 6
810.2.k.b 12
810.2.k.c 12
810.2.k.d 18
810.2.k.e 24
810.2.m \(\chi_{810}(53, \cdot)\) 810.2.m.a 8 4
810.2.m.b 8
810.2.m.c 8
810.2.m.d 8
810.2.m.e 8
810.2.m.f 8
810.2.m.g 8
810.2.m.h 8
810.2.m.i 16
810.2.m.j 16
810.2.p \(\chi_{810}(19, \cdot)\) 810.2.p.a 108 6
810.2.q \(\chi_{810}(31, \cdot)\) 810.2.q.a 144 18
810.2.q.b 162
810.2.q.c 162
810.2.q.d 180
810.2.s \(\chi_{810}(17, \cdot)\) 810.2.s.a 216 12
810.2.v \(\chi_{810}(49, \cdot)\) 810.2.v.a 972 18
810.2.w \(\chi_{810}(23, \cdot)\) 810.2.w.a 1944 36

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

\( S_{2}^{\mathrm{old}}(\Gamma_1(810)) \cong \) \(S_{2}^{\mathrm{new}}(\Gamma_1(15))\)\(^{\oplus 8}\)\(\oplus\)\(S_{2}^{\mathrm{new}}(\Gamma_1(18))\)\(^{\oplus 6}\)\(\oplus\)\(S_{2}^{\mathrm{new}}(\Gamma_1(27))\)\(^{\oplus 8}\)\(\oplus\)\(S_{2}^{\mathrm{new}}(\Gamma_1(30))\)\(^{\oplus 4}\)\(\oplus\)\(S_{2}^{\mathrm{new}}(\Gamma_1(45))\)\(^{\oplus 6}\)\(\oplus\)\(S_{2}^{\mathrm{new}}(\Gamma_1(54))\)\(^{\oplus 4}\)\(\oplus\)\(S_{2}^{\mathrm{new}}(\Gamma_1(81))\)\(^{\oplus 4}\)\(\oplus\)\(S_{2}^{\mathrm{new}}(\Gamma_1(90))\)\(^{\oplus 3}\)\(\oplus\)\(S_{2}^{\mathrm{new}}(\Gamma_1(135))\)\(^{\oplus 4}\)\(\oplus\)\(S_{2}^{\mathrm{new}}(\Gamma_1(162))\)\(^{\oplus 2}\)\(\oplus\)\(S_{2}^{\mathrm{new}}(\Gamma_1(270))\)\(^{\oplus 2}\)\(\oplus\)\(S_{2}^{\mathrm{new}}(\Gamma_1(405))\)\(^{\oplus 2}\)