Resultant multiplicity conjecture for supersingular polynomials at levels 2, 3, 5 and 7

From papers

Let p5p\geq5 be prime with pNp\neq N. For each relevant level NN, let RN(X,Y)R_{N}(X,Y) be the algebraic relation used to define the modular parameter, and set

Vp(N)(Y)=ResultantX[ssp(X),RN(X,Y)].V_{p}^{(N*)}(Y)=\operatorname{Resultant}_{X}[ss_{p}(X),R_{N}(X,Y)].

Let δ\delta, ε\varepsilon, ν\nu, and μ5\mu_{5}, μ7\mu_{7} have the meanings used in the source.

Resultant multiplicity conjecture. The following congruences hold modulo pp:

Yε(Y256)νVp(2)(Y)=(Y+144)2δ(Y648)εssp(2)(Y)2,Y^{\varepsilon}(Y-256)^{\nu}V_{p}^{(2*)}(Y)=(Y+144)^{2\delta}(Y-648)^{\varepsilon}ss_{p}^{(2*)}(Y)^{2}, Yδ(Y108)δVp(3)(Y)=(Y+192)2δ(Y2576Y1728)εssp(3)(Y)2,Y^{\delta}(Y-108)^{\delta}V_{p}^{(3*)}(Y)=(Y+192)^{2\delta}(Y^{2}-576Y-1728)^{\varepsilon}ss_{p}^{(3*)}(Y)^{2}, (Y244Y16)μ5Vp(5)(Y)=(Y2+216Y+144)2δ(Y2540Y6480)εssp(5)(Y)2,(Y^{2}-44Y-16)^{\mu_{5}}V_{p}^{(5*)}(Y)=(Y^{2}+216Y+144)^{2\delta}(Y^{2}-540Y-6480)^{\varepsilon}ss_{p}^{(5*)}(Y)^{2}, (Y+1)μ7(Y27)μ7Vp(7)(Y)=(Y2+224Y+448)2δ(Y4528Y39024Y25120Y1728)εssp(7)(Y)2.(Y+1)^{\mu_{7}}(Y-27)^{\mu_{7}}V_{p}^{(7*)}(Y)=(Y^{2}+224Y+448)^{2\delta}(Y^{4}-528Y^{3}-9024Y^{2}-5120Y-1728)^{\varepsilon}ss_{p}^{(7*)}(Y)^{2}.

The conjecture predicts that the resultant has supersingular roots with multiplicity essentially two, apart from explicitly identified exceptional factors. The source gives no resolution evidence.

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

Tomoaki Nakaya, “The number of linear factors of supersingular polynomials and sporadic simple groups”, arXiv:1809.02363 (2018).

Solutions 0

No solutions have been posted yet.