Newspace 374.2.a:
Newforms
| Label | Dim | Coefficient field | Trace form | AL signs | Sign | CM | Elliptic curve |
|---|---|---|---|---|---|---|---|
| 374.2.a.a | 1 | + + + | 374a1 rank 1 | ||||
| 374.2.a.b | 3 | degree 3 | + + โ | ||||
| 374.2.a.c | 3 | degree 3 | โ + + | ||||
| 374.2.a.d | 4 | degree 4 | + โ + | ||||
| 374.2.a.e | 4 | degree 4 | โ โ โ |
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 | 15 |
|---|---|
| Old forms | 36 |
| Cusp forms | 51 |
| Eisenstein series | 7 |
| Modular forms | 58 |
Decomposition of the old subspace
Provenance
Stored in the atlas: computed by Sagebrush's modular symbols engine in 0.208 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, 11, 17, 22, 34, 187, 374]: [0, 1, 2, 2, 5, 6, 20, 58] (certified at ell = 2147482801)T = [(3, 1), (5, 3)]; h of degree 15 = 1 x 15 (phi(ord eps) x dim S_k^new); 3 primes, 0 rejected
Recompute it yourself
In Sage mode at sagebrush.space (or npx sagebrush --sage):
newform_orbits(374, 2)
With the Rust engine (source), in engine/:
cargo run --release -p sagebrush-web --example atlas -- 374:2 1000