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

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

Newforms

LabelDimCoefficient fieldTrace formAL signsSignCMElliptic curve
975.2.a.a1Q\mathbb{Q} qโˆ’2q2โˆ’q3+2q4+2q6+q7+O(q8)q - 2q^{2} - q^{3} + 2q^{4} + 2q^{6} + q^{7} + O(q^{8})+ โˆ’ 975d1 rank 0
975.2.a.b1Q\mathbb{Q} qโˆ’2q2โˆ’q3+2q4+2q6+3q7+O(q8)q - 2q^{2} - q^{3} + 2q^{4} + 2q^{6} + 3q^{7} + O(q^{8})+ + 975b1 rank 1
975.2.a.c1Q\mathbb{Q} qโˆ’2q2+q3+2q4โˆ’2q6โˆ’3q7+O(q8)q - 2q^{2} + q^{3} + 2q^{4} - 2q^{6} - 3q^{7} + O(q^{8})โˆ’ โˆ’ 975i1 rank 1
975.2.a.d1Q\mathbb{Q} qโˆ’q2โˆ’q3โˆ’q4+q6+3q7+O(q8)q - q^{2} - q^{3} - q^{4} + q^{6} + 3q^{7} + O(q^{8})+ + 975e1 rank 0
975.2.a.e1Q\mathbb{Q} qโˆ’q2+q3โˆ’q4โˆ’q6โˆ’q7+O(q8)q - q^{2} + q^{3} - q^{4} - q^{6} - q^{7} + O(q^{8})โˆ’ + 975k1 rank 1
975.2.a.f1Q\mathbb{Q} qโˆ’q2+q3โˆ’q4โˆ’q6+4q7+O(q8)q - q^{2} + q^{3} - q^{4} - q^{6} + 4q^{7} + O(q^{8})โˆ’ + 975g1 rank 0
975.2.a.g1Q\mathbb{Q} qโˆ’q3โˆ’2q4+q7+O(q8)q - q^{3} - 2q^{4} + q^{7} + O(q^{8})+ โˆ’ 975f1 rank 1
975.2.a.h1Q\mathbb{Q} q+q3โˆ’2q4โˆ’q7+O(q8)q + q^{3} - 2q^{4} - q^{7} + O(q^{8})โˆ’ + 975j1 rank 1
975.2.a.i1Q\mathbb{Q} q+q2โˆ’q3โˆ’q4โˆ’q6+O(q8)q + q^{2} - q^{3} - q^{4} - q^{6} + O(q^{8})+ + 975a1 rank 1
975.2.a.j1Q\mathbb{Q} q+q2โˆ’q3โˆ’q4โˆ’q6+q7+O(q8)q + q^{2} - q^{3} - q^{4} - q^{6} + q^{7} + O(q^{8})+ โˆ’ 975c1 rank 0
975.2.a.k1Q\mathbb{Q} q+q2+q3โˆ’q4+q6โˆ’3q7+O(q8)q + q^{2} + q^{3} - q^{4} + q^{6} - 3q^{7} + O(q^{8})โˆ’ โˆ’ 975h1 rank 1
975.2.a.l2Q(2)\mathbb{Q}(\sqrt{2}) 2q+2q2โˆ’2q3+2q4โˆ’2q6+O(q8)2q + 2q^{2} - 2q^{3} + 2q^{4} - 2q^{6} + O(q^{8})+ โˆ’
975.2.a.m3degree 3 3qโˆ’3q2โˆ’3q3+5q4+3q6+q7+O(q8)3q - 3q^{2} - 3q^{3} + 5q^{4} + 3q^{6} + q^{7} + O(q^{8})+ โˆ’
975.2.a.n3degree 3 3qโˆ’q2โˆ’3q3+5q4+q6โˆ’5q7+O(q8)3q - q^{2} - 3q^{3} + 5q^{4} + q^{6} - 5q^{7} + O(q^{8})+ +
975.2.a.o3degree 3 3q+3q3+8q4โˆ’q7+O(q8)3q + 3q^{3} + 8q^{4} - q^{7} + O(q^{8})โˆ’ +
975.2.a.p3degree 3 3q+q2+3q3+5q4+q6+5q7+O(q8)3q + q^{2} + 3q^{3} + 5q^{4} + q^{6} + 5q^{7} + O(q^{8})โˆ’ โˆ’
975.2.a.q3degree 3 3q+3q2+3q3+5q4+3q6โˆ’q7+O(q8)3q + 3q^{2} + 3q^{3} + 5q^{4} + 3q^{6} - q^{7} + O(q^{8})โˆ’ +
975.2.a.r5degree 5 5qโˆ’5q3+6q4โˆ’5q7+O(q8)5q - 5q^{3} + 6q^{4} - 5q^{7} + O(q^{8})+ +
975.2.a.s5degree 5 5q+5q3+6q4+5q7+O(q8)5q + 5q^{3} + 6q^{4} + 5q^{7} + O(q^{8})โˆ’ โˆ’

