Newspace parameters
comment: Compute space of new eigenforms
[N,k,chi] = [618,2,Mod(13,618)]
mf = mfinit([N,k,chi],0)
lf = mfeigenbasis(mf)
from sage.modular.dirichlet import DirichletCharacter
H = DirichletGroup(618, base_ring=CyclotomicField(34))
chi = DirichletCharacter(H, H._module([0, 24]))
N = Newforms(chi, 2, names="a")
//Please install CHIMP (https://github.com/edgarcosta/CHIMP) if you want to run this code
chi := DirichletCharacter("618.13");
S:= CuspForms(chi, 2);
N := Newforms(S);
Level: | \( N \) | \(=\) | \( 618 = 2 \cdot 3 \cdot 103 \) |
Weight: | \( k \) | \(=\) | \( 2 \) |
Character orbit: | \([\chi]\) | \(=\) | 618.i (of order \(17\), degree \(16\), 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: | \(4.93475484492\) |
Analytic rank: | \(0\) |
Dimension: | \(32\) |
Relative dimension: | \(2\) over \(\Q(\zeta_{17})\) |
Twist minimal: | yes |
Sato-Tate group: | $\mathrm{SU}(2)[C_{17}]$ |
$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} \) | ||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
13.1 | −0.982973 | − | 0.183750i | 0.0922684 | − | 0.995734i | 0.932472 | + | 0.361242i | −0.227530 | + | 0.301298i | −0.273663 | + | 0.961826i | −2.62063 | + | 1.62263i | −0.850217 | − | 0.526432i | −0.982973 | − | 0.183750i | 0.279019 | − | 0.254360i |
13.2 | −0.982973 | − | 0.183750i | 0.0922684 | − | 0.995734i | 0.932472 | + | 0.361242i | 1.41681 | − | 1.87616i | −0.273663 | + | 0.961826i | 3.07013 | − | 1.90094i | −0.850217 | − | 0.526432i | −0.982973 | − | 0.183750i | −1.73743 | + | 1.58388i |
61.1 | 0.0922684 | − | 0.995734i | 0.739009 | − | 0.673696i | −0.982973 | − | 0.183750i | −0.987359 | − | 1.98288i | −0.602635 | − | 0.798017i | −0.265584 | − | 0.933430i | −0.273663 | + | 0.961826i | 0.0922684 | − | 0.995734i | −2.06553 | + | 0.800190i |
61.2 | 0.0922684 | − | 0.995734i | 0.739009 | − | 0.673696i | −0.982973 | − | 0.183750i | 0.659970 | + | 1.32540i | −0.602635 | − | 0.798017i | −0.125121 | − | 0.439755i | −0.273663 | + | 0.961826i | 0.0922684 | − | 0.995734i | 1.38064 | − | 0.534862i |
79.1 | 0.739009 | − | 0.673696i | 0.932472 | − | 0.361242i | 0.0922684 | − | 0.995734i | −0.573838 | − | 0.355306i | 0.445738 | − | 0.895163i | −0.276149 | + | 0.365681i | −0.602635 | − | 0.798017i | 0.739009 | − | 0.673696i | −0.663439 | + | 0.124018i |
79.2 | 0.739009 | − | 0.673696i | 0.932472 | − | 0.361242i | 0.0922684 | − | 0.995734i | 2.04630 | + | 1.26701i | 0.445738 | − | 0.895163i | 1.60743 | − | 2.12858i | −0.602635 | − | 0.798017i | 0.739009 | − | 0.673696i | 2.36581 | − | 0.442247i |
133.1 | 0.739009 | + | 0.673696i | 0.932472 | + | 0.361242i | 0.0922684 | + | 0.995734i | −0.573838 | + | 0.355306i | 0.445738 | + | 0.895163i | −0.276149 | − | 0.365681i | −0.602635 | + | 0.798017i | 0.739009 | + | 0.673696i | −0.663439 | − | 0.124018i |
133.2 | 0.739009 | + | 0.673696i | 0.932472 | + | 0.361242i | 0.0922684 | + | 0.995734i | 2.04630 | − | 1.26701i | 0.445738 | + | 0.895163i | 1.60743 | + | 2.12858i | −0.602635 | + | 0.798017i | 0.739009 | + | 0.673696i | 2.36581 | + | 0.442247i |
169.1 | 0.932472 | + | 0.361242i | −0.982973 | − | 0.183750i | 0.739009 | + | 0.673696i | −0.117737 | − | 0.413803i | −0.850217 | − | 0.526432i | 1.44653 | − | 2.90503i | 0.445738 | + | 0.895163i | 0.932472 | + | 0.361242i | 0.0396963 | − | 0.428391i |
169.2 | 0.932472 | + | 0.361242i | −0.982973 | − | 0.183750i | 0.739009 | + | 0.673696i | 1.12572 | + | 3.95648i | −0.850217 | − | 0.526432i | 0.724947 | − | 1.45589i | 0.445738 | + | 0.895163i | 0.932472 | + | 0.361242i | −0.379547 | + | 4.09597i |
175.1 | −0.273663 | + | 0.961826i | −0.602635 | − | 0.798017i | −0.850217 | − | 0.526432i | −2.13672 | − | 0.399423i | 0.932472 | − | 0.361242i | −3.35312 | − | 3.05677i | 0.739009 | − | 0.673696i | −0.273663 | + | 0.961826i | 0.968918 | − | 1.94585i |
175.2 | −0.273663 | + | 0.961826i | −0.602635 | − | 0.798017i | −0.850217 | − | 0.526432i | 1.26682 | + | 0.236810i | 0.932472 | − | 0.361242i | 2.72924 | + | 2.48803i | 0.739009 | − | 0.673696i | −0.273663 | + | 0.961826i | −0.574452 | + | 1.15366i |
229.1 | 0.445738 | + | 0.895163i | −0.850217 | − | 0.526432i | −0.602635 | + | 0.798017i | −0.173955 | − | 0.158581i | 0.0922684 | − | 0.995734i | −0.698417 | + | 0.130557i | −0.982973 | − | 0.183750i | 0.445738 | + | 0.895163i | 0.0644174 | − | 0.226404i |
229.2 | 0.445738 | + | 0.895163i | −0.850217 | − | 0.526432i | −0.602635 | + | 0.798017i | 1.70386 | + | 1.55327i | 0.0922684 | − | 0.995734i | 1.04152 | − | 0.194694i | −0.982973 | − | 0.183750i | 0.445738 | + | 0.895163i | −0.630958 | + | 2.21759i |
343.1 | −0.850217 | − | 0.526432i | −0.273663 | + | 0.961826i | 0.445738 | + | 0.895163i | −2.44819 | − | 0.948433i | 0.739009 | − | 0.673696i | 0.338833 | + | 3.65659i | 0.0922684 | − | 0.995734i | −0.850217 | − | 0.526432i | 1.58221 | + | 2.09518i |
343.2 | −0.850217 | − | 0.526432i | −0.273663 | + | 0.961826i | 0.445738 | + | 0.895163i | −1.14875 | − | 0.445028i | 0.739009 | − | 0.673696i | −0.243312 | − | 2.62575i | 0.0922684 | − | 0.995734i | −0.850217 | − | 0.526432i | 0.742410 | + | 0.983110i |
373.1 | 0.932472 | − | 0.361242i | −0.982973 | + | 0.183750i | 0.739009 | − | 0.673696i | −0.117737 | + | 0.413803i | −0.850217 | + | 0.526432i | 1.44653 | + | 2.90503i | 0.445738 | − | 0.895163i | 0.932472 | − | 0.361242i | 0.0396963 | + | 0.428391i |
373.2 | 0.932472 | − | 0.361242i | −0.982973 | + | 0.183750i | 0.739009 | − | 0.673696i | 1.12572 | − | 3.95648i | −0.850217 | + | 0.526432i | 0.724947 | + | 1.45589i | 0.445738 | − | 0.895163i | 0.932472 | − | 0.361242i | −0.379547 | − | 4.09597i |
385.1 | 0.0922684 | + | 0.995734i | 0.739009 | + | 0.673696i | −0.982973 | + | 0.183750i | −0.987359 | + | 1.98288i | −0.602635 | + | 0.798017i | −0.265584 | + | 0.933430i | −0.273663 | − | 0.961826i | 0.0922684 | + | 0.995734i | −2.06553 | − | 0.800190i |
385.2 | 0.0922684 | + | 0.995734i | 0.739009 | + | 0.673696i | −0.982973 | + | 0.183750i | 0.659970 | − | 1.32540i | −0.602635 | + | 0.798017i | −0.125121 | + | 0.439755i | −0.273663 | − | 0.961826i | 0.0922684 | + | 0.995734i | 1.38064 | + | 0.534862i |
See all 32 embeddings |
Inner twists
Char | Parity | Ord | Mult | Type |
---|---|---|---|---|
1.a | even | 1 | 1 | trivial |
103.e | even | 17 | 1 | inner |
Twists
By twisting character orbit | |||||||
---|---|---|---|---|---|---|---|
Char | Parity | Ord | Mult | Type | Twist | Min | Dim |
1.a | even | 1 | 1 | trivial | 618.2.i.b | ✓ | 32 |
103.e | even | 17 | 1 | inner | 618.2.i.b | ✓ | 32 |
By twisted newform orbit | |||||||
---|---|---|---|---|---|---|---|
Twist | Min | Dim | Char | Parity | Ord | Mult | Type |
618.2.i.b | ✓ | 32 | 1.a | even | 1 | 1 | trivial |
618.2.i.b | ✓ | 32 | 103.e | even | 17 | 1 | inner |
Hecke kernels
This newform subspace can be constructed as the kernel of the linear operator \( T_{5}^{32} - T_{5}^{31} + 13 T_{5}^{30} + 43 T_{5}^{29} - 23 T_{5}^{28} + 284 T_{5}^{27} + 902 T_{5}^{26} + \cdots + 18769 \) acting on \(S_{2}^{\mathrm{new}}(618, [\chi])\).