1
$\begingroup$

Could you please tell me what is the points of order 3 (or 6) Hon the elliptic curve $y^2=x^3+sx^2-x$ where $$s = -\frac{1}{432}\frac{(81k^8-2592k^4-6912)}{k^6}$$ and $k$ is rational?

$\endgroup$
1
  • 4
    $\begingroup$ And the context is? $\endgroup$ Commented Feb 26, 2014 at 0:53

1 Answer 1

4
$\begingroup$

Two points of order $6$ are $(-4/k^2, \pm (k^4+16)/k^5)$, and two points of order $3$ are $(k^2/4, \pm (1+k^4/16)/k)$.

This can be verified via the following Magma code, which can be used on the free Magma online calculator:

K<k>:=FunctionField(Rationals());
s:=-1/432*(81*k^8-2592*k^4-6912)/k^6;
E:=EllipticCurve([0,s,0,-1,0]);
A,f:=TorsionSubgroup(E);
P:=f(A.1);
for n in [1..6] do n,n*P; end for;

which outputs

1 (-4/k^2 : (-k^4 - 16)/k^5 : 1)
2 (1/4*k^2 : (1/16*k^4 + 1)/k : 1)
3 (0 : 0 : 1)
4 (1/4*k^2 : (-1/16*k^4 - 1)/k : 1)
5 (-4/k^2 : (k^4 + 16)/k^5 : 1)
6 (0 : 1 : 0)
$\endgroup$

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .