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

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

Newforms

LabelDimCoefficient fieldTrace formAL signsSignCMElliptic curve
103.2.a.a2Q(5)\mathbb{Q}(\sqrt{5}) 2qโˆ’3q2โˆ’2q3+3q4โˆ’3q5+3q6โˆ’2q7+O(q8)2q - 3q^{2} - 2q^{3} + 3q^{4} - 3q^{5} + 3q^{6} - 2q^{7} + O(q^{8})+โˆ’1-1
103.2.a.b6degree 6 6q+4q2+6q4+3q5โˆ’3q6โˆ’2q7+O(q8)6q + 4q^{2} + 6q^{4} + 3q^{5} - 3q^{6} - 2q^{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
103.2.a.ax2+5x+5x^{2} + 5x + 5
103.2.a.bx6โˆ’4x5โˆ’11x4+61x3โˆ’67x2+22xโˆ’1x^{6} - 4x^{5} - 11x^{4} + 61x^{3} - 67x^{2} + 22x - 1

Dimensions

Newforms S2new(ฮ“0(103))S_{2}^{\mathrm{new}}(\Gamma_0(103))8
Old forms0
Cusp forms S2(ฮ“0(103))S_{2}(\Gamma_0(103))8
Eisenstein series E2(ฮ“0(103))E_{2}(\Gamma_0(103))1
Modular forms M2(ฮ“0(103))M_{2}(\Gamma_0(103))9

Decomposition of the old subspace

The old subspace is 0.

Provenance

Stored in the atlas: computed by Sagebrush's modular symbols engine in 0.157 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, 103]: [0, 9] (certified at ell = 2147482501)
  • T = [(2, 1), (3, 1)]; h of degree 8 = 1 x 8 (phi(ord eps) x dim S_k^new); 1 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(103, 2)

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

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

โ† 102.2.a ยท 104.2.a โ†’