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

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

Newforms

LabelDimCoefficient fieldTrace formAL signsSignCMElliptic curve
463.2.a.a16degree 16 16qโˆ’9q2โˆ’6q3+15q4โˆ’16q5โˆ’6q6โˆ’10q7+O(q8)16q - 9q^{2} - 6q^{3} + 15q^{4} - 16q^{5} - 6q^{6} - 10q^{7} + O(q^{8})+โˆ’1-1
463.2.a.b22degree 22 22q+8q2+4q3+22q4+14q5+2q7+O(q8)22q + 8q^{2} + 4q^{3} + 22q^{4} + 14q^{5} + 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
463.2.a.ax16+15x15+67x14โˆ’17x13โˆ’809x12โˆ’1174x11+3046x10+6996x9โˆ’3987x8โˆ’15289x7โˆ’515x6+13822x5+4961x4โˆ’3788x3โˆ’2744x2โˆ’573xโˆ’37x^{16} + 15x^{15} + 67x^{14} - 17x^{13} - 809x^{12} - 1174x^{11} + 3046x^{10} + 6996x^{9} - 3987x^{8} - 15289x^{7} - 515x^{6} + 13822x^{5} + 4961x^{4} - 3788x^{3} - 2744x^{2} - 573x - 37
463.2.a.bx22โˆ’12x21โˆ’9x20+618x19โˆ’1499x18โˆ’10987x17+45307x16+76458x15โˆ’531576x14โˆ’111388x13+3234394x12โˆ’1103715x11โˆ’11503686x10+5843232x9+25328786x8โˆ’11387828x7โˆ’34340702x6+9164589x5+26107615x4โˆ’2037034x3โˆ’9261860x2โˆ’403906x+953995x^{22} - 12x^{21} - 9x^{20} + 618x^{19} - 1499x^{18} - 10987x^{17} + 45307x^{16} + 76458x^{15} - 531576x^{14} - 111388x^{13} + 3234394x^{12} - 1103715x^{11} - 11503686x^{10} + 5843232x^{9} + 25328786x^{8} - 11387828x^{7} - 34340702x^{6} + 9164589x^{5} + 26107615x^{4} - 2037034x^{3} - 9261860x^{2} - 403906x + 953995

Dimensions

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

Decomposition of the old subspace

The old subspace is 0.

Provenance

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

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

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

โ† 462.2.a ยท 464.2.a โ†’