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

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

Newforms

LabelDimCoefficient fieldTrace formAL signsSignCMElliptic curve
376.2.a.a2Q(5)\mathbb{Q}(\sqrt{5}) 2qโˆ’q3โˆ’4q5+q7+O(q8)2q - q^{3} - 4q^{5} + q^{7} + O(q^{8})โˆ’
376.2.a.b2Q(5)\mathbb{Q}(\sqrt{5}) 2qโˆ’q3โˆ’2q5โˆ’3q7+O(q8)2q - q^{3} - 2q^{5} - 3q^{7} + O(q^{8})+
376.2.a.c4degree 4 4qโˆ’q3+4q5โˆ’3q7+O(q8)4q - q^{3} + 4q^{5} - 3q^{7} + O(q^{8})+
376.2.a.d4degree 4 4q+3q3+5q7+O(q8)4q + 3q^{3} + 5q^{7} + O(q^{8})โˆ’

Hecke characteristic polynomials

The eigenvalue of T=T3+3T5T = T_{3} + 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
376.2.a.ax2+13x+41x^{2} + 13x + 41
376.2.a.bx2+7xโˆ’19x^{2} + 7x - 19
376.2.a.cx4โˆ’11x3โˆ’69x2+554x+1516x^{4} - 11x^{3} - 69x^{2} + 554x + 1516
376.2.a.dx4โˆ’3x3โˆ’161x2+742xโˆ’554x^{4} - 3x^{3} - 161x^{2} + 742x - 554

Dimensions

Newforms S2new(ฮ“0(376))S_{2}^{\mathrm{new}}(\Gamma_0(376))12
Old forms33
Cusp forms S2(ฮ“0(376))S_{2}(\Gamma_0(376))45
Eisenstein series E2(ฮ“0(376))E_{2}(\Gamma_0(376))7
Modular forms M2(ฮ“0(376))M_{2}(\Gamma_0(376))52

Decomposition of the old subspace

S2old(ฮ“0(376))=S_{2}^{\mathrm{old}}(\Gamma_0(376)) = S2new(ฮ“0(47))โŠ•4S_{2}^{\mathrm{new}}(\Gamma_0(47))^{\oplus 4} โŠ•\oplus S2new(ฮ“0(94))โŠ•3S_{2}^{\mathrm{new}}(\Gamma_0(94))^{\oplus 3} โŠ•\oplus S2new(ฮ“0(188))โŠ•2S_{2}^{\mathrm{new}}(\Gamma_0(188))^{\oplus 2}

Provenance

Stored in the atlas: computed by Sagebrush's modular symbols engine in 0.293 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, 47, 94, 188, 376]: [0, 1, 2, 3, 5, 14, 27, 52] (certified at ell = 2147483137)
  • T = [(3, 1), (5, 3)]; h of degree 12 = 1 x 12 (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(376, 2)

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

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

โ† 375.2.a ยท 377.2.a โ†’