🌿 Sagebrush Atlas
Atlas β€Ί Modular forms β€Ί Weight 4 β€Ί Level 163 β€Ί 163.4.a β€Ί 163.4.a.b

Newform orbit 163.4.a.b

Trace form

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

21q+12q2+15q3+82q4+79q5+36q6+36q7+144q8+200q9+64q10+71q11+113q12+235q13+39q14+96q15+410q16+428q17+250q18+167q19+595q20+374q21+148q22+276q23+380q24+O(q25)21q + 12q^{2} + 15q^{3} + 82q^{4} + 79q^{5} + 36q^{6} + 36q^{7} + 144q^{8} + 200q^{9} + 64q^{10} + 71q^{11} + 113q^{12} + 235q^{13} + 39q^{14} + 96q^{15} + 410q^{16} + 428q^{17} + 250q^{18} + 167q^{19} + 595q^{20} + 374q^{21} + 148q^{22} + 276q^{23} + 380q^{24} + O(q^{25})

Coefficient field

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

x21βˆ’27x20βˆ’180x19+10100x18βˆ’18457x17βˆ’1505490x16+6957783x15+119283680x14βˆ’722896770x13βˆ’5583954122x12+38834768042x11+161569378985x10βˆ’1208721434654x9βˆ’2944664902583x8+22127542069019x7+34017967735010x6βˆ’226671144797564x5βˆ’242404116590783x4+1107994998598080x3+863420391687518x2βˆ’1465853232899208xβˆ’28790063240196x^{21} - 27x^{20} - 180x^{19} + 10100x^{18} - 18457x^{17} - 1505490x^{16} + 6957783x^{15} + 119283680x^{14} - 722896770x^{13} - 5583954122x^{12} + 38834768042x^{11} + 161569378985x^{10} - 1208721434654x^{9} - 2944664902583x^{8} + 22127542069019x^{7} + 34017967735010x^{6} - 226671144797564x^{5} - 242404116590783x^{4} + 1107994998598080x^{3} + 863420391687518x^{2} - 1465853232899208x - 28790063240196

Atkin–Lehner signs

ppwpw_p
163+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_p12157936712354281672768975967551197144791884βˆ’257388βˆ’11356611080βˆ’1638319433221191

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, 163]: [1, 42] (certified at ell = 2147483179)
  • T = [(2, 1), (3, 1)]; h of degree 40 = 1 x 40 (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(163, 4)[1]   # 163.4.a.b

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

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