Properties

Label 225.2.a
Level 225
Weight 2
Character orbit a
Rep. character \(\chi_{225}(1,\cdot)\)
Character field \(\Q\)
Dimension 7
Newforms 6
Sturm bound 60
Trace bound 7

Related objects

Downloads

Learn more about

Defining parameters

Level: \( N \) = \( 225 = 3^{2} \cdot 5^{2} \)
Weight: \( k \) = \( 2 \)
Character orbit: \([\chi]\) = 225.a (trivial)
Character field: \(\Q\)
Newforms: \( 6 \)
Sturm bound: \(60\)
Trace bound: \(7\)
Distinguishing \(T_p\): \(2\), \(7\)

Dimensions

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

Total New Old
Modular forms 42 10 32
Cusp forms 19 7 12
Eisenstein series 23 3 20

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

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

Trace form

\( 7q - q^{2} + 5q^{4} + 3q^{8} + O(q^{10}) \) \( 7q - q^{2} + 5q^{4} + 3q^{8} + 2q^{13} + 12q^{14} - 3q^{16} + 2q^{17} - 4q^{22} - 6q^{26} - 18q^{29} - 4q^{31} - 5q^{32} - 14q^{34} + 10q^{37} - 4q^{38} + 6q^{41} - 4q^{43} - 12q^{44} - 16q^{46} + 8q^{47} + 19q^{49} - 2q^{52} - 10q^{53} - 2q^{58} + 24q^{59} - 10q^{61} - 51q^{64} - 12q^{67} - 2q^{68} + 24q^{71} - 10q^{73} - 18q^{74} + 4q^{76} + 24q^{79} + 10q^{82} + 12q^{83} + 12q^{88} + 6q^{89} + 44q^{91} + 40q^{94} - 2q^{97} + 7q^{98} + O(q^{100}) \)

Decomposition of \(S_{2}^{\mathrm{new}}(\Gamma_0(225))\) into irreducible Hecke orbits

Label Dim. \(A\) Field CM Traces A-L signs $q$-expansion
\(a_2\) \(a_3\) \(a_5\) \(a_7\) 3 5
225.2.a.a \(1\) \(1.797\) \(\Q\) None \(-2\) \(0\) \(0\) \(-3\) \(-\) \(-\) \(q-2q^{2}+2q^{4}-3q^{7}-2q^{11}+q^{13}+\cdots\)
225.2.a.b \(1\) \(1.797\) \(\Q\) None \(-1\) \(0\) \(0\) \(0\) \(-\) \(+\) \(q-q^{2}-q^{4}+3q^{8}+4q^{11}+2q^{13}+\cdots\)
225.2.a.c \(1\) \(1.797\) \(\Q\) \(\Q(\sqrt{-3}) \) \(0\) \(0\) \(0\) \(-5\) \(+\) \(+\) \(q-2q^{4}-5q^{7}-5q^{13}+4q^{16}-q^{19}+\cdots\)
225.2.a.d \(1\) \(1.797\) \(\Q\) \(\Q(\sqrt{-3}) \) \(0\) \(0\) \(0\) \(5\) \(+\) \(-\) \(q-2q^{4}+5q^{7}+5q^{13}+4q^{16}-q^{19}+\cdots\)
225.2.a.e \(1\) \(1.797\) \(\Q\) None \(2\) \(0\) \(0\) \(3\) \(-\) \(+\) \(q+2q^{2}+2q^{4}+3q^{7}-2q^{11}-q^{13}+\cdots\)
225.2.a.f \(2\) \(1.797\) \(\Q(\sqrt{5}) \) \(\Q(\sqrt{-15}) \) \(0\) \(0\) \(0\) \(0\) \(+\) \(-\) \(q-\beta q^{2}+3q^{4}-\beta q^{8}-q^{16}+2\beta q^{17}+\cdots\)

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

\( S_{2}^{\mathrm{old}}(\Gamma_0(225)) \cong \) \(S_{2}^{\mathrm{new}}(\Gamma_0(15))\)\(^{\oplus 4}\)\(\oplus\)\(S_{2}^{\mathrm{new}}(\Gamma_0(45))\)\(^{\oplus 2}\)\(\oplus\)\(S_{2}^{\mathrm{new}}(\Gamma_0(75))\)\(^{\oplus 2}\)