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

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

Newforms

LabelDimCoefficient fieldTrace formAL signsSignCMElliptic curve
383.2.a.a2Q(5)\mathbb{Q}(\sqrt{5}) 2qโˆ’q2โˆ’3q3โˆ’q4+q5+4q6โˆ’4q7+O(q8)2q - q^{2} - 3q^{3} - q^{4} + q^{5} + 4q^{6} - 4q^{7} + O(q^{8})+โˆ’1-1
383.2.a.b6degree 6 6qโˆ’3q2+q3+3q4โˆ’4q5โˆ’7q6โˆ’7q7+O(q8)6q - 3q^{2} + q^{3} + 3q^{4} - 4q^{5} - 7q^{6} - 7q^{7} + O(q^{8})+โˆ’1-1
383.2.a.c24degree 24 24q+5q2+2q3+29q4+3q5+q6+17q7+O(q8)24q + 5q^{2} + 2q^{3} + 29q^{4} + 3q^{5} + q^{6} + 17q^{7} + O(q^{8})โˆ’+1+1

Hecke characteristic polynomials

The eigenvalue of T=T2+T3T = T_{2} + T_{3} 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
383.2.a.ax2+4xโˆ’1x^{2} + 4x - 1
383.2.a.bx6+2x5โˆ’5x4โˆ’5x3+6x2+xโˆ’1x^{6} + 2x^{5} - 5x^{4} - 5x^{3} + 6x^{2} + x - 1
383.2.a.cx24โˆ’7x23โˆ’68x22+547x21+1699x20โˆ’17354x19โˆ’18019x18+295509x17+27978x16โˆ’2989084x15+1171334x14+18749018x13โˆ’11850892x12โˆ’74160017x11+52592868x10+185125453x9โˆ’123483693x8โˆ’283928163x7+152509261x6+247140619x5โˆ’86979981x4โˆ’99950623x3+15551343x2+9163522xโˆ’1592767x^{24} - 7x^{23} - 68x^{22} + 547x^{21} + 1699x^{20} - 17354x^{19} - 18019x^{18} + 295509x^{17} + 27978x^{16} - 2989084x^{15} + 1171334x^{14} + 18749018x^{13} - 11850892x^{12} - 74160017x^{11} + 52592868x^{10} + 185125453x^{9} - 123483693x^{8} - 283928163x^{7} + 152509261x^{6} + 247140619x^{5} - 86979981x^{4} - 99950623x^{3} + 15551343x^{2} + 9163522x - 1592767

Dimensions

Newforms S2new(ฮ“0(383))S_{2}^{\mathrm{new}}(\Gamma_0(383))32
Old forms0
Cusp forms S2(ฮ“0(383))S_{2}(\Gamma_0(383))32
Eisenstein series E2(ฮ“0(383))E_{2}(\Gamma_0(383))1
Modular forms M2(ฮ“0(383))M_{2}(\Gamma_0(383))33

Decomposition of the old subspace

The old subspace is 0.

Provenance

Stored in the atlas: computed by Sagebrush's modular symbols engine in 0.183 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, 383]: [0, 33] (certified at ell = 2147476031)
  • T = [(2, 1), (3, 1)]; h of degree 32 = 1 x 32 (phi(ord eps) x dim S_k^new); 4 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(383, 2)

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

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

โ† 382.2.a ยท 384.2.a โ†’