Properties

Label 729.2.e
Level $729$
Weight $2$
Character orbit 729.e
Rep. character $\chi_{729}(82,\cdot)$
Character field $\Q(\zeta_{9})$
Dimension $198$
Newform subspaces $21$
Sturm bound $162$
Trace bound $19$

Related objects

Downloads

Learn more

Defining parameters

Level: \( N \) \(=\) \( 729 = 3^{6} \)
Weight: \( k \) \(=\) \( 2 \)
Character orbit: \([\chi]\) \(=\) 729.e (of order \(9\) and degree \(6\))
Character conductor: \(\operatorname{cond}(\chi)\) \(=\) \( 27 \)
Character field: \(\Q(\zeta_{9})\)
Newform subspaces: \( 21 \)
Sturm bound: \(162\)
Trace bound: \(19\)
Distinguishing \(T_p\): \(2\), \(5\), \(7\)

Dimensions

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

Total New Old
Modular forms 594 234 360
Cusp forms 378 198 180
Eisenstein series 216 36 180

Trace form

\( 198 q + O(q^{10}) \) \( 198 q + 18 q^{10} + 18 q^{19} - 36 q^{28} + 18 q^{37} + 18 q^{46} - 36 q^{55} - 18 q^{64} - 117 q^{73} - 36 q^{82} - 117 q^{91} + O(q^{100}) \)

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

