Show commands: Magma / Pari/GP / SageMath

Newspace parameters

Copy content comment:Compute space of new eigenforms
 
Copy content gp:[N,k,chi] = [106,6,Mod(1,106)] 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("106.1"); S:= CuspForms(chi, 6); N := Newforms(S);
 
Copy content sage:from sage.modular.dirichlet import DirichletCharacter H = DirichletGroup(106, base_ring=CyclotomicField(2)) chi = DirichletCharacter(H, H._module([0])) N = Newforms(chi, 6, names="a")
 
Level: \( N \) \(=\) \( 106 = 2 \cdot 53 \)
Weight: \( k \) \(=\) \( 6 \)
Character orbit: \([\chi]\) \(=\) 106.a (trivial)

Newform invariants

Copy content comment:select newform
 
Copy content sage:traces = [7,28,19] 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: yes
Analytic conductor: \(17.0006849002\)
Analytic rank: \(0\)
Dimension: \(7\)
Coefficient field: \(\mathbb{Q}[x]/(x^{7} - \cdots)\)
Copy content comment:defining polynomial
 
Copy content gp:f.mod \\ as an extension of the character field
 
Defining polynomial: \( x^{7} - 2x^{6} - 1315x^{5} - 3226x^{4} + 486648x^{3} + 2213838x^{2} - 51879636x - 326785428 \) Copy content Toggle raw display
Coefficient ring: \(\Z[a_1, \ldots, a_{5}]\)
Coefficient ring index: \( 2^{2} \)
Twist minimal: yes
Fricke sign: \(-1\)
Sato-Tate group: $\mathrm{SU}(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)
 

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

\(f(q)\) \(=\) \( q + 4 q^{2} + ( - \beta_1 + 3) q^{3} + 16 q^{4} + (\beta_{4} - 2 \beta_1 + 13) q^{5} + ( - 4 \beta_1 + 12) q^{6} + (\beta_{3} - \beta_{2} - \beta_1 + 13) q^{7} + 64 q^{8} + (\beta_{6} - \beta_{5} - 2 \beta_{4} + \cdots + 140) q^{9}+ \cdots + ( - 212 \beta_{6} + 719 \beta_{5} + \cdots - 44506) q^{99}+O(q^{100}) \) Copy content Toggle raw display
\(\operatorname{Tr}(f)(q)\) \(=\) \( 7 q + 28 q^{2} + 19 q^{3} + 112 q^{4} + 89 q^{5} + 76 q^{6} + 84 q^{7} + 448 q^{8} + 984 q^{9} + 356 q^{10} + 639 q^{11} + 304 q^{12} + 843 q^{13} + 336 q^{14} + 4764 q^{15} + 1792 q^{16} + 2426 q^{17}+ \cdots - 320431 q^{99}+O(q^{100}) \) Copy content Toggle raw display

Basis of coefficient ring in terms of a root \(\nu\) of \( x^{7} - 2x^{6} - 1315x^{5} - 3226x^{4} + 486648x^{3} + 2213838x^{2} - 51879636x - 326785428 \) : Copy content Toggle raw display

\(\beta_{1}\)\(=\) \( \nu \) Copy content Toggle raw display
\(\beta_{2}\)\(=\) \( ( 45821 \nu^{6} + 1213139 \nu^{5} - 59933276 \nu^{4} - 911441258 \nu^{3} + 12319152846 \nu^{2} + \cdots - 618474209544 ) / 42767908452 \) Copy content Toggle raw display
\(\beta_{3}\)\(=\) \( ( 1027625 \nu^{6} - 43417933 \nu^{5} - 305280344 \nu^{4} + 28335474850 \nu^{3} + \cdots + 21644507976228 ) / 128303725356 \) Copy content Toggle raw display
\(\beta_{4}\)\(=\) \( ( - 469921 \nu^{6} + 11618737 \nu^{5} + 470082084 \nu^{4} - 8881443370 \nu^{3} + \cdots + 17487109806264 ) / 42767908452 \) Copy content Toggle raw display
\(\beta_{5}\)\(=\) \( ( - 953783 \nu^{6} + 10527163 \nu^{5} + 909656204 \nu^{4} - 2912370226 \nu^{3} + \cdots + 12285142043400 ) / 42767908452 \) Copy content Toggle raw display
\(\beta_{6}\)\(=\) \( ( - 1232044 \nu^{6} + 12649286 \nu^{5} + 1400945107 \nu^{4} - 7055412125 \nu^{3} + \cdots + 29786961229533 ) / 32075931339 \) Copy content Toggle raw display
\(\nu\)\(=\) \( \beta_1 \) Copy content Toggle raw display
\(\nu^{2}\)\(=\) \( \beta_{6} - \beta_{5} - 2\beta_{4} - \beta_{3} + 2\beta_{2} + 7\beta _1 + 374 \) Copy content Toggle raw display
\(\nu^{3}\)\(=\) \( 4\beta_{6} + 6\beta_{5} - 17\beta_{4} + 2\beta_{3} + 79\beta_{2} + 618\beta _1 + 2318 \) Copy content Toggle raw display
\(\nu^{4}\)\(=\) \( 867\beta_{6} - 790\beta_{5} - 1599\beta_{4} - 612\beta_{3} + 2815\beta_{2} + 9218\beta _1 + 219555 \) Copy content Toggle raw display
\(\nu^{5}\)\(=\) \( 9500\beta_{6} - 1461\beta_{5} - 23230\beta_{4} - 3422\beta_{3} + 97517\beta_{2} + 475526\beta _1 + 3083470 \) Copy content Toggle raw display
\(\nu^{6}\)\(=\) \( 693218 \beta_{6} - 606427 \beta_{5} - 1276888 \beta_{4} - 401252 \beta_{3} + 3067239 \beta_{2} + \cdots + 164592754 \) 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.

