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

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

Newforms

LabelDimCoefficient fieldTrace formAL signsSignCMElliptic curve
26.8.a.a1Q\mathbb{Q} qโˆ’8q2โˆ’39q3+64q4+385q5+312q6โˆ’293q7+O(q8)q - 8q^{2} - 39q^{3} + 64q^{4} + 385q^{5} + 312q^{6} - 293q^{7} + O(q^{8})+ โˆ’โˆ’1-1
26.8.a.b1Q\mathbb{Q} q+8q2โˆ’87q3+64q4+321q5โˆ’696q6โˆ’181q7+O(q8)q + 8q^{2} - 87q^{3} + 64q^{4} + 321q^{5} - 696q^{6} - 181q^{7} + O(q^{8})โˆ’ โˆ’+1+1
26.8.a.c1Q\mathbb{Q} q+8q2โˆ’27q3+64q4โˆ’245q5โˆ’216q6โˆ’587q7+O(q8)q + 8q^{2} - 27q^{3} + 64q^{4} - 245q^{5} - 216q^{6} - 587q^{7} + O(q^{8})โˆ’ +โˆ’1-1
26.8.a.d2Q(105)\mathbb{Q}(\sqrt{105}) 2qโˆ’16q2โˆ’12q3+128q4โˆ’146q5+96q6โˆ’1780q7+O(q8)2q - 16q^{2} - 12q^{3} + 128q^{4} - 146q^{5} + 96q^{6} - 1780q^{7} + O(q^{8})+ ++1+1
26.8.a.e2Q(2305)\mathbb{Q}(\sqrt{2305}) 2q+16q2+87q3+128q4+215q5+696q6+705q7+O(q8)2q + 16q^{2} + 87q^{3} + 128q^{4} + 215q^{5} + 696q^{6} + 705q^{7} + O(q^{8})โˆ’ โˆ’+1+1

Hecke characteristic polynomials

The eigenvalue of T=T3+T5T = T_{3} + 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
26.8.a.axโˆ’346x - 346
26.8.a.bxโˆ’234x - 234
26.8.a.cx+272x + 272
26.8.a.dx2+158xโˆ’187904x^{2} + 158x - 187904
26.8.a.ex2โˆ’302x+2056x^{2} - 302x + 2056

Dimensions

Newforms S8new(ฮ“0(26))S_{8}^{\mathrm{new}}(\Gamma_0(26))7
Old forms16
Cusp forms S8(ฮ“0(26))S_{8}(\Gamma_0(26))23
Eisenstein series E8(ฮ“0(26))E_{8}(\Gamma_0(26))4
Modular forms M8(ฮ“0(26))M_{8}(\Gamma_0(26))27

Decomposition of the old subspace

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

Provenance

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

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

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

โ† 25.8.a ยท 27.8.a โ†’