🌿 Sagebrush Atlas
Atlas β€Ί Modular forms β€Ί Weight 10 β€Ί Level 23 β€Ί 23.10.a β€Ί 23.10.a.a

Newform orbit 23.10.a.a

Trace form

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

7qβˆ’89q3+1536q4βˆ’2388q5βˆ’12518q6βˆ’9896q7+34920q8+33064q9βˆ’60820q10βˆ’78484q11βˆ’343492q12βˆ’296769q13βˆ’711120q14βˆ’237870q15βˆ’253440q16βˆ’1128820q17βˆ’499874q18βˆ’1301252q19βˆ’3482704q20βˆ’108908q21βˆ’1562088q22βˆ’1958887q23βˆ’4606464q24+O(q25)7q - 89q^{3} + 1536q^{4} - 2388q^{5} - 12518q^{6} - 9896q^{7} + 34920q^{8} + 33064q^{9} - 60820q^{10} - 78484q^{11} - 343492q^{12} - 296769q^{13} - 711120q^{14} - 237870q^{15} - 253440q^{16} - 1128820q^{17} - 499874q^{18} - 1301252q^{19} - 3482704q^{20} - 108908q^{21} - 1562088q^{22} - 1958887q^{23} - 4606464q^{24} + O(q^{25})

Coefficient field

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

x7+89x6βˆ’71504x5βˆ’5546334x4+1158288801x3+55414954997x2βˆ’4635970367970xβˆ’144096569656160x^{7} + 89x^{6} - 71504x^{5} - 5546334x^{4} + 1158288801x^{3} + 55414954997x^{2} - 4635970367970x - 144096569656160

Atkin–Lehner signs

ppwpw_p
23+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_p0βˆ’89βˆ’2388βˆ’9896βˆ’78484βˆ’296769βˆ’1128820βˆ’1301252βˆ’195888728138497334751βˆ’13324320βˆ’15691573βˆ’464748188232227βˆ’53545400βˆ’341275144βˆ’27715765689654580βˆ’286098961βˆ’6374950392744695461164579762βˆ’504153000βˆ’3519929016

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.301 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, 23]: [1, 19] (certified at ell = 2147483647)
  • T = [(2, 1), (3, 1)]; h of degree 17 = 1 x 17 (phi(ord eps) x dim S_k^new); 5 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(23, 10)[0]   # 23.10.a.a

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

cargo run --release -p sagebrush-web --example atlas -- 23:10 1000