CRITÈRES D'IRRÉDUCTIBILITÉ POUR LES REPRÉSENTATIONS DES COURBES ELLIPTIQUES
Abstract
Soit E une courbe elliptique définie sur un corps de nombres K. On dit qu'un nombre premier p est réductible pour le couple (E, K) si E admet une p-isogénie définie sur K. L'ensemble de tous ces nombres premiers est fini si et seulement si E n'a pas de multiplication complexe définie sur K. Dans cet article, on montre que l'ensemble des nombres premiers réductibles pour le couple (E, K) est contenu dans l'ensemble des diviseurs premiers d'une liste explicite d'entiers (dépendant de E et de K) dont une infinité d'entre eux est non nulle. Cela fournit un algorithme efficace de calcul dans le cas fini. D'autres critères moins généraux, mais néanmoins utiles sont donnés ainsi que de nombreux exemples numériques.
Let E be an elliptic curve defined over a number field K. We say that a prime number p is reducible for (E, K) if E admits a p-isogeny defined over K. The so-called reducible set of all such prime numbers is finite if and only if E does not have complex multiplication over K. In this paper, we prove that the reducible set is included in the set of prime divisors of an explicit list of integers (depending on E and K), infinitely many of them being non-zero. It provides an efficient algorithm for computing it in the finite case. Other less general but rather useful criteria are given, as well as many numerical examples.
References
- Dissertationes Math. 468, 57 (2009). Google Scholar
- Ann. of Math. (2) 173(1), 569 (2011), DOI: 10.4007/annals.2011.173.1.13. Web of Science, Google Scholar
- J. Symbolic Comput. 24(4), 235 (1997), DOI: 10.1006/jsco.1996.0125. Web of Science, Google Scholar
-
N. Bourbaki , Éléments de Mathématique ,Lecture Notes in Mathematics 864 ( Masson , Paris , 1981 ) . Google Scholar - Canad. J. Math. 56(4), 673 (2004), DOI: 10.4153/CJM-2004-031-6. Web of Science, Google Scholar
-
H. Cohen , A Course in Computational Algebraic Number Theory ,Graduate Texts in Mathematics 138 ( Springer-Verlag , Berlin , 1993 ) . Google Scholar -
H. Cohen , Advanced Topics in Computational Number Theory ,Graduate Texts in Mathematics 193 ( Springer-Verlag , New York , 2000 ) . Google Scholar - A. David, Caractère d'isogénie et borne uniforme pour les homothéties, Thèse de l'université de Strasbourg (2008) . Google Scholar
- Amer. J. Math. 123(3), 475 (2001). Web of Science, Google Scholar
- J. Number Theory 130(4), 1560 (2010), DOI: 10.1016/j.jnt.2010.03.003. Web of Science, Google Scholar
- J. Number Theory 60, 245 (1996), DOI: 10.1006/jnth.1996.0122. Web of Science, Google Scholar
- Dissertationes Math. 364, 39 (1997). Google Scholar
- Int. J. Number Theory 3(4), 611 (2007), DOI: 10.1142/S1793042107001127. Link, Web of Science, Google Scholar
- Math. Ann. 293, 259 (1992), DOI: 10.1007/BF01444715. Web of Science, Google Scholar
-
S. Lang , Elliptic functions , 2nd edn. ,Graduate Texts in Mathematics 112 ( Springer-Verlag , New York , 1987 ) . Google Scholar - Invent. Math. 44, 129 (1978), DOI: 10.1007/BF01390348. Web of Science, Google Scholar
- Compos. Math. 97(3), 329 (1995). Web of Science, Google Scholar
-
J. Neukirch , Class Field Theory ,Grundlehren der Mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences] 280 ( Springer-Verlag , Berlin , 1986 ) . Google Scholar - Acta Arith. 100(3), 203 (2001), DOI: 10.4064/aa100-3-1. Web of Science, Google Scholar
-
J.-P. Serre , Abelian l-Adic Representations and Elliptic Curves ( W. A. Benjamin, Inc. , New York-Amsterdam , 1968 ) . Google Scholar - Invent. Math. 15, 259 (1972), DOI: 10.1007/BF01405086. Web of Science, Google Scholar
- Ann. of Math. 88, 492 (1968), DOI: 10.2307/1970722. Web of Science, Google Scholar
-
J. H. Silverman , The Arithmetic of Elliptic Curves ,Graduate Texts in Mathematics 106 ( Springer-Verlag , 1992 ) . Google Scholar - W. A. Stein et al., Sage Mathematics Software (Version 4.2.1), The Sage Development Team (2009); http://www.sagemath.org . Google Scholar
J. Tate , Modular Functions of One Variable,Lect. Notes in Math 273 (Springer, 1975) pp. 33–52. Google Scholar