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

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

Newforms

LabelDimCoefficient fieldTrace formAL signsSignCMElliptic curve
382.2.a.a3degree 3 3qโˆ’3q2โˆ’q3+3q4โˆ’4q5+q6โˆ’q7+O(q8)3q - 3q^{2} - q^{3} + 3q^{4} - 4q^{5} + q^{6} - q^{7} + O(q^{8})+ +โˆ’1-1
382.2.a.b3degree 3 3q+3q2โˆ’5q3+3q4โˆ’6q5โˆ’5q6โˆ’5q7+O(q8)3q + 3q^{2} - 5q^{3} + 3q^{4} - 6q^{5} - 5q^{6} - 5q^{7} + O(q^{8})โˆ’ โˆ’โˆ’1-1
382.2.a.c4degree 4 4q+4q2+3q3+4q4+4q5+3q6+q7+O(q8)4q + 4q^{2} + 3q^{3} + 4q^{4} + 4q^{5} + 3q^{6} + q^{7} + O(q^{8})โˆ’ ++1+1
382.2.a.d5degree 5 5qโˆ’5q2+3q3+5q4+8q5โˆ’3q6+q7+O(q8)5q - 5q^{2} + 3q^{3} + 5q^{4} + 8q^{5} - 3q^{6} + q^{7} + O(q^{8})+ โˆ’+1+1

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
382.2.a.ax3+5x2+4xโˆ’5x^{3} + 5x^{2} + 4x - 5
382.2.a.bx3+11x2+38x+41x^{3} + 11x^{2} + 38x + 41
382.2.a.cx4โˆ’7x3+12x2+xโˆ’2x^{4} - 7x^{3} + 12x^{2} + x - 2
382.2.a.dx5โˆ’11x4+28x3+27x2โˆ’144x+108x^{5} - 11x^{4} + 28x^{3} + 27x^{2} - 144x + 108

Dimensions

Newforms S2new(ฮ“0(382))S_{2}^{\mathrm{new}}(\Gamma_0(382))15
Old forms32
Cusp forms S2(ฮ“0(382))S_{2}(\Gamma_0(382))47
Eisenstein series E2(ฮ“0(382))E_{2}(\Gamma_0(382))3
Modular forms M2(ฮ“0(382))M_{2}(\Gamma_0(382))50

Decomposition of the old subspace

S2old(ฮ“0(382))=S_{2}^{\mathrm{old}}(\Gamma_0(382)) = S2new(ฮ“0(191))โŠ•2S_{2}^{\mathrm{new}}(\Gamma_0(191))^{\oplus 2}

Provenance

Stored in the atlas: computed by Sagebrush's modular symbols engine in 0.189 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, 191, 382]: [0, 1, 17, 50] (certified at ell = 2147483171)
  • T = [(3, 1), (5, 1)]; h of degree 15 = 1 x 15 (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(382, 2)

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

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

โ† 381.2.a ยท 383.2.a โ†’