Newspace parameters
comment: Compute space of new eigenforms
[N,k,chi] = [58,5,Mod(3,58)]
mf = mfinit([N,k,chi],0)
lf = mfeigenbasis(mf)
from sage.modular.dirichlet import DirichletCharacter
H = DirichletGroup(58, base_ring=CyclotomicField(28))
chi = DirichletCharacter(H, H._module([5]))
N = Newforms(chi, 5, names="a")
//Please install CHIMP (https://github.com/edgarcosta/CHIMP) if you want to run this code
chi := DirichletCharacter("58.3");
S:= CuspForms(chi, 5);
N := Newforms(S);
Level: | \( N \) | \(=\) | \( 58 = 2 \cdot 29 \) |
Weight: | \( k \) | \(=\) | \( 5 \) |
Character orbit: | \([\chi]\) | \(=\) | 58.f (of order \(28\), degree \(12\), 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: | \(5.99545785886\) |
Analytic rank: | \(0\) |
Dimension: | \(60\) |
Relative dimension: | \(5\) over \(\Q(\zeta_{28})\) |
Twist minimal: | yes |
Sato-Tate group: | $\mathrm{SU}(2)[C_{28}]$ |
$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 | −2.39490 | − | 1.50481i | −13.6394 | + | 4.77265i | 3.47107 | + | 7.20775i | −31.4707 | + | 7.18299i | 39.8470 | + | 9.09483i | 12.7522 | + | 6.14115i | 2.53347 | − | 22.4851i | 99.9280 | − | 79.6899i | 86.1783 | + | 30.1551i |
3.2 | −2.39490 | − | 1.50481i | −6.40518 | + | 2.24127i | 3.47107 | + | 7.20775i | 22.5956 | − | 5.15730i | 18.7124 | + | 4.27099i | −13.1290 | − | 6.32260i | 2.53347 | − | 22.4851i | −27.3254 | + | 21.7912i | −61.8750 | − | 21.6510i |
3.3 | −2.39490 | − | 1.50481i | −1.00910 | + | 0.353098i | 3.47107 | + | 7.20775i | 2.91059 | − | 0.664323i | 2.94803 | + | 0.672869i | −23.7329 | − | 11.4292i | 2.53347 | − | 22.4851i | −62.4348 | + | 49.7901i | −7.97025 | − | 2.78891i |
3.4 | −2.39490 | − | 1.50481i | 7.51044 | − | 2.62802i | 3.47107 | + | 7.20775i | 3.09043 | − | 0.705370i | −21.9414 | − | 5.00798i | 68.9386 | + | 33.1991i | 2.53347 | − | 22.4851i | −13.8281 | + | 11.0275i | −8.46271 | − | 2.96123i |
3.5 | −2.39490 | − | 1.50481i | 11.1670 | − | 3.90751i | 3.47107 | + | 7.20775i | −47.5872 | + | 10.8615i | −32.6239 | − | 7.44620i | −47.6764 | − | 22.9597i | 2.53347 | − | 22.4851i | 46.1053 | − | 36.7678i | 130.311 | + | 45.5978i |
11.1 | −2.66971 | + | 0.934170i | −1.88846 | − | 16.7606i | 6.25465 | − | 4.98792i | 4.28976 | − | 8.90779i | 20.6989 | + | 42.9816i | 42.6645 | − | 53.4996i | −12.0385 | + | 19.1592i | −198.381 | + | 45.2792i | −3.13102 | + | 27.7885i |
11.2 | −2.66971 | + | 0.934170i | −0.828413 | − | 7.35237i | 6.25465 | − | 4.98792i | 16.7220 | − | 34.7235i | 9.07998 | + | 18.8548i | −57.9910 | + | 72.7184i | −12.0385 | + | 19.1592i | 25.5981 | − | 5.84260i | −12.2050 | + | 108.323i |
11.3 | −2.66971 | + | 0.934170i | −0.456133 | − | 4.04829i | 6.25465 | − | 4.98792i | −10.3978 | + | 21.5912i | 4.99954 | + | 10.3816i | 19.8689 | − | 24.9149i | −12.0385 | + | 19.1592i | 62.7885 | − | 14.3311i | 7.58914 | − | 67.3555i |
11.4 | −2.66971 | + | 0.934170i | 1.00898 | + | 8.95496i | 6.25465 | − | 4.98792i | 14.7345 | − | 30.5965i | −11.0591 | − | 22.9646i | 18.3299 | − | 22.9850i | −12.0385 | + | 19.1592i | −0.204167 | + | 0.0465998i | −10.7544 | + | 95.4483i |
11.5 | −2.66971 | + | 0.934170i | 1.02274 | + | 9.07706i | 6.25465 | − | 4.98792i | −11.9766 | + | 24.8698i | −11.2099 | − | 23.2777i | −3.16211 | + | 3.96516i | −12.0385 | + | 19.1592i | −2.37789 | + | 0.542737i | 8.74152 | − | 77.5832i |
15.1 | 2.81064 | − | 0.316683i | −12.5011 | + | 7.85497i | 7.79942 | − | 1.78017i | −14.0926 | − | 11.2385i | −32.6486 | + | 26.0364i | 18.6973 | − | 81.9182i | 21.3576 | − | 7.47336i | 59.4328 | − | 123.413i | −43.1682 | − | 27.1244i |
15.2 | 2.81064 | − | 0.316683i | −6.07779 | + | 3.81893i | 7.79942 | − | 1.78017i | 14.9420 | + | 11.9158i | −15.8731 | + | 12.6584i | −8.34921 | + | 36.5803i | 21.3576 | − | 7.47336i | −12.7892 | + | 26.5571i | 45.7700 | + | 28.7592i |
15.3 | 2.81064 | − | 0.316683i | 4.65774 | − | 2.92665i | 7.79942 | − | 1.78017i | 15.8635 | + | 12.6507i | 12.1644 | − | 9.70080i | 9.44200 | − | 41.3681i | 21.3576 | − | 7.47336i | −22.0153 | + | 45.7153i | 48.5928 | + | 30.5329i |
15.4 | 2.81064 | − | 0.316683i | 7.72040 | − | 4.85105i | 7.79942 | − | 1.78017i | −37.7511 | − | 30.1055i | 20.1630 | − | 16.0795i | 11.0478 | − | 48.4035i | 21.3576 | − | 7.47336i | 0.927339 | − | 1.92564i | −115.639 | − | 72.6607i |
15.5 | 2.81064 | − | 0.316683i | 12.1735 | − | 7.64915i | 7.79942 | − | 1.78017i | 11.0509 | + | 8.81276i | 31.7931 | − | 25.3542i | −10.3552 | + | 45.3689i | 21.3576 | − | 7.47336i | 54.5412 | − | 113.256i | 33.8509 | + | 21.2699i |
19.1 | 1.50481 | + | 2.39490i | −4.59385 | + | 13.1285i | −3.47107 | + | 7.20775i | −24.2508 | − | 5.53509i | −38.3542 | + | 8.75411i | 27.9679 | − | 13.4686i | −22.4851 | + | 2.53347i | −87.9250 | − | 70.1179i | −23.2370 | − | 66.4075i |
19.2 | 1.50481 | + | 2.39490i | −3.65838 | + | 10.4551i | −3.47107 | + | 7.20775i | 43.5958 | + | 9.95047i | −30.5440 | + | 6.97147i | −9.97605 | + | 4.80421i | −22.4851 | + | 2.53347i | −32.5962 | − | 25.9946i | 41.7733 | + | 119.381i |
19.3 | 1.50481 | + | 2.39490i | 0.483256 | − | 1.38107i | −3.47107 | + | 7.20775i | −23.7716 | − | 5.42571i | 4.03473 | − | 0.920900i | −79.5231 | + | 38.2963i | −22.4851 | + | 2.53347i | 61.6545 | + | 49.1679i | −22.7778 | − | 65.0952i |
19.4 | 1.50481 | + | 2.39490i | 1.76881 | − | 5.05496i | −3.47107 | + | 7.20775i | 18.1608 | + | 4.14509i | 14.7678 | − | 3.37066i | 21.7107 | − | 10.4553i | −22.4851 | + | 2.53347i | 40.9044 | + | 32.6202i | 17.4016 | + | 49.7309i |
19.5 | 1.50481 | + | 2.39490i | 5.16868 | − | 14.7712i | −3.47107 | + | 7.20775i | −36.4102 | − | 8.31038i | 43.1535 | − | 9.84951i | 54.6680 | − | 26.3267i | −22.4851 | + | 2.53347i | −128.146 | − | 102.193i | −34.8880 | − | 99.7042i |
See all 60 embeddings |
Inner twists
Char | Parity | Ord | Mult | Type |
---|---|---|---|---|
1.a | even | 1 | 1 | trivial |
29.f | odd | 28 | 1 | inner |
Twists
By twisting character orbit | |||||||
---|---|---|---|---|---|---|---|
Char | Parity | Ord | Mult | Type | Twist | Min | Dim |
1.a | even | 1 | 1 | trivial | 58.5.f.a | ✓ | 60 |
29.f | odd | 28 | 1 | inner | 58.5.f.a | ✓ | 60 |
By twisted newform orbit | |||||||
---|---|---|---|---|---|---|---|
Twist | Min | Dim | Char | Parity | Ord | Mult | Type |
58.5.f.a | ✓ | 60 | 1.a | even | 1 | 1 | trivial |
58.5.f.a | ✓ | 60 | 29.f | odd | 28 | 1 | inner |
Hecke kernels
This newform subspace can be constructed as the kernel of the linear operator \( T_{3}^{60} - 16 T_{3}^{59} + 128 T_{3}^{58} - 3236 T_{3}^{57} - 15962 T_{3}^{56} + 428612 T_{3}^{55} + \cdots + 26\!\cdots\!56 \) acting on \(S_{5}^{\mathrm{new}}(58, [\chi])\).