🌿 Sagebrush Atlas
Atlas β€Ί Modular forms β€Ί Weight 6 β€Ί Level 83 β€Ί 83.6.a β€Ί 83.6.a.b

Newform orbit 83.6.a.b

Trace form

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

20q+7q2+37q3+373q4+88q5+129q6+439q7+351q8+2137q9+481q10+313q11+1399q12+2804q13+1610q15+8885q16+2381q17+3568q18+2608q19+1647q20+5881q21+18703q22+14802q23+34687q24+O(q25)20q + 7q^{2} + 37q^{3} + 373q^{4} + 88q^{5} + 129q^{6} + 439q^{7} + 351q^{8} + 2137q^{9} + 481q^{10} + 313q^{11} + 1399q^{12} + 2804q^{13} + 1610q^{15} + 8885q^{16} + 2381q^{17} + 3568q^{18} + 2608q^{19} + 1647q^{20} + 5881q^{21} + 18703q^{22} + 14802q^{23} + 34687q^{24} + O(q^{25})

Coefficient field

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

x20βˆ’44x19βˆ’3166x18+147918x17+4167415x16βˆ’207251872x15βˆ’3004775505x14+157725819186x13+1321448502777x12βˆ’71055482224630x11βˆ’376148208590796x10+19333515828475298x9+71975712093366637x8βˆ’3099869138360500064x7βˆ’9289698811777097141x6+269978724552071367110x5+742441695991257810002x4βˆ’10241142817009646582134x3βˆ’27466260911857785565328x2+52924821601381361181808x+24826081189085403897680x^{20} - 44x^{19} - 3166x^{18} + 147918x^{17} + 4167415x^{16} - 207251872x^{15} - 3004775505x^{14} + 157725819186x^{13} + 1321448502777x^{12} - 71055482224630x^{11} - 376148208590796x^{10} + 19333515828475298x^{9} + 71975712093366637x^{8} - 3099869138360500064x^{7} - 9289698811777097141x^{6} + 269978724552071367110x^{5} + 742441695991257810002x^{4} - 10241142817009646582134x^{3} - 27466260911857785565328x^{2} + 52924821601381361181808x + 24826081189085403897680

Atkin–Lehner signs

ppwpw_p
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_p7378843931328042381260814802195151313545999βˆ’477216018βˆ’9788213764094327191646886393865234βˆ’64074137780βˆ’88378312918

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.249 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, 83]: [1, 36] (certified at ell = 2147483323)
  • T = [(2, 1), (3, 1)]; h of degree 34 = 1 x 34 (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(83, 6)[1]   # 83.6.a.b

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

cargo run --release -p sagebrush-web --example atlas -- 83:6 1000