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

Newspace 33.10.a: S10new(ฮ“0(33))S_{10}^{\mathrm{new}}(\Gamma_0(33))

Newforms

LabelDimCoefficient fieldTrace formAL signsSignCMElliptic curve
33.10.a.a3degree 3 3qโˆ’51q2+243q3+1425q4โˆ’1362q5โˆ’4131q6โˆ’15090q7+O(q8)3q - 51q^{2} + 243q^{3} + 1425q^{4} - 1362q^{5} - 4131q^{6} - 15090q^{7} + O(q^{8})โˆ’ โˆ’โˆ’1-1
33.10.a.b3degree 3 3q+3q2โˆ’243q3โˆ’315q4+2388q5โˆ’243q6โˆ’228q7+O(q8)3q + 3q^{2} - 243q^{3} - 315q^{4} + 2388q^{5} - 243q^{6} - 228q^{7} + O(q^{8})+ +โˆ’1-1
33.10.a.c4degree 4 4qโˆ’3q2+324q3+709q4+2388q5โˆ’243q6+5372q7+O(q8)4q - 3q^{2} + 324q^{3} + 709q^{4} + 2388q^{5} - 243q^{6} + 5372q^{7} + O(q^{8})โˆ’ ++1+1
33.10.a.d4degree 4 4q+19q2โˆ’324q3+1937q4+1138q5โˆ’1539q6+8122q7+O(q8)4q + 19q^{2} - 324q^{3} + 1937q^{4} + 1138q^{5} - 1539q^{6} + 8122q^{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.10.a.ax3+1413x2โˆ’1055154x+104055784x^{3} + 1413x^{2} - 1055154x + 104055784
33.10.a.bx3โˆ’2391x2+1293552x+146425460x^{3} - 2391x^{2} + 1293552x + 146425460
33.10.a.cx4โˆ’2385x3โˆ’3246402x2+10250147072xโˆ’5302309177728x^{4} - 2385x^{3} - 3246402x^{2} + 10250147072x - 5302309177728
33.10.a.dx4โˆ’1157x3โˆ’4118808x2+3761411332xโˆ’650348382608x^{4} - 1157x^{3} - 4118808x^{2} + 3761411332x - 650348382608

Dimensions

Newforms S10new(ฮ“0(33))S_{10}^{\mathrm{new}}(\Gamma_0(33))14
Old forms20
Cusp forms S10(ฮ“0(33))S_{10}(\Gamma_0(33))34
Eisenstein series E10(ฮ“0(33))E_{10}(\Gamma_0(33))4
Modular forms M10(ฮ“0(33))M_{10}(\Gamma_0(33))38

Decomposition of the old subspace

S10old(ฮ“0(33))=S_{10}^{\mathrm{old}}(\Gamma_0(33)) = S10new(ฮ“0(3))โŠ•2S_{10}^{\mathrm{new}}(\Gamma_0(3))^{\oplus 2} โŠ•\oplus S10new(ฮ“0(11))โŠ•2S_{10}^{\mathrm{new}}(\Gamma_0(11))^{\oplus 2}

Provenance

Stored in the atlas: computed by Sagebrush's modular symbols engine in 0.327 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, 4, 10, 38] (certified at ell = 2147483171)
  • T = [(2, 1), (5, 1)]; h of degree 14 = 1 x 14 (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(33, 10)

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

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

โ† 32.10.a ยท 34.10.a โ†’