🌿 Sagebrush Atlas
Atlas β€Ί Modular forms β€Ί Weight 12 β€Ί Level 13 β€Ί 13.12.a β€Ί 13.12.a.a

Newform orbit 13.12.a.a

Trace form

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

5qβˆ’41q2βˆ’496q3+2993q4βˆ’2542q5+35441q6βˆ’36296q7βˆ’200037q8+172645q9βˆ’1004055q10βˆ’1718912q11βˆ’3670067q12+1856465q13βˆ’3264661q14βˆ’15356636q15βˆ’9077455q16βˆ’6022762q17βˆ’25785896q18βˆ’6984968q19+38011501q20+30001972q21+35725110q22βˆ’26355744q23+88388907q24+O(q25)5q - 41q^{2} - 496q^{3} + 2993q^{4} - 2542q^{5} + 35441q^{6} - 36296q^{7} - 200037q^{8} + 172645q^{9} - 1004055q^{10} - 1718912q^{11} - 3670067q^{12} + 1856465q^{13} - 3264661q^{14} - 15356636q^{15} - 9077455q^{16} - 6022762q^{17} - 25785896q^{18} - 6984968q^{19} + 38011501q^{20} + 30001972q^{21} + 35725110q^{22} - 26355744q^{23} + 88388907q^{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+537x4βˆ’427063x3βˆ’222063897x2βˆ’31352452530xβˆ’1392053521176x^{5} + 537x^{4} - 427063x^{3} - 222063897x^{2} - 31352452530x - 1392053521176

Atkin–Lehner signs

ppwpw_p
13βˆ’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βˆ’41βˆ’496βˆ’2542βˆ’36296βˆ’17189121856465βˆ’6022762βˆ’6984968βˆ’26355744βˆ’81933754βˆ’13953380βˆ’417857846βˆ’2690154174βˆ’2194005968βˆ’46321490163964085286βˆ’6213900336βˆ’13653194690βˆ’11630839736βˆ’55420684056βˆ’10807393382βˆ’4898325368βˆ’1783920699265706244882βˆ’66619160654

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.49 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, 13]: [2, 15] (certified at ell = 2147483629)
  • T = [(2, 1), (3, 1)]; h of degree 11 = 1 x 11 (phi(ord eps) x dim S_k^new); 4 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(13, 12)[0]   # 13.12.a.a

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

cargo run --release -p sagebrush-web --example atlas -- 13:12 1000