Newspace 168.2.a:
Newforms
| Label | Dim | Coefficient field | Trace form | AL signs | Sign | CM | Elliptic curve |
|---|---|---|---|---|---|---|---|
| 168.2.a.a | 1 | + โ | 168b1 rank 0 | ||||
| 168.2.a.b | 1 | โ + | 168a1 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:
Dimensions
| Newforms | 2 |
|---|---|
| Old forms | 23 |
| Cusp forms | 25 |
| Eisenstein series | 15 |
| Modular forms | 40 |
Decomposition of the old subspace
Provenance
Stored in the atlas: computed by Sagebrush's modular symbols engine in 0.129 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, 8, 12, 14, 21, 24, 28, 42, 56, 84, 168]: [0, 1, 1, 2, 3, 1, 3, 5, 4, 4, 8, 7, 12, 12, 22, 40] (certified at ell = 2147483647)T = [(5, 1), (11, 3), (13, 5), (17, 7), (19, 9), (23, 11)]; h of degree 2 = 1 x 2 (phi(ord eps) x dim S_k^new); 1 primes, 0 rejected
Recompute it yourself
In Sage mode at sagebrush.space (or npx sagebrush --sage):
newform_orbits(168, 2)
With the Rust engine (source), in engine/:
cargo run --release -p sagebrush-web --example atlas -- 168:2 1000