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

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

Newforms

LabelDimCoefficient fieldTrace formAL signsSignCMElliptic curve
43.8.a.a11degree 11 11qโˆ’24q2โˆ’68q3+602q4โˆ’752q5โˆ’681q6โˆ’12q7+O(q8)11q - 24q^{2} - 68q^{3} + 602q^{4} - 752q^{5} - 681q^{6} - 12q^{7} + O(q^{8})โˆ’โˆ’1-1
43.8.a.b13degree 13 13q+16q2+94q3+922q4+998q5+183q6+1360q7+O(q8)13q + 16q^{2} + 94q^{3} + 922q^{4} + 998q^{5} + 183q^{6} + 1360q^{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
43.8.a.ax11+92x10โˆ’9481x9โˆ’727200x8+37572147x7+1848204432x6โˆ’71471199422x5โˆ’1493605134676x4+49298457987164x3+192562418140512x2โˆ’4321884204233064x+10727646272486640x^{11} + 92x^{10} - 9481x^{9} - 727200x^{8} + 37572147x^{7} + 1848204432x^{6} - 71471199422x^{5} - 1493605134676x^{4} + 49298457987164x^{3} + 192562418140512x^{2} - 4321884204233064x + 10727646272486640
43.8.a.bx13โˆ’110x12โˆ’14647x11+1644338x10+83647697x9โˆ’9040765014x8โˆ’238696796640x7+22147781872128x6+346543763033608x5โˆ’23407095660014208x4โˆ’213947978461547560x3+9098503326580908720x2+36787519140520780576xโˆ’569654513316109811904x^{13} - 110x^{12} - 14647x^{11} + 1644338x^{10} + 83647697x^{9} - 9040765014x^{8} - 238696796640x^{7} + 22147781872128x^{6} + 346543763033608x^{5} - 23407095660014208x^{4} - 213947978461547560x^{3} + 9098503326580908720x^{2} + 36787519140520780576x - 569654513316109811904

Dimensions

Newforms S8new(ฮ“0(43))S_{8}^{\mathrm{new}}(\Gamma_0(43))24
Old forms0
Cusp forms S8(ฮ“0(43))S_{8}(\Gamma_0(43))24
Eisenstein series E8(ฮ“0(43))E_{8}(\Gamma_0(43))2
Modular forms M8(ฮ“0(43))M_{8}(\Gamma_0(43))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.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, 43]: [1, 26] (certified at ell = 2147483647)
  • 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(43, 8)

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

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

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