Generators for the elliptic curve \(y^2=x^3-nx\)
type: Item
instance of: scholarly article
title: Generators for the elliptic curve \(y^2=x^3-nx\)
zbMATH Open document ID: 1228.11081
author: Yasutsugu Fujita
author: Nobuhiro Terai
published in: Journal de Théorie des Nombres de Bordeaux
publication date: 2011-10-10T00:00:00Z
full work available at URL: https://eudml.org/doc/219816
review text: Let \(E_n\) be the elliptic curve \(y^2=x^3-nx\) with \(n\in \mathbb{N}-\{0\}\). Let \(E_n(\mathbb{Q})\) be the set of rational points, then its torsion group \(E(\mathbb{Q})_{\text{tor}}\) is isomorphic to \(\mathbb{Z}/2\mathbb{Z} \oplus \mathbb{Z}/2\mathbb{Z}\) (resp. \(\mathbb{Z}/2\mathbb{Z}\)) when \(n\) is (resp. is not) a square. Imposing some conditions on \(n\) (namely: \(n\) not a square, 4th-power free and \(n=st\) for some non square integers \(s\) and \(t\) such that \(t-s=\alpha^2\) and \(m^4s-t=\beta^2\) for some \(\alpha\), \(\beta\), \(m\in \mathbb{N}-\{0\}\,\)) the authors find explicit points \(G_1=(-s,s\alpha)\) and \(G_2=(m^2s,ms\beta)\) which are among the generators of \(E(\mathbb{Q})\) if \(m=\) 2 or 3 (the same should be true for \(m\geq 4\) but a proof is provided only for \(n\geq m^{26}\)). The proof is by direct computation: first a 2-descent procedure shows that the points are independent modulo \(E(\mathbb{Q})_{\text{tor}}\,\), then the computation of the heights and a theorem of \textit{S. Siksek} [Rocky Mt. J. Math. 25, No.~4, 1501--1538 (1995; Zbl 0852.11028)] yield the result. In the final section the authors provide infinitely many examples of families of curves which verify the assumptions of the main theorem and a way of constructing them via quadratic forms.
reviewed by: Andrea Bandini
Mathematics Subject Classification ID: 11G05
zbMATH DE Number: 5955273
zbMATH Keywords: elliptic curves
describes a project that uses: Magma
MaRDI profile type: Publication
OpenAlex ID: W2324557005
cites work: The parity of the rank of the Mordell-Weil group
cites work: Q4234284
cites work: Q5611106
cites work: Q3139838
cites work: Elliptic curves associated with simplest quartic fields
cites work: Integer points and independent points on the elliptic curve \(y^2=x^3-p^kx\)
cites work: The Square-Free Sieve and the Rank of Elliptic Curves
cites work: Q4235425
cites work: Q4023805
cites work: On Lang's conjecture on the lower bound of the Néron-Tate height for elliptic curves over \(\mathbb Q\)
cites work: Infinite descent on elliptic curves
cites work: The Arithmetic of Elliptic Curves
cites work: Computing Heights on Elliptic Curves
cites work: Q4317891
cites work: Algorithm for determining the type of a singular fiber in an elliptic pencil
DOI: 10.5802/JTNB.769
Recommended article: Generators for the elliptic curve \(y^2=x^3-nx\) of rank at least three
Recommended article: Generators for the elliptic curve y[sup 2] = x[sup 3]−nx
Recommended article: Generators and integer points on the elliptic curve \(y^2=x^3-nx\)
Recommended article: Division by $2$ of rational points on elliptic curves
Recommended article: ON THE ELLIPTIC CURVES WITH INFINITE RATIONAL POINTS
Recommended article: Generators and number fields for torsion points of a special elliptic curve
Recommended article: Torsion groups of a family of elliptic curves over number fields
Recommended article: Construction of elliptic curves with noninteger torsion points and noncyclic torsion groups
Recommended article: Three Points of Great Height on Elliptic Curves
Recommended article: A complete Diophantine characterization of the rational torsion of an elliptic curve
description: scientific article; zbMATH DE number 5955273