Defining parameters
Level: | \( N \) | \(=\) | \( 172 = 2^{2} \cdot 43 \) |
Weight: | \( k \) | \(=\) | \( 2 \) |
Character orbit: | \([\chi]\) | \(=\) | 172.e (of order \(3\) and degree \(2\)) |
Character conductor: | \(\operatorname{cond}(\chi)\) | \(=\) | \( 43 \) |
Character field: | \(\Q(\zeta_{3})\) | ||
Newform subspaces: | \( 1 \) | ||
Sturm bound: | \(44\) | ||
Trace bound: | \(0\) |
Dimensions
The following table gives the dimensions of various subspaces of \(M_{2}(172, [\chi])\).
Total | New | Old | |
---|---|---|---|
Modular forms | 50 | 8 | 42 |
Cusp forms | 38 | 8 | 30 |
Eisenstein series | 12 | 0 | 12 |
Trace form
Decomposition of \(S_{2}^{\mathrm{new}}(172, [\chi])\) into newform subspaces
Label | Dim | $A$ | Field | CM | Traces | $q$-expansion | |||
---|---|---|---|---|---|---|---|---|---|
$a_{2}$ | $a_{3}$ | $a_{5}$ | $a_{7}$ | ||||||
172.2.e.a | $8$ | $1.373$ | \(\mathbb{Q}[x]/(x^{8} - \cdots)\) | None | \(0\) | \(-3\) | \(0\) | \(2\) | \(q+(-1+\beta _{1}-\beta _{2})q^{3}-\beta _{5}q^{5}+(-\beta _{4}+\cdots)q^{7}+\cdots\) |
Decomposition of \(S_{2}^{\mathrm{old}}(172, [\chi])\) into lower level spaces
\( S_{2}^{\mathrm{old}}(172, [\chi]) \cong \) \(S_{2}^{\mathrm{new}}(43, [\chi])\)\(^{\oplus 3}\)\(\oplus\)\(S_{2}^{\mathrm{new}}(86, [\chi])\)\(^{\oplus 2}\)