14-term arithmetic progressions on quartic elliptic curves.
We explicitly perform some steps of a 3-descent algorithm for the curves , a nonzero integer. In general this will enable us to bound the order of the 3-Selmer group of such curves.
Let be a number field. We consider a local-global principle for elliptic curves that admit (or do not admit) a rational isogeny of prime degree . For suitable (including ), we prove that this principle holds for all , and for , but find a counterexample when for an elliptic curve with -invariant . For we show that, up to isomorphism, this is the only counterexample.
We investigate a problem considered by Zagier and Elkies, of finding large integral points on elliptic curves. By writing down a generic polynomial solution and equating coefficients, we are led to suspect four extremal cases that still might have nondegenerate solutions. Each of these cases gives rise to a polynomial system of equations, the first being solved by Elkies in 1988 using the resultant methods of Macsyma, with there being a unique rational nondegenerate solution. For the second case...
We show that the number of squares in an arithmetic progression of length is at most , for certain absolute positive constants , . This improves the previous result of Bombieri, Granville and Pintz [1], where one had the exponent in place of our . The proof uses the same ideas as in [1], but introduces a substantial simplification by working only with elliptic curves rather than curves of genus as in [1].
Let be an elliptic curve defined over a number field, and let be a point of infinite order. It is natural to ask how many integers fail to occur as the order of modulo a prime of . For , a quadratic twist of , and as above, we show that there is at most one such .