Hecke characteristic polynomials

The eigenvalue of T=T2+2T7+3T11+4T17+5T19+6T23+7T29+8T31T = T_{2} + 2T_{7} + 3T_{11} + 4T_{17} + 5T_{19} + 6T_{23} + 7T_{29} + 8T_{31} 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
975.2.a.axโˆ’25x - 25
975.2.a.bxโˆ’39x - 39
975.2.a.cx+61x + 61
975.2.a.dxโˆ’13x - 13
975.2.a.ex+7x + 7
975.2.a.fx+27x + 27
975.2.a.gx+87x + 87
975.2.a.hx+135x + 135
975.2.a.ix+141x + 141
975.2.a.jxโˆ’55x - 55
975.2.a.kx+37x + 37
975.2.a.lx2+14xโˆ’401x^{2} + 14x - 401
975.2.a.mx3+101x2โˆ’1933xโˆ’146137x^{3} + 101x^{2} - 1933x - 146137
975.2.a.nx3+71x2โˆ’4461xโˆ’311427x^{3} + 71x^{2} - 4461x - 311427
975.2.a.ox3โˆ’251x2+16299xโˆ’69841x^{3} - 251x^{2} + 16299x - 69841
975.2.a.px3โˆ’55x2โˆ’2021x+68667x^{3} - 55x^{2} - 2021x + 68667
975.2.a.qx3โˆ’53x2โˆ’11757x+769145x^{3} - 53x^{2} - 11757x + 769145
975.2.a.rx5โˆ’259x4+13480x3+355284x2โˆ’19408271xโˆ’338011087x^{5} - 259x^{4} + 13480x^{3} + 355284x^{2} - 19408271x - 338011087
975.2.a.sx5โˆ’155x4+1320x3+734892x2โˆ’32070391x+230909257x^{5} - 155x^{4} + 1320x^{3} + 734892x^{2} - 32070391x + 230909257

Dimensions

Newforms S2new(ฮ“0(975))S_{2}^{\mathrm{new}}(\Gamma_0(975))38
Old forms91
Cusp forms S2(ฮ“0(975))S_{2}(\Gamma_0(975))129
Eisenstein series E2(ฮ“0(975))E_{2}(\Gamma_0(975))23
Modular forms M2(ฮ“0(975))M_{2}(\Gamma_0(975))152

Decomposition of the old subspace

S2old(ฮ“0(975))=S_{2}^{\mathrm{old}}(\Gamma_0(975)) = S2new(ฮ“0(15))โŠ•4S_{2}^{\mathrm{new}}(\Gamma_0(15))^{\oplus 4} โŠ•\oplus S2new(ฮ“0(39))โŠ•3S_{2}^{\mathrm{new}}(\Gamma_0(39))^{\oplus 3} โŠ•\oplus S2new(ฮ“0(65))โŠ•4S_{2}^{\mathrm{new}}(\Gamma_0(65))^{\oplus 4} โŠ•\oplus S2new(ฮ“0(75))โŠ•2S_{2}^{\mathrm{new}}(\Gamma_0(75))^{\oplus 2} โŠ•\oplus S2new(ฮ“0(195))โŠ•2S_{2}^{\mathrm{new}}(\Gamma_0(195))^{\oplus 2} โŠ•\oplus S2new(ฮ“0(325))โŠ•2S_{2}^{\mathrm{new}}(\Gamma_0(325))^{\oplus 2}

Provenance

Stored in the atlas: computed by Sagebrush's modular symbols engine in 1.111 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, 3, 5, 13, 15, 25, 39, 65, 75, 195, 325, 975]: [0, 1, 1, 1, 4, 3, 6, 8, 12, 32, 36, 144] (certified at ell = 2147482921)
  • T = [(2, 1), (7, 2), (11, 3), (17, 4), (19, 5), (23, 6), (29, 7), (31, 8)]; h of degree 38 = 1 x 38 (phi(ord eps) x dim S_k^new); 11 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(975, 2)

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

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

โ† 974.2.a ยท 976.2.a โ†’