Newspace parameters
comment: Compute space of new eigenforms
[N,k,chi] = [666,2,Mod(229,666)]
mf = mfinit([N,k,chi],0)
lf = mfeigenbasis(mf)
from sage.modular.dirichlet import DirichletCharacter
H = DirichletGroup(666, base_ring=CyclotomicField(18))
chi = DirichletCharacter(H, H._module([6, 16]))
N = Newforms(chi, 2, names="a")
//Please install CHIMP (https://github.com/edgarcosta/CHIMP) if you want to run this code
chi := DirichletCharacter("666.229");
S:= CuspForms(chi, 2);
N := Newforms(S);
Level: | \( N \) | \(=\) | \( 666 = 2 \cdot 3^{2} \cdot 37 \) |
Weight: | \( k \) | \(=\) | \( 2 \) |
Character orbit: | \([\chi]\) | \(=\) | 666.y (of order \(9\), degree \(6\), 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.31803677462\) |
Analytic rank: | \(0\) |
Dimension: | \(114\) |
Relative dimension: | \(19\) over \(\Q(\zeta_{9})\) |
Twist minimal: | yes |
Sato-Tate group: | $\mathrm{SU}(2)[C_{9}]$ |
$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} \) | ||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
229.1 | 0.766044 | + | 0.642788i | −1.72182 | − | 0.188009i | 0.173648 | + | 0.984808i | −0.157709 | − | 0.0574015i | −1.19814 | − | 1.25079i | −0.712752 | + | 0.598070i | −0.500000 | + | 0.866025i | 2.92931 | + | 0.647433i | −0.0839153 | − | 0.145346i |
229.2 | 0.766044 | + | 0.642788i | −1.58809 | + | 0.691350i | 0.173648 | + | 0.984808i | 1.88515 | + | 0.686137i | −1.66094 | − | 0.491200i | 1.85938 | − | 1.56021i | −0.500000 | + | 0.866025i | 2.04407 | − | 2.19586i | 1.00307 | + | 1.73736i |
229.3 | 0.766044 | + | 0.642788i | −1.54686 | + | 0.779245i | 0.173648 | + | 0.984808i | 0.370321 | + | 0.134786i | −1.68585 | − | 0.397366i | −3.31332 | + | 2.78021i | −0.500000 | + | 0.866025i | 1.78555 | − | 2.41077i | 0.197044 | + | 0.341289i |
229.4 | 0.766044 | + | 0.642788i | −1.42623 | − | 0.982788i | 0.173648 | + | 0.984808i | −2.91415 | − | 1.06067i | −0.460830 | − | 1.66962i | −1.31341 | + | 1.10208i | −0.500000 | + | 0.866025i | 1.06826 | + | 2.80336i | −1.55059 | − | 2.68570i |
229.5 | 0.766044 | + | 0.642788i | −1.06372 | + | 1.36693i | 0.173648 | + | 0.984808i | −3.07949 | − | 1.12084i | −1.69350 | + | 0.363386i | 0.864799 | − | 0.725653i | −0.500000 | + | 0.866025i | −0.737007 | − | 2.90806i | −1.63856 | − | 2.83807i |
229.6 | 0.766044 | + | 0.642788i | −0.973520 | − | 1.43257i | 0.173648 | + | 0.984808i | 3.56210 | + | 1.29650i | 0.175079 | − | 1.72318i | 3.36869 | − | 2.82666i | −0.500000 | + | 0.866025i | −1.10452 | + | 2.78927i | 1.89535 | + | 3.28285i |
229.7 | 0.766044 | + | 0.642788i | −0.862870 | − | 1.50182i | 0.173648 | + | 0.984808i | −2.85143 | − | 1.03784i | 0.304353 | − | 1.70510i | 2.87787 | − | 2.41482i | −0.500000 | + | 0.866025i | −1.51091 | + | 2.59175i | −1.51722 | − | 2.62790i |
229.8 | 0.766044 | + | 0.642788i | −0.695809 | + | 1.58614i | 0.173648 | + | 0.984808i | 3.61922 | + | 1.31729i | −1.55257 | + | 0.767798i | −2.94709 | + | 2.47290i | −0.500000 | + | 0.866025i | −2.03170 | − | 2.20731i | 1.92574 | + | 3.33549i |
229.9 | 0.766044 | + | 0.642788i | −0.667962 | − | 1.59807i | 0.173648 | + | 0.984808i | 0.610787 | + | 0.222308i | 0.515531 | − | 1.65355i | −1.39620 | + | 1.17155i | −0.500000 | + | 0.866025i | −2.10765 | + | 2.13490i | 0.324993 | + | 0.562904i |
229.10 | 0.766044 | + | 0.642788i | 0.199505 | + | 1.72052i | 0.173648 | + | 0.984808i | 1.51650 | + | 0.551960i | −0.953101 | + | 1.44624i | 1.84511 | − | 1.54823i | −0.500000 | + | 0.866025i | −2.92040 | + | 0.686505i | 0.806912 | + | 1.39761i |
229.11 | 0.766044 | + | 0.642788i | 0.304042 | + | 1.70516i | 0.173648 | + | 0.984808i | −2.49046 | − | 0.906454i | −0.863143 | + | 1.50166i | −1.59691 | + | 1.33997i | −0.500000 | + | 0.866025i | −2.81512 | + | 1.03688i | −1.32515 | − | 2.29522i |
229.12 | 0.766044 | + | 0.642788i | 0.562844 | − | 1.63805i | 0.173648 | + | 0.984808i | −2.33638 | − | 0.850373i | 1.48408 | − | 0.893030i | −2.35199 | + | 1.97355i | −0.500000 | + | 0.866025i | −2.36641 | − | 1.84393i | −1.24316 | − | 2.15322i |
229.13 | 0.766044 | + | 0.642788i | 0.862200 | − | 1.50220i | 0.173648 | + | 0.984808i | 3.19907 | + | 1.16437i | 1.62608 | − | 0.596542i | −0.816492 | + | 0.685118i | −0.500000 | + | 0.866025i | −1.51322 | − | 2.59040i | 1.70219 | + | 2.94828i |
229.14 | 0.766044 | + | 0.642788i | 1.03292 | − | 1.39035i | 0.173648 | + | 0.984808i | −1.13118 | − | 0.411715i | 1.68496 | − | 0.401123i | 2.39571 | − | 2.01024i | −0.500000 | + | 0.866025i | −0.866155 | − | 2.87224i | −0.601887 | − | 1.04250i |
229.15 | 0.766044 | + | 0.642788i | 1.35629 | + | 1.07725i | 0.173648 | + | 0.984808i | 1.77445 | + | 0.645849i | 0.346533 | + | 1.69703i | −1.54623 | + | 1.29744i | −0.500000 | + | 0.866025i | 0.679047 | + | 2.92214i | 0.944168 | + | 1.63535i |
229.16 | 0.766044 | + | 0.642788i | 1.54774 | + | 0.777500i | 0.173648 | + | 0.984808i | −3.51100 | − | 1.27790i | 0.685869 | + | 1.59047i | 2.18101 | − | 1.83009i | −0.500000 | + | 0.866025i | 1.79099 | + | 2.40673i | −1.86817 | − | 3.23576i |
229.17 | 0.766044 | + | 0.642788i | 1.55460 | + | 0.763690i | 0.173648 | + | 0.984808i | −1.61074 | − | 0.586262i | 0.700001 | + | 1.58430i | −2.48268 | + | 2.08321i | −0.500000 | + | 0.866025i | 1.83355 | + | 2.37446i | −0.857058 | − | 1.48447i |
229.18 | 0.766044 | + | 0.642788i | 1.66106 | − | 0.490802i | 0.173648 | + | 0.984808i | −0.0982254 | − | 0.0357511i | 1.58793 | + | 0.691731i | 1.67174 | − | 1.40275i | −0.500000 | + | 0.866025i | 2.51823 | − | 1.63050i | −0.0522646 | − | 0.0905250i |
229.19 | 0.766044 | + | 0.642788i | 1.73172 | + | 0.0336277i | 0.173648 | + | 0.984808i | 2.70350 | + | 0.983993i | 1.30496 | + | 1.13889i | 1.67880 | − | 1.40868i | −0.500000 | + | 0.866025i | 2.99774 | + | 0.116468i | 1.43850 | + | 2.49156i |
349.1 | 0.766044 | − | 0.642788i | −1.72182 | + | 0.188009i | 0.173648 | − | 0.984808i | −0.157709 | + | 0.0574015i | −1.19814 | + | 1.25079i | −0.712752 | − | 0.598070i | −0.500000 | − | 0.866025i | 2.92931 | − | 0.647433i | −0.0839153 | + | 0.145346i |
See next 80 embeddings (of 114 total) |
Inner twists
Char | Parity | Ord | Mult | Type |
---|---|---|---|---|
1.a | even | 1 | 1 | trivial |
333.y | even | 9 | 1 | inner |
Twists
By twisting character orbit | |||||||
---|---|---|---|---|---|---|---|
Char | Parity | Ord | Mult | Type | Twist | Min | Dim |
1.a | even | 1 | 1 | trivial | 666.2.y.a | yes | 114 |
9.c | even | 3 | 1 | 666.2.w.a | ✓ | 114 | |
37.f | even | 9 | 1 | 666.2.w.a | ✓ | 114 | |
333.y | even | 9 | 1 | inner | 666.2.y.a | yes | 114 |
By twisted newform orbit | |||||||
---|---|---|---|---|---|---|---|
Twist | Min | Dim | Char | Parity | Ord | Mult | Type |
666.2.w.a | ✓ | 114 | 9.c | even | 3 | 1 | |
666.2.w.a | ✓ | 114 | 37.f | even | 9 | 1 | |
666.2.y.a | yes | 114 | 1.a | even | 1 | 1 | trivial |
666.2.y.a | yes | 114 | 333.y | even | 9 | 1 | inner |
Hecke kernels
This newform subspace can be constructed as the kernel of the linear operator \( T_{5}^{114} + 13 T_{5}^{111} + 42 T_{5}^{110} - 732 T_{5}^{109} + 8698 T_{5}^{108} + \cdots + 86\!\cdots\!41 \) acting on \(S_{2}^{\mathrm{new}}(666, [\chi])\).