🌿 Sagebrush Atlas
Atlas β€Ί Modular forms β€Ί Weight 4 β€Ί Level 249 β€Ί 249.4.a β€Ί 249.4.a.d

Newform orbit 249.4.a.d

Trace form

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

12q+7q2+36q3+55q4+43q5+21q6+41q7+99q8+108q9+77q10+128q11+165q12+9q13+19q14+129q15+319q16+227q17+63q18+85q19+435q20+123q21βˆ’252q22+245q23+297q24+O(q25)12q + 7q^{2} + 36q^{3} + 55q^{4} + 43q^{5} + 21q^{6} + 41q^{7} + 99q^{8} + 108q^{9} + 77q^{10} + 128q^{11} + 165q^{12} + 9q^{13} + 19q^{14} + 129q^{15} + 319q^{16} + 227q^{17} + 63q^{18} + 85q^{19} + 435q^{20} + 123q^{21} - 252q^{22} + 245q^{23} + 297q^{24} + O(q^{25})

Coefficient field

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

x12βˆ’50x11+200x10+23519x9βˆ’288403x8βˆ’2866856x7+53090580x6+22306625x5βˆ’2730712876x4+8047983704x3+9816117824x2βˆ’25381033840xβˆ’16369604160x^{12} - 50x^{11} + 200x^{10} + 23519x^{9} - 288403x^{8} - 2866856x^{7} + 53090580x^{6} + 22306625x^{5} - 2730712876x^{4} + 8047983704x^{3} + 9816117824x^{2} - 25381033840x - 16369604160

Atkin–Lehner signs

ppwpw_p
3βˆ’1-1
83βˆ’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_p7364341128922785245380713βˆ’136995βˆ’339141610731286696βˆ’7531952382668996276βˆ’3582

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.159 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, 83, 249]: [1, 2, 22, 86] (certified at ell = 2147483323)
  • T = [(2, 1), (5, 1)]; h of degree 42 = 1 x 42 (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(249, 4)[3]   # 249.4.a.d

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

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