🌿 Sagebrush Atlas
Atlas β€Ί Modular forms β€Ί Weight 4 β€Ί Level 157 β€Ί 157.4.a β€Ί 157.4.a.a

Newform orbit 157.4.a.a

Trace form

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

18qβˆ’15q2βˆ’23q3+59q4βˆ’25q5βˆ’27q6βˆ’55q7βˆ’156q8+107q9βˆ’8q10βˆ’173q11βˆ’141q12βˆ’108q13βˆ’99q14βˆ’210q15+99q16βˆ’231q17βˆ’284q18βˆ’247q19βˆ’375q20βˆ’316q21βˆ’387q22βˆ’683q23βˆ’448q24+O(q25)18q - 15q^{2} - 23q^{3} + 59q^{4} - 25q^{5} - 27q^{6} - 55q^{7} - 156q^{8} + 107q^{9} - 8q^{10} - 173q^{11} - 141q^{12} - 108q^{13} - 99q^{14} - 210q^{15} + 99q^{16} - 231q^{17} - 284q^{18} - 247q^{19} - 375q^{20} - 316q^{21} - 387q^{22} - 683q^{23} - 448q^{24} + O(q^{25})

Coefficient field

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

x18+38x17+351x16βˆ’3064x15βˆ’60247x14βˆ’38558x13+3197723x12+9207351x11βˆ’70946691x10βˆ’262573383x9+576754029x8+2306434808x7+5702758x6βˆ’5299288274x5βˆ’4693966195x4+258235703x3+1912138744x2+815853509x+106339027x^{18} + 38x^{17} + 351x^{16} - 3064x^{15} - 60247x^{14} - 38558x^{13} + 3197723x^{12} + 9207351x^{11} - 70946691x^{10} - 262573383x^{9} + 576754029x^{8} + 2306434808x^{7} + 5702758x^{6} - 5299288274x^{5} - 4693966195x^{4} + 258235703x^{3} + 1912138744x^{2} + 815853509x + 106339027

Atkin–Lehner signs

ppwpw_p
157βˆ’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 odd analytic rank.

Traces of Hecke eigenvalues

pp2357111317192329313741434753596167717379838997
tr⁑ap\operatorname{tr} a_pβˆ’15βˆ’23βˆ’25βˆ’55βˆ’173βˆ’108βˆ’231βˆ’247βˆ’683βˆ’79322βˆ’374βˆ’358βˆ’422βˆ’1064βˆ’815βˆ’1296463βˆ’2331376510βˆ’801βˆ’4254βˆ’1395βˆ’1990

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.12 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, 157]: [1, 41] (certified at ell = 2147483053)
  • T = [(2, 1), (3, 1)]; h of degree 39 = 1 x 39 (phi(ord eps) x dim S_k^new); 6 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(157, 4)[0]   # 157.4.a.a

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

cargo run --release -p sagebrush-web --example atlas -- 157:4 1000