Label Dim. \(A\) Field CM Traces $q$-expansion
\(a_2\) \(a_3\) \(a_5\) \(a_7\)
729.2.e.a \(6\) \(5.821\) \(\Q(\zeta_{18})\) None \(-6\) \(0\) \(-3\) \(-9\) \(q+(-1-\zeta_{18}+\zeta_{18}^{4}+\zeta_{18}^{5})q^{2}+\cdots\)
729.2.e.b \(6\) \(5.821\) \(\Q(\zeta_{18})\) None \(-3\) \(0\) \(-6\) \(9\) \(q+(-1+\zeta_{18}-\zeta_{18}^{2}+\zeta_{18}^{3}-\zeta_{18}^{4}+\cdots)q^{2}+\cdots\)
729.2.e.c \(6\) \(5.821\) \(\Q(\zeta_{18})\) None \(-3\) \(0\) \(3\) \(0\) \(q+(\zeta_{18}+\zeta_{18}^{2}-\zeta_{18}^{3}-\zeta_{18}^{4})q^{2}+\cdots\)
729.2.e.d \(6\) \(5.821\) \(\Q(\zeta_{18})\) \(\Q(\sqrt{-3}) \) \(0\) \(0\) \(0\) \(0\) \(q+2\zeta_{18}^{5}q^{4}+5\zeta_{18}^{4}q^{7}+2\zeta_{18}^{2}q^{13}+\cdots\)
729.2.e.e \(6\) \(5.821\) \(\Q(\zeta_{18})\) \(\Q(\sqrt{-3}) \) \(0\) \(0\) \(0\) \(0\) \(q+2\zeta_{18}^{5}q^{4}-4\zeta_{18}^{4}q^{7}-7\zeta_{18}^{2}q^{13}+\cdots\)
729.2.e.f \(6\) \(5.821\) \(\Q(\zeta_{18})\) \(\Q(\sqrt{-3}) \) \(0\) \(0\) \(0\) \(0\) \(q+2\zeta_{18}^{5}q^{4}-\zeta_{18}^{4}q^{7}+5\zeta_{18}^{2}q^{13}+\cdots\)
729.2.e.g \(6\) \(5.821\) \(\Q(\zeta_{18})\) None \(3\) \(0\) \(6\) \(9\) \(q+(1-\zeta_{18}+\zeta_{18}^{2}-\zeta_{18}^{3}+\zeta_{18}^{4}+\cdots)q^{2}+\cdots\)
729.2.e.h \(6\) \(5.821\) \(\Q(\zeta_{18})\) None \(3\) \(0\) \(-3\) \(0\) \(q+(-\zeta_{18}-\zeta_{18}^{2}+\zeta_{18}^{3}+\zeta_{18}^{4}+\cdots)q^{2}+\cdots\)
729.2.e.i \(6\) \(5.821\) \(\Q(\zeta_{18})\) None \(6\) \(0\) \(3\) \(-9\) \(q+(1+\zeta_{18}-\zeta_{18}^{4}-\zeta_{18}^{5})q^{2}+(1+\cdots)q^{4}+\cdots\)
729.2.e.j \(12\) \(5.821\) \(\mathbb{Q}[x]/(x^{12} + \cdots)\) None \(-6\) \(0\) \(6\) \(-3\) \(q+(-1-\beta _{6}-\beta _{7}+\beta _{11})q^{2}+(1-\beta _{1}+\cdots)q^{4}+\cdots\)
729.2.e.k \(12\) \(5.821\) \(\mathbb{Q}[x]/(x^{12} + \cdots)\) None \(-3\) \(0\) \(-6\) \(6\) \(q+(-\beta _{5}-\beta _{7}+\beta _{10})q^{2}+(-1+\beta _{4}+\cdots)q^{4}+\cdots\)
729.2.e.l \(12\) \(5.821\) \(\mathbb{Q}[x]/(x^{12} + \cdots)\) None \(-3\) \(0\) \(12\) \(-3\) \(q+\beta _{2}q^{2}+(-2\beta _{1}-\beta _{2}+\beta _{3}-\beta _{5}+\cdots)q^{4}+\cdots\)
729.2.e.m \(12\) \(5.821\) \(\Q(\zeta_{36})\) None \(0\) \(0\) \(0\) \(6\) \(q+(-\zeta_{36}^{2}+\zeta_{36}^{7}-\zeta_{36}^{9}+\zeta_{36}^{11})q^{2}+\cdots\)
729.2.e.n \(12\) \(5.821\) \(\Q(\zeta_{36})\) None \(0\) \(0\) \(0\) \(0\) \(q-\zeta_{36}^{8}q^{2}+(-\zeta_{36}^{2}+\zeta_{36}^{7})q^{4}+\cdots\)
729.2.e.o \(12\) \(5.821\) \(\Q(\zeta_{36})\) None \(0\) \(0\) \(0\) \(0\) \(q-\zeta_{36}^{8}q^{2}+(-\zeta_{36}^{2}+\zeta_{36}^{7})q^{4}+\cdots\)
729.2.e.p \(12\) \(5.821\) 12.0.\(\cdots\).1 None \(0\) \(0\) \(0\) \(0\) \(q+\beta _{4}q^{2}+4\beta _{5}q^{4}+\beta _{11}q^{5}-2\beta _{7}q^{7}+\cdots\)
729.2.e.q \(12\) \(5.821\) \(\Q(\zeta_{36})\) None \(0\) \(0\) \(0\) \(-12\) \(q+\zeta_{36}^{9}q^{2}+(1+\zeta_{36}-\zeta_{36}^{4})q^{4}+\cdots\)
729.2.e.r \(12\) \(5.821\) \(\Q(\zeta_{36})\) None \(0\) \(0\) \(0\) \(6\) \(q+(-\zeta_{36}^{9}+\zeta_{36}^{10})q^{2}+(1+\zeta_{36}^{3}+\cdots)q^{4}+\cdots\)
729.2.e.s \(12\) \(5.821\) \(\mathbb{Q}[x]/(x^{12} + \cdots)\) None \(3\) \(0\) \(-12\) \(-3\) \(q+(1-\beta _{5}+\beta _{6}+\beta _{10}-\beta _{11})q^{2}+(\beta _{1}+\cdots)q^{4}+\cdots\)
729.2.e.t \(12\) \(5.821\) \(\mathbb{Q}[x]/(x^{12} + \cdots)\) None \(3\) \(0\) \(6\) \(6\) \(q+(\beta _{1}+\beta _{2}+\beta _{5}-\beta _{6}-\beta _{8})q^{2}+(1+\cdots)q^{4}+\cdots\)
729.2.e.u \(12\) \(5.821\) \(\mathbb{Q}[x]/(x^{12} + \cdots)\) None \(6\) \(0\) \(-6\) \(-3\) \(q+(\beta _{1}+\beta _{5}-\beta _{6}-\beta _{8})q^{2}+(-1+2\beta _{1}+\cdots)q^{4}+\cdots\)

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

\( S_{2}^{\mathrm{old}}(729, [\chi]) \cong \) \(S_{2}^{\mathrm{new}}(27, [\chi])\)\(^{\oplus 4}\)\(\oplus\)\(S_{2}^{\mathrm{new}}(81, [\chi])\)\(^{\oplus 3}\)\(\oplus\)\(S_{2}^{\mathrm{new}}(243, [\chi])\)\(^{\oplus 2}\)