Properties

Label 58.6.a.b
Level $58$
Weight $6$
Character orbit 58.a
Self dual yes
Analytic conductor $9.302$
Analytic rank $0$
Dimension $3$
CM no
Inner twists $1$

Related objects

Downloads

Learn more

Show commands: Magma / PariGP / SageMath

Newspace parameters

comment: Compute space of new eigenforms
 
[N,k,chi] = [58,6,Mod(1,58)]
 
mf = mfinit([N,k,chi],0)
 
lf = mfeigenbasis(mf)
 
from sage.modular.dirichlet import DirichletCharacter
 
H = DirichletGroup(58, base_ring=CyclotomicField(2))
 
chi = DirichletCharacter(H, H._module([0]))
 
N = Newforms(chi, 6, names="a")
 
//Please install CHIMP (https://github.com/edgarcosta/CHIMP) if you want to run this code
 
chi := DirichletCharacter("58.1");
 
S:= CuspForms(chi, 6);
 
N := Newforms(S);
 
Level: \( N \) \(=\) \( 58 = 2 \cdot 29 \)
Weight: \( k \) \(=\) \( 6 \)
Character orbit: \([\chi]\) \(=\) 58.a (trivial)

Newform invariants

comment: select newform
 
sage: f = N[0] # Warning: the index may be different
 
gp: f = lf[1] \\ Warning: the index may be different
 
Self dual: yes
Analytic conductor: \(9.30226154915\)
Analytic rank: \(0\)
Dimension: \(3\)
Coefficient field: 3.3.431464.1
comment: defining polynomial
 
gp: f.mod \\ as an extension of the character field
 
Defining polynomial: \( x^{3} - x^{2} - 187x - 569 \) Copy content Toggle raw display
Coefficient ring: \(\Z[a_1, \ldots, a_{5}]\)
Coefficient ring index: \( 1 \)
Twist minimal: yes
Fricke sign: \(-1\)
Sato-Tate group: $\mathrm{SU}(2)$

$q$-expansion

comment: q-expansion
 
sage: f.q_expansion() # note that sage often uses an isomorphic number field
 
gp: mfcoefs(f, 20)
 

Coefficients of the \(q\)-expansion are expressed in terms of a basis \(1,\beta_1,\beta_2\) for the coefficient ring described below. We also show the integral \(q\)-expansion of the trace form.