Copy content comment:embeddings in the coefficient field
 
Copy content 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
31.2102
18.2860
14.4847
−7.45051
−11.4496
−20.7784
−22.3024
4.00000 −28.2102 16.0000 −64.7919 −112.841 −115.384 64.0000 552.816 −259.168
1.2 4.00000 −15.2860 16.0000 −68.7893 −61.1440 73.0922 64.0000 −9.33853 −275.157
1.3 4.00000 −11.4847 16.0000 77.1306 −45.9387 3.65511 64.0000 −111.102 308.523
1.4 4.00000 10.4505 16.0000 73.3812 41.8020 234.374 64.0000 −133.787 293.525
1.5 4.00000 14.4496 16.0000 −30.5747 57.7984 39.9736 64.0000 −34.2088 −122.299
1.6 4.00000 23.7784 16.0000 99.5423 95.1135 −212.585 64.0000 322.411 398.169
1.7 4.00000 25.3024 16.0000 3.10174 101.210 60.8738 64.0000 397.210 12.4069
\(n\): e.g. 2-40 or 80-90
Embeddings: e.g. 1-3 or 1.7
Significant digits:
Format:

Atkin-Lehner signs

\( p \) Sign
\(2\) \( -1 \)
\(53\) \( +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 106.6.a.d ✓ 7
3.b odd 2 1 954.6.a.k 7
4.b odd 2 1 848.6.a.d 7
    
        By twisted newform orbit
Twist Min Dim Char Parity Ord Mult Type
106.6.a.d ✓ 7 1.a even 1 1 trivial
848.6.a.d 7 4.b odd 2 1
954.6.a.k 7 3.b odd 2 1

Hecke kernels

This newform subspace can be constructed as the kernel of the linear operator \( T_{3}^{7} - 19T_{3}^{6} - 1162T_{3}^{5} + 22276T_{3}^{4} + 331341T_{3}^{3} - 6067089T_{3}^{2} - 26335908T_{3} + 449940420 \) acting on \(S_{6}^{\mathrm{new}}(\Gamma_0(106))\). Copy content Toggle raw display

Hecke characteristic polynomials

$p$ $F_p(T)$
$2$ \( (T - 4)^{7} \) Copy content Toggle raw display
$3$ \( T^{7} - 19 T^{6} + \cdots + 449940420 \) Copy content Toggle raw display
$5$ \( T^{7} + \cdots + 238137495264 \) Copy content Toggle raw display
$7$ \( T^{7} + \cdots - 3737322217472 \) Copy content Toggle raw display
$11$ \( T^{7} + \cdots + 67\!\cdots\!00 \) Copy content Toggle raw display
$13$ \( T^{7} + \cdots + 33\!\cdots\!40 \) Copy content Toggle raw display
$17$ \( T^{7} + \cdots + 65\!\cdots\!62 \) Copy content Toggle raw display
$19$ \( T^{7} + \cdots - 30\!\cdots\!40 \) Copy content Toggle raw display
$23$ \( T^{7} + \cdots + 32\!\cdots\!70 \) Copy content Toggle raw display
$29$ \( T^{7} + \cdots + 14\!\cdots\!44 \) Copy content Toggle raw display
$31$ \( T^{7} + \cdots + 36\!\cdots\!36 \) Copy content Toggle raw display
$37$ \( T^{7} + \cdots + 39\!\cdots\!28 \) Copy content Toggle raw display
$41$ \( T^{7} + \cdots + 79\!\cdots\!20 \) Copy content Toggle raw display
$43$ \( T^{7} + \cdots - 55\!\cdots\!00 \) Copy content Toggle raw display
$47$ \( T^{7} + \cdots + 16\!\cdots\!96 \) Copy content Toggle raw display
$53$ \( (T + 2809)^{7} \) Copy content Toggle raw display
$59$ \( T^{7} + \cdots - 17\!\cdots\!20 \) Copy content Toggle raw display
$61$ \( T^{7} + \cdots - 91\!\cdots\!68 \) Copy content Toggle raw display
$67$ \( T^{7} + \cdots + 94\!\cdots\!16 \) Copy content Toggle raw display
$71$ \( T^{7} + \cdots + 10\!\cdots\!84 \) Copy content Toggle raw display
$73$ \( T^{7} + \cdots - 68\!\cdots\!80 \) Copy content Toggle raw display
$79$ \( T^{7} + \cdots - 76\!\cdots\!10 \) Copy content Toggle raw display
$83$ \( T^{7} + \cdots - 19\!\cdots\!60 \) Copy content Toggle raw display
$89$ \( T^{7} + \cdots + 94\!\cdots\!76 \) Copy content Toggle raw display
$97$ \( T^{7} + \cdots - 93\!\cdots\!06 \) Copy content Toggle raw display
show more
show less