Properties

Label 58.2.a
Level $58$
Weight $2$
Character orbit 58.a
Rep. character $\chi_{58}(1,\cdot)$
Character field $\Q$
Dimension $2$
Newform subspaces $2$
Sturm bound $15$
Trace bound $2$

Related objects

Downloads

Learn more about

Defining parameters

Level: \( N \) \(=\) \( 58 = 2 \cdot 29 \)
Weight: \( k \) \(=\) \( 2 \)
Character orbit: \([\chi]\) \(=\) 58.a (trivial)
Character field: \(\Q\)
Newform subspaces: \( 2 \)
Sturm bound: \(15\)
Trace bound: \(2\)
Distinguishing \(T_p\): \(3\)

Dimensions

The following table gives the dimensions of various subspaces of \(M_{2}(\Gamma_0(58))\).

Total New Old
Modular forms 9 2 7
Cusp forms 6 2 4
Eisenstein series 3 0 3

The following table gives the dimensions of the cuspidal new subspaces with specified eigenvalues for the Atkin-Lehner operators and the Fricke involution.

\(2\)\(29\)FrickeDim.
\(+\)\(+\)\(+\)\(1\)
\(-\)\(+\)\(-\)\(1\)
Plus space\(+\)\(1\)
Minus space\(-\)\(1\)

Trace form

\( 2q - 4q^{3} + 2q^{4} - 2q^{5} + 2q^{6} - 4q^{7} + 4q^{9} + O(q^{10}) \) \( 2q - 4q^{3} + 2q^{4} - 2q^{5} + 2q^{6} - 4q^{7} + 4q^{9} + 4q^{10} - 4q^{11} - 4q^{12} + 2q^{13} + 8q^{15} + 2q^{16} + 4q^{17} - 8q^{18} - 8q^{19} - 2q^{20} + 8q^{21} - 2q^{22} + 4q^{23} + 2q^{24} - 4q^{26} - 4q^{27} - 4q^{28} - 2q^{29} - 10q^{30} + 6q^{33} + 12q^{34} + 4q^{35} + 4q^{36} + 8q^{38} - 8q^{39} + 4q^{40} - 4q^{42} - 4q^{43} - 4q^{44} - 20q^{45} + 4q^{46} + 24q^{47} - 4q^{48} - 6q^{49} - 8q^{50} + 4q^{51} + 2q^{52} - 10q^{53} + 14q^{54} + 24q^{57} - 4q^{59} + 8q^{60} - 4q^{61} - 6q^{62} - 8q^{63} + 2q^{64} - 10q^{65} - 16q^{67} + 4q^{68} - 4q^{69} - 8q^{70} - 8q^{72} - 8q^{73} + 16q^{74} - 8q^{75} - 8q^{76} + 8q^{77} + 10q^{78} + 8q^{79} - 2q^{80} + 10q^{81} + 4q^{82} + 4q^{83} + 8q^{84} + 20q^{85} - 18q^{86} + 4q^{87} - 2q^{88} - 16q^{89} + 16q^{90} - 4q^{91} + 4q^{92} - 6q^{93} + 2q^{94} + 24q^{95} + 2q^{96} - 8q^{97} + O(q^{100}) \)

Decomposition of \(S_{2}^{\mathrm{new}}(\Gamma_0(58))\) into newform subspaces

Label Dim. \(A\) Field CM Traces A-L signs $q$-expansion
\(a_2\) \(a_3\) \(a_5\) \(a_7\) 2 29
58.2.a.a \(1\) \(0.463\) \(\Q\) None \(-1\) \(-3\) \(-3\) \(-2\) \(+\) \(+\) \(q-q^{2}-3q^{3}+q^{4}-3q^{5}+3q^{6}-2q^{7}+\cdots\)
58.2.a.b \(1\) \(0.463\) \(\Q\) None \(1\) \(-1\) \(1\) \(-2\) \(-\) \(+\) \(q+q^{2}-q^{3}+q^{4}+q^{5}-q^{6}-2q^{7}+\cdots\)

Decomposition of \(S_{2}^{\mathrm{old}}(\Gamma_0(58))\) into lower level spaces

\( S_{2}^{\mathrm{old}}(\Gamma_0(58)) \cong \) \(S_{2}^{\mathrm{new}}(\Gamma_0(29))\)\(^{\oplus 2}\)