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

Newspace 33.6.a: S6new(ฮ“0(33))S_{6}^{\mathrm{new}}(\Gamma_0(33))

Newforms

LabelDimCoefficient fieldTrace formAL signsSignCMElliptic curve
33.6.a.a1Q\mathbb{Q} qโˆ’2q2โˆ’9q3โˆ’28q4+46q5+18q6+148q7+O(q8)q - 2q^{2} - 9q^{3} - 28q^{4} + 46q^{5} + 18q^{6} + 148q^{7} + O(q^{8})+ โˆ’+1+1
33.6.a.b1Q\mathbb{Q} q+q2+9q3โˆ’31q4โˆ’92q5+9q6โˆ’26q7+O(q8)q + q^{2} + 9q^{3} - 31q^{4} - 92q^{5} + 9q^{6} - 26q^{7} + O(q^{8})โˆ’ โˆ’โˆ’1-1
33.6.a.c2Q(177)\mathbb{Q}(\sqrt{177}) 2qโˆ’5q2โˆ’18q3+37q4+58q5+45q6โˆ’286q7+O(q8)2q - 5q^{2} - 18q^{3} + 37q^{4} + 58q^{5} + 45q^{6} - 286q^{7} + O(q^{8})+ +โˆ’1-1
33.6.a.d2Q(313)\mathbb{Q}(\sqrt{313}) 2q+q2โˆ’18q3+93q4โˆ’38q5โˆ’9q6โˆ’18q7+O(q8)2q + q^{2} - 18q^{3} + 93q^{4} - 38q^{5} - 9q^{6} - 18q^{7} + O(q^{8})+ โˆ’+1+1
33.6.a.e2Q(33)\mathbb{Q}(\sqrt{33}) 2q+13q2+18q3+37q4+58q5+117q6+146q7+O(q8)2q + 13q^{2} + 18q^{3} + 37q^{4} + 58q^{5} + 117q^{6} + 146q^{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.6.a.axโˆ’44x - 44
33.6.a.bx+91x + 91
33.6.a.cx2โˆ’53xโˆ’2882x^{2} - 53x - 2882
33.6.a.dx2+37xโˆ’9126x^{2} + 37x - 9126
33.6.a.ex2โˆ’71x+592x^{2} - 71x + 592

Dimensions

Newforms S6new(ฮ“0(33))S_{6}^{\mathrm{new}}(\Gamma_0(33))8
Old forms10
Cusp forms S6(ฮ“0(33))S_{6}(\Gamma_0(33))18
Eisenstein series E6(ฮ“0(33))E_{6}(\Gamma_0(33))4
Modular forms M6(ฮ“0(33))M_{6}(\Gamma_0(33))22

Decomposition of the old subspace

S6old(ฮ“0(33))=S_{6}^{\mathrm{old}}(\Gamma_0(33)) = S6new(ฮ“0(3))โŠ•2S_{6}^{\mathrm{new}}(\Gamma_0(3))^{\oplus 2} โŠ•\oplus S6new(ฮ“0(11))โŠ•2S_{6}^{\mathrm{new}}(\Gamma_0(11))^{\oplus 2}

Provenance

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

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

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

โ† 32.6.a ยท 34.6.a โ†’