Newspace 43.8.a:
Newforms
| Label | Dim | Coefficient field | Trace form | AL signs | Sign | CM | Elliptic curve |
|---|---|---|---|---|---|---|---|
| 43.8.a.a | 11 | degree 11 | โ | ||||
| 43.8.a.b | 13 | degree 13 | + |
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:
Dimensions
| Newforms | 24 |
|---|---|
| Old forms | 0 |
| Cusp forms | 24 |
| Eisenstein series | 2 |
| Modular forms | 26 |
Decomposition of the old subspace
The old subspace is 0.
Provenance
Stored in the atlas: computed by Sagebrush's modular symbols engine in 0.273 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, 43]: [1, 26] (certified at ell = 2147483647)T = [(2, 1), (3, 1)]; h of degree 24 = 1 x 24 (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(43, 8)
With the Rust engine (source), in engine/:
cargo run --release -p sagebrush-web --example atlas -- 43:8 1000