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

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

Newforms

LabelDimCoefficient fieldTrace formAL signsSignCMElliptic curve
761.2.a.a2Q(5)\mathbb{Q}(\sqrt{5}) 2qโˆ’2q2+q3โˆ’2q4+q5โˆ’q6โˆ’3q7+O(q8)2q - 2q^{2} + q^{3} - 2q^{4} + q^{5} - q^{6} - 3q^{7} + O(q^{8})+โˆ’1-1
761.2.a.b20degree 20 20qโˆ’2q2โˆ’5q3+8q4โˆ’8q5โˆ’5q6โˆ’20q7+O(q8)20q - 2q^{2} - 5q^{3} + 8q^{4} - 8q^{5} - 5q^{6} - 20q^{7} + O(q^{8})+โˆ’1-1
761.2.a.c41degree 41 41q+3q2+4q3+59q4+3q5+27q7+O(q8)41q + 3q^{2} + 4q^{3} + 59q^{4} + 3q^{5} + 27q^{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
761.2.a.ax2+xโˆ’1x^{2} + x - 1
761.2.a.bx20+7x19โˆ’29x18โˆ’264x17+275x16+3850x15โˆ’1352x14โˆ’29147x13+8295x12+124580x11โˆ’56102x10โˆ’294495x9+202116x8+348759x7โˆ’340541x6โˆ’142767x5+233484x4โˆ’31191x3โˆ’32372x2+5136x+1753x^{20} + 7x^{19} - 29x^{18} - 264x^{17} + 275x^{16} + 3850x^{15} - 1352x^{14} - 29147x^{13} + 8295x^{12} + 124580x^{11} - 56102x^{10} - 294495x^{9} + 202116x^{8} + 348759x^{7} - 340541x^{6} - 142767x^{5} + 233484x^{4} - 31191x^{3} - 32372x^{2} + 5136x + 1753
761.2.a.cx41โˆ’7x40โˆ’134x39+1024x38+7615x37โˆ’65518x36โˆ’239484x35+2432883x34+4526946x33โˆ’58730097x32โˆ’51016422x31+979718856x30+280110902x29โˆ’11730892179x28+649741894x27+103374052167x26โˆ’24745829475x25โˆ’681132004250x24+213977973926x23+3382996941624x22โˆ’1053334721297x21โˆ’12673756488247x20+3234428292052x19+35566081848218x18โˆ’5908617440484x17โˆ’73656837641666x16+4545570935290x15+109936746229324x14+4805548616920x13โˆ’114308337205673x12โˆ’15936996253454x11+79017323572689x10+17216394676817x9โˆ’34120280319948x8โˆ’9338976785016x7+8514106590742x6+2580814418699x5โˆ’1113489866850x4โˆ’337776327640x3+63879820267x2+16502153740xโˆ’848766755x^{41} - 7x^{40} - 134x^{39} + 1024x^{38} + 7615x^{37} - 65518x^{36} - 239484x^{35} + 2432883x^{34} + 4526946x^{33} - 58730097x^{32} - 51016422x^{31} + 979718856x^{30} + 280110902x^{29} - 11730892179x^{28} + 649741894x^{27} + 103374052167x^{26} - 24745829475x^{25} - 681132004250x^{24} + 213977973926x^{23} + 3382996941624x^{22} - 1053334721297x^{21} - 12673756488247x^{20} + 3234428292052x^{19} + 35566081848218x^{18} - 5908617440484x^{17} - 73656837641666x^{16} + 4545570935290x^{15} + 109936746229324x^{14} + 4805548616920x^{13} - 114308337205673x^{12} - 15936996253454x^{11} + 79017323572689x^{10} + 17216394676817x^{9} - 34120280319948x^{8} - 9338976785016x^{7} + 8514106590742x^{6} + 2580814418699x^{5} - 1113489866850x^{4} - 337776327640x^{3} + 63879820267x^{2} + 16502153740x - 848766755

Dimensions

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

Decomposition of the old subspace

The old subspace is 0.

Provenance

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

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

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

โ† 760.2.a ยท 762.2.a โ†’