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

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

Newforms

LabelDimCoefficient fieldTrace formAL signsSignCMElliptic curve
305.2.a.a3degree 3 3qโˆ’3q5โˆ’6q6โˆ’6q7+O(q8)3q - 3q^{5} - 6q^{6} - 6q^{7} + O(q^{8})+ +โˆ’1-1
305.2.a.b4degree 4 4qโˆ’3q2โˆ’6q3+3q4+4q5+4q6โˆ’10q7+O(q8)4q - 3q^{2} - 6q^{3} + 3q^{4} + 4q^{5} + 4q^{6} - 10q^{7} + O(q^{8})โˆ’ โˆ’โˆ’1-1
305.2.a.c7degree 7 7qโˆ’2q2+12q4โˆ’7q5+12q7+O(q8)7q - 2q^{2} + 12q^{4} - 7q^{5} + 12q^{7} + O(q^{8})+ โˆ’+1+1
305.2.a.d7degree 7 7q+2q2+6q3+8q4+7q5โˆ’2q6+8q7+O(q8)7q + 2q^{2} + 6q^{3} + 8q^{4} + 7q^{5} - 2q^{6} + 8q^{7} + O(q^{8})โˆ’ ++1+1

Hecke characteristic polynomials

The eigenvalue of T=T2+3T3T = T_{2} + 3T_{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
305.2.a.ax3โˆ’12xโˆ’8x^{3} - 12x - 8
305.2.a.bx4+21x3+122x2+96xโˆ’568x^{4} + 21x^{3} + 122x^{2} + 96x - 568
305.2.a.cx7+2x6โˆ’146x5โˆ’148x4+6089x3โˆ’2766x2โˆ’69688x+91272x^{7} + 2x^{6} - 146x^{5} - 148x^{4} + 6089x^{3} - 2766x^{2} - 69688x + 91272
305.2.a.dx7โˆ’20x6+78x5+596x4โˆ’3671x3โˆ’3816x2+31292x+14584x^{7} - 20x^{6} + 78x^{5} + 596x^{4} - 3671x^{3} - 3816x^{2} + 31292x + 14584

Dimensions

Newforms S2new(ฮ“0(305))S_{2}^{\mathrm{new}}(\Gamma_0(305))21
Old forms8
Cusp forms S2(ฮ“0(305))S_{2}(\Gamma_0(305))29
Eisenstein series E2(ฮ“0(305))E_{2}(\Gamma_0(305))3
Modular forms M2(ฮ“0(305))M_{2}(\Gamma_0(305))32

Decomposition of the old subspace

S2old(ฮ“0(305))=S_{2}^{\mathrm{old}}(\Gamma_0(305)) = S2new(ฮ“0(61))โŠ•2S_{2}^{\mathrm{new}}(\Gamma_0(61))^{\oplus 2}

Provenance

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

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

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

โ† 304.2.a ยท 306.2.a โ†’