LMFDB - Space of modular forms of level 3509, weight 2, and trivial character

Defining parameters

Level:	$ N $	$=$	$ 3509 = 11^{2} \cdot 29 $
Weight:	$ k $	$=$	$ 2 $
Character orbit:	$[\chi]$	$=$	3509.a (trivial)
Character field:			$\Q$
Newform subspaces:			$ 26 $
Sturm bound:			$660$
Trace bound:			$6$
Distinguishing $T_p$:			$2$, $3$, $7$

Dimensions

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

	Total	New	Old
Modular forms	342	255	87
Cusp forms	319	255	64
Eisenstein series	23	0	23

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

$11$	$29$	Fricke	Dim
$+$	$+$	$+$	$57$
$+$	$-$	$-$	$69$
$-$	$+$	$-$	$72$
$-$	$-$	$+$	$57$
Plus space		$+$	$114$
Minus space		$-$	$141$

Trace form

$ 255 q - q^{2} - 2 q^{3} + 261 q^{4} - 4 q^{5} + 2 q^{6} + 4 q^{7} + 3 q^{8} + 249 q^{9} + O(q^{10}) $

$ 255 q - q^{2} - 2 q^{3} + 261 q^{4} - 4 q^{5} + 2 q^{6} + 4 q^{7} + 3 q^{8} + 249 q^{9} - 6 q^{12} + 8 q^{13} + 8 q^{14} + 2 q^{15} + 257 q^{16} - 14 q^{17} + 5 q^{18} + 4 q^{19} - 28 q^{20} - 4 q^{23} - 6 q^{24} + 243 q^{25} - 40 q^{26} - 2 q^{27} + 12 q^{28} - 3 q^{29} + 2 q^{30} + 22 q^{31} + 15 q^{32} - 10 q^{34} + 243 q^{36} + 2 q^{37} - 28 q^{38} + 10 q^{39} + 16 q^{40} - 22 q^{41} + 12 q^{42} - 18 q^{43} - 62 q^{45} + 28 q^{46} - 2 q^{47} - 10 q^{48} + 251 q^{49} + 19 q^{50} + 28 q^{51} + 16 q^{52} - 36 q^{53} - 18 q^{54} - 40 q^{56} + 4 q^{57} + q^{58} - 36 q^{59} + 46 q^{60} + 26 q^{61} - 10 q^{62} + 48 q^{63} + 289 q^{64} - 2 q^{65} - 8 q^{67} - 42 q^{68} - 16 q^{69} + 4 q^{70} - 24 q^{71} + 57 q^{72} + 6 q^{73} - 22 q^{74} - 36 q^{75} + 52 q^{76} + 42 q^{78} + 14 q^{79} - 68 q^{80} + 227 q^{81} - 18 q^{82} + 24 q^{84} - 36 q^{85} - 62 q^{86} - 6 q^{87} - 38 q^{89} + 50 q^{90} + 32 q^{91} - 32 q^{92} + 26 q^{93} - 26 q^{94} - 12 q^{95} - 78 q^{96} + 42 q^{97} + 19 q^{98} + O(q^{100}) $

Display 100 coefficients 10 coefficients

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

