๐ŸŒฟ Sagebrush Atlas
Atlas โ€บ Modular forms โ€บ Weight 4 โ€บ Level 107 โ€บ 107.4.a

Newspace 107.4.a: S4new(ฮ“0(107))S_{4}^{\mathrm{new}}(\Gamma_0(107))

Newforms

LabelDimCoefficient fieldTrace formAL signsSignCMElliptic curve
107.4.a.a10degree 10 10qโˆ’2q2โˆ’17q3+20q4โˆ’31q5โˆ’39q6โˆ’44q7+O(q8)10q - 2q^{2} - 17q^{3} + 20q^{4} - 31q^{5} - 39q^{6} - 44q^{7} + O(q^{8})โˆ’โˆ’1-1
107.4.a.b16degree 16 16q+4q2+13q3+80q4+39q5+9q6+68q7+O(q8)16q + 4q^{2} + 13q^{3} + 80q^{4} + 39q^{5} + 9q^{6} + 68q^{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
107.4.a.ax10+19x9+21x8โˆ’1030x7โˆ’2819x6+13327x5+40797x4โˆ’22536x3โˆ’90676x2+5184x+44752x^{10} + 19x^{9} + 21x^{8} - 1030x^{7} - 2819x^{6} + 13327x^{5} + 40797x^{4} - 22536x^{3} - 90676x^{2} + 5184x + 44752
107.4.a.bx16โˆ’17x15โˆ’279x14+5330x13+30324x12โˆ’673834x11โˆ’1560379x10+44012893x9+31646572x8โˆ’1577181469x7+332845590x6+29979347727x5โˆ’24358448723x4โˆ’255574842790x3+283431673162x2+472313926916x+9713514088x^{16} - 17x^{15} - 279x^{14} + 5330x^{13} + 30324x^{12} - 673834x^{11} - 1560379x^{10} + 44012893x^{9} + 31646572x^{8} - 1577181469x^{7} + 332845590x^{6} + 29979347727x^{5} - 24358448723x^{4} - 255574842790x^{3} + 283431673162x^{2} + 472313926916x + 9713514088

Dimensions

Newforms S4new(ฮ“0(107))S_{4}^{\mathrm{new}}(\Gamma_0(107))26
Old forms0
Cusp forms S4(ฮ“0(107))S_{4}(\Gamma_0(107))26
Eisenstein series E4(ฮ“0(107))E_{4}(\Gamma_0(107))2
Modular forms M4(ฮ“0(107))M_{4}(\Gamma_0(107))28

Decomposition of the old subspace

The old subspace is 0.

Provenance

Stored in the atlas: computed by Sagebrush's modular symbols engine in 0.104 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, 107]: [1, 28] (certified at ell = 2147482621)
  • T = [(2, 1), (3, 1)]; h of degree 26 = 1 x 26 (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(107, 4)

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

cargo run --release -p sagebrush-web --example atlas -- 107:4 1000

โ† 106.4.a ยท 108.4.a โ†’