Properties

Label 720.4.a
Level $720$
Weight $4$
Character orbit 720.a
Rep. character $\chi_{720}(1,\cdot)$
Character field $\Q$
Dimension $30$
Newform subspaces $30$
Sturm bound $576$
Trace bound $11$

Related objects

Downloads

Learn more

Defining parameters

Level: \( N \) \(=\) \( 720 = 2^{4} \cdot 3^{2} \cdot 5 \)
Weight: \( k \) \(=\) \( 4 \)
Character orbit: \([\chi]\) \(=\) 720.a (trivial)
Character field: \(\Q\)
Newform subspaces: \( 30 \)
Sturm bound: \(576\)
Trace bound: \(11\)
Distinguishing \(T_p\): \(7\), \(11\)

Dimensions

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

Total New Old
Modular forms 456 30 426
Cusp forms 408 30 378
Eisenstein series 48 0 48

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

\(2\)\(3\)\(5\)FrickeDim.
\(+\)\(+\)\(+\)\(+\)\(3\)
\(+\)\(+\)\(-\)\(-\)\(3\)
\(+\)\(-\)\(+\)\(-\)\(4\)
\(+\)\(-\)\(-\)\(+\)\(5\)
\(-\)\(+\)\(+\)\(-\)\(3\)
\(-\)\(+\)\(-\)\(+\)\(3\)
\(-\)\(-\)\(+\)\(+\)\(5\)
\(-\)\(-\)\(-\)\(-\)\(4\)
Plus space\(+\)\(16\)
Minus space\(-\)\(14\)

Trace form

\( 30q - 22q^{7} + O(q^{10}) \) \( 30q - 22q^{7} - 20q^{11} + 76q^{17} - 192q^{19} - 302q^{23} + 750q^{25} - 172q^{29} + 12q^{31} + 210q^{35} - 8q^{37} + 168q^{41} - 494q^{43} - 842q^{47} + 1882q^{49} + 768q^{53} + 220q^{55} + 1424q^{59} + 656q^{61} - 140q^{65} - 954q^{67} - 2220q^{71} + 612q^{73} + 112q^{77} + 1800q^{79} + 2486q^{83} - 120q^{85} + 1404q^{89} - 796q^{91} - 760q^{95} - 340q^{97} + O(q^{100}) \)

Decomposition of \(S_{4}^{\mathrm{new}}(\Gamma_0(720))\) into newform subspaces