Label	Level	Weight	Char	Prim	Char order	Dim	Rel. Dim	$A$	Field	CM	Self-dual	Inner twists	Rank*	Traces				A-L signs		Fricke sign	Coefficient ring index	Sato-Tate	$q$-expansion
Label	Level	Weight	Char	Prim	Char order	Dim	Rel. Dim	$A$	Field	CM	Self-dual	Inner twists	Rank*	$a_{2}$	$a_{3}$	$a_{5}$	$a_{7}$	11	29	Fricke sign	Coefficient ring index	Sato-Tate	$q$-expansion
3509.2.a.a	$3509$	$2$	3509.a	1.a	$1$	$1$	$1$	$28.020$	$\Q$	None	✓	$1$	$2$	$-2$	$-3$	$1$	$-4$	$-$	$+$	$-$	$1$	$\mathrm{SU}(2)$	$q-2q^{2}-3q^{3}+2q^{4}+q^{5}+6q^{6}+\cdots$
3509.2.a.b	$3509$	$2$	3509.a	1.a	$1$	$1$	$1$	$28.020$	$\Q$	None	✓	$1$	$2$	$-2$	$0$	$-2$	$-1$	$-$	$+$	$-$	$1$	$\mathrm{SU}(2)$	$q-2q^{2}+2q^{4}-2q^{5}-q^{7}-3q^{9}+\cdots$
3509.2.a.c	$3509$	$2$	3509.a	1.a	$1$	$1$	$1$	$28.020$	$\Q$	None	✓	$1$	$0$	$-2$	$2$	$-2$	$1$	$-$	$+$	$-$	$1$	$\mathrm{SU}(2)$	$q-2q^{2}+2q^{3}+2q^{4}-2q^{5}-4q^{6}+\cdots$
3509.2.a.d	$3509$	$2$	3509.a	1.a	$1$	$1$	$1$	$28.020$	$\Q$	None	✓	$1$	$1$	$2$	$0$	$-2$	$1$	$-$	$-$	$+$	$1$	$\mathrm{SU}(2)$	$q+2q^{2}+2q^{4}-2q^{5}+q^{7}-3q^{9}+\cdots$
3509.2.a.e	$3509$	$2$	3509.a	1.a	$1$	$1$	$1$	$28.020$	$\Q$	None	✓	$1$	$1$	$2$	$2$	$-2$	$-1$	$-$	$-$	$+$	$1$	$\mathrm{SU}(2)$	$q+2q^{2}+2q^{3}+2q^{4}-2q^{5}+4q^{6}+\cdots$
3509.2.a.f	$3509$	$2$	3509.a	1.a	$1$	$2$	$2$	$28.020$	$\Q(\sqrt{5}) $	None	✓	$1$	$0$	$-1$	$3$	$2$	$-1$	$-$	$+$	$-$	$1$	$\mathrm{SU}(2)$	$q-\beta q^{2}+(2-\beta )q^{3}+(-1+\beta )q^{4}+(2+\cdots)q^{5}+\cdots$
3509.2.a.g	$3509$	$2$	3509.a	1.a	$1$	$2$	$2$	$28.020$	$\Q(\sqrt{2}) $	None	✓	$1$	$0$	$0$	$0$	$0$	$2$	$-$	$+$	$-$	$1$	$\mathrm{SU}(2)$	$q+\beta q^{2}-\beta q^{3}+2\beta q^{5}-2q^{6}+(1+2\beta )q^{7}+\cdots$
3509.2.a.h	$3509$	$2$	3509.a	1.a	$1$	$2$	$2$	$28.020$	$\Q(\sqrt{2}) $	None	✓	$1$	$1$	$0$	$0$	$0$	$-2$	$-$	$-$	$+$	$1$	$\mathrm{SU}(2)$	$q+\beta q^{2}+\beta q^{3}-2\beta q^{5}+2q^{6}+(-1+\cdots)q^{7}+\cdots$
3509.2.a.i	$3509$	$2$	3509.a	1.a	$1$	$2$	$2$	$28.020$	$\Q(\sqrt{5}) $	None	✓	$1$	$0$	$1$	$3$	$2$	$1$	$+$	$-$	$-$	$1$	$\mathrm{SU}(2)$	$q+\beta q^{2}+(2-\beta )q^{3}+(-1+\beta )q^{4}+(2+\cdots)q^{5}+\cdots$
3509.2.a.j	$3509$	$2$	3509.a	1.a	$1$	$2$	$2$	$28.020$	$\Q(\sqrt{2}) $	None	✓	$1$	$0$	$2$	$2$	$-2$	$0$	$-$	$+$	$-$	$1$	$\mathrm{SU}(2)$	$q+(1+\beta )q^{2}+(1+\beta )q^{3}+(1+2\beta )q^{4}+\cdots$
3509.2.a.k	$3509$	$2$	3509.a	1.a	$1$	$3$	$3$	$28.020$	$\Q(\zeta_{18})^+$	None	✓	$1$	$0$	$0$	$0$	$-6$	$3$	$-$	$+$	$-$	$1$	$\mathrm{SU}(2)$	$q-\beta _{1}q^{2}-\beta _{1}q^{3}+\beta _{2}q^{4}+(-2+\beta _{1}+\cdots)q^{5}+\cdots$
3509.2.a.l	$3509$	$2$	3509.a	1.a	$1$	$4$	$4$	$28.020$	4.4.2777.1	None	✓	$1$	$1$	$2$	$-3$	$-5$	$-1$	$-$	$-$	$+$	$1$	$\mathrm{SU}(2)$	$q+(1-\beta _{3})q^{2}+(-1+\beta _{1})q^{3}+(1-\beta _{2}+\cdots)q^{4}+\cdots$
3509.2.a.m	$3509$	$2$	3509.a	1.a	$1$	$7$	$7$	$28.020$	$\mathbb{Q}[x]/(x^{7} - \cdots)$	None	✓	$1$	$1$	$-3$	$0$	$4$	$-1$	$-$	$-$	$+$	$1$	$\mathrm{SU}(2)$	$q-\beta _{1}q^{2}+(\beta _{4}-\beta _{5}+\beta _{6})q^{3}+(\beta _{1}+\beta _{2}+\cdots)q^{4}+\cdots$
3509.2.a.n	$3509$	$2$	3509.a	1.a	$1$	$8$	$8$	$28.020$	$\mathbb{Q}[x]/(x^{8} - \cdots)$	None	✓	$1$	$0$	$0$	$4$	$10$	$7$	$-$	$+$	$-$	$1$	$\mathrm{SU}(2)$	$q+(\beta _{1}-\beta _{2})q^{2}+(1-\beta _{1}+\beta _{2}+\beta _{6}+\cdots)q^{3}+\cdots$
3509.2.a.o	$3509$	$2$	3509.a	1.a	$1$	$9$	$9$	$28.020$	$\mathbb{Q}[x]/(x^{9} - \cdots)$	None	✓	$1$	$1$	$-3$	$-4$	$1$	$-7$	$-$	$-$	$+$	$1$	$\mathrm{SU}(2)$	$q+(-1+\beta _{2}+\beta _{3}+\beta _{4}-\beta _{6})q^{2}+(-\beta _{2}+\cdots)q^{3}+\cdots$
3509.2.a.p	$3509$	$2$	3509.a	1.a	$1$	$9$	$9$	$28.020$	$\mathbb{Q}[x]/(x^{9} - \cdots)$	None	✓	$1$	$0$	$3$	$-4$	$1$	$7$	$-$	$+$	$-$	$1$	$\mathrm{SU}(2)$	$q+(1-\beta _{2}-\beta _{3}-\beta _{4}+\beta _{6})q^{2}+(-\beta _{2}+\cdots)q^{3}+\cdots$
3509.2.a.q	$3509$	$2$	3509.a	1.a	$1$	$11$	$11$	$28.020$	$\mathbb{Q}[x]/(x^{11} - \cdots)$	None	✓	$1$	$1$	$-3$	$-2$	$1$	$-7$	$-$	$-$	$+$	$1$	$\mathrm{SU}(2)$	$q-\beta _{1}q^{2}+\beta _{10}q^{3}+(1+\beta _{2})q^{4}+\beta _{8}q^{5}+\cdots$
3509.2.a.r	$3509$	$2$	3509.a	1.a	$1$	$11$	$11$	$28.020$	$\mathbb{Q}[x]/(x^{11} - \cdots)$	None	✓	$1$	$1$	$-1$	$1$	$-1$	$-8$	$+$	$+$	$+$	$1$	$\mathrm{SU}(2)$	$q-\beta _{1}q^{2}-\beta _{3}q^{3}+(1+\beta _{2})q^{4}-\beta _{5}q^{5}+\cdots$
3509.2.a.s	$3509$	$2$	3509.a	1.a	$1$	$11$	$11$	$28.020$	$\mathbb{Q}[x]/(x^{11} - \cdots)$	None	✓	$1$	$0$	$1$	$1$	$-1$	$8$	$+$	$-$	$-$	$1$	$\mathrm{SU}(2)$	$q+\beta _{1}q^{2}-\beta _{3}q^{3}+(1+\beta _{2})q^{4}-\beta _{5}q^{5}+\cdots$
3509.2.a.t	$3509$	$2$	3509.a	1.a	$1$	$11$	$11$	$28.020$	$\mathbb{Q}[x]/(x^{11} - \cdots)$	None	✓	$1$	$0$	$3$	$-2$	$1$	$7$	$-$	$+$	$-$	$1$	$\mathrm{SU}(2)$	$q+\beta _{1}q^{2}+\beta _{10}q^{3}+(1+\beta _{2})q^{4}+\beta _{8}q^{5}+\cdots$
3509.2.a.u	$3509$	$2$	3509.a	1.a	$1$	$22$	$22$	$28.020$		None	✓	$1$	$1$	$-2$	$-11$	$-7$	$1$	$-$	$-$	$+$		$\mathrm{SU}(2)$
3509.2.a.v	$3509$	$2$	3509.a	1.a	$1$	$22$	$22$	$28.020$		None	✓	$1$	$1$	$2$	$-11$	$-7$	$-1$	$+$	$+$	$+$		$\mathrm{SU}(2)$
3509.2.a.w	$3509$	$2$	3509.a	1.a	$1$	$24$	$24$	$28.020$		None	✓	$1$	$1$	$-2$	$0$	$-2$	$-16$	$+$	$+$	$+$		$\mathrm{SU}(2)$
3509.2.a.x	$3509$	$2$	3509.a	1.a	$1$	$24$	$24$	$28.020$		None	✓	$1$	$0$	$2$	$0$	$-2$	$16$	$+$	$-$	$-$		$\mathrm{SU}(2)$
3509.2.a.y	$3509$	$2$	3509.a	1.a	$1$	$32$	$32$	$28.020$		None	✓	$1$	$0$	$-1$	$10$	$7$	$2$	$-$	$+$	$-$		$\mathrm{SU}(2)$
3509.2.a.z	$3509$	$2$	3509.a	1.a	$1$	$32$	$32$	$28.020$		None	✓	$1$	$0$	$1$	$10$	$7$	$-2$	$+$	$-$	$-$		$\mathrm{SU}(2)$

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

