LMFDB - Space of modular forms of level 230, weight 4, and trivial character

Defining parameters

Level:	$ N $	$=$	$ 230 = 2 \cdot 5 \cdot 23 $
Weight:	$ k $	$=$	$ 4 $
Character orbit:	$[\chi]$	$=$	230.a (trivial)
Character field:			$\Q$
Newform subspaces:			$ 10 $
Sturm bound:			$144$
Trace bound:			$3$
Distinguishing $T_p$:			$3$

Dimensions

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

	Total	New	Old
Modular forms	112	22	90
Cusp forms	104	22	82
Eisenstein series	8	0	8

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

$2$	$5$	$23$	Fricke	Dim.
$+$	$+$	$+$	$+$	$4$
$+$	$+$	$-$	$-$	$2$
$+$	$-$	$+$	$-$	$2$
$+$	$-$	$-$	$+$	$4$
$-$	$+$	$+$	$-$	$1$
$-$	$+$	$-$	$+$	$4$
$-$	$-$	$+$	$+$	$4$
$-$	$-$	$-$	$-$	$1$
Plus space			$+$	$16$
Minus space			$-$	$6$

Trace form

$ 22q - 4q^{2} + 16q^{3} + 88q^{4} + 40q^{6} + 8q^{7} - 16q^{8} + 114q^{9} + O(q^{10}) $

$ 22q - 4q^{2} + 16q^{3} + 88q^{4} + 40q^{6} + 8q^{7} - 16q^{8} + 114q^{9} + 84q^{11} + 64q^{12} + 148q^{13} - 80q^{14} + 80q^{15} + 352q^{16} + 68q^{17} + 76q^{18} + 212q^{19} + 392q^{21} + 40q^{22} + 160q^{24} + 550q^{25} + 832q^{27} + 32q^{28} + 584q^{29} - 440q^{31} - 64q^{32} - 232q^{33} + 360q^{34} - 180q^{35} + 456q^{36} + 200q^{37} + 920q^{38} + 304q^{39} - 308q^{41} + 732q^{43} + 336q^{44} - 912q^{47} + 256q^{48} + 2678q^{49} - 100q^{50} + 1920q^{51} + 592q^{52} - 872q^{53} + 928q^{54} - 320q^{56} + 1568q^{57} - 232q^{58} - 444q^{59} + 320q^{60} - 512q^{61} - 288q^{62} - 1168q^{63} + 1408q^{64} + 1280q^{65} - 848q^{66} + 1580q^{67} + 272q^{68} - 280q^{70} - 280q^{71} + 304q^{72} - 60q^{73} - 1664q^{74} + 400q^{75} + 848q^{76} - 1712q^{77} - 3440q^{78} - 1344q^{79} - 3002q^{81} - 360q^{82} - 3236q^{83} + 1568q^{84} - 1220q^{85} - 3320q^{86} - 3616q^{87} + 160q^{88} - 2924q^{89} - 1032q^{91} - 5632q^{93} - 144q^{94} + 40q^{95} + 640q^{96} - 36q^{97} - 804q^{98} - 2548q^{99} + O(q^{100}) $

Display 100 coefficients 10 coefficients

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

