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

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

Newforms

LabelDimCoefficient fieldTrace formAL signsSignCMElliptic curve
941.2.a.a28degree 28 28qโˆ’3q2โˆ’10q3+9q4โˆ’8q5โˆ’9q6โˆ’21q7+O(q8)28q - 3q^{2} - 10q^{3} + 9q^{4} - 8q^{5} - 9q^{6} - 21q^{7} + O(q^{8})+โˆ’1-1
941.2.a.b50degree 50 50q+3q2+12q3+71q4+6q5+9q6+23q7+O(q8)50q + 3q^{2} + 12q^{3} + 71q^{4} + 6q^{5} + 9q^{6} + 23q^{7} + O(q^{8})โˆ’+1+1

Hecke characteristic polynomials

The eigenvalue of T=T2+T3T = T_{2} + T_{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
941.2.a.ax28+13x27+13x26โˆ’479x25โˆ’1599x24+6974x23+35583x22โˆ’48635x21โˆ’402471x20+123423x19+2777536x18+515305x17โˆ’12562191x16โˆ’5317000x15+38327743x14+19772983x13โˆ’79102266x12โˆ’40500406x11+108122766x10+47416378x9โˆ’92936657x8โˆ’29277715x7+45240156x6+7227330x5โˆ’9969926x4+62850x3+567256x2โˆ’80295x+3175x^{28} + 13x^{27} + 13x^{26} - 479x^{25} - 1599x^{24} + 6974x^{23} + 35583x^{22} - 48635x^{21} - 402471x^{20} + 123423x^{19} + 2777536x^{18} + 515305x^{17} - 12562191x^{16} - 5317000x^{15} + 38327743x^{14} + 19772983x^{13} - 79102266x^{12} - 40500406x^{11} + 108122766x^{10} + 47416378x^{9} - 92936657x^{8} - 29277715x^{7} + 45240156x^{6} + 7227330x^{5} - 9969926x^{4} + 62850x^{3} + 567256x^{2} - 80295x + 3175
941.2.a.bx50โˆ’15x49โˆ’91x48+2405x47โˆ’648x46โˆ’167841x45+455383x44+6675619x43โˆ’29492201x42โˆ’164852752x41+1035683780x40+2511487606x39โˆ’23756846245x38โˆ’19211512124x37+381736056987x36โˆ’71900988134x35โˆ’4444366015934x34+3959705404792x33+38102079756843x32โˆ’55324718354443x31โˆ’241492632348839x30+475701405838497x29+1121821352750146x28โˆ’2854006694126434x27โˆ’3710861821113324x26+12439812687957743x25+8068256527828257x24โˆ’39913627504088182x23โˆ’8255170517171357x22+94188012164303786x21โˆ’10900528053585801x20โˆ’161555158212848586x19+59824480554610783x18+196553145601890652x17โˆ’116977479777776983x16โˆ’161971525190447815x15+135589686323037493x14+81676807630669627x13โˆ’99107559001094796x12โˆ’17433094906603102x11+44360186740658804x10โˆ’4318703780150171x9โˆ’10802755024686874x8+3333412867817183x7+943277630009320x6โˆ’579656150528744x5+55395231575072x4+10180239804112x3โˆ’1225610491194x2โˆ’83141163651x+1764870211x^{50} - 15x^{49} - 91x^{48} + 2405x^{47} - 648x^{46} - 167841x^{45} + 455383x^{44} + 6675619x^{43} - 29492201x^{42} - 164852752x^{41} + 1035683780x^{40} + 2511487606x^{39} - 23756846245x^{38} - 19211512124x^{37} + 381736056987x^{36} - 71900988134x^{35} - 4444366015934x^{34} + 3959705404792x^{33} + 38102079756843x^{32} - 55324718354443x^{31} - 241492632348839x^{30} + 475701405838497x^{29} + 1121821352750146x^{28} - 2854006694126434x^{27} - 3710861821113324x^{26} + 12439812687957743x^{25} + 8068256527828257x^{24} - 39913627504088182x^{23} - 8255170517171357x^{22} + 94188012164303786x^{21} - 10900528053585801x^{20} - 161555158212848586x^{19} + 59824480554610783x^{18} + 196553145601890652x^{17} - 116977479777776983x^{16} - 161971525190447815x^{15} + 135589686323037493x^{14} + 81676807630669627x^{13} - 99107559001094796x^{12} - 17433094906603102x^{11} + 44360186740658804x^{10} - 4318703780150171x^{9} - 10802755024686874x^{8} + 3333412867817183x^{7} + 943277630009320x^{6} - 579656150528744x^{5} + 55395231575072x^{4} + 10180239804112x^{3} - 1225610491194x^{2} - 83141163651x + 1764870211

Dimensions

Newforms S2new(ฮ“0(941))S_{2}^{\mathrm{new}}(\Gamma_0(941))78
Old forms0
Cusp forms S2(ฮ“0(941))S_{2}(\Gamma_0(941))78
Eisenstein series E2(ฮ“0(941))E_{2}(\Gamma_0(941))1
Modular forms M2(ฮ“0(941))M_{2}(\Gamma_0(941))79

Decomposition of the old subspace

The old subspace is 0.

Provenance

Stored in the atlas: computed by Sagebrush's modular symbols engine in 0.3 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, 941]: [0, 79] (certified at ell = 2147473241)
  • T = [(2, 1), (3, 1)]; h of degree 78 = 1 x 78 (phi(ord eps) x dim S_k^new); 8 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(941, 2)

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

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

โ† 940.2.a ยท 942.2.a โ†’