Newspace 924.2.a:
Newforms
| Label | Dim | Coefficient field | Trace form | AL signs | Sign | CM | Elliptic curve |
|---|---|---|---|---|---|---|---|
| 924.2.a.a | 1 | + + + | 924a1 rank 0 | ||||
| 924.2.a.b | 1 | + + โ | 924b1 rank 1 | ||||
| 924.2.a.c | 1 | + โ + | 924c1 rank 1 | ||||
| 924.2.a.d | 1 | + โ โ | 924d1 rank 0 | ||||
| 924.2.a.e | 1 | โ + + | 924e1 rank 1 | ||||
| 924.2.a.f | 1 | โ โ โ | 924h1 rank 1 | ||||
| 924.2.a.g | 1 | โ + โ | 924f1 rank 0 | ||||
| 924.2.a.h | 1 | โ โ + | 924g1 rank 0 |
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 |
|---|---|
| 924.2.a.a | |
| 924.2.a.b | |
| 924.2.a.c | |
| 924.2.a.d | |
| 924.2.a.e | |
| 924.2.a.f | |
| 924.2.a.g | |
| 924.2.a.h |
Dimensions
| Newforms | 8 |
|---|---|
| Old forms | 173 |
| Cusp forms | 181 |
| Eisenstein series | 23 |
| Modular forms | 204 |
Decomposition of the old subspace
Provenance
Stored in the atlas: computed by Sagebrush's modular symbols engine in 2.954 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, 7, 11, 12, 14, 21, 22, 28, 33, 42, 44, 66, 77, 84, 132, 154, 231, 308, 462, 924]: [0, 1, 1, 2, 3, 1, 2, 5, 4, 4, 5, 7, 6, 12, 9, 16, 10, 22, 30, 28, 36, 54, 104, 204] (certified at ell = 2147482951)T = [(5, 1), (13, 2), (17, 3), (19, 4), (23, 5), (29, 6), (31, 7), (37, 8), (41, 9), (43, 10), (47, 11), (53, 12), (59, 13), (61, 14), (67, 15), (71, 16)]; h of degree 8 = 1 x 8 (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(924, 2)
With the Rust engine (source), in engine/:
cargo run --release -p sagebrush-web --example atlas -- 924:2 1000