🌿 Sagebrush Atlas
Atlas β€Ί Modular forms β€Ί Weight 2 β€Ί Level 947 β€Ί 947.2.a β€Ί 947.2.a.a

Newform orbit 947.2.a.a

Trace form

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

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

Coefficient field

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

x35+17x34+40x33βˆ’811x32βˆ’4476x31+13458x30+133271x29βˆ’47199x28βˆ’2099196x27βˆ’1509922x26+20645358x25+26859030x24βˆ’136437160x23βˆ’226747796x22+628836461x21+1194216022x20βˆ’2055317651x19βˆ’4228980814x18+4771106625x17+10344630714x16βˆ’7773949026x15βˆ’17581147702x14+8672190478x13+20576845559x12βˆ’6359400028x11βˆ’16195376277x10+2880121529x9+8208108487x8βˆ’743498169x7βˆ’2488107808x6+113475987x5+397190632x4βˆ’17346268x3βˆ’26074304x2+1610826x+196541x^{35} + 17x^{34} + 40x^{33} - 811x^{32} - 4476x^{31} + 13458x^{30} + 133271x^{29} - 47199x^{28} - 2099196x^{27} - 1509922x^{26} + 20645358x^{25} + 26859030x^{24} - 136437160x^{23} - 226747796x^{22} + 628836461x^{21} + 1194216022x^{20} - 2055317651x^{19} - 4228980814x^{18} + 4771106625x^{17} + 10344630714x^{16} - 7773949026x^{15} - 17581147702x^{14} + 8672190478x^{13} + 20576845559x^{12} - 6359400028x^{11} - 16195376277x^{10} + 2880121529x^{9} + 8208108487x^{8} - 743498169x^{7} - 2488107808x^{6} + 113475987x^{5} + 397190632x^{4} - 17346268x^{3} - 26074304x^{2} + 1610826x + 196541

Atkin–Lehner signs

ppwpw_p
947+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βˆ’7βˆ’10βˆ’19βˆ’27βˆ’7βˆ’68βˆ’26βˆ’32βˆ’7βˆ’20βˆ’26βˆ’98βˆ’19βˆ’35βˆ’5βˆ’20βˆ’2βˆ’97βˆ’2915βˆ’113βˆ’13015βˆ’133

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.293 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, 947]: [0, 80] (certified at ell = 2147481491)
  • T = [(2, 1), (3, 1)]; h of degree 79 = 1 x 79 (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(947, 2)[0]   # 947.2.a.a

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

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