Points S-entiers des courbes elliptiques. (S-integral points of elliptic curves) (Q1803000): Difference between revisions
From MaRDI portal
Changed an Item |
Set OpenAlex properties. |
||
(2 intermediate revisions by 2 users not shown) | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Points \(\Delta\)-entiers sur les courbes elliptiques. (\(\Delta\)-integer points on elliptic curves) / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Notes on elliptic curves. I. / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5790213 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The rational solutions of the diophantine equation \(Y^2=X^3-D\) / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3710637 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2050439379 / rank | |||
Normal rank |
Latest revision as of 12:07, 30 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Points S-entiers des courbes elliptiques. (S-integral points of elliptic curves) |
scientific article |
Statements
Points S-entiers des courbes elliptiques. (S-integral points of elliptic curves) (English)
0 references
29 June 1993
0 references
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, then \(mM\) is \(S\)-integral if and only if \(\hat\psi_ m=\pm\prod_{p\in S}p^{e_ p}\), where \(e_ p\geq 1\), if \(p\in T\) and \(e_ p\geq 0\), if \(p\in S-T\). Moreover, he also shows that if \(M\) is a rational point of infinity order and \(L=(u,v)\) is a \(\mathbb{Q}\)-rational 2- torsion point of \(E\), then \(L+mM\) is \(S\)-integral if and only if \(\hat\varphi_ m-ud^ 2\hat\psi^ 2_ m=\pm\prod_{p\in S}p^{e_ p}\), if \(u\in\mathbb{Z}\), \(4(\hat\varphi_ m-ud^ 2\hat\psi^ 2_ m)=\pm\prod_{p\in S}p^{e_ p}\), if \(u\notin\mathbb{Z}\), where \(e_ p\geq 1\), if \(p\in T\), and \(e_ p\geq 0\), if \(p\in S-T\).
0 references
integral points
0 references
torsion point
0 references
elliptic curve
0 references
rational point
0 references
0 references