Newform orbit 810.2.a.k
Trace form
The 2 newforms in this orbit are conjugate over ; the sum of their -expansions is
Coefficient field
The coefficients generate . It is generated by the eigenvalue of , whose minimal polynomial is
AtkinβLehner signs
| 2 | |
| 3 | β () |
| 5 |
For every form in the orbit has .
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 | |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 2 | 0 | 2 | 1 | 3 | β2 | 9 | 1 | 3 | 3 | β2 | β8 | 6 | β17 | 9 | 0 | β3 | 1 | β14 | 12 | β11 | 4 | β9 | β15 | β11 |
for every is in the JSON.
Provenance
Stored in the atlas: computed by Sagebrush's modular symbols engine in 2.654 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 label, dimension and for every equal LMFDB's.
The engine's checks
dim M^+ at levels [1, 2, 3, 5, 6, 9, 10, 15, 18, 27, 30, 45, 54, 81, 90, 135, 162, 270, 405, 810]: [0, 1, 1, 1, 3, 2, 3, 4, 5, 4, 10, 8, 11, 10, 22, 20, 29, 58, 56, 166] (certified at ell = 2147482801)T = [(7, 1), (11, 2), (13, 3), (17, 4), (19, 5), (23, 6), (29, 7), (31, 8), (37, 9), (41, 10), (43, 11), (47, 12), (53, 13), (59, 14), (61, 15), (67, 16)]; h of degree 16 = 1 x 16 (phi(ord eps) x dim S_k^new); 6 primes, 0 rejected
Recompute it yourself
In Sage mode at sagebrush.space (or npx sagebrush --sage):
newform_orbits(810, 2)[10] # 810.2.a.k
With the Rust engine (source), in engine/:
cargo run --release -p sagebrush-web --example atlas -- 810:2 1000