Integral points on hyperelliptic curves (Q1005888)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Integral points on hyperelliptic curves
scientific article

    Statements

    Integral points on hyperelliptic curves (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    16 March 2009
    0 references
    Let \(C\) be a hyperelliptic curve defined by the equation \(Y^2 = f(X)\), where \(f(X)\) is an irreducible polynomial of \({\mathbb Z}[X]\) of degree \(\geq 5\). We denote by \(J\) the Jacobian of \(C\). Suppose that the following assertions are satisfied: (1) A rational point on \(C\) is known. (2) A Mordell-Weil basis for \(J( {\mathbb Q})\) is known. (3) The canonical height \(\hat{h} : J({\mathbb Q}) \rightarrow {\mathbb R} \) is explicitly computable and we have explicit bounds for the difference \[ \mu_1 \leq h(D)-\hat{h}(D) \leq \mu_1^{\prime}, \] where \(h\) is an appropriate normalized logarithmic height on \(J\). In the paper under review, the authors present a new method for explicitly computing the integral points of \(C\). Using the assumptions (1) and (2), they give a completely explicit upper bound for the integral points of \(C\). Next, under the assumption (3), they show that a combination of this bound with a powerful refinement of the Mordell-Weil sieve, is capable of determining all the integral points of \(C\). As an illustration of this method the authors determine the integral points of the hyperelliptic curves \(Y^2-Y = X^5-X\) and \({Y\choose 2} ={X\choose 5}\).
    0 references
    hyperelliptic curve
    0 references
    Jacobian
    0 references
    height
    0 references
    Mordell-Weil group
    0 references
    Mordell-Weil sieve
    0 references
    descent
    0 references

    Identifiers