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

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

Newforms

LabelDimCoefficient fieldTrace formAL signsSignCMElliptic curve
21.10.a.a1Q\mathbb{Q} qโˆ’24q2+81q3+64q4โˆ’144q5โˆ’1944q6+2401q7+O(q8)q - 24q^{2} + 81q^{3} + 64q^{4} - 144q^{5} - 1944q^{6} + 2401q^{7} + O(q^{8})โˆ’ โˆ’โˆ’1-1
21.10.a.b2Q(2353)\mathbb{Q}(\sqrt{2353}) 2q+9q2โˆ’162q3+193q4+1170q5โˆ’729q6โˆ’4802q7+O(q8)2q + 9q^{2} - 162q^{3} + 193q^{4} + 1170q^{5} - 729q^{6} - 4802q^{7} + O(q^{8})+ +โˆ’1-1
21.10.a.c2Q(345)\mathbb{Q}(\sqrt{345}) 2q+30q2โˆ’162q3+116q4+1128q5โˆ’2430q6+4802q7+O(q8)2q + 30q^{2} - 162q^{3} + 116q^{4} + 1128q^{5} - 2430q^{6} + 4802q^{7} + O(q^{8})+ โˆ’+1+1
21.10.a.d3degree 3 3qโˆ’13q2+243q3+1677q4+2398q5โˆ’1053q6โˆ’7203q7+O(q8)3q - 13q^{2} + 243q^{3} + 1677q^{4} + 2398q^{5} - 1053q^{6} - 7203q^{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
21.10.a.ax+168x + 168
21.10.a.bx2โˆ’1179xโˆ’2453148x^{2} - 1179x - 2453148
21.10.a.cx2โˆ’1158xโˆ’1403904x^{2} - 1158x - 1403904
21.10.a.dx3โˆ’2385x2+1537722xโˆ’136361232x^{3} - 2385x^{2} + 1537722x - 136361232

Dimensions

Newforms S10new(ฮ“0(21))S_{10}^{\mathrm{new}}(\Gamma_0(21))8
Old forms14
Cusp forms S10(ฮ“0(21))S_{10}(\Gamma_0(21))22
Eisenstein series E10(ฮ“0(21))E_{10}(\Gamma_0(21))4
Modular forms M10(ฮ“0(21))M_{10}(\Gamma_0(21))26

Decomposition of the old subspace

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

Provenance

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

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

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

โ† 20.10.a ยท 22.10.a โ†’