Label	Dim.	$A$	Field	CM	Traces				A-L signs			$q$-expansion
Label	Dim.	$A$	Field	CM	$a_2$	$a_3$	$a_5$	$a_7$	2	5	23	$q$-expansion
230.4.a.a	$1$	$13.570$	$\Q$	None	$-2$	$-5$	$-5$	$12$	$+$	$+$	$-$	$q-2q^{2}-5q^{3}+4q^{4}-5q^{5}+10q^{6}+\cdots$
230.4.a.b	$1$	$13.570$	$\Q$	None	$-2$	$4$	$-5$	$3$	$+$	$+$	$-$	$q-2q^{2}+4q^{3}+4q^{4}-5q^{5}-8q^{6}+\cdots$
230.4.a.c	$1$	$13.570$	$\Q$	None	$-2$	$7$	$5$	$20$	$+$	$-$	$-$	$q-2q^{2}+7q^{3}+4q^{4}+5q^{5}-14q^{6}+\cdots$
230.4.a.d	$1$	$13.570$	$\Q$	None	$2$	$-1$	$5$	$-32$	$-$	$-$	$-$	$q+2q^{2}-q^{3}+4q^{4}+5q^{5}-2q^{6}+\cdots$
230.4.a.e	$1$	$13.570$	$\Q$	None	$2$	$1$	$-5$	$-18$	$-$	$+$	$+$	$q+2q^{2}+q^{3}+4q^{4}-5q^{5}+2q^{6}+\cdots$
230.4.a.f	$2$	$13.570$	$\Q(\sqrt{73}) $	None	$-4$	$-3$	$10$	$-17$	$+$	$-$	$+$	$q-2q^{2}+(-1-\beta )q^{3}+4q^{4}+5q^{5}+\cdots$
230.4.a.g	$3$	$13.570$	3.3.318165.1	None	$-6$	$-1$	$15$	$7$	$+$	$-$	$-$	$q-2q^{2}-\beta _{1}q^{3}+4q^{4}+5q^{5}+2\beta _{1}q^{6}+\cdots$
230.4.a.h	$4$	$13.570$	$\mathbb{Q}[x]/(x^{4} - \cdots)$	None	$-8$	$-4$	$-20$	$-1$	$+$	$+$	$+$	$q-2q^{2}+(-1+\beta _{1})q^{3}+4q^{4}-5q^{5}+\cdots$
230.4.a.i	$4$	$13.570$	$\mathbb{Q}[x]/(x^{4} - \cdots)$	None	$8$	$4$	$-20$	$26$	$-$	$+$	$-$	$q+2q^{2}+(1-\beta _{1})q^{3}+4q^{4}-5q^{5}+\cdots$
230.4.a.j	$4$	$13.570$	$\mathbb{Q}[x]/(x^{4} - \cdots)$	None	$8$	$14$	$20$	$8$	$-$	$-$	$+$	$q+2q^{2}+(4-\beta _{1})q^{3}+4q^{4}+5q^{5}+\cdots$

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

$ S_{4}^{\mathrm{old}}(\Gamma_0(230)) \cong $ $S_{4}^{\mathrm{new}}(\Gamma_0(5))$$^{\oplus 4}$$\oplus$$S_{4}^{\mathrm{new}}(\Gamma_0(10))$$^{\oplus 2}$$\oplus$$S_{4}^{\mathrm{new}}(\Gamma_0(23))$$^{\oplus 4}$$\oplus$$S_{4}^{\mathrm{new}}(\Gamma_0(46))$$^{\oplus 2}$$\oplus$$S_{4}^{\mathrm{new}}(\Gamma_0(115))$$^{\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 \)	\(=\)	\( 230 = 2 \cdot 5 \cdot 23 \)
Weight:	\( k \)	\(=\)	\( 4 \)
Character orbit:	\([\chi]\)	\(=\)	230.a (trivial)
Character field:			\(\Q\)
Newform subspaces:			\( 10 \)
Sturm bound:			\(144\)
Trace bound:			\(3\)
Distinguishing \(T_p\):			\(3\)

\(2\)	\(5\)	\(23\)	Fricke	Dim.
\(+\)	\(+\)	\(+\)	\(+\)	\(4\)
\(+\)	\(+\)	\(-\)	\(-\)	\(2\)
\(+\)	\(-\)	\(+\)	\(-\)	\(2\)
\(+\)	\(-\)	\(-\)	\(+\)	\(4\)
\(-\)	\(+\)	\(+\)	\(-\)	\(1\)
\(-\)	\(+\)	\(-\)	\(+\)	\(4\)
\(-\)	\(-\)	\(+\)	\(+\)	\(4\)
\(-\)	\(-\)	\(-\)	\(-\)	\(1\)
Plus space			\(+\)	\(16\)
Minus space			\(-\)	\(6\)

Introduction

L-functions

Modular forms

Varieties

Fields

Representations

Groups

Properties

