Space of modular forms of level 54, weight 12, and trivial character

• Label: 54.12.a
• Level: $54$
• Weight: $12$
• Character orbit: 54.a
• Rep. character: $\chi_{54}(1,\cdot)$
• Character field: $\Q$
• Dimension: $14$
• Newform subspaces: $8$
• Sturm bound: $108$
• Trace bound: $5$

Defining parameters

Level:	\( N \)	\(=\)	\( 54 = 2 \cdot 3^{3} \)
Weight:	\( k \)	\(=\)	\( 12 \)
Character orbit:	\([\chi]\)	\(=\)	54.a (trivial)
Character field:			\(\Q\)
Newform subspaces:			\( 8 \)
Sturm bound:			\(108\)
Trace bound:			\(5\)
Distinguishing \(T_p\):			\(5\)

Dimensions

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

	Total	New	Old
Modular forms	105	14	91
Cusp forms	93	14	79
Eisenstein series	12	0	12

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\)	Fricke	Dim
\(+\)	\(+\)	\(+\)	\(4\)
\(+\)	\(-\)	\(-\)	\(3\)
\(-\)	\(+\)	\(-\)	\(3\)
\(-\)	\(-\)	\(+\)	\(4\)
Plus space		\(+\)	\(8\)
Minus space		\(-\)	\(6\)

Trace form

\( 14 q + 14336 q^{4} - 29738 q^{7} + O(q^{10}) \)

Decomposition of \(S_{12}^{\mathrm{new}}(\Gamma_0(54))\) into newform subspaces

Label	Level	Weight	Char	Prim	Char order	Dim	Rel. Dim	$A$	Field	CM	Self-dual	Twist minimal	Largest	Maximal	Minimal twist	Inner twists	Rank*	Traces					A-L signs		Fricke sign	Coefficient ring index	Sato-Tate	$q$-expansion
																		$a_{2}$	$a_{3}$	$a_{5}$	$a_{7}$		2	3
54.12.a.a	$54$	$12$	54.a	1.a	$1$	$1$	$1$	$41.491$	\(\Q\)	None	✓	✓			54.12.a.a	$1$	$1$	\(-32\)	\(0\)	\(5865\)	\(3983\)		$+$	$-$	$-$	$1$	$\mathrm{SU}(2)$	\(q-2^{5}q^{2}+2^{10}q^{4}+5865q^{5}+3983q^{7}+\cdots\)
54.12.a.b	$54$	$12$	54.a	1.a	$1$	$1$	$1$	$41.491$	\(\Q\)	None	✓	✓			54.12.a.a	$1$	$1$	\(32\)	\(0\)	\(-5865\)	\(3983\)		$-$	$+$	$-$	$1$	$\mathrm{SU}(2)$	\(q+2^{5}q^{2}+2^{10}q^{4}-5865q^{5}+3983q^{7}+\cdots\)
54.12.a.c	$54$	$12$	54.a	1.a	$1$	$2$	$2$	$41.491$	\(\Q(\sqrt{43409}) \)	None	✓	✓			54.12.a.c	$1$	$0$	\(-64\)	\(0\)	\(-1068\)	\(-23300\)		$+$	$+$	$+$	$2\cdot 3^{3}$	$\mathrm{SU}(2)$	\(q-2^{5}q^{2}+2^{10}q^{4}+(-534-\beta )q^{5}+\cdots\)
54.12.a.d	$54$	$12$	54.a	1.a	$1$	$2$	$2$	$41.491$	\(\Q(\sqrt{109}) \)	None	✓	✓			54.12.a.d	$1$	$0$	\(-64\)	\(0\)	\(3720\)	\(-6794\)		$+$	$+$	$+$	$2^{3}\cdot 3^{3}$	$\mathrm{SU}(2)$	\(q-2^{5}q^{2}+2^{10}q^{4}+(1860+5\beta )q^{5}+\cdots\)
54.12.a.e	$54$	$12$	54.a	1.a	$1$	$2$	$2$	$41.491$	\(\Q(\sqrt{32641}) \)	None	✓	✓	✓		54.12.a.e	$1$	$1$	\(-64\)	\(0\)	\(4908\)	\(11242\)		$+$	$-$	$-$	$2^{2}\cdot 3^{3}$	$\mathrm{SU}(2)$	\(q-2^{5}q^{2}+2^{10}q^{4}+(2454-\beta )q^{5}+\cdots\)
54.12.a.f	$54$	$12$	54.a	1.a	$1$	$2$	$2$	$41.491$	\(\Q(\sqrt{32641}) \)	None	✓	✓			54.12.a.e	$1$	$0$	\(64\)	\(0\)	\(-4908\)	\(11242\)		$-$	$-$	$+$	$2^{2}\cdot 3^{3}$	$\mathrm{SU}(2)$	\(q+2^{5}q^{2}+2^{10}q^{4}+(-2454-\beta )q^{5}+\cdots\)
54.12.a.g	$54$	$12$	54.a	1.a	$1$	$2$	$2$	$41.491$	\(\Q(\sqrt{109}) \)	None	✓	✓	✓		54.12.a.d	$1$	$1$	\(64\)	\(0\)	\(-3720\)	\(-6794\)		$-$	$+$	$-$	$2^{3}\cdot 3^{3}$	$\mathrm{SU}(2)$	\(q+2^{5}q^{2}+2^{10}q^{4}+(-1860-5\beta )q^{5}+\cdots\)
54.12.a.h	$54$	$12$	54.a	1.a	$1$	$2$	$2$	$41.491$	\(\Q(\sqrt{43409}) \)	None	✓	✓			54.12.a.c	$1$	$0$	\(64\)	\(0\)	\(1068\)	\(-23300\)		$-$	$-$	$+$	$2\cdot 3^{3}$	$\mathrm{SU}(2)$	\(q+2^{5}q^{2}+2^{10}q^{4}+(534-\beta )q^{5}+(-11650+\cdots)q^{7}+\cdots\)

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

\( S_{12}^{\mathrm{old}}(\Gamma_0(54)) \simeq \) \(S_{12}^{\mathrm{new}}(\Gamma_0(1))\)\(^{\oplus 8}\)\(\oplus\)\(S_{12}^{\mathrm{new}}(\Gamma_0(2))\)\(^{\oplus 4}\)\(\oplus\)\(S_{12}^{\mathrm{new}}(\Gamma_0(3))\)\(^{\oplus 6}\)\(\oplus\)\(S_{12}^{\mathrm{new}}(\Gamma_0(6))\)\(^{\oplus 3}\)\(\oplus\)\(S_{12}^{\mathrm{new}}(\Gamma_0(9))\)\(^{\oplus 4}\)\(\oplus\)\(S_{12}^{\mathrm{new}}(\Gamma_0(18))\)\(^{\oplus 2}\)\(\oplus\)\(S_{12}^{\mathrm{new}}(\Gamma_0(27))\)\(^{\oplus 2}\)