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

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

Newforms

LabelDimCoefficient fieldTrace formAL signsSignCMElliptic curve
146.4.a.a1Q\mathbb{Q} qโˆ’2q2+4q3+4q4โˆ’6q5โˆ’8q6โˆ’8q7+O(q8)q - 2q^{2} + 4q^{3} + 4q^{4} - 6q^{5} - 8q^{6} - 8q^{7} + O(q^{8})+ โˆ’โˆ’1-1
146.4.a.b2Q(61)\mathbb{Q}(\sqrt{61}) 2qโˆ’4q2โˆ’3q3+8q4+7q5+6q6โˆ’20q7+O(q8)2q - 4q^{2} - 3q^{3} + 8q^{4} + 7q^{5} + 6q^{6} - 20q^{7} + O(q^{8})+ โˆ’โˆ’1-1
146.4.a.c2Q(13)\mathbb{Q}(\sqrt{13}) 2q+4q2โˆ’3q3+8q4โˆ’19q5โˆ’6q6โˆ’28q7+O(q8)2q + 4q^{2} - 3q^{3} + 8q^{4} - 19q^{5} - 6q^{6} - 28q^{7} + O(q^{8})โˆ’ +โˆ’1-1
146.4.a.d6degree 6 6qโˆ’12q2+q3+24q4โˆ’9q5โˆ’2q6+28q7+O(q8)6q - 12q^{2} + q^{3} + 24q^{4} - 9q^{5} - 2q^{6} + 28q^{7} + O(q^{8})+ ++1+1
146.4.a.e7degree 7 7q+14q2+9q3+28q4+21q5+18q6+28q7+O(q8)7q + 14q^{2} + 9q^{3} + 28q^{4} + 21q^{5} + 18q^{6} + 28q^{7} + O(q^{8})โˆ’ โˆ’+1+1

Hecke characteristic polynomials

The eigenvalue of T=T3+3T5T = T_{3} + 3T_{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
146.4.a.ax+14x + 14
146.4.a.bx2โˆ’18xโˆ’163x^{2} - 18x - 163
146.4.a.cx2+60x+263x^{2} + 60x + 263
146.4.a.dx6+26x5โˆ’7033x4โˆ’130020x3+12472798x2+60849762xโˆ’4211157314x^{6} + 26x^{5} - 7033x^{4} - 130020x^{3} + 12472798x^{2} + 60849762x - 4211157314
146.4.a.ex7โˆ’72x6โˆ’1753x5+175336x4+218150x3โˆ’84020762x2โˆ’496498304x+1285640968x^{7} - 72x^{6} - 1753x^{5} + 175336x^{4} + 218150x^{3} - 84020762x^{2} - 496498304x + 1285640968

Dimensions

Newforms S4new(ฮ“0(146))S_{4}^{\mathrm{new}}(\Gamma_0(146))18
Old forms36
Cusp forms S4(ฮ“0(146))S_{4}(\Gamma_0(146))54
Eisenstein series E4(ฮ“0(146))E_{4}(\Gamma_0(146))4
Modular forms M4(ฮ“0(146))M_{4}(\Gamma_0(146))58

Decomposition of the old subspace

S4old(ฮ“0(146))=S_{4}^{\mathrm{old}}(\Gamma_0(146)) = S4new(ฮ“0(73))โŠ•2S_{4}^{\mathrm{new}}(\Gamma_0(73))^{\oplus 2}

Provenance

Stored in the atlas: computed by Sagebrush's modular symbols engine in 0.123 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, 2, 73, 146]: [1, 2, 20, 58] (certified at ell = 2147482873)
  • T = [(3, 1), (5, 3)]; h of degree 18 = 1 x 18 (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(146, 4)

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

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

โ† 145.4.a ยท 147.4.a โ†’