2
$\begingroup$

For an elliptic curve $E$ over $\mathbb{Q}$, it is well-known that the torsion points on $E$ are integral points.

Then, is it possible that there exists an example whose all of non-torsion rational points (or all of points of a subgroup of $E_{free}(\mathbb{Q}$)) are integral points (of course, with respect to affine coordinate)?

I never think that there is such an example and maybe it is a stupid question.

$\endgroup$
4
  • 2
    $\begingroup$ Torsion points need not be integral, check $E: y^2 = x^{3} - \frac{1}{9} x$ $\endgroup$
    – joro
    Jun 23, 2016 at 12:23
  • 3
    $\begingroup$ Just to be obnoxious: If $E(\mathbb{Q})$ is trivial, this is true. $\endgroup$ Jun 23, 2016 at 13:23
  • 2
    $\begingroup$ @joro Usually one assumes that the equation is given in minimal Weierstrass form. Otherwise as you've noted, it's easy to introduce denominators. However, even for minimal equations, it's possible for there to be a 2-torsion point whose $x$-coordinate has a 4 in the denominator (and that's the only non-integral possibility). $\endgroup$ Jun 23, 2016 at 15:30
  • 1
    $\begingroup$ @DavidSpeyer You could extend you "obnoxiousness" to the case that $E(\mathbb Q)$ is finite! :) $\endgroup$ Jun 23, 2016 at 15:30

2 Answers 2

7
$\begingroup$

It’s not possible for a much simpler reason than Siegel’s Theorem. Let $p$ be a prime of good reduction, and $\tilde X$ the reduction mod $p$ of your putative integral nontorsion point. Since $\tilde X$ is a torsion point mod $p$, say $[n](\tilde X)=\mathbb O$, the neutral point. Then $[n](X))$ is in the $p$-neighborhood of the neutral point, i.e. has $p$ in the denominator of its coordinates.

$\endgroup$
3
$\begingroup$

This is not possible for a nontrivial subgroup of the free part of $E(\mathbf Q)$, because of Siegel's theorem.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.