🌿 Sagebrush Atlas
Atlas β€Ί Modular forms β€Ί Weight 8 β€Ί Level 57 β€Ί 57.8.a β€Ί 57.8.a.b

Newform orbit 57.8.a.b

Trace form

The 5 newforms in this orbit are conjugate over Q\mathbb{Q}; the sum of their qq-expansions is

5q+q2βˆ’135q3+553q4+138q5βˆ’27q6+670q7βˆ’543q8+3645q9βˆ’5348q10+6298q11βˆ’14931q12+2528q13+10060q14βˆ’3726q15βˆ’2783q16+25688q17+729q18βˆ’34295q19+193884q20βˆ’18090q21+248992q22+210002q23+14661q24+O(q25)5q + q^{2} - 135q^{3} + 553q^{4} + 138q^{5} - 27q^{6} + 670q^{7} - 543q^{8} + 3645q^{9} - 5348q^{10} + 6298q^{11} - 14931q^{12} + 2528q^{13} + 10060q^{14} - 3726q^{15} - 2783q^{16} + 25688q^{17} + 729q^{18} - 34295q^{19} + 193884q^{20} - 18090q^{21} + 248992q^{22} + 210002q^{23} + 14661q^{24} + O(q^{25})

Coefficient field

The coefficients ana_n generate a number field of degree 5. It is generated by the eigenvalue Ξ±\alpha of T=T2+T5T = T_{2} + T_{5}, whose minimal polynomial is

x5βˆ’139x4βˆ’231425x3+12583319x2+14249164912x+450743069492x^{5} - 139x^{4} - 231425x^{3} + 12583319x^{2} + 14249164912x + 450743069492

Atkin–Lehner signs

ppwpw_p
3+1+1
19+1+1

For pβˆ₯Np \parallel N every form in the orbit has ap=βˆ’pk/2βˆ’1wpa_p = -p^{k/2-1} w_p. The Fricke sign is wN=+1w_N = +1, so the sign of the functional equation is (βˆ’1)k/2wN=+1(-1)^{k/2} w_N = +1: each L-function in the orbit has even analytic rank.

Traces of Hecke eigenvalues

pp2357111317192329313741434753596167717379838997
tr⁑ap\operatorname{tr} a_p1βˆ’1351386706298252825688βˆ’3429521000270210224162βˆ’751756385590172822654096βˆ’429110βˆ’2127332βˆ’5825040βˆ’162274415639364530929589426332484961922220610677126

tr⁑an\operatorname{tr} a_n for every n≀1000n \le 1000 is in the JSON.

Provenance

Stored in the atlas: computed by Sagebrush's modular symbols engine in 0.302 s (one thread) and proven: the dimensions are certified, and the characteristic polynomial of TT over Z\mathbb{Z} is reconstructed by CRT past a rigorous coefficient bound.

The engine's checks
  • dim M^+ at levels [1, 3, 19, 57]: [1, 3, 12, 48] (certified at ell = 2147483647)
  • T = [(2, 1), (5, 1)]; h of degree 22 = 1 x 22 (phi(ord eps) x dim S_k^new); 7 primes, 0 rejected
Open in the notebook Β· JSON Β· stored data
Recompute it yourself

In Sage mode at sagebrush.space (or npx sagebrush --sage):

newform_orbits(57, 8)[1]   # 57.8.a.b

With the Rust engine (source), in engine/:

cargo run --release -p sagebrush-web --example atlas -- 57:8 1000