Distribution of point classes in Picard-group cosets for odd-degree hyperelliptic curves

Let KK) be the function field of a hyperelliptic curve XX of odd degree. Write

PicK/2PicK=Pic0K/2Pic0KZ2.\operatorname{Pic} K/2\operatorname{Pic} K=\operatorname{Pic}^0 K/2\operatorname{Pic}^0 K\oplus\mathbb{Z}_2.

For a point pX\mathfrak{p}\in X, let degp\deg\mathfrak{p} denote its degree and let its class in this quotient be understood via this decomposition. Distribution conjecture. There exists an integer N0NN_0\in\mathbb{N} such that, for every DPic0K/2Pic0K\mathfrak{D}\in\operatorname{Pic}^0 K/2\operatorname{Pic}^0 K and every integer n>N0n>N_0, there is a point pX\mathfrak{p}\in X with degp=n\deg\mathfrak{p}=n whose class in PicK/2PicK\operatorname{Pic} K/2\operatorname{Pic} K is (D,degpmod2)(\mathfrak{D},\deg\mathfrak{p}\bmod 2). Thus, from some degree onward, every coset contains the class of a point of each prescribed degree, subject only to the parity condition forced by the degree map.

Sources & referencesView supporting material

Primary source

A. Czogała, P. Koprowski and B. Rothkegel, “Wild and even points in global function fields”, arXiv:1501.06168 (2020).

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.