Trace form
The 23 newforms in this orbit are conjugate over Q; the sum of their q-expansions is
23qβ6q2β13q3+18q4β6q5β5q6β37q7β15q8+22q9β22q10β8q11β29q12β29q13+2q14β22q15+12q16β12q17β23q18β29q19β14q20+4q21β22q22β22q23β10q24+O(q25)
Coefficient field
The coefficients anβ generate a number field of degree 23. It is generated by the eigenvalue Ξ± of T=T2β+T3β, whose minimal polynomial is
x23+19x22+108x21β87x20β2861x19β6203x18+22432x17+89110x16β60756x15β534442x14β49836x13+1784172x12+609684x11β3654933x10β1214769x9+4715758x8+766941x7β3646092x6+297069x5+1387418x4β448255x3β117350x2+70326xβ7983
AtkinβLehner signs
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 odd 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.209 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, 617]: [0, 52] (certified at ell = 2147481337)T = [(2, 1), (3, 1)]; h of degree 51 = 1 x 51 (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(617, 2)[0] # 617.2.a.a
With the Rust engine (source), in engine/:
cargo run --release -p sagebrush-web --example atlas -- 617:2 1000