Show commands: Magma / Pari/GP / SageMath

Newspace parameters

Copy content comment:Compute space of new eigenforms
 
Copy content gp:[N,k,chi] = [80,5,Mod(17,80)] 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("80.17"); S:= CuspForms(chi, 5); N := Newforms(S);
 
Copy content sage:from sage.modular.dirichlet import DirichletCharacter H = DirichletGroup(80, base_ring=CyclotomicField(4)) chi = DirichletCharacter(H, H._module([0, 0, 1])) N = Newforms(chi, 5, names="a")
 
Level: \( N \) \(=\) \( 80 = 2^{4} \cdot 5 \)
Weight: \( k \) \(=\) \( 5 \)
Character orbit: \([\chi]\) \(=\) 80.p (of order \(4\), degree \(2\), not minimal)

Newform invariants

Copy content comment:select newform
 
Copy content sage:traces = [6,0,8] f = next(g for g in N if [g.coefficient(i+1).trace() for i in range(3)] == traces)
 
Copy content gp:f = lf[1] \\ Warning: the index may be different
 
Self dual: no
Analytic conductor: \(8.26959704671\)
Analytic rank: \(0\)
Dimension: \(6\)
Relative dimension: \(3\) over \(\Q(i)\)
Coefficient field: 6.0.313431616.3
Copy content comment:defining polynomial
 
Copy content gp:f.mod \\ as an extension of the character field
 
Defining polynomial: \( x^{6} + 27x^{4} + 145x^{2} + 144 \) Copy content Toggle raw display
Coefficient ring: \(\Z[a_1, \ldots, a_{19}]\)
Coefficient ring index: \( 2^{5}\cdot 5^{2} \)
Twist minimal: no (minimal twist has level 40)
Sato-Tate group: $\mathrm{SU}(2)[C_{4}]$

Embedding invariants

Embedding label 33.2
Root \(1.13432i\) of defining polynomial
Character \(\chi\) \(=\) 80.33
Dual form 80.5.p.g.17.2

$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+(0.958314 + 0.958314i) q^{3} +(-1.04169 - 24.9783i) q^{5} +(-26.0617 + 26.0617i) q^{7} -79.1633i q^{9} -75.9566 q^{11} +(-99.1428 - 99.1428i) q^{13} +(22.9388 - 24.9353i) q^{15} +(77.9171 - 77.9171i) q^{17} -640.445i q^{19} -49.9505 q^{21} +(-117.134 - 117.134i) q^{23} +(-622.830 + 52.0390i) q^{25} +(153.487 - 153.487i) q^{27} +752.534i q^{29} -708.205 q^{31} +(-72.7903 - 72.7903i) q^{33} +(678.124 + 623.828i) q^{35} +(1170.51 - 1170.51i) q^{37} -190.020i q^{39} +1822.21 q^{41} +(2372.12 + 2372.12i) q^{43} +(-1977.36 + 82.4632i) q^{45} +(-2458.79 + 2458.79i) q^{47} +1042.58i q^{49} +149.338 q^{51} +(2118.26 + 2118.26i) q^{53} +(79.1229 + 1897.27i) q^{55} +(613.748 - 613.748i) q^{57} -5251.96i q^{59} -1312.89 q^{61} +(2063.13 + 2063.13i) q^{63} +(-2373.14 + 2579.69i) q^{65} +(5569.35 - 5569.35i) q^{67} -224.503i q^{69} -7554.66 q^{71} +(1206.35 + 1206.35i) q^{73} +(-646.737 - 546.997i) q^{75} +(1979.55 - 1979.55i) q^{77} -3397.97i q^{79} -6118.05 q^{81} +(-928.421 - 928.421i) q^{83} +(-2027.40 - 1865.07i) q^{85} +(-721.164 + 721.164i) q^{87} -11981.9i q^{89} +5167.65 q^{91} +(-678.683 - 678.683i) q^{93} +(-15997.2 + 667.143i) q^{95} +(4683.76 - 4683.76i) q^{97} +6012.97i q^{99} +O(q^{100})\)
\(\operatorname{Tr}(f)(q)\) \(=\) \( 6 q + 8 q^{3} - 4 q^{5} + 40 q^{7} - 72 q^{11} - 62 q^{13} + 280 q^{15} + 418 q^{17} + 1736 q^{21} + 1760 q^{23} - 2974 q^{25} - 2248 q^{27} - 2864 q^{31} - 8 q^{33} + 4224 q^{35} + 5366 q^{37} + 1656 q^{41}+ \cdots - 9418 q^{97}+O(q^{100}) \) Copy content Toggle raw display

Character values

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

