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

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

Newforms

LabelDimCoefficient fieldTrace formAL signsSignCMElliptic curve
49.6.a.a1Q\mathbb{Q} qโˆ’10q2+14q3+68q4+56q5โˆ’140q6+O(q8)q - 10q^{2} + 14q^{3} + 68q^{4} + 56q^{5} - 140q^{6} + O(q^{8})
49.6.a.b1Q\mathbb{Q} q+11q2+89q4+O(q8)q + 11q^{2} + 89q^{4} + O(q^{8}) Q(โˆ’7)\mathbb{Q}(\sqrt{-7})
49.6.a.c2Q(39)\mathbb{Q}(\sqrt{39}) 2qโˆ’4q2โˆ’56q4+O(q8)2q - 4q^{2} - 56q^{4} + O(q^{8})
49.6.a.d2Q(37)\mathbb{Q}(\sqrt{37}) 2q+2q2โˆ’8q3+12q4โˆ’38q5โˆ’82q6+O(q8)2q + 2q^{2} - 8q^{3} + 12q^{4} - 38q^{5} - 82q^{6} + O(q^{8})
49.6.a.e2Q(37)\mathbb{Q}(\sqrt{37}) 2q+2q2+8q3+12q4+38q5+82q6+O(q8)2q + 2q^{2} + 8q^{3} + 12q^{4} + 38q^{5} + 82q^{6} + O(q^{8})
49.6.a.f2Q(57)\mathbb{Q}(\sqrt{57}) 2q+9q2+6q3+5q4+18q5+198q6+O(q8)2q + 9q^{2} + 6q^{3} + 5q^{4} + 18q^{5} + 198q^{6} + O(q^{8})
49.6.a.g4degree 4 4qโˆ’10q2+10q4+O(q8)4q - 10q^{2} + 10q^{4} + O(q^{8})

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
49.6.a.axโˆ’32x - 32
49.6.a.bxโˆ’11x - 11
49.6.a.cx2+4xโˆ’5612x^{2} + 4x - 5612
49.6.a.dx2+22xโˆ’27x^{2} + 22x - 27
49.6.a.ex2โˆ’26xโˆ’423x^{2} - 26x - 423
49.6.a.fx2โˆ’27xโˆ’4962x^{2} - 27x - 4962
49.6.a.gx4+10x3โˆ’5383x2+21776x+1858462x^{4} + 10x^{3} - 5383x^{2} + 21776x + 1858462

Dimensions

Newforms S6new(ฮ“0(49))S_{6}^{\mathrm{new}}(\Gamma_0(49))14
Old forms6
Cusp forms S6(ฮ“0(49))S_{6}(\Gamma_0(49))20
Eisenstein series E6(ฮ“0(49))E_{6}(\Gamma_0(49))8
Modular forms M6(ฮ“0(49))M_{6}(\Gamma_0(49))28

Decomposition of the old subspace

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

Provenance

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

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

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

โ† 48.6.a ยท 50.6.a โ†’