๐ŸŒฟ Sagebrush Atlas
Atlas โ€บ Modular forms โ€บ Weight 2 โ€บ Level 921 โ€บ 921.2.a

Newspace 921.2.a: S2new(ฮ“0(921))S_{2}^{\mathrm{new}}(\Gamma_0(921))

Newforms

LabelDimCoefficient fieldTrace formAL signsSignCMElliptic curve
921.2.a.a1Q\mathbb{Q} qโˆ’2q2โˆ’q3+2q4+2q6+O(q8)q - 2q^{2} - q^{3} + 2q^{4} + 2q^{6} + O(q^{8})+ โˆ’+1+1 921a1 rank 0
921.2.a.b1Q\mathbb{Q} q+q3โˆ’2q4โˆ’q7+O(q8)q + q^{3} - 2q^{4} - q^{7} + O(q^{8})โˆ’ โˆ’โˆ’1-1 921b1 rank 1
921.2.a.c2Q(2)\mathbb{Q}(\sqrt{2}) 2q+2q3+4q7+O(q8)2q + 2q^{3} + 4q^{7} + O(q^{8})โˆ’ ++1+1
921.2.a.d2Q(2)\mathbb{Q}(\sqrt{2}) 2q+2q2+2q3+2q4+2q6+6q7+O(q8)2q + 2q^{2} + 2q^{3} + 2q^{4} + 2q^{6} + 6q^{7} + O(q^{8})โˆ’ ++1+1
921.2.a.e7degree 7 7qโˆ’2q2+7q3+2q4โˆ’7q5โˆ’2q6โˆ’13q7+O(q8)7q - 2q^{2} + 7q^{3} + 2q^{4} - 7q^{5} - 2q^{6} - 13q^{7} + O(q^{8})โˆ’ โˆ’โˆ’1-1
921.2.a.f11degree 11 11q+4q2โˆ’11q3+10q4+7q5โˆ’4q6+2q7+O(q8)11q + 4q^{2} - 11q^{3} + 10q^{4} + 7q^{5} - 4q^{6} + 2q^{7} + O(q^{8})+ โˆ’+1+1
921.2.a.g13degree 13 13qโˆ’2q2โˆ’13q3+12q4โˆ’9q5+2q6โˆ’8q7+O(q8)13q - 2q^{2} - 13q^{3} + 12q^{4} - 9q^{5} + 2q^{6} - 8q^{7} + O(q^{8})+ +โˆ’1-1
921.2.a.h14degree 14 14qโˆ’3q2+14q3+21q4+3q5โˆ’3q6+6q7+O(q8)14q - 3q^{2} + 14q^{3} + 21q^{4} + 3q^{5} - 3q^{6} + 6q^{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
921.2.a.ax+2x + 2
921.2.a.bxx
921.2.a.cx2โˆ’18x^{2} - 18
921.2.a.dx2โˆ’2xโˆ’1x^{2} - 2x - 1
921.2.a.ex7+9x6+22x5โˆ’x4โˆ’65x3โˆ’80x2โˆ’37xโˆ’6x^{7} + 9x^{6} + 22x^{5} - x^{4} - 65x^{3} - 80x^{2} - 37x - 6
921.2.a.fx11โˆ’11x10+11x9+226x8โˆ’666x7โˆ’898x6+4972x5โˆ’1329x4โˆ’11302x3+8166x2+7187xโˆ’6008x^{11} - 11x^{10} + 11x^{9} + 226x^{8} - 666x^{7} - 898x^{6} + 4972x^{5} - 1329x^{4} - 11302x^{3} + 8166x^{2} + 7187x - 6008
921.2.a.gx13+11x12+7x11โˆ’252x10โˆ’569x9+1721x8+5530x7โˆ’2698x6โˆ’17795x5โˆ’5136x4+18358x3+8584x2โˆ’6160xโˆ’2560x^{13} + 11x^{12} + 7x^{11} - 252x^{10} - 569x^{9} + 1721x^{8} + 5530x^{7} - 2698x^{6} - 17795x^{5} - 5136x^{4} + 18358x^{3} + 8584x^{2} - 6160x - 2560
921.2.a.hx14โˆ’74x12+55x11+1960x10โˆ’2624x9โˆ’21838x8+39381x7+93119x6โˆ’214438x5โˆ’87331x4+398971x3โˆ’183780x2โˆ’59912x+37952x^{14} - 74x^{12} + 55x^{11} + 1960x^{10} - 2624x^{9} - 21838x^{8} + 39381x^{7} + 93119x^{6} - 214438x^{5} - 87331x^{4} + 398971x^{3} - 183780x^{2} - 59912x + 37952

Dimensions

Newforms S2new(ฮ“0(921))S_{2}^{\mathrm{new}}(\Gamma_0(921))51
Old forms50
Cusp forms S2(ฮ“0(921))S_{2}(\Gamma_0(921))101
Eisenstein series E2(ฮ“0(921))E_{2}(\Gamma_0(921))3
Modular forms M2(ฮ“0(921))M_{2}(\Gamma_0(921))104

Decomposition of the old subspace

S2old(ฮ“0(921))=S_{2}^{\mathrm{old}}(\Gamma_0(921)) = S2new(ฮ“0(307))โŠ•2S_{2}^{\mathrm{new}}(\Gamma_0(307))^{\oplus 2}

Provenance

Stored in the atlas: computed by Sagebrush's modular symbols engine in 0.275 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, 307, 921]: [0, 1, 26, 104] (certified at ell = 2147478013)
  • T = [(2, 1), (5, 1)]; h of degree 51 = 1 x 51 (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(921, 2)

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

cargo run --release -p sagebrush-web --example atlas -- 921:2 1000

โ† 920.2.a ยท 922.2.a โ†’