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

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

Newforms

LabelDimCoefficient fieldTrace formAL signsSignCMElliptic curve
41.8.a.a10degree 10 10qโˆ’q2โˆ’68q3+383q4โˆ’320q5โˆ’810q6โˆ’2402q7+O(q8)10q - q^{2} - 68q^{3} + 383q^{4} - 320q^{5} - 810q^{6} - 2402q^{7} + O(q^{8})โˆ’โˆ’1-1
41.8.a.b14degree 14 14q+15q2+40q3+1151q4+180q5+486q6+2400q7+O(q8)14q + 15q^{2} + 40q^{3} + 1151q^{4} + 180q^{5} + 486q^{6} + 2400q^{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
41.8.a.ax10+69x9โˆ’10301x8โˆ’430245x7+39105926x6+674518644x5โˆ’52479598612x4โˆ’344946178524x3+19187946246876x2+147581505587540xโˆ’240107011681600x^{10} + 69x^{9} - 10301x^{8} - 430245x^{7} + 39105926x^{6} + 674518644x^{5} - 52479598612x^{4} - 344946178524x^{3} + 19187946246876x^{2} + 147581505587540x - 240107011681600
41.8.a.bx14โˆ’55x13โˆ’21853x12+952695x11+182466162x10โˆ’6227922310x9โˆ’742930945668x8+19166332130180x7+1567989571683480x6โˆ’27127638718934720x5โˆ’1665923954462977716x4+12903019010882456340x3+745301155823493375208x2+1816753746218525801400xโˆ’41940721579072236102576x^{14} - 55x^{13} - 21853x^{12} + 952695x^{11} + 182466162x^{10} - 6227922310x^{9} - 742930945668x^{8} + 19166332130180x^{7} + 1567989571683480x^{6} - 27127638718934720x^{5} - 1665923954462977716x^{4} + 12903019010882456340x^{3} + 745301155823493375208x^{2} + 1816753746218525801400x - 41940721579072236102576

Dimensions

Newforms S8new(ฮ“0(41))S_{8}^{\mathrm{new}}(\Gamma_0(41))24
Old forms0
Cusp forms S8(ฮ“0(41))S_{8}(\Gamma_0(41))24
Eisenstein series E8(ฮ“0(41))E_{8}(\Gamma_0(41))2
Modular forms M8(ฮ“0(41))M_{8}(\Gamma_0(41))26

Decomposition of the old subspace

The old subspace is 0.

Provenance

Stored in the atlas: computed by Sagebrush's modular symbols engine in 0.275 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, 41]: [1, 26] (certified at ell = 2147482921)
  • T = [(2, 1), (3, 1)]; h of degree 24 = 1 x 24 (phi(ord eps) x dim S_k^new); 6 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(41, 8)

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

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

โ† 40.8.a ยท 42.8.a โ†’