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

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

Newforms

LabelDimCoefficient fieldTrace formAL signsSignCMElliptic curve
47.8.a.a11degree 11 11qโˆ’17q2โˆ’68q3+485q4โˆ’56q5โˆ’992q6โˆ’2256q7+O(q8)11q - 17q^{2} - 68q^{3} + 485q^{4} - 56q^{5} - 992q^{6} - 2256q^{7} + O(q^{8})โˆ’โˆ’1-1
47.8.a.b16degree 16 16q+15q2+40q3+1125q4+444q5โˆ’128q6+1860q7+O(q8)16q + 15q^{2} + 40q^{3} + 1125q^{4} + 444q^{5} - 128q^{6} + 1860q^{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
47.8.a.ax11+85x10โˆ’11396x9โˆ’776664x8+49741911x7+2199688997x6โˆ’94915166122x5โˆ’1946034505916x4+64033249957883x3+292047342823529x2โˆ’3552085556855880xโˆ’886277305483956x^{11} + 85x^{10} - 11396x^{9} - 776664x^{8} + 49741911x^{7} + 2199688997x^{6} - 94915166122x^{5} - 1946034505916x^{4} + 64033249957883x^{3} + 292047342823529x^{2} - 3552085556855880x - 886277305483956
47.8.a.bx16โˆ’55x15โˆ’25935x14+1076227x13+282916538x12โˆ’7798781507x11โˆ’1646865483912x10+24377050010755x9+5364546862289334x8โˆ’24374516395924541x7โˆ’9488679642127527088x6โˆ’22232369033877521159x5+8443102437779313561741x4+48715246409229699937466x3โˆ’3256621975957581031146953x2โˆ’15014623430239403913789432x+473419371800796159567608964x^{16} - 55x^{15} - 25935x^{14} + 1076227x^{13} + 282916538x^{12} - 7798781507x^{11} - 1646865483912x^{10} + 24377050010755x^{9} + 5364546862289334x^{8} - 24374516395924541x^{7} - 9488679642127527088x^{6} - 22232369033877521159x^{5} + 8443102437779313561741x^{4} + 48715246409229699937466x^{3} - 3256621975957581031146953x^{2} - 15014623430239403913789432x + 473419371800796159567608964

Dimensions

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

Decomposition of the old subspace

The old subspace is 0.

Provenance

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

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

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

โ† 46.8.a ยท 48.8.a โ†’