Label Dim. \(A\) Field CM Traces A-L signs $q$-expansion
\(a_2\) \(a_3\) \(a_5\) \(a_7\) 2 3 5
720.4.a.a \(1\) \(42.481\) \(\Q\) None \(0\) \(0\) \(-5\) \(-34\) \(+\) \(+\) \(+\) \(q-5q^{5}-34q^{7}-18q^{11}+12q^{13}+\cdots\)
720.4.a.b \(1\) \(42.481\) \(\Q\) None \(0\) \(0\) \(-5\) \(-32\) \(-\) \(-\) \(+\) \(q-5q^{5}-2^{5}q^{7}-60q^{11}-34q^{13}+\cdots\)
720.4.a.c \(1\) \(42.481\) \(\Q\) None \(0\) \(0\) \(-5\) \(-32\) \(-\) \(-\) \(+\) \(q-5q^{5}-2^{5}q^{7}+6^{2}q^{11}-10q^{13}+\cdots\)
720.4.a.d \(1\) \(42.481\) \(\Q\) None \(0\) \(0\) \(-5\) \(-16\) \(+\) \(-\) \(+\) \(q-5q^{5}-2^{4}q^{7}+6^{2}q^{11}-42q^{13}+\cdots\)
720.4.a.e \(1\) \(42.481\) \(\Q\) None \(0\) \(0\) \(-5\) \(-14\) \(-\) \(+\) \(+\) \(q-5q^{5}-14q^{7}-6q^{11}+68q^{13}+\cdots\)
720.4.a.f \(1\) \(42.481\) \(\Q\) None \(0\) \(0\) \(-5\) \(-8\) \(+\) \(-\) \(+\) \(q-5q^{5}-8q^{7}+20q^{11}+22q^{13}+\cdots\)
720.4.a.g \(1\) \(42.481\) \(\Q\) None \(0\) \(0\) \(-5\) \(-2\) \(+\) \(+\) \(+\) \(q-5q^{5}-2q^{7}-34q^{11}-68q^{13}+\cdots\)
720.4.a.h \(1\) \(42.481\) \(\Q\) None \(0\) \(0\) \(-5\) \(-2\) \(-\) \(+\) \(+\) \(q-5q^{5}-2q^{7}+30q^{11}-4q^{13}-90q^{17}+\cdots\)
720.4.a.i \(1\) \(42.481\) \(\Q\) None \(0\) \(0\) \(-5\) \(0\) \(+\) \(-\) \(+\) \(q-5q^{5}+4q^{11}+54q^{13}-114q^{17}+\cdots\)
720.4.a.j \(1\) \(42.481\) \(\Q\) None \(0\) \(0\) \(-5\) \(4\) \(-\) \(-\) \(+\) \(q-5q^{5}+4q^{7}+12q^{11}-58q^{13}+\cdots\)
720.4.a.k \(1\) \(42.481\) \(\Q\) None \(0\) \(0\) \(-5\) \(16\) \(-\) \(-\) \(+\) \(q-5q^{5}+2^{4}q^{7}-60q^{11}+86q^{13}+\cdots\)
720.4.a.l \(1\) \(42.481\) \(\Q\) None \(0\) \(0\) \(-5\) \(16\) \(+\) \(-\) \(+\) \(q-5q^{5}+2^{4}q^{7}-28q^{11}-26q^{13}+\cdots\)
720.4.a.m \(1\) \(42.481\) \(\Q\) None \(0\) \(0\) \(-5\) \(18\) \(+\) \(+\) \(+\) \(q-5q^{5}+18q^{7}+34q^{11}+12q^{13}+\cdots\)
720.4.a.n \(1\) \(42.481\) \(\Q\) None \(0\) \(0\) \(-5\) \(24\) \(-\) \(-\) \(+\) \(q-5q^{5}+24q^{7}+52q^{11}+22q^{13}+\cdots\)
720.4.a.o \(1\) \(42.481\) \(\Q\) None \(0\) \(0\) \(-5\) \(30\) \(-\) \(+\) \(+\) \(q-5q^{5}+30q^{7}-50q^{11}-20q^{13}+\cdots\)
720.4.a.p \(1\) \(42.481\) \(\Q\) None \(0\) \(0\) \(5\) \(-34\) \(+\) \(+\) \(-\) \(q+5q^{5}-34q^{7}+18q^{11}+12q^{13}+\cdots\)
720.4.a.q \(1\) \(42.481\) \(\Q\) None \(0\) \(0\) \(5\) \(-20\) \(+\) \(-\) \(-\) \(q+5q^{5}-20q^{7}-56q^{11}-86q^{13}+\cdots\)
720.4.a.r \(1\) \(42.481\) \(\Q\) None \(0\) \(0\) \(5\) \(-20\) \(-\) \(-\) \(-\) \(q+5q^{5}-20q^{7}-24q^{11}+74q^{13}+\cdots\)
720.4.a.s \(1\) \(42.481\) \(\Q\) None \(0\) \(0\) \(5\) \(-20\) \(+\) \(-\) \(-\) \(q+5q^{5}-20q^{7}+2^{4}q^{11}+58q^{13}+\cdots\)
720.4.a.t \(1\) \(42.481\) \(\Q\) None \(0\) \(0\) \(5\) \(-14\) \(-\) \(+\) \(-\) \(q+5q^{5}-14q^{7}+6q^{11}+68q^{13}+\cdots\)
720.4.a.u \(1\) \(42.481\) \(\Q\) None \(0\) \(0\) \(5\) \(-6\) \(-\) \(-\) \(-\) \(q+5q^{5}-6q^{7}+2^{5}q^{11}-38q^{13}+\cdots\)
720.4.a.v \(1\) \(42.481\) \(\Q\) None \(0\) \(0\) \(5\) \(-4\) \(+\) \(-\) \(-\) \(q+5q^{5}-4q^{7}+72q^{11}-6q^{13}-38q^{17}+\cdots\)
720.4.a.w \(1\) \(42.481\) \(\Q\) None \(0\) \(0\) \(5\) \(-2\) \(-\) \(+\) \(-\) \(q+5q^{5}-2q^{7}-30q^{11}-4q^{13}+90q^{17}+\cdots\)
720.4.a.x \(1\) \(42.481\) \(\Q\) None \(0\) \(0\) \(5\) \(-2\) \(+\) \(+\) \(-\) \(q+5q^{5}-2q^{7}+34q^{11}-68q^{13}+\cdots\)
720.4.a.y \(1\) \(42.481\) \(\Q\) None \(0\) \(0\) \(5\) \(4\) \(-\) \(-\) \(-\) \(q+5q^{5}+4q^{7}-48q^{11}+2q^{13}+114q^{17}+\cdots\)
720.4.a.z \(1\) \(42.481\) \(\Q\) None \(0\) \(0\) \(5\) \(18\) \(+\) \(+\) \(-\) \(q+5q^{5}+18q^{7}-34q^{11}+12q^{13}+\cdots\)
720.4.a.ba \(1\) \(42.481\) \(\Q\) None \(0\) \(0\) \(5\) \(18\) \(+\) \(-\) \(-\) \(q+5q^{5}+18q^{7}-2^{4}q^{11}-6q^{13}+\cdots\)
720.4.a.bb \(1\) \(42.481\) \(\Q\) None \(0\) \(0\) \(5\) \(28\) \(-\) \(-\) \(-\) \(q+5q^{5}+28q^{7}-24q^{11}-70q^{13}+\cdots\)
720.4.a.bc \(1\) \(42.481\) \(\Q\) None \(0\) \(0\) \(5\) \(30\) \(-\) \(+\) \(-\) \(q+5q^{5}+30q^{7}+50q^{11}-20q^{13}+\cdots\)
720.4.a.bd \(1\) \(42.481\) \(\Q\) None \(0\) \(0\) \(5\) \(34\) \(+\) \(-\) \(-\) \(q+5q^{5}+34q^{7}+2^{4}q^{11}+58q^{13}+\cdots\)

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

