๐ŸŒฟ Sagebrush Atlas
Atlas โ€บ Modular forms โ€บ Weight 10 โ€บ Level 11 โ€บ 11.10.a

Newspace 11.10.a: S10new(ฮ“0(11))S_{10}^{\mathrm{new}}(\Gamma_0(11))

Newforms

LabelDimCoefficient fieldTrace formAL signsSignCMElliptic curve
11.10.a.a3degree 3 3qโˆ’186q3+912q4โˆ’1824q5โˆ’10956q6โˆ’7260q7+O(q8)3q - 186q^{3} + 912q^{4} - 1824q^{5} - 10956q^{6} - 7260q^{7} + O(q^{8})+โˆ’1-1
11.10.a.b5degree 5 5q+16q2+112q3+708q4+1594q5+10378q6+8400q7+O(q8)5q + 16q^{2} + 112q^{3} + 708q^{4} + 1594q^{5} + 10378q^{6} + 8400q^{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
11.10.a.ax3+186x2โˆ’9771x+82744x^{3} + 186x^{2} - 9771x + 82744
11.10.a.bx5โˆ’128x4โˆ’90422x3+9377514x2+1528897329xโˆ’38333773422x^{5} - 128x^{4} - 90422x^{3} + 9377514x^{2} + 1528897329x - 38333773422

Dimensions

Newforms S10new(ฮ“0(11))S_{10}^{\mathrm{new}}(\Gamma_0(11))8
Old forms0
Cusp forms S10(ฮ“0(11))S_{10}(\Gamma_0(11))8
Eisenstein series E10(ฮ“0(11))E_{10}(\Gamma_0(11))2
Modular forms M10(ฮ“0(11))M_{10}(\Gamma_0(11))10

Decomposition of the old subspace

The old subspace is 0.

Provenance

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

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

cargo run --release -p sagebrush-web --example atlas -- 11:10 1000

โ† 10.10.a ยท 12.10.a โ†’