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

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

Newforms

LabelDimCoefficient fieldTrace formAL signsSignCMElliptic curve
949.2.a.a2Q(5)\mathbb{Q}(\sqrt{5}) 2qโˆ’q2+3q3โˆ’q4+4q5โˆ’4q6+2q7+O(q8)2q - q^{2} + 3q^{3} - q^{4} + 4q^{5} - 4q^{6} + 2q^{7} + O(q^{8})โˆ’ ++1+1
949.2.a.b2Q(5)\mathbb{Q}(\sqrt{5}) 2q+3q2+3q3+3q4+2q6+6q7+O(q8)2q + 3q^{2} + 3q^{3} + 3q^{4} + 2q^{6} + 6q^{7} + O(q^{8})โˆ’ ++1+1
949.2.a.c16degree 16 16qโˆ’3q2โˆ’11q3+11q4โˆ’6q5โˆ’4q6+q7+O(q8)16q - 3q^{2} - 11q^{3} + 11q^{4} - 6q^{5} - 4q^{6} + q^{7} + O(q^{8})โˆ’ โˆ’โˆ’1-1
949.2.a.d16degree 16 16qโˆ’q2+3q3+17q4+4q5+8q6โˆ’3q7+O(q8)16q - q^{2} + 3q^{3} + 17q^{4} + 4q^{5} + 8q^{6} - 3q^{7} + O(q^{8})โˆ’ ++1+1
949.2.a.e18degree 18 18qโˆ’3q2โˆ’3q3+17q4โˆ’12q5โˆ’14q6โˆ’7q7+O(q8)18q - 3q^{2} - 3q^{3} + 17q^{4} - 12q^{5} - 14q^{6} - 7q^{7} + O(q^{8})+ +โˆ’1-1
949.2.a.f19degree 19 19q+4q2+5q3+20q4+8q5+8q6+5q7+O(q8)19q + 4q^{2} + 5q^{3} + 20q^{4} + 8q^{5} + 8q^{6} + 5q^{7} + O(q^{8})+ โˆ’+1+1

Hecke characteristic polynomials

The eigenvalue of T=T2+3T3T = T_{2} + 3T_{3} 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
949.2.a.ax2โˆ’8x+11x^{2} - 8x + 11
949.2.a.bx2โˆ’12x+31x^{2} - 12x + 31
949.2.a.cx16+36x15+382x14โˆ’767x13โˆ’38262x12โˆ’147275x11+1110613x10+7825688x9โˆ’9490000x8โˆ’150093005x7โˆ’49926604x6+1333714352x5+1048154170x4โˆ’5488731330x3โˆ’4473869485x2+7661253473x+6993036273x^{16} + 36x^{15} + 382x^{14} - 767x^{13} - 38262x^{12} - 147275x^{11} + 1110613x^{10} + 7825688x^{9} - 9490000x^{8} - 150093005x^{7} - 49926604x^{6} + 1333714352x^{5} + 1048154170x^{4} - 5488731330x^{3} - 4473869485x^{2} + 7661253473x + 6993036273
949.2.a.dx16โˆ’8x15โˆ’318x14+2197x13+40434x12โˆ’225803x11โˆ’2680125x10+10924384x9+100144198x8โˆ’252344787x7โˆ’2083327704x6+2322460722x5+21731067424x4โˆ’1640010450x3โˆ’87358716685x2โˆ’23209973263x+102132288983x^{16} - 8x^{15} - 318x^{14} + 2197x^{13} + 40434x^{12} - 225803x^{11} - 2680125x^{10} + 10924384x^{9} + 100144198x^{8} - 252344787x^{7} - 2083327704x^{6} + 2322460722x^{5} + 21731067424x^{4} - 1640010450x^{3} - 87358716685x^{2} - 23209973263x + 102132288983
949.2.a.ex18+12x17โˆ’241x16โˆ’2885x15+23440x14+265096x13โˆ’1280687x12โˆ’12261903x11+43260233x10+305704839x9โˆ’870775120x8โˆ’4044975911x7+9024986388x6+26953918266x5โˆ’36280350729x4โˆ’77362220937x3+6777053538x2+24969017119xโˆ’5566743311x^{18} + 12x^{17} - 241x^{16} - 2885x^{15} + 23440x^{14} + 265096x^{13} - 1280687x^{12} - 12261903x^{11} + 43260233x^{10} + 305704839x^{9} - 870775120x^{8} - 4044975911x^{7} + 9024986388x^{6} + 26953918266x^{5} - 36280350729x^{4} - 77362220937x^{3} + 6777053538x^{2} + 24969017119x - 5566743311
949.2.a.fx19โˆ’19x18โˆ’237x17+6282x16+9903x15โˆ’774724x14+1382051x13+45499740x12โˆ’142285086x11โˆ’1411591966x10+5019648875x9+24120596351x8โˆ’80189773201x7โˆ’220014454622x6+566955717513x5+886550975000x4โˆ’1684702395733x3โˆ’1084862432689x2+1496400510370x+151159350959x^{19} - 19x^{18} - 237x^{17} + 6282x^{16} + 9903x^{15} - 774724x^{14} + 1382051x^{13} + 45499740x^{12} - 142285086x^{11} - 1411591966x^{10} + 5019648875x^{9} + 24120596351x^{8} - 80189773201x^{7} - 220014454622x^{6} + 566955717513x^{5} + 886550975000x^{4} - 1684702395733x^{3} - 1084862432689x^{2} + 1496400510370x + 151159350959

Dimensions

Newforms S2new(ฮ“0(949))S_{2}^{\mathrm{new}}(\Gamma_0(949))73
Old forms10
Cusp forms S2(ฮ“0(949))S_{2}(\Gamma_0(949))83
Eisenstein series E2(ฮ“0(949))E_{2}(\Gamma_0(949))3
Modular forms M2(ฮ“0(949))M_{2}(\Gamma_0(949))86

Decomposition of the old subspace

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

Provenance

Stored in the atlas: computed by Sagebrush's modular symbols engine in 0.291 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, 13, 73, 949]: [0, 1, 6, 86] (certified at ell = 2147482873)
  • T = [(2, 1), (3, 3)]; h of degree 73 = 1 x 73 (phi(ord eps) x dim S_k^new); 10 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(949, 2)

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

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

โ† 948.2.a ยท 950.2.a โ†’