🌿 Sagebrush Atlas
Atlas β€Ί Modular forms β€Ί Weight 8 β€Ί Level 61 β€Ί 61.8.a β€Ί 61.8.a.b

Newform orbit 61.8.a.b

Trace form

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

19q+23q2+134q3+1317q4+429q5+q6+1017q7+4479q8+18249q9+5029q10+21895q11+13639q12+4293q13+28184q14+28006q15+30149q16βˆ’3512q17βˆ’52668q18+62964q19+128631q20+151802q21+380355q22+194883q23+643935q24+O(q25)19q + 23q^{2} + 134q^{3} + 1317q^{4} + 429q^{5} + q^{6} + 1017q^{7} + 4479q^{8} + 18249q^{9} + 5029q^{10} + 21895q^{11} + 13639q^{12} + 4293q^{13} + 28184q^{14} + 28006q^{15} + 30149q^{16} - 3512q^{17} - 52668q^{18} + 62964q^{19} + 128631q^{20} + 151802q^{21} + 380355q^{22} + 194883q^{23} + 643935q^{24} + O(q^{25})

Coefficient field

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

x19βˆ’157x18βˆ’19452x17+3935214x16+111307486x15βˆ’38942725392x14+6585808481x13+201579711896603x12βˆ’2333402261158404x11βˆ’603737436766341432x10+9304518292983566192x9+1087717855071623089616x8βˆ’15794644321086717819312x7βˆ’1180482471443915394800496x6+12181494901509568072952192x5+736159171497289498719988736x4βˆ’3484954022133273395794671104x3βˆ’223496925835967520364397856512x2+95933493568065711362985882624x+21814786220227436998967371978752x^{19} - 157x^{18} - 19452x^{17} + 3935214x^{16} + 111307486x^{15} - 38942725392x^{14} + 6585808481x^{13} + 201579711896603x^{12} - 2333402261158404x^{11} - 603737436766341432x^{10} + 9304518292983566192x^{9} + 1087717855071623089616x^{8} - 15794644321086717819312x^{7} - 1180482471443915394800496x^{6} + 12181494901509568072952192x^{5} + 736159171497289498719988736x^{4} - 3484954022133273395794671104x^{3} - 223496925835967520364397856512x^{2} + 95933493568065711362985882624x + 21814786220227436998967371978752

Atkin–Lehner signs

ppwpw_p
61+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_p231344291017218954293βˆ’3512629641948833435843764006300861584539βˆ’9366417525081275485826729βˆ’4312639βˆ’102063194358512βˆ’150423533473903193860521091387655835432

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.291 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, 61]: [1, 37] (certified at ell = 2147482921)
  • T = [(2, 1), (3, 1)]; h of degree 35 = 1 x 35 (phi(ord eps) x dim S_k^new); 8 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(61, 8)[1]   # 61.8.a.b

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

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