Trace form
The 13 newforms in this orbit are conjugate over Q; the sum of their q-expansions is
13q+q2+13q3+23q4+6q5+q6+9q7+12q8+13q9β7q10β7q11+23q12+24q13β8q14+6q15+27q16+q18+7q19+13q20+9q21β8q22β9q23+12q24+O(q25)
Coefficient field
The coefficients anβ generate a number field of degree 13. It is generated by the eigenvalue Ξ± of T=T2β+3T5β+5T7β+7T11β+9T13β, whose minimal polynomial is
x13β231x12+14765x11+194102x10β47427643x9+964463455x8+24002195436x7β601737896830x6β6878329783763x5+90003161575363x4+1275862536974915x3+3791120417983516x2β563201831489955xβ3667891028810539
AtkinβLehner signs
| p | wpβ |
|---|
| 3 | β1 |
| 241 | +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.402 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, 3, 241, 723]: [0, 1, 20, 82] (certified at ell = 2147482801)T = [(2, 1), (5, 3), (7, 5), (11, 7), (13, 9)]; h of degree 41 = 1 x 41 (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(723, 2)[6] # 723.2.a.g
With the Rust engine (source), in engine/:
cargo run --release -p sagebrush-web --example atlas -- 723:2 1000