Catalan without logarithmic forms (after Bugeaud, Hanrot and Mihăilescu)

Bilu, Yuri F.

Journal de théorie des nombres de Bordeaux, Tome 17 (2005) no. 1, pp. 69-85.

C’est un rapport sur le travail récent de Bugeaud, Hanrot et Mihăilescu, montrant qu’on peut démontrer l’hypothèse de Catalan sans utiliser les formes logarithmiques, ni le calcul avec un ordinateur.

This is an exposition of the recent work of Bugeaud, Hanrot and Mihăilescu showing that Catalan’s conjecture can be proved without using logarithmic forms and electronic computations.

[1] Yu.F. Bilu, Catalan’s conjecture (after Mihăilescu). Séminaire Bourbaki, Exposé 909, 55ème année (2002-2003); Astérisque 294 (2004), 1–26. | MR | Zbl

[2] Y. Bugeaud, G. Hanrot, Un nouveau critère pour l’équation de Catalan. Mathematika 47 (2000), 63–73. | MR | Zbl

[3] J. W. S. Cassels, On the equation $a^x-b^y=1$, II. Proc. Cambridge Philos. Society 56 (1960), 97–103. | MR | Zbl

[4] E. Catalan, Note extraite d’une lettre adressée à l’éditeur. J. reine angew. Math. 27 (1844), 192. | Zbl

[5] S. Hyyrö, Über das Catalansche Problem. Ann. Univ. Turku Ser. AI 79 (1964), 3–10. | MR | Zbl

[6] P. Kirschenhofer, A. Pethő, R.F. Tichy, On analytical and Diophantine properties of a family of counting polynomials. Acta Sci. Math. (Szeged), 65 (1999), no. 1-2, 47–59. | MR | Zbl

[7] Ko Chao, On the diophantine equation $x^2=y^n+1$, $xy\ne 0$. Sci. Sinica 14 (1965), 457–460. | MR | Zbl

[8] E. Kummer Collected papers. Springer, 1975. | MR | Zbl

[9] V.A. Lebesgue, Sur l’impossibilité en nombres entiers de l’équation $x^m=y^2+1$. Nouv. Ann. Math. 9 (1850), 178–181.

[10] M. Laurent, M. Mignotte, Yu. Nesterenko, Formes linéaires en deux logarithmes et déterminants d’interpolation. J. Number Theory 55 (1995), 285–321. | MR | Zbl

[11] M. Mignotte, Catalan’s equation just before 2000. Number theory (Turku, 1999), de Gruyter, Berlin, 2001, pp. 247–254. | MR | Zbl

[12] M. Mignotte, Y. Roy, Catalan’s equation has no new solutions with either exponent less than $10651$. Experimental Math. 4 (1995), 259–268. | MR | Zbl

[13] M. Mignotte, Y. Roy, Minorations pour l’équation de Catalan. C. R. Acad. Sci. Paris 324 (1997), 377–380. | MR | Zbl

[14] P. Mihăilescu, A class number free criterion for Catalan’s conjecture. J. Number Theory 99 (2003), 225–231. | MR | Zbl

[15] P. Mihăilescu, Primary cyclotomic units and a proof of Catalan’s conjecture. J. reine angew. Math., to appear. | MR | Zbl

[16] P. Mihăilescu, On the class groups of cyclotomic extensions in the presence of a solution to Catalan’s equation. A manuscript.

[17] T. Nagell, Des équations indéterminées $x^2+x+1=y^n$ and $x^2+x+1=3y^n$. Norsk Matem. Forenings Skrifter I, 2 (1921), 14 pp. (See also: Collected papers of Trygve Nagell, ed. P. Ribenboim, Queens Papers in Pure and Applied Mathematics 121, Kingston, 2002; Vol.1, pp. 79–94.)

[18] R. Tijdeman, On the equation of Catalan. Acta Arith. 29 (1976), 197–209. | MR | Zbl

[19] L. Washington, Introduction to Cyclotomic Fields. Second edition, Graduate Texts in Math. 83, Springer, New York, 1997. | MR | Zbl