Newspace parameters
comment: Compute space of new eigenforms
[N,k,chi] = [8045,2,Mod(1,8045)]
mf = mfinit([N,k,chi],0)
lf = mfeigenbasis(mf)
from sage.modular.dirichlet import DirichletCharacter
H = DirichletGroup(8045, base_ring=CyclotomicField(2))
chi = DirichletCharacter(H, H._module([0, 0]))
N = Newforms(chi, 2, names="a")
//Please install CHIMP (https://github.com/edgarcosta/CHIMP) if you want to run this code
chi := DirichletCharacter("8045.1");
S:= CuspForms(chi, 2);
N := Newforms(S);
Level: | \( N \) | \(=\) | \( 8045 = 5 \cdot 1609 \) |
Weight: | \( k \) | \(=\) | \( 2 \) |
Character orbit: | \([\chi]\) | \(=\) | 8045.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: | \(64.2396484261\) |
Analytic rank: | \(1\) |
Dimension: | \(127\) |
Twist minimal: | yes |
Fricke sign: | \(1\) |
Sato-Tate group: | $\mathrm{SU}(2)$ |
$q$-expansion
The dimension is sufficiently large that we do not compute an algebraic \(q\)-expansion, but we have computed the trace expansion.
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 | \( a_{2} \) | \( a_{3} \) | \( a_{4} \) | \( a_{5} \) | \( a_{6} \) | \( a_{7} \) | \( a_{8} \) | \( a_{9} \) | \( a_{10} \) | ||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
1.1 | −2.82452 | −1.42855 | 5.97791 | 1.00000 | 4.03498 | −1.55315 | −11.2357 | −0.959233 | −2.82452 | ||||||||||||||||||
1.2 | −2.74468 | −3.15686 | 5.53326 | 1.00000 | 8.66457 | −4.01431 | −9.69765 | 6.96577 | −2.74468 | ||||||||||||||||||
1.3 | −2.72254 | 3.22119 | 5.41223 | 1.00000 | −8.76982 | −3.61577 | −9.28994 | 7.37607 | −2.72254 | ||||||||||||||||||
1.4 | −2.71791 | −0.717872 | 5.38703 | 1.00000 | 1.95111 | −2.87590 | −9.20565 | −2.48466 | −2.71791 | ||||||||||||||||||
1.5 | −2.69637 | 1.21455 | 5.27040 | 1.00000 | −3.27487 | 2.45597 | −8.81819 | −1.52487 | −2.69637 | ||||||||||||||||||
1.6 | −2.69512 | −2.02504 | 5.26369 | 1.00000 | 5.45774 | 1.98108 | −8.79604 | 1.10080 | −2.69512 | ||||||||||||||||||
1.7 | −2.68498 | 2.75441 | 5.20913 | 1.00000 | −7.39554 | −2.94460 | −8.61647 | 4.58677 | −2.68498 | ||||||||||||||||||
1.8 | −2.61813 | 0.911081 | 4.85463 | 1.00000 | −2.38533 | −2.60374 | −7.47379 | −2.16993 | −2.61813 | ||||||||||||||||||
1.9 | −2.53777 | 0.243430 | 4.44030 | 1.00000 | −0.617771 | 4.53173 | −6.19292 | −2.94074 | −2.53777 | ||||||||||||||||||
1.10 | −2.52291 | −2.56612 | 4.36506 | 1.00000 | 6.47407 | −1.96305 | −5.96681 | 3.58496 | −2.52291 | ||||||||||||||||||
1.11 | −2.51055 | −0.644369 | 4.30288 | 1.00000 | 1.61772 | −0.493808 | −5.78150 | −2.58479 | −2.51055 | ||||||||||||||||||
1.12 | −2.49863 | 2.41476 | 4.24316 | 1.00000 | −6.03361 | 1.44699 | −5.60483 | 2.83108 | −2.49863 | ||||||||||||||||||
1.13 | −2.47054 | −3.37029 | 4.10358 | 1.00000 | 8.32645 | 4.71800 | −5.19700 | 8.35885 | −2.47054 | ||||||||||||||||||
1.14 | −2.44032 | 0.296251 | 3.95518 | 1.00000 | −0.722948 | −5.11077 | −4.77127 | −2.91224 | −2.44032 | ||||||||||||||||||
1.15 | −2.41609 | −2.71250 | 3.83748 | 1.00000 | 6.55363 | −4.44734 | −4.43951 | 4.35764 | −2.41609 | ||||||||||||||||||
1.16 | −2.35235 | −3.18470 | 3.53353 | 1.00000 | 7.49152 | −1.35488 | −3.60740 | 7.14233 | −2.35235 | ||||||||||||||||||
1.17 | −2.31881 | 0.00298266 | 3.37687 | 1.00000 | −0.00691620 | −0.956165 | −3.19269 | −2.99999 | −2.31881 | ||||||||||||||||||
1.18 | −2.26786 | −1.17957 | 3.14318 | 1.00000 | 2.67510 | 2.15242 | −2.59257 | −1.60862 | −2.26786 | ||||||||||||||||||
1.19 | −2.26133 | 1.69211 | 3.11360 | 1.00000 | −3.82641 | −1.09235 | −2.51822 | −0.136771 | −2.26133 | ||||||||||||||||||
1.20 | −2.24197 | 1.72389 | 3.02644 | 1.00000 | −3.86491 | −1.20930 | −2.30126 | −0.0282099 | −2.24197 | ||||||||||||||||||
See next 80 embeddings (of 127 total) |
Atkin-Lehner signs
\( p \) | Sign |
---|---|
\(5\) | \(-1\) |
\(1609\) | \(-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 | 8045.2.a.c | ✓ | 127 |
By twisted newform orbit | |||||||
---|---|---|---|---|---|---|---|
Twist | Min | Dim | Char | Parity | Ord | Mult | Type |
8045.2.a.c | ✓ | 127 | 1.a | even | 1 | 1 | trivial |
Hecke kernels
This newform subspace can be constructed as the kernel of the linear operator \( T_{2}^{127} + 20 T_{2}^{126} + 15 T_{2}^{125} - 2321 T_{2}^{124} - 12760 T_{2}^{123} + 114080 T_{2}^{122} + \cdots + 154823 \) acting on \(S_{2}^{\mathrm{new}}(\Gamma_0(8045))\).