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

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

Newforms

LabelDimCoefficient fieldTrace formAL signsSignCMElliptic curve
379.2.a.a13degree 13 13qโˆ’5q2โˆ’5q3+9q4โˆ’20q5โˆ’8q6โˆ’3q7+O(q8)13q - 5q^{2} - 5q^{3} + 9q^{4} - 20q^{5} - 8q^{6} - 3q^{7} + O(q^{8})+โˆ’1-1
379.2.a.b18degree 18 18q+3q2+q3+17q4+22q5+8q6+q7+O(q8)18q + 3q^{2} + q^{3} + 17q^{4} + 22q^{5} + 8q^{6} + q^{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
379.2.a.ax13+10x12+19x11โˆ’82x10โˆ’253x9+207x8+878x7โˆ’318x6โˆ’1180x5+383x4+499x3โˆ’130x2โˆ’37x+1x^{13} + 10x^{12} + 19x^{11} - 82x^{10} - 253x^{9} + 207x^{8} + 878x^{7} - 318x^{6} - 1180x^{5} + 383x^{4} + 499x^{3} - 130x^{2} - 37x + 1
379.2.a.bx18โˆ’4x17โˆ’64x16+278x15+1448x14โˆ’7045x13โˆ’14011x12+82429x11+58010x10โˆ’494437x9โˆ’49143x8+1529365x7โˆ’295872x6โˆ’2184929x5+631519x4+990787x3โˆ’103546x2โˆ’144136xโˆ’12488x^{18} - 4x^{17} - 64x^{16} + 278x^{15} + 1448x^{14} - 7045x^{13} - 14011x^{12} + 82429x^{11} + 58010x^{10} - 494437x^{9} - 49143x^{8} + 1529365x^{7} - 295872x^{6} - 2184929x^{5} + 631519x^{4} + 990787x^{3} - 103546x^{2} - 144136x - 12488

Dimensions

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

Decomposition of the old subspace

The old subspace is 0.

Provenance

Stored in the atlas: computed by Sagebrush's modular symbols engine in 0.181 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, 379]: [0, 32] (certified at ell = 2147481883)
  • T = [(2, 1), (3, 1)]; h of degree 31 = 1 x 31 (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(379, 2)

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

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

โ† 378.2.a ยท 380.2.a โ†’