🌿 Sagebrush Atlas
Atlas β€Ί Modular forms β€Ί Weight 4 β€Ί Level 211 β€Ί 211.4.a β€Ί 211.4.a.b

Newform orbit 211.4.a.b

Trace form

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

29q+6q2+13q3+132q4+89q5+38q6+24q7+72q8+390q9+80q10+147q11+93q12+131q13+199q14+102q15+628q16+366q17+88q18+145q19+560q20+398q21βˆ’19q22+434q23+314q24+O(q25)29q + 6q^{2} + 13q^{3} + 132q^{4} + 89q^{5} + 38q^{6} + 24q^{7} + 72q^{8} + 390q^{9} + 80q^{10} + 147q^{11} + 93q^{12} + 131q^{13} + 199q^{14} + 102q^{15} + 628q^{16} + 366q^{17} + 88q^{18} + 145q^{19} + 560q^{20} + 398q^{21} - 19q^{22} + 434q^{23} + 314q^{24} + O(q^{25})

Coefficient field

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

x29βˆ’19x28βˆ’626x27+13238x26+157184x25βˆ’3873236x24βˆ’20628323x23+632487411x22+1547883114x21βˆ’64802629246x20βˆ’66792573890x19+4420530320548x18+1491022737532x17βˆ’206866592992442x16βˆ’9241598212129x15+6716206509169649x14βˆ’100154652379144x13βˆ’150802480195194600x12βˆ’9489855164796064x11+2300775891506133952x10+512360471655410173x9βˆ’22981497716222486607x8βˆ’9950476010729638608x7+140032421976899095324x6+94803787397370023880x5βˆ’450490457794146027272x4βˆ’426441598746287398256x3+517122724552261027664x2+649115010203497077360x+97184115874110549968x^{29} - 19x^{28} - 626x^{27} + 13238x^{26} + 157184x^{25} - 3873236x^{24} - 20628323x^{23} + 632487411x^{22} + 1547883114x^{21} - 64802629246x^{20} - 66792573890x^{19} + 4420530320548x^{18} + 1491022737532x^{17} - 206866592992442x^{16} - 9241598212129x^{15} + 6716206509169649x^{14} - 100154652379144x^{13} - 150802480195194600x^{12} - 9489855164796064x^{11} + 2300775891506133952x^{10} + 512360471655410173x^{9} - 22981497716222486607x^{8} - 9950476010729638608x^{7} + 140032421976899095324x^{6} + 94803787397370023880x^{5} - 450490457794146027272x^{4} - 426441598746287398256x^{3} + 517122724552261027664x^{2} + 649115010203497077360x + 97184115874110549968

Atkin–Lehner signs

ppwpw_p
211+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_p6138924147131366145434131543647120901979561400βˆ’682413βˆ’807294βˆ’1833βˆ’9069542870βˆ’418

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.141 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, 211]: [1, 54] (certified at ell = 2147482681)
  • T = [(2, 1), (3, 1)]; h of degree 52 = 1 x 52 (phi(ord eps) x dim S_k^new); 7 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(211, 4)[1]   # 211.4.a.b

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

cargo run --release -p sagebrush-web --example atlas -- 211:4 1000