\(n\) \(17\) \(21\) \(31\)
\(\chi(n)\) \(e\left(\frac{3}{4}\right)\) \(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\) 0 0
\(3\) 0.958314 + 0.958314i 0.106479 + 0.106479i 0.758339 − 0.651860i \(-0.226011\pi\)
−0.651860 + 0.758339i \(0.726011\pi\)
\(4\) 0 0
\(5\) −1.04169 − 24.9783i −0.0416674 − 0.999132i
\(6\) 0 0
\(7\) −26.0617 + 26.0617i −0.531871 + 0.531871i −0.921129 − 0.389258i \(-0.872731\pi\)
0.389258 + 0.921129i \(0.372731\pi\)
\(8\) 0 0
\(9\) − 79.1633i − 0.977324i
\(10\) 0 0
\(11\) −75.9566 −0.627740 −0.313870 − 0.949466i \(-0.601626\pi\)
−0.313870 + 0.949466i \(0.601626\pi\)
\(12\) 0 0
\(13\) −99.1428 − 99.1428i −0.586644 − 0.586644i 0.350077 − 0.936721i \(-0.386155\pi\)
−0.936721 + 0.350077i \(0.886155\pi\)
\(14\) 0 0
\(15\) 22.9388 − 24.9353i 0.101950 − 0.110824i
\(16\) 0 0
\(17\) 77.9171 − 77.9171i 0.269609 − 0.269609i −0.559333 − 0.828943i \(-0.688943\pi\)
0.828943 + 0.559333i \(0.188943\pi\)
\(18\) 0 0
\(19\) − 640.445i − 1.77409i −0.461686 − 0.887044i \(-0.652755\pi\)
0.461686 − 0.887044i \(-0.347245\pi\)
\(20\) 0 0
\(21\) −49.9505 −0.113267
\(22\) 0 0
\(23\) −117.134 − 117.134i −0.221426 − 0.221426i 0.587673 − 0.809099i \(-0.300044\pi\)
−0.809099 + 0.587673i \(0.800044\pi\)
\(24\) 0 0
\(25\) −622.830 + 52.0390i −0.996528 + 0.0832625i
\(26\) 0 0
\(27\) 153.487 − 153.487i 0.210544 − 0.210544i
\(28\) 0 0
\(29\) 752.534i 0.894809i 0.894332 + 0.447404i \(0.147652\pi\)
−0.894332 + 0.447404i \(0.852348\pi\)
\(30\) 0 0
\(31\) −708.205 −0.736946 −0.368473 − 0.929638i \(-0.620119\pi\)
−0.368473 + 0.929638i \(0.620119\pi\)
\(32\) 0 0
\(33\) −72.7903 − 72.7903i −0.0668414 − 0.0668414i
\(34\) 0 0
\(35\) 678.124 + 623.828i 0.553570 + 0.509247i
\(36\) 0 0
\(37\) 1170.51 − 1170.51i 0.855013 − 0.855013i −0.135733 − 0.990745i \(-0.543339\pi\)
0.990745 + 0.135733i \(0.0433389\pi\)
\(38\) 0 0
\(39\) − 190.020i − 0.124931i
\(40\) 0 0
\(41\) 1822.21 1.08400 0.542001 − 0.840378i \(-0.317667\pi\)
0.542001 + 0.840378i \(0.317667\pi\)
\(42\) 0 0
\(43\) 2372.12 + 2372.12i 1.28292 + 1.28292i 0.938998 + 0.343921i \(0.111755\pi\)
0.343921 + 0.938998i \(0.388245\pi\)
\(44\) 0 0
\(45\) −1977.36 + 82.4632i −0.976476 + 0.0407226i
\(46\) 0 0
\(47\) −2458.79 + 2458.79i −1.11308 + 1.11308i −0.120344 + 0.992732i \(0.538400\pi\)
−0.992732 + 0.120344i \(0.961600\pi\)
\(48\) 0 0
\(49\) 1042.58i 0.434227i
\(50\) 0 0
\(51\) 149.338 0.0574157
\(52\) 0 0
\(53\) 2118.26 + 2118.26i 0.754097 + 0.754097i 0.975241 − 0.221144i \(-0.0709792\pi\)
−0.221144 + 0.975241i \(0.570979\pi\)
\(54\) 0 0
\(55\) 79.1229 + 1897.27i 0.0261563 + 0.627195i
\(56\) 0 0
\(57\) 613.748 − 613.748i 0.188904 − 0.188904i
\(58\) 0 0
\(59\) − 5251.96i − 1.50875i −0.656443 − 0.754376i \(-0.727940\pi\)
0.656443 − 0.754376i \(-0.272060\pi\)
\(60\) 0 0
\(61\) −1312.89 −0.352831 −0.176416 − 0.984316i \(-0.556450\pi\)
−0.176416 + 0.984316i \(0.556450\pi\)
\(62\) 0 0
\(63\) 2063.13 + 2063.13i 0.519810 + 0.519810i
\(64\) 0 0
\(65\) −2373.14 + 2579.69i −0.561691 + 0.610578i
\(66\) 0 0
\(67\) 5569.35 − 5569.35i 1.24067 − 1.24067i 0.280940 − 0.959725i \(-0.409354\pi\)
0.959725 − 0.280940i \(-0.0906461\pi\)
\(68\) 0 0
\(69\) − 224.503i − 0.0471545i
\(70\) 0 0
\(71\) −7554.66 −1.49864 −0.749322 − 0.662206i \(-0.769620\pi\)
−0.749322 + 0.662206i \(0.769620\pi\)
\(72\) 0 0
\(73\) 1206.35 + 1206.35i 0.226374 + 0.226374i 0.811176 − 0.584802i \(-0.198828\pi\)
−0.584802 + 0.811176i \(0.698828\pi\)
\(74\) 0 0
\(75\) −646.737 − 546.997i −0.114975 − 0.0972439i
\(76\) 0 0
\(77\) 1979.55 − 1979.55i 0.333877 − 0.333877i
\(78\) 0 0
\(79\) − 3397.97i − 0.544460i −0.962232 − 0.272230i \(-0.912239\pi\)
0.962232 − 0.272230i \(-0.0877612\pi\)
\(80\) 0 0
\(81\) −6118.05 −0.932487
\(82\) 0 0
\(83\) −928.421 − 928.421i −0.134769 − 0.134769i 0.636504 − 0.771273i \(-0.280380\pi\)
−0.771273 + 0.636504i \(0.780380\pi\)
\(84\) 0 0
\(85\) −2027.40 − 1865.07i −0.280609 − 0.258141i
\(86\) 0 0
\(87\) −721.164 + 721.164i −0.0952787 + 0.0952787i
\(88\) 0 0
\(89\) − 11981.9i − 1.51268i −0.654180 − 0.756339i \(-0.726986\pi\)
0.654180 − 0.756339i \(-0.273014\pi\)
\(90\) 0 0
\(91\) 5167.65 0.624037
\(92\) 0 0
\(93\) −678.683 − 678.683i −0.0784695 − 0.0784695i
\(94\) 0 0
\(95\) −15997.2 + 667.143i −1.77255 + 0.0739216i
\(96\) 0 0
\(97\) 4683.76 − 4683.76i 0.497796 − 0.497796i −0.412955 − 0.910751i \(-0.635503\pi\)
0.910751 + 0.412955i \(0.135503\pi\)
\(98\) 0 0
\(99\) 6012.97i 0.613506i
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 80.5.p.g.33.2 6
4.3 odd 2 40.5.l.c.33.2 yes 6
5.2 odd 4 inner 80.5.p.g.17.2 6
5.3 odd 4 400.5.p.o.257.2 6
5.4 even 2 400.5.p.o.193.2 6
8.3 odd 2 320.5.p.p.193.2 6
8.5 even 2 320.5.p.o.193.2 6
12.11 even 2 360.5.v.c.73.2 6
20.3 even 4 200.5.l.e.57.2 6
20.7 even 4 40.5.l.c.17.2 ✓ 6
20.19 odd 2 200.5.l.e.193.2 6
40.27 even 4 320.5.p.p.257.2 6
40.37 odd 4 320.5.p.o.257.2 6
60.47 odd 4 360.5.v.c.217.2 6
    
        By twisted newform
Twist Min Dim Char Parity Ord Type
40.5.l.c.17.2 ✓ 6 20.7 even 4
40.5.l.c.33.2 yes 6 4.3 odd 2
80.5.p.g.17.2 6 5.2 odd 4 inner
80.5.p.g.33.2 6 1.1 even 1 trivial
200.5.l.e.57.2 6 20.3 even 4
200.5.l.e.193.2 6 20.19 odd 2
320.5.p.o.193.2 6 8.5 even 2
320.5.p.o.257.2 6 40.37 odd 4
320.5.p.p.193.2 6 8.3 odd 2
320.5.p.p.257.2 6 40.27 even 4
360.5.v.c.73.2 6 12.11 even 2
360.5.v.c.217.2 6 60.47 odd 4
400.5.p.o.193.2 6 5.4 even 2
400.5.p.o.257.2 6 5.3 odd 4