Newspace parameters
comment: Compute space of new eigenforms
[N,k,chi] = [59,10,Mod(1,59)]
mf = mfinit([N,k,chi],0)
lf = mfeigenbasis(mf)
from sage.modular.dirichlet import DirichletCharacter
H = DirichletGroup(59, base_ring=CyclotomicField(2))
chi = DirichletCharacter(H, H._module([0]))
N = Newforms(chi, 10, names="a")
//Please install CHIMP (https://github.com/edgarcosta/CHIMP) if you want to run this code
chi := DirichletCharacter("59.1");
S:= CuspForms(chi, 10);
N := Newforms(S);
Level: | \( N \) | \(=\) | \( 59 \) |
Weight: | \( k \) | \(=\) | \( 10 \) |
Character orbit: | \([\chi]\) | \(=\) | 59.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: | \(30.3871143337\) |
Analytic rank: | \(0\) |
Dimension: | \(25\) |
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 | −43.1917 | −262.518 | 1353.53 | −1398.92 | 11338.6 | 7208.53 | −36346.9 | 49232.6 | 60421.8 | ||||||||||||||||||
1.2 | −41.6271 | 273.600 | 1220.81 | 568.812 | −11389.1 | 1824.48 | −29505.8 | 55173.7 | −23678.0 | ||||||||||||||||||
1.3 | −40.9131 | 88.3231 | 1161.88 | −2400.23 | −3613.57 | −5332.18 | −26588.5 | −11882.0 | 98200.7 | ||||||||||||||||||
1.4 | −30.9462 | −138.877 | 445.664 | −742.017 | 4297.70 | 4800.13 | 2052.83 | −396.247 | 22962.6 | ||||||||||||||||||
1.5 | −30.6808 | 154.610 | 429.309 | 61.7713 | −4743.57 | −11142.6 | 2537.01 | 4221.38 | −1895.19 | ||||||||||||||||||
1.6 | −29.9930 | 71.1031 | 387.582 | 458.178 | −2132.60 | 7540.82 | 3731.68 | −14627.4 | −13742.1 | ||||||||||||||||||
1.7 | −27.6051 | −170.917 | 250.039 | 1096.72 | 4718.19 | −4819.97 | 7231.44 | 9529.78 | −30274.9 | ||||||||||||||||||
1.8 | −26.6874 | −240.252 | 200.219 | 2475.57 | 6411.72 | 9478.20 | 8320.64 | 38038.2 | −66066.5 | ||||||||||||||||||
1.9 | −12.3104 | 60.2261 | −360.455 | −1055.16 | −741.405 | −7636.39 | 10740.2 | −16055.8 | 12989.5 | ||||||||||||||||||
1.10 | −10.2385 | −63.1656 | −407.173 | 460.040 | 646.723 | 7185.23 | 9410.97 | −15693.1 | −4710.13 | ||||||||||||||||||
1.11 | −10.2026 | 174.240 | −407.906 | 2060.53 | −1777.71 | 10809.5 | 9385.48 | 10676.6 | −21022.9 | ||||||||||||||||||
1.12 | 0.233284 | 244.013 | −511.946 | 1466.25 | 56.9244 | −5823.87 | −238.870 | 39859.3 | 342.052 | ||||||||||||||||||
1.13 | 3.08905 | −13.8824 | −502.458 | −1654.12 | −42.8835 | −6990.08 | −3133.71 | −19490.3 | −5109.67 | ||||||||||||||||||
1.14 | 5.46466 | −182.902 | −482.137 | 2280.50 | −999.495 | −9561.98 | −5432.63 | 13770.0 | 12462.2 | ||||||||||||||||||
1.15 | 7.77520 | 126.911 | −451.546 | −1972.67 | 986.759 | 7737.58 | −7491.77 | −3576.60 | −15337.9 | ||||||||||||||||||
1.16 | 16.8669 | −55.1151 | −227.506 | 2433.32 | −929.622 | 4126.80 | −12473.2 | −16645.3 | 41042.6 | ||||||||||||||||||
1.17 | 17.4444 | −84.5320 | −207.694 | −880.143 | −1474.61 | −10420.6 | −12554.6 | −12537.3 | −15353.6 | ||||||||||||||||||
1.18 | 18.2061 | −184.115 | −180.539 | −2221.80 | −3352.01 | 144.979 | −12608.4 | 14215.4 | −40450.3 | ||||||||||||||||||
1.19 | 25.1449 | −168.323 | 120.268 | −441.786 | −4232.48 | −439.905 | −9850.09 | 8649.77 | −11108.7 | ||||||||||||||||||
1.20 | 28.7615 | 267.188 | 315.225 | 654.448 | 7684.74 | 12237.7 | −5659.56 | 51706.6 | 18822.9 | ||||||||||||||||||
See all 25 embeddings |
Atkin-Lehner signs
\( p \) | Sign |
---|---|
\(59\) | \(-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 | 59.10.a.b | ✓ | 25 |
By twisted newform orbit | |||||||
---|---|---|---|---|---|---|---|
Twist | Min | Dim | Char | Parity | Ord | Mult | Type |
59.10.a.b | ✓ | 25 | 1.a | even | 1 | 1 | trivial |
Hecke kernels
This newform subspace can be constructed as the kernel of the linear operator \( T_{2}^{25} - 15 T_{2}^{24} - 9999 T_{2}^{23} + 143459 T_{2}^{22} + 43251396 T_{2}^{21} + \cdots + 21\!\cdots\!76 \) acting on \(S_{10}^{\mathrm{new}}(\Gamma_0(59))\).