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

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

Newforms

LabelDimCoefficient fieldTrace formAL signsSignCMElliptic curve
104.6.a.a1Q\mathbb{Q} qโˆ’23q3โˆ’9q5+165q7+O(q8)q - 23q^{3} - 9q^{5} + 165q^{7} + O(q^{8})+
104.6.a.b2Q(337)\mathbb{Q}(\sqrt{337}) 2q+23q3โˆ’47q5โˆ’95q7+O(q8)2q + 23q^{3} - 47q^{5} - 95q^{7} + O(q^{8})+
104.6.a.c3degree 3 3qโˆ’20q3+56q5โˆ’76q7+O(q8)3q - 20q^{3} + 56q^{5} - 76q^{7} + O(q^{8})โˆ’
104.6.a.d4degree 4 4qโˆ’11q3+31q5+39q7+O(q8)4q - 11q^{3} + 31q^{5} + 39q^{7} + O(q^{8})+
104.6.a.e5degree 5 5q+9q3+19q5โˆ’109q7+O(q8)5q + 9q^{3} + 19q^{5} - 109q^{7} + O(q^{8})โˆ’

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
104.6.a.ax+32x + 32
104.6.a.bx2+24xโˆ’1204x^{2} + 24x - 1204
104.6.a.cx3โˆ’36x2โˆ’1532x+21120x^{3} - 36x^{2} - 1532x + 21120
104.6.a.dx4โˆ’20x3โˆ’10116x2+82512x+24758784x^{4} - 20x^{3} - 10116x^{2} + 82512x + 24758784
104.6.a.ex5โˆ’28x4โˆ’14656x3+590480x2+48582640xโˆ’2287509120x^{5} - 28x^{4} - 14656x^{3} + 590480x^{2} + 48582640x - 2287509120

Dimensions

Newforms S6new(ฮ“0(104))S_{6}^{\mathrm{new}}(\Gamma_0(104))15
Old forms51
Cusp forms S6(ฮ“0(104))S_{6}(\Gamma_0(104))66
Eisenstein series E6(ฮ“0(104))E_{6}(\Gamma_0(104))8
Modular forms M6(ฮ“0(104))M_{6}(\Gamma_0(104))74

Decomposition of the old subspace

S6old(ฮ“0(104))=S_{6}^{\mathrm{old}}(\Gamma_0(104)) = S6new(ฮ“0(4))โŠ•4S_{6}^{\mathrm{new}}(\Gamma_0(4))^{\oplus 4} โŠ•\oplus S6new(ฮ“0(8))โŠ•2S_{6}^{\mathrm{new}}(\Gamma_0(8))^{\oplus 2} โŠ•\oplus S6new(ฮ“0(13))โŠ•4S_{6}^{\mathrm{new}}(\Gamma_0(13))^{\oplus 4} โŠ•\oplus S6new(ฮ“0(26))โŠ•3S_{6}^{\mathrm{new}}(\Gamma_0(26))^{\oplus 3} โŠ•\oplus S6new(ฮ“0(52))โŠ•2S_{6}^{\mathrm{new}}(\Gamma_0(52))^{\oplus 2}

Provenance

Stored in the atlas: computed by Sagebrush's modular symbols engine in 0.285 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, 4, 8, 13, 26, 52, 104]: [1, 2, 4, 7, 7, 19, 38, 74] (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(104, 6)

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

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

โ† 103.6.a ยท 105.6.a โ†’