Division polynomials and intersection of projective torsion points
Let \((E_{/K},O,\pi)\) be a triple where \(E\) is an elliptic curve defined over a field \(K\) of characteristic 0, \(O\) is its base point and \(\pi\) is a morphism of \(E\) of degree 2 (defined over \(K\) as well). Let \(E[n]\) be the set of \(n\)-torsion points of \(E\) and \(E^*[n]\) the subset of points of exact order \(n\) (the \textit{primitive} \(n\)-torsion points). Put \(E[\infty]=\cup E[n]\). The paper deals with the cardinalities of the set \(\pi_1(E_1[\infty])\cap \pi_2(E_2[\infty])\) for two triples \((E_1,O_1,\pi_1)\) and \((E_2,O_2,\pi_2)\) as above. Reducing the curves to their Weierstrass form and using the canonical projection on the \(x\)-coordinate, the authors define (and study) the \(n\)th division polynomial \(f_{n,E}(X)\) (resp. the primitive \(n\)th division polynomial \(F_{n,E}(X)\)) having the \(x\)-coordinates of points in \(E[n]\) (resp. in \(E^*[n]\)) as roots. Assuming \(\pi_1(O_1)=\pi_2(O_2)\) and working with the coefficients of \(f_n\) (and of \(F_n\)) they are able to prove that \(\pi_1(E_1^*[n])=\pi_2(E_2^*[n])\) for some \(n\) is equivalent to \(\pi_1(E_1[\infty])=\pi_2(E_2[\infty])\) (while it is known that \(\pi_1(E_1[2])\neq\pi_2(E_2[2])\) yields a finite intersection \(\pi_1(E_1[\infty])\cap\pi_2(E_2[\infty])\)). Whenever these equivalent conditions do not hold, they also show that \(|\pi_1(E_1[\infty])\cap\pi_2(E_2[\infty])|=1\) when \(Gal(\overline{K}/K^{cyc})\) acts transitively on \(\pi_i(E^*_i[n])\) for \(i=1,2\). \noindent Finally, dropping the condition \(\pi_1(O_1)=\pi_2(O_2)\), the authors look for a bound on \(N:=|\pi_1(E_1[\infty])\cap\pi_2(E_2[\infty])|\) as \(E_1\) and \(E_2\) vary among curves with \(\pi_1(E_1[2])\neq\pi_2(E_2[2])\). They show that such set has at least 6 points and provide examples for \(N\geqslant 14\) (announcing a new example for \(N\geqslant 22\) in some future publication).
- Elliptic curves with large intersection of projective torsion points
- Torsion of elliptic curves and unlikely intersections
- Elliptic curves with common torsion 𝑥-coordinates and hyperelliptic torsion packets
- Simultaneous Torsion in the Legendre Family
- Division by 2 of rational points on elliptic curves
- Algebraic varieties over small fields
- Almost all elliptic curves are Serre curves
- Computing Division Polynomials
- Courbes sur une variété abélienne et points de torsion
- Elliptic curves with maximal Galois action on their torsion points
- Galois properties of points of finite order of elliptic curves
- scientific article; zbMATH DE number 3120869 (Why is no real title available?)
- scientific article; zbMATH DE number 3941638 (Why is no real title available?)
- scientific article; zbMATH DE number 3572315 (Why is no real title available?)
- scientific article; zbMATH DE number 706265 (Why is no real title available?)
- Some problems of unlikely intersections in arithmetic and geometry. With appendixes by David Masser
- The Arithmetic of Elliptic Curves
- The number of solutions of \(\varphi (x)=m\)
- Primitive divisors of sequences associated to elliptic curves
- Bicyclotomic polynomials and impossible intersections
- On the \(\mathrm{PGL}_2\)-invariant quadruples of torsion points of elliptic curves
- Division polynomials on the Hessian model of elliptic curves
- scientific article; zbMATH DE number 6761003 (Why is no real title available?)
- Elliptic curves with common torsion 𝑥-coordinates and hyperelliptic torsion packets
- Torsion of elliptic curves and unlikely intersections
- Intersecting the torsion of elliptic curves
- Elliptic curves with large intersection of projective torsion points
This page was built for publication: Division polynomials and intersection of projective torsion points
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q503207)