Conjectural factor counts for the Hasse invariant of the Tate normal form E7E_7

From papers

Let l2,3,7l\neq 2,3,7 be prime. Let H^7,l(x)\hat H_{7,l}(x) be the Hasse-invariant polynomial of the Tate normal form E7E_7 over Fl\mathbb F_l, and let h(l)h(-l) be the relevant class number. Conjectural factor-count formulas. If l6(mod7)l\equiv6\pmod 7, the number N1N_1 of distinct linear factors dividing H^7,l(x)\hat H_{7,l}(x) is

N1={3h(l),l1(mod4),3(3(2l))h(l),l3(mod4).N_1=\begin{cases}3h(-l),&l\equiv1\pmod4,\\3\left(3-\left(\frac2l\right)\right)h(-l),&l\equiv3\pmod4.\end{cases}

If l3,5(mod7)l\equiv3,5\pmod7, the number N3N_3 of distinct irreducible cubic factors is

N3={h(l),l1(mod4),(3(2l))h(l),l3(mod4).N_3=\begin{cases}h(-l),&l\equiv1\pmod4,\left(3-\left(\frac2l\right)\right)h(-l),&l\equiv3\pmod4.\end{cases}

The first count is six times, and the second twice, the number of supersingular jj-invariants lying in Fl\mathbb F_l. These formulas were stated in the cited source as conjectures, although the surrounding paper says the first is proved later.

Progress summary

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Sources & referencesView supporting material

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).

Solutions 0

No solutions have been posted yet.