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

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

Newforms

LabelDimCoefficient fieldTrace formAL signsSignCMElliptic curve
106.6.a.a4degree 4 4q+16q2โˆ’8q3+64q4โˆ’136q5โˆ’32q6โˆ’210q7+O(q8)4q + 16q^{2} - 8q^{3} + 64q^{4} - 136q^{5} - 32q^{6} - 210q^{7} + O(q^{8})โˆ’ โˆ’โˆ’1-1
106.6.a.b6degree 6 6qโˆ’24q2โˆ’17q3+96q4โˆ’86q5+68q6+74q7+O(q8)6q - 24q^{2} - 17q^{3} + 96q^{4} - 86q^{5} + 68q^{6} + 74q^{7} + O(q^{8})+ +โˆ’1-1
106.6.a.c6degree 6 6qโˆ’24q2+10q3+96q4+39q5โˆ’40q6โˆ’24q7+O(q8)6q - 24q^{2} + 10q^{3} + 96q^{4} + 39q^{5} - 40q^{6} - 24q^{7} + O(q^{8})+ โˆ’+1+1
106.6.a.d7degree 7 7q+28q2+19q3+112q4+89q5+76q6+84q7+O(q8)7q + 28q^{2} + 19q^{3} + 112q^{4} + 89q^{5} + 76q^{6} + 84q^{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
106.6.a.ax4+144x3+4062x2โˆ’81090x+280835x^{4} + 144x^{3} + 4062x^{2} - 81090x + 280835
106.6.a.bx6+103x5โˆ’8240x4โˆ’588246x3+2588603x2+336521963x+2872066508x^{6} + 103x^{5} - 8240x^{4} - 588246x^{3} + 2588603x^{2} + 336521963x + 2872066508
106.6.a.cx6โˆ’49x5โˆ’10932x4+527832x3+18282693x2โˆ’960677775x+9530914230x^{6} - 49x^{5} - 10932x^{4} + 527832x^{3} + 18282693x^{2} - 960677775x + 9530914230
106.6.a.dx7โˆ’108x6โˆ’15833x5+1674030x4+57050161x3โˆ’6782736930x2+34476336939x+2430502212540x^{7} - 108x^{6} - 15833x^{5} + 1674030x^{4} + 57050161x^{3} - 6782736930x^{2} + 34476336939x + 2430502212540

Dimensions

Newforms S6new(ฮ“0(106))S_{6}^{\mathrm{new}}(\Gamma_0(106))23
Old forms42
Cusp forms S6(ฮ“0(106))S_{6}(\Gamma_0(106))65
Eisenstein series E6(ฮ“0(106))E_{6}(\Gamma_0(106))4
Modular forms M6(ฮ“0(106))M_{6}(\Gamma_0(106))69

Decomposition of the old subspace

S6old(ฮ“0(106))=S_{6}^{\mathrm{old}}(\Gamma_0(106)) = S6new(ฮ“0(53))โŠ•2S_{6}^{\mathrm{new}}(\Gamma_0(53))^{\oplus 2}

Provenance

Stored in the atlas: computed by Sagebrush's modular symbols engine in 0.281 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, 53, 106]: [1, 2, 23, 69] (certified at ell = 2147483053)
  • T = [(3, 1), (5, 1)]; h of degree 23 = 1 x 23 (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(106, 6)

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

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

โ† 105.6.a ยท 107.6.a โ†’