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

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

Newforms

LabelDimCoefficient fieldTrace formAL signsSignCMElliptic curve
308.2.a.a1Q\mathbb{Q} qโˆ’q3โˆ’q5โˆ’q7+O(q8)q - q^{3} - q^{5} - q^{7} + O(q^{8})+ โˆ’ 308a1 rank 1
308.2.a.b2Q(6)\mathbb{Q}(\sqrt{6}) 2q+4q5โˆ’2q7+O(q8)2q + 4q^{5} - 2q^{7} + O(q^{8})+ +
308.2.a.c3degree 3 3qโˆ’q3โˆ’q5+3q7+O(q8)3q - q^{3} - q^{5} + 3q^{7} + O(q^{8})โˆ’ โˆ’

Hecke characteristic polynomials

The eigenvalue of T=T3+2T5+3T13+4T17+5T19+6T23+7T29+8T31T = T_{3} + 2T_{5} + 3T_{13} + 4T_{17} + 5T_{19} + 6T_{23} + 7T_{29} + 8T_{31} 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
308.2.a.ax+37x + 37
308.2.a.bx2โˆ’120x+3384x^{2} - 120x + 3384
308.2.a.cx3+41x2โˆ’2776x+12336x^{3} + 41x^{2} - 2776x + 12336

Dimensions

Newforms S2new(ฮ“0(308))S_{2}^{\mathrm{new}}(\Gamma_0(308))6
Old forms37
Cusp forms S2(ฮ“0(308))S_{2}(\Gamma_0(308))43
Eisenstein series E2(ฮ“0(308))E_{2}(\Gamma_0(308))11
Modular forms M2(ฮ“0(308))M_{2}(\Gamma_0(308))54

Decomposition of the old subspace

S2old(ฮ“0(308))=S_{2}^{\mathrm{old}}(\Gamma_0(308)) = S2new(ฮ“0(11))โŠ•6S_{2}^{\mathrm{new}}(\Gamma_0(11))^{\oplus 6} โŠ•\oplus S2new(ฮ“0(14))โŠ•4S_{2}^{\mathrm{new}}(\Gamma_0(14))^{\oplus 4} โŠ•\oplus S2new(ฮ“0(44))โŠ•2S_{2}^{\mathrm{new}}(\Gamma_0(44))^{\oplus 2} โŠ•\oplus S2new(ฮ“0(77))โŠ•3S_{2}^{\mathrm{new}}(\Gamma_0(77))^{\oplus 3} โŠ•\oplus S2new(ฮ“0(154))โŠ•2S_{2}^{\mathrm{new}}(\Gamma_0(154))^{\oplus 2}

Provenance

Stored in the atlas: computed by Sagebrush's modular symbols engine in 0.269 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, 7, 11, 14, 22, 28, 44, 77, 154, 308]: [0, 1, 2, 1, 2, 4, 5, 7, 9, 10, 28, 54] (certified at ell = 2147482951)
  • T = [(3, 1), (5, 2), (13, 3), (17, 4), (19, 5), (23, 6), (29, 7), (31, 8)]; h of degree 6 = 1 x 6 (phi(ord eps) x dim S_k^new); 2 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(308, 2)

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

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

โ† 307.2.a ยท 309.2.a โ†’