Defining parameters
Level: | \( N \) | = | \( 180 = 2^{2} \cdot 3^{2} \cdot 5 \) |
Weight: | \( k \) | = | \( 7 \) |
Nonzero newspaces: | \( 12 \) | ||
Sturm bound: | \(12096\) | ||
Trace bound: | \(3\) |
Dimensions
The following table gives the dimensions of various subspaces of \(M_{7}(\Gamma_1(180))\).
Total | New | Old | |
---|---|---|---|
Modular forms | 5344 | 2218 | 3126 |
Cusp forms | 5024 | 2166 | 2858 |
Eisenstein series | 320 | 52 | 268 |
Trace form
Decomposition of \(S_{7}^{\mathrm{new}}(\Gamma_1(180))\)
We only show spaces with odd 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 |
---|---|---|---|---|
180.7.b | \(\chi_{180}(89, \cdot)\) | 180.7.b.a | 12 | 1 |
180.7.c | \(\chi_{180}(91, \cdot)\) | 180.7.c.a | 12 | 1 |
180.7.c.b | 24 | |||
180.7.c.c | 24 | |||
180.7.f | \(\chi_{180}(19, \cdot)\) | 180.7.f.a | 1 | 1 |
180.7.f.b | 1 | |||
180.7.f.c | 2 | |||
180.7.f.d | 4 | |||
180.7.f.e | 12 | |||
180.7.f.f | 32 | |||
180.7.f.g | 36 | |||
180.7.g | \(\chi_{180}(161, \cdot)\) | 180.7.g.a | 8 | 1 |
180.7.l | \(\chi_{180}(37, \cdot)\) | 180.7.l.a | 6 | 2 |
180.7.l.b | 12 | |||
180.7.l.c | 12 | |||
180.7.m | \(\chi_{180}(107, \cdot)\) | n/a | 144 | 2 |
180.7.o | \(\chi_{180}(41, \cdot)\) | 180.7.o.a | 48 | 2 |
180.7.p | \(\chi_{180}(79, \cdot)\) | n/a | 424 | 2 |
180.7.s | \(\chi_{180}(31, \cdot)\) | n/a | 288 | 2 |
180.7.t | \(\chi_{180}(29, \cdot)\) | 180.7.t.a | 72 | 2 |
180.7.u | \(\chi_{180}(13, \cdot)\) | n/a | 144 | 4 |
180.7.v | \(\chi_{180}(23, \cdot)\) | n/a | 848 | 4 |
"n/a" means that newforms for that character have not been added to the database yet
Decomposition of \(S_{7}^{\mathrm{old}}(\Gamma_1(180))\) into lower level spaces
\( S_{7}^{\mathrm{old}}(\Gamma_1(180)) \cong \) \(S_{7}^{\mathrm{new}}(\Gamma_1(3))\)\(^{\oplus 12}\)\(\oplus\)\(S_{7}^{\mathrm{new}}(\Gamma_1(4))\)\(^{\oplus 6}\)\(\oplus\)\(S_{7}^{\mathrm{new}}(\Gamma_1(5))\)\(^{\oplus 9}\)\(\oplus\)\(S_{7}^{\mathrm{new}}(\Gamma_1(6))\)\(^{\oplus 8}\)\(\oplus\)\(S_{7}^{\mathrm{new}}(\Gamma_1(9))\)\(^{\oplus 6}\)\(\oplus\)\(S_{7}^{\mathrm{new}}(\Gamma_1(10))\)\(^{\oplus 6}\)\(\oplus\)\(S_{7}^{\mathrm{new}}(\Gamma_1(12))\)\(^{\oplus 4}\)\(\oplus\)\(S_{7}^{\mathrm{new}}(\Gamma_1(15))\)\(^{\oplus 6}\)\(\oplus\)\(S_{7}^{\mathrm{new}}(\Gamma_1(18))\)\(^{\oplus 4}\)\(\oplus\)\(S_{7}^{\mathrm{new}}(\Gamma_1(20))\)\(^{\oplus 3}\)\(\oplus\)\(S_{7}^{\mathrm{new}}(\Gamma_1(30))\)\(^{\oplus 4}\)\(\oplus\)\(S_{7}^{\mathrm{new}}(\Gamma_1(36))\)\(^{\oplus 2}\)\(\oplus\)\(S_{7}^{\mathrm{new}}(\Gamma_1(45))\)\(^{\oplus 3}\)\(\oplus\)\(S_{7}^{\mathrm{new}}(\Gamma_1(60))\)\(^{\oplus 2}\)\(\oplus\)\(S_{7}^{\mathrm{new}}(\Gamma_1(90))\)\(^{\oplus 2}\)