Points S-entiers des courbes elliptiques. (S-integral points of elliptic curves)
type: Item
instance of: scholarly article
title: Points S-entiers des courbes elliptiques. (S-integral points of elliptic curves)
zbMATH Open document ID: 0773.14014
DOI: 10.1007/BF02567763
author: Mohamed Ayad
published in: Manuscripta Mathematica
publication date: 1993-06-29T00:00:00Z
full work available at URL: https://eudml.org/doc/155756
review text: Let \(E\) be an elliptic curve defined over a field \(K\) with discriminant \(\Delta\) and Weierstrass equation \(y^ 2+a_ 1xy+a_ 3y=x^ 3+a_ 2x^ 2+a_ 4x+a_ 6\), with \(a_ i\in K\). Given a point \(M=(x,y)\in E(K)\) and a positive integer \(m\) we have \(mM=(\varphi_ m(M)/\psi^ 2_ m(M),\omega_ m(M)/\psi^ 3_ m(M))\), where \(\varphi_ m\), \(\psi_ m\), \(\omega\in\mathbb{Z}[a_ 1,\dots,a_ 6,x,y]\) are polynomials defined inductively [cf. \textit{J. Silverman}, ``The arithmetic of elliptic curves'' (1986; Zbl 0585.14026); chapter III, ex. 3.7]. The author takes \(K\) to be a valued field with valuation \(v\) and such that \(v(a_ i)\geq 0\), for \(i=1,2,3,4,6\). He shows that if \(M\in E(K)\) is not the point at infinity \(\infty\), the reduction of \(M\) modulo \(v\) is not \(\infty\) then the following conditions are equivalent: (a) \(v(\psi_ 2(M))>0\) and \(v(\psi_ 3(M))>0\). (b) For each \(m\geq 2\), \(v(\psi_ m(M))>0\). (c) There exists \(m_ 0\geq 2\) such that \(v_{m_ 0}(M))>0\) and \(v(\psi_{m_ 0+1}(M))>0\). (d) There exists \(n_ 0\geq 2\) such that \(v(\psi_{n_ 0}(M))>0\) and \(v(\varphi_{n_ 0}(M))>0\). (e) \(M\) modulo \(v\) is not a singular point of the reduced curve \(\tilde E_ v\). Further, taking \(K=\mathbb{Q}\), \(a_ i\in\mathbb{Z}\), \(S\) a finite set of prime numbers, \(M=(x,y)=(a/d^ 2,b/d^ 3)\), with \(\text{gcd}(a,d)=1\), and \(mM=(\hat\varphi_ m/d^ 2\hat\psi^ 2_ m,\hat\omega_ m/d^ 3\hat\psi^ 3_ m)\), where \(\hat\varphi_ m(M)=d^{2m^ 2}\varphi_ m(M)\), \(\hat\psi_ m(M)=d^{m^ 2-1}\psi_ m(M)\) and \(\hat\omega_ m(M)=d^{3m^ 2}\omega_ m(M)\) are integers, he obtains the following characterization of \(S\)-integral points. If \(M\) is a rational point of infinity order and \(mM\) is \(S\)-integral, then \(M\) itself is \(S\)-integral. Hence as a corollary of the previous equivalent conditions the author proves that if \(M\) is an \(S\)-integral point of infinity order and \(T\subset S\) is the set of primes in \(S\) for which \(M\) mod \(p\) is singular, th…
Mathematics Subject Classification ID: 14G05
Mathematics Subject Classification ID: 14H52
Mathematics Subject Classification ID: 11G05
zbMATH DE Number: 219905
zbMATH Keywords: integral points
zbMATH Keywords: torsion point
zbMATH Keywords: elliptic curve
zbMATH Keywords: rational point
reviewed by: Amílcar Pacheco
MaRDI profile type: Publication
cites work: Points \(\Delta\)-entiers sur les courbes elliptiques. (\(\Delta\)-integer points on elliptic curves)
cites work: Notes on elliptic curves. I.
cites work: Q5790213
cites work: The rational solutions of the diophantine equation \(Y^2=X^3-D\)
cites work: Q3710637
OpenAlex ID: W2050439379
description: scientific article; zbMATH DE number 219905