Newspace parameters
comment: Compute space of new eigenforms
[N,k,chi] = [310,3,Mod(11,310)]
mf = mfinit([N,k,chi],0)
lf = mfeigenbasis(mf)
from sage.modular.dirichlet import DirichletCharacter
H = DirichletGroup(310, base_ring=CyclotomicField(30))
chi = DirichletCharacter(H, H._module([0, 23]))
N = Newforms(chi, 3, names="a")
//Please install CHIMP (https://github.com/edgarcosta/CHIMP) if you want to run this code
chi := DirichletCharacter("310.11");
S:= CuspForms(chi, 3);
N := Newforms(S);
Level: | \( N \) | \(=\) | \( 310 = 2 \cdot 5 \cdot 31 \) |
Weight: | \( k \) | \(=\) | \( 3 \) |
Character orbit: | \([\chi]\) | \(=\) | 310.u (of order \(30\), degree \(8\), 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.44688819517\) |
Analytic rank: | \(0\) |
Dimension: | \(80\) |
Relative dimension: | \(10\) over \(\Q(\zeta_{30})\) |
Twist minimal: | yes |
Sato-Tate group: | $\mathrm{SU}(2)[C_{30}]$ |
$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} \) | ||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
11.1 | −0.437016 | − | 1.34500i | −4.08416 | + | 3.67739i | −1.61803 | + | 1.17557i | −1.11803 | − | 1.93649i | 6.73092 | + | 3.88610i | −0.614228 | − | 5.84399i | 2.28825 | + | 1.66251i | 2.21637 | − | 21.0874i | −2.11598 | + | 2.35003i |
11.2 | −0.437016 | − | 1.34500i | −1.86669 | + | 1.68077i | −1.61803 | + | 1.17557i | −1.11803 | − | 1.93649i | 3.07641 | + | 1.77616i | 0.494079 | + | 4.70085i | 2.28825 | + | 1.66251i | −0.281232 | + | 2.67575i | −2.11598 | + | 2.35003i |
11.3 | −0.437016 | − | 1.34500i | 0.924651 | − | 0.832559i | −1.61803 | + | 1.17557i | −1.11803 | − | 1.93649i | −1.52388 | − | 0.879811i | 0.393783 | + | 3.74660i | 2.28825 | + | 1.66251i | −0.778932 | + | 7.41104i | −2.11598 | + | 2.35003i |
11.4 | −0.437016 | − | 1.34500i | 2.07035 | − | 1.86415i | −1.61803 | + | 1.17557i | −1.11803 | − | 1.93649i | −3.41206 | − | 1.96995i | −0.136380 | − | 1.29757i | 2.28825 | + | 1.66251i | −0.129467 | + | 1.23179i | −2.11598 | + | 2.35003i |
11.5 | −0.437016 | − | 1.34500i | 4.24301 | − | 3.82042i | −1.61803 | + | 1.17557i | −1.11803 | − | 1.93649i | −6.99271 | − | 4.03725i | −1.09800 | − | 10.4468i | 2.28825 | + | 1.66251i | 2.46674 | − | 23.4694i | −2.11598 | + | 2.35003i |
11.6 | 0.437016 | + | 1.34500i | −3.07807 | + | 2.77151i | −1.61803 | + | 1.17557i | −1.11803 | − | 1.93649i | −5.07283 | − | 2.92880i | −0.478138 | − | 4.54918i | −2.28825 | − | 1.66251i | 0.852509 | − | 8.11108i | 2.11598 | − | 2.35003i |
11.7 | 0.437016 | + | 1.34500i | −0.623498 | + | 0.561400i | −1.61803 | + | 1.17557i | −1.11803 | − | 1.93649i | −1.02756 | − | 0.593262i | 0.951406 | + | 9.05203i | −2.28825 | − | 1.66251i | −0.867176 | + | 8.25063i | 2.11598 | − | 2.35003i |
11.8 | 0.437016 | + | 1.34500i | 0.591263 | − | 0.532376i | −1.61803 | + | 1.17557i | −1.11803 | − | 1.93649i | 0.974435 | + | 0.562591i | −0.303545 | − | 2.88804i | −2.28825 | − | 1.66251i | −0.874588 | + | 8.32115i | 2.11598 | − | 2.35003i |
11.9 | 0.437016 | + | 1.34500i | 0.664670 | − | 0.598471i | −1.61803 | + | 1.17557i | −1.11803 | − | 1.93649i | 1.09541 | + | 0.632437i | −1.19076 | − | 11.3293i | −2.28825 | − | 1.66251i | −0.857138 | + | 8.15513i | 2.11598 | − | 2.35003i |
11.10 | 0.437016 | + | 1.34500i | 3.73280 | − | 3.36103i | −1.61803 | + | 1.17557i | −1.11803 | − | 1.93649i | 6.15187 | + | 3.55178i | −0.00152406 | − | 0.0145005i | −2.28825 | − | 1.66251i | 1.69653 | − | 16.1414i | 2.11598 | − | 2.35003i |
21.1 | −1.14412 | − | 0.831254i | −3.83177 | + | 0.402736i | 0.618034 | + | 1.90211i | 1.11803 | + | 1.93649i | 4.71879 | + | 2.72440i | −12.8674 | − | 2.73504i | 0.874032 | − | 2.68999i | 5.71696 | − | 1.21518i | 0.330548 | − | 3.14495i |
21.2 | −1.14412 | − | 0.831254i | −3.41869 | + | 0.359319i | 0.618034 | + | 1.90211i | 1.11803 | + | 1.93649i | 4.21009 | + | 2.43070i | 4.86026 | + | 1.03308i | 0.874032 | − | 2.68999i | 2.75503 | − | 0.585601i | 0.330548 | − | 3.14495i |
21.3 | −1.14412 | − | 0.831254i | 0.708936 | − | 0.0745122i | 0.618034 | + | 1.90211i | 1.11803 | + | 1.93649i | −0.873048 | − | 0.504055i | −1.66862 | − | 0.354675i | 0.874032 | − | 2.68999i | −8.30629 | + | 1.76556i | 0.330548 | − | 3.14495i |
21.4 | −1.14412 | − | 0.831254i | 1.03656 | − | 0.108947i | 0.618034 | + | 1.90211i | 1.11803 | + | 1.93649i | −1.27651 | − | 0.736996i | −1.79397 | − | 0.381321i | 0.874032 | − | 2.68999i | −7.74074 | + | 1.64535i | 0.330548 | − | 3.14495i |
21.5 | −1.14412 | − | 0.831254i | 3.78241 | − | 0.397547i | 0.618034 | + | 1.90211i | 1.11803 | + | 1.93649i | −4.65800 | − | 2.68930i | 12.7733 | + | 2.71504i | 0.874032 | − | 2.68999i | 5.34525 | − | 1.13617i | 0.330548 | − | 3.14495i |
21.6 | 1.14412 | + | 0.831254i | −5.79769 | + | 0.609362i | 0.618034 | + | 1.90211i | 1.11803 | + | 1.93649i | −7.13980 | − | 4.12217i | 11.0007 | + | 2.33826i | −0.874032 | + | 2.68999i | 24.4386 | − | 5.19458i | −0.330548 | + | 3.14495i |
21.7 | 1.14412 | + | 0.831254i | −2.12020 | + | 0.222842i | 0.618034 | + | 1.90211i | 1.11803 | + | 1.93649i | −2.61101 | − | 1.50747i | −3.22866 | − | 0.686272i | −0.874032 | + | 2.68999i | −4.35774 | + | 0.926266i | −0.330548 | + | 3.14495i |
21.8 | 1.14412 | + | 0.831254i | 0.135010 | − | 0.0141901i | 0.618034 | + | 1.90211i | 1.11803 | + | 1.93649i | 0.166263 | + | 0.0959921i | −9.36908 | − | 1.99146i | −0.874032 | + | 2.68999i | −8.78530 | + | 1.86737i | −0.330548 | + | 3.14495i |
21.9 | 1.14412 | + | 0.831254i | 1.42333 | − | 0.149598i | 0.618034 | + | 1.90211i | 1.11803 | + | 1.93649i | 1.75281 | + | 1.01199i | 7.38203 | + | 1.56910i | −0.874032 | + | 2.68999i | −6.79985 | + | 1.44535i | −0.330548 | + | 3.14495i |
21.10 | 1.14412 | + | 0.831254i | 4.63699 | − | 0.487368i | 0.618034 | + | 1.90211i | 1.11803 | + | 1.93649i | 5.71042 | + | 3.29691i | 0.930943 | + | 0.197878i | −0.874032 | + | 2.68999i | 12.4608 | − | 2.64864i | −0.330548 | + | 3.14495i |
See all 80 embeddings |
Inner twists
Char | Parity | Ord | Mult | Type |
---|---|---|---|---|
1.a | even | 1 | 1 | trivial |
31.h | odd | 30 | 1 | inner |
Twists
By twisting character orbit | |||||||
---|---|---|---|---|---|---|---|
Char | Parity | Ord | Mult | Type | Twist | Min | Dim |
1.a | even | 1 | 1 | trivial | 310.3.u.b | ✓ | 80 |
31.h | odd | 30 | 1 | inner | 310.3.u.b | ✓ | 80 |
By twisted newform orbit | |||||||
---|---|---|---|---|---|---|---|
Twist | Min | Dim | Char | Parity | Ord | Mult | Type |
310.3.u.b | ✓ | 80 | 1.a | even | 1 | 1 | trivial |
310.3.u.b | ✓ | 80 | 31.h | odd | 30 | 1 | inner |
Hecke kernels
This newform subspace can be constructed as the kernel of the linear operator \( T_{3}^{80} + 6 T_{3}^{79} + 85 T_{3}^{78} + 428 T_{3}^{77} + 3164 T_{3}^{76} + 18800 T_{3}^{75} + \cdots + 11\!\cdots\!61 \) acting on \(S_{3}^{\mathrm{new}}(310, [\chi])\).