Nontrivial units for Type 3 hyperelliptic curves over F2\mathbb{F}_2

About 3 years old · traced to

Let g,h∈F⁡2[x]g,h\in\operatorname{\mathbb{F}}_2[x] define a Type 3 minimal representative with h≠0h\ne 0, so that deg⁡g>deg⁡h\deg g>\deg h. The associated coordinate ring is

R=F⁡2[x,y]/(y2+gy+h).R=\operatorname{\mathbb{F}}_2[x,y]/(y^2+gy+h).

Nontrivial-unit conjecture. If deg⁡g>deg⁡h\deg g>\deg h and h≠0h\ne 0, then

R×≠{1}.R^\times\ne\{1\}.

This conjecture concerns the final untreated case of Type 3 minimal representatives; the preceding results handle the case h=0h=0 and establish triviality in the case g2∣hg^2\mid h. Its status is unresolved in the supplied source.

References

Primary source

Justin Chen and Vishal Muthuvel, “Units of hyperelliptic curves over F_2”, arXiv:2306.04838 (2023).

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.