🌿 Sagebrush Atlas
Atlas β€Ί Modular forms β€Ί Weight 2 β€Ί Level 206 β€Ί 206.2.a β€Ί 206.2.a.a

Newform orbit 206.2.a.a

qq-expansion

qβˆ’q2+2q3+q4+4q5βˆ’2q6βˆ’q8+q9βˆ’4q10βˆ’6q11+2q12βˆ’2q13+8q15+q16+2q17βˆ’q18βˆ’4q19+4q20+6q22βˆ’2q24+O(q25)q - q^{2} + 2q^{3} + q^{4} + 4q^{5} - 2q^{6} - q^{8} + q^{9} - 4q^{10} - 6q^{11} + 2q^{12} - 2q^{13} + 8q^{15} + q^{16} + 2q^{17} - q^{18} - 4q^{19} + 4q^{20} + 6q^{22} - 2q^{24} + O(q^{25})

Coefficient field

The coefficients ana_n generate Q\mathbb{Q}. The eigenvalue of T=T3+3T5T = T_{3} + 3T_{5} is a root of

xβˆ’14x - 14

Atkin–Lehner signs

ppwpw_p
2+1+1
103βˆ’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.

Elliptic curve

By modularity this newform is the one attached to the isogeny class 206.a (Cremona's 206a). Its optimal curve 206a1 is

y2+xy=x3+x2+2xy^2 + xy = x^3 + x^2 + 2x

of rank 0 with torsion of order 2. Its apa_p, computed by Sagebrush's point-counting engine, equal the newform's for every prime p<1000p < 1000.

Traces of Hecke eigenvalues

pp2357111317192329313741434753596167717379838997
tr⁑ap\operatorname{tr} a_pβˆ’1240βˆ’6βˆ’22βˆ’40βˆ’68822βˆ’8βˆ’121210βˆ’20100βˆ’4214

tr⁑an\operatorname{tr} a_n for every n≀1000n \le 1000 is in the JSON.

Sato–Tate

The normalized ap/2p1/2a_p / 2p^{1/2} for the primes p<1000p < 1000 not dividing 206, against the semicircle 2Ο€1βˆ’x2\tfrac{2}{\pi}\sqrt{1 - x^2}:

βˆ’101

Provenance

Stored in the atlas: computed by Sagebrush's modular symbols engine in 0.091 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 label, dimension and tr⁑ap\operatorname{tr} a_p for every p<1000p < 1000 equal LMFDB's.

The engine's checks
  • dim M^+ at levels [1, 2, 103, 206]: [0, 1, 9, 28] (certified at ell = 2147482501)
  • T = [(3, 1), (5, 3)]; h of degree 9 = 1 x 9 (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(206, 2)[0]   # 206.2.a.a

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

cargo run --release -p sagebrush-web --example atlas -- 206:2 1000