🌿 Sagebrush Atlas
Atlas β€Ί Modular forms β€Ί Weight 8 β€Ί Level 55 β€Ί 55.8.a β€Ί 55.8.a.b

Newform orbit 55.8.a.b

Trace form

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

5qβˆ’3q2+105q4+625q5βˆ’1187q6βˆ’890q7βˆ’4839q8+2731q9βˆ’375q10βˆ’6655q11+16895q12βˆ’18494q13+10657q14+22913q16βˆ’38018q17βˆ’73364q18βˆ’61042q19+13125q20βˆ’195408q21+3993q22βˆ’144268q23βˆ’255221q24+O(q25)5q - 3q^{2} + 105q^{4} + 625q^{5} - 1187q^{6} - 890q^{7} - 4839q^{8} + 2731q^{9} - 375q^{10} - 6655q^{11} + 16895q^{12} - 18494q^{13} + 10657q^{14} + 22913q^{16} - 38018q^{17} - 73364q^{18} - 61042q^{19} + 13125q^{20} - 195408q^{21} + 3993q^{22} - 144268q^{23} - 255221q^{24} + O(q^{25})

Coefficient field

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

x5+3x4βˆ’6014x3+122628x2+3963224xβˆ’86900768x^{5} + 3x^{4} - 6014x^{3} + 122628x^{2} + 3963224x - 86900768

Atkin–Lehner signs

ppwpw_p
5βˆ’1-1
11+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 odd analytic rank.

Traces of Hecke eigenvalues

pp2357111317192329313741434753596167717379838997
tr⁑ap\operatorname{tr} a_pβˆ’30625βˆ’890βˆ’6655βˆ’18494βˆ’38018βˆ’61042βˆ’144268βˆ’74518βˆ’55496βˆ’68764βˆ’1265666βˆ’435368555576βˆ’144055691457442733970βˆ’3578412βˆ’2377688βˆ’81837984521624βˆ’2281352βˆ’16239504βˆ’16909630

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.292 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, 5, 11, 55]: [1, 5, 8, 44] (certified at ell = 2147482921)
  • T = [(2, 1), (3, 1)]; h of degree 22 = 1 x 22 (phi(ord eps) x dim S_k^new); 5 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(55, 8)[1]   # 55.8.a.b

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

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