No label defined (Q4353891)

Le théorème principal de l'article est le suivant: Soient \(a\), \(b\), \(r\), \(c\) des nombres réels \(>0\) tels que \(1/a+ 1/b\leq 1/r\). Alors il existe un nombre réel \(d>0\) ayant la propriété suivante: si \(X\) et \(Y\) sont des parties de \(\mathbb{C}\) telles que \(\text{card}(X\cap \{|z|\leq R\})\geq c R^a\) et \(\text{card}(Y\cap \{|z|\leq R\})\geq cR^b\) pour tout \(R\) suffisamment grand, et si \(f:\mathbb{C}\to \mathbb{C}\) est une fonction entière telle que \(f(xy)\in\mathbb{Z}\) pour tout \((x,y)\subset X\times Y\) et \(\log\max\{|f(z)|;|z|\leq R\}\leq dR^r\) pour tout \(R\) suffisamment grand, alors \(f\) est un polynôme. Sa démonstration est assez inattendue. L'A. utilise un théorème auxiliaire concernant une fonction entière de 2 variables: Soient \(X\) et \(Y\) des suites non bornées de nombres complexes. Si \(g: \mathbb{C}^2\to\mathbb{C}\) est une fonction entière telle que \(g(X\times Y)\subset\mathbb{Z}\) et ne croissant pas trop vite (la condition assez compliquée fait intervenir \(X\) et \(Y\)), alors les \(\mathbb{Q}\)-espaces vectoriels engendrés par \(\{z\mapsto g(x,z); x\in X\}\) d'une part et \(\{z\mapsto g(z,y); y\in Y\}\) d'autre part sont de même dimension finie. La démonstration utilise un lemme de Schwarz (en plusieurs variables) pour les déterminants d'interpolation. Le théorème principal a pour corollaire un cas particulier du théorème des 6 exponentielles. Dans ``Integer valued entire functions on Cartesian products'' [Proc. Zakopane Number Theory Conf. June-July 1997 (à paraître)], l'A. a développé des corollaires du théorème auxiliaire (fonctions prenant des valeurs entières sur des sous-groupes additifs de \(\mathbb{C}\) ou multiplicatifs de \(\mathbb{C}^\times\)). Il y obtient aussi des résultats comparables par un procédé plus naturel et plus proche de la méthode classique de Schneider en plusieurs variables.