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

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

Newforms

LabelDimCoefficient fieldTrace formAL signsSignCMElliptic curve
351.2.a.a2Q(5)\mathbb{Q}(\sqrt{5}) 2qโˆ’q2โˆ’q4โˆ’3q5+O(q8)2q - q^{2} - q^{4} - 3q^{5} + O(q^{8})+
351.2.a.b2Q(13)\mathbb{Q}(\sqrt{13}) 2qโˆ’q2+3q4โˆ’5q5โˆ’2q7+O(q8)2q - q^{2} + 3q^{4} - 5q^{5} - 2q^{7} + O(q^{8})โˆ’
351.2.a.c2Q(5)\mathbb{Q}(\sqrt{5}) 2q+q2โˆ’q4+3q5+O(q8)2q + q^{2} - q^{4} + 3q^{5} + O(q^{8})+
351.2.a.d2Q(13)\mathbb{Q}(\sqrt{13}) 2q+q2+3q4+5q5โˆ’2q7+O(q8)2q + q^{2} + 3q^{4} + 5q^{5} - 2q^{7} + O(q^{8})โˆ’
351.2.a.e4degree 4 4q+6q4+8q7+O(q8)4q + 6q^{4} + 8q^{7} + O(q^{8})โˆ’
351.2.a.f4degree 4 4q+10q4+O(q8)4q + 10q^{4} + O(q^{8})+

Hecke characteristic polynomials

The eigenvalue of T=T2+3T5T = T_{2} + 3T_{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
351.2.a.ax2+10x+5x^{2} + 10x + 5
351.2.a.bx2+16x+51x^{2} + 16x + 51
351.2.a.cx2โˆ’10x+5x^{2} - 10x + 5
351.2.a.dx2โˆ’16x+51x^{2} - 16x + 51
351.2.a.ex4โˆ’145x2+363x^{4} - 145x^{2} + 363
351.2.a.fx4โˆ’195x2+475x^{4} - 195x^{2} + 475

Dimensions

Newforms S2new(ฮ“0(351))S_{2}^{\mathrm{new}}(\Gamma_0(351))16
Old forms21
Cusp forms S2(ฮ“0(351))S_{2}(\Gamma_0(351))37
Eisenstein series E2(ฮ“0(351))E_{2}(\Gamma_0(351))11
Modular forms M2(ฮ“0(351))M_{2}(\Gamma_0(351))48

Decomposition of the old subspace

S2old(ฮ“0(351))=S_{2}^{\mathrm{old}}(\Gamma_0(351)) = S2new(ฮ“0(27))โŠ•2S_{2}^{\mathrm{new}}(\Gamma_0(27))^{\oplus 2} โŠ•\oplus S2new(ฮ“0(39))โŠ•3S_{2}^{\mathrm{new}}(\Gamma_0(39))^{\oplus 3} โŠ•\oplus S2new(ฮ“0(117))โŠ•2S_{2}^{\mathrm{new}}(\Gamma_0(117))^{\oplus 2}

Provenance

Stored in the atlas: computed by Sagebrush's modular symbols engine in 0.203 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, 3, 9, 13, 27, 39, 117, 351]: [0, 1, 2, 1, 4, 6, 16, 44] (certified at ell = 2147483629)
  • T = [(2, 1), (5, 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(351, 2)

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

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

โ† 350.2.a ยท 352.2.a โ†’