Newspace parameters
comment: Compute space of new eigenforms
[N,k,chi] = [17,9,Mod(3,17)]
mf = mfinit([N,k,chi],0)
lf = mfeigenbasis(mf)
from sage.modular.dirichlet import DirichletCharacter
H = DirichletGroup(17, base_ring=CyclotomicField(16))
chi = DirichletCharacter(H, H._module([1]))
N = Newforms(chi, 9, names="a")
//Please install CHIMP (https://github.com/edgarcosta/CHIMP) if you want to run this code
chi := DirichletCharacter("17.3");
S:= CuspForms(chi, 9);
N := Newforms(S);
Level: | \( N \) | \(=\) | \( 17 \) |
Weight: | \( k \) | \(=\) | \( 9 \) |
Character orbit: | \([\chi]\) | \(=\) | 17.e (of order \(16\), degree \(8\), minimal) |
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: | no |
Analytic conductor: | \(6.92543637104\) |
Analytic rank: | \(0\) |
Dimension: | \(88\) |
Relative dimension: | \(11\) over \(\Q(\zeta_{16})\) |
Twist minimal: | yes |
Sato-Tate group: | $\mathrm{SU}(2)[C_{16}]$ |
$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} \) | ||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
3.1 | −27.0831 | + | 11.2182i | −27.1070 | − | 5.39191i | 426.625 | − | 426.625i | 583.700 | + | 873.569i | 794.627 | − | 158.061i | 1223.56 | − | 1831.18i | −3896.51 | + | 9407.00i | −5355.86 | − | 2218.47i | −25608.2 | − | 17110.9i |
3.2 | −22.4842 | + | 9.31327i | −74.8365 | − | 14.8859i | 237.784 | − | 237.784i | −616.975 | − | 923.368i | 1821.28 | − | 362.275i | −1390.42 | + | 2080.92i | −747.643 | + | 1804.97i | −682.659 | − | 282.767i | 22471.8 | + | 15015.2i |
3.3 | −22.2906 | + | 9.23308i | 137.900 | + | 27.4300i | 230.603 | − | 230.603i | −329.917 | − | 493.756i | −3327.13 | + | 661.808i | 1362.42 | − | 2039.00i | −647.436 | + | 1563.05i | 12202.4 | + | 5054.39i | 11913.0 | + | 7959.98i |
3.4 | −13.4623 | + | 5.57628i | 21.6403 | + | 4.30452i | −30.8798 | + | 30.8798i | 145.447 | + | 217.677i | −315.332 | + | 62.7234i | −798.155 | + | 1194.52i | 1671.05 | − | 4034.27i | −5611.80 | − | 2324.48i | −3171.89 | − | 2119.39i |
3.5 | −6.36107 | + | 2.63484i | −117.068 | − | 23.2862i | −147.499 | + | 147.499i | 111.853 | + | 167.401i | 806.031 | − | 160.330i | 1131.04 | − | 1692.72i | 1224.13 | − | 2955.32i | 7101.04 | + | 2941.35i | −1152.58 | − | 770.130i |
3.6 | −0.895127 | + | 0.370774i | 94.5743 | + | 18.8120i | −180.356 | + | 180.356i | 144.314 | + | 215.981i | −91.6310 | + | 18.2265i | −558.699 | + | 836.152i | 189.488 | − | 457.465i | 2528.84 | + | 1047.48i | −209.259 | − | 139.823i |
3.7 | 7.18313 | − | 2.97535i | 13.8016 | + | 2.74532i | −138.275 | + | 138.275i | −619.572 | − | 927.255i | 107.307 | − | 21.3447i | 1478.79 | − | 2213.17i | −1343.52 | + | 3243.54i | −5878.63 | − | 2435.01i | −7209.38 | − | 4817.15i |
3.8 | 14.1769 | − | 5.87227i | −81.9629 | − | 16.3034i | −14.5181 | + | 14.5181i | 92.1783 | + | 137.955i | −1257.72 | + | 250.176i | −1650.04 | + | 2469.45i | −1623.87 | + | 3920.37i | 390.549 | + | 161.771i | 2116.91 | + | 1414.47i |
3.9 | 17.9614 | − | 7.43985i | 63.2751 | + | 12.5862i | 86.2406 | − | 86.2406i | 501.158 | + | 750.037i | 1230.15 | − | 244.692i | 1576.86 | − | 2359.94i | −997.218 | + | 2407.50i | −2216.25 | − | 918.001i | 14581.7 | + | 9743.15i |
3.10 | 23.7585 | − | 9.84110i | 127.695 | + | 25.4000i | 286.601 | − | 286.601i | −409.123 | − | 612.296i | 3283.80 | − | 653.188i | −2516.58 | + | 3766.33i | 1469.42 | − | 3547.49i | 9599.16 | + | 3976.10i | −15745.8 | − | 10521.0i |
3.11 | 27.7894 | − | 11.5107i | −68.5000 | − | 13.6255i | 458.733 | − | 458.733i | −99.6540 | − | 149.143i | −2060.41 | + | 409.841i | 1333.93 | − | 1996.37i | 4520.79 | − | 10914.2i | −1554.97 | − | 644.090i | −4486.07 | − | 2997.49i |
5.1 | −11.1165 | − | 26.8376i | −47.6889 | − | 71.3715i | −415.663 | + | 415.663i | −37.5525 | + | 188.789i | −1385.31 | + | 2073.26i | −554.124 | − | 2785.77i | 8905.68 | + | 3688.85i | −308.869 | + | 745.676i | 5484.10 | − | 1090.86i |
5.2 | −8.96365 | − | 21.6402i | 54.4002 | + | 81.4157i | −206.931 | + | 206.931i | 159.606 | − | 802.392i | 1274.22 | − | 1907.01i | −201.955 | − | 1015.30i | 792.983 | + | 328.464i | −1158.34 | + | 2796.49i | −18794.6 | + | 3738.47i |
5.3 | −7.92082 | − | 19.1225i | 14.4343 | + | 21.6025i | −121.913 | + | 121.913i | −137.968 | + | 693.613i | 298.763 | − | 447.130i | 656.146 | + | 3298.67i | −1598.44 | − | 662.094i | 2252.47 | − | 5437.94i | 14356.5 | − | 2855.68i |
5.4 | −4.22853 | − | 10.2086i | −68.8606 | − | 103.057i | 94.6848 | − | 94.6848i | 115.657 | − | 581.449i | −760.887 | + | 1138.75i | 185.869 | + | 934.427i | −3980.37 | − | 1648.72i | −3368.21 | + | 8131.58i | −6424.83 | + | 1277.98i |
5.5 | −2.38470 | − | 5.75717i | −3.79216 | − | 5.67536i | 153.561 | − | 153.561i | −48.4134 | + | 243.391i | −23.6309 | + | 35.3661i | −289.248 | − | 1454.15i | −2724.11 | − | 1128.36i | 2492.96 | − | 6018.53i | 1516.69 | − | 301.689i |
5.6 | 0.0196634 | + | 0.0474717i | 81.7173 | + | 122.299i | 181.017 | − | 181.017i | −109.490 | + | 550.445i | −4.19888 | + | 6.28407i | −258.327 | − | 1298.70i | 24.3054 | + | 10.0676i | −5768.43 | + | 13926.2i | −28.2835 | + | 5.62594i |
5.7 | 3.04523 | + | 7.35183i | 29.4808 | + | 44.1212i | 136.243 | − | 136.243i | 219.386 | − | 1102.93i | −234.595 | + | 351.097i | 626.138 | + | 3147.81i | 3298.60 | + | 1366.32i | 1433.23 | − | 3460.12i | 8776.61 | − | 1745.78i |
5.8 | 5.12891 | + | 12.3823i | −61.6614 | − | 92.2828i | 54.0040 | − | 54.0040i | −194.848 | + | 979.566i | 826.416 | − | 1236.82i | 756.561 | + | 3803.49i | 4115.54 | + | 1704.71i | −2203.20 | + | 5319.00i | −13128.6 | + | 2611.45i |
5.9 | 5.24507 | + | 12.6627i | −28.0383 | − | 41.9623i | 48.1857 | − | 48.1857i | 8.01568 | − | 40.2975i | 384.294 | − | 575.136i | −709.313 | − | 3565.96i | 4104.55 | + | 1700.16i | 1536.10 | − | 3708.47i | 552.319 | − | 109.863i |
See all 88 embeddings |
Inner twists
Char | Parity | Ord | Mult | Type |
---|---|---|---|---|
1.a | even | 1 | 1 | trivial |
17.e | odd | 16 | 1 | inner |
Twists
By twisting character orbit | |||||||
---|---|---|---|---|---|---|---|
Char | Parity | Ord | Mult | Type | Twist | Min | Dim |
1.a | even | 1 | 1 | trivial | 17.9.e.a | ✓ | 88 |
17.e | odd | 16 | 1 | inner | 17.9.e.a | ✓ | 88 |
By twisted newform orbit | |||||||
---|---|---|---|---|---|---|---|
Twist | Min | Dim | Char | Parity | Ord | Mult | Type |
17.9.e.a | ✓ | 88 | 1.a | even | 1 | 1 | trivial |
17.9.e.a | ✓ | 88 | 17.e | odd | 16 | 1 | inner |
Hecke kernels
This newform subspace is the entire newspace \(S_{9}^{\mathrm{new}}(17, [\chi])\).