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

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

Newforms

LabelDimCoefficient fieldTrace formAL signsSignCMElliptic curve
33.8.a.a1Q\mathbb{Q} q+10q2+27q3โˆ’28q4โˆ’410q5+270q6โˆ’1028q7+O(q8)q + 10q^{2} + 27q^{3} - 28q^{4} - 410q^{5} + 270q^{6} - 1028q^{7} + O(q^{8})โˆ’ +โˆ’1-1
33.8.a.b2Q(177)\mathbb{Q}(\sqrt{177}) 2qโˆ’19q2+54q3+13q4โˆ’34q5โˆ’513q6โˆ’166q7+O(q8)2q - 19q^{2} + 54q^{3} + 13q^{4} - 34q^{5} - 513q^{6} - 166q^{7} + O(q^{8})โˆ’ +โˆ’1-1
33.8.a.c2Q(97)\mathbb{Q}(\sqrt{97}) 2q+q2โˆ’54q3+181q4โˆ’194q5โˆ’27q6โˆ’418q7+O(q8)2q + q^{2} - 54q^{3} + 181q^{4} - 194q^{5} - 27q^{6} - 418q^{7} + O(q^{8})+ โˆ’โˆ’1-1
33.8.a.d3degree 3 3q+9q2โˆ’81q3โˆ’15q4โˆ’444q5โˆ’243q6+1614q7+O(q8)3q + 9q^{2} - 81q^{3} - 15q^{4} - 444q^{5} - 243q^{6} + 1614q^{7} + O(q^{8})+ ++1+1
33.8.a.e4degree 4 4q+15q2+108q3+565q4+306q5+405q6+890q7+O(q8)4q + 15q^{2} + 108q^{3} + 565q^{4} + 306q^{5} + 405q^{6} + 890q^{7} + O(q^{8})โˆ’ โˆ’+1+1

Hecke characteristic polynomials

The eigenvalue of T=T2+T5T = T_{2} + 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
33.8.a.ax+400x + 400
33.8.a.bx2+53xโˆ’66602x^{2} + 53x - 66602
33.8.a.cx2+193xโˆ’27572x^{2} + 193x - 27572
33.8.a.dx3+435x2โˆ’40200xโˆ’1533356x^{3} + 435x^{2} - 40200x - 1533356
33.8.a.ex4โˆ’321x3โˆ’132750x2+38510636x+1253935800x^{4} - 321x^{3} - 132750x^{2} + 38510636x + 1253935800

Dimensions

Newforms S8new(ฮ“0(33))S_{8}^{\mathrm{new}}(\Gamma_0(33))12
Old forms14
Cusp forms S8(ฮ“0(33))S_{8}(\Gamma_0(33))26
Eisenstein series E8(ฮ“0(33))E_{8}(\Gamma_0(33))4
Modular forms M8(ฮ“0(33))M_{8}(\Gamma_0(33))30

Decomposition of the old subspace

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

Provenance

Stored in the atlas: computed by Sagebrush's modular symbols engine in 0.274 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, 3, 11, 33]: [1, 3, 8, 30] (certified at ell = 2147483171)
  • T = [(2, 1), (5, 1)]; h of degree 12 = 1 x 12 (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(33, 8)

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

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

โ† 32.8.a ยท 34.8.a โ†’