🌿 Sagebrush Atlas
Atlas β€Ί Modular forms β€Ί Weight 8 β€Ί Level 17 β€Ί 17.8.a β€Ί 17.8.a.c

Newform orbit 17.8.a.c

Trace form

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

6q+15q2+40q3+485q4βˆ’184q5+1882q6+2064q7+6729q8+5846q9+5592q10+2000q11+3646q12+8708q13βˆ’19844q14+12552q15+5841q16βˆ’29478q17βˆ’108697q18βˆ’45400q19βˆ’202744q20βˆ’37896q21+1378q22βˆ’27208q23+21366q24+O(q25)6q + 15q^{2} + 40q^{3} + 485q^{4} - 184q^{5} + 1882q^{6} + 2064q^{7} + 6729q^{8} + 5846q^{9} + 5592q^{10} + 2000q^{11} + 3646q^{12} + 8708q^{13} - 19844q^{14} + 12552q^{15} + 5841q^{16} - 29478q^{17} - 108697q^{18} - 45400q^{19} - 202744q^{20} - 37896q^{21} + 1378q^{22} - 27208q^{23} + 21366q^{24} + O(q^{25})

Coefficient field

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

x6βˆ’55x5βˆ’10480x4+594968x3+21446476x2βˆ’1401799020x+10072288656x^{6} - 55x^{5} - 10480x^{4} + 594968x^{3} + 21446476x^{2} - 1401799020x + 10072288656

Atkin–Lehner signs

ppwpw_p
17+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_p1540βˆ’184206420008708βˆ’29478βˆ’45400βˆ’27208404808532984437968βˆ’4416601152240βˆ’90296βˆ’137764βˆ’2050080898084686632βˆ’5553232βˆ’143645212387160βˆ’1877808βˆ’19324324βˆ’7630812

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.257 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, 17]: [1, 12] (certified at ell = 2147483489)
  • T = [(2, 1), (3, 1)]; h of degree 10 = 1 x 10 (phi(ord eps) x dim S_k^new); 3 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(17, 8)[2]   # 17.8.a.c

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

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