Show commands: Magma / Pari/GP / SageMath

Newspace parameters

Copy content comment:Compute space of new eigenforms
 
Copy content gp:[N,k,chi] = [855,2,Mod(514,855)] mf = mfinit([N,k,chi],0) lf = mfeigenbasis(mf)
 
Copy content magma:// Please install CHIMP (https://github.com/edgarcosta/CHIMP) if you want to run this code chi := DirichletCharacter("855.514"); S:= CuspForms(chi, 2); N := Newforms(S);
 
Copy content sage:from sage.modular.dirichlet import DirichletCharacter H = DirichletGroup(855, base_ring=CyclotomicField(2)) chi = DirichletCharacter(H, H._module([0, 1, 0])) N = Newforms(chi, 2, names="a")
 
Level: \( N \) \(=\) \( 855 = 3^{2} \cdot 5 \cdot 19 \)
Weight: \( k \) \(=\) \( 2 \)
Character orbit: \([\chi]\) \(=\) 855.c (of order \(2\), degree \(1\), minimal)

Newform invariants

Copy content comment:select newform
 
Copy content sage:traces = [2,0,0,2,-4] f = next(g for g in N if [g.coefficient(i+1).trace() for i in range(5)] == traces)
 
Copy content gp:f = lf[1] \\ Warning: the index may be different
 
Self dual: no
Analytic conductor: \(6.82720937282\)
Analytic rank: \(0\)
Dimension: \(2\)
Coefficient field: \(\Q(i)\)
Copy content comment:defining polynomial
 
Copy content gp:f.mod \\ as an extension of the character field
 
Defining polynomial: \( x^{2} + 1 \) Copy content Toggle raw display
Coefficient ring: \(\Z[a_1, a_2]\)
Coefficient ring index: \( 1 \)
Twist minimal: yes
Sato-Tate group: $\mathrm{SU}(2)[C_{2}]$

Embedding invariants

Embedding label 514.2
Root \(1.00000i\) of defining polynomial
Character \(\chi\) \(=\) 855.514
Dual form 855.2.c.a.514.1

$q$-expansion

Copy content comment:q-expansion
 
Copy content sage:f.q_expansion() # note that sage often uses an isomorphic number field
 
Copy content gp:mfcoefs(f, 20)
 
\(f(q)\) \(=\) \(q+1.00000i q^{2} +1.00000 q^{4} +(-2.00000 - 1.00000i) q^{5} +2.00000i q^{7} +3.00000i q^{8} +(1.00000 - 2.00000i) q^{10} -2.00000 q^{11} +2.00000i q^{13} -2.00000 q^{14} -1.00000 q^{16} +2.00000i q^{17} -1.00000 q^{19} +(-2.00000 - 1.00000i) q^{20} -2.00000i q^{22} +(3.00000 + 4.00000i) q^{25} -2.00000 q^{26} +2.00000i q^{28} -6.00000 q^{29} -4.00000 q^{31} +5.00000i q^{32} -2.00000 q^{34} +(2.00000 - 4.00000i) q^{35} +2.00000i q^{37} -1.00000i q^{38} +(3.00000 - 6.00000i) q^{40} -2.00000 q^{41} +10.0000i q^{43} -2.00000 q^{44} +3.00000 q^{49} +(-4.00000 + 3.00000i) q^{50} +2.00000i q^{52} +10.0000i q^{53} +(4.00000 + 2.00000i) q^{55} -6.00000 q^{56} -6.00000i q^{58} -10.0000 q^{61} -4.00000i q^{62} -7.00000 q^{64} +(2.00000 - 4.00000i) q^{65} -4.00000i q^{67} +2.00000i q^{68} +(4.00000 + 2.00000i) q^{70} +8.00000 q^{71} -4.00000i q^{73} -2.00000 q^{74} -1.00000 q^{76} -4.00000i q^{77} +8.00000 q^{79} +(2.00000 + 1.00000i) q^{80} -2.00000i q^{82} +12.0000i q^{83} +(2.00000 - 4.00000i) q^{85} -10.0000 q^{86} -6.00000i q^{88} +10.0000 q^{89} -4.00000 q^{91} +(2.00000 + 1.00000i) q^{95} -18.0000i q^{97} +3.00000i q^{98} +O(q^{100})\)
\(\operatorname{Tr}(f)(q)\) \(=\) \( 2 q + 2 q^{4} - 4 q^{5} + 2 q^{10} - 4 q^{11} - 4 q^{14} - 2 q^{16} - 2 q^{19} - 4 q^{20} + 6 q^{25} - 4 q^{26} - 12 q^{29} - 8 q^{31} - 4 q^{34} + 4 q^{35} + 6 q^{40} - 4 q^{41} - 4 q^{44} + 6 q^{49} - 8 q^{50}+ \cdots + 4 q^{95}+O(q^{100}) \) Copy content Toggle raw display

