Newform orbit 231.4.a.k
Trace form
The 5 newforms in this orbit are conjugate over ; the sum of their -expansions is
Coefficient field
The coefficients generate a number field of degree 5. It is generated by the eigenvalue of , whose minimal polynomial is
AtkinβLehner signs
| 3 | |
| 7 | |
| 11 |
For every form in the orbit has . The Fricke sign is , so the sign of the functional equation is : each L-function in the orbit has even analytic rank.
Traces of Hecke eigenvalues
| 2 | 3 | 5 | 7 | 11 | 13 | 17 | 19 | 23 | 29 | 31 | 37 | 41 | 43 | 47 | 53 | 59 | 61 | 67 | 71 | 73 | 79 | 83 | 89 | 97 | |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| β1 | β15 | 21 | 35 | 55 | 101 | β20 | 237 | β80 | β11 | 316 | 319 | 1190 | 88 | 377 | β992 | 71 | β574 | β527 | β1156 | 1061 | 588 | β212 | 1030 | 2488 |
for every is in the JSON.
Provenance
Stored in the atlas: computed by Sagebrush's modular symbols engine in 0.381 s (one thread) and proven: the dimensions are certified, and the characteristic polynomial of over is reconstructed by CRT past a rigorous coefficient bound.
The engine's checks
dim M^+ at levels [1, 3, 7, 11, 21, 33, 77, 231]: [1, 2, 3, 4, 10, 14, 26, 100] (certified at ell = 2147482951)T = [(2, 1), (5, 3), (17, 5), (19, 7), (23, 9)]; h of degree 28 = 1 x 28 (phi(ord eps) x dim S_k^new); 11 primes, 0 rejected
Recompute it yourself
In Sage mode at sagebrush.space (or npx sagebrush --sage):
newform_orbits(231, 4)[10] # 231.4.a.k
With the Rust engine (source), in engine/:
cargo run --release -p sagebrush-web --example atlas -- 231:4 1000