🌿 Sagebrush Atlas
Atlas β€Ί Modular forms β€Ί Weight 2 β€Ί Level 303 β€Ί 303.2.a β€Ί 303.2.a.b

Newform orbit 303.2.a.b

qq-expansion

q+q3βˆ’2q4βˆ’3q5+q9βˆ’2q11βˆ’2q12βˆ’3q13βˆ’3q15+4q16βˆ’7q17βˆ’5q19+6q20βˆ’5q23+O(q25)q + q^{3} - 2q^{4} - 3q^{5} + q^{9} - 2q^{11} - 2q^{12} - 3q^{13} - 3q^{15} + 4q^{16} - 7q^{17} - 5q^{19} + 6q^{20} - 5q^{23} + O(q^{25})

Coefficient field

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

x+9x + 9

Atkin–Lehner signs

ppwpw_p
3βˆ’1-1
101βˆ’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.

Elliptic curve

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

y2+y=x3+x2βˆ’197xβˆ’208y^2 + y = x^3 + x^2 - 197x - 208

of rank 1 with torsion of order 1. 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_p01βˆ’30βˆ’2βˆ’3βˆ’7βˆ’5βˆ’5671064βˆ’7βˆ’4βˆ’10βˆ’210βˆ’9βˆ’872βˆ’8βˆ’10

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 303, 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.187 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, 3, 101, 303]: [0, 1, 9, 36] (certified at ell = 2147482801)
  • T = [(2, 1), (5, 3)]; h of degree 17 = 1 x 17 (phi(ord eps) x dim S_k^new); 3 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(303, 2)[1]   # 303.2.a.b

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

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