Self-reciprocity conjecture for the partial Hasse polynomials of the double cover of W17W_{17}

Less than 1 year old · traced to

Let Π17\Pi_{17} be the double cover of the Teichmüller curve W17↪H2/SL(O17⊕O17∨)W_{17}\hookrightarrow\mathbb{H}^2/\mathrm{SL}(\mathcal{O}_{17}\oplus\mathcal{O}^{\vee}_{17}). For j∈{1,2}j\in\{1,2\} and every prime p≠2,17p\ne 2,17, let php,jΠ17(J)\mathrm{ph}^{\Pi_{17}}_{p,j}(J) be the corresponding partial Hasse polynomial, and let np,jn_{p,j} be the degree of php,j\mathrm{ph}_{p,j}. Self-reciprocity conjecture. The partial Hasse polynomials satisfy

php,jΠ17(J)=php,jΠ17(J−1)⋅Jnp,j.\mathrm{ph}^{\Pi_{17}}_{p,j}(J)=\mathrm{ph}^{\Pi_{17}}_{p,j}(J^{-1})\cdot J^{n_{p,j}}.

The conjecture asserts reciprocal symmetry for the partial Hasse polynomials in the computed degree-two cover of W17W_{17}. The source reports that this property holds in the cases computed and conjectures that it holds in general, but gives no proof or resolution.

References

Primary source

Gabriele Bogo and Yingkun Li, “Atkin polynomials for families of abelian varieties with real multiplication”, arXiv:2601.16944 (2026).

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.