Newspace parameters
comment: Compute space of new eigenforms
[N,k,chi] = [95,2,Mod(8,95)]
mf = mfinit([N,k,chi],0)
lf = mfeigenbasis(mf)
from sage.modular.dirichlet import DirichletCharacter
H = DirichletGroup(95, base_ring=CyclotomicField(12))
chi = DirichletCharacter(H, H._module([9, 2]))
N = Newforms(chi, 2, names="a")
//Please install CHIMP (https://github.com/edgarcosta/CHIMP) if you want to run this code
chi := DirichletCharacter("95.8");
S:= CuspForms(chi, 2);
N := Newforms(S);
Level: | \( N \) | \(=\) | \( 95 = 5 \cdot 19 \) |
Weight: | \( k \) | \(=\) | \( 2 \) |
Character orbit: | \([\chi]\) | \(=\) | 95.l (of order \(12\), 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: | \(0.758578819202\) |
Analytic rank: | \(0\) |
Dimension: | \(24\) |
Relative dimension: | \(6\) over \(\Q(\zeta_{12})\) |
Twist minimal: | yes |
Sato-Tate group: | $\mathrm{SU}(2)[C_{12}]$ |
$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} \) | ||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
8.1 | −2.48306 | + | 0.665335i | 0.754159 | + | 2.81456i | 3.99088 | − | 2.30414i | 1.41614 | + | 1.73048i | −3.74525 | − | 6.48696i | 1.09165 | − | 1.09165i | −4.74114 | + | 4.74114i | −4.75491 | + | 2.74525i | −4.66770 | − | 3.35469i |
8.2 | −1.69754 | + | 0.454853i | −0.117117 | − | 0.437086i | 0.942686 | − | 0.544260i | 1.39008 | − | 1.75148i | 0.397620 | + | 0.688698i | −0.671894 | + | 0.671894i | 1.13268 | − | 1.13268i | 2.42075 | − | 1.39762i | −1.56305 | + | 3.60548i |
8.3 | −0.349035 | + | 0.0935236i | 0.309771 | + | 1.15608i | −1.61897 | + | 0.934714i | −1.05965 | + | 1.96905i | −0.216242 | − | 0.374542i | −0.933157 | + | 0.933157i | 0.988682 | − | 0.988682i | 1.35751 | − | 0.783758i | 0.185701 | − | 0.786368i |
8.4 | 0.791474 | − | 0.212075i | 0.173661 | + | 0.648112i | −1.15060 | + | 0.664297i | 2.23588 | − | 0.0289809i | 0.274896 | + | 0.476135i | 0.921839 | − | 0.921839i | −1.92858 | + | 1.92858i | 2.20819 | − | 1.27490i | 1.76349 | − | 0.497111i |
8.5 | 1.79221 | − | 0.480221i | −0.593155 | − | 2.21369i | 1.24936 | − | 0.721316i | −0.477027 | + | 2.18459i | −2.12612 | − | 3.68255i | −0.320821 | + | 0.320821i | −0.731261 | + | 0.731261i | −1.95049 | + | 1.12612i | 0.194155 | + | 4.14433i |
8.6 | 1.94595 | − | 0.521416i | 0.106656 | + | 0.398044i | 1.78279 | − | 1.02930i | −1.40735 | − | 1.73764i | 0.415093 | + | 0.718962i | −3.08761 | + | 3.08761i | 0.0834685 | − | 0.0834685i | 2.45101 | − | 1.41509i | −3.64465 | − | 2.64754i |
12.1 | −2.48306 | − | 0.665335i | 0.754159 | − | 2.81456i | 3.99088 | + | 2.30414i | 1.41614 | − | 1.73048i | −3.74525 | + | 6.48696i | 1.09165 | + | 1.09165i | −4.74114 | − | 4.74114i | −4.75491 | − | 2.74525i | −4.66770 | + | 3.35469i |
12.2 | −1.69754 | − | 0.454853i | −0.117117 | + | 0.437086i | 0.942686 | + | 0.544260i | 1.39008 | + | 1.75148i | 0.397620 | − | 0.688698i | −0.671894 | − | 0.671894i | 1.13268 | + | 1.13268i | 2.42075 | + | 1.39762i | −1.56305 | − | 3.60548i |
12.3 | −0.349035 | − | 0.0935236i | 0.309771 | − | 1.15608i | −1.61897 | − | 0.934714i | −1.05965 | − | 1.96905i | −0.216242 | + | 0.374542i | −0.933157 | − | 0.933157i | 0.988682 | + | 0.988682i | 1.35751 | + | 0.783758i | 0.185701 | + | 0.786368i |
12.4 | 0.791474 | + | 0.212075i | 0.173661 | − | 0.648112i | −1.15060 | − | 0.664297i | 2.23588 | + | 0.0289809i | 0.274896 | − | 0.476135i | 0.921839 | + | 0.921839i | −1.92858 | − | 1.92858i | 2.20819 | + | 1.27490i | 1.76349 | + | 0.497111i |
12.5 | 1.79221 | + | 0.480221i | −0.593155 | + | 2.21369i | 1.24936 | + | 0.721316i | −0.477027 | − | 2.18459i | −2.12612 | + | 3.68255i | −0.320821 | − | 0.320821i | −0.731261 | − | 0.731261i | −1.95049 | − | 1.12612i | 0.194155 | − | 4.14433i |
12.6 | 1.94595 | + | 0.521416i | 0.106656 | − | 0.398044i | 1.78279 | + | 1.02930i | −1.40735 | + | 1.73764i | 0.415093 | − | 0.718962i | −3.08761 | − | 3.08761i | 0.0834685 | + | 0.0834685i | 2.45101 | + | 1.41509i | −3.64465 | + | 2.64754i |
27.1 | −0.665335 | − | 2.48306i | 2.81456 | − | 0.754159i | −3.99088 | + | 2.30414i | −2.20671 | − | 0.361169i | −3.74525 | − | 6.48696i | 1.09165 | + | 1.09165i | 4.74114 | + | 4.74114i | 4.75491 | − | 2.74525i | 0.571394 | + | 5.71969i |
27.2 | −0.454853 | − | 1.69754i | −0.437086 | + | 0.117117i | −0.942686 | + | 0.544260i | 0.821785 | − | 2.07958i | 0.397620 | + | 0.688698i | −0.671894 | − | 0.671894i | −1.13268 | − | 1.13268i | −2.42075 | + | 1.39762i | −3.90396 | − | 0.449103i |
27.3 | −0.0935236 | − | 0.349035i | 1.15608 | − | 0.309771i | 1.61897 | − | 0.934714i | −1.17542 | + | 1.90220i | −0.216242 | − | 0.374542i | −0.933157 | − | 0.933157i | −0.988682 | − | 0.988682i | −1.35751 | + | 0.783758i | 0.773865 | + | 0.232362i |
27.4 | 0.212075 | + | 0.791474i | 0.648112 | − | 0.173661i | 1.15060 | − | 0.664297i | −1.09284 | − | 1.95082i | 0.274896 | + | 0.476135i | 0.921839 | + | 0.921839i | 1.92858 | + | 1.92858i | −2.20819 | + | 1.27490i | 1.31226 | − | 1.27868i |
27.5 | 0.480221 | + | 1.79221i | −2.21369 | + | 0.593155i | −1.24936 | + | 0.721316i | −1.65340 | + | 1.50541i | −2.12612 | − | 3.68255i | −0.320821 | − | 0.320821i | 0.731261 | + | 0.731261i | 1.95049 | − | 1.12612i | −3.49202 | − | 2.24031i |
27.6 | 0.521416 | + | 1.94595i | 0.398044 | − | 0.106656i | −1.78279 | + | 1.02930i | 2.20851 | + | 0.349979i | 0.415093 | + | 0.718962i | −3.08761 | − | 3.08761i | −0.0834685 | − | 0.0834685i | −2.45101 | + | 1.41509i | 0.470510 | + | 4.48013i |
88.1 | −0.665335 | + | 2.48306i | 2.81456 | + | 0.754159i | −3.99088 | − | 2.30414i | −2.20671 | + | 0.361169i | −3.74525 | + | 6.48696i | 1.09165 | − | 1.09165i | 4.74114 | − | 4.74114i | 4.75491 | + | 2.74525i | 0.571394 | − | 5.71969i |
88.2 | −0.454853 | + | 1.69754i | −0.437086 | − | 0.117117i | −0.942686 | − | 0.544260i | 0.821785 | + | 2.07958i | 0.397620 | − | 0.688698i | −0.671894 | + | 0.671894i | −1.13268 | + | 1.13268i | −2.42075 | − | 1.39762i | −3.90396 | + | 0.449103i |
See all 24 embeddings |
Inner twists
Char | Parity | Ord | Mult | Type |
---|---|---|---|---|
1.a | even | 1 | 1 | trivial |
5.c | odd | 4 | 1 | inner |
19.d | odd | 6 | 1 | inner |
95.l | even | 12 | 1 | inner |
Twists
By twisting character orbit | |||||||
---|---|---|---|---|---|---|---|
Char | Parity | Ord | Mult | Type | Twist | Min | Dim |
1.a | even | 1 | 1 | trivial | 95.2.l.c | ✓ | 24 |
3.b | odd | 2 | 1 | 855.2.cj.e | 24 | ||
5.b | even | 2 | 1 | 475.2.p.h | 24 | ||
5.c | odd | 4 | 1 | inner | 95.2.l.c | ✓ | 24 |
5.c | odd | 4 | 1 | 475.2.p.h | 24 | ||
15.e | even | 4 | 1 | 855.2.cj.e | 24 | ||
19.d | odd | 6 | 1 | inner | 95.2.l.c | ✓ | 24 |
57.f | even | 6 | 1 | 855.2.cj.e | 24 | ||
95.h | odd | 6 | 1 | 475.2.p.h | 24 | ||
95.l | even | 12 | 1 | inner | 95.2.l.c | ✓ | 24 |
95.l | even | 12 | 1 | 475.2.p.h | 24 | ||
285.w | odd | 12 | 1 | 855.2.cj.e | 24 |
By twisted newform orbit | |||||||
---|---|---|---|---|---|---|---|
Twist | Min | Dim | Char | Parity | Ord | Mult | Type |
95.2.l.c | ✓ | 24 | 1.a | even | 1 | 1 | trivial |
95.2.l.c | ✓ | 24 | 5.c | odd | 4 | 1 | inner |
95.2.l.c | ✓ | 24 | 19.d | odd | 6 | 1 | inner |
95.2.l.c | ✓ | 24 | 95.l | even | 12 | 1 | inner |
475.2.p.h | 24 | 5.b | even | 2 | 1 | ||
475.2.p.h | 24 | 5.c | odd | 4 | 1 | ||
475.2.p.h | 24 | 95.h | odd | 6 | 1 | ||
475.2.p.h | 24 | 95.l | even | 12 | 1 | ||
855.2.cj.e | 24 | 3.b | odd | 2 | 1 | ||
855.2.cj.e | 24 | 15.e | even | 4 | 1 | ||
855.2.cj.e | 24 | 57.f | even | 6 | 1 | ||
855.2.cj.e | 24 | 285.w | odd | 12 | 1 |
Hecke kernels
This newform subspace can be constructed as the kernel of the linear operator \( T_{2}^{24} - 41 T_{2}^{20} + 36 T_{2}^{19} - 204 T_{2}^{17} + 1443 T_{2}^{16} - 1476 T_{2}^{15} + \cdots + 625 \) acting on \(S_{2}^{\mathrm{new}}(95, [\chi])\).