🌿 Sagebrush Atlas
Atlas β€Ί Modular forms β€Ί Weight 2 β€Ί Level 794 β€Ί 794.2.a β€Ί 794.2.a.g

Newform orbit 794.2.a.g

Trace form

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

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

Coefficient field

The coefficients ana_n generate a number field of degree 12. It is generated by the eigenvalue Ξ±\alpha of T=T3+2T5+3T7+4T11+5T13+6T17+7T19+8T23T = T_{3} + 2T_{5} + 3T_{7} + 4T_{11} + 5T_{13} + 6T_{17} + 7T_{19} + 8T_{23}, whose minimal polynomial is

x12βˆ’372x11+45863x10βˆ’990356x9βˆ’229042651x8+16883873327x7βˆ’102640865666x6βˆ’22279977144575x5+468470586676603x4+5874589987407947x3βˆ’123657782597534379x2βˆ’73401935288021843x+624528591824845429x^{12} - 372x^{11} + 45863x^{10} - 990356x^{9} - 229042651x^{8} + 16883873327x^{7} - 102640865666x^{6} - 22279977144575x^{5} + 468470586676603x^{4} + 5874589987407947x^{3} - 123657782597534379x^{2} - 73401935288021843x + 624528591824845429

Atkin–Lehner signs

ppwpw_p
2+1+1
397βˆ’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_pβˆ’1273715702112βˆ’2288βˆ’10296βˆ’1143723βˆ’15195019427

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.56 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, 2, 397, 794]: [0, 1, 33, 101] (certified at ell = 2147483053)
  • T = [(3, 1), (5, 2), (7, 3), (11, 4), (13, 5), (17, 6), (19, 7), (23, 8)]; h of degree 34 = 1 x 34 (phi(ord eps) x dim S_k^new); 10 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(794, 2)[6]   # 794.2.a.g

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

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