๐ŸŒฟ Sagebrush Atlas
Atlas โ€บ Modular forms โ€บ Weight 2 โ€บ Level 680 โ€บ 680.2.a

Newspace 680.2.a: S2new(ฮ“0(680))S_{2}^{\mathrm{new}}(\Gamma_0(680))

Newforms

LabelDimCoefficient fieldTrace formAL signsSignCMElliptic curve
680.2.a.a1Q\mathbb{Q} qโˆ’q3+q5+2q7+O(q8)q - q^{3} + q^{5} + 2q^{7} + O(q^{8})โˆ’ โˆ’ 680b1 rank 0
680.2.a.b1Q\mathbb{Q} qโˆ’q5+O(q8)q - q^{5} + O(q^{8})+ โˆ’ 680a1 rank 1
680.2.a.c1Q\mathbb{Q} q+2q3+q5+2q7+O(q8)q + 2q^{3} + q^{5} + 2q^{7} + O(q^{8})โˆ’ โˆ’ 680c1 rank 0
680.2.a.d2Q(3)\mathbb{Q}(\sqrt{3}) 2qโˆ’2q3+2q5โˆ’6q7+O(q8)2q - 2q^{3} + 2q^{5} - 6q^{7} + O(q^{8})โˆ’ +
680.2.a.e2Q(2)\mathbb{Q}(\sqrt{2}) 2qโˆ’2q5+O(q8)2q - 2q^{5} + O(q^{8})+ +
680.2.a.f3degree 3 3q+q3โˆ’3q5+O(q8)3q + q^{3} - 3q^{5} + O(q^{8})+ โˆ’
680.2.a.g3degree 3 3q+q3โˆ’3q5+6q7+O(q8)3q + q^{3} - 3q^{5} + 6q^{7} + O(q^{8})+ +
680.2.a.h3degree 3 3q+3q3+3q5+4q7+O(q8)3q + 3q^{3} + 3q^{5} + 4q^{7} + O(q^{8})โˆ’ +

Hecke characteristic polynomials

The eigenvalue of T=T3+3T7T = T_{3} + 3T_{7} 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
680.2.a.axโˆ’5x - 5
680.2.a.bxx
680.2.a.cxโˆ’8x - 8
680.2.a.dx2+20x+88x^{2} + 20x + 88
680.2.a.ex2โˆ’8x^{2} - 8
680.2.a.fx3โˆ’x2โˆ’180x+208x^{3} - x^{2} - 180x + 208
680.2.a.gx3โˆ’19x2+1016x^{3} - 19x^{2} + 1016
680.2.a.hx3โˆ’15x2โˆ’28xโˆ’8x^{3} - 15x^{2} - 28x - 8

Dimensions

Newforms S2new(ฮ“0(680))S_{2}^{\mathrm{new}}(\Gamma_0(680))16
Old forms85
Cusp forms S2(ฮ“0(680))S_{2}(\Gamma_0(680))101
Eisenstein series E2(ฮ“0(680))E_{2}(\Gamma_0(680))15
Modular forms M2(ฮ“0(680))M_{2}(\Gamma_0(680))116

Decomposition of the old subspace

S2old(ฮ“0(680))=S_{2}^{\mathrm{old}}(\Gamma_0(680)) = S2new(ฮ“0(17))โŠ•8S_{2}^{\mathrm{new}}(\Gamma_0(17))^{\oplus 8} โŠ•\oplus S2new(ฮ“0(20))โŠ•4S_{2}^{\mathrm{new}}(\Gamma_0(20))^{\oplus 4} โŠ•\oplus S2new(ฮ“0(34))โŠ•6S_{2}^{\mathrm{new}}(\Gamma_0(34))^{\oplus 6} โŠ•\oplus S2new(ฮ“0(40))โŠ•2S_{2}^{\mathrm{new}}(\Gamma_0(40))^{\oplus 2} โŠ•\oplus S2new(ฮ“0(68))โŠ•4S_{2}^{\mathrm{new}}(\Gamma_0(68))^{\oplus 4} โŠ•\oplus S2new(ฮ“0(85))โŠ•4S_{2}^{\mathrm{new}}(\Gamma_0(85))^{\oplus 4} โŠ•\oplus S2new(ฮ“0(136))โŠ•2S_{2}^{\mathrm{new}}(\Gamma_0(136))^{\oplus 2} โŠ•\oplus S2new(ฮ“0(170))โŠ•3S_{2}^{\mathrm{new}}(\Gamma_0(170))^{\oplus 3} โŠ•\oplus S2new(ฮ“0(340))โŠ•2S_{2}^{\mathrm{new}}(\Gamma_0(340))^{\oplus 2}

Provenance

Stored in the atlas: computed by Sagebrush's modular symbols engine in 0.404 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, 5, 8, 10, 17, 20, 34, 40, 68, 85, 136, 170, 340, 680]: [0, 1, 2, 1, 3, 3, 2, 6, 6, 10, 12, 10, 22, 30, 60, 116] (certified at ell = 2147483489)
  • T = [(3, 1), (7, 3)]; h of degree 16 = 1 x 16 (phi(ord eps) x dim S_k^new); 3 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(680, 2)

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

cargo run --release -p sagebrush-web --example atlas -- 680:2 1000

โ† 679.2.a ยท 681.2.a โ†’