Trace form
The 23 newforms in this orbit are conjugate over Q; the sum of their q-expansions is
23qβ10q2β26q3+78q4β60q5β34q6β82q7β120q8+185q9β66q10β180q11β339q12β128q13β165q14β254q15+326q16β344q17β410q18β194q19β892q20β148q21β275q22β926q23β276q24+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+36x22+148x21β8133x20β82535x19+608446x18+9655058x17β17048295x16β540193314x15β81092688x14+16913944389x13+16832883068x12β305492922700x11β449962571305x10+3027752565671x9+5921806891260x8β13628691327810x7β39915267687345x6+4001608637093x5+100838506017392x4+118113462130683x3+50711989117005x2+5641033152000xβ248677774125
AtkinβLehner signs
| p | wpβ |
|---|
| 193 | β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 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.138 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 engine's checks
dim M^+ at levels [1, 193]: [1, 50] (certified at ell = 2147483137)T = [(2, 1), (3, 1)]; h of degree 48 = 1 x 48 (phi(ord eps) x dim S_k^new); 7 primes, 0 rejected
Recompute it yourself
In Sage mode at sagebrush.space (or npx sagebrush --sage):
newform_orbits(193, 4)[0] # 193.4.a.a
With the Rust engine (source), in engine/:
cargo run --release -p sagebrush-web --example atlas -- 193:4 1000