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

From papers

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

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

Nontrivial-unit conjecture. If degg>degh\deg g>\deg h and h0h\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 g2hg^2\mid h. Its status is unresolved in the supplied source.

Progress summary

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Sources & referencesView supporting material

Primary source

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

Solutions 0

No solutions have been posted yet.