Newspace 980.2.a:
Newforms
| Label | Dim | Coefficient field | Trace form | AL signs | Sign | CM | Elliptic curve |
|---|---|---|---|---|---|---|---|
| 980.2.a.a | 1 | + | 980b1 rank 0 | ||||
| 980.2.a.b | 1 | โ | 980i1 rank 0 | ||||
| 980.2.a.c | 1 | + | 980d1 rank 1 | ||||
| 980.2.a.d | 1 | โ | 980e1 rank 0 | ||||
| 980.2.a.e | 1 | โ | 980f1 rank 0 | ||||
| 980.2.a.f | 1 | + | 980c1 rank 1 | ||||
| 980.2.a.g | 1 | + | 980a1 rank 0 | ||||
| 980.2.a.h | 1 | โ | 980g1 rank 0 | ||||
| 980.2.a.i | 1 | โ | 980h1 rank 0 | ||||
| 980.2.a.j | 2 | โ | |||||
| 980.2.a.k | 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 |
|---|---|
| 980.2.a.a | |
| 980.2.a.b | |
| 980.2.a.c | |
| 980.2.a.d | |
| 980.2.a.e | |
| 980.2.a.f | |
| 980.2.a.g | |
| 980.2.a.h | |
| 980.2.a.i | |
| 980.2.a.j | |
| 980.2.a.k |
Dimensions
| Newforms | 13 |
|---|---|
| Old forms | 132 |
| Cusp forms | 145 |
| Eisenstein series | 47 |
| Modular forms | 192 |
Decomposition of the old subspace
Provenance
Stored in the atlas: computed by Sagebrush's modular symbols engine in 2.602 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, 4, 5, 7, 10, 14, 20, 28, 35, 49, 70, 98, 140, 196, 245, 490, 980]: [0, 1, 2, 1, 1, 3, 4, 6, 7, 6, 5, 16, 16, 30, 31, 30, 88, 174] (certified at ell = 2147483353)T = [(3, 1), (11, 2), (19, 3), (23, 4), (29, 5), (13, 6), (17, 7), (31, 8), (37, 9), (41, 10), (43, 11), (47, 12), (53, 13), (59, 14), (61, 15), (67, 16)]; h of degree 13 = 1 x 13 (phi(ord eps) x dim S_k^new); 5 primes, 0 rejected
Recompute it yourself
In Sage mode at sagebrush.space (or npx sagebrush --sage):
newform_orbits(980, 2)
With the Rust engine (source), in engine/:
cargo run --release -p sagebrush-web --example atlas -- 980:2 1000