\( S_{4}^{\mathrm{old}}(\Gamma_0(720)) \cong \) \(S_{4}^{\mathrm{new}}(\Gamma_0(5))\)\(^{\oplus 15}\)\(\oplus\)\(S_{4}^{\mathrm{new}}(\Gamma_0(6))\)\(^{\oplus 16}\)\(\oplus\)\(S_{4}^{\mathrm{new}}(\Gamma_0(8))\)\(^{\oplus 12}\)\(\oplus\)\(S_{4}^{\mathrm{new}}(\Gamma_0(9))\)\(^{\oplus 10}\)\(\oplus\)\(S_{4}^{\mathrm{new}}(\Gamma_0(10))\)\(^{\oplus 12}\)\(\oplus\)\(S_{4}^{\mathrm{new}}(\Gamma_0(12))\)\(^{\oplus 12}\)\(\oplus\)\(S_{4}^{\mathrm{new}}(\Gamma_0(15))\)\(^{\oplus 10}\)\(\oplus\)\(S_{4}^{\mathrm{new}}(\Gamma_0(16))\)\(^{\oplus 6}\)\(\oplus\)\(S_{4}^{\mathrm{new}}(\Gamma_0(18))\)\(^{\oplus 8}\)\(\oplus\)\(S_{4}^{\mathrm{new}}(\Gamma_0(20))\)\(^{\oplus 9}\)\(\oplus\)\(S_{4}^{\mathrm{new}}(\Gamma_0(24))\)\(^{\oplus 8}\)\(\oplus\)\(S_{4}^{\mathrm{new}}(\Gamma_0(30))\)\(^{\oplus 8}\)\(\oplus\)\(S_{4}^{\mathrm{new}}(\Gamma_0(36))\)\(^{\oplus 6}\)\(\oplus\)\(S_{4}^{\mathrm{new}}(\Gamma_0(40))\)\(^{\oplus 6}\)\(\oplus\)\(S_{4}^{\mathrm{new}}(\Gamma_0(45))\)\(^{\oplus 5}\)\(\oplus\)\(S_{4}^{\mathrm{new}}(\Gamma_0(48))\)\(^{\oplus 4}\)\(\oplus\)\(S_{4}^{\mathrm{new}}(\Gamma_0(60))\)\(^{\oplus 6}\)\(\oplus\)\(S_{4}^{\mathrm{new}}(\Gamma_0(72))\)\(^{\oplus 4}\)\(\oplus\)\(S_{4}^{\mathrm{new}}(\Gamma_0(80))\)\(^{\oplus 3}\)\(\oplus\)\(S_{4}^{\mathrm{new}}(\Gamma_0(90))\)\(^{\oplus 4}\)\(\oplus\)\(S_{4}^{\mathrm{new}}(\Gamma_0(120))\)\(^{\oplus 4}\)\(\oplus\)\(S_{4}^{\mathrm{new}}(\Gamma_0(144))\)\(^{\oplus 2}\)\(\oplus\)\(S_{4}^{\mathrm{new}}(\Gamma_0(180))\)\(^{\oplus 3}\)\(\oplus\)\(S_{4}^{\mathrm{new}}(\Gamma_0(240))\)\(^{\oplus 2}\)\(\oplus\)\(S_{4}^{\mathrm{new}}(\Gamma_0(360))\)\(^{\oplus 2}\)