Imbrications entre le théorème de Mason, la descente de Belyi et les différentes formes de la conjecture $\left(abc\right)$

Langevin, Michel

Journal de théorie des nombres de Bordeaux, Tome 11 (1999) no. 1, pp. 91-109

Soient $A,B,C=A+B$ trois éléments de l’ensemble ${\mathbb{N}}^{*}$ des entiers > $0$ (resp. $ℂ\left[X\right]$) des polynômes complexes) premiers entre eux ; on note $r\left(ABC\right)$ le produit des facteurs premiers (resp. le nombre des facteurs premiers dans $ℂ\left[X\right]$) du produit $ABC$. La conjecture $\left(abc\right)$ énonce que, pour tout $ϵ>0$, il existe $C_{ϵ}>0$ pour lequel l’inégalité : $r\left(ABC\right)\ge C_{ϵ}{S}^{1-ϵ}$ avec $S=$ max$(A,B,C)$) est toujours vérifiée. Le théorème de Mason établit l’inégalité, $D$ (supposé > $0$) désignant le plus grand des degrés des polynômes $A,B,C:r\left(ABC\right)\ge D+1$. Les cas de triplets de polynômes où l’égalité $r\left(ABC\right)=D+1$ est vérifiée sont reliés à de nombreux problèmes de théorie des nombres ; les triplets d’entiers qu’ils engendrent conduisent, modulo la conjecture $\left(abc\right)$, à des minorations de $r\left(G\right(A,B\left)\right)$ où $G\in \mathbb{Z}[X,T]$ est un polynôme homogène et $A,B$ des entiers premiers entre eux ; dans ces constructions de polynômes et d’entiers, le théorème de Mason et son environnement jouent un rôle-clef.

Let $A,B,C=A+B$ be relatively prime polynomials with complex coefficients and maximal degree $D$ (> $0$). The Mason’s theorem implies that $D+1$ does not exceed the number $r\left(ABC\right)$ of distinct roots of the product $ABC$. Similarly, let $A,B,C=A+B$ be relatively prime positive integers and $S=$ max$(A,B,C)$. Let $r\left(ABC\right)$ be the product of all primes dividing the product $ABC$. The $abc$-conjecture implies that, for any $ϵ>0$, there exists $C_{ϵ}>0$ such that the inequality: $r\left(ABC\right)\ge C_{ϵ}{S}^{1-ϵ}$ holds for any triple $A,B,C=A+B$ of integers. The cases of equality $r\left(ABC\right)=D+1$ for polynomials $A,B,C=A+B$ are linked to numerous results in number theory ; triples of integers generated by these cases lead, by using the abc-conjecture, to optimal minoration of $r\left(G\right(A,B\left)\right)$ (where $G\in \mathbb{Z}[X,T]$ is a form and $A,B$ are coprime integers) ; in these polynomial constructions of integers, the role of the Mason’s theorem is crucial.

[A-D,L] S. Abgrall-Duchemin, M. Langevin, Links between the Danilov and Schinzel inequality, the Diophantine equation x5+y3 = z2 and the algebraic identities for which the Mason theorem is an equality, soumis.

[B] F. Beukers, The diophantine equation Axp + Byq = Czr, Duke Math. J. 91 (1998), 61-88. | Zbl | MR

[B,F,G,S] J. Browkin, M. Filaseta, G. Greaves, A. Schinzel, Squarefree values of polynomials and the abc-conjecture, in Sieve Methods, Exponential Sums and their Applications in Number Theory (Greaves, Harman, Huxley Eds.), Camb. Univ. Press, 1996. | Zbl

[G, N] G. Greaves, A. Nitaj, Some Polynomial Identities related to the abc-Conjecture, à paraître.

[H] M. Hall, The diophantine equation x3 - y2 = k, in Computers in Number Theory, Atkin and Birch Eds, Acad. Press, 1971, 173-198. | Zbl | MR

[He] Y. Hellegouarch, Analogues en caractéristique p d'un théorème de Mason, C. R. Acad. Sc. Paris 325 (1997), 141-144. | Zbl | MR

[L] S. Lang, Algebra, 3rd ed., Addison-Wesley, 1993, Ch. IV §7, 194-200. | Zbl | MR

[L1] M. Langevin, Cas d'égalité pour le théorème de Mason et applications de la conjecture (abc), C. R. Acad. Sci. Paris 317 (1993), 441-444. | Zbl | MR

[L2] M. Langevin, Partie sans facteur carré de F(a, b) modulo la conjecture (abc), Sém. Th. des Nombres Caen 93/94, Publ. Univ. Caen, 1995.

[L3] M. Langevin, Sur quelques conséquences de la conjecture (abc) en arithmétique et en logique, Rocky Mount. J. of Math. 26 (1996), 1031-1042. | Zbl | MR

[L4] M. Langevin, Liens entre le théorème de Mason et la conjecture (abc), dans C.R.M., Proc. and Lect. Notes A.M.S., vol.18, K. Williams and R. Gupta Eds,1998, 187-213. | Zbl | MR

[L5] M. Langevin, Extensions du théorème de Mason et de la conjecture (abc), en préparation.

[L-N] M. Langevin, A. Nitaj, Algebraic specializations in polynomial identities of low level, soumis.

[M] R.C. Mason, Diophantine equations over function fields, LMS Lect. Notes 96, Camb. Univ. Press, 1984. | Zbl | MR

[Z] U. Zannier, On Davenport 's bound for the degree of f3 - g2 and Riemann's Existence Theorem, Acta Arithm. LXXI (1995), 107-137 et Acknowledgement of priority, Acta Arithm. LXXIV (1996), p. 387. | Zbl | MR