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

Newspace 26.10.a: S10new(ฮ“0(26))S_{10}^{\mathrm{new}}(\Gamma_0(26))

Newforms

LabelDimCoefficient fieldTrace formAL signsSignCMElliptic curve
26.10.a.a1Q\mathbb{Q} qโˆ’16q2โˆ’273q3+256q4+1015q5+4368q6+3955q7+O(q8)q - 16q^{2} - 273q^{3} + 256q^{4} + 1015q^{5} + 4368q^{6} + 3955q^{7} + O(q^{8})+ +โˆ’1-1
26.10.a.b1Q\mathbb{Q} qโˆ’16q2+192q3+256q4โˆ’1310q5โˆ’3072q6โˆ’5810q7+O(q8)q - 16q^{2} + 192q^{3} + 256q^{4} - 1310q^{5} - 3072q^{6} - 5810q^{7} + O(q^{8})+ +โˆ’1-1
26.10.a.c1Q\mathbb{Q} q+16q2+75q3+256q4โˆ’1979q5+1200q6โˆ’10115q7+O(q8)q + 16q^{2} + 75q^{3} + 256q^{4} - 1979q^{5} + 1200q^{6} - 10115q^{7} + O(q^{8})โˆ’ โˆ’โˆ’1-1
26.10.a.d3degree 3 3qโˆ’48q2+768q4+248q5โˆ’2956q7+O(q8)3q - 48q^{2} + 768q^{4} + 248q^{5} - 2956q^{7} + O(q^{8})+ โˆ’+1+1
26.10.a.e3degree 3 3q+48q2+156q3+768q4โˆ’1272q5+2496q6+17058q7+O(q8)3q + 48q^{2} + 156q^{3} + 768q^{4} - 1272q^{5} + 2496q^{6} + 17058q^{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.10.a.axโˆ’742x - 742
26.10.a.bx+1118x + 1118
26.10.a.cx+1904x + 1904
26.10.a.dx3โˆ’248x2โˆ’5347316x+4069822848x^{3} - 248x^{2} - 5347316x + 4069822848
26.10.a.ex3+1116x2โˆ’4420020xโˆ’2206425872x^{3} + 1116x^{2} - 4420020x - 2206425872

Dimensions

Newforms S10new(ฮ“0(26))S_{10}^{\mathrm{new}}(\Gamma_0(26))9
Old forms20
Cusp forms S10(ฮ“0(26))S_{10}(\Gamma_0(26))29
Eisenstein series E10(ฮ“0(26))E_{10}(\Gamma_0(26))4
Modular forms M10(ฮ“0(26))M_{10}(\Gamma_0(26))33

Decomposition of the old subspace

S10old(ฮ“0(26))=S_{10}^{\mathrm{old}}(\Gamma_0(26)) = S10new(ฮ“0(2))โŠ•2S_{10}^{\mathrm{new}}(\Gamma_0(2))^{\oplus 2} โŠ•\oplus S10new(ฮ“0(13))โŠ•2S_{10}^{\mathrm{new}}(\Gamma_0(13))^{\oplus 2}

Provenance

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

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

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

โ† 25.10.a ยท 27.10.a โ†’