$ S_{2}^{\mathrm{old}}(\Gamma_0(3509)) \cong $ $S_{2}^{\mathrm{new}}(\Gamma_0(11))$$^{\oplus 4}$$\oplus$$S_{2}^{\mathrm{new}}(\Gamma_0(29))$$^{\oplus 3}$$\oplus$$S_{2}^{\mathrm{new}}(\Gamma_0(121))$$^{\oplus 2}$$\oplus$$S_{2}^{\mathrm{new}}(\Gamma_0(319))$$^{\oplus 2}$

Overview	Random
Universe	Knowledge

Classical	Maass
Hilbert	Bianchi

Elliptic curves over $\Q$
Elliptic curves over $\Q(\alpha)$
Genus 2 curves over $\Q$
Higher genus families
Abelian varieties over $\F_{q}$

Level:	\( N \)	\(=\)	\( 3509 = 11^{2} \cdot 29 \)
Weight:	\( k \)	\(=\)	\( 2 \)
Character orbit:	\([\chi]\)	\(=\)	3509.a (trivial)
Character field:			\(\Q\)
Newform subspaces:			\( 26 \)
Sturm bound:			\(660\)
Trace bound:			\(6\)
Distinguishing \(T_p\):			\(2\), \(3\), \(7\)

\(11\)	\(29\)	Fricke	Dim
\(+\)	\(+\)	$+$	\(57\)
\(+\)	\(-\)	$-$	\(69\)
\(-\)	\(+\)	$-$	\(72\)
\(-\)	\(-\)	$+$	\(57\)
Plus space		\(+\)	\(114\)
Minus space		\(-\)	\(141\)

Introduction

L-functions

Modular forms

Varieties

Fields

Representations

Groups

Database

Properties

Related objects

Downloads

Learn more

Defining parameters

Dimensions

Trace form

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

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

This project is supported by grants from the US National Science Foundation, the UK Engineering and Physical Sciences Research Council, and the Simons Foundation.

Label	3509.2.a

Level	$3509$
Weight	$2$
Character orbit	3509.a
Rep. character	$\chi_{3509}(1,\cdot)$
Character field	$\Q$
Dimension	$255$
Newform subspaces	$26$
Sturm bound	$660$
Trace bound	$6$