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

About 11 years old · traced to

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

Pic⁡K/2Pic⁡K=Pic⁡0K/2Pic⁡0K⊕Z2.\operatorname{Pic} K/2\operatorname{Pic} K=\operatorname{Pic}^0 K/2\operatorname{Pic}^0 K\oplus\mathbb{Z}_2.

For a point p∈X\mathfrak{p}\in X, let deg⁡p\deg\mathfrak{p} denote its degree and let its class in this quotient be understood via this decomposition. Distribution conjecture. There exists an integer N0∈NN_0\in\mathbb{N} such that, for every D∈Pic⁡0K/2Pic⁡0K\mathfrak{D}\in\operatorname{Pic}^0 K/2\operatorname{Pic}^0 K and every integer n>N0n>N_0, there is a point p∈X\mathfrak{p}\in X with deg⁡p=n\deg\mathfrak{p}=n whose class in Pic⁡K/2Pic⁡K\operatorname{Pic} K/2\operatorname{Pic} K is (D,deg⁡p mod 2)(\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.

References

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.