🌿 Sagebrush Atlas
Atlas β€Ί Modular forms β€Ί Weight 2 β€Ί Level 929 β€Ί 929.2.a β€Ί 929.2.a.b

Newform orbit 929.2.a.b

Trace form

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

28qβˆ’q2βˆ’5q3+13q4βˆ’7q5βˆ’7q6βˆ’32q7βˆ’3q8+11q9βˆ’18q10βˆ’20q11βˆ’27q12βˆ’20q13βˆ’22q14βˆ’38q15βˆ’21q16βˆ’9q17βˆ’6q18βˆ’41q19βˆ’22q20βˆ’4q21βˆ’26q22βˆ’23q23βˆ’10q24+O(q25)28q - q^{2} - 5q^{3} + 13q^{4} - 7q^{5} - 7q^{6} - 32q^{7} - 3q^{8} + 11q^{9} - 18q^{10} - 20q^{11} - 27q^{12} - 20q^{13} - 22q^{14} - 38q^{15} - 21q^{16} - 9q^{17} - 6q^{18} - 41q^{19} - 22q^{20} - 4q^{21} - 26q^{22} - 23q^{23} - 10q^{24} + O(q^{25})

Coefficient field

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

x28+6x27βˆ’57x26βˆ’353x25+1431x24+8720x23βˆ’22110x22βˆ’120242x21+239682x20+1020060x19βˆ’1882048x18βˆ’5465500x17+10442420x16+18072375x15βˆ’39020930x14βˆ’33691597x13+92665084x12+25845870x11βˆ’130677463x10+11983188x9+101440308x8βˆ’33712932x7βˆ’37713277x6+20062121x5+3689498x4βˆ’3835865x3+735427x2βˆ’51799x+1147x^{28} + 6x^{27} - 57x^{26} - 353x^{25} + 1431x^{24} + 8720x^{23} - 22110x^{22} - 120242x^{21} + 239682x^{20} + 1020060x^{19} - 1882048x^{18} - 5465500x^{17} + 10442420x^{16} + 18072375x^{15} - 39020930x^{14} - 33691597x^{13} + 92665084x^{12} + 25845870x^{11} - 130677463x^{10} + 11983188x^{9} + 101440308x^{8} - 33712932x^{7} - 37713277x^{6} + 20062121x^{5} + 3689498x^{4} - 3835865x^{3} + 735427x^{2} - 51799x + 1147

Atkin–Lehner signs

ppwpw_p
929+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βˆ’1βˆ’5βˆ’7βˆ’32βˆ’20βˆ’20βˆ’9βˆ’41βˆ’23βˆ’28βˆ’66βˆ’12βˆ’9βˆ’235βˆ’10βˆ’221βˆ’61βˆ’52βˆ’8βˆ’11832βˆ’29βˆ’8

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 label, dimension and tr⁑ap\operatorname{tr} a_p for every p<1000p < 1000 equal LMFDB's.

The engine's checks
  • dim M^+ at levels [1, 929]: [0, 78] (certified at ell = 2147480161)
  • T = [(2, 1), (3, 1)]; h of degree 77 = 1 x 77 (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(929, 2)[1]   # 929.2.a.b

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

cargo run --release -p sagebrush-web --example atlas -- 929:2 1000