Related objects

Downloads

Learn more

Defining parameters

Dimensions

Trace form

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

Decomposition of \(S_{4}^{\mathrm{old}}(\Gamma_0(230))\) 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	230.4.a

Level	$230$
Weight	$4$
Character orbit	230.a
Rep. character	$\chi_{230}(1,\cdot)$
Character field	$\Q$
Dimension	$22$
Newform subspaces	$10$
Sturm bound	$144$
Trace bound	$3$

Label	Dim.	\(A\)	Field	CM	Traces				A-L signs			$q$-expansion
Label	Dim.	\(A\)	Field	CM	\(a_2\)	\(a_3\)	\(a_5\)	\(a_7\)	2	5	23	$q$-expansion
230.4.a.a	\(1\)	\(13.570\)	\(\Q\)	None	\(-2\)	\(-5\)	\(-5\)	\(12\)	\(+\)	\(+\)	\(-\)	\(q-2q^{2}-5q^{3}+4q^{4}-5q^{5}+10q^{6}+\cdots\)
230.4.a.b	\(1\)	\(13.570\)	\(\Q\)	None	\(-2\)	\(4\)	\(-5\)	\(3\)	\(+\)	\(+\)	\(-\)	\(q-2q^{2}+4q^{3}+4q^{4}-5q^{5}-8q^{6}+\cdots\)
230.4.a.c	\(1\)	\(13.570\)	\(\Q\)	None	\(-2\)	\(7\)	\(5\)	\(20\)	\(+\)	\(-\)	\(-\)	\(q-2q^{2}+7q^{3}+4q^{4}+5q^{5}-14q^{6}+\cdots\)
230.4.a.d	\(1\)	\(13.570\)	\(\Q\)	None	\(2\)	\(-1\)	\(5\)	\(-32\)	\(-\)	\(-\)	\(-\)	\(q+2q^{2}-q^{3}+4q^{4}+5q^{5}-2q^{6}+\cdots\)
230.4.a.e	\(1\)	\(13.570\)	\(\Q\)	None	\(2\)	\(1\)	\(-5\)	\(-18\)	\(-\)	\(+\)	\(+\)	\(q+2q^{2}+q^{3}+4q^{4}-5q^{5}+2q^{6}+\cdots\)
230.4.a.f	\(2\)	\(13.570\)	\(\Q(\sqrt{73}) \)	None	\(-4\)	\(-3\)	\(10\)	\(-17\)	\(+\)	\(-\)	\(+\)	\(q-2q^{2}+(-1-\beta )q^{3}+4q^{4}+5q^{5}+\cdots\)
230.4.a.g	\(3\)	\(13.570\)	3.3.318165.1	None	\(-6\)	\(-1\)	\(15\)	\(7\)	\(+\)	\(-\)	\(-\)	\(q-2q^{2}-\beta _{1}q^{3}+4q^{4}+5q^{5}+2\beta _{1}q^{6}+\cdots\)
230.4.a.h	\(4\)	\(13.570\)	\(\mathbb{Q}[x]/(x^{4} - \cdots)\)	None	\(-8\)	\(-4\)	\(-20\)	\(-1\)	\(+\)	\(+\)	\(+\)	\(q-2q^{2}+(-1+\beta _{1})q^{3}+4q^{4}-5q^{5}+\cdots\)
230.4.a.i	\(4\)	\(13.570\)	\(\mathbb{Q}[x]/(x^{4} - \cdots)\)	None	\(8\)	\(4\)	\(-20\)	\(26\)	\(-\)	\(+\)	\(-\)	\(q+2q^{2}+(1-\beta _{1})q^{3}+4q^{4}-5q^{5}+\cdots\)
230.4.a.j	\(4\)	\(13.570\)	\(\mathbb{Q}[x]/(x^{4} - \cdots)\)	None	\(8\)	\(14\)	\(20\)	\(8\)	\(-\)	\(-\)	\(+\)	\(q+2q^{2}+(4-\beta _{1})q^{3}+4q^{4}+5q^{5}+\cdots\)