Trace form
The 28 newforms in this orbit are conjugate over Q; the sum of their q-expansions is
28q+14q2+5q3+32q4+23q5+2q6+11q7+36q8+29q9+4q10+19q11β2q12+25q13β6q15+36q16+24q17+16q18+q19+18q20β3q21β7q22+24q23βq24+O(q25)
Coefficient field
The coefficients anβ generate a number field of degree 28. It is generated by the eigenvalue Ξ± of T=T2β+T3β, whose minimal polynomial is
x28β19x27+78x26+698x25β6628x24+3103x23+142573x22β399134x21β1166624x20+6246761x19+1952546x18β46961816x17+30921337x16+204445209x15β246496517x14β553958930x13+881577628x12+972418365x11β1822848179x10β1149512388x9+2286338794x8+961699176x7β1697940005x6β583090578x5+671548142x4+230063233x3β101710074x2β40612680xβ1982664
AtkinβLehner signs
| p | wpβ |
|---|
| 643 | β1 |
For pβ₯N every form in the orbit has apβ=βpk/2β1wpβ. The Fricke sign is wNβ=β1, so the sign of the functional equation is (β1)k/2wNβ=+1: each L-function in the orbit has even analytic rank.
Traces of Hecke eigenvalues
tranβ for every nβ€1000 is in the JSON.
Provenance
Stored in the atlas: computed by Sagebrush's modular symbols engine in 0.218 s (one thread) and proven: the dimensions are certified, and the characteristic polynomial of T over Z is reconstructed by CRT past a rigorous coefficient bound.
The label, dimension and trapβ for every p<1000 equal LMFDB's.
The engine's checks
dim M^+ at levels [1, 643]: [0, 54] (certified at ell = 2147476519)T = [(2, 1), (3, 1)]; h of degree 53 = 1 x 53 (phi(ord eps) x dim S_k^new); 6 primes, 0 rejected
Recompute it yourself
In Sage mode at sagebrush.space (or npx sagebrush --sage):
newform_orbits(643, 2)[2] # 643.2.a.c
With the Rust engine (source), in engine/:
cargo run --release -p sagebrush-web --example atlas -- 643:2 1000