Let l>7 be prime with l≡1,6(mod7). Let H^7,l(x) be the Hasse-invariant polynomial, and let N2 count irreducible quadratic factors x2+ax+b dividing it modulo l and satisfying B(a,b)≡0(modl), where
B(x,y)=x3+(−5y+8)x2+(−8y2+6y+5)x−y3−5y2+8y−1.
Equivalently, a≡(α−1)b−α(modl) for some root α∈Fl of x3−8x2+5x+1≡0(modl). Conjectural quadratic-factor formula. If l≡1(mod7), then
The claim gives a class-number formula for this constrained family of irreducible quadratic factors.
References
Primary source
Patrick Morton, “The Hasse invariant of the Tate normal form E_7 and the supersingular polynomial for the Fricke group Γ_0^*(7)”, arXiv:2206.09801 (2023).