Defining parameters
Level: | \( N \) | \(=\) | \( 252 = 2^{2} \cdot 3^{2} \cdot 7 \) |
Weight: | \( k \) | \(=\) | \( 4 \) |
Character orbit: | \([\chi]\) | \(=\) | 252.j (of order \(3\) and degree \(2\)) |
Character conductor: | \(\operatorname{cond}(\chi)\) | \(=\) | \( 9 \) |
Character field: | \(\Q(\zeta_{3})\) | ||
Newform subspaces: | \( 2 \) | ||
Sturm bound: | \(192\) | ||
Trace bound: | \(3\) | ||
Distinguishing \(T_p\): | \(5\) |
Dimensions
The following table gives the dimensions of various subspaces of \(M_{4}(252, [\chi])\).
Total | New | Old | |
---|---|---|---|
Modular forms | 300 | 36 | 264 |
Cusp forms | 276 | 36 | 240 |
Eisenstein series | 24 | 0 | 24 |
Trace form
Decomposition of \(S_{4}^{\mathrm{new}}(252, [\chi])\) into newform subspaces
Label | Dim | $A$ | Field | CM | Traces | $q$-expansion | |||
---|---|---|---|---|---|---|---|---|---|
$a_{2}$ | $a_{3}$ | $a_{5}$ | $a_{7}$ | ||||||
252.4.j.a | $18$ | $14.868$ | \(\mathbb{Q}[x]/(x^{18} - \cdots)\) | None | \(0\) | \(-5\) | \(14\) | \(63\) | \(q+\beta _{4}q^{3}+(2-2\beta _{2}+\beta _{12})q^{5}+7\beta _{2}q^{7}+\cdots\) |
252.4.j.b | $18$ | $14.868$ | \(\mathbb{Q}[x]/(x^{18} - \cdots)\) | None | \(0\) | \(11\) | \(-6\) | \(-63\) | \(q+(1-\beta _{1})q^{3}+(-1+\beta _{2}+\beta _{3})q^{5}+\cdots\) |
Decomposition of \(S_{4}^{\mathrm{old}}(252, [\chi])\) into lower level spaces
\( S_{4}^{\mathrm{old}}(252, [\chi]) \cong \) \(S_{4}^{\mathrm{new}}(9, [\chi])\)\(^{\oplus 6}\)\(\oplus\)\(S_{4}^{\mathrm{new}}(18, [\chi])\)\(^{\oplus 4}\)\(\oplus\)\(S_{4}^{\mathrm{new}}(36, [\chi])\)\(^{\oplus 2}\)\(\oplus\)\(S_{4}^{\mathrm{new}}(63, [\chi])\)\(^{\oplus 3}\)\(\oplus\)\(S_{4}^{\mathrm{new}}(126, [\chi])\)\(^{\oplus 2}\)