๐ŸŒฟ Sagebrush Atlas
Atlas โ€บ Modular forms โ€บ Weight 8 โ€บ Level 35 โ€บ 35.8.a

Newspace 35.8.a: S8new(ฮ“0(35))S_{8}^{\mathrm{new}}(\Gamma_0(35))

Newforms

LabelDimCoefficient fieldTrace formAL signsSignCMElliptic curve
35.8.a.a2Q(11)\mathbb{Q}(\sqrt{11}) 2q+16q2โˆ’30q3โˆ’40q4+250q5โˆ’768q6โˆ’686q7+O(q8)2q + 16q^{2} - 30q^{3} - 40q^{4} + 250q^{5} - 768q^{6} - 686q^{7} + O(q^{8})โˆ’ +โˆ’1-1
35.8.a.b3degree 3 3qโˆ’23q2โˆ’50q3+233q4โˆ’375q5+1144q6+1029q7+O(q8)3q - 23q^{2} - 50q^{3} + 233q^{4} - 375q^{5} + 1144q^{6} + 1029q^{7} + O(q^{8})+ โˆ’โˆ’1-1
35.8.a.c4degree 4 4qโˆ’2q2โˆ’37q3+280q4โˆ’500q5+1144q6โˆ’1372q7+O(q8)4q - 2q^{2} - 37q^{3} + 280q^{4} - 500q^{5} + 1144q^{6} - 1372q^{7} + O(q^{8})+ ++1+1
35.8.a.d5degree 5 5q+11q2+65q3+553q4+625q5+96q6+1715q7+O(q8)5q + 11q^{2} + 65q^{3} + 553q^{4} + 625q^{5} + 96q^{6} + 1715q^{7} + O(q^{8})โˆ’ โˆ’+1+1

Hecke characteristic polynomials

The eigenvalue of T=T2+T3T = T_{2} + T_{3} 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
35.8.a.ax2+14xโˆ’1051x^{2} + 14x - 1051
35.8.a.bx3+73x2โˆ’3293x+26131x^{3} + 73x^{2} - 3293x + 26131
35.8.a.cx4+39x3โˆ’6349x2โˆ’265597xโˆ’2620702x^{4} + 39x^{3} - 6349x^{2} - 265597x - 2620702
35.8.a.dx5โˆ’76x4โˆ’3266x3+227230x2โˆ’625391xโˆ’43857426x^{5} - 76x^{4} - 3266x^{3} + 227230x^{2} - 625391x - 43857426

Dimensions

Newforms S8new(ฮ“0(35))S_{8}^{\mathrm{new}}(\Gamma_0(35))14
Old forms12
Cusp forms S8(ฮ“0(35))S_{8}(\Gamma_0(35))26
Eisenstein series E8(ฮ“0(35))E_{8}(\Gamma_0(35))4
Modular forms M8(ฮ“0(35))M_{8}(\Gamma_0(35))30

Decomposition of the old subspace

S8old(ฮ“0(35))=S_{8}^{\mathrm{old}}(\Gamma_0(35)) = S8new(ฮ“0(5))โŠ•2S_{8}^{\mathrm{new}}(\Gamma_0(5))^{\oplus 2} โŠ•\oplus S8new(ฮ“0(7))โŠ•2S_{8}^{\mathrm{new}}(\Gamma_0(7))^{\oplus 2}

Provenance

Stored in the atlas: computed by Sagebrush's modular symbols engine in 0.273 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, 5, 7, 35]: [1, 5, 5, 30] (certified at ell = 2147483629)
  • T = [(2, 1), (3, 1)]; h of degree 14 = 1 x 14 (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(35, 8)

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

cargo run --release -p sagebrush-web --example atlas -- 35:8 1000

โ† 34.8.a ยท 36.8.a โ†’