In this paper, we study equations of the form , where is a binary form, homogeneous of degree , which is supposed to be primitive and irreducible, and is any fixed integer. Using classical tools in algebraic number theory, we prove that the existence of a proper solution for this equation implies the existence of an integral ideal of given norm in some order in a number field, and also the existence of a specific relation in the class group involving this ideal. In some cases, this result can be used to prove that these equations have no proper solution. Numerous examples are given to illustrate this result. In a second part, we make a link between this condition and the properties of the different in the considered number field.
L’objet de cet article est d’étudier les équations de la forme où est une forme binaire homogène de degré , supposée primitive et irréductible, et est un entier quelconque fixé. Par des méthodes classiques de théorie algébrique des nombres, nous montrons que l’existence d’une solution propre de ces équations entraîne l’existence d’un idéal entier de norme donnée dans un certain ordre d’un corps de nombres, ainsi que l’existence d’une relation dans le groupe de classe impliquant cet idéal. Ce résultat permet de montrer dans certains cas que ces équations n’ont pas de solution propre. De nombreux exemples sont donnés pour illustrer ce critère. Dans une seconde partie, un lien est fait entre ce résultat et les propriétés de la différente du corps de nombres considéré.
@article{JTNB_2008__20_3_811_0, author = {Denis Simon}, title = {A {\textquotedblleft}class group{\textquotedblright} obstruction for the equation $Cy^d=F(x,z)$}, journal = {Journal de th\'eorie des nombres de Bordeaux}, pages = {811--828}, publisher = {Universit\'e Bordeaux 1}, volume = {20}, number = {3}, year = {2008}, doi = {10.5802/jtnb.652}, mrnumber = {2523319}, language = {en}, url = {https://jtnb.centre-mersenne.org/articles/10.5802/jtnb.652/} }
TY - JOUR AU - Denis Simon TI - A “class group” obstruction for the equation $Cy^d=F(x,z)$ JO - Journal de théorie des nombres de Bordeaux PY - 2008 SP - 811 EP - 828 VL - 20 IS - 3 PB - Université Bordeaux 1 UR - https://jtnb.centre-mersenne.org/articles/10.5802/jtnb.652/ DO - 10.5802/jtnb.652 LA - en ID - JTNB_2008__20_3_811_0 ER -
%0 Journal Article %A Denis Simon %T A “class group” obstruction for the equation $Cy^d=F(x,z)$ %J Journal de théorie des nombres de Bordeaux %D 2008 %P 811-828 %V 20 %N 3 %I Université Bordeaux 1 %U https://jtnb.centre-mersenne.org/articles/10.5802/jtnb.652/ %R 10.5802/jtnb.652 %G en %F JTNB_2008__20_3_811_0
Denis Simon. A “class group” obstruction for the equation $Cy^d=F(x,z)$. Journal de théorie des nombres de Bordeaux, Volume 20 (2008) no. 3, pp. 811-828. doi : 10.5802/jtnb.652. https://jtnb.centre-mersenne.org/articles/10.5802/jtnb.652/
[1] B.J. Birch, H.P.F. Swinnerton-Dyer, Notes on elliptic curves. J. Reine Angew. Math. 212 (1963), 7–25. | MR | Zbl
[2] J.W.S. Cassels, Rational Quadratic Forms. L.M.S. Monographs, Academic Press, 1978. | MR | Zbl
[3] J.E. Cremona, Algorithms for Modular Elliptic Curves. Cambridge University Press, 1997, Second Edition. | MR | Zbl
[4] J.E. Cremona, Elliptic Curve Data. http://modular.math.washington.edu/cremona/INDEX.html
[5] H. Cohen, Number Theory. Vol I : Tools and Diophantine Equations. GTM 239, Springer Verlag, 2007. | MR | Zbl
[6] H. Darmon, A. Granville, On the equations and . Bull. London Math. Soc 27 (1995), 513–543. | MR | Zbl
[7] I. Delcorso, R. Dvornicich, D. Simon, The decomposition of primes in nonmaximal orders. Acta Arithmetica 120 (2005), 231–244. | MR
[8] F. G. Frobenius, Über Beziehungen zwischen den Primidealen eines algebraischen Körpers und den Substitutionen seiner Gruppe. Sitzungsberichte der Königlich Preußischen Akademie der Wissenschaften zu Berlin (1896), 689–703; Gesammelte Abhandlungen II, 719–733.
[9] E. Hecke, Vorlesungen über die Theorie der algebraischen Zahlen, 2te Unveränderte Auflage (1954), Leipzig, Akademische Verlagsgesellschaft (1923). | MR | Zbl
[10] S. Lang, Algebraic number theory, GTM 110, second edition. New York, Springer–Verlag, 1994. | MR | Zbl
[11] MAGMA Computational Algebra System, http://magma.maths.usyd.edu.au/magma/
[12] J. R. Merriman, S. Siksek, N. P. Smart, Explicit 4-descent on an elliptic curve. Acta Arithmetica 77 (1996), 385–404. | MR | Zbl
[13] pari/gp, The Pari group (K. Belabas, H. Cohen,...). http://pari.math.u-bordeaux.fr/
[14] I. Reiner, Maximal Orders. L.M.S. Monographs, Academic Press, 1975. | MR | Zbl
[15] D. Simon, La classe invariante d’une forme binaire. Comptes Rendus Mathématiques 336, Issue 1 , (2003) 7–10. | MR | Zbl
Cited by Sources: