Trace form
The 31 newforms in this orbit are conjugate over Q; the sum of their q-expansions is
31q+2q2+3q3+30q4+18q5+7q6+20q7+34q9βq10β4q11β7q12+62q13β8q14+9q15+36q16+27q17+12q18+16q19+22q20+10q21βq22+O(q25)
Coefficient field
The coefficients anβ generate a number field of degree 31. It is generated by the eigenvalue Ξ± of T=T2β+T3β, whose minimal polynomial is
x31β5x30β104x29+532x28+4575x27β23909x26β113096x25+600227x24+1769011x23β9392808x22β18755020x21+96720526x20+141116851x19β672467224x18β775278914x17+3173240002x16+3130892456x15β10008752748x14β9089042740x13+20226436632x12+17892980899x11β23969518582x10β21456104663x9+13749264263x8+12831504056x7β2232679256x6β2478721820x5β811126x4+64562587x3+793916x2β115362xβ1931
AtkinβLehner signs
| p | wpβ |
|---|
| 683 | β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.23 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, 683]: [0, 58] (certified at ell = 2147483647)T = [(2, 1), (3, 1)]; h of degree 57 = 1 x 57 (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(683, 2)[2] # 683.2.a.c
With the Rust engine (source), in engine/:
cargo run --release -p sagebrush-web --example atlas -- 683:2 1000