The Ax–Grothendieck theorem is a result in algebraic geometry and model theory concerning polynomial self‑maps of affine space. It asserts that any injective polynomial map
$$
f:\mathbb{A}^n_K \longrightarrow \mathbb{A}^n_K
$$
over an algebraically closed field $K$ of characteristic 0 is necessarily bijective, and its inverse is also given by a polynomial map. Equivalently, an injective endomorphism of the affine $n$-space over such a field is an automorphism.
Historical background
- Grothendieck (1958) proved the theorem for algebraically closed fields of characteristic 0 by using the theory of schemes and the concept of “generic” points. His proof relied on properties of the Zariski topology and the finiteness of fibers of morphisms.
- James Ax (1968) gave a model‑theoretic proof that extended the result to all algebraically closed fields of characteristic 0 by employing the compactness theorem and quantifier elimination for algebraically closed fields. Ax’s argument showed that the theorem follows from the fact that the statement is first‑order expressible and holds in an ultraproduct of the complex numbers.
Statement (formal version)
Let $K$ be an algebraically closed field of characteristic 0 and let
$f = (f_1,\dots ,f_n) : K^n \to K^n$ be a map whose components $f_i$ are polynomials in $K[x_1,\dots ,x_n]$. If the map $f$ is injective, then:
- $f$ is surjective; hence it is a bijection of $K^n$ onto itself.
- There exist polynomials $g_1,\dots ,g_n \in K[x_1,\dots ,x_n]$ such that the inverse map $f^{-1}$ is given by
$$ f^{-1}(y_1,\dots ,y_n) = (g_1(y_1,\dots ,y_n),\dots ,g_n(y_1,\dots ,y_n)). $$
The theorem can be restated as: an injective endomorphism of the coordinate ring $K[x_1,\dots ,x_n]$ is an automorphism.
Generalizations and related results
- Positive characteristic: The statement fails in general for fields of positive characteristic. Counterexamples exist when $K$ has characteristic $p>0$; for instance, the Frobenius map $(x_1,\dots ,x_n) \mapsto (x_1^p,\dots ,x_n^p)$ is injective but not surjective. Nevertheless, various partial results are known under additional hypotheses (e.g., separability conditions).
- Jacobian conjecture: The Ax–Grothendieck theorem is sometimes viewed as a “global” version of the Jacobian conjecture, which predicts that a polynomial map with constant nonzero Jacobian determinant over $\mathbb{C}$ is bijective with polynomial inverse. Both statements relate injectivity to bijectivity for polynomial maps, though the Jacobian conjecture remains open for $n\ge 2$.
- Model‑theoretic extensions: Ax’s method has been adapted to prove analogous statements for other algebraic structures definable in first‑order logic, such as certain groups of definable automorphisms.
Proof ideas
- Grothendieck’s geometric proof uses the fact that a finite type morphism of varieties that is injective on closed points must be finite and radicial, which forces it to be an isomorphism in characteristic 0.
- Ax’s model‑theoretic proof proceeds by:
- Expressing “$f$ is injective but not surjective” as a first‑order sentence in the language of fields.
- Showing that this sentence is false in the complex numbers (using the classical result that an injective holomorphic map $\mathbb{C}^n \to \mathbb{C}^n$ is surjective, a consequence of Liouville’s theorem and the open mapping theorem).
- Applying the compactness theorem to deduce that the sentence cannot hold in any algebraically closed field of characteristic 0.
Applications
- Algebraic geometry: The theorem guarantees that dominant endomorphisms of affine space that are set‑theoretically injective are automorphisms, simplifying the classification of polynomial automorphism groups.
- Model theory: It provides a paradigmatic example of how model‑theoretic tools can resolve algebraic questions, influencing later work on definable groups and fields.
- Dynamical systems: In the study of polynomial dynamical systems over $\mathbb{C}$ or other characteristic 0 fields, the theorem rules out the existence of injective but non‑surjective self‑maps, constraining possible orbit structures.
References
- A. Grothendieck, “Éléments de géométrie algébrique,” Inst. Hautes Études Sci. Publ. Math. (1961).
- J. Ax, “On injective polynomial mappings,” Annals of Mathematics 89 (1969), 461–466.
- S. Lang, Algebra, Graduate Texts in Mathematics, Springer, 2002 – Chapter 9, discussion of polynomial automorphisms.
- E. Hrushovski, “The elementary theory of the Frobenius automorphisms,” Preprint (1996) – contains related model‑theoretic techniques.
The Ax–Grothendieck theorem remains a cornerstone linking algebraic geometry, field theory, and model theory, illustrating the robustness of injectivity conditions for polynomial maps over algebraically closed fields of characteristic 0.
