๐ŸŒฟ Sagebrush Atlas
Atlas โ€บ Modular forms โ€บ Weight 6 โ€บ Level 71 โ€บ 71.6.a

Newspace 71.6.a: S6new(ฮ“0(71))S_{6}^{\mathrm{new}}(\Gamma_0(71))

Newforms

LabelDimCoefficient fieldTrace formAL signsSignCMElliptic curve
71.6.a.a11degree 11 11qโˆ’4q2โˆ’20q3+122q4โˆ’72q5โˆ’306q6โˆ’344q7+O(q8)11q - 4q^{2} - 20q^{3} + 122q^{4} - 72q^{5} - 306q^{6} - 344q^{7} + O(q^{8})+โˆ’1-1
71.6.a.b18degree 18 18q+4q2+16q3+346q4+128q5+126q6+244q7+O(q8)18q + 4q^{2} + 16q^{3} + 346q^{4} + 128q^{5} + 126q^{6} + 244q^{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
71.6.a.ax11+24x10โˆ’1030x9โˆ’16930x8+383751x7+2709140x6โˆ’42552857x5โˆ’157493648x4+1534157675x3+1869051958x2โˆ’15245941404x+13837652904x^{11} + 24x^{10} - 1030x^{9} - 16930x^{8} + 383751x^{7} + 2709140x^{6} - 42552857x^{5} - 157493648x^{4} + 1534157675x^{3} + 1869051958x^{2} - 15245941404x + 13837652904
71.6.a.bx18โˆ’20x17โˆ’3475x16+55689x15+5077140x14โˆ’59891592x13โˆ’4094666944x12+30287285719x11+1995247417901x10โˆ’6113372814109x9โˆ’594106892145206x8โˆ’572969120151493x7+101827025468568239x6+469839682394350254x5โˆ’8263202611846021008x4โˆ’68766056795622286584x3+114794575258393730880x2+2510100582181768929600x+6366234786642469224000x^{18} - 20x^{17} - 3475x^{16} + 55689x^{15} + 5077140x^{14} - 59891592x^{13} - 4094666944x^{12} + 30287285719x^{11} + 1995247417901x^{10} - 6113372814109x^{9} - 594106892145206x^{8} - 572969120151493x^{7} + 101827025468568239x^{6} + 469839682394350254x^{5} - 8263202611846021008x^{4} - 68766056795622286584x^{3} + 114794575258393730880x^{2} + 2510100582181768929600x + 6366234786642469224000

Dimensions

Newforms S6new(ฮ“0(71))S_{6}^{\mathrm{new}}(\Gamma_0(71))29
Old forms0
Cusp forms S6(ฮ“0(71))S_{6}(\Gamma_0(71))29
Eisenstein series E6(ฮ“0(71))E_{6}(\Gamma_0(71))2
Modular forms M6(ฮ“0(71))M_{6}(\Gamma_0(71))31

Decomposition of the old subspace

The old subspace is 0.

Provenance

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

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

cargo run --release -p sagebrush-web --example atlas -- 71:6 1000

โ† 70.6.a ยท 72.6.a โ†’