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

Let Π17\Pi_{17} be the double cover of the Teichmüller curve W17H2/SL(O17O17)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 p2,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(J1)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.

Sources & referencesView supporting material

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.