Newspace 648.2.a:
Newforms
| Label | Dim | Coefficient field | Trace form | AL signs | Sign | CM | Elliptic curve |
|---|---|---|---|---|---|---|---|
| 648.2.a.a | 1 | 648b1 rank 1 | |||||
| 648.2.a.b | 1 | 648a1 rank 1 | |||||
| 648.2.a.c | 1 | 648d1 rank 1 | |||||
| 648.2.a.d | 1 | 648c1 rank 0 | |||||
| 648.2.a.e | 2 | ||||||
| 648.2.a.f | 2 | ||||||
| 648.2.a.g | 2 | ||||||
| 648.2.a.h | 2 |
Hecke characteristic polynomials
The eigenvalue of generates each orbit's coefficient field; on the newspace its characteristic polynomial factors over as one irreducible factor per orbit:
| Orbit | Characteristic polynomial of |
|---|---|
| 648.2.a.a | |
| 648.2.a.b | |
| 648.2.a.c | |
| 648.2.a.d | |
| 648.2.a.e | |
| 648.2.a.f | |
| 648.2.a.g | |
| 648.2.a.h |
Dimensions
| Newforms | 12 |
|---|---|
| Old forms | 73 |
| Cusp forms | 85 |
| Eisenstein series | 47 |
| Modular forms | 132 |
Decomposition of the old subspace
Provenance
Stored in the atlas: computed by Sagebrush's modular symbols engine in 0.279 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, 2, 3, 4, 6, 8, 9, 12, 18, 24, 27, 36, 54, 72, 81, 108, 162, 216, 324, 648]: [0, 1, 1, 2, 3, 3, 2, 5, 5, 8, 4, 9, 11, 16, 10, 21, 29, 40, 57, 112] (certified at ell = 2147483179)T = [(5, 1), (7, 3)]; h of degree 12 = 1 x 12 (phi(ord eps) x dim S_k^new); 2 primes, 0 rejected
Recompute it yourself
In Sage mode at sagebrush.space (or npx sagebrush --sage):
newform_orbits(648, 2)
With the Rust engine (source), in engine/:
cargo run --release -p sagebrush-web --example atlas -- 648:2 1000