Character values

We give the values of \(\chi\) on generators for \(\left(\mathbb{Z}/855\mathbb{Z}\right)^\times\).

\(n\) \(172\) \(191\) \(496\)
\(\chi(n)\) \(-1\) \(1\) \(1\)

Coefficient data

For each \(n\) we display the coefficients of the \(q\)-expansion \(a_n\), the Satake parameters \(\alpha_p\), and the Satake angles \(\theta_p = \textrm{Arg}(\alpha_p)\). You can download additional coefficients here.



Currently showing only \(a_p\); display all \(a_n\) Currently showing all \(a_n\); display only \(a_p\)
Significant digits:
\(n\) \(a_n\) \(a_n / n^{(k-1)/2}\) \( \alpha_n \) \( \theta_n \)
\(p\) \(a_p\) \(a_p / p^{(k-1)/2}\) \( \alpha_p\) \( \theta_p \)
\(2\) 1.00000i 0.707107i 0.935414 + 0.353553i \(0.115027\pi\)
−0.935414 + 0.353553i \(0.884973\pi\)
\(3\) 0 0
\(4\) 1.00000 0.500000
\(5\) −2.00000 1.00000i −0.894427 0.447214i
\(6\) 0 0
\(7\) 2.00000i 0.755929i 0.925820 + 0.377964i \(0.123376\pi\)
−0.925820 + 0.377964i \(0.876624\pi\)
\(8\) 3.00000i 1.06066i
\(9\) 0 0
\(10\) 1.00000 2.00000i 0.316228 0.632456i
\(11\) −2.00000 −0.603023 −0.301511 0.953463i \(-0.597491\pi\)
−0.301511 + 0.953463i \(0.597491\pi\)
\(12\) 0 0
\(13\) 2.00000i 0.554700i 0.960769 + 0.277350i \(0.0894562\pi\)
−0.960769 + 0.277350i \(0.910544\pi\)
\(14\) −2.00000 −0.534522
\(15\) 0 0
\(16\) −1.00000 −0.250000
\(17\) 2.00000i 0.485071i 0.970143 + 0.242536i \(0.0779791\pi\)
−0.970143 + 0.242536i \(0.922021\pi\)
\(18\) 0 0
\(19\) −1.00000 −0.229416
\(20\) −2.00000 1.00000i −0.447214 0.223607i
\(21\) 0 0
\(22\) 2.00000i 0.426401i
\(23\) 0 0 1.00000 \(0\)
−1.00000 \(\pi\)
\(24\) 0 0
\(25\) 3.00000 + 4.00000i 0.600000 + 0.800000i
\(26\) −2.00000 −0.392232
\(27\) 0 0
\(28\) 2.00000i 0.377964i
\(29\) −6.00000 −1.11417 −0.557086 0.830455i \(-0.688081\pi\)
−0.557086 + 0.830455i \(0.688081\pi\)
\(30\) 0 0
\(31\) −4.00000 −0.718421 −0.359211 0.933257i \(-0.616954\pi\)
−0.359211 + 0.933257i \(0.616954\pi\)
\(32\) 5.00000i 0.883883i
\(33\) 0 0
\(34\) −2.00000 −0.342997
\(35\) 2.00000 4.00000i 0.338062 0.676123i
\(36\) 0 0
\(37\) 2.00000i 0.328798i 0.986394 + 0.164399i \(0.0525685\pi\)
−0.986394 + 0.164399i \(0.947432\pi\)
\(38\) 1.00000i 0.162221i
\(39\) 0 0
\(40\) 3.00000 6.00000i 0.474342 0.948683i
\(41\) −2.00000 −0.312348 −0.156174 0.987730i \(-0.549916\pi\)
−0.156174 + 0.987730i \(0.549916\pi\)
\(42\) 0 0
\(43\) 10.0000i 1.52499i 0.646997 + 0.762493i \(0.276025\pi\)
−0.646997 + 0.762493i \(0.723975\pi\)
\(44\) −2.00000 −0.301511
\(45\) 0 0
\(46\) 0 0
\(47\) 0 0 1.00000 \(0\)
−1.00000 \(\pi\)
\(48\) 0 0
\(49\) 3.00000 0.428571
\(50\) −4.00000 + 3.00000i −0.565685 + 0.424264i
\(51\) 0 0
\(52\) 2.00000i 0.277350i
\(53\) 10.0000i 1.37361i 0.726844 + 0.686803i \(0.240986\pi\)
−0.726844 + 0.686803i \(0.759014\pi\)
\(54\) 0 0
\(55\) 4.00000 + 2.00000i 0.539360 + 0.269680i
\(56\) −6.00000 −0.801784
\(57\) 0 0
\(58\) 6.00000i 0.787839i
\(59\) 0 0 1.00000i \(-0.5\pi\)
1.00000i \(0.5\pi\)
\(60\) 0 0
\(61\) −10.0000 −1.28037 −0.640184 0.768221i \(-0.721142\pi\)
−0.640184 + 0.768221i \(0.721142\pi\)
\(62\) 4.00000i 0.508001i
\(63\) 0 0
\(64\) −7.00000 −0.875000
\(65\) 2.00000 4.00000i 0.248069 0.496139i
\(66\) 0 0
\(67\) 4.00000i 0.488678i −0.969690 0.244339i \(-0.921429\pi\)
0.969690 0.244339i \(-0.0785709\pi\)
\(68\) 2.00000i 0.242536i
\(69\) 0 0
\(70\) 4.00000 + 2.00000i 0.478091 + 0.239046i
\(71\) 8.00000 0.949425 0.474713 0.880141i \(-0.342552\pi\)
0.474713 + 0.880141i \(0.342552\pi\)
\(72\) 0 0
\(73\) 4.00000i 0.468165i −0.972217 0.234082i \(-0.924791\pi\)
0.972217 0.234082i \(-0.0752085\pi\)
\(74\) −2.00000 −0.232495
\(75\) 0 0
\(76\) −1.00000 −0.114708
\(77\) 4.00000i 0.455842i
\(78\) 0 0
\(79\) 8.00000 0.900070 0.450035 0.893011i \(-0.351411\pi\)
0.450035 + 0.893011i \(0.351411\pi\)
\(80\) 2.00000 + 1.00000i 0.223607 + 0.111803i
\(81\) 0 0
\(82\) 2.00000i 0.220863i
\(83\) 12.0000i 1.31717i 0.752506 + 0.658586i \(0.228845\pi\)
−0.752506 + 0.658586i \(0.771155\pi\)
\(84\) 0 0
\(85\) 2.00000 4.00000i 0.216930 0.433861i
\(86\) −10.0000 −1.07833
\(87\) 0 0
\(88\) 6.00000i 0.639602i
\(89\) 10.0000 1.06000 0.529999 0.847998i \(-0.322192\pi\)
0.529999 + 0.847998i \(0.322192\pi\)
\(90\) 0 0
\(91\) −4.00000 −0.419314
\(92\) 0 0
\(93\) 0 0
\(94\) 0 0
\(95\) 2.00000 + 1.00000i 0.205196 + 0.102598i
\(96\) 0 0
\(97\) 18.0000i 1.82762i −0.406138 0.913812i \(-0.633125\pi\)
0.406138 0.913812i \(-0.366875\pi\)
\(98\) 3.00000i 0.303046i
\(99\) 0 0
Currently showing only \(a_p\); display all \(a_n\) Currently showing all \(a_n\); display only \(a_p\)

Twists

       By twisting character
Char Parity Ord Type Twist Min Dim
1.1 even 1 trivial 855.2.c.a.514.2 yes 2
3.2 odd 2 855.2.c.c.514.1 yes 2
5.2 odd 4 4275.2.a.d.1.1 1
5.3 odd 4 4275.2.a.n.1.1 1
5.4 even 2 inner 855.2.c.a.514.1 2
15.2 even 4 4275.2.a.k.1.1 1
15.8 even 4 4275.2.a.g.1.1 1
15.14 odd 2 855.2.c.c.514.2 yes 2
    
        By twisted newform
Twist Min Dim Char Parity Ord Type
855.2.c.a.514.1 2 5.4 even 2 inner
855.2.c.a.514.2 yes 2 1.1 even 1 trivial
855.2.c.c.514.1 yes 2 3.2 odd 2
855.2.c.c.514.2 yes 2 15.14 odd 2
4275.2.a.d.1.1 1 5.2 odd 4
4275.2.a.g.1.1 1 15.8 even 4
4275.2.a.k.1.1 1 15.2 even 4
4275.2.a.n.1.1 1 5.3 odd 4