Defining parameters
Level: | \( N \) | \(=\) | \( 225 = 3^{2} \cdot 5^{2} \) |
Weight: | \( k \) | \(=\) | \( 3 \) |
Character orbit: | \([\chi]\) | \(=\) | 225.j (of order \(6\) and degree \(2\)) |
Character conductor: | \(\operatorname{cond}(\chi)\) | \(=\) | \( 9 \) |
Character field: | \(\Q(\zeta_{6})\) | ||
Newform subspaces: | \( 5 \) | ||
Sturm bound: | \(90\) | ||
Trace bound: | \(3\) | ||
Distinguishing \(T_p\): | \(2\) |
Dimensions
The following table gives the dimensions of various subspaces of \(M_{3}(225, [\chi])\).
Total | New | Old | |
---|---|---|---|
Modular forms | 132 | 82 | 50 |
Cusp forms | 108 | 70 | 38 |
Eisenstein series | 24 | 12 | 12 |
Trace form
Decomposition of \(S_{3}^{\mathrm{new}}(225, [\chi])\) into newform subspaces
Label | Dim | $A$ | Field | CM | Traces | $q$-expansion | |||
---|---|---|---|---|---|---|---|---|---|
$a_{2}$ | $a_{3}$ | $a_{5}$ | $a_{7}$ | ||||||
225.3.j.a | $2$ | $6.131$ | \(\Q(\sqrt{-3}) \) | None | \(3\) | \(3\) | \(0\) | \(2\) | \(q+(1+\zeta_{6})q^{2}+(3-3\zeta_{6})q^{3}-\zeta_{6}q^{4}+\cdots\) |
225.3.j.b | $16$ | $6.131$ | \(\mathbb{Q}[x]/(x^{16} + \cdots)\) | None | \(0\) | \(-4\) | \(0\) | \(-2\) | \(q+(\beta _{1}-\beta _{3})q^{2}+(-\beta _{8}-\beta _{11})q^{3}+(2+\cdots)q^{4}+\cdots\) |
225.3.j.c | $16$ | $6.131$ | \(\mathbb{Q}[x]/(x^{16} + \cdots)\) | None | \(0\) | \(-2\) | \(0\) | \(-1\) | \(q+(-\beta _{1}-\beta _{2})q^{2}+\beta _{3}q^{3}+(-\beta _{3}-2\beta _{4}+\cdots)q^{4}+\cdots\) |
225.3.j.d | $16$ | $6.131$ | \(\mathbb{Q}[x]/(x^{16} + \cdots)\) | None | \(0\) | \(2\) | \(0\) | \(1\) | \(q+(\beta _{1}+\beta _{2})q^{2}-\beta _{3}q^{3}+(-\beta _{3}-2\beta _{4}+\cdots)q^{4}+\cdots\) |
225.3.j.e | $20$ | $6.131$ | \(\mathbb{Q}[x]/(x^{20} + \cdots)\) | None | \(0\) | \(0\) | \(0\) | \(0\) | \(q+\beta _{13}q^{2}+(\beta _{9}+\beta _{12})q^{3}+(2+\beta _{3}+\cdots)q^{4}+\cdots\) |
Decomposition of \(S_{3}^{\mathrm{old}}(225, [\chi])\) into lower level spaces
\( S_{3}^{\mathrm{old}}(225, [\chi]) \cong \) \(S_{3}^{\mathrm{new}}(9, [\chi])\)\(^{\oplus 3}\)\(\oplus\)\(S_{3}^{\mathrm{new}}(45, [\chi])\)\(^{\oplus 2}\)