Newspace parameters
comment: Compute space of new eigenforms
[N,k,chi] = [17,10,Mod(2,17)]
mf = mfinit([N,k,chi],0)
lf = mfeigenbasis(mf)
from sage.modular.dirichlet import DirichletCharacter
H = DirichletGroup(17, base_ring=CyclotomicField(8))
chi = DirichletCharacter(H, H._module([7]))
N = Newforms(chi, 10, names="a")
//Please install CHIMP (https://github.com/edgarcosta/CHIMP) if you want to run this code
chi := DirichletCharacter("17.2");
S:= CuspForms(chi, 10);
N := Newforms(S);
Level: | \( N \) | \(=\) | \( 17 \) |
Weight: | \( k \) | \(=\) | \( 10 \) |
Character orbit: | \([\chi]\) | \(=\) | 17.d (of order \(8\), degree \(4\), 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: | \(8.75560921479\) |
Analytic rank: | \(0\) |
Dimension: | \(52\) |
Relative dimension: | \(13\) over \(\Q(\zeta_{8})\) |
Twist minimal: | yes |
Sato-Tate group: | $\mathrm{SU}(2)[C_{8}]$ |
$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} \) | ||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
2.1 | −29.1798 | − | 29.1798i | −162.034 | + | 67.1166i | 1190.92i | −267.860 | − | 646.671i | 6686.56 | + | 2769.66i | −3386.34 | + | 8175.34i | 19810.7 | − | 19810.7i | 7832.33 | − | 7832.33i | −11053.6 | + | 26685.8i | ||
2.2 | −24.8024 | − | 24.8024i | 109.545 | − | 45.3751i | 718.321i | −625.855 | − | 1510.95i | −3842.40 | − | 1591.57i | 4127.23 | − | 9964.00i | 5117.27 | − | 5117.27i | −3976.74 | + | 3976.74i | −21952.5 | + | 52997.9i | ||
2.3 | −22.5808 | − | 22.5808i | 147.205 | − | 60.9745i | 507.789i | 534.784 | + | 1291.08i | −4700.88 | − | 1947.17i | −3817.95 | + | 9217.34i | −95.0916 | + | 95.0916i | 4033.58 | − | 4033.58i | 17077.8 | − | 41229.6i | ||
2.4 | −19.0841 | − | 19.0841i | −103.159 | + | 42.7299i | 216.409i | 813.738 | + | 1964.54i | 2784.17 | + | 1153.24i | 3243.32 | − | 7830.08i | −5641.10 | + | 5641.10i | −5102.02 | + | 5102.02i | 21962.0 | − | 53021.0i | ||
2.5 | −10.5264 | − | 10.5264i | −129.909 | + | 53.8103i | − | 290.392i | −588.452 | − | 1420.65i | 1933.90 | + | 801.047i | −818.389 | + | 1975.77i | −8446.26 | + | 8446.26i | 62.9403 | − | 62.9403i | −8760.00 | + | 21148.5i | |
2.6 | −2.79790 | − | 2.79790i | 168.723 | − | 69.8875i | − | 496.344i | −252.482 | − | 609.546i | −667.609 | − | 276.533i | −532.387 | + | 1285.30i | −2821.24 | + | 2821.24i | 9665.32 | − | 9665.32i | −999.029 | + | 2411.87i | |
2.7 | −2.23497 | − | 2.23497i | −45.0140 | + | 18.6454i | − | 502.010i | 265.226 | + | 640.313i | 142.277 | + | 58.9331i | −537.194 | + | 1296.90i | −2266.28 | + | 2266.28i | −12239.4 | + | 12239.4i | 838.309 | − | 2023.86i | |
2.8 | 11.3845 | + | 11.3845i | −244.376 | + | 101.224i | − | 252.785i | 230.356 | + | 556.130i | −3934.48 | − | 1629.72i | 406.478 | − | 981.326i | 8706.72 | − | 8706.72i | 35555.2 | − | 35555.2i | −3708.77 | + | 8953.77i | |
2.9 | 13.0593 | + | 13.0593i | 116.759 | − | 48.3631i | − | 170.907i | 663.047 | + | 1600.74i | 2156.38 | + | 893.204i | 2945.54 | − | 7111.17i | 8918.32 | − | 8918.32i | −2624.32 | + | 2624.32i | −12245.6 | + | 29563.5i | |
2.10 | 17.3427 | + | 17.3427i | −21.9931 | + | 9.10984i | 89.5378i | −1000.76 | − | 2416.05i | −539.408 | − | 223.430i | 1420.57 | − | 3429.57i | 7326.63 | − | 7326.63i | −13517.3 | + | 13517.3i | 24544.9 | − | 59256.7i | ||
2.11 | 21.3276 | + | 21.3276i | −21.6241 | + | 8.95698i | 397.734i | 288.795 | + | 697.212i | −652.221 | − | 270.159i | −4324.98 | + | 10441.4i | 2437.03 | − | 2437.03i | −13530.6 | + | 13530.6i | −8710.57 | + | 21029.2i | ||
2.12 | 27.1947 | + | 27.1947i | 246.648 | − | 102.165i | 967.098i | −306.747 | − | 740.553i | 9485.84 | + | 3929.16i | −1300.23 | + | 3139.03i | −12376.2 | + | 12376.2i | 36479.5 | − | 36479.5i | 11797.2 | − | 28481.0i | ||
2.13 | 31.2113 | + | 31.2113i | −114.097 | + | 47.2607i | 1436.29i | 205.870 | + | 497.013i | −5036.20 | − | 2086.06i | 3921.77 | − | 9467.99i | −28848.3 | + | 28848.3i | −3133.33 | + | 3133.33i | −9086.97 | + | 21937.9i | ||
8.1 | −29.9491 | + | 29.9491i | 97.1714 | − | 234.592i | − | 1281.90i | −584.865 | − | 242.259i | 4115.64 | + | 9936.04i | −4412.09 | + | 1827.55i | 23057.9 | + | 23057.9i | −31673.4 | − | 31673.4i | 24771.7 | − | 10260.8i | |
8.2 | −25.4395 | + | 25.4395i | −16.0088 | + | 38.6487i | − | 782.338i | 2220.20 | + | 919.637i | −575.948 | − | 1390.46i | 8017.68 | − | 3321.03i | 6877.27 | + | 6877.27i | 12680.5 | + | 12680.5i | −79875.9 | + | 33085.7i | |
8.3 | −25.0414 | + | 25.0414i | −61.4403 | + | 148.330i | − | 742.144i | −1194.49 | − | 494.773i | −2175.84 | − | 5252.94i | −4192.59 | + | 1736.63i | 5763.13 | + | 5763.13i | −4308.89 | − | 4308.89i | 42301.4 | − | 17521.8i | |
8.4 | −14.5474 | + | 14.5474i | 32.3594 | − | 78.1225i | 88.7454i | 31.3399 | + | 12.9814i | 665.735 | + | 1607.23i | −4774.06 | + | 1977.48i | −8739.29 | − | 8739.29i | 8861.98 | + | 8861.98i | −644.761 | + | 267.069i | ||
8.5 | −12.2939 | + | 12.2939i | 41.5316 | − | 100.266i | 209.719i | −793.507 | − | 328.681i | 722.077 | + | 1743.25i | 7184.85 | − | 2976.06i | −8872.76 | − | 8872.76i | 5589.57 | + | 5589.57i | 13796.1 | − | 5714.52i | ||
8.6 | −4.85709 | + | 4.85709i | −79.5278 | + | 191.997i | 464.817i | 1735.92 | + | 719.040i | −546.273 | − | 1318.82i | −3022.19 | + | 1251.83i | −4744.49 | − | 4744.49i | −16620.2 | − | 16620.2i | −11923.9 | + | 4939.06i | ||
8.7 | −0.763172 | + | 0.763172i | −66.0099 | + | 159.362i | 510.835i | −1926.04 | − | 797.791i | −71.2437 | − | 171.997i | 7148.81 | − | 2961.13i | −780.599 | − | 780.599i | −7120.96 | − | 7120.96i | 2078.75 | − | 861.046i | ||
See all 52 embeddings |
Inner twists
Char | Parity | Ord | Mult | Type |
---|---|---|---|---|
1.a | even | 1 | 1 | trivial |
17.d | even | 8 | 1 | inner |
Twists
By twisting character orbit | |||||||
---|---|---|---|---|---|---|---|
Char | Parity | Ord | Mult | Type | Twist | Min | Dim |
1.a | even | 1 | 1 | trivial | 17.10.d.a | ✓ | 52 |
17.d | even | 8 | 1 | inner | 17.10.d.a | ✓ | 52 |
17.e | odd | 16 | 2 | 289.10.a.i | 52 |
By twisted newform orbit | |||||||
---|---|---|---|---|---|---|---|
Twist | Min | Dim | Char | Parity | Ord | Mult | Type |
17.10.d.a | ✓ | 52 | 1.a | even | 1 | 1 | trivial |
17.10.d.a | ✓ | 52 | 17.d | even | 8 | 1 | inner |
289.10.a.i | 52 | 17.e | odd | 16 | 2 |
Hecke kernels
This newform subspace is the entire newspace \(S_{10}^{\mathrm{new}}(17, [\chi])\).