\(f(q)\) \(=\) \( q - 4 q^{2} + (\beta_{2} + \beta_1 + 4) q^{3} + 16 q^{4} + (5 \beta_{2} + 21) q^{5} + ( - 4 \beta_{2} - 4 \beta_1 - 16) q^{6} + (4 \beta_{2} + 8 \beta_1 + 4) q^{7} - 64 q^{8} + ( - \beta_{2} + 20 \beta_1 + 14) q^{9}+O(q^{10}) \) Copy content Toggle raw display \( q - 4 q^{2} + (\beta_{2} + \beta_1 + 4) q^{3} + 16 q^{4} + (5 \beta_{2} + 21) q^{5} + ( - 4 \beta_{2} - 4 \beta_1 - 16) q^{6} + (4 \beta_{2} + 8 \beta_1 + 4) q^{7} - 64 q^{8} + ( - \beta_{2} + 20 \beta_1 + 14) q^{9} + ( - 20 \beta_{2} - 84) q^{10} + ( - 3 \beta_{2} - 21 \beta_1 + 42) q^{11} + (16 \beta_{2} + 16 \beta_1 + 64) q^{12} + (17 \beta_{2} - 70 \beta_1 + 91) q^{13} + ( - 16 \beta_{2} - 32 \beta_1 - 16) q^{14} + ( - 9 \beta_{2} + 21 \beta_1 + 714) q^{15} + 256 q^{16} + ( - 84 \beta_{2} + 92 \beta_1 + 1154) q^{17} + (4 \beta_{2} - 80 \beta_1 - 56) q^{18} + (58 \beta_{2} - 12 \beta_1 + 1202) q^{19} + (80 \beta_{2} + 336) q^{20} + ( - 12 \beta_{2} + 132 \beta_1 + 1440) q^{21} + (12 \beta_{2} + 84 \beta_1 - 168) q^{22} + (34 \beta_{2} - 106 \beta_1 + 1916) q^{23} + ( - 64 \beta_{2} - 64 \beta_1 - 256) q^{24} + (85 \beta_{2} - 150 \beta_1 + 616) q^{25} + ( - 68 \beta_{2} + 280 \beta_1 - 364) q^{26} + ( - 203 \beta_{2} + 91 \beta_1 + 1258) q^{27} + (64 \beta_{2} + 128 \beta_1 + 64) q^{28} + 841 q^{29} + (36 \beta_{2} - 84 \beta_1 - 2856) q^{30} + (299 \beta_{2} - 209 \beta_1 - 660) q^{31} - 1024 q^{32} + (39 \beta_{2} - 294 \beta_1 - 2625) q^{33} + (336 \beta_{2} - 368 \beta_1 - 4616) q^{34} + ( - 196 \beta_{2} + 288 \beta_1 + 2484) q^{35} + ( - 16 \beta_{2} + 320 \beta_1 + 224) q^{36} + ( - 58 \beta_{2} + 824 \beta_1 - 1520) q^{37} + ( - 232 \beta_{2} + 48 \beta_1 - 4808) q^{38} + ( - 81 \beta_{2} - 1029 \beta_1 - 5544) q^{39} + ( - 320 \beta_{2} - 1344) q^{40} + (162 \beta_{2} - 136 \beta_1 - 2296) q^{41} + (48 \beta_{2} - 528 \beta_1 - 5760) q^{42} + ( - 1055 \beta_{2} - 205 \beta_1 - 6770) q^{43} + ( - 48 \beta_{2} - 336 \beta_1 + 672) q^{44} + ( - 426 \beta_{2} + 1050 \beta_1 - 966) q^{45} + ( - 136 \beta_{2} + 424 \beta_1 - 7664) q^{46} + (245 \beta_{2} - 1545 \beta_1 + 1722) q^{47} + (256 \beta_{2} + 256 \beta_1 + 1024) q^{48} + (16 \beta_{2} + 736 \beta_1 - 7319) q^{49} + ( - 340 \beta_{2} + 600 \beta_1 - 2464) q^{50} + (1750 \beta_{2} + 2626 \beta_1 + 4612) q^{51} + (272 \beta_{2} - 1120 \beta_1 + 1456) q^{52} + (427 \beta_{2} - 1126 \beta_1 + 8849) q^{53} + (812 \beta_{2} - 364 \beta_1 - 5032) q^{54} + (747 \beta_{2} - 981 \beta_1 - 468) q^{55} + ( - 256 \beta_{2} - 512 \beta_1 - 256) q^{56} + (842 \beta_{2} + 1010 \beta_1 + 10736) q^{57} - 3364 q^{58} + ( - 1630 \beta_{2} + 1358 \beta_1 + 9416) q^{59} + ( - 144 \beta_{2} + 336 \beta_1 + 11424) q^{60} + (1216 \beta_{2} + 776 \beta_1 - 8234) q^{61} + ( - 1196 \beta_{2} + 836 \beta_1 + 2640) q^{62} + (672 \beta_{2} + 1608 \beta_1 + 18456) q^{63} + 4096 q^{64} + (2137 \beta_{2} - 4080 \beta_1 + 15231) q^{65} + ( - 156 \beta_{2} + 1176 \beta_1 + 10500) q^{66} + ( - 4524 \beta_{2} - 2404 \beta_1 - 10676) q^{67} + ( - 1344 \beta_{2} + 1472 \beta_1 + 18464) q^{68} + (1606 \beta_{2} + 220 \beta_1 - 242) q^{69} + (784 \beta_{2} - 1152 \beta_1 - 9936) q^{70} + ( - 3806 \beta_{2} + 1374 \beta_1 + 21516) q^{71} + (64 \beta_{2} - 1280 \beta_1 - 896) q^{72} + ( - 4294 \beta_{2} - 1572 \beta_1 - 14716) q^{73} + (232 \beta_{2} - 3296 \beta_1 + 6080) q^{74} + ( - 44 \beta_{2} - 1784 \beta_1 - 4076) q^{75} + (928 \beta_{2} - 192 \beta_1 + 19232) q^{76} + ( - 252 \beta_{2} - 1332 \beta_1 - 21096) q^{77} + (324 \beta_{2} + 4116 \beta_1 + 22176) q^{78} + ( - 37 \beta_{2} - 2171 \beta_1 - 20046) q^{79} + (1280 \beta_{2} + 5376) q^{80} + (2810 \beta_{2} - 2146 \beta_1 - 13483) q^{81} + ( - 648 \beta_{2} + 544 \beta_1 + 9184) q^{82} + (3362 \beta_{2} + 2982 \beta_1 + 48360) q^{83} + ( - 192 \beta_{2} + 2112 \beta_1 + 23040) q^{84} + (3806 \beta_{2} + 7212 \beta_1 - 33966) q^{85} + (4220 \beta_{2} + 820 \beta_1 + 27080) q^{86} + (841 \beta_{2} + 841 \beta_1 + 3364) q^{87} + (192 \beta_{2} + 1344 \beta_1 - 2688) q^{88} + ( - 1854 \beta_{2} + 8840 \beta_1 - 13576) q^{89} + (1704 \beta_{2} - 4200 \beta_1 + 3864) q^{90} + ( - 2548 \beta_{2} - 4184 \beta_1 - 57556) q^{91} + (544 \beta_{2} - 1696 \beta_1 + 30656) q^{92} + ( - 2663 \beta_{2} - 4004 \beta_1 + 10999) q^{93} + ( - 980 \beta_{2} + 6180 \beta_1 - 6888) q^{94} + (6078 \beta_{2} - 2352 \beta_1 + 63882) q^{95} + ( - 1024 \beta_{2} - 1024 \beta_1 - 4096) q^{96} + ( - 5654 \beta_{2} + 1628 \beta_1 - 49076) q^{97} + ( - 64 \beta_{2} - 2944 \beta_1 + 29276) q^{98} + ( - 2424 \beta_{2} - 2226 \beta_1 - 49602) q^{99}+O(q^{100}) \) Copy content Toggle raw display
\(\operatorname{Tr}(f)(q)\) \(=\) \( 3 q - 12 q^{2} + 14 q^{3} + 48 q^{4} + 68 q^{5} - 56 q^{6} + 24 q^{7} - 192 q^{8} + 61 q^{9}+O(q^{10}) \) Copy content Toggle raw display \( 3 q - 12 q^{2} + 14 q^{3} + 48 q^{4} + 68 q^{5} - 56 q^{6} + 24 q^{7} - 192 q^{8} + 61 q^{9} - 272 q^{10} + 102 q^{11} + 224 q^{12} + 220 q^{13} - 96 q^{14} + 2154 q^{15} + 768 q^{16} + 3470 q^{17} - 244 q^{18} + 3652 q^{19} + 1088 q^{20} + 4440 q^{21} - 408 q^{22} + 5676 q^{23} - 896 q^{24} + 1783 q^{25} - 880 q^{26} + 3662 q^{27} + 384 q^{28} + 2523 q^{29} - 8616 q^{30} - 1890 q^{31} - 3072 q^{32} - 8130 q^{33} - 13880 q^{34} + 7544 q^{35} + 976 q^{36} - 3794 q^{37} - 14608 q^{38} - 17742 q^{39} - 4352 q^{40} - 6862 q^{41} - 17760 q^{42} - 21570 q^{43} + 1632 q^{44} - 2274 q^{45} - 22704 q^{46} + 3866 q^{47} + 3584 q^{48} - 21205 q^{49} - 7132 q^{50} + 18212 q^{51} + 3520 q^{52} + 25848 q^{53} - 14648 q^{54} - 1638 q^{55} - 1536 q^{56} + 34060 q^{57} - 10092 q^{58} + 27976 q^{59} + 34464 q^{60} - 22710 q^{61} + 7560 q^{62} + 57648 q^{63} + 12288 q^{64} + 43750 q^{65} + 32520 q^{66} - 38956 q^{67} + 55520 q^{68} + 1100 q^{69} - 30176 q^{70} + 62116 q^{71} - 3904 q^{72} - 50014 q^{73} + 15176 q^{74} - 14056 q^{75} + 58432 q^{76} - 64872 q^{77} + 70968 q^{78} - 62346 q^{79} + 17408 q^{80} - 39785 q^{81} + 27448 q^{82} + 151424 q^{83} + 71040 q^{84} - 90880 q^{85} + 86280 q^{86} + 11774 q^{87} - 6528 q^{88} - 33742 q^{89} + 9096 q^{90} - 179400 q^{91} + 90816 q^{92} + 26330 q^{93} - 15464 q^{94} + 195372 q^{95} - 14336 q^{96} - 151254 q^{97} + 84820 q^{98} - 153456 q^{99}+O(q^{100}) \) Copy content Toggle raw display

