Newform orbit 780.2.a.b
-expansion
Coefficient field
The coefficients generate . The eigenvalue of is a root of
AtkinβLehner signs
| 2 | β () |
| 3 | |
| 5 | |
| 13 |
For every form in the orbit has .
Elliptic curve
By modularity this newform is the one attached to the isogeny class 780.b (Cremona's 780b). Its optimal curve 780b1 is
of rank 0 with torsion of order 1. Its , computed by Sagebrush's point-counting engine, equal the newform's for every prime .
Traces of Hecke eigenvalues
| 2 | 3 | 5 | 7 | 11 | 13 | 17 | 19 | 23 | 29 | 31 | 37 | 41 | 43 | 47 | 53 | 59 | 61 | 67 | 71 | 73 | 79 | 83 | 89 | 97 | |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 0 | β1 | 1 | 3 | 1 | 1 | β3 | β2 | 5 | β6 | 10 | 5 | 3 | 4 | 6 | 5 | β8 | 1 | 12 | 1 | β10 | β1 | 0 | 1 | 3 |
for every is in the JSON.
SatoβTate
The normalized for the primes not dividing 780, against the semicircle :
Provenance
Stored in the atlas: computed by Sagebrush's modular symbols engine in 0.892 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 label, dimension and for every equal LMFDB's.
The engine's checks
dim M^+ at levels [1, 2, 3, 4, 5, 6, 10, 12, 13, 15, 20, 26, 30, 39, 52, 60, 65, 78, 130, 156, 195, 260, 390, 780]: [0, 1, 1, 2, 1, 3, 3, 5, 1, 4, 6, 5, 10, 6, 10, 18, 8, 18, 24, 34, 32, 48, 92, 180] (certified at ell = 2147483629)T = [(7, 1), (11, 3), (19, 5), (23, 7), (29, 9), (31, 11)]; 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(780, 2)[1] # 780.2.a.b
With the Rust engine (source), in engine/:
cargo run --release -p sagebrush-web --example atlas -- 780:2 1000