Newspace parameters
comment: Compute space of new eigenforms
[N,k,chi] = [229,4,Mod(1,229)]
mf = mfinit([N,k,chi],0)
lf = mfeigenbasis(mf)
from sage.modular.dirichlet import DirichletCharacter
H = DirichletGroup(229, base_ring=CyclotomicField(2))
chi = DirichletCharacter(H, H._module([0]))
N = Newforms(chi, 4, names="a")
//Please install CHIMP (https://github.com/edgarcosta/CHIMP) if you want to run this code
chi := DirichletCharacter("229.1");
S:= CuspForms(chi, 4);
N := Newforms(S);
Level: | \( N \) | \(=\) | \( 229 \) |
Weight: | \( k \) | \(=\) | \( 4 \) |
Character orbit: | \([\chi]\) | \(=\) | 229.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: | \(13.5114373913\) |
Analytic rank: | \(1\) |
Dimension: | \(26\) |
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.60252 | 2.29426 | 23.3883 | 12.9525 | −12.8537 | 18.7618 | −86.2133 | −21.7364 | −72.5665 | ||||||||||||||||||
1.2 | −5.45621 | −4.16117 | 21.7702 | −18.8307 | 22.7042 | 16.7615 | −75.1331 | −9.68465 | 102.744 | ||||||||||||||||||
1.3 | −4.98125 | −5.52627 | 16.8129 | 3.70943 | 27.5277 | −14.3100 | −43.8991 | 3.53963 | −18.4776 | ||||||||||||||||||
1.4 | −4.43586 | 7.36007 | 11.6769 | −19.5996 | −32.6483 | 16.1006 | −16.3101 | 27.1707 | 86.9410 | ||||||||||||||||||
1.5 | −4.32547 | 1.83273 | 10.7097 | 1.67964 | −7.92743 | 3.65581 | −11.7207 | −23.6411 | −7.26522 | ||||||||||||||||||
1.6 | −4.32354 | −0.441480 | 10.6930 | 22.1876 | 1.90875 | −27.7219 | −11.6431 | −26.8051 | −95.9290 | ||||||||||||||||||
1.7 | −3.57467 | 9.70322 | 4.77826 | 4.98066 | −34.6858 | −29.5708 | 11.5167 | 67.1524 | −17.8042 | ||||||||||||||||||
1.8 | −3.10898 | −7.49790 | 1.66577 | −17.5762 | 23.3108 | 4.85554 | 19.6930 | 29.2185 | 54.6442 | ||||||||||||||||||
1.9 | −2.50500 | 6.14833 | −1.72495 | −8.91895 | −15.4016 | −2.83880 | 24.3610 | 10.8020 | 22.3420 | ||||||||||||||||||
1.10 | −2.43661 | −9.36300 | −2.06293 | 4.83140 | 22.8140 | −29.6750 | 24.5194 | 60.6659 | −11.7722 | ||||||||||||||||||
1.11 | −2.20735 | −3.26143 | −3.12760 | 1.74411 | 7.19913 | −1.10828 | 24.5625 | −16.3630 | −3.84986 | ||||||||||||||||||
1.12 | −1.77364 | 3.10622 | −4.85422 | 10.1847 | −5.50931 | −5.33353 | 22.7987 | −17.3514 | −18.0639 | ||||||||||||||||||
1.13 | −1.04196 | −0.182446 | −6.91433 | −5.14549 | 0.190100 | 33.6983 | 15.5401 | −26.9667 | 5.36137 | ||||||||||||||||||
1.14 | −0.923243 | −9.01195 | −7.14762 | −4.95759 | 8.32022 | 27.2042 | 13.9849 | 54.2152 | 4.57706 | ||||||||||||||||||
1.15 | 0.220221 | 3.78029 | −7.95150 | 5.93638 | 0.832500 | −8.16759 | −3.51286 | −12.7094 | 1.30731 | ||||||||||||||||||
1.16 | 0.552141 | −8.16009 | −7.69514 | 15.5465 | −4.50552 | 4.11260 | −8.66594 | 39.5870 | 8.58387 | ||||||||||||||||||
1.17 | 0.996531 | 7.94578 | −7.00693 | −11.6386 | 7.91822 | −12.4299 | −14.9549 | 36.1355 | −11.5982 | ||||||||||||||||||
1.18 | 1.68354 | 2.87700 | −5.16568 | −0.123929 | 4.84356 | 8.29372 | −22.1650 | −18.7229 | −0.208640 | ||||||||||||||||||
1.19 | 2.57871 | −0.140237 | −1.35027 | 15.7771 | −0.361629 | −32.4086 | −24.1116 | −26.9803 | 40.6844 | ||||||||||||||||||
1.20 | 2.79240 | −4.46995 | −0.202515 | −1.13530 | −12.4819 | 31.0150 | −22.9047 | −7.01956 | −3.17021 | ||||||||||||||||||
See all 26 embeddings |
Atkin-Lehner signs
\( p \) | Sign |
---|---|
\(229\) | \(-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 | 229.4.a.a | ✓ | 26 |
3.b | odd | 2 | 1 | 2061.4.a.b | 26 |
By twisted newform orbit | |||||||
---|---|---|---|---|---|---|---|
Twist | Min | Dim | Char | Parity | Ord | Mult | Type |
229.4.a.a | ✓ | 26 | 1.a | even | 1 | 1 | trivial |
2061.4.a.b | 26 | 3.b | odd | 2 | 1 |
Hecke kernels
This newform subspace can be constructed as the kernel of the linear operator \( T_{2}^{26} + 15 T_{2}^{25} - 36 T_{2}^{24} - 1526 T_{2}^{23} - 2896 T_{2}^{22} + 64445 T_{2}^{21} + \cdots + 12897574912 \) acting on \(S_{4}^{\mathrm{new}}(\Gamma_0(229))\).