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

About 8 years old · traced to

Let p≥5p\geq5 be prime with p≠Np\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)=Resultant⁡X[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ε(Y−256)νVp(2∗)(Y)=(Y+144)2δ(Y−648)ε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δ(Y−108)δVp(3∗)(Y)=(Y+192)2δ(Y2−576Y−1728)ε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}, (Y2−44Y−16)μ5Vp(5∗)(Y)=(Y2+216Y+144)2δ(Y2−540Y−6480)ε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(Y−27)μ7Vp(7∗)(Y)=(Y2+224Y+448)2δ(Y4−528Y3−9024Y2−5120Y−1728)ε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.

References

Primary source

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

Progress summary

Never refreshed

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

Solutions 0

No solutions have been posted yet.