🌿 Sagebrush Atlas
Atlas β€Ί Modular forms β€Ί Weight 12 β€Ί Level 7 β€Ί 7.12.a β€Ί 7.12.a.b

Newform orbit 7.12.a.b

Trace form

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

3q+77q2βˆ’140q3+5493q4+5026q5+64274q6βˆ’50421q7+125103q8+658519q9+610764q10βˆ’1039052q11βˆ’609154q12βˆ’1881222q13βˆ’1294139q14βˆ’8220752q15βˆ’9117711q16+15797334q17+38909q18+12340356q19+37982168q20+2352980q21+31890144q22+7276752q23βˆ’117296046q24+O(q25)3q + 77q^{2} - 140q^{3} + 5493q^{4} + 5026q^{5} + 64274q^{6} - 50421q^{7} + 125103q^{8} + 658519q^{9} + 610764q^{10} - 1039052q^{11} - 609154q^{12} - 1881222q^{13} - 1294139q^{14} - 8220752q^{15} - 9117711q^{16} + 15797334q^{17} + 38909q^{18} + 12340356q^{19} + 37982168q^{20} + 2352980q^{21} + 31890144q^{22} + 7276752q^{23} - 117296046q^{24} + O(q^{25})

Coefficient field

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

x3+63x2βˆ’663088xβˆ’106812564x^{3} + 63x^{2} - 663088x - 106812564

Atkin–Lehner signs

ppwpw_p
7+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_p77βˆ’1405026βˆ’50421βˆ’1039052βˆ’188122215797334123403567276752βˆ’12685340616218451256712133889368273446019782827238256649342652258991744282106807738βˆ’27027285348165640499286036803934βˆ’54895016736123561203892βˆ’91648411106βˆ’71237114634

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

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

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