Trace form
The 13 newforms in this orbit are conjugate over Q; the sum of their q-expansions is
13qβ13q2+7q3+13q4+7q5β7q6+11q7β13q8+18q9β7q10β3q11+7q12+14q13β11q14+9q15+13q16+11q17β18q18+9q19+7q20+13q21+3q22+3q23β7q24+O(q25)
Coefficient field
The coefficients anβ generate a number field of degree 13. It is generated by the eigenvalue Ξ± of T=T3β+3T5β+5T7β+7T11β, whose minimal polynomial is
x13β62x12β5565x11+373354x10+6482956x9β531625402x8β3067516900x7+240975345347x6+1501898309403x5β25801001048706x4β86327602178306x3+1061698389139995x2β1172036516129236xβ1402478628185252
AtkinβLehner signs
| p | wpβ |
|---|
| 2 | +1 |
| 499 | β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.502 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, 2, 499, 998]: [0, 1, 42, 127] (certified at ell = 2147475601)T = [(3, 1), (5, 3), (7, 5), (11, 7)]; h of degree 42 = 1 x 42 (phi(ord eps) x dim S_k^new); 10 primes, 0 rejected
Recompute it yourself
In Sage mode at sagebrush.space (or npx sagebrush --sage):
newform_orbits(998, 2)[8] # 998.2.a.i
With the Rust engine (source), in engine/:
cargo run --release -p sagebrush-web --example atlas -- 998:2 1000