Théorème d'Ax-Grothendieck
En mathématiques, le théorème d'Ax-Grothendieck est un résultat d'algèbre sur l'injectivité et la surjectivité des polynômes qui a été prouvé indépendamment par James Ax et Alexandre Grothendieck[1],[2],[3],[4].
Ce théorème est souvent énoncé dans le cas particulier suivant : toute fonction polynomiale de Cn dans Cn qui est injective est bijective[3],[4].
Le théorème complet est la généralisation à n'importe quelle variété algébrique sur un corps algébriquement clos.
Démonstration par les corps finis modifier
La démonstration du théorème par Grothendieck[3],[4], s'appuie sur le théorème analogue pour un corps fini ou sa clôture algébrique : pour tout corps F qui est fini ou qui est la clôture algébrique d'un corps fini, si une fonction polynomiale de Fn dans lui-même est injective, alors elle est bijective.
Si F est un corps fini, alors Fn est fini. Dans ce cas, le théorème est vrai pour des raisons triviales n'ayant rien à voir avec la représentation de la fonction comme un polynôme : toute injection d'un ensemble fini dans lui-même est une bijection. Lorsque F est la clôture algébrique d'un corps fini, le résultat découle du théorème des zéros de Hilbert. Le théorème d'Ax-Grothendieck pour les nombres complexes peut donc être démontré en montrant qu'un contre-exemple sur C se traduirait en un contre-exemple dans une certaine extension algébrique d'un corps fini.
Cette méthode de démonstration est remarquable comme exemple de l'idée que des relations algébriques finitaires dans les corps de caractéristique 0 se traduisent en des relations algébriques dans les corps finis de grande caractéristique[3]. Donc, on peut utiliser l'arithmétique des corps finis pour démontrer un énoncé sur C, bien qu'il n'y ait pas de morphisme d'un corps fini dans C. La démonstration utilise donc des principes de la théorie des modèles pour démontrer un énoncé élémentaire sur les polynômes. La démonstration pour le cas général utilise une méthode similaire.
Notes et références modifier
- (en) James Ax, « The elementary theory of finite fields », Ann. Math. (2), vol. 88, no 2, , p. 239-271 (JSTOR 1970573).
- Alexander Grothendieck, Éléments de géométrie algébrique. IV. Étude locale des schémas et des morphismes de schémas, troisième partie, coll. « Inst. Hautes Études Sci. Publ. Math. » (no 28), (lire en ligne), p. 5-255 (§10.4.11, p. 103-104).
- (en) Terence Tao, « Infinite fields, finite fields, and the Ax-Grothendieck theorem », What's New, .
- (en) Jean-Pierre Serre, « How to use finite fields for problems concerning infinite fields », dans Gilles Lachaud, Christophe Ritzenthaler et Michael A. Tsfasman, Arithmetic, Geometry, Cryptography and Coding Theory, Providence, R.I., AMS, coll. « Contemp. Math. » (no 487), (MR 2555994, arXiv 0903.0517), p. 183-193.
Voir aussi modifier
Article connexe modifier
Lien externe modifier
- (en) Michael O’Connor, « Ax’s Theorem: An Application of Logic to Ordinary Mathematics »,
