Sequences associated to elliptic curves

Betül Gezer
DOI: https://doi.org/10.48550/arXiv.1909.12654
2019-09-27
Abstract:Let $E$ be an elliptic curve defined over a field $K$ (with $char(K)\neq 2$) given by a Weierstrass equation and let $P=(x,y)\in E(K)$ be a point. Then for each $n$ $\geq 1$ and some $\gamma \in K^{\ast }$ we can write the $x$- and $y$-coordinates of the point $[n]P$ as \begin{equation*} \lbrack n]P=\left( \frac{\phi_n(P)}{\psi_n^2(P)}, \frac{\omega_n(P) }{\psi_n^3(P)} \right) =\left( \frac{\gamma^2 G_n(P)}{F_n^2(P)}, \frac{\gamma^3 H_n(P)}{F_n^3(P)}\right) \end{equation*} where $\phi_n,\psi_n,\omega_n \in K[x,y]$, $\gcd (\phi_n,\psi_n^2)=1$ and \begin{equation*} F_n(P) = \gamma^{1-n^2}\psi_n(P), G_n(P) = \gamma ^{-2n^{2}}\phi_{n}(P),H_{n}(P) = \gamma ^{-3n^{2}} \omega_n(P) \end{equation*} are suitably normalized division polynomials of $E$. In this work we show the coefficients of the elliptic curve $E$ can be defined in terms of the sequences of values $(G_{n}(P))_{n\geq 0}$ and $(H_{n}(P))_{n\geq 0}$ of the suitably normalized division polynomials of $E$ evaluated at a point $P \in E(K)$. Then we give the general terms of the sequences $(G_{n}(P))_{n\geq 0}$ and $(H_{n}(P))_{n\geq 0}$ associated to Tate normal form of an elliptic curve. As an application of this we determine square and cube terms in these sequences.
Number Theory
What problem does this paper attempt to address?
### Problems the paper attempts to solve This paper aims to explore the properties of sequences related to elliptic curves (especially \((G_n(P))_{n \geq 0}\) and \((H_n(P))_{n \geq 0}\)), and reveal how these sequences define the coefficients of elliptic curves. Specifically, the author attempts to prove the following: 1. **Defining the coefficients of elliptic curves**: - By studying the value sequences \((G_n(P))_{n \geq 0}\) and \((H_n(P))_{n \geq 0}\) of the normalized divisor polynomials at the point \(P\in E(K)\), the author shows how to use these sequences to define the coefficients of the elliptic curve \(E\). 2. **Representation of modular invariants and Weierstrass functions**: - The author proves that the modular invariants \(g_2(L)\) and \(g_3(L)\) as well as the Weierstrass functions \(\wp(z, L)\) and \(\wp'(z, L)\) can be represented by the terms in the sequences \((G_n(P))_{n \geq 0}\) and \((H_n(P))_{n \geq 0}\). 3. **Sequences in Tate normal form**: - For elliptic curves with torsion points of specific orders (using Tate normal form), the author gives the general - term formulas for the sequences \((G_n)_{n \geq 0}\) and \((H_n)_{n \geq 0}\). 4. **Determination of square and cube terms**: - As an application, the author determines which terms in the sequences \((G_n)_{n \geq 0}\) and \((H_n)_{n \geq 0}\) can be square numbers or cube numbers, and discusses the significance of these results. ### Main contributions - **Theoretical contributions**: By introducing new methods and techniques, the author provides new insights into the sequences of elliptic curve divisor polynomials, especially in Tate normal form. - **Application contributions**: Determining the square and cube terms in the sequences is of great significance for understanding the arithmetic properties of elliptic curves and related problems. ### Conclusion The paper solves the problem of how to use the value sequences of normalized divisor polynomials to define the coefficients of elliptic curves, and shows the role of these sequences in describing modular invariants and Weierstrass functions. In addition, the author also studies in detail the properties of sequences in Tate normal form and the distribution of their square and cube terms.