🌿 Sagebrush Atlas
Atlas β€Ί Modular forms β€Ί Weight 12 β€Ί Level 19 β€Ί 19.12.a β€Ί 19.12.a.b

Newform orbit 19.12.a.b

Trace form

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

9q+87q2+496q3+11781q4+2114q5+84181q6βˆ’19080q7βˆ’76701q8+632433q9βˆ’268428q10+175744q11+3993305q12+809154q13+7041403q14+4320440q15+29590233q16+13162874q17+51670980q18βˆ’22284891q19+692380q20+75424388q21+63849138q22+114786388q23+310823511q24+O(q25)9q + 87q^{2} + 496q^{3} + 11781q^{4} + 2114q^{5} + 84181q^{6} - 19080q^{7} - 76701q^{8} + 632433q^{9} - 268428q^{10} + 175744q^{11} + 3993305q^{12} + 809154q^{13} + 7041403q^{14} + 4320440q^{15} + 29590233q^{16} + 13162874q^{17} + 51670980q^{18} - 22284891q^{19} + 692380q^{20} + 75424388q^{21} + 63849138q^{22} + 114786388q^{23} + 310823511q^{24} + O(q^{25})

Coefficient field

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

x9βˆ’583x8βˆ’1042721x7+466702653x6+396196150308x5βˆ’103292325596454x4βˆ’59342910232666924x3+3714367199125112392x2+1458964133140235097008xβˆ’50351612334872711003904x^{9} - 583x^{8} - 1042721x^{7} + 466702653x^{6} + 396196150308x^{5} - 103292325596454x^{4} - 59342910232666924x^{3} + 3714367199125112392x^{2} + 1458964133140235097008x - 50351612334872711003904

Atkin–Lehner signs

ppwpw_p
19+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_p874962114βˆ’1908017574480915413162874βˆ’2228489111478638854612914βˆ’226600416βˆ’371753970504959690βˆ’1620951792βˆ’19658825401415489525822029386080βˆ’1263984246147185132643496781188818297073746βˆ’15944238816βˆ’285802327620756987179458127902530

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.506 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, 19]: [2, 20] (certified at ell = 2147483647)
  • T = [(2, 1), (3, 1)]; h of degree 16 = 1 x 16 (phi(ord eps) x dim S_k^new); 6 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(19, 12)[1]   # 19.12.a.b

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

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