Trace form
The 24 newforms in this orbit are conjugate over Q; the sum of their q-expansions is
24q+q2+q3+33q4+13q5+17q6+8q7β3q8+31q9β6q10+15q11β12q12+11q13+16q14β5q15+43q16+6q17β8q18+18q19β10q20β7q21β5q22β8q23+15q24+O(q25)
Coefficient field
The coefficients anβ generate a number field of degree 24. It is generated by the eigenvalue Ξ± of T=T2β+3T3β, whose minimal polynomial is
x24β4x23β547x22+2113x21+126101x20β451086x19β16156477x18+50965066x17+1276409252x16β3327977393x15β65142631706x14+127769456159x13+2179977658082x12β2753837252287x11β47219887506411x10+27322019836141x9+631086685409461x8+7488142619012x7β4690129691489764x6β1862090641190448x5+15762907809605344x4+5412692447679040x3β19513376951187008x2+2819863398264832x+730731043717120
AtkinβLehner signs
| p | wpβ |
|---|
| 431 | β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.191 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, 431]: [0, 37] (certified at ell = 2147481491)T = [(2, 1), (3, 3)]; h of degree 36 = 1 x 36 (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(431, 2)[5] # 431.2.a.f
With the Rust engine (source), in engine/:
cargo run --release -p sagebrush-web --example atlas -- 431:2 1000