Halves of Points of an Odd Degree Hyperelliptic Curve in its Jacobian

From MaRDI portal
Publication:5164746



Abstract: Let f(x) be a degree (2g+1) monic polynomial with coefficients in an algebraically closed field K with char(K)e2 and without repeated roots. Let mathfrakRsubsetK be the (2g+1)-element set of roots of f(x). Let mathcalC:y2=f(x) be an odd degree genus g hyperelliptic curve over K. Let J be the jacobian of mathcalC and J[2]subsetJ(K) the (sub)group of its points of order dividing 2. We identify mathcalC with the image of its canonical embedding into J (the infinite point of mathcalC goes to the identity element of J). Let P=(a,b)inmathcalC(K)subsetJ(K) and M1/2,PsubsetJ(K) the set of halves of P in J(K), which is J[2]-torsor. In a previous work we established an explicit bijection between M1/2,P and the set of collections of square roots mathfrak{R}_{1/2,P}:={mathfrak{r}: mathfrak{R} o Kmid mathfrak{r}(alpha)^2=a-alpha forall alphainmathfrak{R}; prod_{alphainmathfrak{R}} mathfrak{r}(alpha)=-b}. The aim of this paper is to describe the induced action of J[2] on mathfrakR1/2,P (i.e., how signs of square roots mathfrakr(alpha)=sqrta−alpha should change).












This page was built for publication: Halves of Points of an Odd Degree Hyperelliptic Curve in its Jacobian

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5164746)