TY - JOUR

T1 - Division by on odd-degree hyperelliptic curves and their Jacobians

AU - Zarhin, Yu G.

N1 - Publisher Copyright:
© 2019 Russian Academy of Sciences (DoM), London Mathematical Society, Turpion Ltd.
Copyright:
Copyright 2019 Elsevier B.V., All rights reserved.

PY - 2019

Y1 - 2019

N2 - Let K be an algebraically closed field of characteristic different from 2, g a positive integer, f(x) a polynomial of degree 2g + 1 with coefficients in K and without multiple roots, C : Y2 = f(x) the corresponding hyperelliptic curve of genus g over K, and J its Jacobian. We identify C with the image of its canonical embedding in J (the infinite point of C goes to the identity element of J). It is well known that for every b ∈ J(K) there are exactly 22g elements a ∈ J(K) such that 2a = b. Stoll constructed an algorithm that provides the Mumford representations of all such a in terms of the Mumford representation of b. The aim of this paper is to give explicit formulae for the Mumford representations of all such a in terms of the coordinates a, b, where b ∈ J(K) is given by a point P = (a, b) ∈ C(K) ⊂ J(K). We also prove that if g > 1, then C(K) does not contain torsion points of orders between 3 and 2g.

AB - Let K be an algebraically closed field of characteristic different from 2, g a positive integer, f(x) a polynomial of degree 2g + 1 with coefficients in K and without multiple roots, C : Y2 = f(x) the corresponding hyperelliptic curve of genus g over K, and J its Jacobian. We identify C with the image of its canonical embedding in J (the infinite point of C goes to the identity element of J). It is well known that for every b ∈ J(K) there are exactly 22g elements a ∈ J(K) such that 2a = b. Stoll constructed an algorithm that provides the Mumford representations of all such a in terms of the Mumford representation of b. The aim of this paper is to give explicit formulae for the Mumford representations of all such a in terms of the coordinates a, b, where b ∈ J(K) is given by a point P = (a, b) ∈ C(K) ⊂ J(K). We also prove that if g > 1, then C(K) does not contain torsion points of orders between 3 and 2g.

UR - http://www.scopus.com/inward/record.url?scp=85070644965&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=85070644965&partnerID=8YFLogxK

U2 - 10.1070/IM8773

DO - 10.1070/IM8773

M3 - Article

AN - SCOPUS:85070644965

VL - 83

SP - 501

EP - 520

JO - Izvestiya Mathematics

JF - Izvestiya Mathematics

SN - 1064-5632

IS - 3

ER -