Basis of coefficient ring in terms of a root \(\nu\) of \( x^{3} - x^{2} - 187x - 569 \) : Copy content Toggle raw display

\(\beta_{1}\)\(=\) \( \nu \) Copy content Toggle raw display
\(\beta_{2}\)\(=\) \( ( \nu^{2} - 6\nu - 121 ) / 6 \) Copy content Toggle raw display
\(\nu\)\(=\) \( \beta_1 \) Copy content Toggle raw display
\(\nu^{2}\)\(=\) \( 6\beta_{2} + 6\beta _1 + 121 \) Copy content Toggle raw display

Embeddings

For each embedding \(\iota_m\) of the coefficient field, the values \(\iota_m(a_n)\) are shown below.

For more information on an embedded modular form you can click on its label.

comment: embeddings in the coefficient field
 
gp: mfembed(f)
 
Label   \(\iota_m(\nu)\) \( a_{2} \) \( a_{3} \) \( a_{4} \) \( a_{5} \) \( a_{6} \) \( a_{7} \) \( a_{8} \) \( a_{9} \) \( a_{10} \)
1.1
−3.29139
−11.1764
15.4678
−4.00000 −14.3611 16.0000 −54.3487 57.4445 −82.6101 −64.0000 −36.7580 217.395
1.2 −4.00000 4.65215 16.0000 80.1430 −18.6086 −38.0972 −64.0000 −221.357 −320.572
1.3 −4.00000 23.7090 16.0000 42.2057 −94.8359 144.707 −64.0000 319.116 −168.823
\(n\): e.g. 2-40 or 990-1000
Significant digits:
Format:

