Properties

Label 75.6
Level 75
Weight 6
Dimension 671
Nonzero newspaces 6
Newform subspaces 26
Sturm bound 2400
Trace bound 1

Downloads

Learn more

Defining parameters

Level: \( N \) = \( 75 = 3 \cdot 5^{2} \)
Weight: \( k \) = \( 6 \)
Nonzero newspaces: \( 6 \)
Newform subspaces: \( 26 \)
Sturm bound: \(2400\)
Trace bound: \(1\)

Dimensions

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

Total New Old
Modular forms 1056 711 345
Cusp forms 944 671 273
Eisenstein series 112 40 72

Trace form

\( 671 q + 10 q^{2} - q^{3} - 208 q^{4} - 126 q^{5} + 456 q^{6} + 724 q^{7} - 48 q^{8} - 253 q^{9} - 1784 q^{10} - 644 q^{11} + 770 q^{12} + 3874 q^{13} + 11232 q^{14} + 3386 q^{15} + 2124 q^{16} - 4138 q^{17}+ \cdots + 56700 q^{99}+O(q^{100}) \) Copy content Toggle raw display

Decomposition of \(S_{6}^{\mathrm{new}}(\Gamma_1(75))\)

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
75.6.a \(\chi_{75}(1, \cdot)\) 75.6.a.a 1 1
75.6.a.b 1
75.6.a.c 1
75.6.a.d 1
75.6.a.e 1
75.6.a.f 2
75.6.a.g 2
75.6.a.h 2
75.6.a.i 2
75.6.a.j 2
75.6.b \(\chi_{75}(49, \cdot)\) 75.6.b.a 2 1
75.6.b.b 2
75.6.b.c 2
75.6.b.d 2
75.6.b.e 4
75.6.b.f 4
75.6.e \(\chi_{75}(32, \cdot)\) 75.6.e.a 4 2
75.6.e.b 4
75.6.e.c 8
75.6.e.d 8
75.6.e.e 16
75.6.e.f 16
75.6.g \(\chi_{75}(16, \cdot)\) 75.6.g.a 52 4
75.6.g.b 52
75.6.i \(\chi_{75}(4, \cdot)\) 75.6.i.a 96 4
75.6.l \(\chi_{75}(2, \cdot)\) 75.6.l.a 384 8

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

\( S_{6}^{\mathrm{old}}(\Gamma_1(75)) \cong \) \(S_{6}^{\mathrm{new}}(\Gamma_1(1))\)\(^{\oplus 6}\)\(\oplus\)\(S_{6}^{\mathrm{new}}(\Gamma_1(3))\)\(^{\oplus 3}\)\(\oplus\)\(S_{6}^{\mathrm{new}}(\Gamma_1(5))\)\(^{\oplus 4}\)\(\oplus\)\(S_{6}^{\mathrm{new}}(\Gamma_1(15))\)\(^{\oplus 2}\)\(\oplus\)\(S_{6}^{\mathrm{new}}(\Gamma_1(25))\)\(^{\oplus 2}\)