๐ŸŒฟ Sagebrush Atlas
Atlas โ€บ Modular forms โ€บ Weight 4 โ€บ Level 141 โ€บ 141.4.a

Newspace 141.4.a: S4new(ฮ“0(141))S_{4}^{\mathrm{new}}(\Gamma_0(141))

Newforms

LabelDimCoefficient fieldTrace formAL signsSignCMElliptic curve
141.4.a.a2Q(111)\mathbb{Q}(\sqrt{111}) 2q+8q2+6q3+16q4+6q5+24q6+20q7+O(q8)2q + 8q^{2} + 6q^{3} + 16q^{4} + 6q^{5} + 24q^{6} + 20q^{7} + O(q^{8})โˆ’ โˆ’+1+1
141.4.a.b5degree 5 5qโˆ’5q2+15q3+7q4โˆ’34q5โˆ’15q6โˆ’26q7+O(q8)5q - 5q^{2} + 15q^{3} + 7q^{4} - 34q^{5} - 15q^{6} - 26q^{7} + O(q^{8})โˆ’ +โˆ’1-1
141.4.a.c5degree 5 5qโˆ’q2+15q3+15q4+10q5โˆ’3q6+10q7+O(q8)5q - q^{2} + 15q^{3} + 15q^{4} + 10q^{5} - 3q^{6} + 10q^{7} + O(q^{8})โˆ’ โˆ’+1+1
141.4.a.d5degree 5 5q+q2โˆ’15q3+11q4โˆ’4q5โˆ’3q6โˆ’26q7+O(q8)5q + q^{2} - 15q^{3} + 11q^{4} - 4q^{5} - 3q^{6} - 26q^{7} + O(q^{8})+ โˆ’โˆ’1-1
141.4.a.e7degree 7 7qโˆ’3q2โˆ’21q3+35q4+6q5+9q6+30q7+O(q8)7q - 3q^{2} - 21q^{3} + 35q^{4} + 6q^{5} + 9q^{6} + 30q^{7} + O(q^{8})+ ++1+1

Hecke characteristic polynomials

The eigenvalue of T=T2+T5T = T_{2} + T_{5} generates each orbit's coefficient field; on the newspace its characteristic polynomial factors over Q\mathbb{Q} as one irreducible factor per orbit:

OrbitCharacteristic polynomial of TT
141.4.a.ax2โˆ’14xโˆ’62x^{2} - 14x - 62
141.4.a.bx5+39x4+344x3โˆ’3004x2โˆ’53505xโˆ’174563x^{5} + 39x^{4} + 344x^{3} - 3004x^{2} - 53505x - 174563
141.4.a.cx5โˆ’9x4โˆ’434x3+4342x2+1341xโˆ’48353x^{5} - 9x^{4} - 434x^{3} + 4342x^{2} + 1341x - 48353
141.4.a.dx5+3x4โˆ’190x3โˆ’254x2+1473x+239x^{5} + 3x^{4} - 190x^{3} - 254x^{2} + 1473x + 239
141.4.a.ex7โˆ’3x6โˆ’672x5+3282x4+141579x3โˆ’864453x2โˆ’9055660x+60233310x^{7} - 3x^{6} - 672x^{5} + 3282x^{4} + 141579x^{3} - 864453x^{2} - 9055660x + 60233310

Dimensions

Newforms S4new(ฮ“0(141))S_{4}^{\mathrm{new}}(\Gamma_0(141))24
Old forms22
Cusp forms S4(ฮ“0(141))S_{4}(\Gamma_0(141))46
Eisenstein series E4(ฮ“0(141))E_{4}(\Gamma_0(141))4
Modular forms M4(ฮ“0(141))M_{4}(\Gamma_0(141))50

Decomposition of the old subspace

S4old(ฮ“0(141))=S_{4}^{\mathrm{old}}(\Gamma_0(141)) = S4new(ฮ“0(47))โŠ•2S_{4}^{\mathrm{new}}(\Gamma_0(47))^{\oplus 2}

Provenance

Stored in the atlas: computed by Sagebrush's modular symbols engine in 0.117 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, 3, 47, 141]: [1, 2, 13, 50] (certified at ell = 2147483137)
  • T = [(2, 1), (5, 1)]; h of degree 24 = 1 x 24 (phi(ord eps) x dim S_k^new); 4 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(141, 4)

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

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

โ† 140.4.a ยท 142.4.a โ†’