Atkin-Lehner signs

\( p \) Sign
\(2\) \(1\)
\(29\) \(-1\)

Inner twists

This newform does not admit any (nontrivial) inner twists.

Twists

       By twisting character orbit
Char Parity Ord Mult Type Twist Min Dim
1.a even 1 1 trivial 58.6.a.b 3
3.b odd 2 1 522.6.a.i 3
4.b odd 2 1 464.6.a.f 3
    
        By twisted newform orbit
Twist Min Dim Char Parity Ord Mult Type
58.6.a.b 3 1.a even 1 1 trivial
464.6.a.f 3 4.b odd 2 1
522.6.a.i 3 3.b odd 2 1

Hecke kernels

This newform subspace can be constructed as the kernel of the linear operator \( T_{3}^{3} - 14T_{3}^{2} - 297T_{3} + 1584 \) acting on \(S_{6}^{\mathrm{new}}(\Gamma_0(58))\). Copy content Toggle raw display

Hecke characteristic polynomials

$p$ $F_p(T)$
$2$ \( (T + 4)^{3} \) Copy content Toggle raw display
$3$ \( T^{3} - 14 T^{2} + \cdots + 1584 \) Copy content Toggle raw display
$5$ \( T^{3} - 68 T^{2} + \cdots + 183834 \) Copy content Toggle raw display
$7$ \( T^{3} - 24 T^{2} + \cdots - 455424 \) Copy content Toggle raw display
$11$ \( T^{3} - 102 T^{2} + \cdots + 11144952 \) Copy content Toggle raw display
$13$ \( T^{3} - 220 T^{2} + \cdots + 64435938 \) Copy content Toggle raw display
$17$ \( T^{3} + \cdots + 4080137208 \) Copy content Toggle raw display
$19$ \( T^{3} - 3652 T^{2} + \cdots - 938008512 \) Copy content Toggle raw display
$23$ \( T^{3} + \cdots - 2582050944 \) Copy content Toggle raw display
$29$ \( (T - 841)^{3} \) Copy content Toggle raw display
$31$ \( T^{3} + \cdots - 61264891668 \) Copy content Toggle raw display
$37$ \( T^{3} + \cdots - 420885744288 \) Copy content Toggle raw display
$41$ \( T^{3} + \cdots - 18158892384 \) Copy content Toggle raw display
$43$ \( T^{3} + \cdots - 2396466063000 \) Copy content Toggle raw display
$47$ \( T^{3} + \cdots + 1441150335252 \) Copy content Toggle raw display
$53$ \( T^{3} + \cdots + 1095236406426 \) Copy content Toggle raw display
$59$ \( T^{3} + \cdots + 17372487788496 \) Copy content Toggle raw display
$61$ \( T^{3} + \cdots - 655741719096 \) Copy content Toggle raw display
$67$ \( T^{3} + \cdots - 163676706166656 \) Copy content Toggle raw display
$71$ \( T^{3} + \cdots + 76931026202016 \) Copy content Toggle raw display
$73$ \( T^{3} + \cdots - 151387711842208 \) Copy content Toggle raw display
$79$ \( T^{3} + \cdots - 2509585973268 \) Copy content Toggle raw display
$83$ \( T^{3} + \cdots + 72220786520688 \) Copy content Toggle raw display
$89$ \( T^{3} + \cdots - 228134244314976 \) Copy content Toggle raw display
$97$ \( T^{3} + \cdots - 197612904971808 \) Copy content Toggle raw display
show more
show less