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

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

Newforms

LabelDimCoefficient fieldTrace formAL signsSignCMElliptic curve
541.2.a.a20degree 20 20qโˆ’5q2โˆ’12q3+15q4โˆ’17q5โˆ’11q6โˆ’6q7+O(q8)20q - 5q^{2} - 12q^{3} + 15q^{4} - 17q^{5} - 11q^{6} - 6q^{7} + O(q^{8})+โˆ’1-1
541.2.a.b24degree 24 24q+3q2+12q3+23q4+13q5+3q6+2q7+O(q8)24q + 3q^{2} + 12q^{3} + 23q^{4} + 13q^{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
541.2.a.ax20+17x19+91x18+12x17โˆ’1441x16โˆ’3371x15+6564x14+29408x13โˆ’2280x12โˆ’104894x11โˆ’58511x10+170965x9+159486x8โˆ’104570x7โˆ’156707x6โˆ’9880x5+51031x4+22880x3+1971x2โˆ’668xโˆ’113x^{20} + 17x^{19} + 91x^{18} + 12x^{17} - 1441x^{16} - 3371x^{15} + 6564x^{14} + 29408x^{13} - 2280x^{12} - 104894x^{11} - 58511x^{10} + 170965x^{9} + 159486x^{8} - 104570x^{7} - 156707x^{6} - 9880x^{5} + 51031x^{4} + 22880x^{3} + 1971x^{2} - 668x - 113
541.2.a.bx24โˆ’15x23+25x22+670x21โˆ’3356x20โˆ’7598x19+81291x18โˆ’40040x17โˆ’848951x16+1363815x15+4602215x14โˆ’11030071x13โˆ’14041686x12+45651880x11+25650428x10โˆ’110928997x9โˆ’31893401x8+163803892x7+34820968x6โˆ’142985306x5โˆ’34004996x4+66259308x3+20057265x2โˆ’12208382xโˆ’4548403x^{24} - 15x^{23} + 25x^{22} + 670x^{21} - 3356x^{20} - 7598x^{19} + 81291x^{18} - 40040x^{17} - 848951x^{16} + 1363815x^{15} + 4602215x^{14} - 11030071x^{13} - 14041686x^{12} + 45651880x^{11} + 25650428x^{10} - 110928997x^{9} - 31893401x^{8} + 163803892x^{7} + 34820968x^{6} - 142985306x^{5} - 34004996x^{4} + 66259308x^{3} + 20057265x^{2} - 12208382x - 4548403

Dimensions

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

Decomposition of the old subspace

The old subspace is 0.

Provenance

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

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

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

โ† 540.2.a ยท 542.2.a โ†’