๐ŸŒฟ Sagebrush Atlas
Atlas โ€บ Modular forms โ€บ Weight 6 โ€บ Level 74 โ€บ 74.6.a

Newspace 74.6.a: S6new(ฮ“0(74))S_{6}^{\mathrm{new}}(\Gamma_0(74))

Newforms

LabelDimCoefficient fieldTrace formAL signsSignCMElliptic curve
74.6.a.a1Q\mathbb{Q} q+4q2โˆ’15q3+16q4+4q5โˆ’60q6+15q7+O(q8)q + 4q^{2} - 15q^{3} + 16q^{4} + 4q^{5} - 60q^{6} + 15q^{7} + O(q^{8})โˆ’ โˆ’โˆ’1-1
74.6.a.b1Q\mathbb{Q} q+4q2+7q3+16q4โˆ’84q5+28q6โˆ’139q7+O(q8)q + 4q^{2} + 7q^{3} + 16q^{4} - 84q^{5} + 28q^{6} - 139q^{7} + O(q^{8})โˆ’ โˆ’โˆ’1-1
74.6.a.c3degree 3 3qโˆ’12q2โˆ’8q3+48q4โˆ’42q5+32q6+84q7+O(q8)3q - 12q^{2} - 8q^{3} + 48q^{4} - 42q^{5} + 32q^{6} + 84q^{7} + O(q^{8})+ +โˆ’1-1
74.6.a.d5degree 5 5qโˆ’20q2+19q3+80q4โˆ’67q5โˆ’76q6+182q7+O(q8)5q - 20q^{2} + 19q^{3} + 80q^{4} - 67q^{5} - 76q^{6} + 182q^{7} + O(q^{8})+ โˆ’+1+1
74.6.a.e5degree 5 5q+20q2+19q3+80q4+95q5+76q6+170q7+O(q8)5q + 20q^{2} + 19q^{3} + 80q^{4} + 95q^{5} + 76q^{6} + 170q^{7} + O(q^{8})โˆ’ ++1+1

Hecke characteristic polynomials

The eigenvalue of T=T3+T5T = T_{3} + 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
74.6.a.ax+11x + 11
74.6.a.bx+77x + 77
74.6.a.cx3+50x2+383xโˆ’1226x^{3} + 50x^{2} + 383x - 1226
74.6.a.dx5+48x4โˆ’17272x3โˆ’936130x2+57264615x+3143577250x^{5} + 48x^{4} - 17272x^{3} - 936130x^{2} + 57264615x + 3143577250
74.6.a.ex5โˆ’114x4โˆ’2018x3+431800x2โˆ’6144255xโˆ’22198214x^{5} - 114x^{4} - 2018x^{3} + 431800x^{2} - 6144255x - 22198214

Dimensions

Newforms S6new(ฮ“0(74))S_{6}^{\mathrm{new}}(\Gamma_0(74))15
Old forms30
Cusp forms S6(ฮ“0(74))S_{6}(\Gamma_0(74))45
Eisenstein series E6(ฮ“0(74))E_{6}(\Gamma_0(74))4
Modular forms M6(ฮ“0(74))M_{6}(\Gamma_0(74))49

Decomposition of the old subspace

S6old(ฮ“0(74))=S_{6}^{\mathrm{old}}(\Gamma_0(74)) = S6new(ฮ“0(37))โŠ•2S_{6}^{\mathrm{new}}(\Gamma_0(37))^{\oplus 2}

Provenance

Stored in the atlas: computed by Sagebrush's modular symbols engine in 0.253 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, 37, 74]: [1, 2, 17, 49] (certified at ell = 2147483629)
  • T = [(3, 1), (5, 1)]; h of degree 15 = 1 x 15 (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(74, 6)

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

cargo run --release -p sagebrush-web --example atlas -- 74:6 1000

โ† 73.6.a ยท 75.6.a โ†’