๐ŸŒฟ Sagebrush Atlas
Atlas โ€บ Modular forms โ€บ Weight 10 โ€บ Level 29 โ€บ 29.10.a

Newspace 29.10.a: S10new(ฮ“0(29))S_{10}^{\mathrm{new}}(\Gamma_0(29))

Newforms

LabelDimCoefficient fieldTrace formAL signsSignCMElliptic curve
29.10.a.a9degree 9 9qโˆ’244q3+1194q4โˆ’738q5โˆ’2330q6โˆ’7128q7+O(q8)9q - 244q^{3} + 1194q^{4} - 738q^{5} - 2330q^{6} - 7128q^{7} + O(q^{8})+โˆ’1-1
29.10.a.b12degree 12 12q+16q2+242q3+3498q4+1762q5+5446q6+12080q7+O(q8)12q + 16q^{2} + 242q^{3} + 3498q^{4} + 1762q^{5} + 5446q^{6} + 12080q^{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
29.10.a.ax9+244x8โˆ’75885x7โˆ’15893670x6+2188254679x5+298460397160x4โˆ’24455930684547x3โˆ’1131583192745078x2+4771480185165784x+43851759845977856x^{9} + 244x^{8} - 75885x^{7} - 15893670x^{6} + 2188254679x^{5} + 298460397160x^{4} - 24455930684547x^{3} - 1131583192745078x^{2} + 4771480185165784x + 43851759845977856
29.10.a.bx12โˆ’258x11โˆ’116596x10+27201108x9+5306688394x8โˆ’998994873488x7โˆ’123013940482576x6+15800217471906180x5+1514193085561310445x4โˆ’99305259061604545550x3โˆ’8618670563607879603300x2+127588494093131623077000x+11170825094960211961980000x^{12} - 258x^{11} - 116596x^{10} + 27201108x^{9} + 5306688394x^{8} - 998994873488x^{7} - 123013940482576x^{6} + 15800217471906180x^{5} + 1514193085561310445x^{4} - 99305259061604545550x^{3} - 8618670563607879603300x^{2} + 127588494093131623077000x + 11170825094960211961980000

Dimensions

Newforms S10new(ฮ“0(29))S_{10}^{\mathrm{new}}(\Gamma_0(29))21
Old forms0
Cusp forms S10(ฮ“0(29))S_{10}(\Gamma_0(29))21
Eisenstein series E10(ฮ“0(29))E_{10}(\Gamma_0(29))2
Modular forms M10(ฮ“0(29))M_{10}(\Gamma_0(29))23

Decomposition of the old subspace

The old subspace is 0.

Provenance

Stored in the atlas: computed by Sagebrush's modular symbols engine in 0.308 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, 29]: [1, 23] (certified at ell = 2147483549)
  • T = [(2, 1), (3, 1)]; h of degree 21 = 1 x 21 (phi(ord eps) x dim S_k^new); 6 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(29, 10)

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

cargo run --release -p sagebrush-web --example atlas -- 29:10 1000

โ† 28.10.a ยท 30.10.a โ†’