Newspace parameters
comment: Compute space of new eigenforms
[N,k,chi] = [731,4,Mod(1,731)]
mf = mfinit([N,k,chi],0)
lf = mfeigenbasis(mf)
from sage.modular.dirichlet import DirichletCharacter
H = DirichletGroup(731, base_ring=CyclotomicField(2))
chi = DirichletCharacter(H, H._module([0, 0]))
N = Newforms(chi, 4, names="a")
//Please install CHIMP (https://github.com/edgarcosta/CHIMP) if you want to run this code
chi := DirichletCharacter("731.1");
S:= CuspForms(chi, 4);
N := Newforms(S);
Level: | \( N \) | \(=\) | \( 731 = 17 \cdot 43 \) |
Weight: | \( k \) | \(=\) | \( 4 \) |
Character orbit: | \([\chi]\) | \(=\) | 731.a (trivial) |
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: | yes |
Analytic conductor: | \(43.1303962142\) |
Analytic rank: | \(1\) |
Dimension: | \(35\) |
Twist minimal: | yes |
Fricke sign: | \(-1\) |
Sato-Tate group: | $\mathrm{SU}(2)$ |
$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} \) | ||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
1.1 | −5.52817 | 1.55013 | 22.5607 | 15.0757 | −8.56941 | −13.9183 | −80.4939 | −24.5971 | −83.3413 | ||||||||||||||||||
1.2 | −4.81597 | −8.89762 | 15.1936 | 1.32778 | 42.8507 | 19.2842 | −34.6441 | 52.1676 | −6.39453 | ||||||||||||||||||
1.3 | −4.56388 | −2.96529 | 12.8290 | −16.1586 | 13.5332 | −13.7615 | −22.0389 | −18.2070 | 73.7458 | ||||||||||||||||||
1.4 | −4.49307 | 8.16008 | 12.1877 | −17.6221 | −36.6638 | −9.61199 | −18.8155 | 39.5869 | 79.1773 | ||||||||||||||||||
1.5 | −4.15327 | 4.77063 | 9.24967 | 7.17683 | −19.8137 | 18.5101 | −5.19021 | −4.24112 | −29.8073 | ||||||||||||||||||
1.6 | −4.08798 | −2.24400 | 8.71156 | −8.42425 | 9.17341 | 36.3023 | −2.90886 | −21.9645 | 34.4381 | ||||||||||||||||||
1.7 | −3.94862 | −6.89549 | 7.59164 | 10.6432 | 27.2277 | −14.3173 | 1.61247 | 20.5478 | −42.0258 | ||||||||||||||||||
1.8 | −2.99481 | 4.16748 | 0.968882 | 13.3610 | −12.4808 | −1.48133 | 21.0569 | −9.63214 | −40.0135 | ||||||||||||||||||
1.9 | −2.98138 | −0.796729 | 0.888603 | 8.79315 | 2.37535 | −35.4002 | 21.2017 | −26.3652 | −26.2157 | ||||||||||||||||||
1.10 | −2.96592 | 5.35634 | 0.796660 | −7.26138 | −15.8865 | 1.91270 | 21.3645 | 1.69036 | 21.5367 | ||||||||||||||||||
1.11 | −2.71383 | −7.34651 | −0.635147 | 7.80741 | 19.9371 | 22.9255 | 23.4343 | 26.9712 | −21.1880 | ||||||||||||||||||
1.12 | −2.27665 | −6.00939 | −2.81685 | −16.7357 | 13.6813 | −20.2194 | 24.6262 | 9.11279 | 38.1013 | ||||||||||||||||||
1.13 | −2.27553 | 10.0613 | −2.82198 | 11.3516 | −22.8948 | −28.7635 | 24.6257 | 74.2305 | −25.8310 | ||||||||||||||||||
1.14 | −1.56077 | −3.56803 | −5.56401 | 13.4369 | 5.56886 | 14.1560 | 21.1702 | −14.2692 | −20.9718 | ||||||||||||||||||
1.15 | −1.26049 | 0.642857 | −6.41116 | −5.92104 | −0.810316 | 6.79726 | 18.1652 | −26.5867 | 7.46343 | ||||||||||||||||||
1.16 | −1.08115 | 8.18877 | −6.83113 | −16.3176 | −8.85325 | −14.4389 | 16.0346 | 40.0559 | 17.6417 | ||||||||||||||||||
1.17 | −0.418585 | 6.79113 | −7.82479 | −1.63304 | −2.84267 | 26.5347 | 6.62403 | 19.1194 | 0.683565 | ||||||||||||||||||
1.18 | −0.116663 | 5.63234 | −7.98639 | 14.1988 | −0.657088 | −14.4053 | 1.86503 | 4.72324 | −1.65648 | ||||||||||||||||||
1.19 | 0.0743375 | −1.66345 | −7.99447 | −18.3312 | −0.123657 | 16.2165 | −1.18899 | −24.2329 | −1.36269 | ||||||||||||||||||
1.20 | 0.319709 | −7.91160 | −7.89779 | −7.62726 | −2.52941 | −20.8168 | −5.08266 | 35.5934 | −2.43850 | ||||||||||||||||||
See all 35 embeddings |
Atkin-Lehner signs
\( p \) | Sign |
---|---|
\(17\) | \(1\) |
\(43\) | \(-1\) |
Inner twists
This newform does not admit any (nontrivial) inner twists.
Twists
By twisting character orbit | |||||||
---|---|---|---|---|---|---|---|
Char | Parity | Ord | Mult | Type | Twist | Min | Dim |
1.a | even | 1 | 1 | trivial | 731.4.a.a | ✓ | 35 |
By twisted newform orbit | |||||||
---|---|---|---|---|---|---|---|
Twist | Min | Dim | Char | Parity | Ord | Mult | Type |
731.4.a.a | ✓ | 35 | 1.a | even | 1 | 1 | trivial |