Sequences associated to elliptic curves with non-cyclic torsion subgroup

Abstract

Let $E$ be an elliptic curve defined over $K$ given by a Weierstrass equation and let $P=(x,y)\in E(K)$ be a point. Then for each $n$ $\geq 1$ we can write the $x$- and $y$-coordinates of the point $[n]P$ as
\[ [n]P=\left( \frac{G_{n}(P)}{F_{n}^{2}(P)},\frac{H_{n}(P)}{F_{n}^{3}(P)}\right)\]
where $F_{n}$, $G_{n}$, and $H_{n}\in K[x,y]$ are division polynomials of $E$. In this work we give explicit formulas for sequences
\[(F_{n}(P))_{n\geq 0},\,(G_{n}(P))_{n\geq 0},\,\text{and}\,(H_{n}(P))_{n\geq 0}\]
associated to an elliptic curve $E$ defined over $\mathbb{Q}$ with non-cyclic torsion subgroup. As applications we give similar formulas for elliptic divisibility sequences associated to elliptic curves with non-cyclic torsion subgroup and determine square terms in these sequences.

Keywords

• Elliptic curves
• division polynomials
• elliptic divisibility sequences

References

1. [1] M. Ayad, Périodicité (mod q) des suites elliptiques et points S-entiers sur les courbes elliptiques, Ann. Inst. Fourier, 43 (3), 585–618, 1993.
2. [2] W. Bosma, J. Cannon, and C. Playoust, The Magma Algebra System I. The user language, J. Symbolic Comput. 24 (3-4), 235–265, 1997.
3. [3] A. Bremner and N. Tzanakis, Lucas sequences whose 12th or 9th term is a square, J. Number Theory, 107, 215–227, 2004.
4. [4] A. Bremner and N. Tzanakis, On squares in Lucas sequences , J. Number Theory, 124, 511–520, 2007.
5. [5] J. Cheon and S. Hahn, Explicit valuations of division polynomials of an elliptic curve, Manuscripta Math. 97, 319–328, 1998.
6. [6] G. Everest, A. van der Poorten, I. Shparlinski, and T. Ward, Recurrence Sequences, Math. Surveys Monogr. 104, AMS, Providence, RI, 2003.
7. [7] J. Gebel, A. Pethő, and H.G. Zimmer, Computing integral points on elliptic curves, Acta Arith. 68, 171–192, 1994.
8. [8] B. Gezer, Elliptic divisibility sequences, squares and cubes, Publ. Math. Debrecen, 83 (3), 481–515, 2013.

9. [9] B. Gezer, Sequences associated to elliptic curves, arXiv:1909.12654.
10. [10] B. Gezer and O. Bizim, Squares in elliptic divisibility sequences, Acta Arith. 144 (2), 125–134, 2010.
11. [11] B. Gezer and O. Bizim, Sequences generated by elliptic curves, Acta Arith. 188 (3), 253–268, 2019.
12. [12] D. Husemöller, Elliptic Curves, Springer Verlag, New York, 1987.
13. [13] D.S. Kubert, Universal bounds on the torsion of elliptic curves, Proc. London Math. Soc. 33 (3), 193–237, 1976.
14. [14] http://magma.maths.usyd.edu.au/calc/
15. [15] B. Mazur, Modular curves and the Eisenstein ideal, Publ. Math. IHES, 47, 33–186, 1977.
16. [16] V. Mahé, Prime power terms in elliptic divisibility sequences, Math. Comp. 83 (288), 1951–1991, 2014.
17. [17] http://pari.maths.u-bordeaux.fr/
18. [18] J. Reynolds, Perfect powers in elliptic divisibility sequences, J. Number Theory, 132, 998–1015, 2012.
19. [19] P. Ribenboim, Pell numbers, squares and cubes, Publ. Math. Debrecen, 54, 131–152, 1999.
20. [20] P. Ribenboim and W. McDaniel, The square terms in Lucas sequences, J. Number Theory, 58, 104–123, 1996.
21. [21] P. Ribenboim and W. McDaniel, Squares in Lucas sequences having an even first parameter, Colloq. Math. 78, 29–34, 1998.
22. [22] R. Shipsey, Elliptic divisibility sequences, PhD thesis, Goldsmiths, University of London, 2000.
23. [23] J.H. Silverman, p-adic properties of division polynomials and elliptic divisibility sequences, Math. Ann. 332 (2), 443–471, 2005, addendum 473–474.
24. [24] J.H. Silverman, The Arithmetic of Elliptic Curves (2nd Edition), Graduate Texts in Mathematics, 106, Springer, Dordrecht, 2009.
25. [25] J.H. Silverman and N. Stephens, The sign of an elliptic divisibility sequence, J. Ramanujan Math. Soc. 21 (1), 1–17, 2006.
26. [26] J.H. Silverman and J. Tate, Rational Points on Elliptic Curves, Undergraduate Texts in Mathematics, Springer, 1992.
27. [27] K. Stange, Integral points on elliptic curves and explicit valuations of division polynomials, Canad. J. Math. 68 (5), 1120–1158, 2016.
28. [28] R.J. Stroeker, N. Tzanakis N, Solving elliptic diophantine equations by estimating linear forms in elliptic logarithms, Acta Arith. 67, 177–196, 1994.
29. [29] C.S. Swart, Elliptic curves and related sequences, PhD Thesis, Royal Holloway, University of London, 2003.
30. [30] M. Ward, Memoir on elliptic divisibility sequences, Amer. J. Math. 70, 31–74, 1948.
31. [31] M. Ward, The law of repetition of primes in an elliptic divisibility sequences, Duke Math. J. 15, 941–946, 1948.