2
$\begingroup$

Does there exist an elliptic curve of positive rank such that the coordinate of all the points is bounded by some number? How many such curves exist (curves are considered the same if there is a birational map between them)? If finitely many, can you list all of them? If infinitely many, does there exist a constant, $C$, such that all rational points on all such curves are bounded by it? (For each curve choose the affine model with integer coefficients such that the bound on the points is minimized)

$\endgroup$
4
$\begingroup$

Note: In the previous version, I forgot the connectness and concluded that the boundness of $E(\mathbb{R})$ and $E(\mathbb{Q})$ is the same, which is a big mistake. So I correct the statement in this version.


If $E$ is an elliptic curve defined over $\mathbb{R}$, and $P\in E(\mathbb{R})$ is a point of infinite order, then the closure of $S:=\{ nP:n\in\mathbb{Z}\}$ in $E(\mathbb{R})$ is the connected components containing points in $S$, see this paper for the proof. Therefore, for an elliptic curve $E$ defined over $\mathbb{Q}$ with positive rank, the boundness of $E(\mathbb{Q})$ is closely related to the boundness of $E(\mathbb{R})$.

For instance, consider the elliptic curve $$J:\begin{cases}x^2+y^2=1\\7x^2+z^2=1\end{cases}$$ with the base point $O=(0,1,1)$. Then $P=(12/37,35/37,19/37)\in J(\mathbb{Q})$ has infinite order, but $J(\mathbb{Q})\subset J(\mathbb{R})$ is bounded in $[-1,1]^3$.

But the boundness of $E(\mathbb{R})$ is not birational invariant, neither is $E(\mathbb{Q})$. In fact, every elliptic curve has Weierstrass model, which can not be bounded. So $J$ and its Weierstrass model do not coincide in boundness. We could also say that every elliptic curve defined over $\mathbb{R}$ has unbounded model. Moreover, for a Weierstrass curve $E$ defined over $\mathbb{Q}$ with positive rank, since the identity component of $E(\mathbb{R})$ is unbounded, we know that $\overline{E(\mathbb{Q})}$ is unbounded, so is $E(\mathbb{Q})$.

On the other hand, for a Weierstrass curve $E:y^2=x^3+ax+b$ defined over $\mathbb{Q}$, the functions $t=1/(1+x^2),u=x/(1+x^2)$ and $v=y/(1+x^2)$ all have bounded values on $E(\mathbb{R})$, and $\iota:P\in E\mapsto(t(P),u(P),v(P))$ gives a birational map onto its image $$\iota(E):\begin{cases}u^2=t(1-t)\\v^2=u+(a-1)ut+bt^2\end{cases}$$ As $\iota(E(\mathbb{R}))$ is bounded, we can say that every Weierstrass curve (also every elliptic curve) has bounded model.

| cite | improve this answer | |
$\endgroup$
  • $\begingroup$ Nice! Can you explain a bit more about the divisor part? I know almost nothing about it. $\endgroup$ – i9Fn Aug 30 '17 at 7:48
  • $\begingroup$ @i9Fn Edited to give an explicit construction. There is no need to consider divisor now. $\endgroup$ – Mercury Aug 30 '17 at 12:44
  • $\begingroup$ @i9Fn A mistake is corrected. $\endgroup$ – Mercury Sep 8 '17 at 6:11

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

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