Properties

Label 25.20.b
Level $25$
Weight $20$
Character orbit 25.b
Rep. character $\chi_{25}(24,\cdot)$
Character field $\Q$
Dimension $28$
Newform subspaces $4$
Sturm bound $50$
Trace bound $1$

Related objects

Downloads

Learn more

Defining parameters

Level: \( N \) \(=\) \( 25 = 5^{2} \)
Weight: \( k \) \(=\) \( 20 \)
Character orbit: \([\chi]\) \(=\) 25.b (of order \(2\) and degree \(1\))
Character conductor: \(\operatorname{cond}(\chi)\) \(=\) \( 5 \)
Character field: \(\Q\)
Newform subspaces: \( 4 \)
Sturm bound: \(50\)
Trace bound: \(1\)
Distinguishing \(T_p\): \(2\)

Dimensions

The following table gives the dimensions of various subspaces of \(M_{20}(25, [\chi])\).

Total New Old
Modular forms 50 30 20
Cusp forms 44 28 16
Eisenstein series 6 2 4

Trace form

\( 28 q - 7244274 q^{4} - 25838294 q^{6} - 13248392296 q^{9} + O(q^{10}) \) \( 28 q - 7244274 q^{4} - 25838294 q^{6} - 13248392296 q^{9} + 3576190376 q^{11} - 233153027748 q^{14} + 2144108432898 q^{16} - 5030912318040 q^{19} + 11366659013976 q^{21} - 3788858676270 q^{24} - 89055298503424 q^{26} + 167957033611040 q^{29} + 332621128168816 q^{31} + 57269533299982 q^{34} + 3389103676435268 q^{36} - 557536681279712 q^{39} + 10525049149238236 q^{41} + 680320611550142 q^{44} + 9177595589517996 q^{46} - 20151324759760204 q^{49} + 12480841948505416 q^{51} - 105563178229207390 q^{54} + 262637355624882060 q^{56} - 300940699209479120 q^{59} + 792772577017054776 q^{61} - 908659597976133154 q^{64} + 2055485881524445802 q^{66} + 276916379226085848 q^{69} + 2767906288250466496 q^{71} - 4089464122876277308 q^{74} + 8192767121713713170 q^{76} - 2429752815632698960 q^{79} + 15794075076234795148 q^{81} - 12933638840387139108 q^{84} + 20014154261751965336 q^{86} + 2271045971710073820 q^{89} - 5125195239745667104 q^{91} - 2196292630515562328 q^{94} - 56302344539867436514 q^{96} + 32874134756303563168 q^{99} + O(q^{100}) \)

Decomposition of \(S_{20}^{\mathrm{new}}(25, [\chi])\) into newform subspaces

Label Char Prim Dim $A$ Field CM Traces Sato-Tate $q$-expansion
$a_{2}$ $a_{3}$ $a_{5}$ $a_{7}$
25.20.b.a 25.b 5.b $2$ $57.204$ \(\Q(\sqrt{-1}) \) None \(0\) \(0\) \(0\) \(0\) $\mathrm{SU}(2)[C_{2}]$ \(q+228iq^{2}-25326iq^{3}+316352q^{4}+\cdots\)
25.20.b.b 25.b 5.b $6$ $57.204$ \(\mathbb{Q}[x]/(x^{6} + \cdots)\) None \(0\) \(0\) \(0\) \(0\) $\mathrm{SU}(2)[C_{2}]$ \(q+(-\beta _{1}+\beta _{2})q^{2}+(92\beta _{1}-18\beta _{2}+13\beta _{4}+\cdots)q^{3}+\cdots\)
25.20.b.c 25.b 5.b $8$ $57.204$ \(\mathbb{Q}[x]/(x^{8} - \cdots)\) None \(0\) \(0\) \(0\) \(0\) $\mathrm{SU}(2)[C_{2}]$ \(q+\beta _{2}q^{2}+(14\beta _{2}+\beta _{3}-\beta _{6})q^{3}+(-521248+\cdots)q^{4}+\cdots\)
25.20.b.d 25.b 5.b $12$ $57.204$ \(\mathbb{Q}[x]/(x^{12} + \cdots)\) None \(0\) \(0\) \(0\) \(0\) $\mathrm{SU}(2)[C_{2}]$ \(q+\beta _{6}q^{2}+(8\beta _{6}+\beta _{8})q^{3}+(-387^{2}+\cdots)q^{4}+\cdots\)

Decomposition of \(S_{20}^{\mathrm{old}}(25, [\chi])\) into lower level spaces

\( S_{20}^{\mathrm{old}}(25, [\chi]) \cong \) \(S_{20}^{\mathrm{new}}(5, [\chi])\)\(^{\oplus 2}\)