Ax–Grothendieck theorem In mathematics, the Ax–Grothendieck theorem is a result about injectivity and surjectivity of polynomials that was proved independently by James Ax and Alexander Grothendieck. The theorem is often given as this special case: If P is an injective polynomial function from an n-dimensional complex vector space to itself then P is bijective. C'est-à-dire, if P always maps distinct arguments to distinct values, then the values of P cover all of Cn. The full theorem generalizes to any algebraic variety over an algebraically closed field. Contenu 1 Proof via finite fields 2 Other proofs 3 Résultats associés 4 Références 5 External links Proof via finite fields Grothendieck's proof of the theorem is based on proving the analogous theorem for finite fields and their algebraic closures. C'est-à-dire, for any field F that is itself finite or that is the closure of a finite field, if a polynomial P from Fn to itself is injective then it is bijective.
If F is a finite field, then Fn is finite. In this case the theorem is true for trivial reasons having nothing to do with the representation of the function as a polynomial: any injection of a finite set to itself is a bijection. When F is the algebraic closure of a finite field, the result follows from Hilbert's Nullstellensatz. The Ax–Grothendieck theorem for complex numbers can therefore be proven by showing that a counterexample over C would translate into a counterexample in some algebraic extension of a finite field.
This method of proof is noteworthy in that it is an example of the idea that finitistic algebraic relations in fields of characteristic 0 translate into algebraic relations over finite fields with large characteristic. Ainsi, one can use the arithmetic of finite fields to prove a statement about C even though there is no homomorphism from any finite field to C. The proof thus uses model-theoretic principles such as the compactness theorem to prove an elementary statement about polynomials. The proof for the general case uses a similar method.
Other proofs There are other proofs of the theorem. Armand Borel gave a proof using topology. The case of n = 1 and field C follows since C is algebraically closed and can also be thought of as a special case of the result that for any analytic function f on C, injectivity of f implies surjectivity of f. This is a corollary of Picard's theorem.
Related results Another example of reducing theorems about morphisms of finite type to finite fields can be found in EGA IV: There, it is proved that a radicial S-endomorphism of a scheme X of finite type over S is bijective (10.4.11), and that if X/S is of finite presentation, and the endomorphism is a monomorphism, then it is an automorphism (17.9.6). Par conséquent, a scheme of finite presentation over a base S is a cohopfian object in the category of S-schemes.
The Ax–Grothendieck theorem may also be used to prove the Garden of Eden theorem, a result that like the Ax–Grothendieck theorem relates injectivity with surjectivity but in cellular automata rather than in algebraic fields. Although direct proofs of this theorem are known, the proof via the Ax–Grothendieck theorem extends more broadly, to automata acting on amenable groups. Some partial converses to the Ax-Grothendieck Theorem: A generically surjective polynomial map of n-dimensional affine space over a finitely generated extension of Z or Z/pZ[t] is bijective with a polynomial inverse rational over the same ring (and therefore bijective on affine space of the algebraic closure). A generically surjective rational map of n-dimensional affine space over a Hilbertian field is generically bijective with a rational inverse defined over the same field. ("Hilbertian field" being defined here as a field for which Hilbert's Irreducibility Theorem holds, such as the rational numbers and function fields.) References ^ Ax, James (1968), "The elementary theory of finite fields", Annales de Mathématiques, Deuxième série, 88 (2): 239–271, est ce que je:10.2307/1970573, JSTOR 1970573. ^ Grothendieck, UN. (1966), Éléments de géométrie algébrique. IV. Étude locale des schémas et des morphismes de schémas. III., Inst.. Hautes Études Sci. pub. Math., volume. 28, pp. 103–104, Théorème 10.4.11. ^ Sauter à: a b c d Tao, Térence (2009-03-07). "Infinite fields, finite fields, and the Ax-Grothendieck theorem". What's New. Archivé de l'original sur 11 Mars 2009. Récupéré 2009-03-08. ^ Sauter à: a b c d Serre, Jean-Pierre (2009), "How to use finite fields for problems concerning infinite fields", Arithmetic, géométrie, cryptography and coding theory, Contemp. Math., volume. 487, Providence, R.I.: Amer. Math. Soc., pp. 183–193, arXiv:0903.0517, Code bib:2009arXiv0903.0517S, M 2555994 ^ Éléments de géométrie algébrique, IV3, Proposition 10.4.11. ^ Ceccherini-Silberstein, Tullio; Coornaert, michel (2010), On algebraic cellular automata, arXiv:1011.4759, Code bib:2010arXiv1011.4759C. ^ McKenna, Ken; van den Dries, Lou (1990), "Surjective polynomial maps, and a remark on the Jacobian problem", Manuscripta Mathematica, 67 (1): 1–15, est ce que je:10.1007/BF02568417, M 1037991. External links O’Connor, Michael (2008), Ax’s Theorem: An Application of Logic to Ordinary Mathematics. Catégories: Theorems in algebraModel theory
Si vous voulez connaître d'autres articles similaires à Théorème d'Ax-Grothendieck vous pouvez visiter la catégorie Model theory.
Laisser un commentaire