Defining parameters
Level: | \( N \) | = | \( 171 = 3^{2} \cdot 19 \) |
Weight: | \( k \) | = | \( 12 \) |
Nonzero newspaces: | \( 16 \) | ||
Sturm bound: | \(25920\) | ||
Trace bound: | \(3\) |
Dimensions
The following table gives the dimensions of various subspaces of \(M_{12}(\Gamma_1(171))\).
Total | New | Old | |
---|---|---|---|
Modular forms | 12024 | 9428 | 2596 |
Cusp forms | 11736 | 9276 | 2460 |
Eisenstein series | 288 | 152 | 136 |
Trace form
Decomposition of \(S_{12}^{\mathrm{new}}(\Gamma_1(171))\)
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 |
---|---|---|---|---|
171.12.a | \(\chi_{171}(1, \cdot)\) | 171.12.a.a | 7 | 1 |
171.12.a.b | 7 | |||
171.12.a.c | 8 | |||
171.12.a.d | 9 | |||
171.12.a.e | 9 | |||
171.12.a.f | 10 | |||
171.12.a.g | 14 | |||
171.12.a.h | 18 | |||
171.12.d | \(\chi_{171}(170, \cdot)\) | 171.12.d.a | 4 | 1 |
171.12.d.b | 68 | |||
171.12.e | \(\chi_{171}(58, \cdot)\) | n/a | 396 | 2 |
171.12.f | \(\chi_{171}(64, \cdot)\) | n/a | 180 | 2 |
171.12.g | \(\chi_{171}(106, \cdot)\) | n/a | 436 | 2 |
171.12.h | \(\chi_{171}(7, \cdot)\) | n/a | 436 | 2 |
171.12.k | \(\chi_{171}(50, \cdot)\) | n/a | 436 | 2 |
171.12.l | \(\chi_{171}(56, \cdot)\) | n/a | 436 | 2 |
171.12.m | \(\chi_{171}(8, \cdot)\) | n/a | 144 | 2 |
171.12.t | \(\chi_{171}(122, \cdot)\) | n/a | 436 | 2 |
171.12.u | \(\chi_{171}(28, \cdot)\) | n/a | 546 | 6 |
171.12.v | \(\chi_{171}(25, \cdot)\) | n/a | 1308 | 6 |
171.12.w | \(\chi_{171}(4, \cdot)\) | n/a | 1308 | 6 |
171.12.x | \(\chi_{171}(14, \cdot)\) | n/a | 1308 | 6 |
171.12.y | \(\chi_{171}(53, \cdot)\) | n/a | 444 | 6 |
171.12.bd | \(\chi_{171}(2, \cdot)\) | n/a | 1308 | 6 |
"n/a" means that newforms for that character have not been added to the database yet
Decomposition of \(S_{12}^{\mathrm{old}}(\Gamma_1(171))\) into lower level spaces
\( S_{12}^{\mathrm{old}}(\Gamma_1(171)) \cong \) \(S_{12}^{\mathrm{new}}(\Gamma_1(1))\)\(^{\oplus 6}\)\(\oplus\)\(S_{12}^{\mathrm{new}}(\Gamma_1(3))\)\(^{\oplus 4}\)\(\oplus\)\(S_{12}^{\mathrm{new}}(\Gamma_1(9))\)\(^{\oplus 2}\)\(\oplus\)\(S_{12}^{\mathrm{new}}(\Gamma_1(19))\)\(^{\oplus 3}\)\(\oplus\)\(S_{12}^{\mathrm{new}}(\Gamma_1(57))\)\(^{\oplus 2}\)\(\oplus\)\(S_{12}^{\mathrm{new}}(\Gamma_1(171))\)\(^{\oplus 1}\)